直流換流站控制保護程序特征碼的算法設(shè)計

1、    直流換流站控制保護程序特征碼的算法設(shè)計    湯曉崢 劉海斌 施琳 喻春雷 宋金山摘要：基于viget工具平臺上，完成的特高壓直流控制保護程序，保存并生成cfc文件，然后通過對cfc文件的導(dǎo)入，解析其中各個不同功能塊之間及變量與功能塊之間的連接關(guān)系。通過這種連接關(guān)系，構(gòu)建出實現(xiàn)整體邏輯功能的模型結(jié)構(gòu)，建立完全對應(yīng)于根據(jù)xml格式生成相應(yīng)的關(guān)系模式，并轉(zhuǎn)換為xml格式的存儲文件。構(gòu)建一條完整邏輯功能的數(shù)據(jù)鏈，并剔除掉與邏輯運算無關(guān)的因素，然后合并形成包含特定信息的字符串，最后生成的特征碼作為控制和保護程序的唯一特征碼。該方法確保在工程現(xiàn)場下載到裝置

2、中的控制保護程序準確無誤。關(guān)鍵詞：控制保護程序;特征碼;圖形化編程;邏輯關(guān)系;功能塊：tp311 ：a：1009-3044（2020）29-0217-031 背景對于特高壓工程換流站控制保護系統(tǒng)應(yīng)用程序，作為全站最核心的數(shù)據(jù)信息，描述了換流站系統(tǒng)中所有的控制保護功能，對特高壓直流工程的設(shè)計、調(diào)試、運行、檢修具有十分重要的意義。雖然特高壓直流工程建設(shè)在不斷地加快，但仍然缺少可靠的整體調(diào)試方案和全面系統(tǒng)的安全控制手段提供支撐1?，F(xiàn)有特高壓控制和保護程序的管理存在著很多的不規(guī)范，比如針對控制和保護可視化程序缺少可靠的程序升級修改后，一致性功能校核的手段。對已經(jīng)投入運行的特高壓直流工程、柔性直流輸電保

3、護工程，當系統(tǒng)功能要求改進時，需要進行可視化頁面程序功能的修改。首先由開發(fā)人員在實驗室修改部分程序，然后做完全部試驗并驗證功能正確后，再經(jīng)過專家審核評審，然后將修改過的程序頁面以及修改內(nèi)容發(fā)給換流站現(xiàn)場。現(xiàn)場工作人員在換流站現(xiàn)場工作站打開需要修改的程序頁面，按照修改的內(nèi)容，逐步進行程序的修改，最近完成全部編譯并下載到系統(tǒng)裝置中2?，F(xiàn)場工作站是網(wǎng)絡(luò)物理隔離的，不允許外接移動設(shè)備等操作，也不能直接復(fù)制廠家修改的程序文件進行粘貼操作，這就出現(xiàn)了實驗室修改的程序和現(xiàn)場修改的程序是否修改完全一致的問題，所以迫切需要有一種可靠的校驗手段，能夠在程序邏輯功能的層面實現(xiàn)可信的判據(jù)，既不會誤判，也不能漏判。針對

4、直流控制保護程序的現(xiàn)場測試及一致性校驗國外未見有相關(guān)的研究報告或文獻，也未有專門的檢測裝置或測試儀器。而當前對程序的一致性分析對比研究主要內(nèi)容是在文本代碼或二進制文件之間的差異方面，它們的本質(zhì)操作就是直接處理程序的存儲文件，將其轉(zhuǎn)換成一種更易于處理的表示形式，從而確定相似度和分析差異。對可視化頁面程序的差異分析尚未有涉及3。故本文提出了一種控制保護程序校驗碼算法，通過分析控制保護程序的邏輯內(nèi)容，通過數(shù)據(jù)處理計算出校驗碼，從而實現(xiàn)進行程序一致性的快速判斷，校驗內(nèi)容不僅能去除與邏輯運算無關(guān)的屬性設(shè)置以及模塊位置差異的同時，又能有效比較出程序?qū)嵸|(zhì)邏輯功能發(fā)生的變化。通過本算法的應(yīng)用，從而提高程序的防

