主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

基于约束程序方法的数独问题求解研究  CNKI文献

数独是一个风靡世界的基于逻辑的填数字游戏,因为非常流行吸引了世界各地的爱好者。从计算的角度来看,数独也是一个如我们所期望的属于NP完备问题的集合,也就是说,理论上我们不能期望找到一个多项式复杂度的算法...

MOHAMMED ABDO MOHAMMED HAMID(汉丁) 导师:张永刚 吉林大学 2019-04-01 硕士论文

关键词: 数独 / 约束程序 / 约束满足问题 / 回溯

下载(66)| 被引(0)

约束程序在稳定匹配上的应用  CNKI文献

稳定匹配问题在1962年由诺贝尔奖获得者埃尔文·罗斯(Alvin Roth)和罗伊德·沙普利(Lloyd Shapley)提出。匹配问题是将一组对象与另外一组对象进行匹配,在匹配的过程中受到偏好序列和容量的

武鹏 导师:张永刚 吉林大学 2018-04-01 硕士论文

关键词: 约束程序 / 稳定匹配 / 稳定婚姻问题 / 稳定室友问题

下载(45)| 被引(0)

约束满足问题研究及其在蛋白质结构预测中的应用  CNKI文献

约束程序是人工智能领域重要的基础模型,在很多领域都有着广泛的应用。本文介绍了约束满足问题的基于回溯搜索结合约束传播技术的求解策略,详述了求解过程中各个模块的细节,分析了不同策略在各个...

李宏博 导师:梁艳春 吉林大学 2015-06-01 博士论文

关键词: 约束满足问题 / 约束求解 / 约束传播 / 启发式搜索

下载(175)| 被引(2)

基于AC与LmaxRPC的自适应约束传播求解算法  CNKI文献

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行...

王海燕 欧阳丹彤... 《湖南大学学报(自然科学版)》 2013年07期 期刊

关键词: 人工智能 / 约束程序 / 约束满足问题 / 自适应约束求解

下载(69)| 被引(0)

自适应约束求解方法研究  CNKI文献

约束求解是人工智能领域最热门的关键词之一,它是约束程序(ConstraintProgramming,CP)的核心问题约束求解方法的发展为业界提供了许多机遇和挑战。当前,约束求解方法已经发展到...

王海燕 导师:欧阳丹彤 吉林大学 2013-06-01 博士论文

关键词: 约束程序 / 约束满足问题 / 自适应约束求解 / 分支策略

下载(417)| 被引(4)

面向问题结构的约束求解算法研究  CNKI文献

现实世界及学术领域中的很多问题都可以抽象为约束满足问题(ConstraintSatisfaction Problems,CSPs),并使用约束求解方法进行求解,例如N皇后问题、车间作业调度问题、路由选择#~

杨明明 导师:张永刚 吉林大学 2013-04-01 硕士论文

关键词: 约束满足问题 / 约束传播 / 随机探查 / 解计数估计

下载(85)| 被引(1)

基于约束求解的微处理器功能验证程序生成  CNKI文献

针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用...

马竹青 章建雄... 《计算机工程》 2011年18期 期刊

关键词: 功能验证 / 验证程序自动生成 / 约束满足问题 / 约束函数库

下载(48)| 被引(1)

约束满足问题中相容技术的研究  CNKI文献

约束是一个无处不在的概念,它依附于人们日常生活中的经历:它们代表着限制人们自由决策的条件。日常生活中的各种组合优化问题与它都有着非常密切的关系,尤其是一些具有学术价值和商业价值的问题,...

邢士美 导师:杨凤杰 吉林大学 2011-05-01 硕士论文

关键词: 人工智能 / 约束满足问题 / 相容性技术 / 约束求解

下载(143)| 被引(3)

约束求解的推理技术研究  CNKI文献

本文主要工作是研究与改进约束求解中的推理技术。具体内容包括:提出基于最先失败原则的约束传播算法FFP-AC;研究相容性技术传播级别,提出singleton子问题弧相容概念和相应算法;提出并证明多值传播...

朱兴军 导师:杨凤杰 吉林大学 2009-04-01 硕士论文

关键词: 人工智能 / 约束满足 / 推理技术 / 约束求解

下载(152)| 被引(7)

基于约束传播的约束求解方法研究  CNKI文献

约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的解而用到的各种技术。而约束传播即为众多...

刘春晖 导师:孙吉贵 吉林大学 2008-10-01 博士论文

关键词: 约束求解 / 约束推理 / 约束传播 / 相容性技术

下载(484)| 被引(7)

基于约束的现代调度系统研究  CNKI文献

现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性。本文主要研究内容为基于约束的现代调度,即运用约束程序设计方法来求解现代调度问题,从而拓展了约束程序设计在求...

张居阳 导师:孙吉贵 吉林大学 2006-10-01 博士论文

关键词: 人工智能 / 约束程序 / 现代调度 / 约束求解

下载(489)| 被引(11)

约束程序语义与系统实现研究  CNKI文献

本文主要对约束逻辑程序的语义、分层约束满足的应用、随机约束满足问题的生成模型以及约束求解系统实现等问题进行了研究,拓展了约束程序理论和实现基础。主要工作包括:提...

张永刚 导师:孙吉贵 吉林大学 2005-10-01 博士论文

关键词: 约束满足问题 / 约束求解 / 生成模型 / 约束程序

下载(308)| 被引(3)

约束推理与约束程序设计语言的研究  CNKI文献

约束表示,约束推理,约束满足系统和约束语言是人工智能和计算机科学领域研究的一个重要内容,它可广泛应用于决策支持,基于模型的诊断,任务调度,系统配置,电路设计和分析,图形界面设计...

陈源 导师:史忠植 中国科学院研究生院(计算技术研究所) 1997-05-01 硕士论文

关键词: 约束满足问题 / 约束满足系统 / 约束推理 / 约束语言

下载(194)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状