论文部分内容阅读
约束满足问题是人工智能领域的重要研究方向,其求解方法有三种,搜索、一致性算法和约束传播,其中一致性算法通常通过缩减问题域来提高搜索算法的效率。着重介绍了几种常用的一致性算法,并对几种常用算法进行了分析、比较和研究。
约束满足问题中一致性算法的分析与研究
【摘 要】
：
约束满足问题是人工智能领域的重要研究方向,其求解方法有三种,搜索、一致性算法和约束传播,其中一致性算法通常通过缩减问题域来提高搜索算法的效率。着重介绍了几种常用的一致性算法,并对几种常用算法进行了分析、比较和研究。
【机 构】
：
西安交通大学自动控制系
【出 处】
：
计算机应用与软件
【发表日期】
：
2007年08期
【基金项目】
：
国家自然科学基金资助项目（60502021）.
其他文献
支架作为两轮摩托车和两轮轻便摩托车必不可少的一部分,用以确保车辆处于静止状态时,在不借助人力或其它外部措施的情况下就能够保持稳定。关于支架的认证要求,不论国内还是
素质教育的目的就是培养学生在＂德、智、体、美、劳＂等方面全面发展,从而提高学生素质。物理学科属于中职理工类专业的文化基础课程,在教学过程中更应该渗透素质教育。
色彩课是美术学科的专业基础课程之一，是最生动、最直接的美术表现语言。在现阶段的美术高考中，色彩课程占有举足轻重的位置。色彩课程学习的最终目的是让学生掌握色彩规律，提高色彩修养，熟练掌握绘画技能。所以，教师要使学生在有限的时间内掌握好色彩的基础知识以及表现技法，增强学生对色彩的塑造与表现能力，这不仅需要教师具有过硬的专业知识与技巧，更重要的是要有科学的教学方法。怎样教会学生掌握正确的学习方法，不断提
高职教育是一种适应经济和社会发展的教育。目前在我国,它是职业教育的最高层次,又是高等教育的最低层次。高职教育作为职业教育,虽然在层次上高于中等职业教育和初等职业教
本刊讯1月4日,河南省参加2010年全国职业院校技能大赛表彰大会在郑州隆重召开,省教育厅对获奖选手、先进单位及先进工作者进行了表彰,副省长徐济超,教育厅厅长蒋笃运等出席大
说到哲学．很多人都觉得它离我们很远．对现实生活的帮助不大．是冷门学科。其实不然。哲学是人类对世界万物总结的方式之一．自古以来．人们的生活就离不开哲学。在我国古代．先人们坚持
近年来，江西铅山县为了切实解决城乡困难群众看病难问题，在全县积极开展了城乡医疗救工作。按照“地方财政解决一部分，贫困群众自筹一部分，申请上级部门补助一部分”的原则，采取城
中专学生大部分是初中毕业生．他们所获得的基础知识．远远不能满足在中职学校专业课学习方面的需要。因而．教师必须对他们继续传授基础知识。在有限的时间内，学生们既要扩充基础知
K iayias和Yung首次提出了自计票电子投票方案,使得小规模电子选举不需要任何可信第三方参与,选举的行为公开可验证,有力地保证了选举的秘密性,G roth在此基础上做了改进,使得方案更简洁、高效;然而G roth方案仍只用于双候选人选举,且不允许两个选民同时投票。简要介绍并分析了G roth方案,针对上述两点不足给出改进建议,使新方案更高效且用于多候选人选举。