可靠性分外文资料.doc

解决可靠性分析中逻辑回路的精确方法 （原文出处：可靠性工程和系统安全94（2009） 第1282页-第1288页） 1. 引言 多种技术用于设计高安全可靠的系统，比如冗余组件、通过备用组件实现功能备份、多样性原则等等。在核电厂的一条主线上，系统往往是通过多个子系统的支持，提供电力或冷却水和润滑油。这些支持系统有时相互支持或递归支持主系统。在核电厂的典型设计中，分系统的电力是由主系统提供的[1]。但这样的系统配置导致一个可靠性分析中出现逻辑回路的问题。还没有恰当的方法可以评估一个包含环结构系统的可靠性。所以针对资源有效利用率而言，现有的设计方法是否适当或是最佳，这还不一定。到目前为止，已有许多尝试在对支持系统依赖性相对较弱的点去打破逻辑回路，并开发没有的逻辑结构[2]。作者还提出了一种在GO-FLOW中打破逻辑回路的分析方法[3]。另一种打破逻辑回路方法是根据拟定的标准自动进行[4]。最近，提出了种递归方法[5]，但是针对一个的通用解决方案仍未提出。本文利用布尔代数，提出了可靠性分析中解决逻辑回路的一种精确方法。 处理逻辑的基本原理 首先考虑二元系统，且两组件互相支持，如图1所示。 和表示组件。和是组件的输出，如电力或冷却水。和分别是组件和的输入。通过输入与组件的支持，组件运行并产生输出。 表示组件在相应符号影响下的健康状态事件（集合）。表示事件的成功输出。使用布尔符号，可得： 基于布尔代数：,… , 和, …, 上述方程可以转化为: 　　 (1) 式（1）表明逻辑回路产生相同的和。但式（1）给了我们关于的重要信息，. 这关系相当于下一个布尔方程。 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（2） 如果小于1.0，解决方案表达了图1所示的双组分系统未使用全面能力的情况。通过组分和的全部操作，。一个系统或组件的可靠性是其有效性能的最大值。然后，方程（2）的解是，如果是一个布尔方程表示在工程系统中组件状态或输出的成功事件之间的关系。 其次，考虑一个额外的组件接于图2所示双组份系统的情况下，可由以下方程表示： 　　　　　　　　　　　　　　　 （4） 这相当于下一个方程： 　　　　　　　　　　　　　　　　　　　　　　　　　　　　（5） 方程（5）含有任意布尔元素的解是 （6） 在组件连接前，。连接后，因为表示事件相关的组件和正在运作中，所以不改变，得： 因此，为： （7） 这个结果意味着方程（5）的解变为： （8） 现在，考虑系统配置中的组件A和B平行放置的位置，如图3所示。布尔关系变为， （9） 这相当于下一个方程 （10） 方程（10）的解是， （11） 任意布尔元素和是相互独立的。与组分A和B的全部操作中，。 布尔方程表示组件的成功事件之间的关系或工程上的输出，那么以上规则一般是可以接受的。 作为方程（8）的特殊情况，很容易得到以下规则： （12） （13） 在这里，考虑方程（12）的补充， （14） 在式（14）中，布尔元素表示组件的失败状态或无输出事件（集合）。在这种情况下，方程（5）的形式的解为，即式（6）中。 下一个方程是两个有复杂支持关系的未知变量的一般表达式。 （15） （16） 如果未知变量和是由已知的元素，表示，那么逻辑回路可以无近似严格求解。方程如下的。式（15）转化到下一个方程，