基于有向图故障树自动建树方法的规范化描述及其应用研究

被引:9
作者
钱彦岭
邱静
温熙森
机构
[1] 国防科技大学机电工程研究所,国防科技大学机电工程研究所,国防科技大学机电工程研究所长沙,长沙,长沙
关键词
故障树自动建树; 多值逻辑; 约束满足问题;
D O I
10.16383/j.aas.2003.05.018
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
基于有向图的建树方法是目前故障树自动建树研究中最常用的方法之一 ,但其有效性多年来一直存在争议 ,其主要原因在于采用传统的专家定义的算子进行建树推理时 ,算子定义不规范 ,导致对系统复杂的控制结构适应能力不强 .该文利用人工智能的原理 ,对定性推理逻辑进行了必要的扩展 ,提出了建树过程的形式化描述 ,在此基础上将故障树的建树问题转化为一个约束满足问题 (CSP) ,从而可利用比较成熟的算法来解决上述问题 .针对实际问题的例证说明了这一过程 .研究表明 ,文中所提出的方法更便于计算机自动处理 ,减少建树过程中的人为失误 ,可有效地提高故障分析效率 .
引用
收藏
页码:767 / 772
页数:6
相关论文
共 14 条
[1]  
Testability and Fault Diagnostic Technology for Electronic Equipment. Zen Tian-Xiang. . 1996
[2]  
Application of the digraph method of fault tree construction to a complex control configuration. Andrews J D,Brennan G. Reliability Engineering and System Safety . 1990
[3]  
Algorithms for constraint satisfaction problem: A survey. Kumar V. The AI Magazine . 1992
[4]  
Fault Diagnosis and Fault-tolerant Control for Control System. Wen Xin,Zhang Hong-Yue,Zhou Lu. . 1998
[5]  
Reliability Analysis and Design. Lu Ting-Xiao,Zheng Peng-Zhou. . 1995
[6]  
Theory and Techniques for Fuzzy Knowledge Processing(2nd Edition). He Xin-Gui. . 1998
[7]  
Computer assisted fault tree construction: A review of methods and concerns. Carpignano A,Poucet A. Reliability Engineering and System Safety . 1994
[8]  
A new methodology of automatic construction of fault trees for control systems. Jian Zhi-Min,Hu Dong-Cheng,Tong Shi-Bai. Acta Automatica Sinica . 1997
[9]  
Difficulties in fault tree synthesis for process plant. Andow P K. IEEE Transactions on Reliability . 1980
[10]  
Computer-aided fault tree synthesis I——System modeling and casual trees. Bossche A. Reliability Engineering and System Safety . 1991