求解可满足性问题全部解的改进多种群克隆免疫算法

来源 :信息与控制 | 被引量 : 0次 | 上传用户：netfate

【摘要】

：

对于可满足性问题全部解（ALLSAT问题）的求解而言,随着问题规模增大,现有算法逐渐变得不适用.针对不能有效求解ALLSAT问题的现状,提出了一种多种群克隆免疫算法,该算法采用小生

【作者】

：

张英杰范朝冬

【机构】

：

湖南大学计算机与通信学院

【出处】

：

信息与控制

【发表日期】

：

2011年1期

【关键词】

：

可满足性问题多种群克隆免疫算法位爬山算法小生境 SAT（satisfiability） problem multi-population colon

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

对于可满足性问题全部解（ALLSAT问题）的求解而言,随着问题规模增大,现有算法逐渐变得不适用.针对不能有效求解ALLSAT问题的现状,提出了一种多种群克隆免疫算法,该算法采用小生境方法和位爬山算法进行优化,维持种群多样性,提高算法收敛速度进行了算法收敛性分析.ALLSAT问题的求解结果表明,该算法是非常有效的.

其他文献

新奥特虚拟包装助阵浙江电视台“赏月观潮”

9月19日中秋节，浙江电视台的《明月共潮生》和《直播钱江潮》节目均采用新奥特虚拟图文包装系统运用虚实结合的方式对钱塘江大潮进行了现场直播。节目中，新奥特实现了在实景演

期刊

包装系统电视台虚拟浙江现场直播虚实结合三维物体钱塘江

一种改进的双基地声纳马尔可夫定位算法

借鉴岭估计的思想，通过对加权矩阵特征值基准修正，提出了一种改进的马尔可夫定位算法，实现了测量误差协方差阵逆的全域性存在，解决了马尔可夫估计算法在双基地声纳定位应用中的奇

期刊

双基地声纳马尔可夫估计信息冗余测量子集定位精度bistatic sonar Markov estimation data redundancy

不同阶混沌系统缩阶混合函数投影同步

以3阶单模激光洛伦兹（Lorenz）系统与2阶达芬（Duffing）系统为例，研究两混沌系统之间的缩阶混合函数投影同步．选用不同的时变函数作为尺度因子，通过构造非线性控制器使得2阶达芬系统的

期刊

单模激光洛伦兹系统达芬系统缩阶同步非线性控制single-mode laser Lorenz system Duffing system reduc

具有未知视觉参数的非完整移动机器人的自适应动态反馈跟踪控制

基于视觉反馈和标准链式形式，研究了一类不确定非完整移动机器人的轨迹跟踪控制问题．首先，利用针孔摄像机模型，提出了一种新的基于视觉伺服的移动机器人运动学跟踪误差模型．基于这

期刊

非完整移动机器人运动学跟踪视觉伺服nonholonomic mobile robot kinematics tracking visual ser

一种移动物体时空轨迹聚类的相似性度量方法

针对利用最小包围盒（MBB）压缩的移动物体时空轨迹，为了能对其进行有效地聚类，提出了一个基于盒内数据点密度的轨迹间相似性度量公式．首先，把两条轨迹的相似性度量转化为两条轨迹上

期刊

时空数据挖掘移动物体轨迹轨迹聚类轨迹相似性度量spatio-temporaldata mining moving object trajectory

泄漏信号定位中的时延估计算法

分析了泄漏定位的基本原理、泄露信号模型,研究了各种时延估计算法（如相关、广义互相关方法,自适应最小均方方法等）,这些时延估计算法因其抗噪性能不同而有其各自的应用场合.在

期刊

网络控制系统研究综述与展望

介绍了网络控制系统（networked control system，NCS）中存在的基本问题．从网络体系架构、线性及非线性NCS建模与设计、控制与调度协同设计、故障检测与容错控制等5个方面综述了网

期刊

网络控制系统(NCS)时延丢包故障检测容错控制networked control system （NCS） time delay packet d

广义预测控制和PID控制在混凝投药中的应用

针对水处理过程中混凝投药的非线性和时滞特点，分析了其混凝投药的工作原理，采用传统的控制方法难以实现很好的控制效果．提出了一个混凝投药的方案，把广义预测控制算法和laiD（prop

期刊

水处理混凝投药广义预测控制PID(proportion—integral—derivative)water treatment coagulant d

数控系统连续微段重构与插补算法

针对目前微段加工所采用的非重构微段加工方法中存在的因加工轨迹与设计曲线轮廓误差较大而产生的轮廓加工精度较低的问题,及因微段节点处速度方向不连续而导致的加工表面质

期刊

曲线重构连续微段加减速样条插补数控系统curve reconstruction continuous micro-line blocks acce

自主空中加油多摄像机近距相对导航与控制

针对伸缩套管方式下自主空中加油(AAR)对接与位置保持过程,提出了一个基于多摄像机系统(MCS)的相对导航与控制方案.该方案中的位姿估计算法通过结合3D-3D位姿估计技术和N点透

期刊

多摄像机系统位姿估计自主空中加油卡尔曼滤波动态对策multi-camera system pose estimation autonomous a

求解可满足性问题全部解的改进多种群克隆免疫算法

与本文相关的学术论文