-
a logic approach to decision taking in a railway interlocking system using maple
جزئیات بیشتر مقاله- تاریخ ارائه: 1390/12/01
- تاریخ انتشار در تی پی بین: 1390/12/01
- تعداد بازدید: 469
- تعداد پرسش و پاسخ ها: 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.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
نقش و عوامل مؤثر انرژی خورشیدی در ساختمان ها نمونه موردی: ساختمان های تهران
-
بررسی دانش و معماری بیونیک برای رسیدن به معماری پایدار
-
بررسی عملکرد قرارگیری المان های کابلی در سکوهای ثابت دریایی
-
اثربخشی آموزش هوش معنوی بر افزایش بهزیستی روانشناختی و خود کنترلی دانش آموزان دختر شهر تهران
-
start-up, steady state performance and kinetic evaluation of a thermophilic integrated anaerobic–aerobic bioreactor (iaab)
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
نقش مدیریت خرج کرد در پیشبرد اهداف مالی شرکت های در حال توسعه
-
رابطه بین ویژگی های شخصیتی و مسئولیت پذیری معلمان با اهمالکاری و انگیزش پیشرفت تحصیلی دانش آموزان
-
بررسی رابطه بین معاملات بلوکه شده و همزمانی قیمت سهام
-
سنتز منعقد کننده نانویی جهت جایگزینی با منعقد کننده های مصرفی در واحد پساب صنعتی ماهشهر
-
بررسی رابطه بین مدیریت سازمان، مهارت های فناوری اطلاعات و عملکرد کارکنان شهرداری های استان گیلان
سوال خود را در مورد این مقاله مطرح نمایید :