| 注册
首页|期刊导航|电子学报|结合电路结构基于分块的诊断方法

结合电路结构基于分块的诊断方法

欧阳丹彤 刘伯文 刘梦 张立明 张永刚

电子学报2018,Vol.46Issue(7):1571-1577,7.
电子学报2018,Vol.46Issue(7):1571-1577,7.DOI:10.3969/j.issn.0372-2112.2018.07.005

结合电路结构基于分块的诊断方法

A Block-Based Diagnostic Method Combining with the Circuit Structure

欧阳丹彤 1刘伯文 2刘梦 1张立明 2张永刚1

作者信息

  • 1. 吉林大学计算机科学与技术学院,吉林长春130012
  • 2. 吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012
  • 折叠

摘要

关键词

基于模型诊断/SAT问题/枚举树/抽象

分类

信息技术与安全科学

引用本文复制引用

欧阳丹彤,刘伯文,刘梦,张立明,张永刚..结合电路结构基于分块的诊断方法[J].电子学报,2018,46(7):1571-1577,7.

基金项目

国家自然科学基金(No.61672261,No.61502199,No.61402196,No.61373052) (No.61672261,No.61502199,No.61402196,No.61373052)

浙江省自然科学基金(No.LY16F020004) (No.LY16F020004)

电子学报

OA北大核心CSCDCSTPCD

0372-2112

访问量0
|
下载量0
段落导航相关论文