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

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

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