期刊文献+

基于车车通信的列控系统后备模式研究 被引量:10

Research on backup mode of train control system based on train-to-train communication
下载PDF
导出
摘要 多模列控系统的模式切换时延是影响城市轨道交通列车运行效率的重要因素,基于车车通信的列控系统是下一代城市轨道交通列控系统的主要发展方向。由于系统结构的改变,传统的CBTC列控系统后备模式无法适用于新型列控系统,目前,尚无合理的后备模式能保障新型列控系统列车在车车通信故障情况下行车的安全与效率。根据车车通信列控系统的结构和特点,分析系统的模式切换功能及过程,提出适用于车车通信列控系统的后备模式。当车车通信出现故障时,列车将切换为车地通信的运行模式,从地面设备中获取前方列车的位置信息,利用有色Petri网理论建立基于层次赋时有色Petri网(HTCPN)的新型列控系统模式切换模型,描述列车在车车通信故障情况下由车车模式(T2T)切换为车地模式(T2G)的过程,研究后备模式下不同的设计间隔对列车模式切换成功率和运行效率的影响。仿真结果表明,当列车车车通信出现故障时,列车能有效切换为车地模式运行,得出了不同后备模式设计间隔下列车模式切换成功次数和切换运行时间分布图。列车模式切换的成功率随着后备模式设计间隔的增大而增大,将后备模式间隔设计为240 s时能有效将列车运行晚点时间控制在3 min之内,所建立的HTCPN模型也可为其他多模列控系统模式切换的建模与验证分析提供参考。 The mode switching delay of the multi-mode train control system is an important factor, which can affect the operation efficiency of urban rail transit trains. Train control system based on train-to-train communication is the main development direction of the next-generation urban rail transit train control system.Due to changes in system structure, the traditional CBTC train control system backup mode is not suitable for the new train control system. At present, there is no reasonable backup mode to ensure the safety and efficiency of the new train control system train in the case of train-to-train communication failure. According to the structure and characteristics of the train-to-train communication train control system, the mode switching function and process of the systemwas analyzed, and a backup mode suitable for the train-to-train communication train control system was proposed. When the train-to-train communication failed, the train could switch to the train-to-ground communication operation mode. The position information of the train ahead from the ground equipmentwas obtained. Using the theory of colored Petri nets, a new mode switching model of train control system based on Hierarchical Timed Colored Petri Nets(HTCPN) was established to describe the switching of trains from train-to-train mode(T2T) to train-to-ground mode(T2G) under the condition of train-to-train communication failure. The effect of different train operation intervals in the backup mode on the switching and real-time operation of the train control system was studied. The simulation shows that when the train-to-train communication fails, the train can be effectively switched to the train-to-ground mode. The distribution diagrams of the number of successful train mode switching and the switching running time under different backup mode design intervals are obtained.The success rate of train mode switching increases with the increase of the design interval of the backup mode.The backup mode operation interval is designed to 240 s to control the train operation delay time within 3 minutes. The established HTCPN model can also provide a reference for the verification and analysis of other multi-mode train control systems.
作者 李强 陈子健 LI Qiang;CHEN Zijian(School of Automatization and Electric Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;Gansu Research Center of Automation Engineering Technology for Industry&Transportation,Lanzhou 730070,China)
出处 《铁道科学与工程学报》 EI CAS CSCD 北大核心 2022年第11期3407-3416,共10页 Journal of Railway Science and Engineering
基金 中国国家铁路集团有限公司科技研究开发计划课题(N2019G017) 甘肃省科技计划资助项目(20CX9JA125)。
关键词 车车通信 有色PETRI网 模式切换 实时性 train-to-train communication CPN mode switch real-time
  • 相关文献

参考文献6

二级参考文献74

  • 1牟小玲,丁晓明,张望.基于Petri网的测试用例生成研究进展[J].重庆交通大学学报(自然科学版),2012,31(1):163-167. 被引量:4
  • 2张仕雄.CTCS-3级列控系统测试序列合理性验证的研究[J].铁道标准设计,2012,32(12):103-105. 被引量:2
  • 3李晓山,周巢尘.时段演算综述[J].计算机学报,1994,17(11):842-851. 被引量:10
  • 4CLARKE E M, GRUMBERG O, PELED D. Model Checking[M]. Cambridge: The MIT Press, 2000.
  • 5EN 50129: 2002, railway applications-communication, signailing and processing systems-safety related electronic systems for signalling[S].
  • 6IEC 61508-1 : 1997, functional safety of electrical/electronic/ programmable electronic safety-related systems[S].
  • 7ZIMMERMANN A, HOMMEL G. A train control system case study in model-based real time system design[C] // IEEE. Proceedings of the 17th International Symposium on Parallel and Distributed Processing. Washington DC: IEEE, 2003:118-126.
  • 8ZIMMERMANN A, HOMMEL G. Towards modeling and evaluation of ETCS real-time communication and operation[J]. The Journal of Systems and Software, 2005, 77(1): 47-54.
  • 9MEYER R. Model checking von phasen event-automaten bezuglieh duration calculus formeln mittels testautomaten [D]. Oldenburg: Universittit Oldenburg, 2005.
  • 10Subset-052, radio transmission FFFIS for Euroradio[S].

共引文献111

同被引文献90

引证文献10

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部