一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法
【專利摘要】本發(fā)明公開了一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，包括以下步驟：（1）根據(jù)車站數(shù)據(jù)模型設(shè)計(jì)原則，采用數(shù)據(jù)建模工具生成車站數(shù)據(jù)模型。（2）根據(jù)車站數(shù)據(jù)模型的特點(diǎn)，采用腳本語言編寫車站數(shù)據(jù)模型相應(yīng)的規(guī)則庫，將車站數(shù)據(jù)模型加載進(jìn)車站數(shù)據(jù)模型驗(yàn)證工具。（3）對(duì)不同的模型，選擇相應(yīng)的規(guī)則，對(duì)車站數(shù)據(jù)進(jìn)行驗(yàn)證，生成驗(yàn)證報(bào)告。（4）根據(jù)驗(yàn)證報(bào)告，對(duì)數(shù)據(jù)進(jìn)行迭代驗(yàn)證，直至數(shù)據(jù)完全正確。整個(gè)方法對(duì)數(shù)據(jù)從語法到語義更加嚴(yán)格高效的驗(yàn)證，有效地保證了數(shù)據(jù)的有效性，提高了工作效率，加快了工作進(jìn)展，從而保證了系統(tǒng)數(shù)據(jù)層面的可用性、安全性和可靠性。
【專利說明】一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于城市軌道交通領(lǐng)域，主要涉及一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法?！颈尘凹夹g(shù)】
[0002]列車自動(dòng)監(jiān)控系統(tǒng)以及聯(lián)鎖系統(tǒng)需要使用大量的車站靜態(tài)數(shù)據(jù)，隨著技術(shù)的發(fā)展，所需數(shù)據(jù)量也在不斷增大，自動(dòng)化技術(shù)也已經(jīng)應(yīng)用到車站數(shù)據(jù)生成過程中，但是數(shù)據(jù)量的增加以及線路的不一致也同樣增加了數(shù)據(jù)存在錯(cuò)誤的概率。特別的，車站數(shù)據(jù)內(nèi)的公式、進(jìn)路聯(lián)鎖表有著數(shù)據(jù)量大、邏輯復(fù)雜的特點(diǎn)，人工排查錯(cuò)誤變得越發(fā)困難，因此急需一種方法來驗(yàn)證車站數(shù)據(jù)的完整性和有效性。

【發(fā)明內(nèi)容】

