用辩论刻画含约束的诊断空间

被引：5

作者：

陈荣

姜云飞

机构：

[1] 中山大学软件研究所!广州,中山大学软件研究所!广州

来源：

计算机学报 | 2001年 / 03期

基金：

广东省自然科学基金;

关键词：

辩论理论; 基于模型的诊断; 含约束的诊断; 极小诊断假设;

D O I：

暂无

中图分类号：

TP277 [监视、报警、故障诊断系统];

学科分类号：

140102 [集成电路设计与设计自动化];

摘要：

在含约束的极小诊断中故障部件的每个超集并非总能构成一个含约束的诊断 .作者把基于模型的含约束的诊断比喻成一个辩论过程 :一些部件可以指责某些部件出了故障 ;反过来这些部件也可以为自己辩护 .在作者所建立的辩论框架下含约束的诊断空间得到了紧致的刻画 .与相关工作相比 ,这种方法具有计算上的优势 ,它也可以解决极小诊断假设问题 .

引用

页码：303 / 307

页数：5