محمدصادق محققی - دانشگاه ولیعصر(عج) رفسنجان
حجت شریفی - دانشگاه ولیعصر(عج) رفسنجان

در این مقاله به ارائه روشی برای زمان بندی حرکت قطارها با در نظرگرفتن احتمال تاخیر برای هر حرکت و تاثیر آن بر دیگر قطارها می-پردازیم. این روش مبتنی بر وارسی مدل احتمالاتی بوده و برای پیادهسازی آن از ابزار PRISM استفاده می کنیم. نتایج کار نشان می دهد که با استفاده از روش ارائه شده می توانیم زمان بندی بهتری ارائهدهیم تا احتمال رخداد تاخیرهای طولانی را کمینه کنیم.

زمان بندی در حمل و نقل ریلی، وارسی مدل احتمالاتی، بهینه سازی