版本说明《重要提示》：












        静态基础版仅能够分析包含与门及或门的模型（与门+或门）；












        静态完整版能够分析包含任意静态门的模型（静态门）；












        完整版分析能力不受限制(静态门+动态门)

一 主要特点

























1 支持模型元素全面，分析内容丰富

























        talfta既支持GJB768A中定义的全部事件类型以及全部逻辑门类型，又支持全部动态逻辑门。能够进行静态故障树分析，也能够进行动态故障树分析。分析内容包括定性分析、定量分析以及故障树仿真等故障树分析的核心内容。定性分析既包括最小割集的提取，也包括针对动态故障树的最小割序集的提取。故障树仿真除了包括故障发生概率仿真、概率重要度仿真、相对概率重要度仿真等内容之外，还包括无故障时间仿真以及不可靠度曲线仿真。



















































2 准确高效，适用性强

























（1）talfta既支持单棵大型复杂故障树的建模及分析，也支持经由“子树”节点关联起来的多颗关联故障树的建模以及相应的一次性分析;

























（2）既支持以故障发生概率为数据基础的故障树分析，也支持以故障率为数据基础的故障树分析;

























（3）支持对包含指数分布函数、正态分布函数等多种寿命分布函数的部件构成的故障树进行故障树分析；

























（4）支持对复杂故障树进行海量仿真次数的蒙特卡洛仿真;

























（5）支持包含小概率事件的故障树的计算及仿真;

























这些能力使得应用talfta进行故障树建模、分析、计算及仿真几乎没有限制。

























（6）talfta应用了业界成熟理论及方法，在最小割集获取、最小割序集获取、故障树仿真等多个环节都进行了自主的科研探索，并将相应的科研成果应用于talfta,确保了分析结果的准确性以及分析过程的高效性。



















































3 功能紧凑、简单易用

























        talfta聚焦于故障树建模、故障树分析以及故障树仿真，力求以最简洁的方式完成相关业务操作。子树、跨树复制/粘贴、自动排列、撤销/恢复等特色操作使用户能够节省大量的模型构建成本。点几下鼠标，就可以获取定性分析、定量计算以及蒙特卡洛仿真的最终结果。概率排序、重要度排序等操作使用户能够及时获取排序结果，为制定系统可靠性相关策略以及预防系统失效提供决策支持。



















































4 符合相关标准，使用灵活

























        talfta所建模型无论外观还是内涵都完全符合GJB768A标准以及动态故障树相关定义。能够自定义模型元素的大小、元素间距、层间距、连接线线型、颜色及字体等信息，甚至能够以插件的方式添加或替换自己开发的抽样方法。



















































5 支持故障树分析即服务

























        基于SAAS理念，talfta创造性地推出了故障树分析即服务（FTAAAS）相关应用，极大地拓展了故障树分析的应用范围，有效的促进了众多故障树分析相关应用的质量。

二 主要功能

























1 故障树建模

























        构建符合GJB768A以及动态故障树相关定义的故障树模型。

























（1）事件类型

























        顶事件、中间事件、基本事件、未决事件、“子树”。

























（2）逻辑门类型

























        A 静态逻辑门

























        与门、或门、非门、异或门、禁门、顺序与门、表决门、相同转移门、相似转移门。

























        B 动态逻辑门

























        优先与门，顺序相关门、冷备件门、温备件门、热备件门、功能相关门。

























        C 故障树编辑

























        添加、删除、修改事件；复制、粘贴、放大、缩小、移动节点、改变节点形状、切换线型、撤销、恢复、字体设置、颜色设置、自动排版等。































































（3） 寿命分布函数

























        指数函数、正态函数等。





（4） 数据模式

























        概率模式、故障率模式。





2 故障树分析

























（1）定性分析

























        主要包括获取静态故障树的最小割集以及获取动态故障树的最小割序集，能够按照概率进行排序。

























（2）定量分析

























        主要包括顶事件发生概率、中间事件发生概率、结构重要度、概率重要度以及相对概率重要度/关键重要度/临界重要度的计算，能够按照重要度的大小对底事件进行排序。



















































3 故障树仿真

























（1）概率仿真

























        主要包括顶事件发生概率仿真、中间事件发生概率仿真、概率重要度仿真、相对概率重要度/关键重要度/临界重要度仿真、单元重要度仿真、模式重要度仿真。

























（2）事件发生时间仿真

























        主要包括顶事件发生时间仿真、中间事件发生时间仿真、不可靠度曲线仿真以及系统故障率仿真。

























（3）平均无故障时间仿真

























（4）不可靠度曲线仿真

























（5）故障率仿真



















































4 故障树分析既服务（FTAAAS）

























        为了满足用户对特定故障树进行个性化分析的需求， talfta提供了“自助服务”功能，服务费根据故障树复杂程度及用户所选服务自动计算，通过微信支付。用户可自主应用软件完成以前正式版才能完成的故障树分析并获取分析结果，不用购买正版软件，也不用将故障树模型发给开发方，保证了用户模型的私密性，极大的降低了大部分用户的故障树分析所需的费用。



















































5 综合分析报告

























        根据用户所选择的分析内容自动进行分析并生成文本形式的故障树分析报告，并可以将分析结果输出到文件中存储。