出版社:中国铁道出版社有限公司
年代:2019
定价:48.0
本书系统地介绍了列车运行控制系统实时性的特点以及建模与验证方法。重点阐述了基于UML、时间自动机、Petri网、马尔可夫链等理论和方法的系统建模与分析,探讨了实现列控系统实时性建模与验证所必须的理论与关键技术。在应用方面,介绍了支持相关研究方法的技术手段和工具及其使用方法。
书籍详细信息 | |||
书名 | 列车运行控制系统实时性的建模与验证站内查询相似图书 | ||
9787113253097 如需购买下载《列车运行控制系统实时性的建模与验证》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN | |||
出版地 | 北京 | 出版单位 | 中国铁道出版社有限公司 |
版次 | 1版 | 印次 | 1 |
定价(元) | 48.0 | 语种 | 简体中文 |
尺寸 | 26 × 19 | 装帧 | 平装 |
页数 | 印数 |
列车运行控制系统实时性的建模与验证是中国铁道出版社有限公司于2019.7出版的中图分类号为 U284.48 的主题关于 列车-运行-控制系统-系统建模 的书籍。
唐涛, 徐田华, 赵林, 著
蔡伯根, 上官伟, 王剑, 著
蔡伯根, 上官伟, 王剑, 著
唐涛, 赵林, 徐田华, 吕继东, 牛儒, 张路, 著
宁滨, 唐涛, 李开成, 董海荣, 著
蔡伯根, 王剑, 刘江, 周达天, 编著
李嘉, 编著
刘伯鸿, 主编
张铁增, 主编