论文部分内容阅读
摘要：布尔可满足问题是计算机科学中诸多领域的重要问题，它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合，提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证，这种算法对布尔可满足性问题的求解具有一定的实用价值。
基于几何规划的布尔可满足问题求解方法
【摘 要】
：
摘要：布尔可满足问题是计算机科学中诸多领域的重要问题，它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合，提出并实现了一种布尔
【机 构】
：
广西民族大学混杂计算与集成电路设计分析重点实验室
【出 处】
：
计算机工程与科学
【发表日期】
：
2013年9期
【基金项目】
：
广西自然科学基金资助项目（2011GXNSFA018154,2012GXNSFGA060003,2013GXNSFAA019342）,广西区主席科技资金（10169-1）,广西教育厅科研资助项目（201012MS274）,广西“八桂”学者项目
其他文献
教学常规检查管理与教学质量是息息相关的，作为教学管理者应该更加关注教学常规检查在教学管理中的作用，整理教学思路、调动学校管理系统的各种力量，努力让教学常规管理成为提升
受限于硬件资源,SAD加速器只能实现较小图像的匹配。本文提出了一种高分辨率图像匹配算法,将较大图像的匹配拆分成SAD加速器支持的基本计算粒度,同时保证匹配精度和实现效率。并将该算法应用到二级金字塔算法中,取得了较好的效果。
市政工程对于整个城市的建设具有重要意义,而其施工管理水平会对整个工程产生重要影响,下面是笔者结合自身工作实践分析的市政工程施工管理必须重视的问题,为相关的工程人员