Hasil Pencarian  ::  Simpan CSV :: Kembali

"ABSTRAKPemilihan jenis persimpangan dan perencanaan geometrik persimpangan sebagai elemen dari perencanaan persimpangan tidak sebidang harus dirancang dengan cermat agar persimpangan dapat berfungsi secara optimal. Proses perencanaan persimpangan tidak sebidang memerlukan waktu dan tingkat keahlian pada perencana. Untuk membantu dalam pengambilan keputusan yang terbaik pada perencanaan persimpangan tidak sebidang, khususnya tiga kaki simpang, maka dikembangkan perangkat lunak yang bersifat interaktif untuk perencanaan persimpangan tidak sebidang tiga kaki simpang.Pengembangan perangkat lunak ini dilakukan dengan menggunakan bahasa pemrograman Visual Basic versi 3.0. Proses pengembangannya meliputi konsep dan perancangan program yang dibuat berdasarkan tahap-tahap perencanaan persimpangan yaitu pemilihan jenis persimpangan dan perencanaan geometri persimpangan. Tahap-tahap ini merupakan modul terpisah yang dapat disatukan dan diatur dengan membuat satu program utama. Secara keseluruhan paket perangkat lunak perencanaan ini diberi nama Intersign 1.1 Hasil penggunaan intersign 1.1. dapat memberikan rekomendasi pola persimpangan tidak sebidang tiga kaki simpang dan perencanaan geometri persimpangan tersebut. Intersign merupakan perangkat lunak yang bersifat terbuka dan dapat dimodifikasikan secara mudah sehingga dapat dikembangkan lebih lanjut untuk dapat mendapatkan prototipe yang lebih komprehensif dan handal untuk perencanaan persimpangan."

"Perencanaan persimpangan ditujukan untuk mengurangi titik konflik di persimpangan jalan, mengurangi kecelakaan lalu lintas, mengurangi waktu tundaan dan mengoptimalkan arus lalu lintas. Proses perencanaan persimpangan memerlukan waktu dan tingkat keahlian dari perencana. Sehingga adanya perangkat pendukung yang memadai akan membantu serta mengoptimalkan perencanaan persimpangan dan waktu yang dibutuhkan untuk merencanakan persimpangan tersebut. Tujuan pengembangkan perangkat lunak uni adalah untuk membantu perencanaan geometrik persimpangan tidak sebidang empat kaki simpang.Yang dimaksud dengan perencanaan geometrik adalah meliputi perencanaan jumlah dan lebar lajur, jarak pandang, kelandaian, daerah penggabungan (merge) dan pemisahan (diverge), dan penentuan radius ramp serta radius loop. Pengembangan perangkat lunak ini dilakukan dengan menggunakan bahasa pemrograman Visual Basic versi 5.0. Proses pengembangannya meliputi konsep dan pengembangan program yang dibuat berdasarkan tahap-tahap perencanaan geometrik persimpangan tidak sebidang, dengan menggunakan standar-standar dan referensi yang memiliki kelebihan-kelebihan dan dapat diterapkan di Indonesia seperti standar Bina Marga, standar AASHTO, standar Inggris TD 22/92. Hasil pengembangan program Intersign 5.0 yaitu merencanakan geometrik persimpangan tidak sebidang empat kaki simpang sehingga dari suatu bentuk persimpangan didapat perencanaan geometriknya berupa lebar dan jumlah lajur, jarak pandang henti dan jarak pandang menyiap, jari-jari ramp, jari-jari loop, kelandaian, bentuk daerah penggabungan dan pemisahan, dimensinya serta gambar detail per titiknya."

