含缺省约束的基于模型诊断方法

• 作者: 邓安生 邓智欢 郭一晶
• 来源期刊: 厦门大学学报（自然科学版）
• 学科: 工学
• 关键词: 含缺省假设的诊断问题 基于模型的中心诊断 缺省本原蕴含/蕴含式
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 研究论文
• 页码范围: 326-329
• 页数: 4页
• 分类号: TP18
• 字数: 3920字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2005.03.009

摘要

目前已有的诊断系统一般都默认有完备而可靠的模型,但在实际中常无法实现.因此,在目前已知的对待诊断设备的可靠描述之外,提出了可加入假设性的信息作为对无法完备模型的补充,并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式.进一步给出了在加入这些假设后的情况下,含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念,证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系,并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形,从而将理论与实现联系了起来.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓安生	厦门大学计算机科学系	10	54	3.0	7.0
2	郭一晶	厦门大学计算机科学系	21	53	4.0	6.0
3	邓智欢	厦门大学软件学院	2	16	1.0	2.0