城市軌道交通聯(lián)鎖系統(tǒng)建模的研究.pdf

1、隨著城市規(guī)模的發(fā)展，城市軌道交通系統(tǒng)在城市中的角色也越來越重要。城市軌道交通信號系統(tǒng)是保證列車運行安全，實現(xiàn)行車指揮和列車運行現(xiàn)代化，提高運輸效率的關(guān)鍵系統(tǒng)設(shè)備?；谕ㄐ诺牧熊嚳刂?CBTC)系統(tǒng)代表著信號系統(tǒng)的發(fā)展方向。計算機聯(lián)鎖系統(tǒng)(CBI)是CBTC的重要組成部分，它能實現(xiàn)對信號機、道岔等設(shè)備的嚴格控制。要提高聯(lián)鎖系統(tǒng)的安全性和可靠性，在設(shè)計開發(fā)過程中必須有相應(yīng)的措施。本文從建模角度出發(fā)研究聯(lián)鎖系統(tǒng)，為聯(lián)鎖系統(tǒng)的開發(fā)提供參考和指導(dǎo)

2、，主要做了以下幾方面的工作。
　　 本文介紹了計算機聯(lián)鎖的基本原理和結(jié)構(gòu)，分析了聯(lián)鎖軟件的功能需求，為聯(lián)鎖邏輯中的進路控制、道岔控制、屏蔽門控制等業(yè)務(wù)流程進行了UML建模，進而指導(dǎo)聯(lián)鎖系統(tǒng)的設(shè)計及編碼等工作。
　　 本文提出了一種基于時間自動機的進路控制流程模型。將聯(lián)鎖進路控制過程分解為進路選排、道岔控制、進路鎖閉、信號控制、進路取消等子過程，對各子過程分別建模并組建了時間自動機網(wǎng)絡(luò)。
　　 本文利用系統(tǒng)分析和驗