论文部分内容阅读
使用硬件方法求解SAT问题,采用现场可编程门阵列（FPGA）技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.
基于硬件模拟的SAT求解框架
【摘 要】
：
使用硬件方法求解SAT问题,采用现场可编程门阵列（FPGA）技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.
【机 构】
：
广西民族大学混杂计算与集成电路设计分析重点实验室
【出 处】
：
微电子学与计算机
【发表日期】
：
2016年9期
其他文献
采用人工鱼群与粒子群融合算法,解决无线多媒体传感器网络中,当节点随机部署时存在的能量利用率低和覆盖盲区的问题.该算法将快速收敛的人工鱼群算法与搜索效率高的粒子群算
提出一种基于语义和用户偏好的网络电视直播实时推荐方法.该方法首先基于用户的历史记录构建用户偏好模型,然后使用基于词向量的语义相似度计算方法,分别计算待推荐节目和用
针对入侵检测中样本集维数较高问题，提出一种基于粒子群算法（PSO）优化的支持向量数据描述（SVDD）方法，将其应用于网络异常入侵检测．该方法采用粒子群算法消除支持向量数据描述中的冗
慢性乙型肝炎是一种严重危害人类健康的慢性传染病。目前核苷类药物虽然抗病毒疗效较好,但是存在耐药的问题。耐药后果在于不仅会影响到抗病毒药物治疗的疗效,而且会使耐药后
期刊
提出了一种投影仪-摄像机系统的简易高精度标定方法.系统标定的难点在于如何精确地建立投影仪和标定板平面之间的坐标对应关系.为了消除标定板图案对投影图案的干扰,提出了一种自适应的两步图案生成以及投影方法来建立坐标对应关系,提高了坐标对应关系的精度.该方法操作方便、简单,仅仅需要一个摄像机标定中常用的棋盘格标定板即可实现高精度标定,并不需要任何其他高精度设备.实验结果显示标定的最大重投影误差为0.554
通过对新型马氏体耐热钢SA335-P92钢焊接接头中可不记录缺陷的再判定，来阐述该钢的焊接接头超声波检测的技术。试验表明，对按标准判定的缺陷，不管它是处于判废线与定量线之间，还
众所周知,95%的慢性乙型肝炎（慢乙肝）患者是在3岁前感染了乙型肝炎病毒。通常在13~25岁前后（个体有很大的差异）,随着机体免疫功能的逐渐成熟,人体慢慢识别出感染了乙肝病毒的肝细
为提高SPH方法中邻近粒子的搜索效率,采用条形Point-In-Box（PIB）搜索法和邻域区域相关搜索法交替执行机制,实现了一种邻近粒子融合搜索算法.实验中,分别用融合搜索法的SPH方法