Santoso, Iman and Noche, Bernd and Ridwan, Asep and Bahauddin, Achmad and Ekawati, Ratna and Indrahanif, Muhammad (2015) Formal Specification, Testing and Verification on the Truck Simulation. Proceedings of the Hamburg International Conference of Logistics (HICL), 22. pp. 295-328. ISSN 2365-5070
Text
hicl-2015-22-295.pdf Download (4MB) |
Abstract
Truck operation for the fertilizer handling in the one of Indonesia's Port turned out to be inefficient and produced long queues (1.3 hours) when operated in the maxi�mum number of trucks, i.e. 30 units - 30 tons load capacity per unit. This paper pre�sents a simulation-based optimization for scheduling quantity and capacity of the fertilizer trucks to achieve handling-target within 24 hours and reduce queue. New procedural technique that combine statistical, modeling, simulation and verification have been developed employing several tools and managed in a structural way using formal specification. Those techniques optimize the truck operation turn into 8 units and also decrease the round trip operation from 220 rounds into 217 rounds. It gen�erates a daily productivity of 6516 tons and minimize truck queue until 0.14 hour. The reduction of resources utilization and queue time will diminish the total fertilizer handling cost
Item Type: | Article |
---|---|
Subjects: | T Technology > T Technology (General) |
Divisions: | 03-Fakultas Teknik 03-Fakultas Teknik > 26201-Jurusan Teknik Industri |
Depositing User: | Dr ST MT Ratna Ekawati |
Date Deposited: | 14 Jun 2023 15:15 |
Last Modified: | 14 Jun 2023 15:15 |
URI: | http://eprints.untirta.ac.id/id/eprint/24882 |
Actions (login required)
View Item |