咨询与建议

限定检索结果

文献类型

  • 426 篇 期刊文献
  • 88 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 462 篇 工学
    • 426 篇 计算机科学与技术...
    • 331 篇 软件工程
    • 27 篇 网络空间安全
    • 23 篇 控制科学与工程
    • 19 篇 仪器科学与技术
    • 14 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 5 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 化学工程与技术
    • 2 篇 城乡规划学
    • 1 篇 船舶与海洋工程
    • 1 篇 生物医学工程(可授...
  • 78 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 27 篇 理学
    • 15 篇 数学
    • 5 篇 生物学
    • 2 篇 物理学
    • 2 篇 系统科学
    • 1 篇 化学
    • 1 篇 地球物理学
  • 8 篇 教育学
    • 8 篇 教育学
  • 5 篇 医学
    • 2 篇 临床医学
    • 2 篇 公共卫生与预防医...
    • 1 篇 口腔医学
    • 1 篇 药学(可授医学、理...
    • 1 篇 医学技术(可授医学...
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 马克思主义理论
  • 1 篇 艺术学

主题

  • 19 篇 软件复用
  • 17 篇 软件体系结构
  • 13 篇 隐私保护
  • 13 篇 云计算
  • 12 篇 web服务
  • 11 篇 中间件
  • 11 篇 深度学习
  • 11 篇 机器学习
  • 10 篇 petri网
  • 9 篇 网构软件
  • 9 篇 软件开发
  • 8 篇 程序分析
  • 8 篇 自适应
  • 8 篇 dna计算
  • 8 篇 软件维护
  • 7 篇 数据挖掘
  • 7 篇 大数据
  • 7 篇 互联网
  • 7 篇 物联网
  • 7 篇 服务质量

机构

  • 445 篇 北京大学
  • 286 篇 高可信软件技术教...
  • 16 篇 中国科学院数学与...
  • 15 篇 广州大学
  • 15 篇 机器感知与智能教...
  • 10 篇 教育部高可信软件...
  • 9 篇 软件工程国家工程...
  • 8 篇 桂林电子科技大学
  • 8 篇 长沙理工大学
  • 8 篇 中南林业科技大学
  • 7 篇 清华大学
  • 7 篇 天津理工大学
  • 7 篇 北京理工大学
  • 6 篇 国家计算机网络应...
  • 6 篇 中国科学院大学
  • 5 篇 上海市高可信计算...
  • 5 篇 华东师范大学
  • 5 篇 深圳市云计算关键...
  • 5 篇 江南大学
  • 4 篇 华中科技大学

作者

  • 65 篇 梅宏
  • 50 篇 金芝
  • 47 篇 谢冰
  • 41 篇 jin zhi
  • 41 篇 mei hong
  • 39 篇 黄罡
  • 37 篇 赵俊峰
  • 33 篇 王腾蛟
  • 32 篇 陈钟
  • 28 篇 王亚沙
  • 26 篇 xie bing
  • 25 篇 huang gang
  • 24 篇 张伟
  • 22 篇 chen zhong
  • 22 篇 杨冬青
  • 21 篇 邹艳珍
  • 20 篇 刘譞哲
  • 20 篇 张世琨
  • 20 篇 赵海燕
  • 20 篇 zhang wei

语言

  • 514 篇 中文
检索条件"机构=高可信软件技术教育部重点实验室"
514 条 记 录,以下是1-10 订阅
排序:
嵌入式系统的需求描述综述
收藏 引用
软件学报 2025年 第1期36卷 27-46页
作者: 陈小红 刘少彬 金芝 上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院 北京100871
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 详细信息
来源: 评论
复杂嵌入式系统需求一致性的组合验证方法
收藏 引用
软件学报 2025年 第4期36卷 1413-1434页
作者: 杨晓 王小齐 陈小红 金芝 上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院 北京100871
形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌... 详细信息
来源: 评论
智能网联汽车的车载网络攻防技术研究进展
收藏 引用
软件学报 2025年 第1期36卷 341-370页
作者: 陈博言 沈晴霓 张晓磊 张鑫 李聪 吴中海 北京大学软件与微电子学院 北京102600 软件工程国家工程研究中心(北京大学) 北京100871 北京大学计算机学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联... 详细信息
来源: 评论
大语言模型和知识图谱协同的跨域异质数据查询框架
收藏 引用
计算机研究与发展 2025年 第3期62卷 605-619页
作者: 吴文隆 尹海莲 王宁 徐梦飞 赵鑫喆 殷崭祚 刘元睿 王昊奋 丁岩 李博涵 南京航空航天大学人工智能学院 南京211106 脑机智能技术教育部重点实验室(南京航空航天大学) 南京211106 智能决策与数字化运营工业和信息化部重点实验室(南京航空航天大学) 南京211106 中小型无人机先进技术工业和信息化部重点实验室(南京航空航天大学) 南京210006 同济大学创意设计学院 上海200092 中移(苏州)软件技术有限公司数据库产品部 南京210004
大语言模型(large language model,LLM)技术热潮对数据质量的要求提升到了一个新的高度.在现实场景中,数据通常来源不同且高度相关.但由于数据隐私安全问题,跨域异质数据往往不允许集中共享,难以被LLM高效利用.鉴于此,提出了一种LLM和... 详细信息
来源: 评论
SCFNet:一种面向时空预测的外空间特征融合框架
收藏 引用
计算机科学 2025年 第4期52卷 110-118页
作者: 刘腾飞 陈李越 房江祎 王乐业 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院 北京100871
道路信息与当前道路的流量模式息息相关,丰富的POI(Point of Interest)语义可以揭示一个地区的属性,人口数据可以揭示一个地区的人口流量趋势。在时空预测中考虑以上外空间特征对流量带来的影响,可以帮助模型完成更精准的预测。现有... 详细信息
来源: 评论
大语言模型在儿童口腔预防医学领域问答的准确性比较
收藏 引用
口腔疾病防治 2025年 第4期33卷 313-319页
作者: 管伯颜 许明鹤 张惠淇 马舒蕾 张珊珊 赵俊峰 北京大学口腔医学院 北京100081 北京大学口腔医院口腔预防保健科 北京100081 北京大学计算机学院 北京100871 高可信软件技术教育部重点实验室 北京100871
目的 探讨国内大语言模型代表ChatGLM-6B与国外大语言模型代表ChatGPT3.5在儿童口腔预防医学领域问题回答的准确性差异,为国内大语言模型在口腔医学领域的研发提供思路。方法 由儿童口腔预防专家从基础(n=35)、进阶(n=35)、深入(n=30)... 详细信息
来源: 评论
用基于移动均值的索引实现时间序列相似查询
收藏 引用
软件学报 2008年 第9期19卷 2349-2361页
作者: 林子雨 杨冬青 王腾蛟 北京大学高可信软件技术教育部重点实验室
提出了基于移动均值的索引来解决子序列匹配中的“ε-查询”问题:提出并证明了基于移动均值的缩距定理和缩距比关系定理,后者具有很好的“裁减”能力,可以在相似查询时淘汰大分不符合条件的候选时间序列,从而达到快速相似查找的... 详细信息
来源: 评论
OpenStack开源社区中商业组织的参与模式
收藏 引用
软件学报 2017年 第6期28卷 1343-1356页
作者: 张宇霞 周明辉 张伟 赵海燕 金芝 高可信软件技术教育部重点实验室(北京大学) 北京100871
由于开源软件开发方式与传统的软件工程方法存在显著差异,为了加入开源社区,商业组织必须要对自身原有的软件开发方式、业务模式等做出调整.在这种情况下,一个亟待解决的问题是商业组织应当采取怎样的参与模式才能有效融入开源社区.为此... 详细信息
来源: 评论
社交网络高效高精度去匿名化算法
收藏 引用
软件学报 2018年 第3期29卷 772-785页
作者: 刘家霖 史舒扬 张悦眉 邵蓥侠 崔斌 高可信软件技术教育部重点实验室(北京大学) 北京100871
自从社交网络成为重要的研究课题,社交网络隐私保护也成为了重要的研究内容,尤其是关于公开发布以供研究的大规模社交网络图数据的隐私保护.为了评估用户的隐私风险,研究者们设计了不同的方法对图进行去匿名化,在不同的图网络中识别个... 详细信息
来源: 评论
面向移动Web应用的浏览器缓存性能度量与优化
收藏 引用
软件学报 2020年 第7期31卷 1980-1996页
作者: 马郓 刘譞哲 梅宏 清华大学软件学院 北京100084 高可信软件技术教育部重点实验室(北京大学) 北京100871
随着移动互联网的飞速发展,用户越来越多地通过移动设备访问Web应用.浏览器为Web应用提供基本的计算、渲染等运行时支撑,其缓存机制可以支持Web应用直接从本地而不是通过网络来获取可复用资源,不仅能够减少整体的执行时间从而提升应用... 详细信息
来源: 评论