New Mathematical Derivations Applicable to Safety and Reliability Analysis
Boolean logic expressions are often derived in safety and reliability analysis. Since the values of the operands are rarely exact, accounting for uncertainty with the tightest justifiable bounds is important. Accurate determination of result bounds is difficult when the inputs have constraints. One example of a constraint is that an uncertain variable that appears multiple times in a Boolean expression must always have the same value, although the value cannot be exactly specified. A solution for this repeated variable problem is demonstrated for two Boolean classes. The classes, termed functions with unate variables (including, but not limited to unate functions), and exclusive-or functions, frequently appear in Boolean equations for uncertain outcomes portrayed by logic trees (event trees and fault trees).
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sandia National Lab. (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- US Department of Energy (US)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 5835
- Report Number(s):
- SAND99-0970C; TRN: AH200115%%121
- Resource Relation:
- Conference: ESREL (European Safety and Reliability Conference), Munich (DE), 09/13/1999--09/17/1999; Other Information: PBD: 19 Apr 1999
- Country of Publication:
- United States
- Language:
- English
Similar Records
Quantile arithmetic methodology for uncertainty propagation in fault trees
Monotone Boolean approximation