张乾

作品数：3被引量：7H指数：1
导出分析报告
供职机构：吉林大学更多>>
发文主题：约束满足问题人工智能实例化义县组火山岩地层更多>>
发文领域：自动化与计算机技术天文地球政治法律更多>>
发文期刊：《计算机研究与发展》《吉林大学学报（工学版）》更多>>
所获基金：国家教育部博士点基金国家自然科学基金吉林省自然科学基金中国地质调查局地质调查项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于成功回溯的约束推理技术被引量：1
《吉林大学学报（工学版）》2016年第5期1622-1626,共5页王涛 张乾 李占山 张良 
国家自然科学基金项目(61170314;61272208);吉林省科技发展计划项目(20140101200JC;20071106);教育部高等学校博士学科点专项科研基金项目(20100061110031)
提出了基于成功回溯的约束推理技术及其相应的约束求解算法MAC_BTS,并证明了该算法在一条分枝上回溯到网络相容状态的最坏时间复杂度是O（ned3）。实验结果表明：新的MAC_BTS算法在大多数问题的求解上较国际上流行的MAC3rm算法以及MAC_L...
关键词：人工智能 约束满足问题 约束推理 成功回溯 
基于实例化次数的约束求解方法研究被引量：5
《计算机研究与发展》2015年第5期1091-1097,共7页李占山 张乾 张良 
国家自然科学基金项目(61170314;61272208;61373052);吉林省自然科学基金项目(20140101200JC);教育部高等学校博士学科点专项科研基金项目(20100061110031)
启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求...
关键词：人工智能 约束满足问题 启发式 变量实例化失败次数 值实例化成功次数 
基于问题结构的边界启发式方法被引量：1
《吉林大学学报（工学版）》2013年第4期1045-1051,共7页李占山 张良 郭劲松 张乾 
国家自然科学基金项目(60873148;60973089;61170314);吉林省自然科学基金项目(201101039;20071106;20080107);高等学校博士学科点专项科研基金项目(20100061110031)
现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,...
关键词：人工智能 边界启发式 约束满足问题 Composed问题 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部