咨询与建议

限定检索结果

文献类型

  • 286 篇 期刊文献
  • 75 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 320 篇 工学
    • 301 篇 计算机科学与技术...
    • 221 篇 软件工程
    • 20 篇 网络空间安全
    • 10 篇 控制科学与工程
    • 9 篇 仪器科学与技术
    • 4 篇 机械工程
    • 4 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 化学工程与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 生物医学工程(可授...
  • 57 篇 管理学
    • 55 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 农林经济管理
  • 22 篇 理学
    • 15 篇 数学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地球物理学
    • 1 篇 系统科学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 药学(可授医学、理...
  • 2 篇 军事学
    • 2 篇 军队指挥学
  • 1 篇 法学
    • 1 篇 马克思主义理论
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 19 篇 软件复用
  • 12 篇 软件体系结构
  • 10 篇 中间件
  • 10 篇 web服务
  • 10 篇 隐私保护
  • 10 篇 云计算
  • 8 篇 petri网
  • 8 篇 软件开发
  • 8 篇 dna计算
  • 8 篇 软件维护
  • 8 篇 机器学习
  • 7 篇 自适应
  • 6 篇 无线射频识别(rfi...
  • 6 篇 程序分析
  • 6 篇 数据挖掘
  • 6 篇 服务质量
  • 6 篇 软件工程
  • 6 篇 特征模型
  • 6 篇 静态分析
  • 5 篇 软件资源库

机构

  • 343 篇 北京大学
  • 210 篇 高可信软件技术教...
  • 15 篇 机器感知与智能教...
  • 10 篇 教育部高可信软件...
  • 7 篇 软件工程国家工程...
  • 6 篇 国家计算机网络应...
  • 6 篇 北京理工大学
  • 5 篇 中国科学院数学与...
  • 5 篇 深圳市云计算关键...
  • 4 篇 华中科技大学
  • 3 篇 北京交通大学
  • 3 篇 ibm中国研究院
  • 3 篇 网络和软件安全保...
  • 3 篇 中山大学
  • 2 篇 内蒙古师范大学
  • 2 篇 广州大学
  • 2 篇 中国科学院大学
  • 2 篇 深圳市云计算关键...
  • 2 篇 计算机软件新技术...
  • 2 篇 中国科学院数学与...

作者

  • 48 篇 梅宏
  • 38 篇 谢冰
  • 33 篇 黄罡
  • 32 篇 王腾蛟
  • 29 篇 赵俊峰
  • 27 篇 金芝
  • 27 篇 陈钟
  • 21 篇 杨冬青
  • 20 篇 张伟
  • 19 篇 许进
  • 18 篇 赵文
  • 18 篇 邹艳珍
  • 18 篇 李红燕
  • 18 篇 孙艳春
  • 18 篇 郭耀
  • 18 篇 王亚沙
  • 17 篇 张世琨
  • 17 篇 王千祥
  • 16 篇 赵海燕
  • 15 篇 邵维忠

语言

  • 361 篇 中文
检索条件"机构=高可信软件技术教育部重点实验室北京大学信息科学技术学院"
361 条 记 录,以下是21-30 订阅
排序:
传播用户代表性特征学习的谣言检测方法
收藏 引用
计算机科学与探索 2022年 第6期16卷 1334-1342页
作者: 谢欣彤 胡悦阳 刘譞哲 赵耀帅 姜海鸥 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 中国民航信息网络股份有限公司 北京101318 中国民用航空局民航旅客服务智能化应用技术重点实验室 北京101318 北京大学软件与微电子学院 北京102600 北京大学(天津滨海)新一代信息技术研究院 天津300452
谣言的及时发现和有效管控,是互联网+政务服务中公共舆情治理的重要组成分。互联网和移动互联网的发展,提高了民众沟通交流的便利度,同时也加速了谣言的传播速度和广度,极大地提高了谣言的影响力和危害力,给民众的生产生活带来干扰,... 详细信息
来源: 评论
融合知识图谱和深度学习方法的问诊推荐系统
收藏 引用
计算机科学与探索 2021年 第8期15卷 1432-1440页
作者: 武家伟 孙艳春 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871 北京大学(天津滨海)新一代信息技术研究院 天津300450
近年来,随着互联网的普及和大数据分析等技术的发展,人们对移动医疗服务的需求越来越迫切,具体表现为根据症状确定自己患有的疾病以及根据疾病选择服务质量较好的医院及医生。为了解决上述问题,基于知识图谱和深度学习技术设计并实现了... 详细信息
来源: 评论
基于LoRa信号的行走距离和方向估计
收藏 引用
计算机学报 2021年 第5期44卷 999-1012页
作者: 常兆心 张扶桑 牛凯 张大庆 北京大学信息科学技术学院高可信软件技术教育部重点实验室 北京100871 中国科学院软件研究所计算机科学国家重点实验室软件工程技术研发中心 北京100190 北京大学(天津滨海)新一代信息技术研究院 天津300450
行走追踪在真实场景中具有广泛应用,可以用于安防监控、老人看护、内导航等场景.近年来,基于无线射频信号的非接触式行走追踪受到了研究人员的广泛关注,包括基于Wi-Fi信号、RFID信号等的行走追踪系统.然而,现有的行走追踪系统依然面... 详细信息
来源: 评论
基于完全有限前缀展开的行为等价过程树生成算法
收藏 引用
软件学报 2021年 第5期32卷 1385-1403页
作者: 朱锐 黄月 金芝 李彤 汤雅惠 云南大学软件学院 云南昆明650091 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 云南省软件工程重点实验室(云南大学) 云南昆明650091 云南农业大学大数据学院 云南昆明650201
过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价... 详细信息
来源: 评论
基于细粒度数据的智能手机续航时间预测模型
收藏 引用
软件学报 2021年 第10期32卷 3219-3235页
作者: 李豁然 刘譞哲 梅俏竹 梅宏 北京大学 信息科学技术学院 软件研究所 北京 100871 高可信软件技术教育部重点实验室(北京大学) 北京 100871 School of Information University of Michigan Ann Arbor Michigan 48109 USA
如今,智能手机已成为人们日常生活中重要的组成分.然而,在智能手机软硬件能力高速发展的同时,智能手机的电池能力却未能取得突破性的进展.这导致电池的续航能力经常会成为用户使用智能手机时的体验瓶颈.为了提高用户使用体验的优良感... 详细信息
来源: 评论
机器学习赋能的软件自适应性综述
收藏 引用
软件学报 2020年 第8期31卷 2404-2431页
作者: 张明悦 金芝 赵海燕 罗懿行 北京大学信息科学技术学院计算机科学与技术系 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件系统自适应提供了应对动态变化的环境和不确定的需求的技术方案.在已有的软件系统自适应性的相关研究中,有一类工作将软件系统自适应性转换为回归、分类、聚类、决策等问题,并利用强化学习、神经网络/深度学习、贝叶斯决策理论和概... 详细信息
来源: 评论
基于动态分析的软件不变量综合技术
收藏 引用
软件学报 2020年 第6期31卷 1681-1702页
作者: 王博 卢思睿 姜佳君 熊英飞 北京大学信息科学技术学院计算机科学技术系软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析... 详细信息
来源: 评论
用菲涅尔区模型探究WiFi感知系统的稳定性
收藏 引用
计算机科学与探索 2021年 第1期15卷 60-72页
作者: 牛凯 张扶桑 吴丹 张大庆 北京大学信息科学技术学院高可信软件技术教育部重点实验室 北京100871 北京大学(天津滨海)新一代信息技术研究院 天津300450 中国科学院软件研究所计算机科学国家重点实验室 北京100190
基于WiFi的非接触感知系统利用环境中广泛存在的WiFi信号在自然情况下对用户活动进行感知,具有十分广阔的应用前景。从细粒度活动到粗粒度活动,现有工作进行了大量的探索,但尚未理解和解决感知系统稳定性不足的问题。当感知对象、收发... 详细信息
来源: 评论
复杂网络中k-单圈图的若干性质
收藏 引用
东北师大学报(自然科学版) 2022年 第1期54卷 9-13页
作者: 姚明 苏静 姚兵 兰州石化职业技术学院信息处理与控制工程学院 甘肃兰州730060 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871 西北师范大学数学与统计学院 甘肃兰州730070
研究了复杂网络中k-单圈图问题,给出了k-单圈图的充要条件,并进一步探索了k-单圈图的若干性质.
来源: 评论
基于格思想的图结构相似问题的算法
收藏 引用
计算机科学 2021年 第S01期48卷 543-551页
作者: 王晓敏 苏静 姚兵 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871 西北师范大学数学与统计学院 兰州730070
文中首先给出了顶点撕裂运算与顶点重合运算的定义,基于顶点撕裂连通度的定义证明了连通图的顶点撕裂连通度等价于连通图的连通度;给出了图的W-相似的定义。其次,给出了图撕裂组以及同构子图相似的定义,介绍了一种特殊图撕裂组和特殊图... 详细信息
来源: 评论