電力生產(chǎn)管理系統(tǒng)的可信構(gòu)造方法研究

方向明

摘 要：現(xiàn)在有很多電力生產(chǎn)的管理系統(tǒng)存在著不能如期完成實(shí)施、隱形不穩(wěn)定和功能可用性不強(qiáng)等可信問(wèn)題、那么如何讓電力生產(chǎn)管理系統(tǒng)達(dá)到，可信、分級(jí)、可信證據(jù)度量和獲取證明等，如何在規(guī)則指導(dǎo)下進(jìn)行可信構(gòu)造的方法，如何在電力生產(chǎn)管理系統(tǒng)的發(fā)展中加大系統(tǒng)可信性研究的重要性，本文將以上全部講解另外支出可信構(gòu)造方法對(duì)于提高電力生產(chǎn)管理系統(tǒng)的效率與可信分析及升級(jí)演化建立堅(jiān)實(shí)的基礎(chǔ)。

關(guān)鍵詞：系統(tǒng)管理的分析；可信構(gòu)造分析

一、可信構(gòu)造的工作方法

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

我們先說(shuō)一下工作模式，電力生產(chǎn)管理系統(tǒng)的可信構(gòu)造是源于可新技術(shù)的基礎(chǔ)支持平臺(tái)之上導(dǎo)致的，如今基礎(chǔ)支持平臺(tái)里還包括了支持可信構(gòu)造的各種技術(shù)和已經(jīng)通過(guò)研究的結(jié)果，比如說(shuō)：數(shù)據(jù)的處理方法、流程的管理方法、模型驅(qū)動(dòng)的方法。構(gòu)件服務(wù)技術(shù)、過(guò)程管理的方法、可信保障、形式化等等。所謂著重平臺(tái)也是為了我們構(gòu)造可信的電力生產(chǎn)管理系統(tǒng)最基本的大力支持，而我們電力資源庫(kù)里所包含的各類資源例如：電力資源的各種模型、與系統(tǒng)有關(guān)的各種文檔、對(duì)于資源的維護(hù)和可信評(píng)估等等，還有一點(diǎn)就是如果我們的系統(tǒng)主要輔助領(lǐng)導(dǎo)進(jìn)行數(shù)據(jù)的統(tǒng)計(jì)分析和趨勢(shì)的預(yù)測(cè)，則易用性和穩(wěn)定性更加重要一些，所以我們要首先充分的分析系統(tǒng)環(huán)境和需求，然后提取對(duì)各類可信屬性的具體要求，在定義可信屬性的模型，這可以導(dǎo)致我們對(duì)系統(tǒng)可信性的進(jìn)一步分析。

二、可信分析

首先建立可信分析的邏輯架構(gòu)，可信分析主要包括可信評(píng)估和可信證明兩個(gè)部分，根據(jù)可信評(píng)估和可信證明的結(jié)果能夠生成最終的可信分析報(bào)告，對(duì)系統(tǒng)可信性給出分析結(jié)論。

2.1 可信屬性

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

2.2 可信分級(jí)

結(jié)合電力行業(yè)特點(diǎn)，將可信級(jí)別定義為從低到高的五個(gè)級(jí)別：不可信級(jí)、可用級(jí)、實(shí)用級(jí)、標(biāo)準(zhǔn)級(jí)、證明級(jí).對(duì)于不能夠進(jìn)行可信分析或者未通過(guò)可信分析的資源，定義為不可信資源；通過(guò)基本的可信分析，軟件基本達(dá)到預(yù)期的功能，定義為可用級(jí)；通過(guò)可信分析，并已經(jīng)處于實(shí)際運(yùn)行狀態(tài)，有實(shí)際的應(yīng)用示范工程，運(yùn)行效果良好，定義為實(shí)用級(jí)；不僅通過(guò)可信分析并有成功的應(yīng)用示范工程，而且通過(guò)權(quán)威的標(biāo)準(zhǔn)化組織的認(rèn)證，成為一定范圍（如行業(yè)、國(guó)家或者國(guó)際）內(nèi)的規(guī)范標(biāo)準(zhǔn)，定義為標(biāo)準(zhǔn)級(jí)；資源不僅通過(guò)可信分析，而且能夠使用形式化工具進(jìn)行證明，定義為證明級(jí)。顯然，證明級(jí)是可信分級(jí)中的最高級(jí)別，但是，實(shí)際應(yīng)用中，資源可信性的完全證明一般是比較困難的。

2.3 可信證據(jù)度量和獲取軟件