"Suatu persimpangan tidak sebidang dirancang untuk memberikan tingkat kehandalan yang tinggi dalam menampung arus laiu lintas yang memasuki suatu persimpangan Hntersection). Kondisi optimum adalah tidak terjadinya gangguan atau kontiik pada setiap komponeh arah pergerakan -pada setiap kaki simpang sedemikian rupa sehingga tundaan yang terjadi minimum. Tetapi faktor biaya konstruksi dan ketersediaan iahan kerap menjadi kendala dalam pemilihan suatu persimpangan. `OIeh karena itu pemilihan tipe persimpangan empat kaki simpang tidak sebidang atau simpang susun (interchanges) empat kaki simpang hams dilakukan secara akurat untuk memperoleh fungsi yang optimal dari suatu persimpangan.Perancangan persimpangan khususnya pada tahap pemilihan poia persimpangan tidak sebidang merupakan suatu pekeljaan yang memakan waktu dan hal ini memerlukan tingkat keahlian tertentu dan seorang insinyur perencana. Selain dari banyaknya variabel yang harus diperhitungkan _ dalam perencanaannya, suatu algoritma pemilihan yang baku belum ada. Pada penelitian ini dicoba disusun suatu algontma pendekatan untuk pemilihan tipe persimpangan empat kaki simpang tidak sebidang dengan variabel utama volume Ialu lintas. Berdasarkan referensi yang digunakan, terdapat 32 bentuk umum yang sering digunakan. Algoritma yang dirancang digunakan untuk memilih salah satu bentuk dari ke-32 bentuk tersbut_ Bentuk-bentuk lain yang mungkin muncul akan diarahkan ke salah satu bentuk (dan 32 bentuk umum)yang paling mendekati. Kriteria pemilihan berdasarkan kurva pemilihan jenis persimpangan dari Transport and Road Research Laboratory 1991.Suatu bentuk simpang susun terdiri dari gabungan Iintasan-Iintasan lurus, Iintasan belok kiri dan lintasan belok kanan dari setiap kakinya. Lintasan-Iintasan ini amat khas baik bentuk maupun daya tampung arus kendaraannya. Hal inilah yang mendasari pemilihan bentuk simpang susun. Variasi Iintasan-lintasan tersebut diinterpretasikan ke dalam bentuk matriks sehingga proses pemilihan dapat dilakukan secara numerik.Algonlma yang dirancang telah diaplikasikan dalam suatu perangkat lunak Intersign 5.0 yang ditulis dalam bahasa pemrograman Microsoft” Visual Basic 5.0"

"ABSTRAKPemeliharaan jalan pada segmen jalan tertentu adalah kewajiban yang harus dilaksanakan oleh operator jalan atau pihak lain secara rutin. Oleh karena itu pemeliharaan jalan tidak boleh memiliki dampak besar pada lalu lintas, keselamatan dan pelayanan. Pada beberapa kasus, penutupan lajur sementara diperlukan yang akan mempengaruhi kecepatan kendaraan pada zona kerja. Panjang merging taper pada lajur yang ditutup berfungi juga sebagai petunjuk visual bagi pengemudi untuk berpindah dari lajur yang ditutup. Pada taper length yang lebih panjang, perangkat untuk menyalurkan digunakan untuk mendorong pengemudi berpindah lajur. Kendaraan dengan pandangan yang terhalang dapat terjebak dan menyebabkan permasalahan dalam mobilitas di arus lalu lintas. Pada taper length yang lebih pendek, pengemudi bereaksi terhadap panjang merging taper itu sendiri walaupun kendaraan akan tetap terjebak mendekati titik penyatuan tetapi dalam jumlah yang lebih sedikit. Hubungan antara panjang merging taper dan kecepatan kendaraan di dalam zona kerja akan diidentifikasi menggunakan simulasi mikroskopik lalu lintas dengan bantuan program PTV VISSIM 6.0.

---

ABSTRACT

Road maintenance at road segment is a task that must be done by operator or other party routinely. Therefore it cannot have any major impact on traffic, safety, and service. In some cases, temporary lane closure are required that affected the vehicle speed in workzone. Merging taper length in the closed lane served as visual cues to driver to change lanes. Vehicles with occlude views, however, were more likely to become trapped and to create mobility issues in the traffic stream. On shorter tape lengths, drivers reacted to the merging taper itself. Although fewer vehicles became trapped near the merge point. The relation between merging taper length and vehicle speed in the workzone will be identified using microscopic traffic simulation with the help of PTV VISSIM 6.0"

"Kendaraan merupakan salah satu kebutuhan yang sering digunakan dalam aktivitas sehari-hari. Seiring dengan banyaknya aktivitas berkendara, sering terjadi kecelakaan dimana diakibatkan baik kegagalan sistem kendaraan maupun kesalahan pengemudi didalam mengemudi ataupun mengambil keputusan disaat berkendara. Oleh karena itu penulis melakukan penelitian dimana pengendara dapat terbantu untuk mendapatkan keputusan yang tepat disaat ingin melakukan pergantian lajur kendaraan. Dengan memanfaatkan model Advanced Driving Assistance System yang telah banyak berkembang, dimana sistem pergantian lajur kendaraan memanfaatkan informasi yang didapat melalui sensor LiDAR sehingga dapat mendeteksi kendaraan yang akan berguna untuk keputusan pergantian lajur kendaraan. Penelitian ini berfokus pada pengembangan pengendali lateral dengan menggunakan Model Predictive Control (MPC) untuk mengatasi masalah model kendaraan non-linear, gangguan eksternal, keadaan kendaraan dan lingkungan kendaraan yang bervariasi, serta sharing control antara pengemudi dengan sistem bantuan. Skema pengendali ini terbagi menjadi tiga bagian yaitu, pengambilan data yang dilakukan oleh sensor LiDAR yang terdapat pada Carsim, memodelkan referensi trajektori dan pengendali Lane-Change Assistance System untuk MPC. Dalam penelitian ini, menggunakan model identifikasi bertingkat untuk mendapatkan model kendaraan yang mendekati model yang sesungguhnya. Hasil identifikasi ini kemudian akan digunakan pada MPC. Secara keseluruhan, penelitian ini menggunakan MATLAB, Simulink, dan CarSim. Hasil percobaan menunjukkan MPC memiliki kemampuan yang baik untuk melakukan pergantian lajur kendaraan.

