大型故障树分析算法研究与系统设计.pdfVIP

摘 要 摘要 大型故障树分析软件是核电站概率安全分析的核心工具，是核电站设计、运 行、维修和管理必不可少的基本分析工具。发展具有自主知识产权的大型故障树 分析工具是我国核电安全与高速发展的必然需要。 大型故障树分析软件研制的难点主要在于其分析计算量非常巨大，且随故障 树规模的增长而成指数增加。如何在有限的计算机资源内快速获得分析计算的结 果，一直是研究人员重点关注的问题。本文重点研究了解决此问题所涉及到的关 键算法：(1)在数据存储方面，提出了页式存储的数据结构来存储故障树，并采 用ZBDD来存储最小割集；(2)在故障树结构优化方面，基于FAUNET提出了 一条吸收化简规则，可以进一步简化故障树，并改进了Dutuit．Rauzy线性模块化 算法：(3)在定性分析方面，基于ZBDD提出了一种基本事件排序方法和割集 截断策略，以减少存储空间的消耗，提高定性分析的效率；(4)在定量分析方面， 提出了不展开ZBDD模块直接进行顶事件概率计算的方法，以减少顶事件概率 计算的不确定性。并针对这些方法，研究开发了一套完整高效的基于ZBDD的 大型故障树分析算法。同时通过大量的实际例题测试与校核，证明了这些算法的 正确性和有效性。 本文还设计了RiskA．FTA软件系统的总体构架模式，即数据抽象模式、层 次化模式和Mediator设计模式的混合模式，使得系统能够达到可靠性高、可扩 展性强、易于维护和升级等设计要求，较大地提高了开发效率和软件质量。大量 实际例题对RiskA．FTA系统进行的反复测试，结果表明其功能和性能达到了设 计目标。具有自主知识产权的大型故障树分析软件RiskA—FTA的成功研发不仅 可以满足我国快速发展的核电工业概率安全分析的需要，也可为其他相关软件的 发展提供技术平台和有益借鉴。 关键词：大型故障树：二元决策图；最小割集；顶事件概率；系统构架 ·本论文丁作得到中国科学院合肥物质科学研究院院长基金项目的支持。 l ABsTRACT Abstract Scienceand PingLIU(Major：NuclearEngineering) DirectedProf．Yican、VU by all methodboth the andthe The Assessment(PSA)isanalysis used for design ProbabilitySafety ofanuclear to andtO situationand identifyanalyzepossible sequence operation powerplant every resultinsevere the ofnuclear ofeventsthat power might consequences．、Mthrapiddevelopment stationsin effectivesoftwarewith intellectual is China,developing independent propertyrights moreandmore becoming important． in the faulttree softwareisthat The