摘要： 针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对EventB方法中Machine动态属性进行改进,提出一种基于EventB建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关系、不同发车 间隔时间对高速铁路运营的影响,得到相应的定量与定性分析。仿真结果表明,该模型能够准确描述高速列车追踪运行机理,有助于列车间隔动态控制,具有较强的适用性。

关键词: 高速列车, 列车追踪, EventB方法, 形式化方法, 交通仿真, 建模

Abstract: 【Abstract】 Aiming at the characteristics of train tracking interval dynamic change under moving block condition,an improved EventB modeling method of highspeed train tracking operation model is built.The new method combines with the Agent theory to improve the dynamic property of Machine EventB method.The model realizes the formal define of highspeed multi trains following running.Simulation study influences of the speed change in train following process and different interval time on line traffic,and conclusions corresponding quantitative analysis are obtained.Simulation results show that the proposed improved EventB model can realize complex formal description of the train control system and help to dynamically control train spacing,and it has the feasibility and effectiveness.

Key words: highspeed train, train tracking, EventB method, formal method, traffic simulation, modeling

中图分类号: 

• TP391