基于最小割集的计算机辅助安全性分析系统

论述了所设计的计算机辅助故障树安全分析系统的功能及程序结构与设计原理.分析系统由编辑生成、分析计算、诊断输出和数据库四个模块组成,使得故障树的生成与分析非常直观而简便,只需用鼠标在屏幕上绘制出故障树图,系统就能自动识别并进行定性与定量分析.最后,以具体实例的形式给出了某导弹在发射筒中自毁故障树的定性和定量分析的结果.