《表2 极小块诊断解与扩展诊断耗时 (s)》
在表3中给出了ACDIAG方法与目前最好的Cone缩减规模方法[17,19]在电路缩减规模方面的对比.从表3中可以发现,ACDIAG方法与Cone方法相比,部分实例缩减的规模较小,部分实例缩减后规模较大,即其缩减能力基本相同.缩减规模求解是在离线状态下进行的预处理,其求解时间也是线性时间下完成,其求解不占用在线诊断时间,所以文献[17,19]没有给出求解时间.本文提出的缩减方法有利于ACDIAG方法中诊断解的拓展,解决了Cone方法求解所有诊断时还需对抽象电路进行还原的问题,而且还避免了Cone方法中在判断诊断解时的一致性检测问题.
图表编号 | XD0017145100 严禁用于非法目的 |
---|---|
绘制时间 | 2018.07.01 |
作者 | 欧阳丹彤、刘伯文、刘梦、张立明、张永刚 |
绘制单位 | 吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室 |
更多格式 | 高清、无水印(增值服务) |