测试向量生成的新搜索算法

• 作者: 曾成碧 陈光(衤禹)
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 算法 数字电路 故障诊断
• 年，卷（期）: 2000,（6）
• 所属期刊栏目: 计算机开发与应用
• 页码范围: 73-76
• 页数: 4页
• 分类号: TP301.6
• 字数: 4249字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-506X.2000.06.022

摘要

描述一种新的健全高效的测试向量自动生成方法--测试向量生成的可满足性算法.与现有的测试向量生成算法相比,满足性算法是一种有效改进搜索空间的搜索算法,运用几种简化技术,进一步改进故障诊断的方法.由部分ISCAS'85基准电路的仿真结果表明,满足性算法健全、有效,而且电路增大,算法的性能提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾成碧	四川大学电气信息学院	70	617	12.0	22.0