本书系统地介绍了列车运行控制系统实时性的特点以及建模与验证方法。重点阐述了基于UML、时间自动机、Petri...
2019.7
本书采用分布交互仿真的相关理论和技术，从系统概念模型描述、体系结构的构建、不同层次和级别的子系统（部...
2019.5
本书介绍列控系统仿真与建模相关内容，包括列控系统建模与仿真方法、多分辨率模型体系、多分辨率实体聚合解...
本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行...
2010.6