期刊文献+

基于GSM-R/CTCS的列车控制系统形式化描述和建模 被引量:4

Formal specification and modeling of train control system based on GSM-R/CTCS
在线阅读 下载PDF
导出
摘要 GSM-R/CTCS的CTCS4级标准是一种基于移动闭塞系统和无线通信的列车控制系统,该标准的实施能够缩短列车之间的追踪间隔距离,提高区间通过能力,适合各种类型、各种速度的列车使用,其中无线通信是关键技术。考虑GSM-R出现的通信问题,给出Petri网表示的列车与地面设备无线通信模型和系统行为描述。 CTCS Level 4 standard of GSM/CTCS is for the train control and management based on moving blocks and wireless communication in China. Its realization can greatly reduce the distances between trains, improve the throughout of railroads, and be suitable for the trains with different types and speeds. In the whole architecture, wireless communication plays an important role for the system's normal and reliable operation. The model, which is described by Petri nets, is given for specifying and verifying wireless communication mode between trains and ground devices, and is very useful to ensure the reliability and robustness of the system and find the set of adaptable parameters.
出处 《计算机工程与设计》 CSCD 北大核心 2006年第1期70-72,91,共4页 Computer Engineering and Design
基金 甘肃省自然科学基金项目(3ZS042-B25-025) 光电技术与智能控制教育部重点实验室(兰州交通大学)开放基金项目(k04109) 兰州交通大学青蓝工程基金项目
关键词 中国列车控制系统 铁路无线通信系统 移动闭塞 PETRI网 建模 CTCS GSM-R moving block petrinets modeling
  • 相关文献

参考文献5

二级参考文献35

  • 1徐瑞华,胡安洲.双线自动闭塞区段列车运行延误影响分析[J].铁道学报,1995,17(2):9-16. 被引量:10
  • 2汪希时.铁路区间行车方法的自动调整[J].北京铁道学院学报,1963,(1).
  • 3Alstom Performs for the First Time in European Rbc Handover on the Ertms Test Track in haly [OL]. www. ertms. com.
  • 4Alstom Transport. ERTMS European Rail Traffic Management System Solutions for Interoperable Train Control[ R]. Alstom Transport Information Solutions. 2001:4--10.
  • 5Giovanni Puliatti, et al. ERTMS: Experimental Results on Test Track Italy[C]. World Congress on Railway Research.German, 2001.
  • 6Friedrich Hagemeyer. Migration Concepts to ETCS[C]. World Congress on Railway Research. German, 2001.
  • 7Jacques. Future Development in ERTMS[C], World Congress on Railway Research. German, 2001.
  • 8ASTREE Real-time Train Supervision will Complement ETCS Development[J]. Railway Gazette International, 1994,17(9) : 15--18.
  • 9Threlfall. Jubilee Line Extesion Signalling System[C]. Railway Signaling Engineers Proceedings, 1995.
  • 10Manfred Bannasch, Heiko Maly, Mario Saeglitz. Smart and Flexible Train Inspection for High-speed Passenger Traffic[ C].World Congress on Railway Research. German, 2001.

共引文献53

同被引文献17

引证文献4

二级引证文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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