【摘 要】
：
利用限制哆公式的相关理论将可满足性问题（SAT）等价转换为定义在{0，1}^n上的多项式函数优化问题，并将二进制粒子群优化算法（BPSO）与局部爬山搜索策略相结合，给出了一种求解SAT问题的
【机 构】
：
石家庄经济学院信息工程系,中国地质大学计算机学院
论文部分内容阅读
利用限制哆公式的相关理论将可满足性问题（SAT）等价转换为定义在{0，1}^n上的多项式函数优化问题，并将二进制粒子群优化算法（BPSO）与局部爬山搜索策略相结合，给出了一种求解SAT问题的新算法：基于局部爬山搜索的改进二进制粒子群优化算法（简称IBPSO）．数值实验表明，对于随机产生的3-SAT问题测试实例，该算法的计算结果均优于著名的WalkSAT算法和SATI．3算法．
其他文献
采用简单易行的前处理方法,排除其他有机酸、醇类、酯类等物质的干扰,使用外标法,利用高效液相色谱仪示差折光检测器（RID）对白酒基酒中乳酸进行准确定量分析。
<正>由任建树主编、上海人民出版社出版的《陈独秀著作选编》近日正式公开发行。该书选编了陈独秀从1897年至1942年各个历史时期各种文体的作品890余篇,包括论文、诗歌、通信
摘要：近年来，各在企业内部正在进行大规模的信息化系统建设，各个系统在满足使用者专业化应用需求下，带来了一个共同的问题，就是使用者需要记住大量用户名及密码信息，此类信息住住过于雷同或复杂，这为企业安全性和工作效率带来很大程度的隐患。而单点登录系统（Single Sign-On），可以解决这个问题，它是一个集中的用户认证管理和集成环境，可管理和分发用户的权限和身份，为不同的应用系统提供用户和权限管理服
率先基本实现现代化离不开水利的现代化，而水利工程管理单位的现代化建设应成为水利现代化的重要组成部分，成为“十二五”乃至今后一段时期水利工作的主攻方向和水利行业服务发
为了提高应用集成系统的柔性，集成适配器一般被设计为是基于规则驱动的适配器Agent，其核心目的是为了使集成系统具有随企业业务流程的变化而快速的动态适应能力。如何刻画系统
随着工业的不断发展，环境污染日益严重，其中噪声污染便是其中之一，在无法消除噪声起源时，抑制噪声便起着至关重要的作用，文章主要介绍一种新型抑制噪声的铜板——复合钢板。
摘 要：预算控制是管理控制系统的一个重要部分，是实现企业整体战略规划目标和经营计划目标的重要手段。地质勘查企业应当以资本预算为中心，实行上下结合的预算编制方式，加强对预算执行过程中的跟踪控制和分析评价，及时纠正偏差，提高预算控制效果。 关键词：地质勘查企业；资本预算；预算控制 中图分类号：F275 文献标识码：A 文章编号：1006-8937（2012）11-0055-0
提出了一种三维物体表面的逼近表示与数据压缩方法。该方法可以在不增加表示物体表面的数据量(例如面片数量)的情况下,使逼近误差降低约1/2;在逼近误差不变的情况下,使表示物体表面的数据量大幅下降。提出了用与最基本的三维物体——球体表面相交的面片来表示球面的方法,将该方法扩展到了一般曲面。理论分析与实验数据表明,新算法与传统方法相比,其数据压缩比约为35%。该研究在虚拟现实技术和三维模型的数据压缩及传输
新能源开发利用理念与技术日新月异,对促进社会各界可持续发展起到重要作用。然而这一理论在园林设计中的应用仍处于初始阶段。因此,本文对能源节约型园林设计途径进行了深入