复杂系统可靠性分析 在轨道交通供电系统中的应用 【交通运输】

本书针对复杂大规模系统的可靠性分析评估问题，在介绍了该问题的研究背景、工程意义、发展趋势的基础上，综合介绍了各类型适用于复杂系统的可靠性分析评估方法、模型建立、指标定义、求解方法等，包括：基于动态故...

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

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

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

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

UML软件建模 【交通运输】

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

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

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

智能交通导论 【交通运输】

智能运输系统 【交通运输】

智能运输系统 【交通运输】

智能交通 【交通运输】

智能运输系统概论 【交通运输】