论文部分内容阅读
由于电路宽度很好地反映了电路的复杂性,本文提出了一种基于电路宽度的启发式策略,根据电路宽度来实现SAT算法与BDD算法的交替,充分发挥了两者的优势.关于组合电路的测试生成实验结果表明了该启发式策略的效率.
基于电路宽度的布尔推理启发式策略
【摘 要】
：
由于电路宽度很好地反映了电路的复杂性,本文提出了一种基于电路宽度的启发式策略,根据电路宽度来实现SAT算法与BDD算法的交替,充分发挥了两者的优势.关于组合电路的测试生成实验结果表明了该启发式策略的效率.
【机 构】
：
浙江林学院信息工程学院(杭州);中国科学院计算技术研究所(北京) 中国科学院计算技术研究所(北京)
【出 处】
：
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
【发表日期】
：
2004年6期
其他文献
Internet的方便性,彻底打破了信息获取的时空限制,用户足不出户就可以获取所需要的信息.本文在阐述搜索的历史发展和一般搜索原理的基础上,以作者开发的《大学语文》远程网络教育系统为例,结合网络数据挖掘,提出远程教学系统中面向主题的站内搜索新策略,研究了其特点,并给出了实施方案和实现效果.
本文介绍了一种新型溶解氧测定仪的上位机实时监控系统.为了满足系统要求,利用VB编程,实现了对Access数据库的存储和调用,完成了曲线拟合等功能.
汽车车身控制嵌入式系统的主要功能是对汽车各种灯光、电动车窗等汽车车身零部件进行智能管理和实时控制.本文首先分析了uC/OS-Ⅱ实时操作系统的特点,讨论了在其平台上开发应用软件的优点.然后介绍了汽车车身控制嵌入式系统的设计方案和实现过程.
本文简要介绍了GPIB的接口规范,详细基于GPIB接口的无线电通信分析仪MT8801C在PHS通信系统当中的计算机自动测试技术的实现和面向对象的软件编程.
本文提出了一种面向普通家庭的经济型智能网络开关(Smart Network Switch,SNS),用以通过控制网络,甚至互联网实现家用电器的远程监控.采用国际上流行的LonWorks技术,研究以Echelon神经元芯片为核心,集检测、控制、通信等于一体的硬件以及相关软件等关键技术.新世纪家居正朝着数字化、智能化、网络化的方向发展,无疑Lon总线技术基础上的控制网络在21世纪具有广泛的应用前景,它
本文分析了几种图像处理技术的特点,认为基于FPGA的方案更适合实现视频图像的实时处理.同时本文也介绍了基于FPGA的视频图像实时处理系统中的几个常用算法的实施方案.
DoS攻击是目前攻击者常采用的一种攻击手段,检测困难.提出了采用指数加权移动平均(EWMA)控制图技术检测DoS攻击的新方法,实验证明,检测效果好.
工程中的报表格式和数据的统计方式多种多样,使用模板可以有效地适应多样性,并支持自动处理.使用面向对象的方法对数据进行组织、管理,可以更好地建立和利用数据之间的关系,并可以结合规则的设计,加强模板的设计功能.本文分析了模板设计和数据对象模型之间的关系,给出了以面向对象的方式组织数据和进行模板设计的强有力方法.
本文提出一种基于顶点分裂的双参数曲面细分法,适当选择形状参数的值可使细分曲线曲面达到三阶光滑.在给定初始数据原条件下,可通过对形状参数的适当选择来实现对细分曲面的形状调整和控制.采用本文提出的细分法,可造型插值初始控制网四个角点的高阶光滑曲面,如双二次及双四次B样条曲面等.
本文阐述了两平行导线间电容性耦合生成干扰电压的原理,对AC220V、380V的耦合电压情况进行了计算和电路仿真分析,并在此基础上提出了利用高内阻数字电压表和容性耦合原理定位电源导线的方法.此方法对分析电磁干扰源和电气设备安装施工有实际应用.