[0003]發(fā)明目的:本發(fā)明的目的是針對(duì)現(xiàn)有技術(shù)的不足而提供一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，從而能最大程度地暴露車站數(shù)據(jù)內(nèi)壞死的數(shù)據(jù)，達(dá)到提高系統(tǒng)調(diào)試速度，縮短工程周期，從數(shù)據(jù)層面提高系統(tǒng)的可用性、安全性和可靠性。
[0004]技術(shù)方案:為了實(shí)現(xiàn)發(fā)明的目的，本發(fā)明公開了一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，包括以下步驟:
[0005](I)采用數(shù)據(jù)建模工具生成車站數(shù)據(jù)模型庫，車站數(shù)據(jù)模型庫包括有向圖模型、拓?fù)浣Y(jié)構(gòu)模型、設(shè)備專有屬性、進(jìn)路聯(lián)鎖表以及進(jìn)路公式；
[0006](2)根據(jù)步驟(I)中生成的車站數(shù)據(jù)模型庫，采用腳本語言編寫車站數(shù)據(jù)模型相應(yīng)的規(guī)則庫，將車站數(shù)據(jù)模型庫加載進(jìn)車站數(shù)據(jù)模型驗(yàn)證工具；
[0007](3)對(duì)步驟(I)生成的車站數(shù)據(jù)模型庫中不同的模型，選擇步驟(2)生成的規(guī)則庫中相應(yīng)的規(guī)則，對(duì)車站數(shù)據(jù)模型進(jìn)行驗(yàn)證，生成驗(yàn)證報(bào)告；
[0008](4)根據(jù)驗(yàn)證報(bào)告，對(duì)數(shù)據(jù)進(jìn)行迭代驗(yàn)證，直至數(shù)據(jù)完全正確。
[0009]其中，步驟(I)中有向圖模型的結(jié)構(gòu)為:起點(diǎn)公里標(biāo)、終點(diǎn)公里標(biāo)、始端點(diǎn)數(shù)據(jù)、終端點(diǎn)數(shù)據(jù)、區(qū)段數(shù)據(jù)、信號(hào)機(jī)數(shù)據(jù)；拓?fù)浣Y(jié)構(gòu)模型以信號(hào)機(jī)、道岔和區(qū)段作為網(wǎng)絡(luò)內(nèi)的節(jié)點(diǎn)，用線對(duì)網(wǎng)絡(luò)內(nèi)各節(jié)點(diǎn)實(shí)現(xiàn)互聯(lián)；進(jìn)路聯(lián)鎖表模型的結(jié)構(gòu)包括:類型、始終端信號(hào)機(jī)、敵對(duì)信號(hào)機(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)算符連接。所述的車站數(shù)據(jù)包括列車自動(dòng)監(jiān)控系統(tǒng)以及聯(lián)鎖系統(tǒng)的車站數(shù)據(jù)。所述車站數(shù)據(jù)模型支持的數(shù)據(jù)類型包括，整型、布爾型以及字符串類型。所述步驟(2)中的采用腳本語言編寫車站數(shù)據(jù)模型相應(yīng)的規(guī)則庫包括，常用語法規(guī)則、有向圖模型規(guī)則、拓?fù)浣Y(jié)構(gòu)模型規(guī)則、進(jìn)路聯(lián)鎖表規(guī)則以及進(jìn)路公式規(guī)貝U。有向圖模型規(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)，信號(hào)機(jī)數(shù)據(jù)內(nèi)排列按照固定方式出現(xiàn)，設(shè)備類型必須與拓?fù)淠Ｐ捅３忠恢拢煌負(fù)浣Y(jié)構(gòu)模型規(guī)則包括:節(jié)點(diǎn)類型包括信號(hào)機(jī)、區(qū)段、道岔，每個(gè)節(jié)點(diǎn)的上下連接均存在，對(duì)于道岔設(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和0R，進(jìn)路公式內(nèi)的設(shè)備集合必須隸屬于對(duì)應(yīng)的進(jìn)路聯(lián)鎖表內(nèi)的進(jìn)路內(nèi)的設(shè)備集合，進(jìn)路公式應(yīng)該符合為其設(shè)定的規(guī)則，時(shí)序性等。所述的該方法支持的數(shù)據(jù)格式包括CSV,TXT,XML以及EXCEL。進(jìn)路公式采用數(shù)據(jù)與圖形的雙向驗(yàn)證方法，圖形采用T型圖的表示方式，數(shù)據(jù)到圖形的轉(zhuǎn)化采用命題邏輯解析布爾邏輯運(yùn)算，并將解析結(jié)果以梯型圖的方式轉(zhuǎn)化。
[0010]有益效果:本發(fā)明與現(xiàn)有技術(shù)相比，采用基于腳本語言規(guī)則庫的技術(shù)、制定的不同數(shù)據(jù)模型以及針對(duì)不同模型采用的不同規(guī)則，使得整個(gè)方法對(duì)數(shù)據(jù)從語法到語義更加嚴(yán)格高效的驗(yàn)證，有效地保證了數(shù)據(jù)的有效性，提高了工作效率，加快了工作進(jìn)展，從而保證了系統(tǒng)數(shù)據(jù)層面的可用性、安全性和可靠性。
【專利附圖】

【附圖說明】
[0011]圖1為本發(fā)明的驗(yàn)證方法對(duì)車站數(shù)據(jù)執(zhí)行驗(yàn)證的應(yīng)用流程圖。
【具體實(shí)施方式】
[0012]下面結(jié)合附圖對(duì)本發(fā)明作更進(jìn)一步的說明。
[0013]如圖1所示，整個(gè)驗(yàn)證方法可以分為三層:數(shù)據(jù)層、驗(yàn)證層以及結(jié)果層。在數(shù)據(jù)層，以信號(hào)平面布置圖為基礎(chǔ)，用數(shù)據(jù)建模工具生成車站數(shù)據(jù)，包括有向圖模型、拓?fù)浣Y(jié)構(gòu)模型、進(jìn)路聯(lián)鎖表和進(jìn)路公式等；在驗(yàn)證層，將基于腳本語言編寫車站數(shù)據(jù)模型相應(yīng)的規(guī)則庫和數(shù)據(jù)建模工具生成的車站數(shù)據(jù)導(dǎo)入到數(shù)據(jù)驗(yàn)證工具中，執(zhí)行驗(yàn)證；在結(jié)果層，生成語法檢查報(bào)告、有效性報(bào)告以及圖形驗(yàn)證報(bào)告，這時(shí)會(huì)將驗(yàn)證報(bào)告再次反饋給數(shù)據(jù)建模工具，修改車站數(shù)據(jù)模型；重復(fù)執(zhí)行以上步驟，直到數(shù)據(jù)驗(yàn)證報(bào)告的數(shù)據(jù)無誤。
[0014]以上的數(shù)據(jù)模型包.括有向圖模型、拓?fù)浣Y(jié)構(gòu)模型、進(jìn)路聯(lián)鎖表以及進(jìn)路公式。
[0015]其中，有向圖模型是將信號(hào)平面布置圖結(jié)合有向圖相關(guān)原理生成的一種數(shù)據(jù)模型。有向圖模型的結(jié)構(gòu)為:起點(diǎn)公里標(biāo)、終點(diǎn)公里標(biāo)、始端點(diǎn)數(shù)據(jù)(名稱、類型、道岔走向等)、終端點(diǎn)數(shù)據(jù)(名稱、類型、道岔走向等)、區(qū)段數(shù)據(jù)((名稱、起點(diǎn)公里標(biāo)、終點(diǎn)公里標(biāo))、(名稱、起點(diǎn)公里標(biāo)、終點(diǎn)公里標(biāo))……)、信號(hào)機(jī)數(shù)據(jù)((名稱、所在公里標(biāo))、(名稱、所在公里標(biāo))……)，其規(guī)則描述主要包括:終點(diǎn)公里標(biāo)大于始端公里標(biāo)、始終端類型必須為道岔，道岔走向必須為其內(nèi)在類型之一，區(qū)段數(shù)據(jù)排列按照固定方式出現(xiàn)，區(qū)段數(shù)據(jù)內(nèi)終端公里標(biāo)大于始端公里標(biāo)，信號(hào)機(jī)數(shù)據(jù)內(nèi)排列按照固定方式出現(xiàn)，設(shè)備類型必須與拓?fù)淠Ｐ捅３忠恢碌龋媚_本語言將上述規(guī)則形式化。
[0016]拓?fù)浣Y(jié)構(gòu)模型是將信號(hào)平面布置圖網(wǎng)絡(luò)化，以信號(hào)機(jī)、道岔和區(qū)段作為網(wǎng)絡(luò)內(nèi)的節(jié)點(diǎn)，用線對(duì)網(wǎng)絡(luò)內(nèi)各節(jié)點(diǎn)實(shí)現(xiàn)互聯(lián)。拓?fù)浣Y(jié)構(gòu)模型通常情況下并非一個(gè)獨(dú)立的模型，而是和設(shè)備數(shù)據(jù)作為一個(gè)整體存在，但這并不影響對(duì)拓?fù)浣Y(jié)構(gòu)模型的驗(yàn)證。拓?fù)浣Y(jié)構(gòu)模型的規(guī)則描述如下:將節(jié)點(diǎn)類型(信號(hào)機(jī)、區(qū)段、道岔)分別用A、B、C表示，每個(gè)節(jié)點(diǎn)的上下連接均存在，線路終點(diǎn)以DESTINATION代替，對(duì)于道岔設(shè)備側(cè)連接必須存在，平行線上的節(jié)點(diǎn)的互聯(lián)只能是CC，不能出現(xiàn)CA (AC) /CB (BC) /AB (BA) /AA/BB。用腳本語言將上述規(guī)則形式化。
[0017]進(jìn)路聯(lián)鎖表模型的結(jié)構(gòu)包括:類型、始終端信號(hào)機(jī)、敵對(duì)信號(hào)機(jī)、定反位道岔、進(jìn)路區(qū)段、侵限區(qū)段、接近區(qū)段、保護(hù)區(qū)段等。進(jìn)路聯(lián)鎖表檢查規(guī)則依賴于傳統(tǒng)的制作進(jìn)路聯(lián)鎖表規(guī)則。
[0018]進(jìn)路公式以進(jìn)路聯(lián)鎖表模型為基礎(chǔ)，將進(jìn)路聯(lián)鎖表內(nèi)相關(guān)設(shè)備監(jiān)視的點(diǎn)以邏輯運(yùn)算符連接。規(guī)則描述如下:兩個(gè)相鄰設(shè)備監(jiān)視的點(diǎn)不能同時(shí)出現(xiàn)AND和0R，進(jìn)路公式內(nèi)的設(shè)備集合必須隸屬于對(duì)應(yīng)的進(jìn)路聯(lián)鎖表內(nèi)的進(jìn)路內(nèi)的設(shè)備集合，進(jìn)路公式應(yīng)該符合為其設(shè)定的規(guī)則，時(shí)序性等。用腳本語言將規(guī)則形式化。
[0019]采用基于腳本語言規(guī)則庫的技術(shù)使得整個(gè)方法對(duì)數(shù)據(jù)從語法到語義更加嚴(yán)格高效的驗(yàn)證，有效地保證了數(shù)據(jù)的有效性，提高了工作效率；統(tǒng)一制定的不同數(shù)據(jù)模型以及針對(duì)不同模型采用的不同規(guī)則，對(duì)于不同車站之間的數(shù)據(jù)則無需做出太大的改動(dòng)即可滿足驗(yàn)證要求，提高了工作效率；整個(gè)驗(yàn)證方法保證了數(shù)據(jù)層面的可用性、安全性和可靠性。
【權(quán)利要求】
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ù)步驟(I)中生成的車站數(shù)據(jù)模型庫，采用腳本語言編寫車站數(shù)據(jù)模型相應(yīng)的規(guī)則庫，將車站數(shù)據(jù)模型庫加載進(jìn)車站數(shù)據(jù)模型驗(yàn)證工具； (3)對(duì)步驟(I)生成的車站數(shù)據(jù)模型庫中不同的模型，選擇步驟(2)生成的規(guī)則庫中相應(yīng)的規(guī)則，對(duì)車站數(shù)據(jù)模型進(jìn)行驗(yàn)證，生成驗(yàn)證報(bào)告； (4)根據(jù)驗(yàn)證報(bào)告，對(duì)數(shù)據(jù)進(jìn)行迭代驗(yàn)證，直至數(shù)據(jù)完全正確。
2.如權(quán)利要求1所述的一種城市軌道交通車站數(shù)據(jù)驗(yàn)證方法，其特征在于，步驟(I)中有向圖模型的結(jié)構(gòu)為:起點(diǎn)公里標(biāo)、終點(diǎn)公里標(biāo)、始端點(diǎn)數(shù)據(jù)、終端點(diǎn)數(shù)據(jù)、區(qū)段數(shù)據(jù)、信號(hào)機(jī)數(shù)據(jù)；拓?fù)浣Y(jié)構(gòu)模型以信號(hào)機(jī)、道岔和區(qū)段作為網(wǎng)絡(luò)內(nèi)的節(jié)點(diǎn)，用線對(duì)網(wǎng)絡(luò)內(nèi)各節(jié)點(diǎn)實(shí)現(xiàn)互聯(lián)；進(jìn)路聯(lián)鎖表模型的結(jié)構(gòu)包括:類型、始終端信號(hào)機(jī)、敵對(duì)信號(hào)機(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)，信號(hào)機(jī)數(shù)據(jù)內(nèi)排列按照固定方式出現(xiàn)，設(shè)備類型必須與拓?fù)淠Ｐ捅３忠恢?；拓?fù)浣Y(jié)構(gòu)模型規(guī)則包括:節(jié)點(diǎn)類型包括信號(hào)機(jī)、區(qū)段、道岔，每個(gè)節(jié)點(diǎn)的上下連接均存在，對(duì)于道岔設(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和0R，進(jìn)路公式內(nèi)的設(shè)備集合必須隸屬于對(duì)應(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)化。
【文檔編號(hào)】G06F17/30GK103440349SQ201310420193
【公開日】2013年12月11日 申請(qǐng)日期:2013年9月16日 優(yōu)先權(quán)日:2013年9月16日
【發(fā)明者】邵泳哲, 梁奕, 高昕, 李森林, 鄒麗萍 申請(qǐng)人:國電南瑞科技股份有限公司