列车运行安全行为建模与形式化技术研究

书籍简介:

随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、计算机联锁控制系统、多列车安全追踪等问题进行了深入研究。采用诸多形式化理论、复杂系统以及交通流理论对高速列车安全控制进行形式化研究。

书籍规格:

书籍信息归属:

列车运行安全行为建模与形式化技术研究是中国铁道出版社于2017.1出版的中图分类号为 U284.48 的主题关于 列车－运行－控制系统－安全行为－系统建模－研究 的书籍。