计算机应用 ›› 2011, Vol. 31 ›› Issue (11): 3143-3148.DOI: 10.3724/SP.J.1087.2011.03143

• 典型应用 • 上一篇    下一篇

实现非单调关联故障树PIS的联合技术

罗泽林1,任强2,罗航3   

  1. 1. 成都农业科技职业学院 教务处,四川 温江 611130
    2. 成都农业科技职业学院 机电分院,四川 温江 611130
    3. 电子科技大学 自动化工程学院, 成都 611731
  • 收稿日期:2011-04-08 修回日期:2011-06-06 发布日期:2011-11-16 出版日期:2011-11-01
  • 通讯作者: 罗航
  • 作者简介:罗泽林(1972-),男,四川武胜人,讲师,主要研究方向:电路与系统;
    任强(1970-),女,四川雷波人,讲师,主要研究方向:计算机网络;
    罗航(1972-),男,四川射洪人,讲师,博士研究生,主要研究方向:测量控制、故障诊断、可靠性。

Joint method of realizing PIS of non-monotonic coherent fault tree

LUO Ze-lin1,REN Qiang2,LUO Hang3   

  1. 1. Department of Education, Chengdu Vocational College of Agricultural Science and Technology, Wenjiang Sichuan 611130, China
    2. Institute of Mechanical and Electrical, Chengdu Vocational College of Agricultural Science and Technology, Wenjiang Sichuan 611130, China
    3. School of Automation Engineering, University of Electronic Science and Technology of China, Chengdu Sichuan 611731, China
  • Received:2011-04-08 Revised:2011-06-06 Online:2011-11-16 Published:2011-11-01
  • Contact: LUO Hang

摘要: 采用“非正规”二元决策图(BDD)技术获取最小形割集 (MCS)可能存在掩盖非单调底事件作用的弊端”。以“继承”关键技术为基础,提出了用统一编码的“正规”BDD技术来获取非单调关联故障树的MCS。结合Q-M算法,研究了联合获取非单调关联故障树的质蕴涵集(PIS)的完整过程。实际例证表明,所述方法不但能够准确地析出非单调关联故障树的MCS,而且能够自动地获取其PIS。

关键词: 故障树, 质蕴含集, 非单调, 二元决策图, 继承, 合并

Abstract: The function of non-monotonic coherent bottoms may be covered if getting Minimum Cut Set (MCS) of non-monotonic coherent fault tree with "non-normal" Binary Decision Diagram BDD (BDD) technique. In this paper, a sort of normal BDD technique with the form of uniform code was put forward to conveniently get MCS of non-coherent fault, which was based on inherit technique. Then, the whole process of getting Prime Implicants Set (PIS) of non-monotonic coherent fault was researched by means of combining with Q-M algorithm. The practical example shows that the method can not only accurately get MCS of non-monotonic coherent fault tree, but also automatically gain its PIS.

Key words: fault tree, Prime Implicants Set (PIS), non-monotonic, binary decision diagram, inherit, combination