咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 318 篇 工学
    • 299 篇 计算机科学与技术...
    • 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 篇 特征模型
  • 5 篇 软件资源库
  • 5 篇 形式化方法

机构

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

作者

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

语言

  • 359 篇 中文
检索条件"机构=北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室"
359 条 记 录,以下是51-60 订阅
排序:
基于模型的自适应方法综述
收藏 引用
软件学报 2018年 第1期29卷 23-41页
作者: 赵天琪 赵海燕 张伟 金芝 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871
自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运... 详细信息
来源: 评论
一种基于模型的软件系统监测方法
收藏 引用
计算机研究与发展 2010年 第7期47卷 1175-1183页
作者: 邵津 邓芳 王千祥 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软... 详细信息
来源: 评论
WiFense:从衍射模型到边界监控
收藏 引用
软件学报 2024年 第3期35卷 1515-1533页
作者: 刘兆鹏 李晟洁 张越 曾有为 张大庆 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
近年来,随着普适计算概念的深入人心,智能感知技术已成为研究者们关注的焦点,且基于WiFi的非接触式感知因其优秀的普适性、低廉的署成本以及良好的用户体验越来越受到学术界和工业界的青睐.典型的WiFi非接触式感知工作有手势识别、呼... 详细信息
来源: 评论
一种基于元组空间的智能传感器协同感知机制
收藏 引用
软件学报 2015年 第4期26卷 790-801页
作者: 王睿智 史庭训 焦文品 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
随着具有一定计算能力和无线通信能力的智能传感器(称为mote)的出现,越来越多的物联网应用可以实现对环境及其变化的就地感知、就地决策和就地反应.但因为mote的感知能力和感知范围有限,它们需要协同感知才能更全面地感知环境的状态,才... 详细信息
来源: 评论
基于TPM的运行时软件可信证据收集机制
收藏 引用
软件学报 2010年 第2期21卷 373-387页
作者: 古亮 郭耀 王华 邹艳珍 谢冰 邵维忠 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学与技术学院软件研究所 北京100871
扩展了已有的软件可信性证据模型,引入了运行时软件可信证据,从而提供了更为全面的软件可信证据模型.为了提供客观、真实、全面的可信证据,提出了一种基于可信计算技术软件运行时可信证据收集机制.利用可信平台模块(trusted platform ... 详细信息
来源: 评论
一种在线的动态网页分块缓存方法
收藏 引用
电子学报 2009年 第5期37卷 1087-1091页
作者: 尤朝 周明辉 林泊 曹东刚 梅宏 北京大学信息科学技术学院软件研究所 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
分块缓存技术能够有效提高动态网页的服务质量.现有的既存系统较少使用分块缓存技术设计,如何将其应用于这些系统是一个很大的挑战.本文提出了一种在线的动态网页分块缓存方法,使原系统演化成基于分块的系统,为用户服务.该方法具有三方... 详细信息
来源: 评论
字符串分析研究进展
收藏 引用
软件学报 2013年 第1期24卷 37-49页
作者: 梅宏 王啸吟 张路 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件工程研究所 北京100871
随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用... 详细信息
来源: 评论
DNA自组装技术的研究进展及难点(英文)
收藏 引用
计算机学报 2008年 第12期31卷 2138-2148页
作者: 杨静 张成 北京大学信息科学技术学院 北京100871 北京大学高可信度软件技术教育部重点实验室 北京100871
近年来,DNA自组装成为DNA计算及纳米材料科学等领域研究的热点,它关系着DNA计算机的发展.DNA分子如何组装已成为许多学者关注的焦点.为此,文中主要围绕着DNA分子组装成的初级元件的类型:一条长的DNA单链、多条短寡核苷酸链和自组装单元... 详细信息
来源: 评论
基于下推系统可达性分析的程序机密消去机制
收藏 引用
软件学报 2012年 第8期23卷 2149-2162页
作者: 孙聪 唐礼勇 陈钟 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络与软件安全保障教育部重点实验室(北京大学) 北京100871
针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程... 详细信息
来源: 评论
软件库调用规约挖掘
收藏 引用
软件学报 2011年 第3期22卷 408-416页
作者: 钟浩 张路 梅宏 中国科学院软件研究所互联网软件技术实验室 北京100190 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特... 详细信息
来源: 评论