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

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

基于TPr/T-S的客专车站通用模型及仿真

为建立能跟踪列车、进路、股道变化踪迹且与车站站场布局及结构无关的车站通用模型,将客运专线车站站场视为由进路和股道这两类个体组成;引入时间参数将谓词/变迁-系统(Pr/T-S)扩充为定时/谓词变迁-系统(TPr/T-S).扩充后的系统既能在仿真中跟踪每个个体的状态变化踪迹,又能描述个体状态变化与时间的联系.基于列车、进路、股道等三类个体和TPr/T-S建立了与车站拓扑和规模无关的客运专线车站通用模型.对徐州东站的仿真试验数据显示了进路、股道等设施的占用情况,仿真时间段内车站进路平均利用率为34%,每列列车都能分配到可用进路,表明所采用的运行图是安全、可行的,也证实了此通用模型的有效性.