论文部分内容阅读
为了解决求解合取范式的可满足性问题的坐标轮 换法中所存在的函数增量的变化 、优化方向的顺序、跳出局部极小陷井的策略和堵绝走回头略的措施等４个问题，引入拟人策略和伴随价值量等概念，松造出一种新的求解ＳＡＴ问题的非完整快速算法－拟人下降搜索算法。
求解SAT问题的拟人下降搜索算法
【摘 要】
：
为了解决求解合取范式的可满足性问题的坐标轮 换法中所存在的函数增量的变化 、优化方向的顺序、跳出局部极小陷井的策略和堵绝走回头略的措施等４个问题，引入拟人策略和伴随
【机 构】
：
基础科学系
【出 处】
：
江汉石油学院学报
【发表日期】
：
1997年1期
其他文献
"送戏下乡"是大连杂技团历年来的良好传统,2007年7月16日,是大连市宣传部、大连市文化局、大连市财政局主办"送戏下乡"——大连杂技团演出队开始之日,杂技团演出队伍足迹遍及
期刊
对人工神经网络在分析化学中的应用效果进行了研究．认为在光化学分析中(如在紫外可见光谱分析中和在红外光谱分析中)、电化学分析中、色谱分析中(如优化色谱分离条件，色谱谱图
年轻就是话语权，这是北京电视台青少年频道每天都会播出的一句口号，确实，年轻人有朝气，有热情，常常走在时代的前列，这也是我爱看大学生魔术比赛的原因，我觉得比起专业演员，大学生们在
<正>小平同志讲:“农业要有全面规划,首先要增产粮食。2000年要生产多少粮食,人均粮食达到多少斤才算基本过关,这要好好计算。2000年总要做到粮食基本过关,这是一项重要的战
计算机图形学是研究怎样用数字计算机生成、处理和显示图形的学科,与计算几何、图象处理和模式识别等学科有密切的联系,它侧重于将数据和几何模型变成图象。本文重点论述了科学计算的可视化;虚拟现实技术和并行处理时代的图形学等问题。
对从辽河海河油田稠油区块分离的能降解稠油的4株细菌与温度、pH值、矿化度、地层水和原油的配伍性及模拟驱油特性进行了实验研究.结果表明,所优选的4种细菌在70℃都能较好生
2008年11月17日,2009年北京世界魔术大会参赛节目研讨会在北京中国杂协驻地举行,中围杂协分党组书记、2009年北京世界魔术大会组委会秘书长林建,中国杂协副秘书长营建明,魔术
期刊