CTCS-3级列车运行控制系统的形式建模

CTCS-3级列车运行控制系统的形式建模

出版社：中国科学院

出版年：2012

作者：权曌

资源类型：图书

细分类型：中文文献,学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

中国列车运行控制系统的形式化分析与验证

作者：郭丹青
出版年：2014

高速列车运行控制系统

作者：宁滨
ISBN：9787030361158
出版社：科学出版社
出版年：2012

控制系统建模与仿真

作者：姜增如编著
ISBN：9787302564669
出版社：清华大学出版社
出版年：2020

运动建模与控制系统设计

作者：王斌锐
ISBN：9787302373438
出版社：清华大学出版社
出版年：2014

机电控制系统的建模与仿真

作者：汪首坤
ISBN：9787576313499
出版社：北京理工大学出版社,北京理工大学出版社有限责任公司
出版年：2022

基于通信的列车运行控制 (CBTC) 系统

作者：郜春海
ISBN：9787113238278
出版社：中国铁道出版社
出版年：2018