محمدعلی صندیدزاده - دانشیار دانشکده مهندسی راه آهن دانشکده مهندسی راه آهن دانشگاه علم و صنعت ایران
علی محمد حمزه لو - کارشناسی ارشد مهندسی راه آه ن دانشکده مهندسی راه آهن دانشگاه علم و صنعت ایران تهران ایران
فرزاد سلیمانی - دانشجوی دکتری مهندسی راه آهن. دانشکده مهندسی راه آهن دانشگاه علم و صنعت ایران

در سال های اخیر با گسترش خطوط ریلی و افزایش روزافزون تعداد خطوط ریلی شامل راه آهن بین شهری، خطوط راه آهن شهری (مترو)تراموا، مونوریل و سایر خطوط، طراحی سیستم سیگنالینگ و به تبع آن سیستم اینترلاکینگ و استخراج منطق و قوانین این سیستم برایکنترل و نظارت بر تردد ایمن قطارها در خطوط، از اهمیت بسیار بالایی برخوردار است. سیستم های اینترلاکینگ که عامل اصلی تصمیم گیریدر سیستم های سیگنالینگ در خطوط ریلی هستند به صورت مستقیم مسئول تضمین حرکت ایمن قطارها می باشند. از آنجایی که درطراحی قوانین جدول کنترل توسط افراد، ریسک خطاهای انسانی وجود دارد، و با توجه به اهمیت بالای ایمنی در تردد قطارها در سیستمهایاینترلاکینگ خطوط ریلی، ارائه یک روش و سیستم برای تولید و استخراج این قوانین به صورت خودکار و ایمن و بدون دخالت افراد جهتجلوگیری از بروز خطاهای انسانی، مورد توجه بسیاری از محققان قرار گرفته است. نرم افزار یک سیستم اینترلاکینگ، بر اساس چینشتجهیزات کنار خط و استخراج جدول کنترل طراحی می شود. در زمینه پیاده سازی قوانین اینترلاکینگ و مسیرسازی برای تردد قطارها، تاکنون رو شها و ابزاره ای مختلفی طراحی و ارائه شده و تحقیقات زیا دی در این زمینه انجام شده اس ت، ولی تا کنون یک سیستم کارآمدکه بتواند جدول کنترل را به صورت خودکار و ایمن و بر اساس چینش تجهیزات کنار خط تولید کند، ارائه نشده است. در این مقاله پس ازبررسی قوانین حرکت در سیستم های اینترلاکینگ، با استفاده از یک ابزار کا رآمد به نام اتوپلی مدیا استود یو، و با استفاده از روش هایصوری، یک سیستم برای طراحی چیدمان خط، فرآیند مسیرسازی و استخراج جدول کنترل به صورت خودکار ارائه شده است که با استفادهاز اطلاعات مربوط به تجهیزات شبکه ریلی و قوانین حرکت، مدل سازی می شوند. از ویژگی های مهم این روش ، کاربری آسان، تنظیم مسیربا در نظر گرفتن قواعد پایه اینترلاکینگ، استخراج سریع جدول کنترل، پویانمایی حرکت قطار در طول مسیر و اعمال تغییرات در وضعیتتجهیزات کنار خط در حین حرکت قطار است

سیستم اینترلاکینگ؛ جدول کنترل؛ اتوپلی مدیا استودیو؛ روش های صوری .