期刊文献+

高速客运专线列控系统模式探讨 被引量:2

下载PDF
导出
摘要 本文通过对国外列控系统的分析,对照欧洲ERTWS/ETCS应用等级和中国CTCS应用等纭要求,结合高速客运专线列控系统需求,提出了我国高速客运专线列控系统建设模式,可供在今后高速客运专线铁路的研究和设计中参考。
作者 邹少文
出处 《科学技术通讯》 2005年第3期11-16,共6页
  • 相关文献

同被引文献11

  • 1韩利民,李兴高,杨永平.地铁运营安全及对策研究[J].中国安全科学学报,2004,14(10):46-50. 被引量:49
  • 2康太平,肖鹏,王长林.列车超速防护系统安全计算机系统的研究[J].铁路计算机应用,2005,14(6):1-3. 被引量:2
  • 3燕飞,唐涛.轨道交通信号系统安全技术的发展和研究现状[J].中国安全科学学报,2005,15(6):94-99. 被引量:34
  • 4郜春海,燕飞,唐涛.轨道交通信号系统安全评估方法研究[J].中国安全科学学报,2005,15(10):74-79. 被引量:22
  • 5Johannes 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.
  • 6Armin Zimmermann, Gunter Hommel. Towards modeling and evaluation of ETCS real - time communication and operation [ J]. Journal of Systems and Software 77 (2005) 47 - 54.
  • 7Zhou Chaochen, Michael R. Hansen. Duration Calculus: A Formal Approach to Real - Time Systems [ M ]. Springer - Verlag Berlin Heidelberg, 2004.
  • 8Johannes Faber. Verifying real - time aspects of the european train control system[A]. Proceeding of the 17^th Nordic Workshop on Programming Theory[C]. University Copenhagen, Denmark, 2005.10:67 -70
  • 9Armin Zimmermann, Gunter Hommel. Towards modeling and evaluation of ETCS real - time communication and operation [J]. Journal of Systems and Software, 2005,77:47 -54
  • 10Zhou Chaochen, Michael R. Hansen. Duration calculus: A formal approach to real -time systems [M]. Springer- Verlag Berlin Heidelberg, 2004

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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