AutoFTA1.2

AutoFTA功能特色

      (1)故障树建模

      支持与门、或门、非门、表决门、异或门、顺序与门、禁门、转移门8种逻辑门，支持中间事件的独立子树分析功能，便于实现复杂故障树的模块化分解。

      故障树图形的自定义功能，如图形尺寸、颜色设置、文字属性、自动化对齐等，支持子树的复制粘贴。

      (2)定性分析

      分析故障树的最小割集，如果底事件和条件事件输入了发生概率，则自动计算各最小割集的发生概率，为制定故障诊断次序提供参考。

      (3)定量分析

      支持二元决策图法和不交化算法两种定量算法，分析顶事件和中间事件的发生概率，底事件或条件事件的结构重要度、概率重要度和相对概率重要度。

      定量分析支持重新输入底事件或条件事件的发生概率，而不用更改故障树，保证其良好的可重用性。

      (4)蒙特卡罗仿真分析

      针对超大型故障树难以采用精确算法的情况，利用蒙特卡罗仿真分析顶事件和中间事件的发生概率。

AutoFTA技术特点

      (1)图形化的故障树建模功能，支持建立多个故障树进行分析对比

      (2)一体化的数据管理和操作平台，故障树图形和分析结果都可以输出图片

      (3)自动化的概率分析功能，后台自动进行故障树的规范化和简化

      (4)现代化的软件操作界面，类似Office的交互操作方式简单易用

AutoFTA更新日志

      AutoFTA 1.2版集中优化了定量分析算法的内存占用和计算效率，大幅提高了分析大型故障树的能力：

      1采用共享节点的储存方法，减少了内存占用

      2优化了二元决策图算法的展开次序，减少了BDD规模提高了效率

      3采用故障树模块化分解策略优化了定量分析算法，提高了精确计算大型故障树的能力

      4去除部分布尔吸收率运算，提高了计算效率