【摘 要】
：
布尔可满足性问题（Boolean Satisfiability Problem,SAT）是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法（Survey Propagation,SP）是求解SAT的一种非常高效的算法,但SP在
【基金项目】
：
国家自然科学基金（60873078 61165003 61170081）, 广东省自然科学基金（9251064101000010）资助
论文部分内容阅读
布尔可满足性问题（Boolean Satisfiability Problem,SAT）是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法（Survey Propagation,SP）是求解SAT的一种非常高效的算法,但SP在难解区域极易不收敛,或者出现错误赋值。将SP算法与蚁群算法结合,把SP算法得到的消息值应用到蚁群算法中来求解3-SAT问题,使用这些消息值引导蚁群算法求解,并在算法中加入高效的局部搜索。新算法对于SP算法不收敛的一些实例也能很快找到解。
其他文献
社会标签可以提供对象高度抽象的内容信息和个性偏好信息,因此标签的使用有助于提高个性推荐的精度。用户的偏好会随时间的变化而变化,网络中的资源也会随着时间推移而增加。
跨时钟城（ClockDomainCrossing，CDC）设计和验证是soC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法，利用模型检验工具SMV，建立了异步FIFO的有限状态机模型，使用时序逻辑LT
加群Zp＋上离散对数问题在公钥密码系统分析中具有非常广泛的应用。研究一种加群Zp＋上离散对数问题的DNA计算算法。算法主要由解空间生成器、并行乘法器、并行加法器、解转换器
在网络带宽不对称的移动实时环境中,数据广播是一种有效的数据访问方式。针对这种网络特性,分析了现今已经存在的某些广播调度算法。针对UFO算法,分别提出了SBS算法和CRS算法
针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型（Meta Concep-tual Model,MCM）的概念,以实现更高层次上的概念模型抽象。将本体思想引入MC
针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行