首页  软件  游戏  图书  电影  电视剧

请输入您要查询的图书:

 

图书 列车运行控制系统规范建模与验证
内容
编辑推荐

唐涛、徐田华、赵林编著的《列车运行控制系统规范建模与验证》针对列车运行控制系统的特点,介绍了实现列控系统需求规范的严格建模与验证所必须的理论与关键技术,重点阐述了建立在UML和符号模型检验基础上的列车运行控制系统需求规范形式化建模和验证方法。作为应用实例,介绍了如何使用本书介绍的理论和方法对CTCS-3级列控系统规范中的模式转换功能进行建模和形式化验证。

内容推荐

  唐涛、徐田华、赵林编著的《列车运行控制系统规范建模与验证》主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术,内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS-3系统规范展开的实例分析。

《列车运行控制系统规范建模与验证》内容丰富,注重背景,可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。

目录

第一章 概述

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

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

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

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

 本章参考文献

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

 第一节 系统需求规范

 第二节 验证和确认的概念

 第三节 系统开发模型

 第四节 UML基础知识

 第五节 符号模型检验

 本章参考文献

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

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

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

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

 本章参考文献

第四章 需求规范的管理

 第一节 需求规范管理的概念与意义

 第二节 需求规范管理的任务

 第三节 需求规范管理流程

 本章参考文献

第五章 列控系统的UML建模

 第一节 列控系统UML模型库

 第二节 列控系统规范的UML模型

 本章参考文献

第六章 列控系统的形式化验证

 第一节 列控系统规范UML模型到NUSMV的转换

 第二节 列控系统模型的约简

 第三节 列控系统规范验证结果分析

 本章参考文献

第七章 实例分析

 第一节 背景介绍

 第二节 需求规范管理

 第三节 CTCS-3级系统需求规范的UML建模

 第四节 NUSMV转换

 第五节 验证结果分析

 本章参考文献

附录A NUSMV系统简介

附录B 系统开发模型介绍

标签
缩略图
书名 列车运行控制系统规范建模与验证
副书名
原作名
作者 唐涛//徐田华//赵林
译者
编者
绘者
出版社 中国铁道出版社
商品编码(ISBN) 9787113114602
开本 16开
页数 206
版次 1
装订 平装
字数 227
出版时间 2010-06-01
首版时间 2010-06-01
印刷时间 2010-06-01
正文语种
读者对象 研究人员,普通成人
适用范围
发行范围 公开发行
发行模式 实体书
首发网站
连载网址
图书大类 科学技术-工业科技-交通运输
图书小类
重量 0.312
CIP核字 2010096554
中图分类号 U284.48
丛书名
印张 13.25
印次 1
出版地 北京
240
166
13
整理
媒质 图书
用纸 普通纸
是否注音
影印版本 原版
出版商国别 CN
是否套装 单册
著作权合同登记号
版权提供者
定价
印数
出品方
作品荣誉
主角
配角
其他角色
一句话简介
立意
作品视角
所属系列
文章进度
内容简介
作者简介
目录
文摘
安全警示 适度休息有益身心健康,请勿长期沉迷于阅读小说。
随便看

 

兰台网图书档案馆全面收录古今中外各种图书,详细介绍图书的基本信息及目录、摘要等图书资料。

 

Copyright © 2004-2025 xlantai.com All Rights Reserved
更新时间:2025/5/9 0:43:17