این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
مهندسی حمل و نقل، جلد ۱۰، شماره ۱، صفحات ۱۰۳-۱۱۶
عنوان فارسی مدلسازی و کنترل نظارتی سیستم‌های حمل و نقل ریلی با استفاده از شبکه پتری رنگی
چکیده فارسی مقاله شبکه‌های حمل و نقل ریلی، با استفاده از روش‌های مدلسازی و شبیه‌سازی در مرحله طراحی، راه اندازی و بهره برداری مورد مطالعه قرار گرفته و خصوصیات و رفتار آن به کمک شبکه‌های پتری مدل شده و تحلیل می‌شود. در این مقاله با استفاده از مفاهیم شبکه پتری رنگی اجزای اصلی یک خط ریلی و انواع سیگنال‌ها معرفی شده و مدل پتری رنگی آن شامل انشعاب (ماشین سوزن) مسیرراه‌آهن، انتهای خط، انشعاب دو سوزنه، تقاطع و... بیان می‌گردد. برای مدلسازی شبکه ریلی ابتدا مطابق با بلاک‌بندی، برای نمایش بلاک‌ها، از مکان‌ها در شبکه پتری استفاده شده و برای اینکه نحوه تبدیل وضعیت و اشغال بلاک توسط قطارها در هر لحظه مدل شود گذرها در شبکه پتری تعریف می‌شوند. سپس کنترل نظارتی که ناظر بر ورود قطار به مدل از یارد، نظارت بر ورود قطار به ایستگاه، نظارت بر خروج قطار از ایستگاه و الزامات ایمنی و عدم وقفه باشد، چنان طراحی شده است که شبکه مدل شده با شبکه پتری رنگی، بدون وقفه بوده و ایمنی آن تضمین می‌گردد همچنین با استفاده از مفهوم رنگ، دو نوع قطار عادی (نرمال) و تندرو (اکسپرس) در شبکه ریلی در مدل معادل شبکه پتری، با استفاده از نرم افزار CPN Tools پیاده سازی شده و شبکه با تعداد قطارهای مختلف در هر دو جهت حرکت قطارها از نظر ایمنی، عدم وقفه و سایر الزامات عملیاتی تحلیل می گردد. بدین منظور تحلیل های درخت دسترس پذیری با رسم گراف فضای حالت به منظور تایید عدم وجود وقفه در حرکت قطارها و رعایت الزامات ایمنی، تحلیل حداکثر و حداقل نشانه های موجود در هر مکان به منظور رعایت الزام ایمنی در بلاک سیستم ریلی و تحلیل حداکثر تعداد حضور در هر مکان به منظور رعایت اینکه قطار تندرو در بلاک های کنارگذر قرار نگیرد، انجام شده و صحت عملکرد کنترل نظارتی نشان داده می شود.
کلیدواژه‌های فارسی مقاله سیستم‌های حمل ونقل ریلی، شبکه پتری رنگی، ‌ ارزیابی و مدلسازی،
عنوان انگلیسی Modeling and Supervisory Control of a Railway Signaling Systems Using Color Petri Net
چکیده انگلیسی مقاله Modeling and simulation are widely used in the transportation network. In fact, by using this technique, a pre-built system will be analyzed after and before launching. Petri nets are useful tools for modeling and analyzing complex networks such as railway network. In this paper, using colored petri net concept, the main elements of a railway track and signals is modeled including turn out, track segment, end segment, junction and etc. In this model, the place is intended as block similar to railway and to show that block is busy by train, it is used the arc to each place. The supervisory control is designed to supervise train input and output to yards and stations, safety and non-blocking requirements in such a way that not only proposed railway network is not blocked but also safety is guaranteed. In this regards, some arcs is intended whose conditions have the role of supervisory control and also Normal and Express trains are considered in railway network as color token in petri net model. It is analyzes the petri net model by CPN Tools to satisfy logical (safety and non-blocking) and operational requirements of network. So Availability Tree is provided by state space graphs results to verify non-blocking in train operations and satisfying safety requirements. Then Best Integer Bounds Analysis is provided to verify safety operation requirements in signaling railway blocks. Finally The Best Upper Multi set Bounds Analysis in CPN Tools is implemented to verify the maximum number of Token(Train) detection in each place (block) in order to verify that the express train is never guided to waysides.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله محمدرضا اشکی |
دانشگاه علم و صنعت

بهمن قربانی واقعی |
دانشگاه علم و صنعت

نشانی اینترنتی http://jte.sinaweb.net/article_50924_f66aba1f9a4ac8c387186fbe22463859.pdf
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/1231/article-1231-804259.pdf
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات