作者单位

不  限

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

不  限

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

全  文

不  限

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

不  限

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

基于粗糙集和新能量公式的水平集图像分割  CNKI文献

为了提高水平集图像分割的质量和减少水平集迭代次数,本文提出了新的能量公式和水平集函数.在粗糙集数据离散化基础上引入了针对图像数据的离散化方法,根据图像离散区域的信息对新能量函数进行直接加权并且对核函数进...

张迎春 郭禾 《自动化学报》 2015年11期 期刊

关键词: 图像分割 / 粗糙集 / 能量函数 / 水平集

下载(396)| 被引(21)

基于时间STM的软件形式化建模与验证方法  CNKI文献

状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软...

侯刚 周宽久... 《软件学报》 2015年02期 期刊

关键词: 时间STM / 界限模型检测 / 时间计算树逻辑 / 实时嵌入式软件

下载(343)| 被引(10)

行驶时间延迟下配送车辆调度的干扰管理模型与算法  CNKI文献

针对行驶时间延迟下配送车辆调度的干扰管理问题,给出了车辆调度人员实际操作中的一系列"救援模式",并将其提炼为计算机可以理解并处理的形式化知识;按照车辆调度人员的"救援路线列举→救援路线选择&q...

王征 胡祥培... 《系统工程理论与实践》 2013年02期 期刊

关键词: 行驶时间延迟 / 物流配送 / 干扰管理 / 救援模式

下载(1296)| 被引(51)

基于几何关系约束的特征点匹配算法  CNKI文献

特征匹配是计算机视觉中的一个基本问题,基于特征点的特征匹配方法则是其中最为常用的一种算法,有着重要的研究意义和研究价值.众所周知,特征点匹配的结果受很多因素的影响.为更好地处理视角变换的特征匹配问题,给出一...

贾棋 高新凯... 《计算机辅助设计与图形学学报》 2015年08期 期刊

关键词: 图像匹配 / 特征点匹配 / 特征数 / 几何约束

下载(442)| 被引(32)

带通信开销的DAG工作流费用优化模型与算法  CNKI文献

