การจำลองกำหนดการเดินเรือโดยใช้ไทม์ออโตมาตาแบบที่มีความน่าจะเป็น

Abstract

ในอุตสาหกรรมการขนส่งทางทะเลที่มีการจัดการด้านความเสี่ยงในการเกิดความล่าช้าในการเดินเรือตามกำหนดเป็นปัญหาที่ซับซ้อน และเกิดความเสี่ยงและเกิดค่าเสียหายผลจากถึงกำหนดล่าช้าที่จะต้องประสบกับค่าใช้จ่ายของต้นทุนที่สูงขึ้นจากปัญหาความล่าช้า จึงให้ความสนใจที่ปัญหาเหล่านี้อยู่ที่การให้ความสำคัญกับความน่าจะเป็นจากความไม่แน่นอนและเวลาในการเดินเรือ ซึ่งเป็นปัจจัยที่สำคัญในการวางแผนและจัดการตารางเดินเรือให้เหมาะสมและมีประสิทธิภาพและเหมาะสมกับเงื่อนไขและปัจจัยที่แปรผันในอุตสาหกรรมการขนส่งทางทะเล งานวิจัยนี้ จึงเล็งเห็นความสำคัญของการนำไทม์ออโตมาตาแบบที่มีความน่าจะเป็น Probabilistic Timed Automata (PTA) มาใช้ในการจำลองกำหนดการตารางเดินเรือ (Vessel Scheduling) เพื่อช่วยให้สามารถจำลองและประเมินผลของปัจจัยต่าง ๆ ที่ส่งผลต่อการเดินเรือได้อย่างเป็นระบบ และการช่วยให้ผู้วางแผนสามารถทำการปรับปรุงและวิเคราะห์ตารางเดินเรือ โดยมีผลจากการปรับปรุงค่าความนาจะเป็นและทำการทวนสอบผลที่ได้จากสถิติข้อมูลที่ใช้จำลองไม่เกิน 10% ผ่านการเขียนโปรแกรมด้วยภาษา PRISM โดยใช้ PRISM Model Checker โดยเครื่องมือสามารถจำลองพฤติกรรมการเดินเรือตามแบบจำลอง PTA ที่ออกแบบไว้ โดยคำนึงถึงปัจจัยของความน่าจะเป็นที่ส่งผลให้เกิดความล่าช้าและทำการทวนสอบด้วยสูตร PCTL ได้