Hasil Pencarian  ::  Simpan CSV :: Kembali

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 sangat mendesak. Dalam tesis ini dibahas strategi pengaturan sistem lalu lintas dan pengujian kinerjanya. Untuk merancang strategi pengaturan yang baik diperlukan model lalu lintas kendaraan bermotor. Model yang digunakan adalah hybrid petri net yang merepresentasikan dinamika makroskopik sistem lalu lintas. Dalam model hybrid petri net dinamika kendaraan dimodelkan dengan petri net kontinyu dan lampu lalu lintas dimodelkan petri net diskrit. Strategi pengaturan optimal dipakai untuk mengatur lama waktu lampu lalu lintas. Strategi ini didasarkan pada sistem pengaturan loop tertutup dan respon terhadap perubahan kondisi lalu lintas. Dari hasil simulasi, sistem pengaturan ini dapat menurunkan waktu antrian yang signifikan dibandingkan dengan pengaturan secara fix control. ...... Urban Traffic System (UTS) is a system consists of interconnected roads, traffic regulations, vehicles and other entities that belong in the road networking, systems management and traffic control system. This system has been created for the user in order to experience a safe journey in a reasonable time. For society, a reliable Urban Traffic Control System (UTCS) has become an urgent need. In this thesis discussed a control strategy for the traffic system and testing their performance. To design a good control strategy is required traffic model. The model used is hybrid petri net that represents the macroscopic dynamics of the traffic system. In hybrid petri net models, the vehicle dynamics are modeled by continuous petri net and traffic lights are modeled by discrete petri net. Optimal control strategy is used to set the length of time the traffic lights. This strategy is based on a closed loop control system and response to changing traffic conditions. From the simulation results, this control system can reduce the queuing time significantly compared to fixed control settings.

Abstrak :
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.

Abstrak :
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 Models for Cell Processes and features a number of carefully selected and enhanced contributions, initially presented at the CompMod workshop, which took place in Aachen, Germany, in September 2011. The papers, written from different points of view and following various approaches, cover a wide range of topics within the field of modeling and analysis of biological systems. In addition, two regular submissions deal with models of self-assembling systems and metabolic constraints on the evolution of genetic codes.

Abstrak :
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 the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency.

Abstrak :
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 battery state of charge dalam pengoperasian model sistem PLTH yang memadukan antara sumber-sumber energi terbarukan dan sumber energi tidak terbarukan. Analisis dilakukan dengan mengamati hasil simulasi model yang diperoleh dari ketiga macam strategi yang diterapkan kemudian menghitung estimasi biaya yang diperlukan dari ketiga strategi tersebut. Hasil simulasi menunjukkan bahwa biaya terendah diperoleh dengan menerapkan strategi battery state of charge. Model sistem PLTH dibuat dengan metode Petri Net, sedangkan simulasinya dilakukan dengan menggunakan software GPenSIM yang dioperasikan dalam platform MATLAB. Hasil simulasi menunjukkan bahwa ketiga strategi penyaluran daya listrik dapat digunakan pada model sistem PLTH yang dibuat.

---

This thesis discusses the Petri Net model of the Hybrid Power Generation Systems (HPGS) complex, both in the type and the amount of electrical energy sources, types of loads supplied, as well as from other components used. The system modeled the HPGS which includes a photovoltaic unit, 2 units of wind turbine, a diesel generator unit, the battery (energy storage), bidirectional converter, ac bus, dc bus, ac load, and dc load. The study aims to apply the load-following strategy, cycle-charging, and battery state of charge strategy in the operation model of the HPGS that combine renewable energy sources and non-renewable energy sources. The analysis was performed by observing the simulation results obtained by the model with three kinds of strategy that are applied then to calculate the estimated cost required of the three strategies. The simulation results show that the lowest cost is obtained by applying the battery state of charge strategy. The HPGS model created by Petri Net method, while the simulation is done by using software GPenSIM operated in MATLAB platform. The simulation results show that all of the strategy can be used in the model of the HPGS.