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

• 作者: 张薇 胡晓辉 陈永
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 高速列车 列车追踪 Event-B方法 形式化方法 交通仿真 建模
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 256-261
• 页数: 6页
• 分类号: TP391
• 字数: 5519字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.08.047

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡晓辉	兰州交通大学电子与信息工程学院	99	503	10.0	16.0
2	陈永	兰州交通大学电子与信息工程学院	49	201	8.0	11.0
3	张薇	兰州交通大学电子与信息工程学院	22	117	6.0	10.0