基于着色Petri网的下一代列控系统虚拟闭塞技术仿真分析研究

王琳; 开祥宝; 杨霓霏; 宋志丹; 柴金川

基于着色Petri网的下一代列控系统虚拟闭塞技术仿真分析研究

王琳^1,2,
开祥宝^1,2,
杨霓霏^1,2,
宋志丹^1,2,
柴金川³

1.
中国铁道科学研究院集团有限公司通信信号研究所,北京 100081;
2.
国家铁路智能运输系统工程技术研究中心,北京 100081;
3.
中国铁道科学研究院集团有限公司国家铁道试验中心,北京 100081

基金项目: 中国铁路总公司科技研究开发计划（2016X001-A）；中国铁道科学研究院院基金重大课题（2015YJ049）。

详细信息

作者简介:
王琳，研究实习员；开祥宝，研究员。

中图分类号: U284.43:TP39
计量
- 文章访问数: 68
- HTML全文浏览量: 0
- PDF下载量: 8
出版历程
- 收稿日期: 2018-01-24
- 刊出日期: 2018-09-24

Simulation and analysis of virtual block technology of next generation train control system based on colored Petri net

1.
Communication and Signaling Research Institute, China Academy of Railway Sciences Corporation Limited,Beijing 100081, China;
2.
National Research Center of Railway Intelligence Transportation System Engineering Technology,Beijing 100081, China;
3.
National Railway Track Test Center, China Academy of Railway Sciences Corporation Limited,Beijing 100081, China

摘要

摘要: 采用虚拟化的逻辑区段代替实际的轨道占用检测设备划分轨道区段，这对自然环境恶劣、维修维护工作困难的高寒铁路具有重要意义。针对下一代列控系统的特点，对其虚拟闭塞技术展开研究。分析了虚拟闭塞条件下，列车占用检查功能以及车地通信故障情况下，区间安全防护功能的逻辑实现。根据对虚拟闭塞技术的研究，以车地通信故障情况下，区间虚拟区段的封锁设置为例，采用着色Petri网的基本概念，利用CPN Tools建模仿真工具，对封锁功能进行建模仿真分析。根据验证结果，对所建模型进行分析修正，确保模型逻辑功能的正确性。
- 下一代列控系统 /
- 虚拟闭塞技术 /
- 着色Petri网
Abstract: As a special way of automatic block, virtual block is used to divide the track section by virtualized logic section instead of the actual track occupancy detection equipment. This is of great significance to the harsh natural environment and difficult maintenance and maintenance of the alpine railway. In view of the characteristics of the next generation train control system, this paper studied on the virtual block technology of the alpine railway. The logic realization of interval security protection function under the condition of virtual block was analyzed under the condition of train occupancy check function and vehicle ground communication failure. According to the research of virtual block technology, in the case of train - ground communication failure, the paper took the blocking setting of the interval virtual section as an example, using the basic concept of colored Petri net and the CPN Tools modeling and simulation tool to analyze the blocking function. Based on the verification results, the model is analyzed and corrected to ensure the correctness of the logic function of the model.
- next generation train control system /
- virtual block technology /
- colored Petri net

HTML全文

参考文献(9)

[1]	中华人民共和国铁道部. 关于印发《CTCS 技术规范总则》（暂行）：科技运函（2004）14 号 [S]. 北京：中华人民共和国铁道部，2004.
[2]	开祥宝等. 基于北斗导航列控系统环形道试验报告[R]. 北京：中国铁道科学研究院，2017.
[3]	程剑锋，田青. 下一代列控系统技术方案探讨[J]. 中国铁路，2014（12）：32-35.
[4]	郭进，张亚东. 我国下一代列车控制系统的展望与思考[J].铁道运输与经济，2016，38（6）：23-28.
[5]	李启翮.CTCS-4 级列车控制系统研发关键点分析[J]. 铁路通信信号工程技术，2016（1）：1-5.
[6]	刘江. 基于CPN Tools 研究综述[J]. 信息技术与信息化，2015（3）：94-95.
[7]	袁崇义.Petri 网原理与应用[M]. 北京：电子工业出版社，2005
[8]	陶玲. 车站信号计算机联锁逻辑关系形式化验证方法的研究[D]. 重庆：重庆交通大学，2015.
[9]	施国强，李伯虎，柴旭东. 基于着色Petri 网的复杂产品开发多项目调度建模研究[J]. 系统仿真学报，2007，19（17）：3869-3872.