-
题名基于约束的故障诊断模型及可诊断性分析
- 1
-
-
作者
蔡永铭
张学农
张立成
-
机构
广东药学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第8期1865-1868,共4页
-
基金
国家自然科学基金项目(60173039)资助
广东省自然科学基金项目(S2011010002511)资助
广东省科技计划项目(2012B031000018)资助
-
文摘
诊断问题的复杂性限制了基于模型诊断技术的实际应用,近年出现了不少高效的约束求解器,为充分利用约束求解技术完成诊断,提出一种基于约束的诊断模型,采用约束描述系统结构和功能,重新定义诊断问题并证明了基于约束的诊断和基于一致性的诊断是等价的,在保证诊断完备性的前提下将基于模型的诊断问题转换为通用的约束求解问题;在此基础上,分析了系统的可诊断性,给出了诊断假设可判定、不可判定和部分可判定的充分必要条件,并建立了诊断假设空间关于可诊断性的半序关系,为诊断假设的判定提供理论依据.
-
关键词
基于模型的诊断
基于约束的模型
可诊断性
-
Keywords
model-based diagnosis
constraint based model
diagnosability
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
