期刊文献+

ATP控车模式的DC模型与可靠性分析

ATP控车模式的DC模型与可靠性分析
下载PDF
导出
摘要 列车控制是保障高速列车安全运行的关键技术。对国际上广泛应用的ATP控车模式建立了基于时段演算的模型,并通过对模型的推演,对ATP控车模式进行了初步的可靠性分析,为设计安全、可靠的ATP系统提供新的理论分析手段。 Train control is the key technique for ensuring safe operation of high speed train. Through establishing a duration calculation model of ATP train control pattern widely applied in the world and further inferring and deduction based on the model, a preliminary reliability analysis of ATP train control pattern was given, which offer new theoretical analysis method for designing safe and reliable ATP system.
出处 《铁道通信信号》 2008年第1期39-41,共3页 Railway Signalling & Communication
关键词 列控 列车超速防护 时段演算 可靠性分析 Train control Automatic train protection Duration calculation Reliability analysis
  • 相关文献

参考文献4

  • 1Johannes Faber. Verifying Real- Time Aspects of the European Train Control System [ A]. Proceeding of the 17th Nordic Workshop on Programming Theory, pp: 67 -70. University Copenhagen, Denmark, October 2005.
  • 2Armin Zimmermann, Gunter Hommel. Towards modeling and evaluation of ETCS real - time communication and operation [ J]. Journal of Systems and Software 77 (2005) 47 - 54.
  • 3邹少文.高速客运专线列控系统模式探讨[J].科学技术通讯,2005(3):11-16. 被引量:2
  • 4Zhou Chaochen, Michael R. Hansen. Duration Calculus: A Formal Approach to Real - Time Systems [ M ]. Springer - Verlag Berlin Heidelberg, 2004.

共引文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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