Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/84532
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorวิวัฒน์ วัฒนาวุฒิ-
dc.contributor.authorรัตชนก เธียรปุญญธนากุล-
dc.contributor.otherจุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์-
dc.date.accessioned2024-02-05T11:03:28Z-
dc.date.available2024-02-05T11:03:28Z-
dc.date.issued2566-
dc.identifier.urihttps://cuir.car.chula.ac.th/handle/123456789/84532-
dc.descriptionสารนิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2566-
dc.description.abstractในอุตสาหกรรมการขนส่งทางทะเลที่มีการจัดการด้านความเสี่ยงในการเกิดความล่าช้าในการเดินเรือตามกำหนดเป็นปัญหาที่ซับซ้อน และเกิดความเสี่ยงและเกิดค่าเสียหายผลจากถึงกำหนดล่าช้าที่จะต้องประสบกับค่าใช้จ่ายของต้นทุนที่สูงขึ้นจากปัญหาความล่าช้า จึงให้ความสนใจที่ปัญหาเหล่านี้อยู่ที่การให้ความสำคัญกับความน่าจะเป็นจากความไม่แน่นอนและเวลาในการเดินเรือ ซึ่งเป็นปัจจัยที่สำคัญในการวางแผนและจัดการตารางเดินเรือให้เหมาะสมและมีประสิทธิภาพและเหมาะสมกับเงื่อนไขและปัจจัยที่แปรผันในอุตสาหกรรมการขนส่งทางทะเล งานวิจัยนี้ จึงเล็งเห็นความสำคัญของการนำไทม์ออโตมาตาแบบที่มีความน่าจะเป็น Probabilistic Timed Automata (PTA) มาใช้ในการจำลองกำหนดการตารางเดินเรือ (Vessel Scheduling)  เพื่อช่วยให้สามารถจำลองและประเมินผลของปัจจัยต่าง ๆ ที่ส่งผลต่อการเดินเรือได้อย่างเป็นระบบ และการช่วยให้ผู้วางแผนสามารถทำการปรับปรุงและวิเคราะห์ตารางเดินเรือ โดยมีผลจากการปรับปรุงค่าความนาจะเป็นและทำการทวนสอบผลที่ได้จากสถิติข้อมูลที่ใช้จำลองไม่เกิน 10% ผ่านการเขียนโปรแกรมด้วยภาษา PRISM โดยใช้ PRISM Model Checker โดยเครื่องมือสามารถจำลองพฤติกรรมการเดินเรือตามแบบจำลอง PTA ที่ออกแบบไว้ โดยคำนึงถึงปัจจัยของความน่าจะเป็นที่ส่งผลให้เกิดความล่าช้าและทำการทวนสอบด้วยสูตร PCTL ได้-
dc.description.abstractalternativeIn 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.-
dc.language.isoth-
dc.publisherจุฬาลงกรณ์มหาวิทยาลัย-
dc.rightsจุฬาลงกรณ์มหาวิทยาลัย-
dc.subject.classificationEngineering-
dc.subject.classificationTransportation and storage-
dc.subject.classificationMotor vehicles, ships and aircraft-
dc.titleการจำลองกำหนดการเดินเรือโดยใช้ไทม์ออโตมาตาแบบที่มีความน่าจะเป็น-
dc.title.alternativeSimulation of Vessel Scheduling using Probabilistic Timed Automata-
dc.typeIndependent Study-
dc.degree.nameวิทยาศาสตรมหาบัณฑิต-
dc.degree.levelปริญญาโท-
dc.degree.disciplineวิศวกรรมซอฟต์แวร์-
dc.degree.grantorจุฬาลงกรณ์มหาวิทยาลัย-
Appears in Collections:Eng - Independent Studies

Files in This Item:
File Description SizeFormat 
6470263821.pdf4.21 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.