【摘 要】
：
为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信
【机 构】
：
吉林大学符号计算与知识工程教育部重点实验室,吉林大学计算机科学与技术学院
论文部分内容阅读
为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息。不但加入了变量启发式,而且在实例化变量时,对所有值的优先级进行动态的改变,从而实现了动态值启发式。比较了静态值启发式和动态值启发式的效率,分析了该算法的优缺点。通过随机问题标准库用例测试表明,该算法比经典主流算法具有更好的效率优势。
其他文献
双液相发酵的进展贾士儒，赵树欣（天津轻工业学院食品工程系，天津，３００２２２）发酵工业中，除单液相发酵（如氨基酸发酵、酶制剂发酵、有机酸发酵等）占有极重要位置外；双液相发酵系统（ｔｗｏ－ｌｉｑｕｉｄｐｈａｓｅｆｅｒｍｅｎｔａｔｉｏｎ）如在以石油为底
军队任职教育是大学后的继续教育，是在高等教育的基础上对培齐对象获得适应某种特定军事任职岗位需要的专业知识而进行的追加性教育，是高等教育的补充和延伸。本文就军医大学实
本试验对已吸附树脂脱苦处理后的柑桔皮果胶液，用于水溶性食物纤维强化柑汁饮料的开发进行了研究。在以前研究的基础上，对３种吸附树脂不同处理的样品中残留的苦味成分柚皮苷和柠
山矾黄色素的初探任一平，何春毅，黄百芬，陈青俊（浙江省轻工业研究所，杭州，３１０００９）山矾（ＳｙｍｐｌｃｏｓＣａｕｄａｔａｗａｌｌ．ｅｘＡ．ＤＣ），别名甜叶、豆腐柴和乌面毛，常绿灌木或小乔木，树叶干后呈金黄色，分布在我国长江以南各省，浙江山区、半山..
为抑制边界复杂的过渡,提出一种新的过渡特征抑制算法。该算法基于体重构实现过渡特征的抑制,避免直接处理过渡的复杂边界。在边过渡抑制过程中,首先根据过渡面结构重构过渡
对我院临床医学专业本科生4年来临床技能的考试成绩进行了分析，针对分析的结果提出了一些思考与建议。
摘要 为了解决水产养殖尾水环境负效应大的问题，根据养殖尾水特征，设计了机械结合植物净化系统。结果表明，该净化系统能够有效改善水体严重富营养化，降低水体中悬浮物、生物需氧量、化学需氧量、亚硝酸盐氮等的含量，经处理净化后尾水可以实现循环利用，具有显著的生态环境效益。 关键词 水产养殖；尾水；净化方案 中图分类号 S949 文献标识码 A 文章编号 0517-6611（2017）01-0067-02
目的对2006年我校不同课程和不同层次授课教师理论课课堂教学质量评价结果进行分析，为提高我校教师课堂教学质量提供依据。方法收集2006年我校教学督导专家对各位教师课堂教学
从高校学生干部培训目前存在的问题入手，借鉴企业人力资源管理中员工培训的的理念，结合实际情况阐述学生干部培训的基本原则。在此基础上，从培训需求分析培训目标、培训内容、培
大豆分离蛋白是以低变性脱脂大豆粉或浓缩大豆蛋白为原料，经碱、酸等一系列处理后得到的组分较均一、机能特性较强的蛋白质。大豆分离蛋白的等电点在ｐＨ４．２￣５．６范围内。在该范围内大豆分