书名: 正版]基于模型的列车运行控制系统设计与验证方法 唐涛 中国铁道 9787113159290 定价: 45.00 元 (注: 实际售价可能因稀缺进价高而高于定价) 作者: 唐涛 出版社: 中国铁道 出版时间: 2014年3月 第 1 版(注: 印刷时间与出版时间不一定相同) 条形码: 9787113159290 ISBN: 978-7-113-15929-0(注: 2007年前后的不同印次ISBN可能会有差别) 开本: 16开 装帧: 精装等待更新中...内容简介本书主要介绍基于模型的列车运行控制系统设计与验证方法，着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章，主要内容包括：列控系统需求的建模与验证，列控系统的安全分析，基于模型的列控系统软件设计，基于模型的测试，列控系统的运行时验证。