Hasil Pencarian  ::  Simpan CSV :: Kembali

"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."

"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."

"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."

"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, thebattery (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 observingthe 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."

"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."

"Kemacetan adalah sebuah permasalahan yang sering dihadapi oleh kota ? kota besar di dunia termasuk di Indonesia. Salah satu upaya untuk mengurangi kemacetan lalu lintas dengan menjaga aliran arus lalu lintas kendaraan untuk tetap berjalan. Dinamika perubahan arus lalu lintas tersebut dapat dilihat melalui model arus lintas secara makroskopis yang disederhanakan dengan bentuk triangular sebagai respon cepat sistem terhadap kondisi aktual lapangan yang berubah-ubah. Model ini bisa juga disebut diagram fundamental triangular. Simulasi dari dari diagram fundamental tersebut menggunakan Simulator Hybrid Petri net (SimHPN). Aplikasi penerapan model dari Petri Net (PN) ini dilakukan untuk studi kasus arus ruas jalan tol Padaleunyi khususnya gate Pasteur. Dari data mentah arus lalu lintas didapatkan tingkat pelayanan jalan tol (Level of Services -LOS-) berada di D. kemudian dibuat bentuk model maksroskopik dinamika arus lalu lintas yang dipengaruhi dari jumlah kendaraan yang memasuki ruas jalan tol Pasteur menggunakan model Greenshield. Didapatkan parameter penting, yaitu parameter Kcrit = 32.523 kend/km, Qmax = 30.223 kend/menit, Kmax = 63.833 kend/km, dan Q(Kmax) = 0.792 kend/menit sebagai variabel penentu pembentuk diagram fundamental tiangular melalui model HPN dan disimulasikan dengan SimHPN. Pengembangan yang dilakukan adalah dengan membuat nilai batas kecepatan maksimum (Variable Speed Limit ?VSL-) agar memastikan arus lalu lintas tetap berjalan dan menaikkan tingkat LOS dari jalan tol. Diberikan 4 variabel VSL yang diubah-ubah yaitu pada Vfree 100 km/jam, 80 km/jam, 60 km/jam, dan 40 km/jam. Ke-empat variabel tersebut disimulasikan menggunkan SimHPN pula untuk kemudian dilakukan pendekatan analitik. Dari simulasi VSL tersebut didapatkan bahwa dapat meningkatkan LOS jalan tol menjadi B pada saat VSL 60 km/jam.

---

Congestion is one of the most complex problem in the world, including Indonesia. Solution to decrease congestion problem is to keep move the vehicle on the road. Dynamics of traffic flow can be translated with the microscopic traffic model which is simplified in triangular shape as system quick responses towards fluctuation of real condition. It is called triangular fundamental diagram. Hybrid Petri Simulator (SimHPN) is used to simulate the fundamental diagram. Application models of Petri Net (PN) is done to case study of Padaleunyi toll roads, especially on Pasteur Gate. From the traffic flow premier data, can be obtained to Level of Services (LOS) of toll on point D. Then it is created in traffic flow dynamic microscopic model that affected from number of vehicles which use Greenshield Model. There are important parameter of it, among others Kcrit = 32.523 vehicles/km, Qmax = 30.223 vehicles/minute, Kmax = 63.833 vehicles/km, and Q(Kmax) = 0.792 vehicles/minute as main variables for triangular fundamental diagram framer via HPN model and simulated with SimHPN. Development of it have been determined by Variable Speed Limit (VSL) to ensure the traffic flow keep move continually and can raise LOS levels along toll roads. There are 4 variables of VSL that is changed, i.e Vfree 100 kph, 80 kph, 60 kph, and 40 kph. Those variables is simulated with SimHPN too and then can be done analytical approach. From the simulated VSL can be obtained the raises of toll road LOS into point B when VSL 60 kph."

