基于硬件可编程逻辑(FPGa)的SaT算法的综述

来源 :电子世界 | 被引量 : 0次 | 上传用户:wwk504
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可满足性问题(简称SAT问题)作为第一个被证明的NP完全问题,是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑(FPGA---Field Programmable Gate Array)的SAT算法研究。将基于FPGA的SAT算法研究分为了实例型(instance-speci-ed solver)和应用型(application-speci-ed solver)两种类型。通过对各种方法的深入分析,指出了它们的优点和缺陷,进而提出未来研究的思路。
其他文献
<正> 引言高校人事管理的对象,主要是各类专业人员。准确掌握各类专业人员队伍的状况,不但是有关部门制定人事管理方针和政策的重要依据,而且对合理使用各类人员、最大限度发挥他们的积极性创造性,对高校的建设具有十分重要的意义。然而在实际中遇到
MuMADS1是从香蕉果实cDNA文库中筛选分离到的一个MADS—box基因.通过生物信息学分析表明,该基因编码的蛋白可能作为转录因子定位于细胞核中,而且芯片分析表明:该基因在果实成熟早
在当前国家加大对房地产行业的调控力度的大背景下,房地产企业妊须考虑如何加强成本管理,增加企业利润,文章主要探讨目标成本管理在房地产项目的应用。
<正> 一种新的文艺观点的提出,往往要经过长期的争论,并得到文艺实践的检验,其正确性才能逐渐被人们所接受。何其芳同志在六十年代初提出的典型“共名说”的新观点,以反潮流的精神冲出了庸俗社会学的迷宫,它不仅在当时使人耳目一新,引起激烈的争论,而且到了今天,对它的评价仍然存在着很大的分歧意见。因此,进一步阐发何其芳同志在典型理论研究中的贡献,无论是对何其芳同志的文艺思想的研究,还是对新时期典型理论的发展,仍然具有重要的现实意义。一何其芳同志对典型理论的贡献,首先表现在研究方法的突破上。建国以后一直
本文研究用FPGA来加速实现HSUPAFP协议。通过对FP协议的研究,合理设计使FP模块的处理速度得到提升和优化处理时延。本文提出的主要优化技术路线对于LTE/LTE—AeNB的协议FPGA加
【正】 《郭沫若全集&#183;女神》注释,校考了《女神》中一些诗的写作时间,注明了每一首诗初载的报刊卷期,还把初版本中与现行版本中有几处重要的异文录出,又在过去已有注释
在制度和思想方面党员干警都自觉转换角色,树立“主人翁”意识,增强工作主动性和积极性,提高自觉性。要敢于自我加压,明确责任,以身作则,增强责任感和使命感。注重在干警中树立威信
化学实验在化学教学中起着非常重要的作用,中学生做好实验必须掌握化学实验的基本操作。掌握化学用语,养成良好的实验习惯。
【摘要】近年来,随着计算机技术的不断发展,移动OA技术也得到了一定的发展,目前OA系统已经得到了广泛的应用,在政府机构、科研机构和企业教育单位中的应用也逐渐增多。其系统的安全问题也逐渐被关注。本文就针对于在移动平台上的应用的安全问题进行了简要的阐述,并且针对于访问数据的安全问题进行了解决。  【关键词】移动OA;信息安全;安全设计  随着移动3G技术的不断发展,3G网络的宽带也得到了一定的加强,各
词汇是语言学习的基础,词汇学习是语言学习的重要任务之一。然而,高职非英语专业学生的英语词汇学习却困难重生,其英语词汇量偏少,且质不高。本文对此进行专门研究,探讨了一