原文服务方: 计算机应用研究       
摘要:
介绍了近些年出现的几种错误诊断方法,它们在传统方法的基础上利用启发式对原有方法进行了不同程度的改进和提高,产生了较好的诊断结果.
推荐文章
基于符号模拟的电路中错误诊断方法研究
区域模型
符号模拟
错误诊断
测量标准
结合逻辑模拟和布尔可满足性的设计错误诊断方法
设计验证
错误诊断
布尔可满足性
逻辑模拟
一种改进的基于SAT的多错误诊断算法
设计错误诊断
布尔可满足性
电子设计自动化
基于符号模拟的电路中错误诊断方法研究
区域模型
符号模拟
错误诊断
测量标准
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 组合电路中逻辑错误诊断方法研究
来源期刊 计算机应用研究 学科
关键词 诊断 路径追踪 模拟 可满足性
年,卷(期) 2008,(1) 所属期刊栏目 算法研究探讨
研究方向 页码范围 114-116
页数 3页 分类号 TP306
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2008.01.034
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 徐德启 兰州大学信息科学与工程学院 12 138 4.0 11.0
2 吴尽昭 兰州大学信息科学与工程学院 23 81 4.0 8.0
4 闫炜 中国科学院成都计算机应用研究所 4 7 2.0 2.0
5 齐芳 兰州大学信息科学与工程学院 2 16 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (4)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1994(1)
  • 参考文献(1)
  • 二级参考文献(0)
1995(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
诊断
路径追踪
模拟
可满足性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
国家重点基础研究发展计划(973计划)
英文译名:National Basic Research Program of China
官方网址:http://www.973.gov.cn/
项目类型:
学科类型:农业
论文1v1指导