论文部分内容阅读
描述了可满足性的测试向量生成(SAT-ATPG)算法,针对此算法的不足,提出反向路径敏化算法(BPS)嵌入SAT-ATPG中,减少了CNF的构成时间和搜索空间,而且减轻故障压缩的工作量,又不损失最终测试集的精简.
改进可满足性的测试向量生成算法
【摘 要】
：
描述了可满足性的测试向量生成(SAT-ATPG)算法,针对此算法的不足,提出反向路径敏化算法(BPS)嵌入SAT-ATPG中,减少了CNF的构成时间和搜索空间,而且减轻故障压缩的工作量,又不
【机 构】
：
四川大学,电力工程系,成都,610065;电子科技大学CAT室,成都,610054
【出 处】
：
四川大学学报（工程科学版）
【发表日期】
：
2000年3期
其他文献
11月16日上午,中共肇庆市老促会支部委员会召开学习贯彻十八大精神工作部署会。市老促会会长陈端出席会议并讲话,市老促会第一副会长周子扩、副会长杨杏培、黄绍赞、植树悦出
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在本刊去年的“特别关注”栏目中,我采访了上海市建筑工程学校的许飞同学,他荣获了全球青年创业精神大奖,并以中职生的身份成为唯一一名前往美国领奖的中国学生。除了他取得
目的:讨论护理干预对胸腔镜肺癌根治术患者麻醉恢复期并发症发生率影响.方法:选取80例于我收治的胸腔镜肺癌根治术患者,选取时间从2018年1月至2019年5月,按照奇偶分组法将患
在一段时间里生产厂家和用户均不十分重视离合器异响,随着我国摩托车技术水平和用户对质量要求的不断提高,离合器异响成为较突出的问题,亟待研究解决
In a period of time,
目的:研究循证护理在老年疝气手术患者中的运用效果.方法:选取2017年2月-2019年3月期间于我院就诊的94例老年疝气手术患者,利用抽签的形式,分为实验组和参照组,每组47例;参照
目的:探讨老年周围血管疾病介入治疗的护理方法和效果.方法:选取我院收治的75例老年周围血管疾病患者,均行介入手术,纳入时间为2017年1月～2018年12月.将其随机分成2组:常规护
随着当前人们的生活和工作压力越来越大,许多人都不同程度的有抑郁的表现,而一说到抑郁症,人们就会联想到产后抑郁症,许多产妇在生产完后都存在这种情况,产后抑郁对产妇的伤
目的:分析同理心护理对胫骨远端骨折患者术后康复及心理状态的影响.方法:选取2018年8月-2019年3月期间我院收治的84例胫骨远端骨折患者为研究对象,采用抛硬币法随机分为研究