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

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 486

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:

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

ECCONF01_067

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

چکیده مقاله:

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

کلیدواژه ها:

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

نویسندگان

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

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

حجت شریفی

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • 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. ...
  • نمایش کامل مراجع