首页> 外文期刊>Mathematics and computers in simulation >A logic approach to decision taking in a railway interlocking system using Maple
【24h】

A logic approach to decision taking in a railway interlocking system using Maple

机译:使用Maple的铁路联锁系统决策的逻辑方法

获取原文
获取原文并翻译 | 示例

摘要

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.
机译:铁路联锁系统是通过轨道的布置来防止火车的运动冲突的设备。铁路联锁系统考虑了开关的位置(道岔的位置),并且除非列车使用的路线不相交,否则不允许列车发出清晰的信号。提出了一种基于布尔逻辑的独立于站拓扑的新模型。根据此新模型,只要且仅当一组特定的公式(转换火车的位置和允许的移动-取决于开关的位置和信号灯的颜色)一致时,任何给定的提议情况都是安全的。主要过程分析了所建议情况的安全性,如果存在,则返回可能发生碰撞的部分。考虑了火车可能占据一个以上部分的事实。相应的Maple实现的代码出奇的简短。

著录项

  • 来源
    《Mathematics and computers in simulation》 |2011年第1期|p.15-28|共14页
  • 作者单位

    Departamento de Algebra, Facultad de Education, Universidud Complutense de Madrid,d Rector Royo Villanova s, 28040 Madrid, Spain;

    Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Informdtica, Universidad Politecnica de Madrid,Carretera de Valencia km 7, 28031 Madrid, Spain;

    Depto. de CC. de la Computation e lnteligencia Artificial, E.T.S.I. Informdtica, Universidad de Sevilla,Av. Reina Mercedes s, 41012 Sevilla, Spain;

    Depto. de lnteligencia Artificial, Facultad de Informdtica, Universidad Politecnica de Madrid,Campus de Montegancedo, 28660 Boadilla del Monte, Madrid, Spain;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    railway interlocking systems; logic; decision theory; graph theory;

    机译:铁路联锁系统;逻辑;决策理论图论;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号