基于约束的故障诊断模型及可诊断性.pdfVIP

小型微型计算机系统 2014年8月第8期 JournalofChinese V01．35No．82014 ComputerSystems 基于约束的故障诊断模型及可诊断性分析 蔡永铭，张学农，张立成 (广东药学院，广东广州510006) E·mailQQ．com 摘要：诊断问题的复杂性限制了基于模型诊断技术的实际应用，近年出现了不少高效的约束求解器，为充分利用约束求解技 术完成诊断，提出一种基于约束的诊断模型，采用约束描述系统结构和功能，重新定义诊断问题并证明了基于约束的诊断和基 于一致性的诊断是等价的，在保证诊断完备性的前提下将基于模型的诊断问题转换为通用的约束求解问题；在此基础上，分析 了系统的可诊断性，给出了诊断假设可判定、不可判定和部分可判定的充分必要条件，并建立了诊断假设空间关于可诊断性的 半序关系，为诊断假设的判定提供理论依据． 关键词：基于模型的诊断；基于约束的模型；可诊断性 中图分类号：TPl8 文献标识码：A 文章编号：1000-1220(2014)08-1865-04 ConstraintBased Modeland of Diagnostic AnalysisDiagnosability CAI Yong—ming。ZHANGXue-nong，ZHANGLi-cheng 510006．China) {GuangdongPharmacyUniversity。Guangzhou Abstract：The of limitsthe ofmodel—based havebeen complexitydiagnose appfication diagnostictechniques．Recently。theremany to efficientconstraintsolvers the of constraint constraintbased leverage model。 completediagnosis solvingtechniques．A diagnostic which to based inthis describesstructureandfunctionsof withconstraint． equalsconsistencymodel，ispresentedpaper．It system Then-the ofconstraintbased is andsufficientconditionsofdecidable diagnosability diagnosisanalyzed．Thenecessary diagnostichy· andsemidecidable ale orderrelation pothesis，undecidablediagnostichypothesis hypothesis partial diagnostic determined．Finally。the ofthe isdescribedinthis diagnosticspace paper． words：model—based based Key diagnosis；constraintmodel；diagnosability 1研究背景