摘要
文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,观察相邻RBC交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性。为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠。
In this paper,design a model of generation of movement authority based on Petri net,aiming at the question existing at standardized design of movement authority in high-speed train control system and according to mechanism of generation process of movement authority in CTCS-3 control system.Finally using CPN tools simulates the process of movement authority under the RBC handover mode,which is one of the CTCS-3 train control system' operational scenes.Observe operation process of communication mechanism and message transmission through simulation.Finally verify the correctness of the principle movement authority generation by analyzing its performance.This for the movement authority module provides a standardized method of software design and reduce some defects which exists at software development process,so that the train operation is safer and more reliable.
出处
《计算机技术与发展》
2012年第4期157-160,164,共5页
Computer Technology and Development
基金
铁道部重点项目(2009X001-B)