咨询与建议

限定检索结果

文献类型

  • 573 篇 期刊文献
  • 104 篇 会议

馆藏范围

  • 677 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 630 篇 工学
    • 486 篇 计算机科学与技术...
    • 322 篇 软件工程
    • 108 篇 机械工程
    • 51 篇 网络空间安全
    • 39 篇 控制科学与工程
    • 17 篇 仪器科学与技术
    • 10 篇 信息与通信工程
    • 7 篇 电子科学与技术(可...
    • 3 篇 力学(可授工学、理...
    • 3 篇 动力工程及工程热...
    • 3 篇 测绘科学与技术
    • 3 篇 地质资源与地质工...
    • 3 篇 交通运输工程
  • 70 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 26 篇 理学
    • 9 篇 数学
    • 7 篇 系统科学
    • 3 篇 天文学
    • 2 篇 地理学
    • 2 篇 大气科学
    • 2 篇 生物学
  • 11 篇 医学
    • 5 篇 临床医学
    • 4 篇 中医学
    • 2 篇 中西医结合
    • 2 篇 医学技术(可授医学...
  • 6 篇 军事学
    • 6 篇 军队指挥学
  • 6 篇 艺术学
    • 6 篇 设计学(可授艺术学...
  • 3 篇 经济学
    • 2 篇 应用经济学
    • 1 篇 理论经济学
  • 2 篇 农学
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 16 篇 模型检测
  • 13 篇 云计算
  • 12 篇 gpu
  • 11 篇 性能优化
  • 10 篇 形式化方法
  • 10 篇 性能测试
  • 10 篇 非真实感绘制
  • 10 篇 图形处理器
  • 9 篇 并行计算
  • 8 篇 正则表达式
  • 8 篇 数据挖掘
  • 8 篇 opencl
  • 8 篇 静态分析
  • 7 篇 程序分析
  • 7 篇 算法
  • 7 篇 人机交互
  • 7 篇 深度学习
  • 7 篇 形式化验证
  • 7 篇 多边形
  • 6 篇 人工智能

机构

  • 380 篇 中国科学院软件研...
  • 206 篇 中国科学院大学
  • 137 篇 计算机科学国家重...
  • 122 篇 中国科学院研究生...
  • 78 篇 澳门大学
  • 50 篇 中国科学院软件研...
  • 36 篇 中国科学院软件研...
  • 26 篇 中国科学院软件研...
  • 25 篇 中国科学院软件研...
  • 24 篇 中国科学院软件研...
  • 24 篇 中国科学院计算机...
  • 22 篇 苏州大学
  • 19 篇 中国科学院软件研...
  • 19 篇 上海交通大学
  • 19 篇 中国科学技术大学
  • 18 篇 中国科学院软件研...
  • 18 篇 北京大学
  • 15 篇 长安大学
  • 14 篇 中国科学院软件研...
  • 14 篇 天津工业大学

作者

  • 91 篇 吴恩华
  • 64 篇 张云泉
  • 48 篇 wu enhua
  • 44 篇 王文成
  • 33 篇 魏峻
  • 29 篇 王永吉
  • 26 篇 wei jun
  • 26 篇 zhang yun-quan
  • 26 篇 刘学慧
  • 23 篇 张文博
  • 22 篇 黄涛
  • 21 篇 wu en-hua
  • 20 篇 张广泉
  • 20 篇 盛斌
  • 19 篇 huang tao
  • 18 篇 zhang wen-bo
  • 16 篇 吴敬征
  • 16 篇 陈彦云
  • 15 篇 柳有权
  • 15 篇 杨超

语言

  • 677 篇 中文
检索条件"机构=中国科学院软件研究所 并行软件与计算科学实中国科学院软件研究所 计算机科学国家重点实验室"
677 条 记 录,以下是21-30 订阅
排序:
基于凸剖分的多边形窗口线裁剪算法
收藏 引用
计算机辅助设计与图形学学报 2007年 第4期19卷 425-429页
作者: 李静 王文成 吴恩华 中国科学院软件研究所计算机科学国家重点实验室
以不增加新点的方式将多边形剖分为一些凸多边形,并基于这些多边形的边建立二叉树进行管理.裁剪计算时,根据二叉树快速地找到与被裁剪线有相交的凸多边形,然后运用高效的凸多边形裁剪算法进行线裁剪.该方法能自适应地降低裁剪计算的复杂... 详细信息
来源: 评论
SegGraph:外场景三维点云闭环检测算法
收藏 引用
计算机研究与发展 2019年 第2期56卷 338-348页
作者: 廖瑞杰 杨绍发 孟文霞 董春梅 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学 北京100190 中国科学院软件研究所 北京100190
提出适用于配有三维激光雷达的自主移动机器人在外场景进行同时定位与地图创建(simul-taneous localization and mapping, SLAM)的一种闭环检测算法,命名为SegGraph.作为SLAM的关键模块,闭环检测的任务是判断机器人当前位置是否与已... 详细信息
来源: 评论
线性复杂度的网格优化划分
收藏 引用
软件学报 2011年 第10期22卷 2488-2496页
作者: 李静 王文成 中国科学院软件研究所计算机科学国家重点实验室 北京100190
均匀网格划分是一种重要的场景空间组织结构,在光线跟踪绘制、碰撞检测、路径规划等方面有着广泛的应用.特别是由于其计算简单,很适合动态环境的处理.由于该结构的创建时间、空间需求和应用效率与网格分辨率密切相关,优化的网格划分一... 详细信息
来源: 评论
一种Linux安全漏洞修复补丁自动识别方法
收藏 引用
计算机研究与发展 2022年 第1期59卷 197-208页
作者: 周鹏 武延军 赵琛 中国科学院软件研究所 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
及时获取并应用安全漏洞修复补丁对保障服务器用户的安全至关重要.但是,学者和机构研究发现开源软件维护者经常悄无声息地修复安全漏洞,比如维护者88%的情况在发布软件新版本时才在发行说明中告知用户修复了安全漏洞,并且只有9%的漏洞... 详细信息
来源: 评论
REST API设计分析及研究
收藏 引用
软件学报 2022年 第9期33卷 3271-3296页
作者: 周芯宇 陈伟 吴国全 魏峻 中国科学院软件研究所 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
REST API已成为访问和使用Web服务的重要途径,为开发基于服务架构的应用系统提供了可复用接口.但是,REST API的设计质量参差不齐,因此有效、合理的设计指导规范对于规范和提高REST API设计质量具有现意义和应用价值.首先,基于REST AP... 详细信息
来源: 评论
一种融合程序员和神经网络的自动化程序生成方法
收藏 引用
计算机研究与发展 2021年 第3期58卷 638-650页
作者: 周鹏 武延军 赵琛 中国科学院软件研究所 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
程序生成是人工智能的核心研究问题之一,当前输入输出样例驱动的神经网络模型是非常流行的研究方法.面临的主要挑战是泛化能力差、生成程序准确率保证、难以处理复杂程序结构(如分支、循环、递归等),主要原因是模型的输入信息单一(输入... 详细信息
来源: 评论
基于网格中心点的点在多边形内的高效判定
收藏 引用
软件学报 2012年 第9期23卷 2481-2488页
作者: 李静 王文成 中国科学院软件研究所计算机科学国家重点实验室 北京100190
提出一种基于均匀网格的点在多边形内的高效判定算法.它首先建立均匀网格,并从左至右依次计算每个网格单元中心点的位置属性.每个单元中心点的位置属性直接依据其左侧邻接单元已知位置属性的中心点快速获得.在判定点的位置时,确定被测... 详细信息
来源: 评论
采用了剪枝优化的子类型关系判定算法
收藏 引用
软件学报 2010年 第7期21卷 1481-1490页
作者: 戴晓君 陈海明 中国科学院软件研究所计算机科学国家重点实验室 北京100190
静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平... 详细信息
来源: 评论
openEuler中C标准库替换的兼容性分析
收藏 引用
计算机研究与发展 2023年 第7期60卷 1514-1532页
作者: 吴亦泽 于佳耕 郑晨 武延军 中国科学院软件研究所 北京100190 中国科学院大学 北京101408 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
当前大多数Linux发行版使用功能强大的glibc(GNU C library)作为C标准库(简称C库),但glibc的LGPL协议存在商用不友好条款,制约了商业Linux发行版的推广.一种可行的解决方案是选择某个与glibc相比尚有功能缺陷但适宜商用的C库加以补全,... 详细信息
来源: 评论
面向操作系统可靠性保障的开源软件供应链
收藏 引用
软件学报 2020年 第10期31卷 3056-3073页
作者: 梁冠宇 武延军 吴敬征 赵琛 中国科学院软件研究所 北京100190 中国科学院大学 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
软件可靠性是软件工程领域中的研究热点之一,故障率分析是软件可靠性的典型研究方法.然而,软件构建模式已从单体模式演进到以开源软件为代表的规模化协作模式,操作系统作为代表性产物之一,含开源软件之间通过组合关系和依赖关系,形成... 详细信息
来源: 评论