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

doi:10.3778/j.issn.1002-8331.1607-0240

计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (2): 208-213.DOI: 10.3778/j.issn.1002-8331.1607-0240

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

董健，戴胜华

北京交通大学电子信息工程学院，北京 100044

出版日期:2018-01-15 发布日期:2018-01-31

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

DONG Jian, DAI Shenghua

School of Electrical and Information Engineering, Beijing Jiaotong University, Beijing 100044, China

Online:2018-01-15 Published:2018-01-31

摘要/Abstract

摘要： 在高速列车运行过程中，列控系统等级转换过程所用的时长和转换成功概率，直接影响列车运行安全和行车效率。利用有色Petri网对CTCS-3级列控系统和CTCS-2级列控系统之间等级转换以及典型设备故障导致降级场景分别建模，模拟等级转换过程中RBC（Radio Block Center，无线闭塞中心），车载设备，有源应答器之间的信息交互过程。分析了列车速度对等级转换实时性的要求和对转换成功概率的影响，以及突发降级的可能性，结果表明建模方法满足CTCS-3级列控系统的安全性和兼容性要求。

关键词: 中国列车控制系统（CTCS）, 有色Petri网, 等级转换

Abstract: 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）, on-board 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.

Key words: Chinese Train Control System（CTCS）, Colored Petri Nets（CPN）, level transition

董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.

DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets[J]. Computer Engineering and Applications, 2018, 54(2): 208-213.

[1]	王颖卓，刘中田. CTCS-1级列控系统等级转换场景建模与验证[J]. 计算机工程与应用, 2019, 55(18): 256-262.
[2]	王元鹏，胡晓辉，陈永，刘全. 应答器故障导致CTCS等级转换的建模与仿真[J]. 计算机工程与应用, 2016, 52(8): 234-239.
[3]	胡晓辉，王元鹏，陈永，刘全. 车载设备故障导致CTCS等级转换的建模与仿真[J]. 计算机工程与应用, 2016, 52(18): 208-213.
[4]	秦发园1，戴胜华1，徐昱2. 进路建立过程的时间有色petri网建模与仿真[J]. 计算机工程与应用, 2015, 51(8): 266-270.
[5]	杨诚1，项勇1，张立刚2，刘泽平1. 基于DoDAF和Petri网的预警作战体系研究[J]. 计算机工程与应用, 2015, 51(5): 44-49.
[6]	王瑞峰1，李媛1，程金山2. 基于CPN的等级转换场景建模分析[J]. 计算机工程与应用, 2015, 51(10): 266-270.
[7]	郑文艳. 基于CPN的物流配送系统模型正确性的证明[J]. 计算机工程与应用, 2013, 49(11): 228-231.
[8]	范玉涛1，苏桂平2. 一种适于带时间戳安全协议的形式化分析方法[J]. 计算机工程与应用, 2012, 48(36): 116-120.
[9]	李沛武1，雷金娥2. 有色Petri网的扩展使用控制策略模型设计[J]. 计算机工程与应用, 2012, 48(33): 96-100.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 9

编辑推荐

Metrics