"Pengembangan perangkat lunak sistem waktu-nyata membutuhkan banyak tahapan mulai dari penganalisisan, perancangan, sampai implementasi. Tahapan penganalisisan dan perancangan adalah tahapan yang penting, karena disini akan dilakukan pemodelan perangkat lunak yang akan dibuat. Setelah melewati kedua tahapan ini baru dapat dilakukan proses penulisan program (implementasi) dan pengujian yang akan menentukan apakah rancangan sesuai kebutuhan atau tidak. Tahapan analisis dan perancangan acapkali membutuhkan waktu yang lama dan dengan dernikian akan menghabiskan biaya dan usaha yang besar. Tesis ini mencoba melakukan pemodelan terhadap sistem proses pembuatan slab steel di PT. (Persero) Krakatau Steel dengan menggunakan metode penganalisisan dan perancangan Ward dan Mellor. Metode Ward dan Mellor adalah salah satu metode penganalisisan dan perancangan sistem waktu-nyata terstruktur yang baku. Untuk memvisualisasikan model yang telah dibuat dan mengetahui apakah hasil penganalisisan dan perancangan yang dilakukan sudah benar atau tidak, dibuat sebuah simulator proses pembuatan slab steel yang dibangun berdasarkan model di atas. Simulator ini dilengkapi dengan nilai-nilai parameter proses yang besarnya disesuaikan dengan nilai parameter proses sesungguhnya yang terdapat di pabrik slab steel PT. (Persero) Krakatau Steel. Simulator diterapkan pada beberapa komputer yang saling terhubung untuk menggambarkan bagian-bagian proses yang ada di pabrik. Simulator juga dilengkapi dengan tampilan grafis teranimasi."

"Pada tahun 2010 terjadi peningkatan level organisasi SI/TI di SKK Migas menjadi Divisi MSI. Dengan keragaman arsitektur dan teknologi yang dimiliki oleh tiap SI di SKK Migas, maka Service Oriented Architecture SOA dipilih menjadi konsep integrasi. Salah satu permasalahan yang menjadi penyebabnya adalah belum adanya standar pengembangan SI berbasis SOA di SKK Migas. Penelitian ini akan membuat strandard pengembangan SI berbasis SOA di SKK Migas untuk membantu mengatasi permasalahan ini di SKK Migas. Penelitian ini menggunakan scrum sebagai acuan dalam membuat rekomendasi standar pengembangan SI di SKK Migas. Rekomendasi standar pengembangan SOA dibuat dengan mengacu ke model yang dibuat oleh Thomas Erl. Untuk integrasi antara standar pengembangan SI dan SOA di SKK Migas, digunakan penelitian dari Vamshi Kiran Gireddy dan Andrew P. Ciganek dengan judul ldquo;Implementing A SOA Using Scrum: Achieving Improved Productivity Using Service Trees rdquo;. Penelitian ini menghasilkan rekomendasi standar pengembangan SI di SKK Migas. Hasil kedua dari penelitian ini adalah standar pengembangan SOA di SKK Migas. Standar integrasi antara pengembangan SI dan SOA diatur melalui 3 prosedur yaitu pendefinisian user stories service tree, pendefinisian jadwal sprint user stories dan service, dan review user stories service tree dan jadwal sprint.

---

In 2010, there is an increment of IS IT organization level at SKK Migas become centralized in MSI Division. Based on the heterogeneity of architecture and technology of IS in SKK Migas, service oriented architecture SOA have been chosen as the integration concept. Main cause of problem in SKK Migas is that there is no standard in SKK Migas for IS development based on SOA. This research will use scrum as a reference of IS development standard in SKK Migas. SOA development standard will use model from Thomas Erl as the reference. Research from Vamshi Kiran Gireddy and Andrew P. Ciganek named ldquo Implementing A SOA Using Scrum Achieving Improved Productivity Using Service Trees rdquo will be used as reference for integration of development standard of IS and SOA in SKK Migas. This research produce recommendation for IS development standard in SKK Migas. Other result of this research is SOA development standard in SKK Migas. Integration of IS and SOA development standard in SKK Migas consist of 3 process, definition of user stories service tree, schedule definition of user stories and service sprint, and review of user stories service tree and sprint schedule."