1、隨著客運專線的快速建設(shè)，列車運行速度的提高和運行密度的增加，如何保證列車安全正點運行成為日益突出的問題。列車運行調(diào)度系統(tǒng)是對全路列車以及運輸資源進行控制的系統(tǒng)，對于保證列車的安全正點運行、合理使用鐵路運輸資源以及提高鐵路運輸經(jīng)濟效益具有重要的作用。針對列車運行調(diào)度系統(tǒng)，本論文采用混合邏輯動態(tài)理論對其進行研究，目的是建立列車運行調(diào)度的模型，提高列車運行調(diào)度自動化。本論文完成的主要工作如下:
　　1.在查閱資料文獻(xiàn)的基礎(chǔ)上，概述了國內(nèi)

2、外對列車運行調(diào)度的研究方法及取得的研究成果，提出采用混雜邏輯動態(tài)系統(tǒng)理論對列車運行調(diào)度進行研究的思路。
　　2.對混合邏輯動態(tài)建模理論進行研究，歸納了邏輯命題與混合整數(shù)線性不等式之間的等價轉(zhuǎn)換關(guān)系，詳細(xì)闡述了建立混合邏輯動態(tài)模型的一般步驟及標(biāo)準(zhǔn)模型。
　　3.通過對列車運行調(diào)度過程進行了分析，指出列車運行調(diào)度系統(tǒng)中存在三類離散事件:正常事件、客觀事件和主觀事件。通過對三類事件之間的關(guān)系進行分析，指出列車運行調(diào)度的本質(zhì)。