列车运行安全行为建模与形式化技术研究 【交通运输】

随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...

UML2与Rose建模从入门到精通 【交通运输】

本书结合Rose工具详细介绍UML中涉及到的各种图例，并配以实例讲解，并对UML 2中新增的几种图进行了介绍和讲解。最后通过几个大的实例将整本书的内容贯穿起来，使读者对所学的知识融会贯通。本书可用于专业开发人...

UML软件建模 【交通运输】

统一建模语言（UML,UnifiedModelingLanguage）是面向对象软件的标准化建模语言。UML是面向对象软件系统分析设计的必备工具，也是广大软件系统设计人员、开发人员、项目管理员、系统工程师和分析员必须掌握的基础...

列车运行控制系统规范建模与验证 【交通运输】

本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的...

信息中心信号设备作业指导书 【交通运输】

带你走进科学的世界 无所不在的交通网络 【交通运输】

本书紧紧围绕人们生活身边的科学，以及青少年普遍感兴趣的科学知识，涵盖了物理、化学、植物、动物、人体和生活等各个方面的知识点，能够使广大青少年在轻松的阅读中，增强对科学技术的兴趣和爱好，开阔眼界，启发思.....

中国海事服务中心组织编审 船舶辅机 【交通运输】

综合交通客运枢纽仿真建模关键理论与方法 【交通运输】

在对综合交通客运枢纽的结构与功能进行科学、合理的分解与界定的基础上，系统介绍了综合交通客运枢纽功能与结构评价涉及的关键理论与技术，包括枢纽设施建模、客流特征分析与换乘量预测、行人微观行为分析与建...

高速铁路控制中心信号设备维修岗位 【交通运输】

道路网多尺度空间数据建模及可视化 【交通运输】

本书重点介绍了道路网多尺度空间数据建模及可视化的关键技术。针对多尺度建模与可视化需求所带来的目标派生问题，系统介绍了道路网多尺度建模的基本原理，设计了道路网多尺度空间数据模型；重点研究了多尺度目标...