故障树的规范化处理
目的:是为了使FTA程序的输入格式标准化。
规范化的故障树在本质上只含有底事件（对立事件）、顶事件及
两类逻辑门（“与”、“或”）中的一类或两类逻辑门。
2022-03-01 17:37:26
1.45MB
1
主要功能：故障树分析工具主要功能是静态故障树建模、动态故障树建模、定性分析、定量分析和仿真。
逻辑门类型：与门、或门、非门、异或门、顺序相关门、禁门、表决门、相同转移门、相似转移门
优先与门、顺序相关门、功能相关门、冷备件门、温备件门、热备件门
事件类型：顶事件、中间事件、基本事件、未决事件、子树
定性分析：最小割集、最小割序
定量分析：顶事件发生概率、结构重要度、概率重要度、相对重要度
仿真： 蒙特马洛仿真
2022-02-26 22:26:10
4.18MB
1
组件故障树和马尔可夫链的组合用于分析复杂的软件控制系统_Combination of component fault trees and Markov chains to analyze complex, software-controlled systems.pdf
2022-02-08 09:02:38
526KB
为保证铁路联锁模型的安全性，在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法，动态地描述铁路联锁系统的安全性需求，并根据Petri网安全需求模型的可达标志图，提出一种能自动生成最小割集的算法。根据算法生成的最小割集，设计了一个联锁安全检测器，用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真，仿真结果表明联锁安全检测器能够保证模型的安全性。
2021-12-15 19:56:22
757KB
1
故障树分析（FTA）是由上往下的演绎式失效分析法，利用布林逻辑组合低阶事件，分析系统中不希望出现的状态。故障树分析主要用在安全工程以及可靠度工程的领域，用来了解系统失效的原因，并且找到最好的方式降低风险，或是确认某一安全事故或是特定系统失效的发生率。
2021-12-09 16:33:25
2.14MB
1