Chulalongkorn University Theses and Dissertations (Chula ETD)
Other Title (Parallel Title in Other Language of ETD)
Simulation of Vessel Scheduling using Probabilistic Timed Automata
Year (A.D.)
2023
Document Type
Independent Study
First Advisor
วิวัฒน์ วัฒนาวุฒิ
Faculty/College
Faculty of Engineering (คณะวิศวกรรมศาสตร์)
Department (if any)
Department of Computer Engineering (ภาควิชาวิศวกรรมคอมพิวเตอร์)
Degree Name
วิทยาศาสตรมหาบัณฑิต
Degree Level
ปริญญาโท
Degree Discipline
วิศวกรรมซอฟต์แวร์
DOI
10.58837/CHULA.IS.2023.37
Abstract
ในอุตสาหกรรมการขนส่งทางทะเลที่มีการจัดการด้านความเสี่ยงในการเกิดความล่าช้าในการเดินเรือตามกำหนดเป็นปัญหาที่ซับซ้อน และเกิดความเสี่ยงและเกิดค่าเสียหายผลจากถึงกำหนดล่าช้าที่จะต้องประสบกับค่าใช้จ่ายของต้นทุนที่สูงขึ้นจากปัญหาความล่าช้า จึงให้ความสนใจที่ปัญหาเหล่านี้อยู่ที่การให้ความสำคัญกับความน่าจะเป็นจากความไม่แน่นอนและเวลาในการเดินเรือ ซึ่งเป็นปัจจัยที่สำคัญในการวางแผนและจัดการตารางเดินเรือให้เหมาะสมและมีประสิทธิภาพและเหมาะสมกับเงื่อนไขและปัจจัยที่แปรผันในอุตสาหกรรมการขนส่งทางทะเล งานวิจัยนี้ จึงเล็งเห็นความสำคัญของการนำไทม์ออโตมาตาแบบที่มีความน่าจะเป็น Probabilistic Timed Automata (PTA) มาใช้ในการจำลองกำหนดการตารางเดินเรือ (Vessel Scheduling) เพื่อช่วยให้สามารถจำลองและประเมินผลของปัจจัยต่าง ๆ ที่ส่งผลต่อการเดินเรือได้อย่างเป็นระบบ และการช่วยให้ผู้วางแผนสามารถทำการปรับปรุงและวิเคราะห์ตารางเดินเรือ โดยมีผลจากการปรับปรุงค่าความนาจะเป็นและทำการทวนสอบผลที่ได้จากสถิติข้อมูลที่ใช้จำลองไม่เกิน 10% ผ่านการเขียนโปรแกรมด้วยภาษา PRISM โดยใช้ PRISM Model Checker โดยเครื่องมือสามารถจำลองพฤติกรรมการเดินเรือตามแบบจำลอง PTA ที่ออกแบบไว้ โดยคำนึงถึงปัจจัยของความน่าจะเป็นที่ส่งผลให้เกิดความล่าช้าและทำการทวนสอบด้วยสูตร PCTL ได้
Other Abstract (Other language abstract of ETD)
In the vessel sailing transport logistics industry, managing the risk of delays in scheduled sailings is a complex issue, and there is risk and damage as a result of the delay in due date and having to face higher costs from the delay problem. Therefore, the focus of these problems is on the importance of probabilities due to uncertainty and navigation time. This is an important factor in planning and managing vessel scheduling to be appropriate and efficient and suitable for changing conditions and factors in the vessel sailing transport logistics industry. This paper, therefore, recognizes the importance of using time automata with Probability Probabilistic Timed Automata (PTA) is used in simulating vessel scheduling (Vessel Scheduling) to enable the simulation and evaluation of various factors that affect shipping in a systematic way, and helping planners improve and analyze sailing schedules. The results of improving the probability values and verifying the results obtained from the statistical data used in the simulation are not more than 10% through programming in the PRISM language using the PRISM Model Checker. The tool can simulate navigation behavior according to the model. The designed PTA takes into account factors of probabilities that cause delays and can be verified using the Probabilistic Timed Computation Tree Logic (PCTL) formula.
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Recommended Citation
เธียรปุญญธนากุล, รัตชนก, "การจำลองกำหนดการเดินเรือโดยใช้ไทม์ออโตมาตาแบบที่มีความน่าจะเป็น" (2023). Chulalongkorn University Theses and Dissertations (Chula ETD). 10182.
https://digital.car.chula.ac.th/chulaetd/10182