基于CPN的列控系统等级转换建模与分析  

Modeling and formal analysis of level transition based on colored Petri nets

作　　者：董健 戴胜华[1] 

机构地区：[1]北京交通大学电子信息工程学院,北京100044

出　　处：《计算机工程与应用》2018年第2期208-213,共6页Computer Engineering and Applications

基　　金：科技部"科技支撑计划"(No.2013BAG19B00-03-01-01)

摘　　要：在高速列车运行过程中,列控系统等级转换过程所用的时长和转换成功概率,直接影响列车运行安全和行车效率。利用有色Petri网对CTCS-3级列控系统和CTCS-2级列控系统之间等级转换以及典型设备故障导致降级场景分别建模,模拟等级转换过程中RBC(Radio Block Center,无线闭塞中心),车载设备,有源应答器之间的信息交互过程。分析了列车速度对等级转换实时性的要求和对转换成功概率的影响,以及突发降级的可能性,结果表明建模方法满足CTCS-3级列控系统的安全性和兼容性要求。In the process of high-speed train running, the time spent in the level transition of train control system and the success rate of the level transition seriously influence the safety of train operation and traffic efficiency. Level transition between CTCS-2 and CTCS-3 and level transition under degraded scenarios caused by typical equipment failures are modeled on colored Petri nets respectively, which models the information exchange between Radio Block Center(RBC), onboard equipment and fixed balises. This paper analyzes the influence of the speed of the train to the efficiency and the success rate of level transition, and the situation in the failure downgrade. The result shows that the models meet the requirements of safety and compatibility of CTCS-3 train control system.

关 键 词：中国列车控制系统(CTCS) 有色PETRI网 等级转换 

分 类 号：U283.4[交通运输工程—交通信息工程及控制]