唐涛、徐田华、赵林编著的《列车运行控制系统规范建模与验证》针对列车运行控制系统的特点，介绍了实现列控系统需求规范的严格建模与验证所必须的理论与关键技术，重点阐述了建立在UML和符号模型检验基础上的列车运行控制系统需求规范形式化建模和验证方法。作为应用实例，介绍了如何使用本书介绍的理论和方法对CTCS-3级列控系统规范中的模式转换功能进行建模和形式化验证。
网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略 音乐专区
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。
| 电子书 | 列车运行控制系统规范建模与验证 |
| 分类 | 电子书下载 |
| 作者 | 唐涛//徐田华//赵林 |
| 出版社 | 中国铁道出版社 |
| 下载 |
|
| 介绍 |
编辑推荐 内容推荐 唐涛、徐田华、赵林编著的《列车运行控制系统规范建模与验证》主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS－3系统规范展开的实例分析。 《列车运行控制系统规范建模与验证》内容丰富，注重背景，可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。 目录 第一章 概述 第一节 轨道交通列控系统发展趋势 第二节 列控系统规范验证的意义 第三节 列控系统规范的建模验证方法 第四节 列控系统规范的严格建模与验证体系 本章参考文献 第二章 系统需求规范建模与验证基础 第一节 系统需求规范 第二节 验证和确认的概念 第三节 系统开发模型 第四节 UML基础知识 第五节 符号模型检验 本章参考文献 第三章 列控系统的需求规范验证内容与体系 第一节 列控系统需求规范验证内容 第二节 列控系统需求规范验证方法体系 第三节 列控系统需求规范验证流程 本章参考文献 第四章 需求规范的管理 第一节 需求规范管理的概念与意义 第二节 需求规范管理的任务 第三节 需求规范管理流程 本章参考文献 第五章 列控系统的UML建模 第一节 列控系统UML模型库 第二节 列控系统规范的UML模型 本章参考文献 第六章 列控系统的形式化验证 第一节 列控系统规范UML模型到NUSMV的转换 第二节 列控系统模型的约简 第三节 列控系统规范验证结果分析 本章参考文献 第七章 实例分析 第一节 背景介绍 第二节 需求规范管理 第三节 CTCS-3级系统需求规范的UML建模 第四节 NUSMV转换 第五节 验证结果分析 本章参考文献 附录A NUSMV系统简介 附录B 系统开发模型介绍 |
| 截图 | |
| 随便看 |
|
免责声明
本网站所展示的内容均来源于互联网，本站自身不存储、不制作、不上传任何内容，仅对网络上已公开的信息进行整理与展示。
本站不对所转载内容的真实性、完整性和合法性负责，所有内容仅供学习与参考使用。
若您认为本站展示的内容可能存在侵权或违规情形，请您提供相关权属证明与联系方式，我们将在收到有效通知后第一时间予以删除或屏蔽。
本网站对因使用或依赖本站信息所造成的任何直接或间接损失概不承担责任。联系邮箱：101bt@pm.me