• 查询稿件
  • 获取最新论文
  • 知晓行业信息
王琳, 开祥宝, 杨霓霏, 宋志丹, 柴金川. 基于着色Petri网的下一代列控系统虚拟闭塞技术仿真分析研究[J]. 铁路计算机应用, 2018, 27(9): 63-70.
引用本文: 王琳, 开祥宝, 杨霓霏, 宋志丹, 柴金川. 基于着色Petri网的下一代列控系统虚拟闭塞技术仿真分析研究[J]. 铁路计算机应用, 2018, 27(9): 63-70.
WANG Lin, KAI Xiangbao, YANG Nifei, SONG Zhidan, CHA Jinchuan. Simulation and analysis of virtual block technology of next generation train control system based on colored Petri net[J]. Railway Computer Application, 2018, 27(9): 63-70.
Citation: WANG Lin, KAI Xiangbao, YANG Nifei, SONG Zhidan, CHA Jinchuan. Simulation and analysis of virtual block technology of next generation train control system based on colored Petri net[J]. Railway Computer Application, 2018, 27(9): 63-70.

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

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

  • 摘要: 采用虚拟化的逻辑区段代替实际的轨道占用检测设备划分轨道区段,这对自然环境恶劣、维修维护工作困难的高寒铁路具有重要意义。针对下一代列控系统的特点,对其虚拟闭塞技术展开研究。分析了虚拟闭塞条件下,列车占用检查功能以及车地通信故障情况下,区间安全防护功能的逻辑实现。根据对虚拟闭塞技术的研究,以车地通信故障情况下,区间虚拟区段的封锁设置为例,采用着色Petri网的基本概念,利用CPN Tools建模仿真工具,对封锁功能进行建模仿真分析。根据验证结果,对所建模型进行分析修正,确保模型逻辑功能的正确性。

     

    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.

     

/

返回文章
返回