文件名称：基于改进Event-B建模的高速列车追踪运行仿真研究 (2015年)
文件大小：474KB
文件格式：PDF
更新时间：2024-06-14 20:07:14
工程技术 论文
针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征，结合Agent理论对Event-B方法中Machine动态属性进行改进，提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略，研究运行过程中速度变化关系、不同发车间隔时间对高速铁路运营的影响，得到相应的定量与定性分析。仿真结果表明，该模型能够准确描述高速列车追踪运行机理，有助于列车间隔动态控制，具有较强的适用性。