AutoFTA(故障树建模与分析软件)

AutoFTA是一款好用的故障树建模与分析软件，它采用了图形化拖拽的方式建立系统故障树，支持或门、与门、非门、表决门等8种常用的逻辑门，具备最小割集分析、事件发生概率分析、底事件或条件事件重要度分析等功能，可满足工程实际进行故障树分析的需求。

基本介绍

autofta是一款故障树建模与分析软件，采用图形化拖拽方式建立系统故障树，支持或门、与门、非门、表决门等8种常用的逻辑门，autofta的图形和分析结果都可以输出图片。

通过从故障开始来你想模拟逻辑电路，并且使用形象生动的图形来进行展示，为你提供一个丰富的功能。软件中的功能很多，可以帮助你进行更加方便的体验。

AutoFTA是一款故障树建模与分析软件。AutoFTA采用了图形化拖拽的方式建立系统故障树，支持或门、与门、非门、表决门等8种常用的逻辑门，具备最小割集分析、事件发生概率分析、底事件或条件事件重要度分析等功能，集成精确概率分析和蒙特卡罗仿真两种算法，并以表格或图形等方式显示分析结果，将故障树建模、分析运算、结果显示都集成在一个图形化集成平台上，可满足工程实际进行故障树分析的需求。

软件功能

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

2、现代化的软件操作界面，类似office的交互操作方式简单易用

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

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

软件特色

1、蒙特卡罗仿真分析

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

2、定性分析

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

3、故障树建模

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

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

4、定量分析

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

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

更新内容

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

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

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

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