用递归BDD技术分析故障树

• 作者: 王厚军 罗航 黄建国 龙兵
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 二元决策图 故障树 继承 不交化割集 递归
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 自动化技术
• 页码范围: 726-731
• 分类号: TP202+.1
• 字数: 4865字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2011.05.018

摘要

研究了二元决策图(BDD)技术在故障树分析中的具体运用.针对传统故障树分析方法只能得到顶事件的割集而常规不交化割集策略又太过烦琐的弊端,以同时实现故障树顶事件的结构函数及其不交化割集的形式为要求,分析了BDD技术的原理和方法.在用递归方法实现顶事件BDD的基础上,提出了用继承技术自动实现不交化割集.在具体的例证中验证了BDD技术优于传统故障树分析的原因.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄建国	电子科技大学自动化工程学院	94	689	13.0	23.0
2	王厚军	电子科技大学自动化工程学院	257	2532	27.0	36.0
3	龙兵	电子科技大学自动化工程学院	69	1038	19.0	28.0
4	罗航	四川大学测量控制系	8	51	4.0	7.0