CBTC系統(tǒng)移動(dòng)授權(quán)生成的建模與實(shí)現(xiàn).pdf

1、隨著無(wú)線通信技術(shù)的飛速發(fā)展，無(wú)線通信的可靠性、可用性大大提高，基于通信的列車控制(Communication Based Train Control，CBTC)系統(tǒng)應(yīng)運(yùn)而生，已成為列車運(yùn)行控制系統(tǒng)的發(fā)展趨勢(shì)。CBTC系統(tǒng)的出現(xiàn)，無(wú)論從功能方面還是從性能方面都相對(duì)于傳統(tǒng)的列車運(yùn)行控制系統(tǒng)有了巨大的提升與改進(jìn)。 在城市軌道交通中，CBTC系統(tǒng)的主要任務(wù)是保證列車在系統(tǒng)控制的線路內(nèi)安全運(yùn)行，這是通過為每列通信列車提供一個(gè)移動(dòng)授權(quán)(Mo

2、vement Authority，MA)來(lái)完成的。因此，生成合理安全的MA，是保證整個(gè)系統(tǒng)正常運(yùn)轉(zhuǎn)的關(guān)鍵。 論文首先從MA的含義入手，對(duì)生成MA的區(qū)域控制中心系統(tǒng)進(jìn)行了詳細(xì)的需求分析；從資源、結(jié)構(gòu)以及數(shù)據(jù)流等方面闡述了MA的生成原理：并提出了MA的相關(guān)算法。 論文接著基于有色Petri網(wǎng)(Colored Pctri Nets，CPN)的形式化建模方法建立了MA生成的模型。通過采用層次建模技術(shù)，以MA生成為研究對(duì)象，以區(qū)域

3、控制中心為模型主體，利用CPN Tools工具建立系統(tǒng)層、處理層及功能層三層模型，并采用歸約方法簡(jiǎn)化模型復(fù)雜度。通過基于狀態(tài)空間的分析方法對(duì)模型所應(yīng)具備功能的合理性及完備性進(jìn)行分析和驗(yàn)證，從而為區(qū)域控制中心系統(tǒng)應(yīng)用軟件的設(shè)計(jì)提供了理論依據(jù)。 論文最后按照軟件生命周期的開發(fā)模式，依據(jù)所建立的系統(tǒng)體系結(jié)構(gòu)模型，在基于VxWorks實(shí)時(shí)操作系統(tǒng)和二乘二取二安全計(jì)算機(jī)平臺(tái)的開發(fā)環(huán)境中，完成區(qū)域控制中心應(yīng)用軟件的詳細(xì)設(shè)計(jì)，實(shí)現(xiàn)MA生成功能