[发明专利]基于Petri网与改进二元决策图模型的最小割集求解方法

摘要

本发明公开一种基于Petri网与改进二元决策图模型的最小割集求解方法，包括步骤有根据故障情况建立相应故障树；根据所建立的故障树建立相应的Petri网模型；根据所建立的Petri网模型计算顶层事件的布尔逻辑关系式；根据顶层事件的布尔逻辑关系式转换成改进二元决策图模型；根据改进二元决策图模型可以比较直观的得到最小割集。本发明的有益效果是：能够有效解决求解最小割集存在的组合爆炸和NP问题。

主权项

1.一种基于Petri网与改进二元决策图模型的最小割集求解方法，该分析方法是在故障树分析方法基础上，提出基于Petri网与改进二元决策图模型的最小割集求解方法，其特征是，该分析方法包括以下步骤：步骤1)依据故障事件，建立故障树模型；步骤2)依据步骤1)中的故障树模型，建立Petri网模型；步骤3)依据步骤2)中的Petri网模型，计算顶层事件的布尔逻辑关系式为：G1＝a+b*(c+d+e)  (1)或Y＝[a+b*(c+d)]*[e+f*(g+h)]  (2)其中，式(1)中的G1为故障树顶层事件，a、b、c、d、e分别表示故障树底层事件；式(2)中的Y为故障树顶层事件，a、b、c、d、e、f、g、h分别表示故障树底层事件；步骤4)所述步骤3)中的式(2)是比较复杂时的布尔逻辑表达式，对布尔逻辑表达式进行分解，分解得到的布尔逻辑关系式为：Y1＝a+b*(c+d)；Y2＝e+f*(g+h)  (3)其中Y1、Y2为故障树中间事件；步骤5)将步骤4)分解的布尔逻辑表达式转换成改进二元决策图模型，根据式(1)至(3)计算系统的最小割集：G1的最小割集分别是：一阶最小割集{a}；二阶最小割集{b，c}、{b，d}、{b，e}；Y的最小割集分别是：二阶最小割集{a，e}；三阶最小割集{a，f，g}、{a，f，h}、{b，c，e}、{b，d，e}；四阶最小割集{b，c，f，g}、{b，c，f，h}、{b，d，f，g}、{b，d，f，h}。