Machine implemented system for determining compliance of a complex process plant with technical specifications

摘要

Components and systems which impact technical specifications (tech specs) in a nuclear power plant are modeled in a set of cascading operability trees which represent the various combinations of component, system and parameter statuses which can result in non-compliance with the tech specs. Cutsets for the operability trees are entered into a cutset table in the data base of a digital computer. Certain base events which resulted in activation of a top event, such as non-compliance with a tech spec, can be identified by reversing the search process down through the cutsets in the cutset table.