[發(fā)明專利]一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法

在審

• 申請?zhí)枺?/td>: 201310420193.1
• 申請日: 2013-09-16
• 公開（公告）號: CN103440349A
• 公開（公告）日: 2013-12-11
• 發(fā)明（設(shè)計(jì)）人: 邵泳哲;梁奕;高昕;李森林;鄒麗萍
• 申請（專利權(quán)）人: 國電南瑞科技股份有限公司
• 主分類號: G06F17/30
• 分類號: G06F17/30
• 代理公司: 南京蘇高專利商標(biāo)事務(wù)所(普通合伙) 32204
• 代理人: 張弛

1.一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，包括以下步驟：

（1）采用數(shù)據(jù)建模工具生成車站數(shù)據(jù)模型庫，車站數(shù)據(jù)模型庫包括有向圖模型、拓?fù)浣Y(jié)構(gòu)模型、設(shè)備專有屬性、進(jìn)路聯(lián)鎖表以及進(jìn)路公式；

（2）根據(jù)步驟（1）中生成的車站數(shù)據(jù)模型庫，采用腳本語言編寫車站數(shù)據(jù)模型相應(yīng)的規(guī)則庫，將車站數(shù)據(jù)模型庫加載進(jìn)車站數(shù)據(jù)模型驗(yàn)證工具；

（3）對步驟（1）生成的車站數(shù)據(jù)模型庫中不同的模型，選擇步驟（2）生成的規(guī)則庫中相應(yīng)的規(guī)則，對車站數(shù)據(jù)模型進(jìn)行驗(yàn)證，生成驗(yàn)證報(bào)告；

（4）根據(jù)驗(yàn)證報(bào)告，對數(shù)據(jù)進(jìn)行迭代驗(yàn)證，直至數(shù)據(jù)完全正確。

2.如權(quán)利要求1所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，步驟（1）中有向圖模型的結(jié)構(gòu)為：起點(diǎn)公里標(biāo)、終點(diǎn)公里標(biāo)、始端點(diǎn)數(shù)據(jù)、終端點(diǎn)數(shù)據(jù)、區(qū)段數(shù)據(jù)、信號機(jī)數(shù)據(jù)；拓?fù)浣Y(jié)構(gòu)模型以信號機(jī)、道岔和區(qū)段作為網(wǎng)絡(luò)內(nèi)的節(jié)點(diǎn)，用線對網(wǎng)絡(luò)內(nèi)各節(jié)點(diǎn)實(shí)現(xiàn)互聯(lián)；進(jìn)路聯(lián)鎖表模型的結(jié)構(gòu)包括：類型、始終端信號機(jī)、敵對信號機(jī)、定反位道岔、進(jìn)路區(qū)段、侵限區(qū)段、接近區(qū)段、保護(hù)區(qū)段；進(jìn)路公式以進(jìn)路聯(lián)鎖表模型為基礎(chǔ),將進(jìn)路聯(lián)鎖表內(nèi)相關(guān)設(shè)備監(jiān)視的點(diǎn)以邏輯運(yùn)算符連接。

3.如權(quán)利要求1所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，所述的車站數(shù)據(jù)包括列車自動(dòng)監(jiān)控系統(tǒng)以及聯(lián)鎖系統(tǒng)的車站數(shù)據(jù)。

4.如權(quán)利要求1所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，所述車站數(shù)據(jù)模型支持的數(shù)據(jù)類型包括，整型、布爾型以及字符串類型。

5.如權(quán)利要求1或3所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，所述步驟（2）中的采用腳本語言編寫車站數(shù)據(jù)模型相應(yīng)的規(guī)則庫包括，常用語法規(guī)則、有向圖模型規(guī)則、拓?fù)浣Y(jié)構(gòu)模型規(guī)則、進(jìn)路聯(lián)鎖表規(guī)則以及進(jìn)路公式規(guī)則。

6.如權(quán)利要求1或5所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，有向圖模型規(guī)則包括：終點(diǎn)公里標(biāo)大于始端公里標(biāo)、始終端數(shù)據(jù)類型必須為道岔，道岔走向必須為其內(nèi)在類型之一，區(qū)段數(shù)據(jù)排列按照固定方式出現(xiàn)，區(qū)段數(shù)據(jù)內(nèi)終端公里標(biāo)大于始端公里標(biāo)，信號機(jī)數(shù)據(jù)內(nèi)排列按照固定方式出現(xiàn)，設(shè)備類型必須與拓?fù)淠Ｐ捅３忠恢拢煌負(fù)浣Y(jié)構(gòu)模型規(guī)則包括：節(jié)點(diǎn)類型包括信號機(jī)、區(qū)段、道岔，每個(gè)節(jié)點(diǎn)的上下連接均存在，對于道岔設(shè)備側(cè)連接必須存在，平行線上的節(jié)點(diǎn)的互聯(lián)只能是道岔-道岔；進(jìn)路聯(lián)鎖表檢查規(guī)則依賴于制作進(jìn)路聯(lián)鎖表傳統(tǒng)的規(guī)則；進(jìn)路公式規(guī)則包括：兩個(gè)相鄰設(shè)備監(jiān)視的點(diǎn)不能同時(shí)出現(xiàn)AND和OR，進(jìn)路公式內(nèi)的設(shè)備集合必須隸屬于對應(yīng)的進(jìn)路聯(lián)鎖表內(nèi)的進(jìn)路內(nèi)的設(shè)備集合，進(jìn)路公式應(yīng)該符合為其設(shè)定的規(guī)則，時(shí)序性。

7.如權(quán)利要求1所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，所述的該方法支持的數(shù)據(jù)格式包括CSV、TXT、XML以及EXCEL。

8.如權(quán)利要求1所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，進(jìn)路公式采用數(shù)據(jù)與圖形的雙向驗(yàn)證方法，圖形采用T型圖的表示方式，數(shù)據(jù)到圖形的轉(zhuǎn)化采用命題邏輯解析布爾邏輯運(yùn)算，并將解析結(jié)果以梯型圖的方式轉(zhuǎn)化。