-
题名基于SAT的多目标故障测试向量动态压缩方法
- 1
-
-
作者
张诗芳
刘波峰
朱志杰
-
机构
湖南大学电气与信息工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2013年第9期2681-2683,共3页
-
文摘
针对传统的自动测试图形向量生成采用逐个求解单一故障模型导致生成测试向量数据量巨大的缺点,提出一种基于布尔满足性(boolean satisfiability,SAT)的多目标故障测试向量动态压缩方法,同时论证多目标故障测试生成问题为布尔满足性问题。该方法将具有鲁棒性的SAT算法嵌入经典的动态压缩流程中,首先利用经典动态压缩算法求解最小测试向量检测大部分失效故障,然后采用SAT求解器对未测出的多故障电路进行同一求解和附加约束求解方式,最终得到故障覆盖率高的测试向量和同一测试最大故障列表。实验数据表明,在相同电路模型情况下,此方法求得的测试向量相比经典动态压缩减少高达70%。
-
关键词
布尔满足性求解器
多目标故障
动态压缩算法
最大故障列表
-
Keywords
SAT solver
multiple target faulty
dynamic compaction algorithm
maximum faulty list
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名WDRC释放时间对普通话言语理解度的影响研究
被引量：1
- 2
-
-
作者
赵建平
原猛
冯海泓
-
机构
中国科学院声学研究所东海研究站
中国科学院大学
上海市徐汇区中心医院听力与言语医学中心
-
出处
《声学技术》
CSCD
2013年第3期217-221,共5页
-
基金
国家自然科学基金(11104316)
上海市自然科学基金(11ZR1446000)
+1 种基金
中国科学院声学研究所所长择优创新基金(Y154221701)
美国斯达克科学研究基金资助项目
-
文摘
宽动态范围压缩算法作为助听器非线性听力补偿的核心算法,其释放时间常数的设定可影响言语理解度。根据普通话的语音特点,将宽动态范围压缩算法按频率范围划分为低频区间(
-
关键词
宽动态范围压缩算法
释放时间
普通话
言语理解度
-
Keywords
wide dynamic range compression
release time
mandarin
speech intelligibility
-
分类号
R318.04
[医药卫生—生物医学工程]
-
