[發明專利]一種基于線性時間算法的故障樹模塊擴展分解方法

在審

• 申請號: 201810287529.4
• 申請日: 2018-03-30
• 公開（公告）號: CN108520168A
• 公開（公告）日: 2018-09-11
• 發明（設計）人: 魏歐;李思潔;宋俊花;羅煒麟;王立松
• 申請（專利權）人: 南京航空航天大學
• 主分類號: G06F19/00
• 分類號: G06F19/00
• 代理公司: 南京鐘山專利代理有限公司 32252
• 代理人: 戴朝榮

1.一種基于線性時間算法的故障樹模塊擴展分解方法，其特征在于：包括如下步驟：

一、通過修剪冗余節點或子樹來對故障樹進行簡化；

二、對線性時間算法識別出的模塊進行擴展，識別故障樹中的等效事件，劃分等效事件為新模塊。

2.根據權利要求1所述的一種基于線性時間算法的故障樹模塊擴展分解方法，其特征在于，步驟一中，對故障樹進行簡化包括如下步驟：

規范步驟：化簡只含有一個輸入事件的中間事件；

收縮步驟：將連續出現的相同類型的中間事件進行縮減；

萃取步驟：將含有相同事件作為輸入的中間事件進行合并。

3.根據權利要求1所述的一種基于線性時間算法的故障樹模塊擴展分解方法，其特征在于，步驟二中，模塊擴展分解過程包括如下步驟：

初始化兩個集合EventOrGate(u)、EventAndGate(u)，其中，EventOrGate(u)表示節點u的所有門事件類型為或的父親節點集合，EventAndGate(u)表示節點u的所有門事件類型為與的父親節點集合，u為正整數；

遍歷故障樹的過程中記錄父親節點與兒子節點之間的對應的門事件類型，若門事件的類型為and，則將父親節點記錄在該兒子節點的EventAndGate(u)集合中，在相對應的EventOrGate(u)集合中記錄；若門事件的類型為or，則將父親節點記錄在還兒子節點EventOrGate(u)集合中，在相對應的EventAndGate(u)集合中記錄；

對于故障樹中的若干個事件u,v…w，如果滿足EventOrGate(u)＝EventOrGate(v)＝…EventOrGate(w)，并且那么這若干個事件u,v…w可以構成一個新的模塊，其中，u,v…w分別為正整數，且為空集。

4.根據權利要求3所述的一種基于線性時間算法的故障樹模塊擴展分解方法，其特征在于，如果滿足EventAndGate(u)＝EventAndGate(v)＝…EventAndGate(w)，并且，那么這若干個事件u,v…w也可以組成一個新的模塊。