تحليل و اعتبارسنجي منطق سيستم اينترلاكينگ مبتني بر كامپيوتر (CBI) براي خط 7 مترو تهران با استفاده از شبكه¬هاي پتري رنگي

كارشناسي ارشد

چكيده مهمترين مسئله در سيستم¬هاي ريلي تأمين حمل و نقل ايمن است و از آنجا كه رخ دادن هرگونه خطا منجر به اتفاق فاجعه¬آميز مي¬شود، بنابراين هيچ¬گونه خطايي را نمي¬توان در سيستم¬هاي ريلي تحمل كرد. همچنين با توسعه شبكه¬هاي ريلي انتظار مي¬رود ايمني سيستم نيز افزايش يابد. از اين رو سيستم¬هاي سيگنالينگ بكار رفته در اين صنعت بايد اطمينان حاصل كنند كه در برابر رفتارهاي ناخواسته ايمن هستند. سيستم اينترلاكينگ مهمترين وظيفه را در برابر رخ دادن حوادث نسبت به ساير سيستم¬هاي موجود دارد. كاوش تمامي سناريوهاي ممكن در يك سيستم، اصول كلي روش¬هاي رسمي است. موضوع اصلي پيرامون اين تحقيق در صنعت ريلي مربوط به سيستم اينترلاكينگ است. در اين تحقيق طرح مسير سه ايستگاه از خط 7 متروي تهران و الزامات خاصي در مدل اينترلاكينگ در نظرگرفته شده است. مراحل كار بدين صورت است كه ابتدا مشخصات غير رياضي و مفهومي با استفاده از روش شبكه¬هاي پتري¬رنگي در قالبي گرافيكي با نرم افزار CPN Tools ارائه شده¬است و به وضوح مي¬توان سناريويي مانند عدم برخورد و يا برخورد قطارها را رويت نمود. در اين پروژه دو هدف درنظر گرفته شد. يكي مسيرگيري سيستم اينترلاكينگ است كه با استفاده از شبكه¬هاي سلسله مراتبي در اين نرم¬افزار تحقق يافت¬، و ديگري طراحي ماشين سوزن از تجهيزات سيستم اينترلاكينگ است، كه با بكارگيري تعداد المان¬هاي كمتري در اين نرم¬افزار نسبت به ديگر طراحي¬هاي انجام شده، امكان¬پذير شده است. در نهايت با استفاده از مدل ارائه شده و نمايش نتايجي كه اين نرم¬افزار در اختيار قرار مي¬دهد، اعتبارسنجي سيستم اينترلاكينگ مورد تحليل و بررسي قرار گرفته است.

196110

دانشگاه علم و صنعت ايران

--

مهندسي راه آهن- گرايش كنترل و علايم

دكتر محمدعلي صنديدزاده