資源描述：
《基于混合邏輯動態(tài)的列車運行調(diào)度模型的研究》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在學術論文-天天文庫。
1、萬方數(shù)據(jù)隨著客運專線的快速建設，列車運行速度的提高和運行密度的增加，如何保證列車安全正點運行成為日益突出的問題。列車運行調(diào)度系統(tǒng)是對全路列車以及運輸資源進行控制的系統(tǒng)，對于保證列車的安全正點運行、合理使用鐵路運輸資源以及提高鐵路運輸經(jīng)濟效益具有重要的作用。針對列車運行調(diào)度系統(tǒng)，本論文采用混合邏輯動態(tài)理論對其進行研究，目的是建立列車運行調(diào)度的模型，提高列車運行調(diào)度自動化。本論文完成的主要工作如下：1．在查閱資料文獻的基礎上，概述了國內(nèi)外對列車運行調(diào)度的研究方法及取得的研究成果，提出采用混雜邏輯動態(tài)系統(tǒng)理論對列車運行調(diào)度進行研究的思路。2．對混合邏輯動態(tài)建模理論
2、進行研究，歸納了邏輯命題與混合整數(shù)線性不等式之間的等價轉(zhuǎn)換關系，詳細闡述了建立混合邏輯動態(tài)模型的一般步驟及標準模型。3．通過對列車運行調(diào)度過程進行了分析，指出列車運行調(diào)度系統(tǒng)中存在三類離散事件：正常事件、客觀事件和主觀事件。通過對三類事件之間的關系進行分析，指出列車運行調(diào)度的本質(zhì)。4．采用混合邏輯動態(tài)理論建立列車運行調(diào)度模型，重點闡述了約束條件轉(zhuǎn)換為線性約束不等式的過程。5．以一個具有6個車站和5個區(qū)間的調(diào)度區(qū)段作為實例，對模型進行了仿真及分析，仿真結果表明了模型的有效性。關鍵字：混雜系統(tǒng)；混合邏輯動態(tài)模型；列車運行調(diào)度；離散事件萬方數(shù)據(jù)基于混合邏輯動態(tài)的列
3、車運行調(diào)度模型的研究II萬方數(shù)據(jù)ABSTRACTABSTRACTWiththerapidconstructingofpassenger。dedicatedrailwayline，thespeedimprovingandtherunningdensityincreasing，itbecomesanimportantproblemhowtoassurethetrainsafetyandpunctuality．Thetraintrafficcontrolsystemisusedtocontrolallresourcesincludingtrainsandtrans
4、portresources，whichplaysanimportantroletoassurethetrainsafety&punctuality．tousetherailwaytransportresourcesproperlyandtoimprovetheeconom。icb，enefit．Forthetraintrafficcontrolsystem，themixedlogicdynamicmethodisusedinthispaperinordertobuildthetraintrafficcontrolsystemmodelandtoimprove
5、dispatchingautomationlevel．Themainresearchworksofthisarticleasfollows：1．Throughlookinguplot’Sofliteratures，themainlyresearchmethodsandresultsusedfortraintra伍Ccontr01atthehomeandabroadaresummarizedbriefly,andanideaissuggestedthattheisusedtostudythetraintrafficcontrolsystem．2．Through
6、studyingthemixedlogicdynamicsystemtheory,someequivalentconversionformulasbetweenpropositionallogicandmixedintegerlinearinequalitiesissummarized，andthestandardformsofthemixedlogicdynamicmodelandthegeneralmodellingprocessaredescribedindetail．3．Throughanalyzedthetraintrafficcontrolpro
7、cess，itispointedoutthatthereexistthreediscreteevents：normalevents，objectiveeventsandsubjectiveevents．Finally，thenatureofthetraintrafficcontrolsystemispointedoutinthisPaper4．Thetraintrafficcontrolsystemmodelisbuiltbasedonmixedlogicdynamic，andtheprocessthatconstraintsisconvertedtolin
8、earconstraintsinequalityis
