1. 生成简化故障树

  初始故障树搭建完成后先生成规范故障树，再点击"简化故障树"，系统按简化规则生成简化故障树。



2. 刷新简化故障树

  再次编辑初始故障树后，需要先刷新规范故障树，再刷新简化故障树来获取最新的数据。


*转化过程


（1）列出规范故障树的结构式


  与门用乘号连接，或门用加号连接，从顶事件开始分解到基本事件。


  如：G001=M001+M002

                    =(B001+B002)+(B003*B002)

                   




（2）用布尔代数法化简结构式


  结合律：(a+b)+c=a+(b+c) ，(a·b)·c=a·(b·c)
  交换律：a+b=b+a， a·b=b·a
  分配律：a·(b+c)=(a·b)+(a·c)，（a+b）·c=(a·c)+(b·c)

  吸收律：a+a·b=a， a·(a+b)=a
  幂等律：a+a=a， a·a=a

  上图结构式可化简为：

   (B001+B002)+(B003*B002)=B001+B002


最小割集为(B001)，(B002)


（3）化简后的最小割集中每一项作为基本事件生成简化故障树


如最小割集中存在多个事件的并集，如（B001,B002,B003），则用与门连接显示在简化故障树中。

Created with the Personal Edition of HelpNDoc: Free HTML Help documentation generator