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

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

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

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