咨询与建议

限定检索结果

文献类型

  • 6,286 篇 期刊文献
  • 1,231 篇 会议
  • 76 件 标准
  • 27 篇 专利
  • 3 篇 成果
  • 1 篇 学位论文

馆藏范围

  • 7,624 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6,144 篇 工学
    • 3,601 篇 计算机科学与技术...
    • 2,185 篇 软件工程
    • 866 篇 机械工程
    • 720 篇 控制科学与工程
    • 494 篇 网络空间安全
    • 442 篇 仪器科学与技术
    • 388 篇 电子科学与技术(可...
    • 237 篇 信息与通信工程
    • 234 篇 地质资源与地质工...
    • 176 篇 化学工程与技术
    • 118 篇 材料科学与工程(可...
    • 108 篇 测绘科学与技术
    • 101 篇 光学工程
    • 96 篇 力学(可授工学、理...
    • 93 篇 建筑学
    • 72 篇 环境科学与工程(可...
    • 68 篇 动力工程及工程热...
  • 1,339 篇 理学
    • 277 篇 数学
    • 222 篇 地球物理学
    • 179 篇 物理学
    • 176 篇 化学
    • 140 篇 地质学
    • 121 篇 系统科学
    • 82 篇 生物学
    • 69 篇 地理学
  • 1,111 篇 管理学
    • 1,018 篇 管理科学与工程(可...
  • 206 篇 艺术学
    • 201 篇 设计学(可授艺术学...
  • 155 篇 医学
  • 143 篇 农学
    • 75 篇 农业资源与环境
  • 88 篇 军事学
    • 70 篇 军队指挥学
  • 84 篇 经济学
    • 75 篇 应用经济学
  • 44 篇 教育学
  • 34 篇 文学
  • 20 篇 历史学
  • 18 篇 法学
  • 10 篇 哲学

主题

  • 102 篇 人工智能
  • 98 篇 深度学习
  • 78 篇 云计算
  • 69 篇 计算机图形学
  • 61 篇 数据挖掘
  • 60 篇 计算机
  • 60 篇 大数据
  • 59 篇 数值模拟
  • 56 篇 数据库
  • 53 篇 算法
  • 49 篇 区块链
  • 49 篇 并行计算
  • 44 篇 人机交互
  • 43 篇 cad
  • 42 篇 网络安全
  • 40 篇 遗传算法
  • 40 篇 神经网络
  • 38 篇 隐私保护
  • 37 篇 知识图谱
  • 36 篇 性能

机构

  • 1,764 篇 中国科学院大学
  • 605 篇 中国科学院计算技...
  • 570 篇 中国科学院研究生...
  • 519 篇 中国科学院计算技...
  • 381 篇 中国科学院软件研...
  • 232 篇 中国科学院计算技...
  • 200 篇 中国科学院计算技...
  • 171 篇 北京大学
  • 163 篇 中国科学技术大学
  • 158 篇 中国科学院信息工...
  • 157 篇 中国科学院计算地...
  • 150 篇 计算机体系结构国...
  • 148 篇 清华大学
  • 145 篇 计算机科学国家重...
  • 143 篇 中国科学院软件研...
  • 138 篇 中国科学院软件研...
  • 132 篇 中国科学院自动化...
  • 131 篇 中国科学院沈阳自...
  • 129 篇 中国科学院软件研...
  • 119 篇 中国科学院计算技...

作者

  • 223 篇 史忠植
  • 170 篇 吴恩华
  • 140 篇 李华
  • 129 篇 张云泉
  • 127 篇 程学旗
  • 117 篇 石耀霖
  • 96 篇 王飞跃
  • 77 篇 刘慎权
  • 77 篇 李华伟
  • 77 篇 李晓维
  • 74 篇 曹存根
  • 71 篇 林宗楷
  • 68 篇 王兆其
  • 66 篇 张怀
  • 63 篇 丁世飞
  • 59 篇 张健
  • 56 篇 郭玉钗
  • 56 篇 冯登国
  • 54 篇 周家驹
  • 51 篇 薛冰

语言

  • 7,617 篇 中文
  • 7 篇 英文
检索条件"机构=中国科学院计算所CAD实验室"
7624 条 记 录,以下是1-10 订阅
排序:
基于对比学习的跨模态实体链接模型
收藏 引用
计算机研究与发展 2025年 第3期62卷 662-671页
作者: 王苑铮 孙文祥 范意兴 廖华明 郭嘉丰 中国科学院网络数据科学与技术重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学 北京100049
图文跨模态实体链接是对传统实体链接任务的扩展,其输入为包含实体的图像,目标是将其链接到文本模态的知识库实体上.现有模型通常采用双编码器架构,将图像、文本模态的实体分别编码为向量,利用点乘计算两者的相似度,从而链接到与图像实... 详细信息
来源: 评论
uBlock算法的低延迟一阶门限实现方法
收藏 引用
电子学报 2024年 第4期52卷 1250-1259页
作者: 姚富 陈华 范丽敏 中国科学院软件研究所可信计算与信息保障实验室 北京100190 中国科学院大学 北京100049
目前已有文献给出了uBlock分组密码算法的侧信道防护方案,但是这些方案不仅延迟较高,难以适用于低延迟高吞吐场景,而且在毛刺探测模型下缺乏可证明安全性.针对这一问题,本文给出了在毛刺探测模型下具有可证明安全性的uBlock算法的低延... 详细信息
来源: 评论
一种基于模乘相等检测的标量乘碰撞攻击方法
收藏 引用
电子学报 2024年 第11期52卷 3865-3876页
作者: 韩绪仓 曹伟琼 陈华 李昊远 中国科学院软件研究所可信计算与信息保障实验室 北京100190 中国科学院大学 北京100049
碰撞攻击是针对椭圆曲线密码的主要分析技术之一,其关键取决于对点加、倍点碰撞检测的正确率.由于随机操作数和分支语句的影响,对点加、倍点的碰撞检测几近于随机猜测,因而如何对点加、倍点进行碰撞检测成为亟需解决的问题.本文以Weiers... 详细信息
来源: 评论
FineFlow:FaaS工作流部署优化与执行系统
收藏 引用
软件学报 2025年 第2期36卷 488-510页
作者: 刘璐 高浩城 陈伟 吴国全 魏峻 中国科学院软件研究所 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学南京学院 江苏南京211135
FaaS(function-as-a-service,函数即服务)工作流由多个函数服务编排而成,通过对多个函数的协调控制来实现复杂的业务应用.当前FaaS工作流系统主要基于集中式的数据存储实现函数间的数据传递,导致FaaS函数间的数据传输开销大,显著影响应... 详细信息
来源: 评论
基于动态完整性度量的机密计算运行时监控方案
收藏 引用
计算机研究与发展 2024年 第10期61卷 2482-2500页
作者: 李为 冯伟 秦宇 冯登国 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所 北京100190
机密计算(confidential computing,CC)技术基于硬件可信执行环境(TEE),通过隔离、完整性度量和远程证明等技术保护使用中数据的机密性和完整性,并免受特权敌手的攻击.然而,现有机密计算平台的完整性度量和远程证明机制主要针对启动时,... 详细信息
来源: 评论
基于TLA+形式化规约的Raft协议测试
收藏 引用
软件学报 2024年 第12期35卷 5363-5381页
作者: 王栋 窦文生 高钰 吴陈傲 魏峻 黄涛 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学 北京100049
Raft是最为流行的分布式共识协议之一.自2014年被提出以来,Raft协议及其变体在各种分布式系统中被广泛应用.为了证明Raft协议的正确性,开发者使用TLA+形式化规约对协议设计进行了建模和验证.但由于抽象的形式化规约与实际的系统实现源... 详细信息
来源: 评论
基于虚拟纤维的各向异性超弹性材料本构模型设计
收藏 引用
计算机辅助设计与图形学学报 2024年 第4期36卷 533-542页
作者: 卢子璇 何浩 吴笛 刘学慧 中国科学院软件研究所计算机科学国家重点实验室 北京100190 中国科学院大学计算机科学与技术学院 北京100190 中国科学院软件研究所人机交互技术与智能信息处理实验室 北京100190 中国科学院力学研究所微重力重点实验室 北京100190
为了拓展图形学弹性体模拟中的各向异性超弹性虚拟材料种类,建立了基于虚拟纤维的本构模型.首先从能量可加性出发,将超弹性体应变能量密度函数分解为轴向、剪切、体积分量的纤维加和形式,然后建立单根纤维的轴向应变、剪切应变、体积应... 详细信息
来源: 评论
基于局部路径图的自动化漏洞成因分析方法
收藏 引用
软件学报 2024年 第10期35卷 4555-4572页
作者: 余媛萍 苏璞睿 贾相堃 黄桦烽 中国科学院软件研究所可信计算与信息保障实验室 北京100190 中国科学院大学计算机科学与技术学院 北京100049
快速的漏洞成因分析是漏洞修复中的关键一环,也一直是学术界和工业界关注的热点.现有基于大量测试样本执行记录进行统计特征分析的漏洞成因分析方法,存在随机性噪声、重要逻辑关联指令缺失等问题,其中根据测试集测量,现有统计方法中的... 详细信息
来源: 评论
开源软件供应链漏洞威胁智能感知
收藏 引用
软件学报 2025年 第2期36卷 511-536页
作者: 王丽敏 吴敬征 武延军 芮志清 罗天悦 屈晟 杨牧天 中国科学院软件研究所智能软件研究中心 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学 北京100049
开源软件的繁荣推动了软件领域的蓬勃发展,也促使以开源软件为基础的供应链开发模式的形成.开源软件供应链本质上是个复杂的供应链拓扑网络,由开源生态的关键元素及其关联关系构成,其产品全球化等优势有助于提高软件行业的开发效率.然而... 详细信息
来源: 评论
谛听:面向鲁棒分布外样本检测的半监督对抗训练方法
收藏 引用
软件学报 2024年 第6期35卷 2936-2950页
作者: 周志阳 窦文生 李硕 亢良伊 王帅 刘杰 叶丹 中国科学院软件研究所 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学南京学院 江苏南京211135
检测训练集分布之外的分布外(out-of-distribution,OOD)样本对于深度神经网络(deep neural network,DNN)分类器在开放环境的部署至关重要.检测OOD样本可以视为一种二分类问题,即把输入样本分类为“分布内(in-distribution,ID)”类或“... 详细信息
来源: 评论