咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 319 篇 工学
    • 300 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 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 篇 软件资源库

机构

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

作者

  • 48 篇 梅宏
  • 38 篇 谢冰
  • 33 篇 黄罡
  • 32 篇 王腾蛟
  • 32 篇 mei hong
  • 29 篇 赵俊峰
  • 27 篇 金芝
  • 27 篇 陈钟
  • 23 篇 jin zhi
  • 21 篇 杨冬青
  • 21 篇 huang gang
  • 20 篇 xie bing
  • 20 篇 张伟
  • 19 篇 许进
  • 18 篇 赵文
  • 18 篇 邹艳珍
  • 18 篇 李红燕
  • 18 篇 孙艳春
  • 18 篇 郭耀
  • 18 篇 王亚沙

语言

  • 360 篇 中文
检索条件"机构=北京大学信息科学技术学院高可信软件技术教育部重点实验室"
360 条 记 录,以下是21-30 订阅
排序:
活体生物计算模型的研究进展及展望(英文)
收藏 引用
计算机学报 2008年 第12期31卷 2103-2108页
作者: 刘向荣 赵东明 郗方 李菲 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
活体生物计算模型是基于生物体内各种生化分子以特定的形式互相协作、处理信息的能力而出现的一种新的计算模型.由于其计算组成件是直接镶嵌在生物活体里面,并且显示具有一定的计算能力,这可以使人们深入研究生物体信息处理能力以及... 详细信息
来源: 评论
软件开发活动数据的数据质量问题
收藏 引用
软件学报 2019年 第5期30卷 1522-1531页
作者: 涂菲菲 周明辉 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院 北京100871
问题追踪系统和版本控制系统等软件开发支持工具已被广泛应用于开源和商业软件的开发中,产生了大量的数据,即软件开发活动数据.软件开发活动数据被广泛应用于科学研究和开发实践,为智能化开发提供支持.然而数据质量对相关的研究和实践... 详细信息
来源: 评论
极大平面图理论研究进展
收藏 引用
计算机学报 2015年 第8期38卷 1680-1704页
作者: 许进 李泽鹏 朱恩强 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
四色猜想是指平面图的色数不超过4.实际上,四色猜想只需证明对极大平面图成立即可.正因为如此,从1891年至今,有众多学者从不同的角度展开了对极大平面图的研究.该文拟对其中的一些重要成果进行较为详细的综述,主要包括极大平面图的度序... 详细信息
来源: 评论
程序理解:现状与未来
收藏 引用
软件学报 2019年 第1期30卷 110-126页
作者: 金芝 刘芳 李戈 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知... 详细信息
来源: 评论
基于深度学习的程序生成与补全技术研究进展
收藏 引用
软件学报 2019年 第5期30卷 1206-1223页
作者: 胡星 李戈 刘芳 金芝 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
自动化软件开发一直是软件工程领域的研究热点.目前,互联网技术促进了开源软件和开源社区的发展,这些大规模的代码和数据成为自动化软件开发的机遇.与此同时,深度学习也在软件工程领域开始得到应用.如何将深度学习技术用于大规模代码的... 详细信息
来源: 评论
一种中间件服务容错配置管理方法
收藏 引用
计算机学报 2007年 第10期30卷 1696-1704页
作者: 李军国 黄罡 邹键 梅宏 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视... 详细信息
来源: 评论
对称密码算法的性能优化
收藏 引用
北京大学学报(自然科学版) 2008年 第5期44卷 733-738页
作者: 刘勇 陈宇 陈钟 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室北京100871
选择AES-128,SHA-256,SHA-512和Whirlpool4个目前应用最为广泛的对称算法进行优化。首次讨论了如何在龙芯2E通用处理器上优化对称密码算法。针对每种算法提出了具体的优化技术,并对优化后的结果进行了分析。优化后所获得的性能是目前已... 详细信息
来源: 评论
WiFense:从衍射模型到边界监控
收藏 引用
软件学报 2024年 第3期35卷 1515-1533页
作者: 刘兆鹏 李晟洁 张越 曾有为 张大庆 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
近年来,随着普适计算概念的深入人心,智能感知技术已成为研究者们关注的焦点,且基于WiFi的非接触式感知因其优秀的普适性、低廉的署成本以及良好的用户体验越来越受到学术界和工业界的青睐.典型的WiFi非接触式感知工作有手势识别、呼... 详细信息
来源: 评论
一种考虑QoS数据可信性的服务选择方法
收藏 引用
软件学报 2008年 第10期19卷 2620-2627页
作者: 李研 周明辉 李瑞超 曹东刚 梅宏 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量(QoS)对Web服务进行查找和选择已成为研究热点.现有的基于QoS的服务选择方法通常假定服务提供者和使用者给出的QoS数据都是真实可信的,然而这一假设在实际中往往很难... 详细信息
来源: 评论
一种Web Service的服务质量预测方法
收藏 引用
软件学报 2009年 第8期20卷 2062-2073页
作者: 邵凌霜 周立 赵俊峰 谢冰 梅宏 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
服务消费者在选择服务之前,通常需要基于其他消费者的经验对未使用过的服务的质量进行预测.考虑到不同服务消费者对同一服务的服务质量的感受之间可能存在较大的差别,提出了一种QoS(quality of service)预测方法.该方法以消费者的历史... 详细信息
来源: 评论