咨询与建议

限定检索结果

文献类型

  • 1,467 篇 期刊文献
  • 257 篇 会议
  • 20 件 标准
  • 1 篇 学位论文
  • 1 篇 成果

馆藏范围

  • 1,746 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,575 篇 工学
    • 1,194 篇 计算机科学与技术...
    • 705 篇 软件工程
    • 238 篇 机械工程
    • 216 篇 网络空间安全
    • 122 篇 控制科学与工程
    • 49 篇 仪器科学与技术
    • 43 篇 信息与通信工程
    • 34 篇 电子科学与技术(可...
    • 7 篇 地质资源与地质工...
    • 6 篇 力学(可授工学、理...
    • 6 篇 材料科学与工程(可...
    • 5 篇 动力工程及工程热...
    • 5 篇 测绘科学与技术
    • 4 篇 建筑学
    • 4 篇 航空宇航科学与技...
  • 236 篇 管理学
    • 227 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
  • 120 篇 理学
    • 81 篇 数学
    • 15 篇 系统科学
    • 8 篇 物理学
    • 4 篇 生物学
    • 3 篇 天文学
    • 3 篇 地理学
  • 27 篇 军事学
    • 26 篇 军队指挥学
  • 21 篇 艺术学
    • 21 篇 设计学(可授艺术学...
  • 16 篇 医学
    • 6 篇 临床医学
    • 4 篇 中医学
  • 13 篇 经济学
    • 12 篇 应用经济学
  • 7 篇 哲学
    • 7 篇 哲学
  • 5 篇 教育学
    • 5 篇 教育学
  • 5 篇 农学
  • 4 篇 文学
  • 2 篇 法学
  • 1 篇 历史学

主题

  • 32 篇 云计算
  • 30 篇 计算机图形学
  • 27 篇 人机交互
  • 25 篇 深度学习
  • 23 篇 人工智能
  • 23 篇 模型检测
  • 22 篇 网络安全
  • 20 篇 计算机
  • 20 篇 虚拟现实
  • 19 篇 并行计算
  • 19 篇 gpu
  • 17 篇 形式化方法
  • 16 篇 隐私保护
  • 16 篇 软件开发
  • 15 篇 数据挖掘
  • 15 篇 密码学
  • 15 篇 面向对象
  • 15 篇 可信计算
  • 15 篇 分组密码
  • 14 篇 算法

机构

  • 381 篇 中国科学院软件研...
  • 348 篇 中国科学院大学
  • 184 篇 中国科学院研究生...
  • 142 篇 中国科学院软件研...
  • 138 篇 中国科学院软件研...
  • 138 篇 计算机科学国家重...
  • 129 篇 中国科学院软件研...
  • 106 篇 澳门大学
  • 97 篇 中国科学院软件研...
  • 87 篇 中国科学院软件研...
  • 72 篇 中国科学院软件研...
  • 57 篇 北京大学
  • 53 篇 中国科学技术大学
  • 50 篇 中国科学院计算技...
  • 50 篇 清华大学
  • 47 篇 中国科学院软件研...
  • 40 篇 中国科学院软件研...
  • 37 篇 中国科学院软件研...
  • 37 篇 北京航空航天大学
  • 36 篇 中国科学院软件研...

作者

  • 177 篇 吴恩华
  • 95 篇 张云泉
  • 69 篇 王文成
  • 56 篇 戴国忠
  • 51 篇 冯登国
  • 45 篇 刘学慧
  • 45 篇 魏峻
  • 44 篇 黄涛
  • 35 篇 王宏安
  • 35 篇 张文博
  • 33 篇 王永吉
  • 31 篇 田丰
  • 29 篇 张健
  • 26 篇 张广泉
  • 26 篇 吴文玲
  • 26 篇 薛锦云
  • 25 篇 杨超
  • 25 篇 孙家昶
  • 25 篇 陈彦云
  • 20 篇 柳有权

语言

  • 1,746 篇 中文
检索条件"机构=中国科学院软件研究并行软件与计算科学实验室"
1746 条 记 录,以下是61-70 订阅
排序:
基于源代码扩展信息的细粒度缺陷定位方法
收藏 引用
软件学报 2022年 第11期33卷 4008-4026页
作者: 李晓卓 卿笃军 贺也平 马恒太 基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
基于信息检索的缺陷定位技术,利用跨语言的语义相似性构造检索模型,通过缺陷报告定位源代码错误,具有方法直观、通用性强的特点.但是由于传统基于信息检索的缺陷定位方法将代码作为纯文本进行处理,只利用了源代码的词汇语义信息,导致在... 详细信息
来源: 评论
基于错误根因的Linux驱动移植接口补丁推荐
收藏 引用
计算研究与发展 2022年 第6期59卷 1388-1408页
作者: 李斌 贺也平 马恒太 芮建武 李晓卓 中国科学院大学 北京100049 中国科学院软件研究所基础软件国家工程研究中心 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和... 详细信息
来源: 评论
面向状态可变数据流的集群调度综述
收藏 引用
计算机学报 2022年 第5期45卷 973-992页
作者: 许源佳 吴恒 杨晨 吴悦文 张文博 王焘 中国科学院大学 北京100190 中国科学院软件研究所软件工程技术研究开发中心 北京100190 中国科学院软件研究所计算机科学国家重点实验室 北京100190
状态可变数据流(Mutable States Data Flow,MS-DF)是机器学习系统运行时的主要特征,MS-DF可由有向图来表示,其顶点由算子构成,表示机器学习运算逻辑;边代表算子之间的输入输出依赖关系.MS-DF的集群调度是保障机器学习系统高效运行的主... 详细信息
来源: 评论
有效覆盖引导的定向灰盒模糊测试
收藏 引用
软件学报 2022年 第11期33卷 3967-3982页
作者: 杨克 贺也平 马恒太 蔡春芳 谢异 董柯 基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
定向灰盒模糊测试技术在度量种子对目标执行状态的搜索能力时,除了考虑种子逼近目标代码的程度之外,还需要分析种子对多样化执行状态的发现能力,从而避免陷入局部最优.现有的定向灰盒模糊测试主要根据全程序的覆盖统计来度量种子搜索多... 详细信息
来源: 评论
基于压缩感知的神经网络实时综合防御策略
收藏 引用
计算机学报 2023年 第1期46卷 1-16页
作者: 王佳 张扬眉 苏武强 罗成文 吴超 林秋镇 李坚强 深圳大学计算机与软件学院 深圳518060 中国科学院大学 北京100049 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190
近年来,基于深度神经网络的视觉识别模型因其在准确率、成本及效率等方面的优势而广泛应用于自动驾驶、工业检测及无人机导航等领域.而深度神经网络自身易受数字域或物理域对抗样本攻击导致模型误判,因此其在无人驾驶等具有强鲁棒性、... 详细信息
来源: 评论
影子辅助的三维人体重建
收藏 引用
计算机辅助设计与图形学学报 2023年 第11期35卷 1643-1653页
作者: 康杨雨轩 石剑 任丽欣 刘艳丽 吴恩华 中国科学院软件研究所计算机科学国家重点实验室 北京100190 中国科学院大学 北京100049 中国科学院自动化研究所模式识别国家重点实验室 北京100090 四川大学计算机学院 成都610024 澳门大学 中国澳门999078
光线投射至地面的人体影子可以为人体重建任务提供约束信息,有助于缓解单目图像中的深度歧义问题和自遮挡问题.为了重建三维人体模型,提出一种基于影子输入和深度神经网络的重建方法.首先搭建2个独立的卷积神经网络模块用于提取图像特... 详细信息
来源: 评论
智能合约的时间约束模式及其形式化验证
收藏 引用
软件学报 2022年 第8期33卷 2875-2895页
作者: 赵颖琪 朱雪阳 李广元 包玉龙 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学 北京100049
智能合约是一套以数字形式定义的承诺.通过智能合约,可以大大减少协议制定的中间环节,提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入,智能合约的作用必然越来越突出,智能合约的可靠性问题... 详细信息
来源: 评论
面向深度学习训练的内存交换机制综述
收藏 引用
软件学报 2023年 第12期34卷 5862-5886页
作者: 高赫然 吴恒 许源佳 李修和 王焘 张文博 中国科学院大学 北京100049 中国科学院软件研究所软件工程技术研究开发中心 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 国防科技大学电子对抗学院 安徽合肥230037 中国科学院大学南京学院 江苏南京211135 中科南京软件技术研究院 江苏南京210000
随着深度学习技术的快速发展和深入应用,深度学习训练规模持续增大,内存不足已成为影响深度学习可用性的主要瓶颈之一.内存交换机制是应对深度学习训练内存问题的关键技术,该机制利用深度学习训练内存需求的“时变”特征,在专用计算加... 详细信息
来源: 评论
基于对比学习的航海雷达目标检测方法
收藏 引用
电子学报 2023年 第7期51卷 1791-1802页
作者: 司凌宇 强文文 李港 刘美琴 徐帆江 孙富春 中国科学院软件研究所天基综合信息系统重点实验室 北京100191 中国科学院大学 北京101408 清华大学计算机科学与技术系 北京100084
由于航海雷达图像中的目标与杂波的相似度较高,因此目标检测任务非常困难.此外,虽然航海雷达的原始数据量很大,但标注需要大量的专业知识,导致目前可以直接使用的有效数据很少.为解决上述问题,本文首先建立了两个航海雷达数据集,分别是... 详细信息
来源: 评论
自动向量化:近期进展与展望
收藏 引用
通信学报 2022年 第3期43卷 180-195页
作者: 冯竞舸 贺也平 陶秋铭 中国科学院软件研究所基础软件国家工程研究中心 北京100190 中国科学院大学研究生院 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100090
随着单指令流多数据流(SIMD)技术的迅速发展,近年来许多面向SIMD扩展部件的自动向量化编译方法被提出,有效缓解了程序员手写向量程序的压力,并发挥了SIMD扩展部件的加速效能。基于此,分析总结了自动向量化领域近10年的研究成果,从保义... 详细信息
来源: 评论