一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)及其方法
【專利摘要】本發(fā)明公開了一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)及其方法，該系統(tǒng)包括客戶端、數(shù)據(jù)庫、維護組件以及視圖化組件。其方法包括以下步驟：（1）統(tǒng)一定義設(shè)備值及其狀態(tài)和邏輯關(guān)系；（2）客戶端生成邏輯關(guān)系表達式；（3）將邏輯關(guān)系表達式轉(zhuǎn)換為析取范式；（4）將析取范式的邏輯關(guān)系生成真指派和假指派的數(shù)據(jù)邏輯值。本發(fā)明能夠降低列車自動監(jiān)控系統(tǒng)的進路監(jiān)控的復雜度并且提高系統(tǒng)的安全性以及可靠性。
【專利說明】一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)及其方法【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于軌道交通信號控制領(lǐng)域，主要涉及一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)及其方法。
【背景技術(shù)】
[0002]軌道交通列車自動監(jiān)控系統(tǒng)是軌道交通自動化領(lǐng)域核心專業(yè)之一，是保證列車運行安全、實現(xiàn)行車指揮和列車運行現(xiàn)代化，提高運輸效率的關(guān)鍵系統(tǒng)。隨著列車自動監(jiān)控系統(tǒng)不斷走向網(wǎng)絡(luò)化和集成化，列車運行時所處理的進路邏輯越來越復雜，因此急需一種方法來對實時運行進路進行判斷，降低監(jiān)控的復雜度并且提高系統(tǒng)的安全性以及可靠性。

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

[0003]發(fā)明目的:本發(fā)明的目的是針對現(xiàn)有技術(shù)的不足而公開了一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)及其方法，從而能夠降低監(jiān)控的復雜度并且提高系統(tǒng)的安全性以及可靠性。
[0004]技術(shù)方案:為 了實現(xiàn)發(fā)明的目的，本發(fā)明公開了一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)，包括:客戶端、數(shù)據(jù)庫服務(wù)器組、維護組件以及視圖化組件；客戶端，包括接收模塊、邏輯模塊；其中，接收模塊用于向數(shù)據(jù)庫服務(wù)器組請求并接收數(shù)據(jù)；邏輯模塊將進路中的設(shè)備值及其狀態(tài)定義為一個二進制數(shù)VALUE，并將進路中所有邏輯關(guān)系抽象為3種狀態(tài)，分別為0P_N0T、0P_AND以及0P_0R ；0P_AND表示各個設(shè)備值和狀態(tài)都為真，輸出動作才為真；0P_0R表示各個設(shè)備值和狀態(tài)只要有一個為真，輸出動作即為真；0Ρ_Ν0Τ將進路中設(shè)備值和狀態(tài)取反；邏輯模塊將從數(shù)據(jù)庫服務(wù)器組接收到的邏輯關(guān)系表達式通過深度遍歷算法轉(zhuǎn)換為析取范式，并通過對析取范式中的VALUE值進行枚舉生成真指派和假指派的數(shù)據(jù)邏輯值；數(shù)據(jù)庫服務(wù)器組由若干服務(wù)器組成，每個服務(wù)器包括存儲模塊、發(fā)送模塊；其中，存儲模塊用于存儲進路中的設(shè)備信息以及狀態(tài)；發(fā)送模塊用于響應(yīng)客戶端的數(shù)據(jù)請求，并發(fā)送數(shù)據(jù)至客戶端；維護組件，用于存儲客戶端的邏輯模塊生成的真指派和假指派的數(shù)據(jù)邏輯值；視圖化組件，用于顯示客戶端的邏輯模塊生成的真指派和假指派的數(shù)據(jù)邏輯值。
[0005]本發(fā)明公開了所述系統(tǒng)的一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成方法，包括以下步驟:(I)將進路中的設(shè)備值及其狀態(tài)定義為一個二進制數(shù)VALUE，并將進路中所有邏輯關(guān)系抽象為3種狀態(tài)，分別為0P_N0T、0P_AND以及0P_0R ;其中，0P_AND表示各個設(shè)備值和狀態(tài)都為真，輸出動作才為真；0P_0R表示各個設(shè)備值和狀態(tài)只要有一個為真，輸出動作即為真；0Ρ_Ν0Τ將進路中設(shè)備值和狀態(tài)取反；(2)客戶端從控制中心的數(shù)據(jù)庫中讀取出各個設(shè)備表中的設(shè)備連接關(guān)系，根據(jù)其拓撲關(guān)系，生成設(shè)備之間的邏輯關(guān)系表達式；(3)使用深度遍歷算法，將步驟(2)中的邏輯關(guān)系表達式解析為析取范式；(4)將步驟(3)析取范式的VALUE進行枚舉，即其為“O”或“1”，并根據(jù)步驟(3)所生成的析取范式的邏輯關(guān)系，生成真指派和假指派的數(shù)據(jù)邏輯值。
[0006]其中，步驟(2)中所述的設(shè)備包括始端信號機、終端信號機、區(qū)段、道岔以及敵對進路。進行步驟(3)中的深度遍歷算法時，將VALUE作為葉結(jié)點，邏輯關(guān)系OP_NOT、OP_AND以及OP_OR作為中間結(jié)點?？蛻舳藢Σ襟E(2)中生成的邏輯關(guān)系表達式進行校驗?？蛻舳藢Σ襟E(3)中生成的析取范式進行真值表驗證。
[0007]有益效果:本發(fā)明與現(xiàn)有技術(shù)相比，采用了統(tǒng)一進路邏輯定義，將復雜的進路判斷轉(zhuǎn)換為簡單的邏輯問題，所以降低監(jiān)控的復雜度；安全讀取數(shù)據(jù)庫服務(wù)器的設(shè)備值及其狀態(tài)，并且對生成的邏輯表達式進行校驗，提高系統(tǒng)的安全性以及可靠性；系統(tǒng)中視圖化組件直觀地顯示了進路邏輯中各個設(shè)備間的關(guān)系，使得工作人員能夠?qū)崟r觀察到進路信息的變化，提高工作人員的工作效率。
【專利附圖】

