周建华

作品数：2被引量：9H指数：2
导出分析报告
供职机构：吉林大学软件学院更多>>
发文主题：基于模型诊断合取范式无解冲突集集合枚举树更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电子学报》《计算机研究与发展》更多>>
所获基金：浙江省自然科学基金国家自然科学基金吉林省科技发展计划基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
结合问题特征利用SE-Tree反向深度求解冲突集的方法被引量：5
《电子学报》2017年第5期1175-1181,共7页欧阳丹彤 刘伯文 周建华 张立明 
国家自然科学基金(No.61133011;No.61402196;No.61272208;No.61003101;No.61170092);吉林省科技发展计划项目基金(No.20140520067JH);浙江省自然科学基金(No.LY16F020004)
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索...
关键词：基于模型诊断 冲突集 布尔约束可满足 集合枚举树 
基于模型诊断中结合问题特征的新方法被引量：6
《计算机研究与发展》2017年第3期502-513,共12页欧阳丹彤 周建华 刘伯文 张立明 
国家自然科学基金项目(61672261;61502199;61402196;61272208);浙江省自然科学基金项目(LY16F020004)~~
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包...
关键词：基于模型的诊断 无解空间剪枝 合取范式 SAT求解器 枚举树 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部