检索结果-南通市图书馆

软件学报 2012年第7期23卷 1816-1823页

作者：李宏博李占山王涛吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 长春工业大学计算机科学与工程学院吉林长春130012

约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后... 详细信息

约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时.

关键词：约束满足问题维持弧相容粗粒度算法修正检查

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

维持弧的唯一性优化粗粒度弧相容算法

引用

哈尔滨工程大学学报 2018年第4期39卷 744-750页

作者：李颖杨罡李占山吉林大学计算机科学与技术学院吉林长春130012

针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗... 详细信息

针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗余的弧放回操作,从而保证了弧的唯一性。改进后框架可用于改进所有的粗粒度弧相容算法。实验结果表明,经过AC_AO改进后的算法最多可以少检查77%的弧,最多可以减少30%的CPU求解时间。这将大大减少修正函数的调用次数,从而提高AC的执行效率,应用在维持弧相容算法求解的过程中提高效率是非常有意义的。

关键词：人工智能约束满足问题维持弧相容粗粒度算法哈希算法唯一预处理一致性冗余回溯

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于约束满足问题求解算法的改进算法研究

基于约束满足问题求解算法的改进算法研究

引用

作者：杨罡吉林大学

学位级别：硕士

约束满足问题在人工智能领域有着广泛的应用。目前有许多求解约束满足问题的方法,本文对常用的求解约束满足问题的维持弧相容算法做了改进,对求解约束满足问题的效率起到至关重要的两个部分--弧相容和启发式分别做了改进,从两个方面整... 详细信息

约束满足问题在人工智能领域有着广泛的应用。目前有许多求解约束满足问题的方法,本文对常用的求解约束满足问题的维持弧相容算法做了改进,对求解约束满足问题的效率起到至关重要的两个部分--弧相容和启发式分别做了改进,从两个方面整体地提高求解约束满足问题的效率。本文通过分析约束满足问题的粗粒度维持弧相容求解算法在弧相容(arc containing,AC)的执行过程,发现在对弧的修正检查算法中存在冗余的弧放回操作,并对弧的冗余放回给出了完整的证明。启发式是约束满足问题求解的一个重要组成部分,它通过一定的策略来选择并确定变量和值来搜索约束满足问题的解。目前已有许多成熟的变量启发式能够针对特定的问题属性进行搜索路径选择,但是由于针对性极强,一旦被求解问题针对的特性并不明显,则相应的启发式不能发挥选择作用,有时甚至使得问题求解效率下降极大。基于此,考虑设计一种鲁棒性强的启发式,来避免断崖式的求解效率波动。本文对约束满足问题求解的改进主要体现在以下两个方面:(1)在AC3算法的基础上提出了一种改进算法ACO通过保证弧的唯一性来避免冗余弧的放回队列的操作。这种通过维持弧的唯一性改进弧相容算法的模式可以形成框架并适用于AC系列算法,包括AC3算法、AC2001算法、AC3rm算法,本文将提出的改进算法框架ACO应用于AC3、AC2001、AC3rm算法与原算法做实验对比,实验结果表明,应用ACO算法框架后的AC系列算法最多可以少检查77%的弧,最多可以减少30%的CPU求解时间,ACO算法通过减少弧的检查进而减少修正函数的调用次数,从而提高AC的执行效率,缩短弧相容算法的执行时间。将ACO算法应用在维持弧相容算法求解的过程中对求解效率提高是非常有意义的。(2)提出了一种基于遗传选择的启发式方法,能够针对问题属性进行自适应地选择合适启发式指导变量选择。本文对该方法进行了详细分析与描述,将之与最新版本的Choco求解器中最常用的默认启发式domOverWdeg启发式、activityBased启发式作对比,并且针对遗传选择的启发式算法,分别做了两组实验,一组弧相容算法选择AC3算法,另一组弧相容算法选择ACO算法,分别进行约束满足问题的求解,实验结果表明在约束满足问题的求解上,ACO算法优于AC3算法。基于遗传选择的启发式算法的求解效率最高是domOverWdeg启发式的2.35倍,activityBased启发式的2.26倍。在求解效率的鲁棒性上也优于其他启发式算法。

关键词：约束满足问题维持弧相容粗粒度算法哈希唯一启发式自适应

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

不可控光照下的LNMCP人脸识别方法

引用

计算机工程与应用 2013年第10期49卷 173-176,187页

作者：周丽芳李伟生房斌王立逗重庆邮电大学软件学院重庆400065 重庆大学计算机学院重庆400044 重庆邮电大学计算机科学与技术研究所重庆400065

局部二值模式(LBP)在人脸识别领域取得了显著成效,但由于没有考虑像素之间的对比度,导致部分重要纹理特征被丢弃。采用粗粒度分区算法求取各人脸分块对比度值域区间的动态阈值点,并借鉴LMCP算法思想利用上述阈值点分别对各人脸分块编码... 详细信息

局部二值模式(LBP)在人脸识别领域取得了显著成效,但由于没有考虑像素之间的对比度,导致部分重要纹理特征被丢弃。采用粗粒度分区算法求取各人脸分块对比度值域区间的动态阈值点,并借鉴LMCP算法思想利用上述阈值点分别对各人脸分块编码,得到结合光照变化信息的局部非线性多层对比度特征LNMCP作为人脸特征。实验结果表明,该方法识别率高,特别是在户外人脸库上提高了2.91%,方法在不可控光照变化环境下具有极强的自适应性。

关键词：局部非线性多层对比格局局部二值模式粗粒度算法动态阈值

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：