真空干燥作业燃爆事故树分析的最小割集求取方法

摘要

本发明涉及事故树分析领域，特别是在真空干燥作业燃爆事故树分析中一种基于后序遍历事故树的最小割集求取方法。具体包括如下步骤：首先构建真空干燥作业的燃爆事故树，并明确树结构中各个结点的逻辑门、父结点和所有子结点；然后基于后序遍历，按照从左到右、自底向上依次不重复访问树中所有结点；当访问到子树的根节点时，根据当前根节点的逻辑门进行布尔代数运算律的集合变换，以便在计算机中实现布尔代数的符号运算化简；最后实现基于后序遍历事故树求取燃爆事故树的最小割集。已使用Java语言面向对象编程在计算机中实现了该算法。本发明具有分析计算过程通俗易懂、运行速度快、分析结果准确等优点。