基于模型的列车运行控制系统设计与验证方法

收藏
  • 【作者】唐涛 [等]著
  • 【关键词】列车 运行 控制系统设计 列车 运行 控制系统 验证
  • 【出版社】中国铁道出版社
  • 【出版日期】2014
  • 【ISBN】978-7-113-15929-0
  • 【中图分类号】 U284.48
  • 【内容简介】本书主要介绍基于模型的列车运行控制系统设计与验证方法,着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章,主要内容包括:列控系统需求的建模与验证,列控系统的安全分析,基于模型的列控系统软件设计,基于模型的测试,列控系统的运行时验证。全部展开
  • 【页码】205页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】 文献传递
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。