列车运行安全行为建模与形式化技术研究
【作 者】陈永，胡晓辉著
【丛书名】列车运行安全行为建模与形式化技术研究
【形态项】 269
【出版项】 北京：中国铁道出版社 , 2017.01
【ISBN号】978-7-113-22579-7
【中图法分类号】U284.48
【原书定价】45.00
【主题词】列车-运行-控制系统-安全行为-系统建模-研究
【参考文献格式】 陈永，胡晓辉著. 列车运行安全行为建模与形式化技术研究. 北京：中国铁道出版社, 2017.01.
内容提要:
本书采用形式化理论、复杂系统建模等理论对列车运行过程中安全关键因素，如无线通信网络性能、计算机联锁控制系统、多列车安全追踪等问题进行了深入研究。