零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡......

故障树是分析航天系统安全性的一种常用方法,故障树分析包括定性分析与定量分析两个部分,定性分析即最小割集计算,是故障树研究的......

零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡......

研究微阵列数据中挖掘Top—k频繁闭合项集问题，并设计挖掘算法ZDtoP。算法采用ZBDD结构压缩存储数据集，使用自顶向下深度优先搜索策......

概率风险评价方法是针对核工业、航空航天、化工等领域提出来的定性与定量相结合的系统分析方法,它能够有效的分析系统的潜在危险,......