李望　倪少權(quán)

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