基于定时谓词变迁系统客运专线区间通用模型及仿真

为建立能跟踪列车、闭塞分区变化踪迹的通用区间模型,将闭塞分区与相应色灯信号机看做一个整体,采用区间运行规则1,以能在仿真中跟踪每个个体的踪迹并能描述个体状态变化与时间联系的定时谓词/变迁—系统(TPr/T-S)为基础,构建铁路区间TPr/T-S通用模型。基于该模型设计了客运专线区间作业仿真系统,并在此系统上对秦沈客运专线辽中—皇姑屯区间列车运行进行了仿真。仿真结果证实了提出的铁路区间TPr/T-S通用模型的有效性。将铁路区间通用模型与客运专线车站通用模型集成为客运专线整体模型,可对一条客运专线全程仿真;进一步集成,可将仿真范围扩展到某路网区域直至整个路网。