基于AC-4的动态值启发式约束满足问题求解算法

来源 :吉林大学学报(工学版) | 被引量 : 0次 | 上传用户:sjmaomaoqiu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。
其他文献
<正>这是三幅样板房概念设计的效果表现,使用SKETCHUP软件,以一种完整透视、全透明的视线来表现设计,弱化了结构细节,凸显了整体空间的造型感和体量感。整体设计为现代简约风
提出了一种基于超声红外定位原理的自动引导车辆AGV(Automatic Guided Vehicle)定位新方法,给出了系统导航与控制的数学模型,并以此为基础研制开发了一套新的AGV系统。与传统的地
<正>中国专利CN201110346253.0本发明涉及一种薄壁铝蜂窝零件数控加工方法。本发明在工装上纵向粘贴双面胶,将待加工零件通过双面胶粘接在工装上;然后利用刀具螺旋角度为10°
基于用不同附着系数的滑移层模拟不同附着系数路面的思想,提出了用输出扭矩可变的电磁滑差离合器来模拟不同附着系数路面的整车ABS台架检测方法及无级模拟汽车惯量的电模拟方
自由资本主义向后自由资本主义的过渡,对社会批判理论发展产生了重要影响。对霍克海默来说,早期社会批判理论已不适应改变了的社会状况。在此语境下,霍克海默的社会批判理论也发
1病历摘要患者女,26岁,农民。因劳累、受凉“感冒”后而致乏力、腹胀7天,2天前发现全身皮肤及眼珠发黄,当地乡村医生按“黄疸型肝炎”给予药物保肝治疗,未见好转,于2006年4月6日来
在充分分析现有纹线距离估计方法的基础上,突破了基于整幅指纹图像或者分块图像进行纹线距离估计的传统思路,提出了一种基于区域水平的新的指纹纹线距离估计方法。首先,根据纹线方向一致性,自适应地将一幅指纹图像划分为若干个区域,提出了区域的统计窗概念。然后,在对指纹图像进行二值化后,为每个区域定义统计窗和基线,以区域为单位,采用一种距离统计方法,估计每个区域的平均纹线距离。实验证明,采用这种方法进行纹线距离
为进一步打造玉柴重工品牌价值形象,提升服务核心竞争力,提高客户满意度,实施全新的服务理念、模式和服务商务政策,同时对各位代理商服务经理展开2011年新机型的技术培训,提升专业
[目的]探讨便时温水坐浴联合便后中药熏洗坐浴对减轻肛肠疾病术后疼痛的效果。[方法]采用随机对照方法将纳入的80例研究对象分为干预组和对照组,每组40例,对照组给予中药熏洗
为了研究黄土区人工林地土壤水分特征及其对降雨的响应,以晋西黄土区人工刺槐林地、人工侧柏林地、人工刺槐侧柏混交林地为研究对象,利用EnviroSMART土壤水分定位监测系统和