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

摘要：

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

关键词： 故障树分析 二元决策树 事件排序 置换策略

作者: 段珊 张修如 刘树锟 王金娟

作者单位: 湖南涉外经济学院,计算机学部,长沙,410013 中南大学,信息科学与工程学院,长沙,410083

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 51-54

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）