书籍简介:

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

书籍规格:

书籍详细信息
书名	列车运行安全行为建模与形式化技术研究站内查询相似图书
	9787113225797 如需购买下载《列车运行安全行为建模与形式化技术研究》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	中国铁道出版社
版次	1版	印次	1
定价(元)	45.0	语种	简体中文
尺寸	26 × 19	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

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