可信性就是指軟件對(duì)于各個(gè)可信屬性的滿足程度，下面結(jié)合電力行業(yè)的實(shí)際應(yīng)用，按照四個(gè)層次舉例說(shuō)明如何對(duì)可信屬性進(jìn)行度量并獲取相關(guān)的證據(jù)，可信證據(jù)的提取可能使用一些測(cè)試工具進(jìn)行客觀的評(píng)估，也可能需要使用調(diào)查表格來(lái)獲取用戶評(píng)價(jià)等一些主觀的證據(jù)。

2.3.1實(shí)現(xiàn)層。

這里主要對(duì)實(shí)現(xiàn)層的證據(jù)進(jìn)行度量和獲取，實(shí)現(xiàn)層主要是指系統(tǒng)底層的實(shí)現(xiàn)代碼、模型和文檔等等，例如：對(duì)于系統(tǒng)代碼正確性的度量，我們可以使用一些工具對(duì)代碼是否存在bug、死鎖和內(nèi)存泄露等問(wèn)題進(jìn)行檢查，提取代碼的正確性證據(jù)；對(duì)于代碼規(guī)范性的度量，我們也可以使用一些工具對(duì)代碼的是否按照標(biāo)準(zhǔn)縮進(jìn)、是否按照標(biāo)準(zhǔn)命名、是否添加注釋等問(wèn)題進(jìn)行檢查，提取代碼的規(guī)范性證據(jù)。

2.3.2功能層。

這里主要對(duì)功能層的證據(jù)進(jìn)行度量和獲取，功能層的含義是指資源是否能夠達(dá)到預(yù)期的目標(biāo)，滿足用戶的功能；也可以通過(guò)計(jì)算可測(cè)試的功能比率，來(lái)度量和提取功能的可評(píng)估性證據(jù)。

三、可信證據(jù)度量和獲取

3.1 實(shí)現(xiàn)層

這里主要對(duì)實(shí)現(xiàn)層的證據(jù)進(jìn)行度量和獲取，實(shí)現(xiàn)層主要是指系統(tǒng)底層的實(shí)現(xiàn)代碼、模型和文檔等等，例如：對(duì)于系統(tǒng)代碼正確性的度量，我們可以使用一些工具對(duì)代碼是否存在bug、死鎖和內(nèi)存泄露等問(wèn)題進(jìn)行檢查，提取代碼的正確性證據(jù)；對(duì)于代碼規(guī)范性的度量，我們也可以使用一些工具對(duì)代碼的是否按照標(biāo)準(zhǔn)縮進(jìn)、是否按照標(biāo)準(zhǔn)命名、是否添加注釋等問(wèn)題進(jìn)行檢查，提取代碼的規(guī)范性證據(jù)。

3.2 功能層

這里主要對(duì)功能層的證據(jù)進(jìn)行度量和獲取，功能層的含義是指資源是否能夠達(dá)到預(yù)期的目標(biāo)，滿足用戶的功能：也可以通過(guò)計(jì)算可測(cè)試的功能比率，來(lái)度量和提取功能的可評(píng)估性證據(jù)。

3.3 框架層

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

3.4 規(guī)范層這里主要對(duì)規(guī)范層的證據(jù)進(jìn)行度量和獲取，規(guī)范層的含義是指系統(tǒng)遵循的編碼規(guī)范、過(guò)程管理規(guī)范等各種規(guī)范。

四、結(jié)束語(yǔ)

隨著現(xiàn)代科技的不斷發(fā)展，計(jì)算機(jī)的不斷更新。社會(huì)對(duì)于可信軟件的要求也越來(lái)越高越來(lái)越迫切，然而電力工業(yè)作為國(guó)民經(jīng)濟(jì)和社會(huì)發(fā)展的基礎(chǔ)產(chǎn)業(yè)，計(jì)算機(jī)軟件的可信性對(duì)于電力生產(chǎn)管理系統(tǒng)的控制管理生產(chǎn)進(jìn)度也有課一定量的可見的進(jìn)步程度，展望未來(lái)，隨著科新需求的日益增加和可新技術(shù)的不斷發(fā)展，不斷的進(jìn)步可新技術(shù)必然會(huì)應(yīng)用于大規(guī)模的工業(yè)化生產(chǎn)實(shí)踐中。

參考文獻(xiàn)

[1]歐陽(yáng)建權(quán)，王懷民，史殿習(xí).普適計(jì)算的可信研究[J].計(jì)算機(jī)應(yīng)用研究，2016，25（2）：3521～3524.

[2]張揚(yáng)勇.我國(guó)電力企業(yè)信息化及其水平評(píng)價(jià)研究[J].福州：福州大學(xué)管理科學(xué)與工程學(xué)院，2016