作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

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

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

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

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

下载(457)| 被引(10)

组合优化调度问题求解方法  CNKI文献

1.引言优化是指一个从一组解中选取出最优解或最适应解的过程。优化方法涉及的工程领域很广,问题种类与性质繁多。归纳而言,最优化问题可分为函数优化问题和组合优化问题。其中函数优化的对象是一定区间内的连续变量,...

张居阳 孙吉贵 《计算机科学》 2003年02期 期刊

关键词: Optimization / .Schedule / Job-shop / Tabu

下载(298)| 被引(17)

半在线调度中约束求解算法研究  CNKI文献

很多实际调度问题是半在线的.尝试运用人工智能方法来求解半在线调度问题,首先简要介绍了半在线调度问题并对其约束模型进行了分类,通过引入单调性约束扩展的相关概念,从约束建模角度形式化描述了一类动态约束扩展,并...

张居阳 孙吉贵... 《自动化学报》 2007年07期 期刊

关键词: 半在线调度 / 约束求解 / 单调性

下载(170)| 被引(5)

基于约束的调度研究和实现  CNKI文献

运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实...

张居阳 礼欣 ... 《计算机工程与应用》 2004年33期 期刊

关键词: 约束程序设计 / 调度 / 约束建模 / 优化

下载(140)| 被引(7)

高职学生职业能力定量评价方法研究  CNKI文献

高职学生职业能力评价是学生职业能力培养体系的重要环节,评价结果是反馈整个职业能力培养体系是否可行和有效的重要检验指标。传统职业能力评价多采用主观定性的评价方法,无法实现评价的客观化和精确化。运用数学方法...

张居阳 何民乐 《现代职业教育》 2018年15期 期刊

关键词: 职业能力 / 评价方法 / 定量

下载(7)| 被引(0)

多元约束混合搜索算法研究  CNKI文献

解空间搜索是约束求解的关键环节.目前较为常用的搜索算法一般是基于二元约束或单一搜索策略设计的.本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜...

孙吉贵 张居阳... 《自动化学报》 2007年09期 期刊

关键词: 搜索 / 约束满足问题 / 约束求解 / 多元约束

下载(194)| 被引(5)

SPFA算法的分析及改进  CNKI文献

SPFA(Shortest Path Faster Algorithm)算法是一种对任意有向图求单源最短路径的算法。该算法实现简单,实际运行效果较好,在国内有着比较大的影响力。但遗憾的是,该算法一直缺少正确的理论分析。对该算法进行了分析,指...

夏正冬 卜天明... 《计算机科学》 2014年06期 期刊

关键词: 组合算法 / 单源最短路径 / SPFA算法 / Bellman-Ford算法

下载(475)| 被引(19)

航天嵌入式软件可信性度量方法及应用研究  CNKI文献

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型...

王婧 陈仪香... 《中国科学:技术科学》 2015年02期 期刊

关键词: 航天嵌入式软件 / 软件可信性 / 度量模型 / 分级模型

下载(228)| 被引(11)

最大度二元约束满足问题粒子群算法  CNKI文献

约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响...

杨轻云 孙吉贵... 《计算机研究与发展》 2006年03期 期刊

关键词: 粒子群 / 约束满足问题 / 适应度 / 最大度变量序

下载(282)| 被引(29)

基于Virtual Server的虚拟实验室系统的设计与实现  CNKI文献

阐述了华东师范大学软件学院虚拟实验室教学系统的设计实现与部署过程。该系统以微软"Remote Lab"远程教学系统为原型,结合本学院自身教学需求改进而成,增强了系统各方面的管理功能,如用户管理、虚拟机管理...

张居阳 姜宁康... Proceedings of 2010 Third International Conference on E... 2010-11-27 国际会议

关键词: 虚拟实验室 / 远程教育 / Virtual / Server

下载(36)| 被引(0)

专业英语在软件工程建设中的教学改革与实践  CNKI文献

专业英语在软件工程建设体系中属于一门基础和必修课程,如何培养学生学习专业英语的兴趣,提高学生阅读、理解外文资料能力和掌握专业知识的技能,是该课程建设的重点。本文将结合具体实践教学,探讨在软件工程专业建设中...

毛宏燕 姜宁康... 《计算机工程与科学》 2011年S1期 期刊

关键词: 软件工程 / 专业英语 / 阅读能力 / 商务沟通

下载(141)| 被引(6)

基于值序的二元约束满足问题粒子群算法  CNKI文献

提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明...

杨轻云 孙吉贵... 《计算机工程》 2006年17期 期刊

关键词: 粒子群算法 / 二元约束满足问题 / 最小冲突启发式 / 值序

下载(94)| 被引(3)

稀疏二元约束满足问题的环割集粒子群算法(英文)  CNKI文献

提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭...

杨轻云 孙吉贵... 《广西师范大学学报(自然科学版)》 2006年04期 期刊

关键词: 二元约束满足问题 / 粒子群算法 / 环割集 / 弧相容

下载(58)| 被引(2)

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

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》