列车运行控制系统实时性的建模与验证
暂无封面,等待上传

列车运行控制系统实时性的建模与验证

谢雨飞, 著

出版社:中国铁道出版社有限公司

年代:2019

定价:48.0

书籍简介:

本书系统地介绍了列车运行控制系统实时性的特点以及建模与验证方法。重点阐述了基于UML、时间自动机、Petri网、马尔可夫链等理论和方法的系统建模与分析,探讨了实现列控系统实时性建模与验证所必须的理论与关键技术。在应用方面,介绍了支持相关研究方法的技术手段和工具及其使用方法。

书籍规格:

书籍详细信息
书名列车运行控制系统实时性的建模与验证站内查询相似图书
9787113253097
如需购买下载《列车运行控制系统实时性的建模与验证》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位中国铁道出版社有限公司
版次1版印次1
定价(元)48.0语种简体中文
尺寸26 × 19装帧平装
页数印数

书籍信息归属:

列车运行控制系统实时性的建模与验证是中国铁道出版社有限公司于2019.7出版的中图分类号为 U284.48 的主题关于 列车-运行-控制系统-系统建模 的书籍。