GBTC區(qū)域控制系統(tǒng)數(shù)據(jù)安全保障方法的研究.pdf

1、區(qū)域控制系統(tǒng)(ZoneController)在CBTC(CommunicationBasedTrainControl)系統(tǒng)占有重要的作用，它為列車(chē)運(yùn)行提供進(jìn)路MA信息，因此ZC系統(tǒng)數(shù)據(jù)的安全性直接關(guān)系到列車(chē)運(yùn)行。所以如何保障ZC系統(tǒng)數(shù)據(jù)的安全至關(guān)重要的。
　　 本文主要介紹保障CBTC系統(tǒng)數(shù)據(jù)安全的方法并針對(duì)ZC子系統(tǒng)提出數(shù)據(jù)安全保障方法。通過(guò)引入對(duì)象關(guān)系型數(shù)據(jù)庫(kù)的概念，利用其數(shù)據(jù)的約束關(guān)系和實(shí)際線路的拓?fù)潢P(guān)系進(jìn)行了數(shù)據(jù)庫(kù)的設(shè)計(jì)

2、。同時(shí)，通過(guò)多版本控制系統(tǒng)的數(shù)據(jù)庫(kù)版本號(hào)管理方法，對(duì)數(shù)據(jù)進(jìn)行實(shí)時(shí)監(jiān)控、修改，提高了系統(tǒng)數(shù)據(jù)庫(kù)的安全性。此外，利用二乘二取二的方法對(duì)數(shù)據(jù)的安全性進(jìn)一步提供保障。
　　 本文重點(diǎn)研究了如何保障動(dòng)態(tài)數(shù)據(jù)安全的方法，并針對(duì)ZC的功能模塊進(jìn)行討論。利用循環(huán)冗余的方法對(duì)實(shí)際ZC數(shù)據(jù)進(jìn)行了分析。另外，通過(guò)一種強(qiáng)邏輯性的線路數(shù)據(jù)建模語(yǔ)言，對(duì)線路數(shù)據(jù)建立形式化的數(shù)據(jù)模型，并對(duì)ZC系統(tǒng)數(shù)據(jù)模型的安全性進(jìn)行了形式化分析。最后，為進(jìn)一步保障ZC所提供M