论文部分内容阅读
介绍了可满足的测试向量生成(ATPG)算法,对可满足的测试向量生成算法的不足,提出改进的全局蕴含及唯一确定值的计算.
加速可满足的测试向量生成算法
【摘 要】
：
介绍了可满足的测试向量生成(ATPG)算法,对可满足的测试向量生成算法的不足,提出改进的全局蕴含及唯一确定值的计算.
【机 构】
：
四川大学电气信息学院
【出 处】
：
中国自动化学会、中国仪器仪表学会西南三省一市2000年学术年会
【发表日期】
：
2000年期
其他文献
研制了一种送丝机性能微机检测系统。该系统硬件主要由精密传感器，信号调节、隔离和Ａ／Ｄ转换器，ＰＣ－３８６微机以及相应的机械装置等组成。该系统可检测电网电压、机壳温度及送丝阻力变化时送
该文从满足实际生产要求的角度出发，以比例阀控马达在自动送料系统中的应用为主题，建立了适合实际工程情况的数学模型，在比例控制系统动态性能的设计计算中借鉴了伺服系统的设计
研究了舰机联合反潜探索过程中对抗双方的策略及基本对策模型，应用对抗分析等方法求出了对抗双方的稳定局势和最优混合策略以及最优决策，并进行了灵敏性分析。
该文提供了现今红外制导导弹用来识别和舍弃闪光的方法，其目的是向读者提供这个领域范围广大的闪光离技术。首先简要回顾了红外线制导导弹的工作原理，然后深入研究导弹用于识别