书籍简介:

本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS-3系统规范展开的实例分析。本书内容丰富，注重背景，可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。

书籍目录:

第一章概述

第一节轨道交通列控系统发展趋势

第二节列控系统规范验证的意义

第三节列控系统规范的建模验证方法

第四节列控系统规范的严格建模与验证体系

本章参考文献

第二章系统需求规范建模与验证基础

第一节系统需求规范

第二节验证和确认的概念

第三节系统开发模型

第四节 UML基础知识

第五节符号模型检验

本章参考文献

第三章列控系统的需求规范验证内容与体系

第一节列控系统需求规范验证内容

第二节列控系统需求规范验证方法体系

第三节列控系统需求规范验证流程

本章参考文献

第四

内容摘要:

《列车运行控制系统规范建模与验证》主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS－3系统规范展开的实例分析。
　　《列车运行控制系统规范建模与验证》内容丰富，注重背景，可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。

书籍规格:

书籍详细信息
书名	列车运行控制系统规范建模与验证站内查询相似图书
	9787113114602 如需购买下载《列车运行控制系统规范建模与验证》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	中国铁道出版社
版次	1版	印次	1
定价(元)	30.0	语种	简体中文
尺寸	23 × 17	装帧	平装
页数	206	印数

全网搜索试读资源

书籍信息归属:

列车运行控制系统规范建模与验证是中国铁道出版社于2010.6出版的中图分类号为 U284.48 的主题关于列车－运行－控制系统－系统建模 ,列车－运行－控制系统－验证的书籍。