-
a logic approach to decision taking in a railway interlocking system using maple
جزئیات بیشتر مقاله- تاریخ ارائه: 1390/12/01
- تاریخ انتشار در تی پی بین: 1390/12/01
- تعداد بازدید: 485
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
railway interlocking systems are apparatuses that prevent conflicting movements of trains through an arrangement of tracks. a railway interlocking system takes into consideration the position of the switches (of the turnouts) and does not allow trains to be given clear signals unless the routes to be used by the trains do not intersect. a new model, based on boolean logic, and independent from the topology of the station is presented in this paper. according to this new model, any given proposed situation is safe if and only if a certain set of formulae (translating the position of trains and the movements allowed – the latter depend on the position of the switches and the colour of the semaphores) is consistent. the main procedure analyses the safety of a proposed situation and returns, if they exist, the sections where a collision could take place. the fact that trains could occupy more than one section is considered. the code of the corresponding maple implementation is surprisingly brief.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی رابطه بین برخی عوامل اجتماعی و نوع دوستی در شهر اصفهان (مورد مطالعه : جوانان 92 51 ساله)
-
مدیریت و ممیزی انرژی و مزایای بکار گیری استاندارد مدیریت انرژی
-
نقش اقلیم و پدافند غیر عامل در شکل گیری معماری پایدار بررسی نمونه های موردی (معماری دست کند شهر های نوش اباد کاشان و درینکویی ترکیه)
-
کاربرد تحلیل مولفه های اصلی در شناسایی آنومالیهای ژئوشیمیایی در ناحیه فیض آباد، شمال شرق ایران
-
a methodology for cracks identification in large crankshafts
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
مکانیابی تابلوهای پیام متغیر خبری (vms) در شبکه های درون شهری با استفاده از نرم افزار arc gis (نمونه موردی : شهر کرج)
-
مقایسه قوانین وراهکارهای حقوقی مبارزه با پولشویی در نظام حقوقی ایران وانگلیس
-
محاسبه ضریب رفتار و تغییرات آن با افزایش ارتفاع در سازه های فولادی با سیستم لوله ای مهاربندی شده
-
شناسایی و الویت بندی عوامل حیاتی موفقیت کسب و کارهای نوپای مالی (مورد مطالعه شرکتهای نوپای مالی در استان تهران)
-
strategic competitor assessment for robust digital connect: a case study on calcutta management association of india
سوال خود را در مورد این مقاله مطرح نمایید :