[发明专利]一种基于故障树的故障诊断方法和装置

权利要求书

1.一种基于故障树的故障诊断方法，其特征在于，包括：

建立故障树，将所述故障树以逻辑门为单位分解为各小单元；

将各所述小单元均通过相对应的逻辑门规则分别生成一具体规则，根据得到的所有所述具体规则建立规则库；

根据已知的数据和事实建立事实库，根据所述规则库和所述事实库进行正向推理和/或反向推理，得到诊断结果；

其中，所述根据所述规则库和所述事实库进行正向推理和/或反向推理包括：

对所述规则库进行正向推理，得到包括新的事实的新的事实库，和/或包括新的可能事实的第一临时事实库；

若所述新的事实库存在冲突，且所述第一临时事实库不为空，则对所述第一临时事实库进行反向推理，通过反向推理确认各所述新的可能事实是否为真，将反向推理确认为真的新的可能事实加入所述新的事实库中，生成最终事实库；

其中，对所述规则库进行正向推理包括：

获取所述规则库中正向当前具体规则，通过当前事实库中所有事实判断所述正向当前具体规则中if子句是否成立；

若成立，则判断所述正向当前具体规则中then子句是否成立；

若是，则将所述正向当前具体规则的结论作为新的事实，加入所述当前事实库中，得到下一事实库；

若否，则将所述正向当前具体规则的结论作为新的可能事实，加入第一临时事实库中，将所述当前事实库作为下一事实库；

获取所述规则库中正向下一具体规则，通过所述下一事实库中所有事实判断所述正向下一具体规则中if子句是否成立，直至所述规则库中所有具体规则均被获取。

2.根据权利要求1所述的故障诊断方法，其特征在于，所述对所述第一临时事实库进行反向推理，通过反向推理确认各所述新的可能事实是否为真，将通过反向推理确认为真的新的可能事实加入所述新的事实库中包括：

获取第一临时事实库中当前可能事实，和所述规则库中反向当前具体规则，通过所述当前可能事实判断所述反向当前具体规则中if子句是否成立；

若成立，则判断所述反向当前具体规则中then子句是否成立，若是，则将所述反向当前具体规则的结论加入第二临时事实库中，获取所述规则库中反向下一具体规则，直至所述规则库中所有具体规则均被获取；

判断所述第二临时事实库是否存在冲突，若存在，则确定所述当前可能事实为真，将所述当前可能事实加入所述新的事实库中，获取第一临时事实库中下一可能事实，直至所述第一临时事实库中所有可能事实均被获取。

3.根据权利要求1所述的故障诊断方法，其特征在于，所述建立故障树后还包括：对所述故障树进行规范化处理，得到规范化故障树，将所述规范化故障树以逻辑门为单位分解为各小单元。

4.根据权利要求1所述的故障诊断方法，其特征在于，通过Drool引擎根据已知的数据和事实建立事实库，根据所述规则库和事实库进行正向推理和/或反向推理，得到诊断结果。