|
题名:
|
列车运行控制系统规范建模与验证 / 唐涛，徐田华，赵林著 , |
|
ISBN:
|
978 7 113 11460 2 价格： |
|
出版发行:
|
出版地： 出版社： 中国铁道出版社 出版日期： 2010.06 |
|
内容提要:
|
本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS.3系统规范展开的实例分析。本书内容丰富，注重背景，可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。 |
|
主题词:
|
交通运输>铁路运输>铁路通信、信号>铁路信号>区间闭塞与机车信号系统>列车运行自动化 |
|
中图分类法:
|
U284.48 版次： |