[发明专利]基于三元决策图的容错系统通用分析方法

权利要求书

1.基于三元决策图的容错系统通用分析方法，其特征在于：包括如下步骤：

1)构建基于系统的故障树布尔表达式模型f，其中包括n个系统组件x_i，i、n为自然数，且i＝1～n；

2)构建所述每个系统组件x_i的最小无关触发布尔表达式G(x_i)；

3)构建所述最小无关触发布尔表达式G(x_i)的二元决策图；

4)根据所述二元决策图计算每个系统组件x_i的无关触发布尔表达式的最小蕴含式PI(x_i)；

5)构建故障树布尔表达式模型f的最小割集

6)根据所述系统组件x_i的无关触发布尔表达式的最小蕴含式PI(x_i)和最小割集求每个系统组件x_i发生故障时导致的无关组件为系统组件x_i发生覆盖故障,；

7)将所述步骤6)的结果代入系统无关性覆盖模型ICM，得到无关性覆盖表达式f_icm；

8)根据所述无关性覆盖表达式构建三元决策图，并根据所述三元决策图对系统做定性与定量分析。

2.根据权利要求1所述的基于三元决策图的容错系统通用分析方法，其特征在于：所述步骤6)中系统组件x_i发生故障时导致出现的系统无关组件的计算方法为从所述系统组件x_i的无关触发布尔表达式的最小蕴含式PI(x_i)中去除与所述最小割集中相同的元素，并去除含非式子，得到系统组件x_i发生故障时导致出现的系统无关组件

3.根据权利要求1所述的基于三元决策图的容错系统通用分析方法，其特征在于：所述系统无关性覆盖模型为

其中f_icm为系统无关性覆盖表达式，最小割集)，为系统组件x_i发生覆盖故障,x_i为系统组件x_i发生未覆盖的故障。

4.根据权利要求3所述的基于三元决策图的容错系统通用分析方法，其特征在于：所述系统无关性覆盖模型ICM的构建方法为：

71)取系统表达式f的最小割集

72)取由系统组件x_i发生覆盖故障导致的无关性组件

73)对所述步骤72)的结果做取非操作得到非无关组件

74)取系统组件x_i未覆盖故障的概率x_i和所述步骤73)中非无关组件的合取式

75)取整个系统中所有组件的析取式

76)将所述步骤71)的结果与步骤75)的结果析取即为无关性覆盖模型表达式

5.根据权利要求1所述的基于三元决策图的容错系统通用分析方法，其特征在于：优选地，所述步骤8)中构建三元决策图的方法如下：

81)确定三元决策图的三个逻辑分支依次代表：无故障的状态、发生覆盖失效状态和发生未覆盖的失效状态；

82)确定三元决策图有三个基本事件分别对应无关性覆盖模型表达式的三种状态：覆盖故障，未覆盖故障和非覆盖故障；

83)对三元决策图的故障树做深度优先搜索，得到故障树结点的排列顺序并从左到右赋索引值0，1，2....n，根据索引值合并三元决策图。

6.根据权利要求5所述的基于三元决策图的容错系统通用分析方法，其特征在于：所述步骤83)中合并三元决策图的规则为普通布尔与或运算。