一种故障树向BDD的转化方法

• 作者: 刘树锟 张修如 段珊 王金娟
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 故障树 二元决策树 排序 置换
• 年，卷（期）: 2009,（21）
• 所属期刊栏目: 研究、探讨
• 页码范围: 51-54
• 页数: 4页
• 分类号: TP301
• 字数: 4774字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.21.013

摘要

针对故障树分析的关键技术-排序和置换,提出一种基于BDD的快速有效的(LNPC)方法.该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数.算法分析与实验结果表明该方法对不同的故障树转化是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张修如	中南大学信息科学与工程学院	41	332	9.0	17.0
2	刘树锟	湖南涉外经济学院计算机学部	15	50	3.0	6.0
3	王金娟	湖南涉外经济学院计算机学部	14	24	2.0	4.0
4	段珊	湖南涉外经济学院计算机学部	12	16	2.0	4.0