5、誤校驗?zāi)芰Α? viget工具介紹2.1 viget工具軟件整體結(jié)構(gòu)viget軟件是一種采用iec61131-3國標的控制與保護程序可視化編程工具，iec61131-3標準規(guī)范總體對公共元素和編程語言做出指導(dǎo)性的規(guī)定。標準的程序模型采用多層次結(jié)構(gòu)表示，采用這種層次結(jié)構(gòu)可直觀看出基本元素與元素之間的相互聯(lián)系41。iec61131-3標準的程序?qū)哟文Ｐ腿鐖D1所示。配置（裝置級）：位于程序模型的第1層，是頂層的語言元素;資源（處理器）：位于程序模型的第2層，為程序的正常運行提供支持的系統(tǒng)，每個配置內(nèi)可由數(shù)量不限的資源組成; 任務(wù)：位于程序模型的第3層，用于定義pou（程序組織單元）在程序執(zhí)行期間的特

6、性，具有調(diào)用和分配能力，一個資源可由一個或多個任務(wù)所組成，任務(wù)分為兩種類型：周期任務(wù)和中斷任務(wù);程序（應(yīng)用）：資源的程序執(zhí)行是由任務(wù)來控制并激活，然后按照所定義的順序來運行。2.2 cfc編輯器介紹cfc編程語言是viget軟件中一種主要應(yīng)用語言。該編程語言主要用于工業(yè)系統(tǒng)中的過程控制中，而且其基本的圖形圖符是由三個部分所組成：函數(shù)功能塊、變量、連接線。它們通常用來實現(xiàn)邏輯運算功能。每個單獨的cfc應(yīng)用程序可作為一個完整的電氣電路圖，電氣中邏輯數(shù)據(jù)的連接用于描述在模塊之間信號流的傳輸路徑。路徑的方向是從左傳導(dǎo)到右，其中信號流在每一個函數(shù)功能塊變量之間的傳遞方向都是從某一個函數(shù)功能塊的輸出傳到另

7、一個函數(shù)功能塊的輸入值。3 特征碼算法設(shè)計需要先在viget工具平臺上，完成特高壓直流控制保護程序的開發(fā)與編輯，保存并生成cfc文件，然后通過對cfc文件的提取分析與計算，最后生成針對該程序具有唯一性的特征碼。其主要功能是實現(xiàn)針對控制保護程序的智能校核，并判斷出不同程序之間是否一致。首先需要導(dǎo)人控制與保護應(yīng)用程序（cfc文件），讀取包含控制與保護程序的文件內(nèi)容，然后解析其中所包含的函數(shù)功能塊、變量以及連線信息，形成邏輯功能數(shù)據(jù)結(jié)構(gòu)鏈，建立各個不同功能塊之間及變量與功能塊之間的連接關(guān)系。通過這種連接關(guān)系，構(gòu)建出實現(xiàn)整體邏輯功能的模型結(jié)構(gòu)，建立完全對應(yīng)于根據(jù)xml格式生成相應(yīng)的關(guān)系模式，并轉(zhuǎn)換為x

8、ml格式的存儲文件。基于控制保護邏輯功能塊與外部連接輸入和輸出調(diào)用關(guān)系，通過功能塊輸入的連接線回溯到相連接功能塊的輸出，排列所遍歷到的全部功能塊，構(gòu)建一條完整邏輯功能的數(shù)據(jù)鏈;添加每一個邏輯數(shù)據(jù)鏈中的功能塊屬性、功能塊管腳的初始值，從而得到所有功能塊調(diào)用邏輯運算連接關(guān)系和相關(guān)屬性設(shè)置信息，并剔除掉與邏輯運算無關(guān)的因素，然后合并形成包含特定要求數(shù)據(jù)信息的字符串5;將得到的字符串通過特定算法處理后，最后生成的crc作為控制和保護程序的唯一特征碼。技術(shù)方案如圖2所示。3.1 cfc文件解析首先讀取控制和保護程序文件內(nèi)容，解析所包含的模塊和變量信息，形成邏輯數(shù)據(jù)結(jié)構(gòu)，建立各功能塊之間及各變量與功能塊之

9、間的調(diào)用關(guān)系，然后綜合考慮，并構(gòu)建出一種邏輯數(shù)據(jù)結(jié)構(gòu)，清晰表達了功能塊之間的邏輯關(guān)系，然后進行一系列的處理運算工作，對邏輯數(shù)據(jù)結(jié)構(gòu)中的節(jié)點進行遍歷。通過這種連接關(guān)系，構(gòu)建出實現(xiàn)整體邏輯功能的模型結(jié)構(gòu)，得出輸入同輸出變量之間的線性關(guān)系。提取并匯總當前程序?qū)ν獾妮斎搿⑤敵龅娜窟B接關(guān)系，基于邏輯功能塊對外連接輸入輸出關(guān)系的分析，完成適應(yīng)唯一性功能校驗的邏輯功能塊連接關(guān)系的排序;對外的輸入和輸出連接信息，變量按照名字的字母順序完成降序排列。然后建立符合根據(jù)xml模式生成對應(yīng)的關(guān)系模式，再根據(jù)生成的關(guān)系模式實現(xiàn)對xml的映射。格式如圖3所示。3.2 剔除無效因子剔除掉程序中所有與邏輯運算無關(guān)的信息，包

