李望　倪少權(quán)

為建立能跟蹤列車、進路、股道變化蹤跡且與車站站場布局及結(jié)構(gòu)無關(guān)的車站通用模型，將客運專線車站站場視為由進路和股道這兩類個體組成；引入時間參數(shù)將謂詞/變遷系統(tǒng)（Pr/TS）擴充為定時/謂詞變遷系統(tǒng)（TPr/TS）.擴充后的系統(tǒng)既能在仿真中跟蹤每個個體的狀態(tài)變化蹤跡，又能描述個體狀態(tài)變化與時間的聯(lián)系.基于列車、進路、股道等三類個體和TPr/TS建立了與車站拓撲和規(guī)模無關(guān)的客運專線車站通用模型.對徐州東站的仿真試驗數(shù)據(jù)顯示了進路、股道等設(shè)施的占用情況，仿真時間段內(nèi)車站進路平均利用率為34〖WTB3〗%〖WTBZ〗，每列列車都能分配到可用進路，表明所采用的運行圖是安全、可行的，也證實了此通用模型的有效性.