计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
21期
51-54
,共4页
段珊%张修如%刘树锟%王金娟
段珊%張脩如%劉樹錕%王金娟
단산%장수여%류수곤%왕금연
故障树%二元决策树%排序%置换
故障樹%二元決策樹%排序%置換
고장수%이원결책수%배서%치환
fault tree%Binary Decision Diagram(BDD)%sort%replacement
针对故障树分析的关键技术-排序和置换,提出一种基于BDD的快速有效的(LNPC)方法.该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数.算法分析与实验结果表明该方法对不同的故障树转化是有效的.
針對故障樹分析的關鍵技術-排序和置換,提齣一種基于BDD的快速有效的(LNPC)方法.該方法採用製定的排序和置換策略直接完成子事件的排序與門事件的置換,一次性完成故障樹到BDD的轉化和優化,增加瞭穫取最小規模BDD的排序機會,同時降低瞭BDD的存儲空間且不需要先寫齣故障樹的佈爾函數.算法分析與實驗結果錶明該方法對不同的故障樹轉化是有效的.
침대고장수분석적관건기술-배서화치환,제출일충기우BDD적쾌속유효적(LNPC)방법.해방법채용제정적배서화치환책략직접완성자사건적배서여문사건적치환,일차성완성고장수도BDD적전화화우화,증가료획취최소규모BDD적배서궤회,동시강저료BDD적존저공간차불수요선사출고장수적포이함수.산법분석여실험결과표명해방법대불동적고장수전화시유효적.
Aiming at the key technology of fault tree analysis,sort and replacement.An effective method,LNPC is provided.This method uses the sort and the replacement strategy to complete the replacement of incident and the sort,and transform the fault tree to BDD.This method can enhance the chance of obtaining smallest size of the BDD,and reduce the storage space of BDD while the fault tree Boolean function doesn't need to write in advance.The analysis and experimental results show that this method is effective to defferent fault tree transform.