【附圖說明】
[0008]圖1為本發(fā)明的列車自動監(jiān)控系統(tǒng)的進路邏輯生成方法流程圖。
【具體實施方式】
[0009]本發(fā)明公開的一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)，包括:客戶端、數(shù)據(jù)庫服務(wù)器組、維護組件以及視圖化組件；客戶端，包括接收模塊、邏輯模塊；其中，接收模塊用于向數(shù)據(jù)庫服務(wù)器組請求并接收數(shù)據(jù)；邏輯模塊將進路中的設(shè)備值及其狀態(tài)定義為一個二進制數(shù)VALUE，并將進路中所有邏輯關(guān)系抽象為3種狀態(tài)，分別為0P_N0T、0P_AND以及0P_OR ；0P_AND表示各個設(shè)備值和狀態(tài)都為真，輸出動作才為真；0P_0R表示各個設(shè)備值和狀態(tài)只要有一個為真，輸出動作即為真；0Ρ_Ν0Τ將進路中設(shè)備值和狀態(tài)取反；邏輯模塊將從數(shù)據(jù)庫服務(wù)器組接收到的邏輯關(guān)系表達式通過深度遍歷算法轉(zhuǎn)換為析取范式，并通過對析取范式中的VALUE值進行枚舉生成真指派和假指派的數(shù)據(jù)邏輯值；數(shù)據(jù)庫服務(wù)器組由若干服務(wù)器組成，每個服務(wù)器包括存儲模塊、發(fā)送模塊；其中，存儲模塊用于存儲進路中的設(shè)備信息以及狀態(tài)；發(fā)送模塊用于響應(yīng)客戶端的數(shù)據(jù)請求，并發(fā)送數(shù)據(jù)至客戶端；維護組件，用于存儲客戶端的邏輯模塊生成的真指派和假指派的數(shù)據(jù)邏輯值；視圖化組件，用于顯示客戶端的邏輯模塊生成的真指派和假指派的數(shù)據(jù)邏輯值。
[0010]下面結(jié)合附圖對本發(fā)明作更進一步的說明。
[0011]如圖1所示，客戶端進行數(shù)據(jù)訪問請求，根據(jù)偵測到的服務(wù)周期性判斷服務(wù)器的負荷和狀態(tài)，將服務(wù)器狀態(tài)和IP地址映射到客戶端；客戶端找出負荷較低、狀態(tài)正常的服務(wù)器IP地址，創(chuàng)建請求代理對象，與服務(wù)器建立連接；客戶端將含有進路始端以及終端信號機的數(shù)據(jù)發(fā)送給服務(wù)器；服務(wù)器接收請求，尋找進路的始端以及終端信號機，存在該進路則將該進路的信號機、區(qū)段、道岔、敵對進路等設(shè)備值及其狀態(tài)作為VALUE，并將其用0P_N0T、0P_AND、0P_0R的邏輯關(guān)系連接起來形成邏輯關(guān)系表達式發(fā)送給客戶端，這樣統(tǒng)一的邏輯定義將復雜的進路判斷轉(zhuǎn)換為簡單的邏輯問題，所以降低監(jiān)控的復雜度，否則不存在即進入異常處理；客戶端接收到邏輯關(guān)系表達式并對其進行校驗，分解邏輯關(guān)系表達式為以0P_0R連接的TERM串，使用嵌套方式構(gòu)造0P_0R連接的左子樹TERM和右子樹TERM，對邏輯關(guān)系表達式的校驗提高系統(tǒng)的安全性以及可靠性；提取一個TERM串，分解TERM串為0P_AND連接的VAR串，使用嵌套方式構(gòu)造0P_AND連接的左子樹VAR和右子樹VAR ;檢查ATOM串中是否包含0Ρ_Ν0Τ運算符，若有則將ATOM串取反；不斷進行以上動作直到分解為一個二叉樹結(jié)構(gòu)，然后進行深度遍歷，對遍歷完生成的表達式進行校驗，判斷其是否為析取范式，若不是則進入異常處理，若是則繼續(xù)，對遍歷完生成的表達式校驗提高系統(tǒng)的安全性以及可靠性；是對進路析取范式進行真值表驗證，枚舉成真指派和假指派的數(shù)據(jù)邏輯值，提取有效輸出動作的方法。最后將進路析取范式和有效記錄以XML文件的格式進行保存到維護組件中，并將進路邏輯中各個設(shè)備間的關(guān)系在視圖化組件中進行顯示，系統(tǒng)中視圖化組件直觀地顯示了進路邏輯中各個設(shè)備間的關(guān)系，使得工作人員能夠?qū)崟r觀察到進路信息的變化，提高工作人員的工作效率。
【權(quán)利要求】
1.一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成系統(tǒng)，其特征在于，包括:客戶端、數(shù)據(jù)庫服務(wù)器組、維護組件以及視圖化組件； 客戶端，包括接收模塊、邏輯模塊； 其中，接收模塊用于向數(shù)據(jù)庫服務(wù)器組請求并接收數(shù)據(jù)； 邏輯模塊將進路中的設(shè)備值及其狀態(tài)定義為一個二進制數(shù)VALUE，并將進路中所有邏輯關(guān)系抽象為3種狀態(tài)，分別為OP_NOT、OP_AND以及OP_OR ；OP_AND表示各個設(shè)備值和狀態(tài)都為真，輸出動作才為真；OP_OR表示各個設(shè)備值和狀態(tài)只要有一個為真，輸出動作即為真；OP_NOT將進路中設(shè)備值和狀態(tài)取反；邏輯模塊將從數(shù)據(jù)庫服務(wù)器組接收到的邏輯關(guān)系表達式通過深度遍歷算法轉(zhuǎn)換為析取范式,并通過對析取范式中的VALUE值進行枚舉生成真指派和假指派的數(shù)據(jù)邏輯值； 數(shù)據(jù)庫服務(wù)器組由若干服務(wù)器組成，每個服務(wù)器包括存儲模塊、發(fā)送模塊； 其中，存儲模塊用于存儲進路中的設(shè)備信息以及狀態(tài)； 發(fā)送模塊用于響應(yīng)客戶端的數(shù)據(jù)請求，將設(shè)備信息、狀態(tài)及其連接關(guān)系的邏輯關(guān)系表達式發(fā)送至客戶端； 維護組件，用于存儲客戶端的邏輯模塊生成的真指派和假指派的數(shù)據(jù)邏輯值； 視圖化組件，用于顯示客戶端的邏輯模塊生成的真指派和假指派的數(shù)據(jù)邏輯值。
2.—種列車自動監(jiān)控系統(tǒng)的進路邏輯生成方法，其特征在于，包括以下步驟: (1)將進路中的設(shè)備值及其狀態(tài)定義為一個二進制數(shù)VALUE，并將進路中所有邏輯關(guān)系抽象為3種狀態(tài)，分別為OP_NOT、OP_AND以及OP_OR ； 其中，OP_AND表示各個設(shè)備值和狀態(tài)都為真，輸出動作才為真；OP_OR表示各個設(shè)備值和狀態(tài)只要有一個為真，輸出動作即為真；OP_NOT將進路中設(shè)備值和狀態(tài)取反； (2)客戶端從控制中心的數(shù)據(jù)庫中讀取出各個設(shè)備表中的設(shè)備連接關(guān)系，根據(jù)其拓撲關(guān)系，生成設(shè)備之間的邏輯關(guān)系表達式； (3)使用深度遍歷算法，將步驟(2)中的邏輯關(guān)系表達式解析為析取范式； (4)將步驟(3)析取范式的VALUE進行枚舉，即其為“O”或“1”，并根據(jù)步驟(3)所生成的析取范式的邏輯關(guān)系，生成真指派和假指派的數(shù)據(jù)邏輯值。
3.如權(quán)利要求2所述的一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成方法，其特征在于，步驟(2)中所述的設(shè)備包括始端信號機、終端信號機、區(qū)段、道岔以及敵對進路。
4.如權(quán)利要求2所述的一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成方法，其特征在于，進行步驟(3)中的深度遍歷算法時，將VALUE作為葉結(jié)點，邏輯關(guān)系OP_NOT、OP_AND以及0P_OR作為中間結(jié)點。
5.如權(quán)利要求2所述的一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成方法，其特征在于，客戶端對步驟(2)中生成的邏輯關(guān)系表達式進行校驗。
6.如權(quán)利要求2所述的一種列車自動監(jiān)控系統(tǒng)的進路邏輯生成方法，其特征在于，客戶端對步驟(3)中生成的析取范式進行真值表驗證。
【文檔編號】G06Q50/00GK103473705SQ201310391956
【公開日】2013年12月25日 申請日期:2013年9月2日 優(yōu)先權(quán)日:2013年9月2日
【發(fā)明者】梁奕, 李巖, 邵泳哲, 高昕, 李森林 申請人:國電南瑞科技股份有限公司