质量工具之故障树分析FTA(3) - FTA的数学基础

云质QMS原创 转载请注明来源

作者：王洪石

关键词：问题解决、根本原因分析、故障树、故障树分析、FTA、可靠性、鱼骨图、集合、布尔代数、逻辑、布尔代数式

FTA的数学基础

我们前文提到，故障树分析FTA可以用于系统设计、安全分析甚至是根本原因分析，既可以做定性分析又可以做定量分析，是全能型的分析技术。

故障树分析的基础工具是故障树图，从特定的故障事件开始， 利用故障树考察可能引起该事件发生的各种原因事件及其相互关系。

故障树通过事件符号和逻辑门符号表达事件、原因及其相互关系，是一种利用布尔代数(又称布尔逻辑) 符号演绎地表示特定故障事件 发生原因及其逻辑关系的逻辑树图。

为了进行故障树的定性分析和定量分析，需要建立故障树的数学模型，写出它的数学表达式。

布尔代数是故障树分析的数学基础。布尔代数是集合论的一部分，是一种逻辑运算方法 它特别适合于描述仅能取两种对立状态之一的事物。

故障树中的事件只能取故障发生或不发生两种状态之一，不存在任何中间状态，并且故障树的事件之间的关系是逻辑关系，所以可以用布尔代数来表现故障树。

集合的基本概念

·       集合：简称集，是现代数学中一个重要的基本概念。集合是“确定的一堆东西”，是指具有某种特定性质的具体的或抽象的对象汇总而成的集体；集合里的“东西”是构成集合的对象，这些对象则称为集合元素。

现代的集合一般被定义为：由一个或多个确定的元素所构成的整体。从最普遍的意义上说，具体确定的可以区分的若干事务(事项、事件)的全体就是集合，其中的事务叫做元素。

通常用大写字母如A、B、S、T、...表示集合，而用小写字母如a、b、x、y、...表示集合的元素。

比如，鱼骨图中，六个主刺元素 {Man, Machine, Material, Method, Measurement, Enviroment} 构成原因Causes的集合，每个主刺下可以再分很多小刺形成子集。

o       空集不包含任何元素，记为∅。空集是特殊的集合。

o       x是缺陷集合A的元素，则称x属于A，记作x∈A。

o       y不是缺陷集合A的元素，则称y不属于A，记为y∉A。

o       集合A中元素的个数为集合中的元数，记作|A|。

o       集合中的元素不能重复出现，集合中的元素无顺序之分。