타이틀 |
Efficient Model-Based Diagnosis Engine |
저자 |
Fijany, Amir;; Vatan, Farrokh;; Barrett, Anthony;; James, Mark;; Mackey, Ryan;; Williams, Colin |
Keyword |
MATHEMATICAL MODELS;; ALGORITHMS;; COMPLEX SYSTEMS;; DIAGNOSIS;; COMPUTATION;; ABNORMALITIES;; IDENTIFYING;; |
URL |
http://hdl.handle.net/2060/20090032079 |
보고서번호 |
NPO-40544 |
발행년도 |
2009 |
출처 |
NTRS (NASA Technical Report Server) |
ABSTRACT |
An efficient diagnosis engine - a combination of mathematical models and algorithms - has been developed for identifying faulty components in a possibly complex engineering system. This model-based diagnosis engine embodies a twofold approach to reducing, relative to prior model-based diagnosis engines, the amount of computation needed to perform a thorough, accurate diagnosis. The first part of the approach involves a reconstruction of the general diagnostic engine to reduce the complexity of the mathematical-model calculations and of the software needed to perform them. The second part of the approach involves algorithms for computing a minimal diagnosis (the term "minimal diagnosis" is defined below). A somewhat lengthy background discussion is prerequisite to a meaningful summary of the innovative aspects of the present efficient model-based diagnosis engine. In model-based diagnosis, the function of each component and the relationships among all the components of the engineering system to be diagnosed are represented as a logical system denoted the system description (SD). Hence, the expected normal behavior of the engineering system is the set of logical consequences of the SD. Faulty components lead to inconsistencies between the observed behaviors of the system and the SD (see figure). Diagnosis - the task of finding faulty components - is reduced to finding those components, the abnormalities of which could explain all the inconsistencies. The solution of the diagnosis problem should be a minimal diagnosis, which is a minimal set of faulty components. A minimal diagnosis stands in contradistinction to the trivial solution, in which all components are deemed to be faulty, and which, therefore, always explains all inconsistencies. |