Ditemukan 8 dokumen yang sesuai dengan query
Muhammad Azzumar
"
ABSTRAK
Sistem lalu lintas perkotaan (Urban Traffic System - UTS) adalah sistem yang kompleks yang terdiri dari jaringan jalan yang saling terhubung, aturan-aturan pada jalan, kendaraan dan entitas lain yang berada dalam jaringan jalan dan sistem manajemen serta pengaturan lalu lintas. Tujuan utama dari sistem ini adalah agar pengguna jalan dapat melalui perjalanannya dengan selamat dan dalam waktu yang wajar (reasonable). Sistem pengaturan lalu lintas perkotaan (Urban Traffic Control System) yang handal telah menjadi kebutuhan yang ...
"
Fakultas Teknik Universitas Indonesia, 2013
T35066
UI - Tesis Membership Universitas Indonesia Library
Agus Muharam
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1985
S27207
UI - Skripsi Membership Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed ...
"
Berlin: Springer-Verlag, 2012
e20410484
eBooks Universitas Indonesia Library
"
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This, the 14th Transactions on Computational Systems Biology volume, guest edited by Ion Petre and Erik de Vink, focuses on Computational ...
"
Berlin: Springer-Verlag, 2012
e20410508
eBooks Universitas Indonesia Library
"
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at ...
"
Berlin: Springer-Verlag, 2012
e20410374
eBooks Universitas Indonesia Library
Sukma Abadi
"
Tesis ini membahas tentang model Petri Net dari sistem Pembangkit Listrik Tenaga Hibrida (PLTH) yang kompleks, baik dari segi jenis dan jumlah sumber energi listriknya, jenis beban yang disuplai, maupun dari komponen-komponen lain yang digunakan. Sistem PLTH yang dibuat modelnya meliputi 1 unit photovoltaic, 2 unit turbin angin, 1 unit generator diesel, baterai (energy storage), konverter bidirectional, ac bus, dc bus, beban ac, dan beban dc. Penelitian bertujuan untuk menerapkan strategi load-following, cycle-charging, dan strategi ...
"
Depok: Universitas Indonesia, 2011
T29936
UI - Tesis Open Universitas Indonesia Library
Viswanadham, N.
Englewood Cliff, New Jersey: Prentice-Hall, 1992
670.427 VIS p
Buku Teks Universitas Indonesia Library
Viswanadham, N.
New Delhi: Prentice Hall of India, 1994
670.427 VIS p
Buku Teks Universitas Indonesia Library
