【摘 要】
：
约束满足问题是人工智能领域中一个重要的研究方向,其研究结果在符号推理、系统诊断、真值维护系统、资源分配和产品配置等问题中有广泛的应用。局部相容性定义了约束满足问题在约束传播过程中必须满足的性质,是约束传播发展的主要方向。而对于较为复杂的相容性问题中的AC系列算法的改进可谓难上之难。本文围绕着以弧相容、Singleton弧相容为代表的相容性技术和求解算法展开,主要针对AC-2001算法、SAC算法等
【基金项目】
：
本论文属吉林大学“大学生创新创业训练计划”创新训练项目.由吉林大学软件学院资助.
论文部分内容阅读
约束满足问题是人工智能领域中一个重要的研究方向,其研究结果在符号推理、系统诊断、真值维护系统、资源分配和产品配置等问题中有广泛的应用。局部相容性定义了约束满足问题在约束传播过程中必须满足的性质,是约束传播发展的主要方向。而对于较为复杂的相容性问题中的AC系列算法的改进可谓难上之难。本文围绕着以弧相容、Singleton弧相容为代表的相容性技术和求解算法展开,主要针对AC-2001算法、SAC算法等进行优化改进,重点基于启发式进行改进,使之获得了更快的筛选速度。尤其对于SAC算法,大大减少了约束检查次
其他文献
<正>一、试验目的通过试验,评价0.5%氨基寡糖素水剂防治番茄晚疫病的防治效果,并确定最佳使用剂量,为大面积推广应用提供科学依据。二、试验条件(一)试验对象、作物和品种试
利用聚类分析、0-1数学规划模型等方法,求解出高校校园内所需的智能自提柜的数量,确定每个智能自提柜的最优的布设地点,并以北京邮电大学为例对其应用进行了说明,为解决智能
大学生生命教育增强了学生的生命保护意识,但这方面的教育并不成熟,存在着简单化、片面化和工具化等倾向。大学生生命教育理应直面生命存在本身,在关照社会共在中强化生命责
随着我国社会经济的发展与繁荣,素质课堂也在逐渐地改革中,小学教学也逐渐从传统的授课中向新形势下转变,将以生本课堂为新思路对小学生进行授课,这种授课是以学生的发展为主
摘要：本文依据国家自主招生政策的改革和发展脉络，在实践的基础上追踪分析了某高校2008-2015年的数据变化历程，结合政策背景、内容和实例进行探讨自主创新人才选拔的可行性，并通过与美国的自主招生政策的对比，提出自主招生政策改进和完善的建议。 关键词：创新人才；自主招生；政策；数据 创新型科技人才一直是国家亟需的人才，在每年的高考选拔中，某高校全国招收6300名本科生，他们毕业后都成为各行业的骨
【案情】2010年7月,王先生买了一套商品房,首付20万元,银行贷款40万元,并办理了产权证。一年后王先生与张小姐结婚,当时王先生所买的房产已升值至80万元,婚后双方共同偿还贷
所谓职位意识,亦称职权意识,即人们常说的角色意识。如何更好地发挥副职的作用,协助正职做好工作?摆正自身位置,具有核心意识。做为一名副职必须在自己的心目中真正树立起正
ASP.NET程序设计课程适合采用教、学、做一体的教学模式,这样能够增强教学效果。在教学中,教学设计方案能够指导教师实施教学过程。本文从教学目标设计、教法和学法选用、教
近红外光谱检测技术是近年来发展最快的检测技术之一,具有无损、快速、高效、方便而环保的特点。本文以处于对数生长期的大肠杆菌和单增李斯特菌等致病菌为研究对象,考察了近
随着“互联网+”技术的深入发展,政府利用网络微博、微信等新媒体发布政务信息、开展政民互动、提升公共服务能力等具有深远前景。但政府对新媒体利用的效果如何,仍是模糊不