通信开销在云环境中无法忽略,但现有DAG(directed acyclic graph)工作流费用优化模型大都未考虑任务之间的通信开销,难以在实际云环境中应用.为此,提出带通信开销的工作流费用优化模型CA-DAG(communication aware-DAG...

郭禾 陈征... 《计算机研究与发展》 2015年06期 期刊

关键词: 通信开销 / 费用优化 / 工作流 / 分层

下载(172)| 被引(11)

基于“大实践”观的多层次一体化实践教学平台的构建  CNKI文献

文章围绕卓越软件工程人才培养目标,着眼于夯实基础实验教学,加强工程实践能力培养,强化校企合作的实训教学,启迪科研创新思维,突出创新创业能力培养等方面,构建了"基础性实验-专业性实验-综合实训-创新创业&quo...

陆坤 李凤岐... 《中国大学教学》 2013年11期 期刊

关键词: 卓越工程师 / 实践教学 / 大实践 / 校企联合

下载(692)| 被引(17)

模型检测中状态爆炸问题研究综述  CNKI文献

模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要...

侯刚 周宽久... 《计算机科学》 2013年S1期 期刊

关键词: 软件系统 / 模型检测 / 状态空间爆炸 / 形式化验证

下载(868)| 被引(57)

MapReduce框架下基于超平面投影划分的Skyline计算  CNKI文献

近年来,Skyline计算在决策应用中起着越来越重要的作用.针对单机处理的研究已较为成熟.现今大数据爆炸,Skyline计算面临着大数据处理的问题.MapReduce是一个并行模型,广泛应用于数据密集型应用处理中.众所周知,MapRed...

王淑艳 杨鑫... 《计算机研究与发展》 2014年12期 期刊

关键词: Skyline计算 / 大数据 / MapReduce / 超平面投影划分

下载(144)| 被引(13)

多车场带时间窗车辆路径问题的变邻域搜索算法  CNKI文献

多车场带时间窗车辆路径问题是车辆路径问题集合中的一个极为复杂、且仍未得到较好解决的问题。针对这一问题,建立了它的整数规划数学模型,提出了一种改进型变邻域搜索算法。该算法在初始解的构造阶段采用聚类方法完成...

王征 张俊... 《中国管理科学》 2011年02期 期刊

关键词: 多车场带时间窗车辆路径问题 / 变邻域搜索 / 后优化 / 模拟退火

下载(1774)| 被引(95)

基于非完全信息博弈的网格资源分配模型  CNKI文献

针对网格计算环境动态,异构和分布的特性以及网格资源分配中资源利用率低、效益不均等问题,结合微观经济学理论,建立了一种多赢家式的网格资源拍卖模型(muti-winners auction model,简称MWAM).将隐马尔可夫模型应用在...

李明楚 许雷... 《软件学报》 2012年02期 期刊

关键词: 隐马尔可夫预测 / 非完全信息博弈 / 纳什均衡 / 多赢家式拍卖

下载(694)| 被引(24)

带二维装箱约束的物流配送车辆路径问题  CNKI文献

现实物流活动中大量存在的易损、易碎物品的运输问题属于带二维装箱约束的物流配送问题,该问题是二维装箱问题与车辆路径问题这两个经典难题融合之后的一个新问题.针对这一问题,在对其进行明确定义的基础上,建立了数学...

王征 胡祥培... 《系统工程理论与实践》 2011年12期 期刊

关键词: 二维装箱约束 / 物流配送 / 车辆路径问题 / Memetic算法

下载(1075)| 被引(46)

以大学生科技竞赛为牵引的创新实验班建设  CNKI文献

科技竞赛能够引领学生在实践中领悟科学原理,收获科技成果和实训经验,真正地做到学以致用,在大学生人才培养中占有重要地位。为更好地培养创新型软件人才,该文探索了以大学生科技竞赛为牵引的创新实验班建设方法,通过...

贾棋 王祎... 《实验技术与管理》 2015年04期 期刊

关键词: 科技竞赛 / 创新实验班 / 全新教学模式 / 个性化创新课程体系

下载(383)| 被引(15)

基于VMware的桌面虚拟化实验设计  CNKI文献

运用桌面虚拟化技术,对现有的实验体系进行了相关内容的扩充。利用VMware View虚拟化平台最大限度地提高服务器利用效率,同时为终端提供快捷、安全的定制化桌面系统,设计搭建针对实验室环境的桌面虚拟化实验。针对高校...

刘文杰 江贺 《实验技术与管理》 2015年01期 期刊

关键词: 桌面虚拟化技术 / VMware / View / 实验教学

下载(298)| 被引(15)

安全的变容量恢复水印方案  CNKI文献

针对现有水印算法大多无法准确定位并恢复被篡改区域的问题,兼顾水印嵌入容量和安全性,提出了一种安全的变容量恢复水印算法.该算法首先将原始图像分成纹理块和平滑块,纹理块除了保存常规信息外,还保存了"细节&q...

石慧 李明楚 《计算机研究与发展》 2014年08期 期刊

关键词: 恢复水印 / 安全 / 篡改检测 / 变容量

下载(104)| 被引(12)

面向三维打印的壳状结构汽车及部件模型轻量化建模  CNKI文献

针对壳状模型轻量化设计和模拟问题,提出一种基于热扩散的壳状汽车模型轻量化方法,并利用三维打印在个性化方面的优势建立具有数值模型模拟、三维打印,以及工程验证的一整套汽车轻量化建模系统.首先对模型进行特征分析...

王胜法 李宝军... 《计算机辅助设计与图形学学报》 2015年06期 期刊

关键词: 轻量化建模 / 壳状结构 / 热扩散 / 三维打印

下载(309)| 被引(13)

计算机组成原理实验新教学模式研究实践  CNKI文献

通过分析计算机组成原理实验教学现状,指出了现阶段计算机组成原理实验教学存在的部分不足,从教学手段、教学方式及教学内容调整等方面提出了相应的改革措施。实践证明,通过新教学模式的实施,使该课程在教学效果方面有...

迟宗正 赖晓晨... 《实验技术与管理》 2015年05期 期刊

关键词: 微信平台 / 大规模开放式网络课程 / 仿真软件

下载(286)| 被引(9)

基于项目和信任的协同过滤推荐算法  CNKI文献

为解决冷启动用户的推荐问题,对TrustWalker算法在相似度计算、可能性项目选择和预测评分等方面进行改进,提出一种基于项目和信任的协同过滤推荐算法CoTrustWalker。采用云模型相似度方法计算项目间的相似度,通过选择...

朱丽中 徐秀娟... 《计算机工程》 2013年01期 期刊

关键词: 推荐系统 / 协同过滤 / 基于信任网络推荐 / 冷启动推荐

下载(671)| 被引(50)

非规则流中高维数据流典型相关性分析并行计算方法  CNKI文献

为了满足在计算资源受限的环境下高维数据流处理的实时性要求,提出一种方法——基于GPU(graphicprocessing unit)的非规则流中高维数据流的处理模型和具体的可行架构,并分析设计了相关的并行算法.该六层模型是将GPU处...

周勇 卢晓伟... 《软件学报》 2012年05期 期刊

关键词: 图形处理器 / 高维数据流 / 典型相关性 / 统一计算设备架构

下载(396)| 被引(11)

口语非流利性现象与内在的语言发展之间的相关研究  CNKI文献

本文采用微变量分析方法,通过考查9位非英语专业学生两年里连续4次的口语考试语料,探讨了口语的非流利性现象与内在的语言发展之间的相关关系。研究发现在语言从基础阶段到高级复杂阶段的发展过程中,非流利性现象的总...

高莹 樊宇... 《外语与外语教学》 2014年04期 期刊

关键词: 口语非流利性 / 语言发展 / 停顿 / 重复

下载(566)| 被引(8)

在线日语智能视频语料库JV-Finder的设计与实现——语境视域...  CNKI文献

真实语境下学习外语对于提高跨文化交际能力有着重要的作用。但是在学习者母语环境下,学习者很难有机会接触到目标语真实语境。通过构筑以日语影视作品为语境语料的智能视频语料库,提供基于字幕、场景、功能的视频片检...

刘玉琴 江波... 《现代教育技术》 2014年09期 期刊

关键词: 语境 / 跨文化交际能力 / 影视作品 / 语料库

下载(394)| 被引(4)

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

  • 发文趋势

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

相关机构

轻松读懂《孙子兵法》