資源描述：
《列車運(yùn)行仿真關(guān)鍵技術(shù)及其的應(yīng)用》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、ClassifiedIndex：U292．8U．D．C：SouthwestJiaotongUniversityDoctorDegreeDissertationTHEKEYTECHNOLOGIESONTRAIN0PERATl0NSIMULATIONANDITSAPPLICATIONGrade：Candidate：AcademicDegreeAppliedfor：Specialty：2009WangLIPh．DTrafficandTransportationPlanandManagementSupervisor：ShaoquanNINov．1，2013西南交通大學(xué)學(xué)位論文版權(quán)使用授
2、權(quán)書本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位論文的規(guī)定，同意學(xué)校保留并向國家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和電子版，允許論文被查閱和借閱。本人授權(quán)西南交通大學(xué)可以將本論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)印手段保存和匯編本學(xué)位論文。本學(xué)位論文屬于1．保密口，在年解密后適用本授權(quán)書；2．不保密圊／選用本授權(quán)書。(請(qǐng)?jiān)谝陨戏娇騼?nèi)打“√”)學(xué)位論文作者簽名：套望日期：加I；年J1月；0日指導(dǎo)老師簽名：乙印枉日期：如R年f
3、月k日西南交通大學(xué)博士學(xué)位論文創(chuàng)新性聲明本人鄭重聲明：所呈交的學(xué)位論文，是在導(dǎo)師指導(dǎo)下獨(dú)立進(jìn)行研究工作所得的成果。除文中已經(jīng)注
4、明引用的內(nèi)容外，本論文不包含任何其他個(gè)人或集體己經(jīng)發(fā)表或撰寫過的研究成果。對(duì)本文的研究做出貢獻(xiàn)的個(gè)人和集體，均已在文中作了明確的說明。本人完全意識(shí)到本聲明的法律結(jié)果由本人承擔(dān)。本學(xué)位論文的主要?jiǎng)?chuàng)新點(diǎn)如下：(1)對(duì)Petri網(wǎng)從低層到高層(包括原型Petri網(wǎng)、庫所變遷系統(tǒng)、高級(jí)網(wǎng)系統(tǒng))進(jìn)行深入、系統(tǒng)分析的結(jié)果表明，在列車仿真的環(huán)境中，以高級(jí)網(wǎng)系統(tǒng)中的謂詞變遷系統(tǒng)(Pr／T-S)作為建模的數(shù)學(xué)工具為宜，所建模型更簡(jiǎn)潔、嚴(yán)謹(jǐn)(2．2—2．6)。為適應(yīng)描述事件發(fā)生及延續(xù)時(shí)間的目的，將時(shí)問引入Pr／T-S己成為客觀需求(2．7．1)。分析表明在列車仿真的語境下，將時(shí)間參數(shù)引入Pr／T-
5、S是可行的(2．7．2)。采用將時(shí)問與變遷關(guān)聯(lián)的方法將時(shí)間參數(shù)引入PffT-S，首次定義了定時(shí)謂詞變遷系統(tǒng)(TPr／T-S)(2．7．3)。(2)將信號(hào)、聯(lián)鎖等設(shè)施與對(duì)應(yīng)進(jìn)路、股道綁定，將與站場(chǎng)結(jié)構(gòu)及規(guī)模無關(guān)的客運(yùn)專線站場(chǎng)通用模型定義為其全體進(jìn)路和股道的集合(3．2)。基于列車、進(jìn)路、股道等三類個(gè)體，以能在仿真中跟蹤每個(gè)個(gè)體的蹤跡并能描述個(gè)體狀態(tài)變化與時(shí)問聯(lián)系的TPr／T-S為基礎(chǔ)，以嚴(yán)格的數(shù)學(xué)形式定義了描述系統(tǒng)結(jié)構(gòu)的基網(wǎng)(P，T；F)，系統(tǒng)的論域D，D上的變量集V，謂詞集合P到可變謂詞集Ⅱ的映射A。：P一Ⅱ，變遷集T到D上的公式集fD的映射AT：T—fD，流關(guān)系集F到D上的符
6、號(hào)和集￡的映射，AF：F一￡，初始標(biāo)記Mo及變遷集T到非負(fù)實(shí)數(shù)R的映射，TF：T—R。并對(duì)各變遷進(jìn)行了嚴(yán)格的定義，包括變遷發(fā)生的條件和相應(yīng)的行動(dòng)。首次建立了與車站拓?fù)浜鸵?guī)模無關(guān)的客運(yùn)專線車站作業(yè)TPr／T-S通用模型∑1(3．3)?；凇苐設(shè)計(jì)了客運(yùn)專線車站作業(yè)通用仿真系統(tǒng)(3．4)，仿真案例顯示了∑1的有效性(3．5)。(3)將閉塞分區(qū)與相應(yīng)通過色燈信號(hào)機(jī)綁定在一起，簡(jiǎn)化了四顯示信號(hào)體制鐵路區(qū)間模型(4．2)。詳細(xì)分析了采用規(guī)則1時(shí)列車在區(qū)問的運(yùn)行情況，為建立區(qū)間模型奠定了基礎(chǔ)(4．3．1)。以TPr／T-S為基礎(chǔ)，以嚴(yán)格的數(shù)學(xué)形式定義了描述系統(tǒng)結(jié)構(gòu)的基網(wǎng)(P，T；F)，系統(tǒng)
7、的論域D，D上的變量集V，AP，AT，AF，Mo及TF。對(duì)各變遷的嚴(yán)格定義使所有變遷的發(fā)生條件和變遷發(fā)生后的相應(yīng)行動(dòng)唯一確定，防止T---義性。首次建立了鐵路區(qū)間TPr／T-S通用模型∑2(4．3)?；凇?設(shè)計(jì)了客運(yùn)專線區(qū)f．q作業(yè)通用仿真系統(tǒng)(4．4)，仿真案例顯示了∑2的有效性(4．5L．．學(xué)位論文作者繇李翌日期：20lg年『f月歲D曰西南交通大學(xué)博士研究生學(xué)位論文第1頁摘要在列車運(yùn)行圖生命周期的各個(gè)階段，都涉及對(duì)列車運(yùn)行圖的評(píng)價(jià)、審核、檢驗(yàn)等問題，因其工作量和難度大，可行的辦法是用計(jì)算機(jī)仿真。列車運(yùn)行圖的仿真研究對(duì)中國鐵路是一項(xiàng)重要的基礎(chǔ)性工作。本文的研究背景源于鐵道部
8、運(yùn)行圖編制項(xiàng)目以及編圖培訓(xùn)中心的研究工作，目的是研究列車仿真關(guān)鍵技術(shù)及其應(yīng)用，并試圖使所獲得的研究成果具有較高的通用性。本論文在借鑒既有研究成果的基礎(chǔ)上，結(jié)合列車仿真的特點(diǎn)，對(duì)列車仿真關(guān)鍵技術(shù)及應(yīng)用的相關(guān)問題展開研究，主要進(jìn)行了以下五項(xiàng)工作：(1)謂詞變遷系統(tǒng)(Pr／T-S)未引入時(shí)問參數(shù)，不便描述列車運(yùn)行仿真中個(gè)體狀態(tài)變化與時(shí)間的聯(lián)系，特引入時(shí)間參數(shù)，將Pr／T-S擴(kuò)充為定時(shí)謂詞變遷系統(tǒng)(TP柞S)。由于TPr／T-S在保證跟蹤每個(gè)個(gè)體的狀態(tài)變遷蹤跡時(shí)，還能獲取仿真中個(gè)體狀態(tài)變遷與時(shí)問的聯(lián)
