SETS. Set Equation Transformation System
- Sandia National Labs., Albuquerque, NM (United States)
SETS is used for symbolic manipulation of Boolean equations, particularly the reduction of equations by the application of Boolean identities. It is a flexible and efficient tool for performing probabilistic risk analysis (PRA), vital area analysis, and common cause analysis. The equation manipulation capabilities of SETS can also be used to analyze noncoherent fault trees and determine prime implicants of Boolean functions, to verify circuit design implementation, to determine minimum cost fire protection requirements for nuclear reactor plants, to obtain solutions to combinatorial optimization problems with Boolean constraints, and to determine the susceptibility of a facility to unauthorized access through nullification of sensors in its protection system.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- Nuclear Regulatory Commission, Washington, DC (United States). Office of Nuclear Regulatory Research
- OSTI ID:
- 138929
- Report Number(s):
- ESTSC/NRC-000027C660000; NESC-623
- Resource Relation:
- Other Information: DN: SETS must be compiled with optimization level of 0 or 1. Full optimization (OPT=2) produces compiler table overflows. A substantial reprogramming effort would be required to convert the SETS program to a machine that is not compatible with the CDC systems 60-bit word structure due to the extensive use of masking instructions and the packing of data within a word.; PBD: 13 Jan 1992
- Country of Publication:
- United States
- Language:
- English
Similar Records
SETS. Set Equation Transformation System
SETS; set equation transformation system. [CDC6600; FORTRAN Extended]
Related Subjects
COMPUTERS
INFORMATION SCIENCE
MANAGEMENT
LAW
MISCELLANEOUS
22 NUCLEAR REACTOR TECHNOLOGY
S CODES
SET THEORY
REACTOR PROTECTION SYSTEMS
RISK ASSESSMENT
NETWORK ANALYSIS
FAULT TREE ANALYSIS
PROBABILISTIC ESTIMATION
FAILURE MODE ANALYSIS
REACTOR SAFETY
MATHEMATICAL LOGIC
COMPUTER PROGRAM DOCUMENTATION