---

Vehicle is one of the needs that is often used in daily activities. Along with the many driving activities, accidents often occur where both the failure of the vehicle system and the driver's error in driving or making decisions when driving. Therefore, the authors conducted a study where motorists can be helped to get the right decision when they want to change vehicle lanes. By utilizing the developed model of the Advanced Driving Assistance System, the vehicle lane turnover system utilizes information obtained through the LiDAR sensor so that it can detect vehicles that will be useful for vehicle lane turnover decisions. This research focuses on the development of lateral controllers using the Predictive Control Model (MPC) to overcome the problem of non-linear vehicle models, external interference, varying vehicle conditions and vehicle environment, and sharing control between the driver and the assistance system. This control scheme is divided into three parts, namely, data retrieval carried out by the LiDAR sensor found in Carsim, modeling the reference trajectory and controlling the Lane-Change Assistance System for MPC. In this study, using multilevel identification models to get a vehicle model that is close to the real model. The results of this identification will then be used at the MPC. Overall, this study uses MATLAB, Simulink, and CarSim. The experimental results show that MPC has a good ability to change vehicle lanes."

"Teori kategori adalah teori yang mendalami abstraksi morfisma atau pemetaan antar struktur matematika. Suatu kategori terdiri dari objek dan morfisma serta memenuhi dua aksioma yaitu aksioma asosiatif dan aksioma identitas. Kategori bertujuan untuk membangun konsep fungtor dan transformasi alami. Fungtor merupakan pengaitan antar kategori dan transformasi alami merupakan pengaitan antar fungtor. Dari fungtor dan transformasi alami, dapat dibangun sebuah konsep ekuivalensi yang menjelaskan ’kesamaan’ suatu struktur kategori. Kategori monoidal merupakan kategori dengan tambahan sifat monoid, yaitu memiliki operasi biner berupa bifungtor, asosiator berupa isomorfisma alami, dan objek unit berupa objek 1 beserta dua unitor yang merupakan isomorfisma alami. Kategori monoidal memenuhi dua aksioma, yaitu aksioma segilima dan aksioma segitiga. Bila objek yang dikaitkan oleh asosiator dan unitor adalah sama, maka diperoleh sifat ketegasan (strictness). Kategori monoidal dengan sifat ketegasan (strictness) disebut sebagai kategori monoidal tegas (strict). Teorema Ketegasan Mac Lane menyatakan bahwa setiap kategori monoidal ekuivalen monoidal dengan suatu kategori monoidal tegas. Penulisan skripsi ini bertujuan untuk mengkaji dan menuliskan kembali bukti Teorema Ketegasan Mac Lane pada kategori monoidal.

---

Category theory is a theory that explores the abstraction of morphisms or the mapping between mathematical structures. A category consists of objects and morphisms and satisfies two axioms, namely the associative axiom and the axiom of identity. Categories aim to build the concept of functors and natural transformations. A functor is a mapping between categories and a natural transformation is a mapping between functors. From functors and natural transformations, an equivalence concept can be constructed that explains the ’similarity’ of categories. Monoidal categories are categories with the addition of monoidal properties, namely having a binary operation in the form of a bifunctor, an associator in the form of a natural isomorphism, and a unit object in the form of object 1 and two unitors which are natural isomorphisms. A monoidal category satisfies two axioms, namely the pentagon axiom and the triangular axiom. If the object associated by the associator and unitor is the same, then a new characteristic appears, namely strictness. A monoidal category with strictness is referred to as a strict monoidal category. Mac Lane’s Strictness Theorem states that every monoidal category is monoidally equivalent to a strict monoidal category. The writer aims to examine and rewrite the proof of Mac Lane’s Strictness Theorem on monoidal categories."