概率安全分析平台NFRisk设计与验证

The design and verification of probabilistic safety analysis platform NFRisk

为了提高国内在概率安全分析领域的技术能力,研发概率安全分析软件自主化和国产化的方法变得十分迫切和重要。概率安全分析平台NFRisk在遵循结构简化—模块化—割集生成—割集最小化的思路下,自主开发设计了结构化简,模块化,故障树向二元决策图的转换,割集求解以及割集最小化等算法,独立完成了概率安全分析平台NFRisk的管理设计,核心算法联合设计,同时独立完成了基于三类典型故障树的NFRisk平台的验证。

To increase the technical ability in Probabilistic Safety Analysis（PSA） field in China,it is necessary and important to study and develop indigenous professional PSA platform.Following such principle as ＂from structure simplification to modulization to production of cut sets to minimum of cut sets＂,the algorithms,including simplification algorithm,modulization algorithm,the algorithm of conversion from fault tree to binary decision diagram（BDD）,the solving algorithm of cut sets,the minimum algorithm of cut sets,and so on,were designed and developed independently;the design of data management and operation platform was completed all alone;the verification and validation of NFRisk platform based on 3 typical fault trees was finished on our own.