黄金比例NSGA-Ⅱ算法在动车组列车多目标优化中的应用

针对动车组列车运行需综合考虑准点、节能、安全、舒适的复杂问题,将运行时间视为旅客满意标准,能耗视为铁路公司的满意标准,同时考虑过电分相对列车运行的影响,使列车的运行更符合实际情况,建立列车运行多目标优化模型,该模型受安全性、轨道特点、乘客舒适度等的约束。提出一种NSGA-Ⅱ算法与黄金比例技术相结合的算法,解决使用NSGA-Ⅱ算法优化时个体在解空间中分配不均的问题,通过对算法的测试,表明黄金比例NSGA-Ⅱ算法的分布性和收敛性比NSGA-Ⅱ算法好。最后以武广客运专线中某一区段的线路CRH3型动车组为仿真实例,展示仿真的一些结果,进一步表明所建模型与所提算法是可行的。

基于层次时间自动机的移动授权的建模与验证

基于通信的列车运行控制(communication based train control,CBTC)系统以其安全、可靠等性能优点在城市轨道交通的运营中得到广泛关注。它通过其核心功能,即为每一列通信列车提供移动授权(movement authority,MA),来实现列车安全间隔运行。针对功能安全和实时性等方面的不足,首先,建立移动授权的层次时间自动机(hierarchical time automaton,HTA)模型,其中嵌入了列车管理、安全位置、遍历障碍物和列车筛选模块,并对模块间的交互信息进行分析;其次,采用巴科斯范式(Backus-Naur form,BNF)语法对其特性进行描述;最后,利用UPPAAL对各特性验证。结果表明,移动授权模型满足实时性、顽健性、可用性、完整性、安全性5项需求,层次时间自动机理论适用于系统需求规范的验证。