10、括模塊的位置坐標信息、備注信息、創(chuàng)建修改時間、頁碼信息等。分析影響應(yīng)用程序邏輯的關(guān)鍵因子，模塊的執(zhí)行次序，模塊的屬性，模塊增減等均為影響程序行為邏輯的因子，剔除對應(yīng)用邏輯無影響的因子，在此基礎(chǔ)上根據(jù)有序數(shù)據(jù)鏈表生成排除了無影響因子的通用數(shù)據(jù)信息，對數(shù)據(jù)信息進行特征分析和計算。影響校驗結(jié)果的因素如表1所示，不影響校驗結(jié)果的因素如表2所示。3.3 計算特征碼基于控制保護邏輯功能塊對外連接輸入輸出調(diào)用關(guān)系，構(gòu)建體現(xiàn)控制和保護程序可視化程序整體邏輯功能的模型結(jié)構(gòu)，實現(xiàn)可視化程序中功能塊節(jié)點及其他連接關(guān)系同有向無環(huán)圖數(shù)據(jù)多層結(jié)構(gòu)之間的互相映射;基于有向無環(huán)圖的網(wǎng)絡(luò)拓撲排序算法，完成適應(yīng)唯一性程序校驗的邏

11、輯功能塊連接關(guān)系排序，形成表征邏輯功能塊連接關(guān)系的執(zhí)行順序表6j。提取程序中輸出點為外部連接的功能塊，作為完整數(shù)據(jù)鏈的終點功能塊。依次對程序中每一個終點功能塊選擇廣度優(yōu)先的遍歷算法，通過功能塊輸入點的連接線找到連接到輸出點的功能塊，匯總所遍歷到的全部功能塊，形成該控制保護程序的完整數(shù)據(jù)鏈。匯總每一個數(shù)據(jù)鏈路徑中的功能塊屬性、功能塊管腳變量的初始值，能得到輸出變量的連接邏輯運算表達式和相關(guān)屬性設(shè)置信息，合并形成包含全部特定數(shù)據(jù)信息的字符串。最后生成的crc作為控制和保護程序的唯一特征碼。分別導(dǎo)人程序a和程序b，如圖4和5所示。具體差異為：“刪除模塊add20001，增加模塊rtyo01，模塊ad

12、d4_ 0002周期任務(wù)改為t2”。實現(xiàn)將比對結(jié)果另存為excel文件中。比對結(jié)果如圖6所示，第1、2、3頁面的邏輯功能完全一致，其中標紅的第4頁為兩個cfc文件的特征碼不同，分別為“10283lb3”和“3aff49f9”，表明該頁碼內(nèi)容不一致，表明第4頁程序存在差異。4 結(jié)束語基于直流控制保護程序的控制邏輯模塊對外連接輸入輸出調(diào)用關(guān)系的分析，提出控保程序頁面的特征碼生成技術(shù)，實現(xiàn)每個程序頁面生成可信唯一特征碼的目的，可快速準確地判斷修改前后兩個頁面的邏輯功能是否一致?？纱_保軟件修改和工程維護升級的正確性，可提升特高壓直流輸電工程的運維能力和水平?；谔卣鞔a算法的工具軟件目前已經(jīng)在+800kv特高壓金華換流站中得到應(yīng)用，通過現(xiàn)場實際驗證，運行效果良好，并且極大地提高了現(xiàn)場調(diào)試人員的工作效率，確保可視化程序修改和工程維護的一致性、正確性。參考文獻：1陳國平，王德林，裘愉濤，等，繼電保護面臨的挑戰(zhàn)與展望j.電力系統(tǒng)自動化，2017，41（16）：1-11，26.2李俊霞，嚴兵，張愛玲，等，特高壓直流雙極區(qū)直流保護系統(tǒng)可靠性研究j.電力系統(tǒng)保護與控制，2016，44（12）：130-136.3曾鳴，趙榮彩，姚京松，等，基于特征提取的二進制代碼比較技術(shù)j.計算機工程與應(yīng)用，2006，42（2