[發明專利]一種面向抽象故障樹的結構合成方法

有效

• 申請號: 201711367270.6
• 申請日: 2017-12-18
• 公開（公告）號: CN108153842B
• 公開（公告）日: 2021-11-26
• 發明（設計）人: 杜軍威;馬超;李浩杰;于洋洋;于旭;江峰;胡強;陳卓
• 申請（專利權）人: 青島科技大學
• 主分類號: G06F16/22
• 分類號: G06F16/22;G06F16/2453;G06F16/2458
• 代理公司: 北京化育知識產權代理有限公司 11833
• 代理人: 尹均利

1.一種面向抽象故障樹的結構合成方法，其特征是：通過對抽象故障樹與案例故障樹節點的相似度計算和邏輯門語義包含度計算，將案例故障樹包含的事件節點和事件間的邏輯門語義關系，增量擴展到抽象故障樹中，使擴展的抽象故障樹既保留了原有的結構完整性和語義，又增量包含了案例故障樹的結構特征及其事件間邏輯語義，通過不斷的合成，使擴展后的抽象故障樹成為匯聚同類事故的抽象綜合體，并建立了案例故障樹與抽象故障樹的結構映射；

給定一抽象故障樹AFT＝{V_A,G_A,E_A,v₀,δ_hδ_w},和該抽象故障樹關聯的n個案例故障樹IFT_i＝{V_I,G_I,E_I,v₀,δ_h,δ_w},1≤i≤n,通過對抽象故障樹與案例故障樹節點的相似度計算，按照廣度遍歷算法計算AFT與IFT的節點與門的匹配，增量擴展抽象故障樹結構并建立該抽象故障樹的抽象解釋集合，抽象故障樹的局部結構為：

即節點v_ai父鏈接門為g_au,父節點v_au,子鏈接門為g_ai,v_ai子節點v_ai+1,v_ai+2…v_ai+k與案例故障樹IFT_c的局部結構,案例故障樹節點v_cj對應抽象故障樹節點v_ai，案例故障樹節點v_cj的子節點v_cj+1…v_cj+q，滿足條件：從抽象故障樹當前節點v_ai,匹配案例故障樹的當前節點v_cj開始的子節點匹配過程執行如下步驟：

Step1:從抽象故障樹當前節點v_ai,匹配案例故障樹的當前節點v_cj；

Step2:判斷抽象故障樹的當前節點是否可以實例化案例故障樹的當前節點，如果是執行step3，不是執行step10；

Step3：判斷抽象故障樹的當前節點的子連接門是否為或門，如果是執行step4，不是執行step5；

Step4:繼續匹配當前節點下的所有子節點；

Step5:判斷案例故障樹的當前節點的所有子節點是否都被抽象解釋為抽象故障樹當前節點的對應子節點，如果是執行step6；

Step6:查找案例故障樹的每個子節點對應的抽象故障樹節點，如果能夠找到執行step7，如果發現執行step7，否則執行step8；

Step7:將當前案例故障樹與抽象故障樹對應的抽象解釋節點加入到解釋庫中；

Step8:抽象故障樹節點回溯到父門為或門的節點，以當前案例故障樹節點為基礎上回溯到與抽象故障樹v_ap匹配的案例故障樹節點v_cp；

Step9:判斷是否存在v_ap的兄弟節點沒有匹配到相應的案例故障樹節點，如果是則執行step1；

Step10:如果當前案例故障樹的節點不能被抽象故障樹的當前節點抽象解釋,判斷抽象故障樹當前節點的父門是或門，如果是執行step11，否則執行step14或step15；

Step11:匹配抽象故障樹當前節點的兄弟節點是否能與案例故障樹當前節點抽象解釋，如果是執行step12，否執行step13；

Step12:使用抽象故障樹樹中的原有節點；

Step13:構造一個與v_ai為兄弟節點的新的分支節點；

Step14:回溯該節點的父節點，新構造父節點的兄弟節點為案例故障樹當前節點的解釋節點；

Step15:案例故障樹與抽象故障樹都從當前節點起，同步逐層回溯節點的父節點，直到抽象故障樹回溯的父節點的父門為或門，匹配該父節點的兄弟節點與案例故障樹回溯的父節點，如果回溯的父節點所有的兄弟節點都已匹配，則新構造回溯父節點的兄弟節點為案例故障樹回溯父節點的解釋節點。

2.根據權利要求1所述的面向抽象故障樹的結構合成方法，其特征是：構造新節點的抽象故障樹節點步驟為：

Step1：判斷父節點是否為與門，是執行step2，否則執行step3；

Step2:構造一個父節點Vaf，并用或門連接抽象故障樹與相應的案例故障樹結構；

Step3:將案例故障樹結構作為或門的一個子分支，連接到抽象故障樹中；

Step4，結束。