主要功能:静态故障树建模、动态故障树建模、定性分析、定量分析和仿真。 逻辑门类型:与门、或门、非门、异或门、顺序相关门、禁门、表决门、相同转移门、相似转移门、优先与门、顺序相关门、功能相关门、冷备件门、温备件门、热备件门
1