一个求解加权MAX-SAT问题的改进蚁群算法

来源 :广西大学学报:自然科学版 | 被引量 : 0次 | 上传用户:bergkampsisi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
加权MAX—SAT问题(WMSAT)是一个NP-难问题,针对WMSAT的特点,提出一个改进的蚁群算法。该算法的研究对象由“边”转化为“顶点”,简化算法模型;提出取值概率的概念,并以之替换信息素,实现对蚁群进化的直接控制,提高蚁群的可进化性。实验结果表明新算法是有效的。
其他文献
利用procast软件对大型轧钢机机架铸件的充型、凝固过程中流场和温度场进行了模拟分析,能够较好地预测铸造过程中产生的浇不足、冷隔、夹渣、缩孔缩松等缺陷,为合理优化设计
《懿畜前编》是黄道周的代表性史著之一,其成书主要取材于历代正史,录选并评述自汉迄宋十二位历史人物。文章拟将《懿畜前编》与《三国志》、《晋书》、《新唐书》、《旧唐书》
在这二十年中,中国艺术在飞速发展的经济和不断加强的对外文化交流的共同推动下,新的艺术观念不断涌现。纵观四川美术学院的历史,可谓人才辈出,罗中立、庞茂琨、钟飚、郭晋…
期刊
公元2003年3月24日,中美合资重庆前沿生物技术公司对媒体宣布,该公司的科学家已完成了抗 HIV 病毒融合肽分子的研制工作,并于2002年9月向美国国家专利局与商标局申请了国际知
期刊
为了改进现有关键帧提取方法在相邻帧间相似性测度方面的不足,提出一种基于MPEG-7颜色布局特征匹配和块运动信息度量的关键帧选取方法。给出颜色布局特征的提取、相似度计算方法以及利用图像分块计算运动信息的方法,并结合距离累加算法提取视频镜头关键帧。实验结果表明,本方法比基于图像综合特征关键帧提取方法检索性能有明显提高,不易产生冗余和漏检,提取的关键帧能够充分代表镜头的内容。
为了解“十一五”期间福建省汉族学生身体形态与机能的发展趋势,运用测试法、数量统计等方法,将2010年学生身体形态与机能的检测结果与2000年和2005年进行对比分析,结果表明:学生
研究毛蚶提取物对环磷酰胺的增效和减毒作用。采用腹水型S180小鼠和免疫低下小鼠模型为实验对象,以其抑瘤率、白细胞、巨细胞吞噬功能、溶血素水平和胸腺、脾脏指数为指标,评
文中提出了一种基于P阳P—SSH隧道网关的VPN系统。该系统中客户端通过P阴P协议接入VPN系统,进入系统的客户端数据包通过iptables重定向或UDP到TCP的转换进入透明SOCKS代理,将原
研究两类药物释放曲线对血管壁中药物浓度分布的影响,为药物洗脱支架(DES)的优化设计提供依据;建立三维支架-血管模型,采用数值方法分析了雷帕霉素和紫杉醇两种药物释放曲线下血管
2006年9月2日,由经济日报社、建设部中国建筑文化中心共同主办的“第二届中国建筑文化年度巡礼活动暨‘2006中国魅力楼盘’展示发布会”,在人民大会堂隆重召开。来自全国30多
期刊