
[书籍] 基于模型的列车运行控制系统设计与验证方法
出版社:
中国铁道出版社
简介:
《基于模型的列车运行控制系统设计与验证方法》主要介绍基于模型的列车运行控制系统设计与验证方法,着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章,主要内容包括:列控系统需求的建模与验证,列控系统的安全分析,基于模型的列控系统软件设计,基于模型的测试,列控系统的运行时验证。 《基于模型的列车运行控制系统设计与验证方法》可以作为轨道交通控制专业研究生的学习用书,也可以供有关工程技术人员参考。
用户推荐(0)
暂无推荐,你也可以发布推荐哦:)
登录 | 立即注册