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

Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 502

This Paper With 6 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

ECCONF01_067

تاریخ نمایه سازی: 6 بهمن 1395

Abstract:

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

Keywords:

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

Authors

محمدصادق محققی

دانشگاه ولیعصر(عج) رفسنجان

حجت شریفی

دانشگاه ولیعصر(عج) رفسنجان

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Hinton, Andrew, et al. "PRISM: A tool for automatic verification ...
  • Abdedda, Yasmina, Eugene Asarin, and Oded Maler. "Scheduling with timed ...
  • Katoen, Joost-Pieter. "Model checking: one can do much more than ...
  • Soeanu, Andrei, et al. _ Transportation risk analysis using probabilistic ...
  • Baier, Christel, and Joost-Pieter Katoen. Principles of model checking. Vol. ...
  • نمایش کامل مراجع