论文部分内容阅读
描述一种新的健全高效的测试向量自动生成方法--测试向量生成的可满足性算法.与现有的测试向量生成算法相比,满足性算法是一种有效改进搜索空间的搜索算法,运用几种简化技术,进一步改进故障诊断的方法.由部分ISCAS'85基准电路的仿真结果表明,满足性算法健全、有效,而且电路增大,算法的性能提高.
测试向量生成的新搜索算法
【摘 要】
：
描述一种新的健全高效的测试向量自动生成方法--测试向量生成的可满足性算法.与现有的测试向量生成算法相比,满足性算法是一种有效改进搜索空间的搜索算法,运用几种简化技术,
【机 构】
：
四川大学电气信息学院,陈光(衤禹)
【出 处】
：
系统工程与电子技术
【发表日期】
：
2004年期
其他文献
对一种新型可压缩液体汽车减振器的基本结构和工作原理进行了详细分析 ,给出其内特性的数学模型 ,提供了该减振器外特性试验数据。可压缩液体减振器由于腔内充满可压缩液体 ,
提出了一种基于仿射模板匹配的多角度单人脸定位算法 .用平均脸作为基模板 ,经由不同的伸缩比例和旋转角度构成的仿射变换生成各种姿态的模板 ,并将模板分为双眼模板和人脸模板对 ,首先使用双眼模板搜索符合眼睛的区域 ,再用整个人脸模板匹配进一步检验是否符合人脸模式 ,并利用马赛克规则验证 ,给出最佳匹配作为人脸位置 .对包含 144幅图像和 6 0幅图像的两个图像库的定位准确率分别达到 79.2 %和
给出了一种概率验证方案，以决定匿名可分电子现金系统在支付时采用联机验证还是脱机验证，从而减少脱机电子现金系统由于用户的重复支付而产生的损失额．同时为消除由于加人概率验
提出了一种新的工作于极低码率下的混合激励线性预测 (MEL P)声码器 .该声码器结合了线性预测编码(L PC)和多带激励编码算法的优点 ,对算法和量化方案重新进行了设计和改造 ,
本文从电子技术课程设计的重要性出发,探讨了目前教学改革环境下电子技术课程设计教学实践中存在的主要问题,并制定了创新的完善策略,对强化构建电子技术基础课程的创新教学
根据岩巷掘进工艺改进的实际情况以及矿井水平接续现状,提出进行中深孔直眼爆破的实验研究,通过爆破理论的应用和现场实践,掌握了岩巷中深孔直眼爆破的有关参数,较为合理的掏
增值税是以商品或劳务价值中的增值额为征税对象的一种流转税.在2009年,我国进行了增值税转型的改革.增值税转型后企业固定资产的会计处理发生一些较大的变化.本文对新增值税
原建筑物进行技术改造,特别是增层改造往往会受到原房屋地基承载力的制约.所以原建筑物改扩建工程是一个复杂的综合性工程问题,它不仅要求房屋改扩建部分对原有结构的承载能
本文在量子密码中首次引入量子测量信道的概念,并以此计算了量子保密通信中敌手所能获得的信息量,从而为合法者的安全通信和对敌手的检测提供理论依据和标准.