郭劲松

作品数：3被引量：7H指数：1
导出分析报告
供职机构：吉林大学更多>>
发文主题：人工智能约束满足问题冲突集基于模型诊断矩阵计算更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《吉林大学学报（工学版）》更多>>
所获基金：国家教育部博士点基金国家自然科学基金浙江省自然科学基金吉林省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于问题结构的边界启发式方法被引量：1
《吉林大学学报（工学版）》2013年第4期1045-1051,共7页李占山 张良 郭劲松 张乾 
国家自然科学基金项目(60873148;60973089;61170314);吉林省自然科学基金项目(201101039;20071106;20080107);高等学校博士学科点专项科研基金项目(20100061110031)
现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,...
关键词：人工智能 边界启发式 约束满足问题 Composed问题 
基于矩阵计算极小碰集的启发式算法被引量：5
《吉林大学学报（工学版）》2013年第1期106-110,共5页欧阳丹彤 耿雪娜 郭劲松 王晓宇 
国家自然科学基金项目(60973089,60873148,60773097,61003101);高等学校博士学科点专项科研基金项目(20100061110031);吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目;浙江省自然科学基金项目(Y1100191)
提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可...
关键词：人工智能 基于模型诊断 冲突集 极小碰集 启发式算法 
基于比特位操作的自适应约束传播算法被引量：1
《吉林大学学报（工学版）》2012年第5期1219-1224,共6页王海燕 郭劲松 欧阳丹彤 张永刚 
国家自然科学基金项目(61170314,60973089,61133011,61170092,61003101,41172294);吉林省科技发展计划项目(20101501,20100185,201101039);高等学校博士学科点专项科研基金项目(20100061110031);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12);浙江省自然科学基金项目(Y1100191)
在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。...
关键词：人工智能 约束满足问题 自适应约束传播 比特位操作 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部