论文部分内容阅读
本文介绍一款概率安全评价计算引擎的研发。该引擎运用先进的二元决策图／零压缩二元决策图（BDD／ZBDD）算法进行故障树的求解：首先将故障树规范化。然后将规范化的故障树结构转换为BDD/ZBDD结构，最后求解定量化结果及最小割集结果。引擎还具有重要度和敏感性分析（包括RAW／RRW／FV／FC重要度指标）以及不确定性分析（包括参数抽样和事件抽样）的功能。经测试，引擎能够求解大规模高复杂度的故障树模型，在较短的时间内得到较为精确的定量化和最小割集结果，以及准确的重要度敏感性和不确定性分析结果。