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

Vo l. 31 No. 1 计算机应用研究 第 31 卷第 1 期 2014 年 1 月 Application Research of Computers Jan.2014 基于定时谓词变迁系统客运 专线区间通用模型及仿真* 李望a ， b ，倪少权a ， b (西南交通大学 a. 交通运输与物流学院; b. 全国铁路列车运行围编制研友培训中心，成都 61∞3 1) 摘 要:为建立能跟踪列车、闭塞分区变化踪迹的通用区间模型，将闭塞分区与相应色灯信号机看做一个整体， 采用区闷运行规则 1 ，以能在仿真中跟踪每个个体的踪迹并能描述个体状态变化与时间联系的定时请词/变 迁一系统(TPr/T-S) 为基础，构建铁路区间 TPr/T-S 通用模型。基于该模型设计了客运专线区间作业仿真系统， 并在此系统上对秦沈客运专线辽中一皇姑也区间列车运行进行了仿真。仿真结采证实了提出的铁路区间 1Pr/ T-S 通用模型的有效性。将铁路区闭通用模型与客运专线车站通用模型集成为客运专线整体模型，可对一条客 运专线全程仿真;进一步集成，可将仿真范围扩展到某路网区域直至整个珞网。 关键词:定时谓词/变迁一系统; Petri 网;客运专线区间;闭塞分区;四信号灯显示;仿真系统 中图分类号: TP301 文章编号: 1 ∞1-3695(2014)01-0141-06 文献标志码:A doi: 10. 3969/j. issn. 1001-3695.2014.01. 034 General model and sìmulation on passenger-dedicated line section based on timed predicate/transition-system LI Wang川. NI Shao-quan,.b (α School 01 Tra时:portat四n Log四川， b. National RailwαY TTαin Diagram ReseaTch Training Center , Southwest Jiaotong UniveTsi纱， Chengdu 610031 , Chinα) Abstract: In order to build a general model which can be used to trace trains , block sections , block sections and their rele- vant signals are put together as one uni t. Based on timed predicate/transition-sysiem (TPr/T-S) , which calÌ be used to trace the relationship between the change states of individuals and time , the railway section general TPr/T-S simulation model has been built according to rule NO. 1. Based on this model , the general section operation simulation system for passenger