摘要
联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。
Interlocking rigor and logic of the software has a great impact on traffic safety. With automated Petri net and according to the conversion of mutual restraints between the track circuit signal, switch and the states of transition, models of signal, turnout and route are established respectively. Then,according to a refined model of train running from train pushed approach to the process of clearing approach, an unlock model is established. On this basis, a PLC - based interlocking software is designed to achieve the interlock logic control.
出处
《城市轨道交通研究》
北大核心
2017年第4期113-118,共6页
Urban Mass Transit
基金
中国铁路总公司科技研究计划项目(2015X007-5
2015X009-D
2014X008-A)
