【摘 要】
：
该文为可满足性问题的高效近似求解提出了改进的模拟退火算法。数值实验表明,对于该文随机产生的测试问题例,改进的模拟退火算法完全胜过局部搜索算法、模拟退火算法以及目前
【机 构】
：
岳阳师范学院计算机系,上海大学数学系,岳阳师范学院计算机系 岳阳414000,上海200436,岳阳414000
论文部分内容阅读
该文为可满足性问题的高效近似求解提出了改进的模拟退火算法。数值实验表明,对于该文随机产生的测试问题例,改进的模拟退火算法完全胜过局部搜索算法、模拟退火算法以及目前国际上流行的WSAT算法。
In this paper, an improved simulated annealing algorithm is proposed for the efficient approximation of satisfiability problems. Numerical experiments show that the improved simulated annealing algorithm completely outperforms the local search algorithm, the simulated annealing algorithm and the current international popular WSAT algorithm for the test cases generated randomly.
其他文献
用化学还原法制备铂金属纳米微粒.经TEM表征纳米Pt微粒的平均直径为2.5nm.应用电化学循环伏安法研究了该纳米微粒电极的电化学性质,与本体Pt相比,吸附在Pt纳米微粒表面CO的氧
网络环境下的自主学习导学活动以促进学习者知识建构、提高学习能力为目标,是影响学习效果的关键因素.本文以元认知发展为突破口,从自主学习过程的内在结构出发,针对网络环境
由于多种因素的影响,许多初中生在学习英语的过程中感到困难。本文作者具体分析了英语学困生的形成原因,并提出了解决这一问题的几点建议。
Due to many factors, many juni
大多数现代认知理论认为主动自我调节是学习过程中自我调节的唯一内部机制.为了解释偶然性的及其他无意识的学习,本文探讨了一种假设,即有两种独立的内部调节机制:(a)主动的,
行为金融是在传统金融理论的基础上引入心理学研究的成果,它弥补和修正了传统金融理论中存在的许多缺陷.本文中所介绍的最优资产定价模型就是在运用预期理论的基础上对传统定
目的分析采用人工全膝关节置换术治疗严重膝关节损伤的效果及影响因素. 方法对采用可旋转稳定型膝关节假体的13例(14膝)进行分析. 结果人工全膝关节置换术后疼痛、功能及活动
计算机网络辅助教学可以增强学生的学习兴趣,提高学生自觉学习的能力,因而得到了多数学生的认可,取得了比较显著的成效。计算机网络辅助教学也对大学英语教师提出了更高的要
目的 :探讨光学相干断层扫描图像在分析白内障术后低视力中的应用。方法 :对术后矫正视力低于 0 5的 48例 (4 8眼 )病人行OCT检查 ,分析其结果。结果 :48眼中黄斑水肿 2 1眼
常德方言副词类型丰富,表义生动细腻,有很多与普通话不一样的副词,本文主要对常德方言副词与普通话中不同的副词进行分析。
Changde dialect is rich in adverbs, vivid and
评定路面压实质量的指标通常是压实度 ,即用现场测定干密度与样品击实试验的最大干密度对比 ,而衡量填隙碎石结构层的密实程度指标是固体体积率 ,但现行的试验检测规程尚未有