本發(fā)明屬于風(fēng)險評估領(lǐng)域，具體地涉及一種基于FRAM的工藝規(guī)程風(fēng)險評價方法。
背景技術(shù)：
：工藝規(guī)程是指導(dǎo)工藝的技術(shù)文件，其目的是使工藝過程和方法最合理、最經(jīng)濟，并能使之保質(zhì)保量，優(yōu)質(zhì)高產(chǎn)。它是車間最根本和最主要的工藝文件。工藝規(guī)程完整而系統(tǒng)地提供了相應(yīng)工藝過程的進行程序，因此，它是使用人員工作時的指南，正確地執(zhí)行工藝規(guī)程是保證車間有節(jié)奏運行、提高產(chǎn)品質(zhì)量、提高勞動生產(chǎn)率、確保安全生產(chǎn)的條件之一。然而每年由于違反工藝規(guī)程從而引發(fā)事故的案例不計其數(shù)，究其原因主要表現(xiàn)在以下幾個方面：操作者對規(guī)程不夠熟悉、操作者對規(guī)程理解有誤、操作者盲目自信、操作者的習(xí)慣行為以及一些其他因素。針對以上問題，從已有的解決方法來看，大都是通過是組織管理方面的措施來保證過程中規(guī)程的正確執(zhí)行，很少有考慮到規(guī)程本身制定或邏輯是否合理的問題。工藝規(guī)程主要有以下兩方面特征：1)工藝規(guī)程很難準(zhǔn)確描述復(fù)雜的工藝過程?，F(xiàn)代工藝系統(tǒng)日趨復(fù)雜化，工藝過程中涉及到大量的來自人員、組織、技術(shù)、環(huán)境等多方面的不同種類影響因素，各因素之間還存在著不同的復(fù)雜交互作用，而工藝規(guī)程不僅要準(zhǔn)確描述這些工序活動要如何進行、以何種方式交互最后才能實現(xiàn)工藝目的，也要詳細(xì)說明什么樣的運行情況或交互方式會導(dǎo)致不期望事件，以及不期望事件出現(xiàn)時的處理措施。也就是說工藝規(guī)程在編寫的時候必須要考慮到工藝過程中眾多的異質(zhì)影響因素以及各個異質(zhì)因素之間復(fù)雜的關(guān)聯(lián)關(guān)系，這就使得工藝規(guī)程編寫難度極大，很難準(zhǔn)確描述復(fù)雜的工藝過程。2)工藝規(guī)程中總是存在一些具有模糊性、二義性或者是有漏洞的內(nèi)容。工藝規(guī)程必須要綜合考慮工藝活動的可操作性和系統(tǒng)性，否則就會脫離實際，無法使用，然而工藝活動的復(fù)雜性給準(zhǔn)確、合理地設(shè)計規(guī)程帶來了較大的難度，規(guī)程的預(yù)期設(shè)想與實際執(zhí)行情況之間總會出現(xiàn)或多或少的差異，而這種差異往往是由于規(guī)程制定時內(nèi)容的模糊性或二義性所導(dǎo)致，才影響和干擾使用者對規(guī)程的正確理解和執(zhí)行。如若使用者對規(guī)程內(nèi)容缺乏清晰的、正確的理解就會很容易導(dǎo)致其行為與規(guī)程所述產(chǎn)生偏差。由此可見，識別規(guī)程中存在的具體問題，進一步改進和完善工藝規(guī)程以更好的指導(dǎo)工藝實踐十分必要。目前，對于規(guī)程內(nèi)容設(shè)計不合理或邏輯不一致的問題，缺乏全面的、系統(tǒng)的風(fēng)險評價方面的研究和實踐。技術(shù)實現(xiàn)要素：為了克服現(xiàn)有技術(shù)的缺陷，本發(fā)明的目的在于提供一種基于FRAM的工藝規(guī)程風(fēng)險評價方法。本發(fā)明是這樣實現(xiàn)的：本發(fā)明提供一種基于FRAM的工藝規(guī)程風(fēng)險評價方法，其包括以下步驟：S1、利用FRAM對工藝規(guī)程進行建模：確定工藝規(guī)程的活動子模塊，對活動子模塊進行變異以及變異的耦合分析，根據(jù)分析結(jié)果進行建模；S2、建立基于FRAM的工藝規(guī)程風(fēng)險評價方法：通過模型檢測對所建模型進行分析，得到不期望事件的發(fā)生路徑，根據(jù)路徑中變異傳播的方式識別路徑中的關(guān)鍵工藝活動，根據(jù)關(guān)鍵工藝活動呈現(xiàn)的變異狀態(tài)識別工藝規(guī)程中存在的相關(guān)缺陷；S4、針對工藝規(guī)程中存在的相關(guān)缺陷提出工藝規(guī)程改進方案：基于消除發(fā)生路徑的目的，從抑制或消除路徑中關(guān)鍵工藝活動變異的角度提出工藝規(guī)程改進方案；S5、對工藝規(guī)程改進方案進行驗證：計算工藝規(guī)程改進方案的有效性Z，當(dāng)工藝規(guī)程改進方案的有效性Z小于0時，判定為工藝規(guī)程改進方案有效，且絕對值越大表示改進越有效，相反則判定為改進方案無效。工藝規(guī)程改進方案的有效性Z的計算公式如下：其中，A為改進后工藝規(guī)程不期望事件的發(fā)生路徑的數(shù)量，A°為改進前工藝規(guī)程不期望事件的發(fā)生路徑的數(shù)量。優(yōu)選地，所述工藝規(guī)程改進方案包括工藝活動替換、工藝活動分隔細(xì)化、進一步全面具體化描述工藝活動以及增加必須的工藝活動。優(yōu)選地，S1中利用FRAM對工藝規(guī)程進行建模具體包括：S11、采用有限狀態(tài)機進行規(guī)約，得到FSM模型；S12、用promela對以上的到的FSM模型進行描述，得到promela模型；S13、將得到的promela模型和約束條件輸入SPIN的界面進行驗證，得到多條不期望事件發(fā)生路徑。優(yōu)選地，S13還包括對各條發(fā)生路徑進行仿真，并識別各條發(fā)生路徑中的關(guān)鍵活動。優(yōu)選地，S11中有限狀態(tài)機模型表述為，F(xiàn)SM＝(Σ,F,Q,S0,Δ)，其中：Σ是系統(tǒng)所有可能的輸入集合；F是系統(tǒng)所有可能的輸出集合；Q是系統(tǒng)所有可能的狀態(tài)集合,其中，F(xiàn)∈S；S0是系統(tǒng)所有可能的初始狀態(tài)集合，其中，S0∈S；Δ是狀態(tài)轉(zhuǎn)移函數(shù)集合，具體描述了系統(tǒng)狀態(tài)之間的轉(zhuǎn)換，Δ為Q×Σ→Q。優(yōu)選地，F(xiàn)RAM中對活動子模塊進行描述包括輸入、輸出、前提、資源、控制及時間。優(yōu)選地，S5還包括對改進后工藝規(guī)程重復(fù)步驟S1-S4，識別改進后工藝規(guī)程不期望事件發(fā)生路徑的數(shù)量。與現(xiàn)有技術(shù)相比，本發(fā)明具有以下有益效果：①本發(fā)明能夠?qū)に囈?guī)程進行建模，基于模型進行風(fēng)險評價，并根據(jù)評價結(jié)果得到工藝規(guī)程改進方案。對工藝規(guī)程進行改進。②本發(fā)明能夠基于消除不期望事件發(fā)生路徑的目的，從抑制或消除路徑中關(guān)鍵工藝活動變異的角度提出工藝規(guī)程改進方案，通過改進方案消除工藝規(guī)程中存在的相關(guān)缺陷。③本發(fā)明通過計算工藝規(guī)程改進方案的有效性Z，能夠直觀量化的對工藝規(guī)程的改進方案進行驗證，能夠避免無效的改進方案投入使用，使工藝規(guī)程仍存在相關(guān)缺陷。附圖說明圖1為本發(fā)明的流程示意圖；圖2為本發(fā)明的具體實施例的葉片的部分鍛造工藝的工藝流程圖；圖3為本發(fā)明的具體實施例的子活動模塊間關(guān)聯(lián)關(guān)系矩陣表示圖；圖4為本發(fā)明的具體實施例的反例路徑1的仿真結(jié)果；圖5為本發(fā)明的具體實施例的反例路徑2的仿真結(jié)果。具體實施方式以下將參考附圖詳細(xì)說明本發(fā)明的示例性實施例、特征和方面。附圖中相同的附圖標(biāo)記表示功能相同或相似的元件。盡管在附圖中示出了實施例的各種方面，但是除非特別指出，不必按比例繪制附圖。本發(fā)明提供一種基于FRAM的工藝規(guī)程風(fēng)險評價方法，F(xiàn)RAM的全稱為FunctionalResonanceAnalysisMethod，是一種功能共振分析方法，本專利提供一種基于功能共振分析方法的工藝規(guī)程風(fēng)險評價方法，如圖1所示，其包括以下步驟：S1、利用FRAM對工藝規(guī)程進行建模：確定工藝規(guī)程的活動子模塊，對活動子模塊進行變異以及變異的耦合分析，根據(jù)分析結(jié)果進行建模。建立工藝規(guī)程子模塊的變異模型，利于后期進行分析。S2、建立基于FRAM的工藝規(guī)程風(fēng)險評價方法：通過模型檢測對所建模型進行分析，得到不期望事件的發(fā)生路徑，根據(jù)路徑中變異傳播的方式識別路徑中的關(guān)鍵工藝活動，根據(jù)關(guān)鍵工藝活動呈現(xiàn)的變異狀態(tài)識別工藝規(guī)程中存在的相關(guān)缺陷；S4、針對工藝規(guī)程中存在的相關(guān)缺陷提出工藝規(guī)程改進方案：基于消除不期望事件發(fā)生路徑的目的，從抑制或消除路徑中關(guān)鍵工藝活動變異的角度提出工藝規(guī)程改進方案，通過改進方案消除工藝規(guī)程中存在的相關(guān)缺陷。S5、對工藝規(guī)程改進方案進行驗證：計算工藝規(guī)程改進方案的有效性Z，當(dāng)工藝規(guī)程改進方案的有效性Z小于0時，判定為工藝規(guī)程改進方案有效，且絕對值越大表示改進越有效，相反則判定為改進方案無效。工藝規(guī)程改進方案的有效性Z的計算公式如下：其中，A為改進后工藝規(guī)程不期望事件的發(fā)生路徑的數(shù)量，A°為改進前工藝規(guī)程不期望事件的發(fā)生路徑的數(shù)量。通過計算工藝規(guī)程改進方案的有效性Z，能夠直觀量化的對工藝規(guī)程的改進方案進行驗證，能夠避免無效的改進方案投入使用，使工藝規(guī)程仍存在相關(guān)缺陷。優(yōu)選地，所述工藝規(guī)程改進方案包括工藝活動替換、工藝活動分隔細(xì)化、進一步全面具體化描述工藝活動以及增加必須的工藝活動。優(yōu)選地，S1中利用FRAM對工藝規(guī)程進行建模具體包括：S11、采用有限狀態(tài)機進行規(guī)約，得到FSM模型；S12、用promela對以上得到的FSM模型進行描述，進一步得到promela模型。Promela(Protocol/ProcessMetaLanguage)是一種系統(tǒng)規(guī)約的形式化語言，它的語法結(jié)構(gòu)或變量定義與C語言都頗為相似。Promela程序由進程、信息通道和變量組成。S13、將得到的promela模型和約束條件輸入SPIN(模型檢測器)的界面進行驗證，得到多條不期望事件發(fā)生路徑。優(yōu)選地，S13還包括對各條發(fā)生路徑進行仿真，并識別各條發(fā)生路徑的數(shù)量及各條發(fā)生路徑中的關(guān)鍵活動。優(yōu)選地，S11中有限狀態(tài)機模型表述為，F(xiàn)SM＝(Σ,F,Q,S0,Δ)，其中：Σ是系統(tǒng)所有可能的輸入集合；F是系統(tǒng)所有可能的輸出集合；Q是系統(tǒng)所有可能的狀態(tài)集合,其中，F(xiàn)∈S；S0是系統(tǒng)所有可能的初始狀態(tài)集合，其中，S0∈S；Δ是狀態(tài)轉(zhuǎn)移函數(shù)集合，具體描述了系統(tǒng)狀態(tài)之間的轉(zhuǎn)換，Δ為Q×Σ→Q。FSM的全稱為FiniteStateMachin，其為一種有限狀態(tài)機。優(yōu)選地，F(xiàn)RAM中對活動子模塊進行描述包括輸入、輸出、前提、資源、控制及時間。優(yōu)選地，S5還包括對改進后工藝規(guī)程重復(fù)步驟S1-S4，識別不期望事件發(fā)生路徑的數(shù)量。具體實施例選擇某型航空發(fā)動機鈦合金壓氣機葉片的部分鍛造工藝為分析對象，相關(guān)工藝流程圖見下圖2。表1所列是與該分析有關(guān)的部分規(guī)程內(nèi)容。表1工藝與操作要求首先，基于FRAM的工藝規(guī)程進行建模1、工藝活動的識別與描述根據(jù)表1中的工序活動，共識別出15個子活動模塊：F1:原材料復(fù)驗、F2:測β轉(zhuǎn)變溫度、F3:棒材切割、F4:磨外圓、f5:超聲波檢驗、F6:除油吹砂、F7:鍛坯預(yù)熱、F8:噴涂玻璃潤滑劑、F9:烘干固化、F10:檢驗、F11:坯料加熱、F12:鐓粗頭部、擠壓葉身桿部、葉身桿部聚料、F13預(yù)鍛、F14:企業(yè)管理、F15:操作規(guī)程。其中F14:企業(yè)管理、F15:操作規(guī)程在此作為背景功能。按照FRAM中的功能六邊形描述方法，從輸入、輸出、前提、資源、控制、及時間六個方面對以上各個功能進行描述。因為子活動模塊F6操作相對比較重要，在此只展示了對F6的功能描述(見表2)。表2FRAM對F6的描述功能名稱F6除油吹砂描述通過吹砂對棒料表面進行除油清潔，為接下來的噴涂做準(zhǔn)備輸入暫無描述輸出棒料表面清潔干凈前提暫無描述資源吹砂機控制操作規(guī)程時間暫無描述根據(jù)以上對各個活動的六方面的描述分析，建立活動間關(guān)聯(lián)關(guān)系圖，如圖3，圖中企業(yè)管理和操作規(guī)程是兩項背景功能，下面的橢圓表示相應(yīng)實例中每個功能具體的輸出。圖3中，對角線上的每個小方框都代表一個工藝活動的輸出，從上到下依次代表：F1：原材料復(fù)驗、F2:測β轉(zhuǎn)變溫度、F3:棒材切割、F4:磨外圓、f5:超聲波檢驗、F6:除油吹砂、F7:鍛坯預(yù)熱、F8:噴涂玻璃潤滑劑、F9:烘干固化、F10:檢驗、F11:坯料加熱、F12:鐓粗頭部、擠壓葉身桿部、葉身桿部聚料、F13預(yù)鍛，的輸出。而相應(yīng)的兩條直線折角處表示上游活動輸出對其下游活動的影響(一般充當(dāng)下游活動的輸入或前提)，即上下游兩個工藝活動中，上游工藝活動輸出完成對下游工藝活動輸入或前提的影響，由于本工藝過程較為簡單，各個活動依次執(zhí)行，所以各活動的下游活動為分別其相鄰下一個活動。由上述的表達(dá)可以看出，對角線是一條直線，這說明，其中每一個活動對其他活動還有一種影響，沒有活動需要進一步細(xì)化拆分。并且線的右側(cè)沒有內(nèi)容，而且后續(xù)活動對前面的活動沒有影響。2、工藝活動變異以及變異耦合分析按照上述活動變異分析的方法對這十二個活動在不同運行階段可能出現(xiàn)的狀態(tài)(包括正常運行狀態(tài)以及偏離預(yù)期的運行狀態(tài))進行分析。根據(jù)圖3所示的各子活動模塊間關(guān)聯(lián)關(guān)系圖，逐一分析上游活動作為下游活動的輸入(前提、資源、控制、時間)時其相關(guān)變異會對下游活動造成的影響。這里只展示了對活動F6的變異以及耦合分析結(jié)果(具體見表3)。表3F6的工藝活動變異以及變異耦合分析注：其中數(shù)字1、2、3分別表示該活動的第一種、第二種第三種變異，為了方便后續(xù)編程，該案例的變異分析里對每一個活動的變異都做了類似的數(shù)字表示。3、模型形式化分析：發(fā)生路徑識別(1)FRAM模型的有限狀態(tài)機規(guī)約按照以上方法部分給出的FRAM模型有限狀態(tài)機規(guī)約規(guī)則，對以上所建的FRAM模型進行形式化規(guī)約，得到的FSM模型如下表4：表4FSM規(guī)約后模型(2)規(guī)約后模型的promela描述用promela對以上的到的FSM模型進行描述，得到promela模型。表5展示了部分得到的promela模型，其中int表示對變量的定義為整形，sf1,sf2…..sf13分別代表十三個活動所處的狀態(tài)(對FSM模型中有限狀態(tài)的描述)，f1,f2…f13分別表示十三個活動的執(zhí)行次數(shù)(起初都為0，到都為1的時候，跳出循環(huán)，見倒數(shù)第四行)，表中第七行表示F5執(zhí)行之后,F6開始執(zhí)行(從表中可以看出，F(xiàn)5為F6的輸入)，第八到十二行表示，F(xiàn)6的狀態(tài)可以隨機的出現(xiàn)1、2或3，第十三行表示F6執(zhí)行之后,F7開始執(zhí)行，而如果這時F6的狀態(tài)為3，那么F7的狀態(tài)只能為2(對FSM模型中的狀態(tài)轉(zhuǎn)移函數(shù)的描述)。最后一行是約束條件，也就是就需要驗證的屬性。表5規(guī)約后FSM模型的promela描述在本案例中將預(yù)鍛這一工序環(huán)節(jié)不允許產(chǎn)生鍛造裂紋作為約束條件。用TLT表達(dá)式“l(fā)tlp0{！<>(sf13＝＝1)}”表示。(4)SPIN的驗證將得到的promela模型和約束條件輸入SPIN的界面開始驗證，結(jié)果共得到81條反例。也就是說當(dāng)前模型中有81條不期望事件發(fā)展路徑(81中活動狀態(tài)組合)可能導(dǎo)致預(yù)鍛過程產(chǎn)生裂紋。下面對各條路徑進行仿真，并識別各條路徑中的關(guān)鍵活動。發(fā)生路徑仿真及關(guān)鍵活動識別對每條發(fā)生路徑進行仿真，結(jié)果可以看出81條路徑中有單環(huán)節(jié)路徑1條，多環(huán)節(jié)路徑80條，其中涉及共振的耦合路徑80條。下面從以上路徑中選兩個具有代表性的例子來展示說明。(1)不期望事件發(fā)展路徑1的仿真針對路徑1，由仿真結(jié)果看出，該條路徑中F1、F2、F4、F6、F7、F8、F9、F10、F11、F12都正常完成，如圖4所示，而F3出現(xiàn)了變異“2(冷卻不徹底)”，同時F5也出現(xiàn)了變異“1(檢驗標(biāo)準(zhǔn)降低)”，這樣兩個變異發(fā)生共振耦合，導(dǎo)致了F13產(chǎn)生裂紋。由此可以看出，F(xiàn)3與F5的變異共振耦合從而導(dǎo)致了不期望事件的發(fā)生，而這兩個變異都是由兩個活動內(nèi)部的變化引起的，故在此條反例路徑中F3、F5為關(guān)鍵活動。(2)不期望事件發(fā)展路徑2的仿真針對路徑2的仿真結(jié)果，由仿真結(jié)果看出，如圖5所示，該條路徑中F1、F2正常完成，F(xiàn)3出現(xiàn)了變異“(1)冷卻方式不對”，F(xiàn)4正常完成，F(xiàn)5超聲波檢驗正常完成(3)，成功地將F3導(dǎo)致的不合格材料剔除(共振后變異消減)。接下來F6正常完成，而F7出現(xiàn)了變異“(2)溫度較低”導(dǎo)致了F8“(3)涂料流淌”的變異，接著F9出現(xiàn)了“干燥時間較短(1)”的變異，此時兩者共振耦合發(fā)生了材料未晾干這一情況，而接著F10發(fā)生了“(1)跳過未執(zhí)行”這一變異，導(dǎo)致了F11“涂層破壞(2)”的變異，最終導(dǎo)致了F13出現(xiàn)裂紋(1)。其中，F(xiàn)3與F5發(fā)生耦合，消除了F3的變異，從而切斷了該變異的傳播，不會發(fā)生反例路徑一的結(jié)果，根據(jù)以上方法部分的關(guān)鍵活動識別分析，該路徑中關(guān)鍵活動為F7、F9以及F10。4、規(guī)程缺陷識別及改進針對第一條不期望事件發(fā)展路徑的規(guī)程缺陷識別與改進根據(jù)得到的發(fā)生路徑中關(guān)鍵活動的變異，識別規(guī)程中存在的缺陷。第一條路徑中的關(guān)鍵活動為F3和F5，F(xiàn)3出現(xiàn)的變異為“冷卻不夠”，F(xiàn)5的變異為“檢驗標(biāo)準(zhǔn)降低”。規(guī)程中對F3的描述為“將棒材切成符合定尺長度的坯料，切割時必須進行冷卻，防止切割面產(chǎn)生超溫過燒”它只強調(diào)了必須進行冷卻，沒有具體說明冷卻到什么程度，這樣就會導(dǎo)致不同的操作者有不同的理解，在具體操作的時候就會出現(xiàn)不同的冷卻程度進而出現(xiàn)冷卻不夠的變異。所以規(guī)程中存在對F3操作方式表述不明確的問題。規(guī)程中對F5的描述為“超聲波檢驗方法按照國軍標(biāo)GJB494A-2008的附錄A的規(guī)定進行，坯料需要進行百分之百的超聲波檢驗”，其中給出了具體的參照標(biāo)準(zhǔn)，但經(jīng)過現(xiàn)場調(diào)研得知，在實際執(zhí)行的時候很多情況下會出現(xiàn)更改檢驗標(biāo)準(zhǔn)的情況，當(dāng)然大多數(shù)情況下不會出現(xiàn)什么問題，但也有一些情況是降低了檢驗標(biāo)準(zhǔn)會導(dǎo)致不合格的材料流向下游工序，對于這種情況規(guī)程里缺少相應(yīng)要求以約束檢驗標(biāo)準(zhǔn)的更改。下面從切斷路徑的角度出發(fā)(消除變異或抑制其變異幅度)，提出規(guī)程修改完善的意見。F3出現(xiàn)的變異為“冷卻不夠”，F(xiàn)5的變異為“檢驗標(biāo)準(zhǔn)降低”，這時兩個變異耦合就會導(dǎo)致鍛造裂紋的產(chǎn)生，所以這兩個變異至少要消除或抑制一個。對于F3的變異，我們可以通過對規(guī)程里活動的執(zhí)行條件或操作環(huán)境添加限制，對相應(yīng)的內(nèi)容做一定的補充，從而來消除這種變異。例如將規(guī)程修改為“將棒材切成符合定尺長度的坯料，切割時必須進行冷卻，防止切割面產(chǎn)生超溫過燒，操作期間冷卻效果必須達(dá)到XX度(根據(jù)工程需要來設(shè)定)以下”。對于F5的變異，可以在規(guī)程里應(yīng)增加相應(yīng)要求以約束檢驗標(biāo)準(zhǔn)的更改，例如“檢驗標(biāo)準(zhǔn)更改的時候必須有完備的更改程序和批準(zhǔn)手續(xù)”這樣一定程度上可以抑制“更改標(biāo)準(zhǔn)，降低標(biāo)準(zhǔn)”這一變異。針對第二條不期望事件發(fā)展路徑的規(guī)程缺陷識別及修改該路徑中關(guān)鍵活動為F7、F9以及F10，F(xiàn)7的變異為“溫度較低”F9的變異為“烘干時間較短”F10的變異為“跳過未執(zhí)行”。鍛坯預(yù)熱的溫度較低會導(dǎo)致涂料流淌，從而延長干燥時間，一旦干燥時間未做更改或是較短的話就會導(dǎo)致涂層不能完全晾干，一旦沒有檢驗到，就會導(dǎo)致在第十一步坯料加熱的時候出現(xiàn)涂層破壞。由此看的出來，嚴(yán)格限制鍛坯預(yù)熱溫度以及烘干時間至關(guān)重要，規(guī)程里對這兩個功能執(zhí)行時的溫度和時間分別作了一定的要求，但是從分析來看(以上的分析情況是向一線操作人員了解到的實際中可能發(fā)生的)這里規(guī)程的內(nèi)容與實際執(zhí)行情況有一定的差異，涂層在特定溫度狀態(tài)下，需要的干燥時間不同，所以規(guī)程中存在與實際情況有差異的缺陷。本案例中，我們對相關(guān)活動變異提出了控制措施，首先我們可以從不同溫度涂層狀態(tài)下所需要干燥時間的分析入手，制定合理的溫度時間對應(yīng)關(guān)系，從而保證涂層徹底的干燥，消除該條不期望事件發(fā)展路徑。另外，我們也可以從消除F10的變異入手，F(xiàn)10為檢驗(對坯料表面涂層質(zhì)量的檢驗)這里出現(xiàn)了“跳過未執(zhí)行”的變異，之所以這樣可能是操作人員由于工作負(fù)荷大或工作時間緊迫造成的有意或無意造成的，這時，我們可以在檢驗后面增加一個新的活動用來檢驗“檢驗”這個活動是否已經(jīng)執(zhí)行，例如增加一個“檢驗登記”的活動，這樣就可以消除F10“跳過未執(zhí)行”的這一變異。5、有效性驗證根據(jù)改進后的規(guī)程重復(fù)以上建模分析的步驟(在此不做詳細(xì)描述)，驗證后得到的發(fā)生路徑共有31條，相對于之前的81條路徑，計算得出有效性Z＝-50/81,Z小于0，且絕對值較大，因此工藝規(guī)程的改進方案是有效的，并且有效程度較高。從結(jié)果可以看出這種對規(guī)程的修改和完善可以有效減少不期望事件發(fā)生的可能路徑。也就是說解決規(guī)程本身設(shè)計不合理或表述不完整等問題，一定程度上可以提高規(guī)程的執(zhí)行度，有效減少由于違反工藝規(guī)程導(dǎo)致的不期望事件的發(fā)生概率。與現(xiàn)有技術(shù)相比，本發(fā)明具有以下有益效果：①本發(fā)明能夠?qū)に囈?guī)程進行建模，基于建模進行風(fēng)險評價，并根據(jù)評價結(jié)果得到工藝規(guī)程改進方案。對工藝規(guī)程進行改進。②本發(fā)明能夠基于消除不期望事件發(fā)生路徑的目的，從抑制或消除路徑中關(guān)鍵工藝活動變異的角度提出工藝規(guī)程改進方案，通過改進方案消除工藝規(guī)程中存在的相關(guān)缺陷。③本發(fā)明通過計算工藝規(guī)程改進方案的有效性Z，能夠直觀量化的對工藝規(guī)程的改進方案進行驗證，能夠避免無效的改進方案投入使用，使工藝規(guī)程仍存在相關(guān)缺陷。最后應(yīng)說明的是：以上所述的各實施例僅用于說明本發(fā)明的技術(shù)方案，而非對其限制；盡管參照前述實施例對本發(fā)明進行了詳細(xì)的說明，本領(lǐng)域的普通技術(shù)人員應(yīng)當(dāng)理解：其依然可以對前述實施例所記載的技術(shù)方案進行修改，或者對其中部分或全部技術(shù)特征進行等同替換；而這些修改或替換，并不使相應(yīng)技術(shù)方案的本質(zhì)脫離本發(fā)明各實施例技術(shù)方案的范圍。當(dāng)前第1頁1 2 3