用递归BDD技术分析故障树

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

用递归BDD技术分析故障树

罗航, 王厚军, 黄建国, 龙兵

文章导航 > 电子科技大学学报 > 2011 > 40(5): 726-731

罗航, 王厚军, 黄建国, 龙兵. 用递归BDD技术分析故障树[J]. 电子科技大学学报, 2011, 40(5): 726-731.

引用本文:

罗航, 王厚军, 黄建国, 龙兵. 用递归BDD技术分析故障树[J]. 电子科技大学学报, 2011, 40(5): 726-731.

LUO Hang, WANG Hou-jun, HUANG Jian-guo, LONG Bing. Analyzing Fault Tree by Using Method of Recursive BDD Technique[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(5): 726-731.

Citation:

LUO Hang, WANG Hou-jun, HUANG Jian-guo, LONG Bing. Analyzing Fault Tree by Using Method of Recursive BDD Technique[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(5): 726-731.

用递归BDD技术分析故障树

1.
四川大学测量控制系成都 610065;
2.
电子科技大学自动化工程学院成都 611731

基金项目:

部级基础科研项目;部级预研基金

作者简介:
罗航(1972-)，男，博士，主要从事测量控制、故障诊断和可靠性预测方面的研究

中图分类号: TP202⁺.1

Analyzing Fault Tree by Using Method of Recursive BDD Technique

1.
Measurement and Control Department,Sichuan University Chengdu 610065;
2.
School of Automation Engineering,University of Electronic Science and Technology of China Chengdu 611731

摘要: 研究了二元决策图(BDD)技术在故障树分析中的具体运用。针对传统故障树分析方法只能得到顶事件的割集而常规不交化割集策略又太过烦琐的弊端，以同时实现故障树顶事件的结构函数及其不交化割集的形式为要求，分析了BDD技术的原理和方法。在用递归方法实现顶事件BDD的基础上，提出了用继承技术自动实现不交化割集。在具体的例证中验证了BDD技术优于传统故障树分析的原因。
- 二元决策图 /
- 故障树 /
- 继承 /
- 不交化割集 /
- 递归
Abstract: In this paper, the practical application of BDD (Binary Decision Diagram, BDD) technique in fault tree analysis is studied. Because there are some disadvantages that the fault tree analysis with traditional method could only get cut-sets of top event, and normal non-intersection strategy was too cumbersome, the principles and method of BDD technique are analyzed. On the basis of researching BDD structure of top-event with recursive technique, a key technique, i.e., inherit technique, is put forward and used to form non-intersection cut-sets. Finally, an example is given to interpret the reasons why the BDD technique is superior to method of traditional fault tree analysis.
- binary decision diagram /
- fault tree /
- inherit /
- non-intersection cut-set /
- recursion

[1]	陈超. 改进CS算法结合决策树的云工作流调度 . 电子科技大学学报, 2016, 45(6): 974-980. doi: 10.3969/j.issn.1001-0548.2016.06.017
[2]	何晓霜, 瞿孟虹, 游凌. 同频混合信号参数联合最大似然递归估计 . 电子科技大学学报, 2015, 44(3): 339-343. doi: 10.3969/j.issn.1001-0548.2015.03.004
[3]	李文生, 罗仁泽, 邓春健. 基于二叉扫描树的电调天线设备扫描算法 . 电子科技大学学报, 2013, 42(4): 597-602. doi: 10.3969/j.issn.1001-0548.2013.04.013
[4]	李胜强, 陈智雄, 周亮. 椭圆曲线上的二元门限序列的构造 . 电子科技大学学报, 2012, 41(5): 671-677. doi: 10.3969/j.issn.1001-0548.2012.05.006
[5]	宋国明, 王厚军, 姜书艳, 刘红. 最小生成树SVM的模拟电路故障诊断方法 . 电子科技大学学报, 2012, 41(3): 412-417. doi: 10.3969/j.issn.1001-0548.2012.03.018
[6]	罗航, 廖俊必, 王厚军, 黄建国, 龙兵. 实现最优BDD结构的联合改进方法 . 电子科技大学学报, 2012, 41(1): 48-53. doi: 10.3969/j.issn.1001-0548.2011.04.010
[7]	周伟, 蒲晓蓉, 屈鸿. LT递归神经网络求解旅行商问题研究 . 电子科技大学学报, 2011, 40(4): 592-595.
[8]	王宏伟, 赵国庆, 王玉军, 鲍丹, 朱燕. 基于受控递归算法的时频分析 . 电子科技大学学报, 2011, 40(5): 697-702. doi: 10.3969/j.issn.1001-0548.2011.05.012
[9]	廖剑伟, 蔡洪斌, 熊海灵, 陈善雄. 二元位运算P2P系统复制技术的研究 . 电子科技大学学报, 2009, 38(3): 406-409. doi: 10.3969/j.issn.1001-0548.2009.03.021
[10]	张靖, 姚珍, 唐雪飞. 基于决策树的不完整数据的处理 . 电子科技大学学报, 2007, 36(1): 116-118.
[11]	陈光宇, 黄锡滋, 唐小我. 故障树模块化分析系统可靠性 . 电子科技大学学报, 2006, 35(6): 989-992.
[12]	马志新, 徐德启, 杜伟杰. 面向对象软件度量C&K方法的研究与改进 . 电子科技大学学报, 2006, 35(3): 396-398.
[13]	陈客松, 何子述, 韩春林. 稀疏线阵阵列结构的枚举算法 . 电子科技大学学报, 2006, 35(2): 189-192.
[14]	陈文宇, 许鸿川. 利用数据库处理多个对象间的关系 . 电子科技大学学报, 2002, 31(3): 270-274.
[15]	陈运, 龚耀寰. 基于二进制冗余数的递归余数和算法 . 电子科技大学学报, 2000, 29(1): 1-4.
[16]	李翔宇, 陈光. 二元判决图的实现及改进方法 . 电子科技大学学报, 1999, 28(5): 516-519.
[17]	李翔宇, 陈光. 二元判决图变量排序新方法 . 电子科技大学学报, 1999, 28(2): 152-156.
[18]	代俊光, 陈光. 面向对象技术及其在VXI系统中的应用 . 电子科技大学学报, 1998, 27(4): 431-435.
[19]	章小兵, 王勇, 陈光. 基于自由二元判决图转换的可测性优化方法 . 电子科技大学学报, 1997, 26(2): 171-174.
[20]	章小兵, 陈光. 二元判决图应用中函数组合方法的改进 . 电子科技大学学报, 1997, 26(1): 55-58.

WeChat

点击查看大图

计量

文章访问数: 4599
HTML全文浏览量: 112
PDF下载量: 48
被引次数: 0

用递归BDD技术分析故障树

1. 四川大学测量控制系成都 610065;

2. 电子科技大学自动化工程学院成都 611731

基金项目:

部级基础科研项目;部级预研基金

作者简介:
罗航(1972-)，男，博士，主要从事测量控制、故障诊断和可靠性预测方面的研究

收稿日期: 2009-06-25
修回日期: 2009-11-02
刊出日期: 2011-10-15

中图分类号: TP202⁺.1

关键词:

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

English Abstract

罗航, 王厚军, 黄建国, 龙兵. 用递归BDD技术分析故障树[J]. 电子科技大学学报, 2011, 40(5): 726-731.

引用本文:

罗航, 王厚军, 黄建国, 龙兵. 用递归BDD技术分析故障树[J]. 电子科技大学学报, 2011, 40(5): 726-731.

LUO Hang, WANG Hou-jun, HUANG Jian-guo, LONG Bing. Analyzing Fault Tree by Using Method of Recursive BDD Technique[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(5): 726-731.

Citation:

LUO Hang, WANG Hou-jun, HUANG Jian-guo, LONG Bing. Analyzing Fault Tree by Using Method of Recursive BDD Technique[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(5): 726-731.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发