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

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

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

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 signifcance to the harsh natural environment and difcult 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 verifcation results, the model is analyzed and corrected to ensure the correctness of the logic function of the model.