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

摘要：

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

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

所属期刊栏目：41

分类号：TP391(计算技术、计算机技术)

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

在线出版日期：2015-10-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：256-261