【摘 要】
：
可满足问题（SAT）是一个NP-hard问题,将SAT问题转换为无约束的离散优化（最小值）问题。并根据MDorigo提出的蚁群算法,给出了一种求解SAT问题的新方法：改进的最大最小蚁群系统（MMAS-SA
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.60673062,No.60873078）,广东省自然科学基金（the Natural Science Foundation of Guangdong Province of China under Grant No.06025686）.
论文部分内容阅读
可满足问题（SAT）是一个NP-hard问题,将SAT问题转换为无约束的离散优化（最小值）问题。并根据MDorigo提出的蚁群算法,给出了一种求解SAT问题的新方法：改进的最大最小蚁群系统（MMAS-SAT）。在改进的算法中,给出了SAT问题的构造图,指出了启发式信息值的求法,对衰变系数进行了动态调整。测试问题的数值实验表明,采用MMAS-SAT的结果优于Gwsat、Walksat、Novelty等局部搜索算法,因此该算法是求解SAT问题的一种可行高效的算法。
其他文献
基于身份的认证密钥协商协议存在密钥托管I、D管理I、D唯一性和私钥的安全分发等问题,目前的可信计算技术为此提供了很好的解决方案。利用TPM平台中EK和tpmproof唯一性的特点
天基信息系统任务需求具有复杂、多变的特点,在建立天基信息系统任务流模型的基础上,研究了天基信息系统任务流的度量方法,分别基于因素分析与排队论提出了两种不同的度量函
麻科义隧道是蒙华铁路的重难点控制性工程,在隧道进口端存在长约135 m的砂层段,易出现拱部砂层垮塌严重、掌子面溜塌、围岩变形较大从而发生坍塌等事故,施工难度极大.本文分
文章针对某运营客运专线隧道内CRTS Ⅰ型双块式无砟轨道道床板出现的离缝、板下积水等病害情况,通过地质雷达扫描分析、钻芯取样、现场调查等检测手段对病害产生的原因进行了
针对CFG桩复合地基加固海相软土的适用性问题，在铁路正线进行了应用试验。采用CPTU孔压静力触探原位测试方法确定地基土状态指标、强度和变形指标；分别对CFG桩施工过程中的桩土