Voting OR Gate Example: Difference between revisions
Cruz Daniel (talk | contribs) |
|||
Line 16: | Line 16: | ||
In this configuration, the system will not fail if three out of four components are operating, but will fail if more than one fails. In other words, the fault tree considers ''k''-out-of-''n'' failures for the system failure while the RBD considers ''k''-out-of-''n'' successes for system success. | In this configuration, the system will not fail if three out of four components are operating, but will fail if more than one fails. In other words, the fault tree considers ''k''-out-of-''n'' failures for the system failure while the RBD considers ''k''-out-of-''n'' successes for system success. | ||
====Note: Complexity of k-out-of-n configurations==== | |||
Note that for large values of <math>n</math> and intermediate values of <math>k</math> it is possible to create a configuration that appears simple but is actually extremely mathematically complex. This arises from the equation describing the number of combinations of <math>k</math> choices out of <math>n</math> units: | |||
::<math>\binom{n}{k} = \frac{n!}{k! (n-k)!}</math> | |||
With <math>k = 1, n = 50</math> this expression evaluates to 50, meaning there are 50 unique failure combinations. With <math> k = 49, n = 50</math> this number is again 50. Further, with <math>k = 2, n = 50</math> this number increases to 1225. But with <math>k = 25, n = 50</math> there are 126,410,606,437,752 unique combinations that must all be evaluated to provide answers. Attempting to calculate results or cut sets from such a fault tree analytically therefore requires an inordinate amount of calculation time. As such, similar combinations of <math>k</math> and <math>n</math> should be avoided, or solved with simulation if possible. | |||
====Increasing the Flexibility==== | ====Increasing the Flexibility==== |
Revision as of 17:47, 16 August 2021
New format available! This reference is now available in a new format that offers faster page load, improved display for calculations and images and more targeted search.
As of January 2024, this Reliawiki page will not continue to be updated. Please update all links and bookmarks to the latest references at BlockSim examples and BlockSim reference examples.
This example also appears in the System Analysis Reference book.
Voting OR Gate
In a Voting OR gate, the output event occurs if [math]\displaystyle{ k\,\! }[/math] or more of the input events occur. In system reliability terms, this implies that if any k-out-of-n components fail (input) then the system will fail (output).
The equivalent RBD construct is a node and is similar to a k-out-of-n parallel configuration with a distinct difference, as discussed next. To illustrate this difference, consider a fault tree diagram with a 2-out-of-4 Voting OR gate, as shown in the following figure.
In this diagram, the system will fail if any two of the blocks below fail. Equivalently, this can be represented by the RBD shown in the next figure using a 3-out-of-4 node.
In this configuration, the system will not fail if three out of four components are operating, but will fail if more than one fails. In other words, the fault tree considers k-out-of-n failures for the system failure while the RBD considers k-out-of-n successes for system success.
Note: Complexity of k-out-of-n configurations
Note that for large values of [math]\displaystyle{ n }[/math] and intermediate values of [math]\displaystyle{ k }[/math] it is possible to create a configuration that appears simple but is actually extremely mathematically complex. This arises from the equation describing the number of combinations of [math]\displaystyle{ k }[/math] choices out of [math]\displaystyle{ n }[/math] units:
- [math]\displaystyle{ \binom{n}{k} = \frac{n!}{k! (n-k)!} }[/math]
With [math]\displaystyle{ k = 1, n = 50 }[/math] this expression evaluates to 50, meaning there are 50 unique failure combinations. With [math]\displaystyle{ k = 49, n = 50 }[/math] this number is again 50. Further, with [math]\displaystyle{ k = 2, n = 50 }[/math] this number increases to 1225. But with [math]\displaystyle{ k = 25, n = 50 }[/math] there are 126,410,606,437,752 unique combinations that must all be evaluated to provide answers. Attempting to calculate results or cut sets from such a fault tree analytically therefore requires an inordinate amount of calculation time. As such, similar combinations of [math]\displaystyle{ k }[/math] and [math]\displaystyle{ n }[/math] should be avoided, or solved with simulation if possible.
Increasing the Flexibility
Classical Voting OR gates have no properties and cannot fail or be repaired (i.e., they cannot be an event themselves). In BlockSim, Voting OR gates behave like nodes in an RBD; thus, they can also fail and be repaired just like any other event. By default, when a Voting OR gate is inserted into a fault tree diagram within BlockSim, the gate is set so that it cannot fail (classical definition). However, this property can be modified to allow for additional flexibility.
Example
Consider a system with three components, A, B and C. The system fails if any two components fail. Draw the fault tree and reliability block diagram for the system. The next two figures show both the FTD and RBD representations.
The reliability equation for either configuration is:
- [math]\displaystyle{ {{R}_{System}}=-2\cdot {{R}_{A}}\cdot {{R}_{B}}\cdot {{R}_{C}}+{{R}_{A}}\cdot {{R}_{B}}+{{R}_{A}}\cdot {{R}_{C}}+{{R}_{B}}\cdot {{R}_{C}}\,\! }[/math]
Equation above assumes a classical Voting OR gate (i.e., the voting gate itself cannot fail). If the gate can fail then the equation is modified as follows:
- [math]\displaystyle{ {{R}_{System}}={{R}_{Voting}}\left( -2\cdot {{R}_{A}}\cdot {{R}_{B}}\cdot {{R}_{C}}+{{R}_{A}}\cdot {{R}_{B}}+{{R}_{A}}\cdot {{R}_{C}}+{{R}_{B}}\cdot {{R}_{C}} \right)\,\! }[/math]
Note that while both the gate and the node are 2-out-of-3, they represent different circumstances. The Voting OR gate in the fault tree indicates that if two components fail then the system will fail; while the node in the reliability block diagram indicates that if at least two components succeed then the system will succeed.