期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
维持弧的唯一性优化粗粒度弧相容算法
1
作者
李颖
杨罡
李占山
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2018年第4期744-750,共7页
针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗...
针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗余的弧放回操作,从而保证了弧的唯一性。改进后框架可用于改进所有的粗粒度弧相容算法。实验结果表明,经过AC_AO改进后的算法最多可以少检查77%的弧,最多可以减少30%的CPU求解时间。这将大大减少修正函数的调用次数,从而提高AC的执行效率,应用在维持弧相容算法求解的过程中提高效率是非常有意义的。
展开更多
关键词
人工智能
约束满足问题
维持弧相容
粗粒度算法
哈希算法
唯一
预处理
一致性
冗余
回溯
在线阅读
下载PDF
职称材料
改进求解约束满足问题粗粒度弧相容算法
被引量：
12
2
作者
李宏博
李占山
王涛
《软件学报》
EI
CSCD
北大核心
2012年第7期1816-1823,共8页
约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后...
约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时.
展开更多
关键词
约束满足问题
维持弧相容
粗粒度算法
修正检查
在线阅读
下载PDF
职称材料
基于动态度的回溯算法求解大值域约束满足问题
被引量：
8
3
作者
张学才
赵春艳
《计算机应用研究》
CSCD
北大核心
2022年第5期1427-1431,共5页
针对一个具有精确可满足性相变现象的大值域随机约束满足问题,提出了两种启发式动态回溯算法,即基于动态度的ddeg-MAC(dynamic degree-maintaining arc consistency)回溯算法和基于值域与动态度比值的dom/ddeg-MAC(dom/dynamic degree-m...
针对一个具有精确可满足性相变现象的大值域随机约束满足问题,提出了两种启发式动态回溯算法,即基于动态度的ddeg-MAC(dynamic degree-maintaining arc consistency)回溯算法和基于值域与动态度比值的dom/ddeg-MAC(dom/dynamic degree-maintaining arc consistency)回溯算法。这两种算法分别基于ddeg和dom/ddeg挑选变量,利用维持弧相容(MAC)技术为挑选的变量进行赋值。当赋值无法进行时,再执行动态回溯修正变量的赋值。数值实验结果表明:在控制参数非常接近理论相变点时,算法仍然能够有效地找到问题的解。与经典回溯算法相比,这两种启发式动态回溯算法具有显著的优越性。
展开更多
关键词
约束满足问题
动态度
回溯算法
维持弧相容
在线阅读
下载PDF
职称材料
题名
维持弧的唯一性优化粗粒度弧相容算法
1
作者
李颖
杨罡
李占山
机构
吉林大学计算机科学与技术学院
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2018年第4期744-750,共7页
基金
国家自然科学基金项目(61272208
61373052)
吉林省科技计划项目(20180101043JC)
文摘
针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗余的弧放回操作,从而保证了弧的唯一性。改进后框架可用于改进所有的粗粒度弧相容算法。实验结果表明,经过AC_AO改进后的算法最多可以少检查77%的弧,最多可以减少30%的CPU求解时间。这将大大减少修正函数的调用次数,从而提高AC的执行效率,应用在维持弧相容算法求解的过程中提高效率是非常有意义的。
关键词
人工智能
约束满足问题
维持弧相容
粗粒度算法
哈希算法
唯一
预处理
一致性
冗余
回溯
Keywords
artificial intelligence
constraint satisfaction problem
maintaining arc consistency
coarseness algorithm
hashing algorithm
uniqueness
preprocessing
consistency
redundancy
backtracking
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
改进求解约束满足问题粗粒度弧相容算法
被引量：
12
2
作者
李宏博
李占山
王涛
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
长春工业大学计算机科学与工程学院
出处
《软件学报》
EI
CSCD
北大核心
2012年第7期1816-1823,共8页
基金
国家自然科学基金(60773097
60873148
+4 种基金
60973089)
吉林省自然科学基金(201101039
20071106
20080107)
国家教育部博士点专项基金(20100061110031)
文摘
约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时.
关键词
约束满足问题
维持弧相容
粗粒度算法
修正检查
Keywords
constraint satisfaction problem
maintaining arc consistency
coarse-grained algorithm
revision
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于动态度的回溯算法求解大值域约束满足问题
被引量：
8
3
作者
张学才
赵春艳
机构
上海理工大学理学院
出处
《计算机应用研究》
CSCD
北大核心
2022年第5期1427-1431,共5页
基金
国家自然科学基金资助项目(11301339)
国家自然科学基金国际(地区)合作与交流项目(11491240108)。
文摘
针对一个具有精确可满足性相变现象的大值域随机约束满足问题,提出了两种启发式动态回溯算法,即基于动态度的ddeg-MAC(dynamic degree-maintaining arc consistency)回溯算法和基于值域与动态度比值的dom/ddeg-MAC(dom/dynamic degree-maintaining arc consistency)回溯算法。这两种算法分别基于ddeg和dom/ddeg挑选变量,利用维持弧相容(MAC)技术为挑选的变量进行赋值。当赋值无法进行时,再执行动态回溯修正变量的赋值。数值实验结果表明:在控制参数非常接近理论相变点时,算法仍然能够有效地找到问题的解。与经典回溯算法相比,这两种启发式动态回溯算法具有显著的优越性。
关键词
约束满足问题
动态度
回溯算法
维持弧相容
Keywords
constraint satisfaction problem
dynamic degree
backtracking algorithms
maintaining arc consistency
分类号
TP301.5 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
维持弧的唯一性优化粗粒度弧相容算法
李颖
杨罡
李占山
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
2
改进求解约束满足问题粗粒度弧相容算法
李宏博
李占山
王涛
《软件学报》
EI
CSCD
北大核心
2012
12
在线阅读
下载PDF
职称材料
3
基于动态度的回溯算法求解大值域约束满足问题
张学才
赵春艳
《计算机应用研究》
CSCD
北大核心
2022
8
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
