AutoFTA是一款国人开发的故障树绘制与分析软件。AutoFTA采用了图形化拖拽的方式建立系统故障树,支持或门、与门、非门、表决门等8种常用的逻辑门,具备最小割集分析、事件发生概率分析、底事件或条件事件重要度分析等功能,集成精确概率分析和蒙特卡罗仿真两种算法,并以表格或图形等方式显示分析结果,将故障树建模、分析运算、结果显示都集成在一个图形化集成平台上,可满足工程实际进行故障树分析的需求。 1.2版集优化了定量分析算法的内存占用和计算效率,大幅提高了分析大型故障树的能力: 1采用共享节点的储存方法,减少了内存占用。 2优化了二元决策图算法的展开次序,减少了BDD规模提高了效率 3采用故障树模块化分解策略优化了定量分析算法,提高了精确计算大型故障树的能力 4去除部分布尔吸收率运算,提高了计算效率