基于改进Event-B建模的高速列车追踪运行仿真研究  

Simulation Research on High-speed Train Tracking Operation Based on Improved Event-B Modeling

作　　者：陈永[1] 张薇[1] 胡晓辉[1] 

机构地区：[1]兰州交通大学电子与信息工程学院,兰州730070

出　　处：《计算机工程》2015年第8期256-261,共6页Computer Engineering

基　　金：国家自然科学基金资助项目(61163009);兰州交通大学青年科学基金资助项目(2011001)

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

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]