论文部分内容阅读
以一阶谓词逻辑为基础，讨论约束满足问题。着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较。以皇后问题和哈密顿回路问题为例，说明了基于一阶逻辑的方法能处理较大的问题实例。
—一阶逻辑中约束求解的局部搜索法
【摘 要】
：
以一阶谓词逻辑为基础，讨论约束满足问题。着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较。以皇后问题和哈密顿回路问题为例，说明了基于一阶
【机 构】
：
中国科学院软件研究所计算机科学实验室
【出 处】
：
软件学报
【发表日期】
：
1998年8期
【基金项目】
：
国家863高科技项目基金,中国科学院择优支持回国工作基金
其他文献
文件分配问题是计算机网络和分布式系统中一个非常重要的问题。本文提出了一种用遗传算法求妥文件分配问题的新方法，该方法能较好地解决工程中的文件优化分配问题，还可以应用到
对新课程中的初中数学教学进行探索,即如何转变教学理念、形成良好的教学方法?如何渗透数学思想、培养学生的学习兴趣?如何控制课堂容量,提高教学效率?如何努力分层推进,科学
该文利用三角Ｂéｚｉｅｒ曲面片的可分割性，解决了选代收敛、初始交点计算等问题：通过近曲面点、边界点跨越等过程，实现了由一个初始交点将跨越许多曲面片的整条交线跟踪出来的设想．将
文章研究并实现了汉语连续语音中的音节自动切分算法－基于归并的音节切分自动机（ｍｅｒｇｉｎｇ－ｂａｓｅｄ ｓｙｌｌａｂｌｅ ｄｅｔｅｃｔｉｏｎ ａｕｉｔｏｍａｔｏｎ，简称ＭＢＳＤＡ）算法利用了包括语音的短时能量、过零率和基音周期在内的多种特征参数，把特征参数高度
小学阶段是培养学生运动习惯的重要阶段，它为学生养成体育锻炼习惯和终身进行体育学习奠定基础。而打篮球这项运动如能在小学培养浓厚的兴趣，打下好的基础，对其一生都起着非常重
科学技术的快速发展,多媒体教学已成为一种普遍现象.多媒体技术以它丰富的表现力、强大的交互性、形象直观性、大容量等优点,能充分调动学生的学习兴趣,化抽象为形象,很好的
HSP是儿科常见的一种全身性小血管炎，以全身性小血管损害为主要病理基础，本病是临床常见的出血性疾病。临床是以皮肤紫癜、出血性胃肠炎、关节炎及肾损害为特点的综合征，其预后
培养学生健全的人格，使学生养成积极向上的人生态度和对学习的信心，始终保持乐观的精神状态，养成冷静务实高效的心理品质，是德育工作的一个重要内容，更是思想品德课程承担的一个重
特征定位问题经常出现于各种工程ＣＡＤ的系统研究中，为提高管道ＣＡＤ系统中的特征定位效率，文章根据平剖图中管线的特点，提出了管线定位的若干策略，介绍了多种基于智能线模型的启发式搜索方
对象封装了结构和行为。对象数据库为大规模复杂应用提供良好的建模方法和实现手段。对象与逻辑结合导致目前对演绎对象库的研究。然而，这些研究基本上针对对象的结构描述，而很