摘要：针对过程控制系统故障树建模问题提出了一种以步进方式求结构函数的判定表法。采取以事件为条件桩、0和1为条件项的二态判定表的方式,列举各事件所有可能的状态组合,根据每种情况下部件的相互作用演绎输出事件,然后对具有相同输出事件的事件序列求并集以排除重复事件和不相关事件,得到约简的结构函数。通过对硝酸冷却系统建模的验证,用这种方法建树的结果与原文的结果是一致的。

关键词：判定表 故障树 功能流 结构函数 故障传播 

单位：西北工业大学航空学院 陕西西安710072