| 基于自动Petri网的联锁逻辑设计 |
| |
| 引用本文： | 谢林,杨扬.基于自动Petri网的联锁逻辑设计[J].城市轨道交通研究,2017,20(4). |
| |
| 作者姓名： | 谢林 杨扬 |
| |
| 作者单位： | 西南交通大学信息科学与技术学院,611756,成都 |
| |
| 基金项目： | 中国铁路总公司科技研究计划项目 |
| |
| 摘 要： | 联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。
|
| 关 键 词： | 轨道交通信号系统 联锁 逻辑控制 Petri网 |
Automation Petri Net for Interlocking Logical Design |
| |
| XIE Lin,YANG Yang.Automation Petri Net for Interlocking Logical Design[J].Urban Mass Transit,2017,20(4). |
| |
| Authors: | XIE Lin YANG Yang |
| |
| Abstract: | 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. |
| |
| Keywords: | rail transit signal system interlocking logic control Petri net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
