论文部分内容阅读
诊断问题的复杂性限制了基于模型诊断技术的实际应用,近年出现了不少高效的约束求解器,为充分利用约束求解技术完成诊断,提出一种基于约束的诊断模型,采用约束描述系统结构和功能,重新定义诊断问题并证明了基于约束的诊断和基于一致性的诊断是等价的,在保证诊断完备性的前提下将基于模型的诊断问题转换为通用的约束求解问题;在此基础上,分析了系统的可诊断性,给出了诊断假设可判定、不可判定和部分可判定的充分必要条件,并建立了诊断假设空间关于可诊断性的半序关系,为诊断假设的判定提供理论依据.
The complexity of the diagnostic problems limits the practical application of the model-based diagnostic techniques. In recent years, many efficient constraint solvers have emerged. In order to make full use of the constraint solving technique to diagnose, a constraint-based diagnostic model is proposed. Constraints are used to describe the system structure and Function to redefine the diagnostic problems and to prove that the constraint-based diagnosis and the consistency-based diagnosis are equivalent, and the model-based diagnosis problems are transformed into the universal constraint solution problems under the premise of ensuring the completeness of the diagnosis. On the basis of this , Analyzes the diagnostiability of the system, gives the necessary and sufficient conditions for decidable, non-decidable, and partially decidable diagnoses, and establishes the semi-ordinated relationship between diagnostic hypotheses about diagnosability and provides the theory for the determination of diagnostic hypotheses in accordance with.