论文部分内容阅读
可满足性问题是理论计算机和人工智能中的著名问题，很多问题都可以通过可满足性求解方法解决。对EDA领域中可满足性问题的求解技术进行了研究。总结了目前主要的求解方法，并对不同的方法进行了详细的分类和比较。讨论了该领域研究中存在的问题，并指出了近期研究热点和未来发展趋势。
EDA领域中可满足性问题求解方法研究
【摘 要】
：
可满足性问题是理论计算机和人工智能中的著名问题，很多问题都可以通过可满足性求解方法解决。对EDA领域中可满足性问题的求解技术进行了研究。总结了目前主要的求解方法，并对
【机 构】
：
渤海大学信息科学与工程学院,黑龙江科技学院电气与信息工程学院,哈尔滨工程大学计算机科学与技术学院
【出 处】
：
计算机科学
【发表日期】
：
2009年9期
其他文献
N体问题是一个经典动力学问题,在多个领域得到广泛的应用。但随着规模的增大,对求解计算性能的要求成为其研究的主要障碍。当前,FPGA可重构技术由于具有硬件可编程结构和高度
提出了一种新的基于Turbo乘积码的编码协作通信方式。两个单天线用户通过共享自己的天线，形成一个虚拟的多天线系统，乘积码字的不同部分通过不同用户的上行衰落链路传输到基站，
针对贝叶斯网络的结构学习问题，基于并行随机抽样的思想提出了结构学习算法PCMHS，构建多条并行的收敛于Boltzmann分布的马尔可夫链。首先基于节点之间的互信息，进行所有马尔可夫
高可用在并行计算环境中的地位日益突出。实现LAM/Migration扩展了LAM/MPI的进程迁移功能,可实现MPI整体任务在节点之间的自由迁移,其迁移功能对应用程序透明、智能化程度高,并可应用于集群节点容错与负载均衡,有效提高集群的可用性。
借助于属性区间值的相似程度在区间值信息系统上定义了一种具有变精度的相容关系，讨论了在这种变精度相容关系下区间值信息系统的属性约简与判定，并得到了区间值信息系统上属性
提出基于遗传模糊分类的步态识别方法。采用新的特征提取方法，该方法将目标按人体结构特点划分为多个子区域，利用各个子区域的质心与头部质心形成的距离和夹角对步态特征进行描
基于树自动机理论，研究了Active XML（简记为AXML）模式重写问题，提出了一种多项式时间的AXML模式重写判定算法，并对算法进行了实现。实验结果证明了所提算法用于判定AXML模式重写的
平台安全性在远程访问企业资源显得越来越重要。目前VPN客户端认证在对终端用户身份和平台身份认证的同时，尚未很好地保证终端平台的安全性，使得终端平台成为入侵者获得非法访
多核处理器环境下必须解决多核处理器的并行编程问题，才能够充分发挥多核处理器的性能。事务存储（Transactional Memory）机制提供了一种在多核环境下程序并行执行和同步的方法。
为了解决在移动环境下将更新操作转化成删除和添加操作的传统一致性维护算法所增加的不必要的数据通信流量和数据存取，现将语义裁剪的思想融入一致性维护算法，将更新粒度细化至