電力生產管理系統的可信構造方法研究

方向明

摘 要：現在有很多電力生產的管理系統存在著不能如期完成實施、隱形不穩定和功能可用性不強等可信問題、那么如何讓電力生產管理系統達到，可信、分級、可信證據度量和獲取證明等，如何在規則指導下進行可信構造的方法，如何在電力生產管理系統的發展中加大系統可信性研究的重要性，本文將以上全部講解另外支出可信構造方法對于提高電力生產管理系統的效率與可信分析及升級演化建立堅實的基礎。

關鍵詞：系統管理的分析；可信構造分析

一、可信構造的工作方法

首先我們先建立可信分析的邏輯性框架，可信分析主要包括可信評估和可信證明這兩個部分，可根據可心評估和可信證明的結果生成的最終報告對系統給出相應的可信分析結論。在我們對系統進行可信分析之前，應該先根據系統的應用需求確定可信的屬性模型，也就是實際應用中關注的系統的可信屬性的集合，然后我們才可以進行下一步可心分析。電力行業所關注的可信屬性一般都是：可用、可靠、安全、可維護、可生存、使用性等等，特別針對系統不同的應用環境和應用需求，以及電力生產的不同時期，我們所關注的可信屬性及關注程度也是各有不同的，因此我們首先要充分的去分析系統的應用環境和需求，然后在提取對各類可信屬性的要求等，在定義可信屬性的模型。

我們先說一下工作模式，電力生產管理系統的可信構造是源于可新技術的基礎支持平臺之上導致的，如今基礎支持平臺里還包括了支持可信構造的各種技術和已經通過研究的結果，比如說：數據的處理方法、流程的管理方法、模型驅動的方法。構件服務技術、過程管理的方法、可信保障、形式化等等。所謂著重平臺也是為了我們構造可信的電力生產管理系統最基本的大力支持，而我們電力資源庫里所包含的各類資源例如：電力資源的各種模型、與系統有關的各種文檔、對于資源的維護和可信評估等等，還有一點就是如果我們的系統主要輔助領導進行數據的統計分析和趨勢的預測，則易用性和穩定性更加重要一些，所以我們要首先充分的分析系統環境和需求，然后提取對各類可信屬性的具體要求，在定義可信屬性的模型，這可以導致我們對系統可信性的進一步分析。

二、可信分析

首先建立可信分析的邏輯架構，可信分析主要包括可信評估和可信證明兩個部分，根據可信評估和可信證明的結果能夠生成最終的可信分析報告，對系統可信性給出分析結論。

2.1 可信屬性

對系統進行可信分析之前，需要根據系統的應用需求確定可信屬性模型，即實際應用中關注的系統的可信屬性的集合，然后才能進行進一步的可信分析.電力行業關注的可信屬性一般包括：可用性、可靠性、安全性、可維護性、可生存性、實時性等等，針對系統不同的應用環境和應用需求，以及電力生產的不同時期，所關注的可信屬性及關注程度也各不相同，因此，我們首先要充分分析系統的應用環境和需求，提取對各類可信屬性的具體要求，定義可信屬性模型。

2.2 可信分級

結合電力行業特點，將可信級別定義為從低到高的五個級別：不可信級、可用級、實用級、標準級、證明級.對于不能夠進行可信分析或者未通過可信分析的資源，定義為不可信資源；通過基本的可信分析，軟件基本達到預期的功能，定義為可用級；通過可信分析，并已經處于實際運行狀態，有實際的應用示范工程，運行效果良好，定義為實用級；不僅通過可信分析并有成功的應用示范工程，而且通過權威的標準化組織的認證，成為一定范圍（如行業、國家或者國際）內的規范標準，定義為標準級；資源不僅通過可信分析，而且能夠使用形式化工具進行證明，定義為證明級。顯然，證明級是可信分級中的最高級別，但是，實際應用中，資源可信性的完全證明一般是比較困難的。

2.3 可信證據度量和獲取軟件

可信性就是指軟件對于各個可信屬性的滿足程度，下面結合電力行業的實際應用，按照四個層次舉例說明如何對可信屬性進行度量并獲取相關的證據，可信證據的提取可能使用一些測試工具進行客觀的評估，也可能需要使用調查表格來獲取用戶評價等一些主觀的證據。

2.3.1實現層。

這里主要對實現層的證據進行度量和獲取，實現層主要是指系統底層的實現代碼、模型和文檔等等，例如：對于系統代碼正確性的度量，我們可以使用一些工具對代碼是否存在bug、死鎖和內存泄露等問題進行檢查，提取代碼的正確性證據；對于代碼規范性的度量，我們也可以使用一些工具對代碼的是否按照標準縮進、是否按照標準命名、是否添加注釋等問題進行檢查，提取代碼的規范性證據。

2.3.2功能層。

這里主要對功能層的證據進行度量和獲取，功能層的含義是指資源是否能夠達到預期的目標，滿足用戶的功能；也可以通過計算可測試的功能比率，來度量和提取功能的可評估性證據。

三、可信證據度量和獲取

3.1 實現層

這里主要對實現層的證據進行度量和獲取，實現層主要是指系統底層的實現代碼、模型和文檔等等，例如：對于系統代碼正確性的度量，我們可以使用一些工具對代碼是否存在bug、死鎖和內存泄露等問題進行檢查，提取代碼的正確性證據；對于代碼規范性的度量，我們也可以使用一些工具對代碼的是否按照標準縮進、是否按照標準命名、是否添加注釋等問題進行檢查，提取代碼的規范性證據。

3.2 功能層

這里主要對功能層的證據進行度量和獲取，功能層的含義是指資源是否能夠達到預期的目標，滿足用戶的功能：也可以通過計算可測試的功能比率，來度量和提取功能的可評估性證據。

3.3 框架層

這里主要對框架層的證據進行度量和獲取，框架層的含義是指系統整體是否能夠很好的與用戶或其他應用進行交互，是否能夠很容易的安裝、維護和集成，是否具備很好的兼容性。

3.4 規范層這里主要對規范層的證據進行度量和獲取，規范層的含義是指系統遵循的編碼規范、過程管理規范等各種規范。

四、結束語

隨著現代科技的不斷發展，計算機的不斷更新。社會對于可信軟件的要求也越來越高越來越迫切，然而電力工業作為國民經濟和社會發展的基礎產業，計算機軟件的可信性對于電力生產管理系統的控制管理生產進度也有課一定量的可見的進步程度，展望未來，隨著科新需求的日益增加和可新技術的不斷發展，不斷的進步可新技術必然會應用于大規模的工業化生產實踐中。

參考文獻

[1]歐陽建權，王懷民，史殿習.普適計算的可信研究[J].計算機應用研究，2016，25（2）：3521～3524.

[2]張揚勇.我國電力企業信息化及其水平評價研究[J].福州：福州大學管理科學與工程學院，2016