咨询与建议

限定检索结果

文献类型

  • 1,310 篇 期刊文献
  • 194 篇 会议
  • 8 件 标准

馆藏范围

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

日期分布

学科分类号

  • 1,346 篇 工学
    • 989 篇 计算机科学与技术...
    • 497 篇 软件工程
    • 289 篇 网络空间安全
    • 154 篇 机械工程
    • 84 篇 控制科学与工程
    • 53 篇 信息与通信工程
    • 51 篇 仪器科学与技术
    • 37 篇 电子科学与技术(可...
    • 27 篇 测绘科学与技术
    • 26 篇 地质资源与地质工...
    • 16 篇 材料科学与工程(可...
    • 11 篇 航空宇航科学与技...
    • 11 篇 环境科学与工程(可...
    • 8 篇 光学工程
    • 7 篇 化学工程与技术
    • 7 篇 交通运输工程
  • 223 篇 管理学
    • 213 篇 管理科学与工程(可...
  • 133 篇 理学
    • 52 篇 数学
    • 20 篇 地理学
    • 18 篇 系统科学
    • 12 篇 物理学
    • 11 篇 生物学
    • 9 篇 生态学
  • 28 篇 医学
    • 9 篇 临床医学
    • 7 篇 公共卫生与预防医...
    • 6 篇 中西医结合
  • 21 篇 军事学
    • 18 篇 军队指挥学
  • 19 篇 农学
    • 11 篇 农业资源与环境
  • 13 篇 艺术学
    • 13 篇 设计学(可授艺术学...
  • 6 篇 经济学
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 文学
  • 3 篇 法学
  • 2 篇 历史学
  • 1 篇 哲学

主题

  • 28 篇 云计算
  • 24 篇 密码学
  • 24 篇 访问控制
  • 22 篇 可信计算
  • 22 篇 信息安全
  • 22 篇 网络安全
  • 20 篇 人机交互
  • 17 篇 模型检测
  • 16 篇 形式化方法
  • 15 篇 人工智能
  • 14 篇 入侵检测
  • 14 篇 分组密码
  • 14 篇 petri网
  • 14 篇 深度学习
  • 12 篇 中间件
  • 12 篇 可信平台模块
  • 11 篇 无线传感器网络
  • 11 篇 数字签名
  • 11 篇 安全性
  • 11 篇 异常检测

机构

  • 251 篇 中国科学院大学
  • 247 篇 中国科学院软件研...
  • 241 篇 中国科学院软件研...
  • 179 篇 中国科学院研究生...
  • 151 篇 中国科学院软件研...
  • 106 篇 中国科学院软件研...
  • 98 篇 计算机科学国家重...
  • 68 篇 中国科学院软件研...
  • 67 篇 中国科学院软件研...
  • 53 篇 澳门大学
  • 51 篇 信息安全国家重点...
  • 51 篇 北京大学
  • 39 篇 中国科学院地理科...
  • 38 篇 清华大学
  • 37 篇 武汉大学
  • 37 篇 中国科学技术大学
  • 34 篇 信息安全共性技术...
  • 33 篇 中国科学院
  • 30 篇 中国科学院信息工...
  • 27 篇 中国科学院研究生...

作者

  • 154 篇 冯登国
  • 87 篇 吴恩华
  • 44 篇 卿斯汉
  • 43 篇 郑昌文
  • 36 篇 胡晓惠
  • 36 篇 魏峻
  • 33 篇 刘立祥
  • 33 篇 王文成
  • 31 篇 马恒太
  • 31 篇 张云泉
  • 29 篇 苏璞睿
  • 29 篇 刘学慧
  • 29 篇 张文博
  • 28 篇 黄涛
  • 28 篇 戴国忠
  • 26 篇 田丰
  • 25 篇 吴文玲
  • 24 篇 徐震
  • 24 篇 王永吉
  • 23 篇 吕品

语言

  • 1,512 篇 中文
检索条件"机构=中国科学院软件研究所基础软件与系统重点实验室"
1512 条 记 录,以下是11-20 订阅
排序:
在轨光学目标检测模型轻量化研究
收藏 引用
遥感学报 2024年 第4期28卷 1041-1051页
作者: 吕晓宁 夏玉立 赵军锁 乔鹏 中国科学院软件研究所天基综合信息系统重点实验室 北京100190 中国科学院大学 北京100049
目前应用广泛的神经网络模型结构复杂、参数量大,对星上有限的计算和存储资源占用较多。本文面向微纳卫星在轨计算平台,提出一种深度可分离卷积神经网络模型,该模型结合反向残差结构与通道注意力的思路改进在轨识别算法Yolov4网络模型结... 详细信息
来源: 评论
异常信息敏感的框架API生命周期模型构造
收藏 引用
计算机学报 2024年 第9期47卷 1989-2008页
作者: 燕季薇 黄进豪 杨恒钦 严俊 中国科学院软件研究所软件工程技术研究开发中心 北京100190 北京工业大学信息学部 北京100124 国科大杭州高等研究院 杭州310024 中国科学院软件研究所基础软件与系统重点实验室 北京100190 中国科学院软件研究所计算机科学国家重点实验室 北京100190
大型软件系统的实现依赖于底层框架或第三方库,但这些复杂的框架/库代码在演化升级时往往独立于其调用者,为上层软件的质量保障带来挑战.例如,框架/库代码演化时新增和删除API、更改API的代码语义等行为会导致框架/库代码的不同版本之... 详细信息
来源: 评论
FineFlow:FaaS工作流部署优化与执行系统
收藏 引用
软件学报 2025年 第2期36卷 488-510页
作者: 刘璐 高浩城 陈伟 吴国全 魏峻 中国科学院软件研究所 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学南京学院 江苏南京211135
FaaS(function-as-a-service,函数即服务)工作流由多个函数服务编排而成,通过对多个函数的协调控制来实现复杂的业务应用.当前FaaS工作流系统主要基于集中式的数据存储实现函数间的数据传递,导致FaaS函数间的数据传输开销大,显著影响应... 详细信息
来源: 评论
申威1621处理器上矩阵乘法优化研究
收藏 引用
软件学报 2023年 第7期34卷 3451-3463页
作者: 闫昊 刘芳芳 马文静 陈道琨 中国科学院软件研究所并行软件与计算科学实验室 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
稠密矩阵乘法(GEMM)是很多科学与工程计算应用中大量使用的函数,也是很多代数函数库中的基础函数,其性能高低对整个应用往往有决定性的影响.另外,因其计算密集的特点,矩阵乘法效率往往也是体现硬件平台性能的重要指标.针对国产申威1621... 详细信息
来源: 评论
软件供应链SBOM关键技术研究
收藏 引用
软件学报 2025年 第6期36卷 2604-2642页
作者: 孙泽雨 吴敬征 凌祥 魏怡琳 罗天悦 武延军 中国科学院软件研究所智能软件研究中心 国科大杭州高等研究院智能科学与技术学院 中国科学院大学 基础软件与系统重点实验室(中国科学院软件研究所) 计算机科学国家重点实验室(中国科学院软件研究所)
供应链级别的开源软件及组件复用是当前软件开发的主流模式.该模式避免了重复开发,降低了研发成本,提高了开发效率,但是也不可避免地存在组件的来源未知,成分不清,漏洞不明,许可证违规等问题.为解决上述问题,研究人员提出了软件物料清单... 详细信息
来源: 评论
基于多种同构化变换的SLP向量化方法
收藏 引用
计算机研究与发展 2023年 第12期60卷 2907-2927页
作者: 冯竞舸 贺也平 陶秋铭 马恒太 基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
超字级并行(superword level parallelism,SLP)是一种面向处理器单指令多数据(single instruction multiple data,SIMD)扩展部件实现程序自动向量化的方法,这种方法被广泛应用于主流编译器中.SLP方法有赖于先找到同构指令序列再对之进... 详细信息
来源: 评论
低延迟S盒的构造及双向低延迟性质研究
收藏 引用
电子学报 2024年 第11期52卷 3769-3779页
作者: 吴瑞宸 张蕾 中国科学院软件研究所 北京100190 中国科学院大学 北京100049 密码科学技术全国重点实验室 北京100878
低延迟分组密码的设计是目前密码学研究中的热点之一,其中低延迟S盒的构造是设计中的重要研究方向.本文基于低延迟门电路和两层树型结构,搜索不同延迟水平下具有一定密码学性质的低延迟平衡布尔函数及其拓展比特置换等价类;基于将低延... 详细信息
来源: 评论
基于TLA+形式化规约的Raft协议测试
收藏 引用
软件学报 2024年 第12期35卷 5363-5381页
作者: 王栋 窦文生 高钰 吴陈傲 魏峻 黄涛 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学 北京100049
Raft是最为流行的分布式共识协议之一.自2014年被提出以来,Raft协议及其变体在各种分布式系统中被广泛应用.为了证明Raft协议的正确性,开发者使用TLA+形式化规约对协议设计进行了建模和验证.但由于抽象的形式化规约与实际的系统实现源... 详细信息
来源: 评论
面向递增累积型缺陷的灰盒模糊测试变异优化
收藏 引用
软件学报 2023年 第5期34卷 2286-2299页
作者: 杨克 贺也平 马恒太 董柯 谢异 蔡春芳 中国科学院软件研究所基础软件国家工程研究中心 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
大量访问越界、内存耗尽、性能故障等缺陷是输入中有效数据的规模过大,超过临界值引起的.而现有灰盒模糊测试技术中的数据依赖识别和变异优化技术大都针对固定规模输入数据格式,对规模递增输入数据的构造效率不高.为此,针对这类累积型... 详细信息
来源: 评论
openEuler中C标准库替换的兼容性分析
收藏 引用
计算机研究与发展 2023年 第7期60卷 1514-1532页
作者: 吴亦泽 于佳耕 郑晨 武延军 中国科学院软件研究所 北京100190 中国科学院大学 北京101408 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
当前大多数Linux发行版使用功能强大的glibc(GNU C library)作为C标准库(简称C库),但glibc的LGPL协议存在商用不友好条款,制约了商业Linux发行版的推广.一种可行的解决方案是选择某个与glibc相比尚有功能缺陷但适宜商用的C库加以补全,... 详细信息
来源: 评论