铁路重载列车运营仿真培训系统的设计

分析货运铁路重载列车运营对行车组织人员的培训与教学需求,设计集教学与培训为一体的铁路重载列车运营仿真培训系统.介绍该系统的功能及关键仿真流程,通过软件编程完成系统的开发,实现了对学员进行教学、技能培训和考核的目的,同时,对行车组织人员调度指挥与管理水平的提高也有一定的促进作用.     

高速铁路CTC分界口临时限速系统建模与验证

临时限速是高速铁路列控系统的重要组部分,CTC行车调度台分界口处的临时限迷信息交互频繁,对实时性的要求也更苛刻.为满足其实时性要求,采用时间自动机理论,结合分界口处临时限速相邻设备间的交互过程,分别建立各设备的时间自动机模型,通过时间自动机的积构建整个交互系统的网络模型,并利用UPPAAL验证工具对模型的功能和性能属性进行形式化验证.验证结果确认了交互过程中系统的安全性和受限活性.