基于規(guī)則的CBTC系統(tǒng)數(shù)據(jù)分析與驗(yàn)證的研究.pdf

1、基于通信的列車控制(Communication Based Train Control，CBTC)系統(tǒng)是目前城市軌道交通列車運(yùn)行控制系統(tǒng)的首選。CBTC子系統(tǒng)之間有大量的數(shù)據(jù)交互，數(shù)據(jù)作為設(shè)備、線路、列車狀態(tài)等信息的載體，是CBTC系統(tǒng)的重要組成部分，其準(zhǔn)確性和可靠性是實(shí)現(xiàn)列車安全高效運(yùn)行的基礎(chǔ)。隨著系統(tǒng)功能的增強(qiáng)和系統(tǒng)復(fù)雜性的提高，數(shù)據(jù)量也有了顯著的增加，因此，對(duì)數(shù)據(jù)的準(zhǔn)確性和可靠性要求更高?；谝陨闲枨?，本文針對(duì)CBTC系統(tǒng)數(shù)據(jù)的特

2、點(diǎn)，按照數(shù)據(jù)分析，規(guī)則提取，模型驗(yàn)證的路線，采用時(shí)間自動(dòng)機(jī)對(duì)實(shí)際數(shù)據(jù)進(jìn)行驗(yàn)證，確定了該方法的可用性和可行性。
　　論文的研究?jī)?nèi)容主要包括以下幾個(gè)方面：
　　(1)論文從數(shù)據(jù)的建立、設(shè)計(jì)、使用與執(zhí)行等數(shù)據(jù)開發(fā)生命周期的各個(gè)環(huán)節(jié)，對(duì)CBTC系統(tǒng)所需的線路網(wǎng)絡(luò)數(shù)據(jù)、基礎(chǔ)設(shè)備數(shù)據(jù)以及功能性數(shù)據(jù)進(jìn)行分析和深入研究，得到CBTC數(shù)據(jù)驗(yàn)證的策略。分析CBTC系統(tǒng)架構(gòu)和工程數(shù)據(jù)表現(xiàn)形式對(duì)系統(tǒng)數(shù)據(jù)構(gòu)建的影響，進(jìn)而分析CBTC系統(tǒng)數(shù)據(jù)組織方式，

3、在此基礎(chǔ)上得出CBTC系統(tǒng)數(shù)據(jù)所固有的特征。
　　(2)論文在分析CBTC系統(tǒng)數(shù)據(jù)的基礎(chǔ)上，對(duì)系統(tǒng)數(shù)據(jù)的關(guān)聯(lián)關(guān)系和約束規(guī)則進(jìn)行了總結(jié)。基于系統(tǒng)的數(shù)據(jù)需求以及當(dāng)前工程數(shù)據(jù)的表現(xiàn)形式，圍繞數(shù)據(jù)的性質(zhì)和特點(diǎn)，從屬性域值、關(guān)聯(lián)關(guān)系和拓?fù)潢P(guān)系角度建立了CBTC數(shù)據(jù)規(guī)則庫(kù)。
　　(3)論文選取時(shí)間自動(dòng)機(jī)理論和模型驗(yàn)證工具UPPAAL，分別對(duì)規(guī)則驗(yàn)證體系進(jìn)行建模，形成一種數(shù)據(jù)的自動(dòng)化驗(yàn)證機(jī)制，主要分為兩步，一是將數(shù)據(jù)抽象為狀態(tài)模型，二是將