★北京廣利核系統(tǒng)工程有限公司馬騰飛,任保華,王桂蘭,彭立,張智慧
★遼寧紅沿河核電有限公司張?zhí)煸?/p>
關(guān)鍵詞:算法組態(tài);自動化生成;DCS
DCS(Digital Control System)系統(tǒng)是核電機(jī)組的“中樞神經(jīng)系統(tǒng)”,可實現(xiàn)順序控制、設(shè)備保護(hù)、參數(shù)監(jiān)控、自動控制等功能,它密切關(guān)系到機(jī)組的安全運行。我國首個實現(xiàn)商用的自主化核電站數(shù)字化控制保護(hù)系統(tǒng)即和睦系統(tǒng)(英文名:FirmSys),它由一系列硬件和軟件組成,其中執(zhí)行安全保護(hù)算法功能的應(yīng)用軟件采用核安全級圖形化算法組態(tài)軟件實現(xiàn)。核儀控系統(tǒng)工程師使用算法組態(tài)軟件進(jìn)行工程組態(tài)和算法設(shè)計,并將保護(hù)算法轉(zhuǎn)換生成等價算法C代碼,最終下裝到核電DCS系統(tǒng)專用控制器中,用于執(zhí)行安全保護(hù)功能。
算法工藝設(shè)計圖紙需經(jīng)過多個流程,才可最終生成可靠的安全級算法組態(tài)應(yīng)用到核電站中。其中間流程算法設(shè)計圖生成算法組態(tài),是通過人工繪制的方式進(jìn)行的,在過程中無法避免地會出現(xiàn)人因錯誤,且對工程設(shè)計人員要求較高,因此成為了項目進(jìn)度的關(guān)鍵路徑。項目對算法組態(tài)的生成過程提出了降低人因影響、加快項目進(jìn)度、降低人員成本等要求,因此一種核安全級算法組態(tài)自動生成方法成為了解決項目要求的必然選擇。
1 算法組態(tài)生成流程(如圖1所示)
核電站項目各個環(huán)節(jié)必須由具備相關(guān)資質(zhì)的單位完成,算法組態(tài)的生成由上游輸入的工藝設(shè)計圖紙,經(jīng)過設(shè)計人員繪制成算法設(shè)計圖;再經(jīng)由工程設(shè)計人員通過算法軟件以手工繪制的方式實現(xiàn)算法組態(tài),而且為確保準(zhǔn)確性,需經(jīng)過V&V的質(zhì)量校核,最后生成算法組態(tài)文件。
圖1 算法生成流程
當(dāng)工藝設(shè)計圖發(fā)生變化時,需要同時對算法設(shè)計圖、算法組態(tài)同時進(jìn)行調(diào)整,涉及整個流程。
2 自動化工具的需求
隨著核工業(yè)的發(fā)展,核安全文化深入,行業(yè)規(guī)模越來越大,以往人工進(jìn)行設(shè)計組態(tài)的形式無法滿足項目進(jìn)度要求,同時符合要求的工程人員不足,無法滿足行業(yè)發(fā)展的缺口,項目進(jìn)度與成本越發(fā)關(guān)鍵,加快項目進(jìn)度、提升產(chǎn)品質(zhì)量、減少人因失誤、降低運維成本成為必然要求。更加上算法設(shè)計圖與算法組態(tài)在外形和布局方面的不一致,提高了手動組態(tài)工作的復(fù)雜程度,增加了人因失誤。而后續(xù)的變更,同樣會加大V&V及現(xiàn)場調(diào)試、維護(hù)的工作,因此需要對人工繪制算法組態(tài)的流程重新進(jìn)行設(shè)計優(yōu)化。
為保證算法組態(tài)的直觀與容易識別,同時考慮驗證方便,在算法組態(tài)生成過程中,需要考慮設(shè)計圖紙的外觀一致性、位置準(zhǔn)確性、邏輯正確性,以及對不同種類的工藝設(shè)計圖紙的兼容性、擴(kuò)展性。
3 產(chǎn)品設(shè)計與實現(xiàn)
算法組態(tài)的自動生成方法的輸入文件包括:算法設(shè)計圖、圖符配置文件和圖符庫,其中圖符配置文件與圖符庫匹配,算法設(shè)計圖使用圖符庫進(jìn)行繪制。輸入文件通過軟件工具轉(zhuǎn)換為標(biāo)準(zhǔn)中間文件,再通過算法軟件加載為算法組態(tài)文件。整體設(shè)計如圖2所示。
圖2 整體設(shè)計圖
3.1 標(biāo)準(zhǔn)中間文件設(shè)計
規(guī)范中間文件內(nèi)容,其包括目前算法組態(tài)軟件的所有必需元素。算法組態(tài)示意圖如圖3所示。
圖3 算法組態(tài)示意圖
算法組態(tài)是由各種圖元組合而成的,圖元類型包括變量圖元、算法圖元、連線圖元:
(1)變量圖元:輸入變量、輸出變量、中間變量、常量;
(2)(2)連線圖元:正向連線圖元、反向連線圖元;
(3)算法圖元:各種算法類型的圖元。
基本圖元信息包括ID號、位置、大小、名稱、輸入/輸出端口等,各種圖元又包含其種類特殊的屬性,例如:
(1)變量圖元:變量名稱、變量類型;
(2)連線圖元:線類型;
(3)算法圖元:名稱、類型、實例號等。
關(guān)鍵信息需要包括以上內(nèi)容,其文件設(shè)計示意圖如圖4所示。
圖4 算法設(shè)計文件關(guān)鍵信息示意圖
3.2 圖符樣式文件的設(shè)計
圖符樣式文件用于算法設(shè)計圖中各種元素的顯示,須保證圖元在算法軟件中顯示與算法設(shè)計圖文件中一致。樣式文件設(shè)計示意圖如圖5所示,配置文件中的信息主要包括名稱、樣式標(biāo)志、類型號、描述信息、長度、寬度、端口信息等。
圖5 樣式文件示意圖
3.3 算法邏輯關(guān)系的生成
通過算法設(shè)計圖,生成中間文件分為3個步驟:
(1)加載圖符樣式文件,并校驗文件是否符合規(guī)則;
(2)加載算法設(shè)計圖,通過連線關(guān)系得到圖形信息以及圖形間的邏輯關(guān)系;
(3)生成標(biāo)準(zhǔn)中間文件(xml格式)。
得到的中間文件格式如圖6所示。
圖6 中間文件
3.4 算法組態(tài)軟件兼容規(guī)范
將3.3得到的標(biāo)準(zhǔn)中間文件轉(zhuǎn)換為算法軟件組態(tài)數(shù)據(jù),該步驟分為3個步驟:
(1)將中間文件中算法塊的圖形解析為算法軟件中的算法塊圖元;
(2)將中間文件中的變量圖形解析為算法軟件中的變量圖元;
(3)進(jìn)行布線,在算法設(shè)計圖基礎(chǔ)上,調(diào)整連線起始位置,連接對應(yīng)圖形。
其設(shè)計方案如圖7所示。
圖7 生成算法軟件圖形數(shù)據(jù)
3.5 運行效果
算法設(shè)計圖如圖8所示,通過以上方法執(zhí)行后,自動生成的算法組態(tài)如圖9所示。
圖8 算法設(shè)計圖
圖9 算法組態(tài)圖
4 應(yīng)用效果
首先,通過精準(zhǔn)定義統(tǒng)一的中間文件形式,算法軟件能夠高效解析算法設(shè)計圖文件,從中精準(zhǔn)地提取出算法組態(tài)信息,并生成規(guī)范的中間文件。這種中間文件不僅承載了算法的核心邏輯,還具備高度可移植性。
然后,算法組態(tài)軟件通過兼容這一規(guī)范,能夠輕松讀取中間文件,并自動生成對應(yīng)的算法組態(tài)。這一過程中,軟件會利用中間文件的規(guī)范性,進(jìn)行詳盡的校驗,確保設(shè)計文件中不存在任何潛在問題。一旦發(fā)現(xiàn)問題,系統(tǒng)會立即進(jìn)行反饋,使設(shè)計人員能夠迅速定位并修正錯誤,從而大大提高了設(shè)計的準(zhǔn)確性和效率。
在生成中間語言的過程中,我們同樣注重規(guī)范化的校驗。這種校驗不僅限于語法和邏輯的正確性,還包括對設(shè)計文件的完整性、一致性和可維護(hù)性的檢查。通過這一步驟,我們能夠確保設(shè)計文件的質(zhì)量,為后續(xù)的算法組態(tài)生成打下堅實的基礎(chǔ)。
此外,由于中間文件格式的高度規(guī)范性,我們可以開發(fā)出多種轉(zhuǎn)化工具,輕松實現(xiàn)設(shè)計文件到中間文件的轉(zhuǎn)換。算法組態(tài)軟件只需加載這些中間文件,即可快速生成算法組態(tài)。這不僅簡化了操作流程,還提高了整個系統(tǒng)的靈活性和可擴(kuò)展性。
在算法組態(tài)生成后,我們還會經(jīng)過算法軟件的嚴(yán)格檢查、編譯步驟以及V&V等質(zhì)量校驗,確保算法的正確性和滿足核安全級算法要求。這一系列的措施使得我們的算法組態(tài)自動生成方法能夠在核電站等關(guān)鍵領(lǐng)域得到廣泛應(yīng)用。
根據(jù)DCS系統(tǒng)工程設(shè)計的反饋,這種核安全級算法組態(tài)自動生成方法展現(xiàn)出了卓越的性能。它能夠更快更精準(zhǔn)地發(fā)現(xiàn)設(shè)計中的各類錯誤,更快捷地輸出組態(tài)算法,有效降低了組態(tài)算法中的人因失誤以及邏輯錯誤,大幅提高了工程組態(tài)的正確性和設(shè)計效率,為核電站的安全運行提供了有力保障。
該方法已經(jīng)在我國廣東陽江核電站等8座核電站項目中得到了成功應(yīng)用,并取得了良好的實踐效果。據(jù)統(tǒng)計,這些項目累計縮短工期超過600人月,保證了核電機(jī)組如期投入生產(chǎn),創(chuàng)造了可觀的經(jīng)濟(jì)和社會效益。這一成果的取得充分證明了我們的算法組態(tài)自動生成方法在實際應(yīng)用中的有效性和優(yōu)越性。
5 結(jié)論
本文提出了一種核電站算法組態(tài)的自動化生成方法,并已在和睦系統(tǒng)中成功應(yīng)用。在多個實際百萬千瓦級核電項目的應(yīng)用中,該方法提高了核安全級DCS系統(tǒng)算法組態(tài)的生成效率,降低了算法組態(tài)中的邏輯錯誤,為工程項目的順利完工提供了有力保障,對其他行業(yè)的算法組態(tài)自動化提供了借鑒意義。
作者簡介:
馬騰飛(1988-),男,河北人,軟件設(shè)計師,學(xué)士,現(xiàn)就職于北京廣利核系統(tǒng)工程有限公司,主要從事于核電站軟件的研發(fā)與設(shè)計工作。
摘自《自動化博覽》2024年7月刊