计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (21): 51-54.DOI: 10.3778/j.issn.1002-8331.2009.21.013
段 珊1,张修如2,刘树锟1,王金娟1
DUAN Shan1,ZHANG Xiu-ru2,LIU Shu-kun1,WANG Jin-juan1
摘要: 针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的(LNPC)方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数。算法分析与实验结果表明该方法对不同的故障树转化是有效的。