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

Computer Assisted Analysis System of Fault Tree based on Smallest Cutset

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

A analysis system of fault-tree is developed. Its functions, program structure and programming principle are described. The system is composed of four modules, generation of fault-tree, analysis and calculation of fault-tree, files output and database. The system makes the generation and analysis of the fault-＇tree very simple and convenient,and totally visualized. The only thing needs to do is to draw the picture of fault-tree on them on it or by the mouse. The system could automatically recognize the picture of the fault-tree, and analyze both qualitatively and quantitatively. Finally , a application example of the missileis given. And the system can analyze both qualitatively and quantitatively of the fault tree.