咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是311-320 订阅
排序:
一种考虑QoS数据可信性的服务选择方法
收藏 引用
软件学报 2008年 第10期19卷 2620-2627页
作者: 李研 周明辉 李瑞超 曹东刚 梅宏 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量(QoS)对Web服务进行查找和选择已成为研究热点.现有的基于QoS的服务选择方法通常假定服务提供者和使用者给出的QoS数据都是真实可信的,然而这一假设在实际中往往很难... 详细信息
来源: 评论
DNA自组装技术的研究进展及难点(英文)
收藏 引用
计算机学报 2008年 第12期31卷 2138-2148页
作者: 杨静 张成 北京大学信息科学技术学院 北京100871 北京大学高可信度软件技术教育部重点实验室 北京100871
近年来,DNA自组装成为DNA计算及纳米材料科学等领域研究的热点,它关系着DNA计算机的发展.DNA分子如何组装已成为许多学者关注的焦点.为此,文中主要围绕着DNA分子组装成的初级元件的类型:一条长的DNA单链、多条短寡核苷酸链和自组装单元... 详细信息
来源: 评论
基于模拟器的嵌入式操作系统能耗估算与分析
收藏 引用
电子学报 2008年 第2期36卷 209-215页
作者: 赵霞 郭耀 雷志勇 陈向群 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室北京100871 北京工商大学计算机学院 北京100037
随着嵌入式系统低能耗技术研究的深入,软件对系统能耗的影响越来越受到人们的关注,并向着定量分析方向发展.本文提出一种嵌入式操作系统能耗量化分析方法,通过模拟运行嵌入式操作系统和应用软件,利用微体系结构能耗模型估算单时钟周期... 详细信息
来源: 评论
RFID网络中发现服务系统的一种形式化规约
收藏 引用
电子学报 2008年 第B12期36卷 9-18页
作者: 李信鹏 赵文 张世琨 王立福 北京大学信息科学技术学院 北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871 北京大学软件工程国家工程研究中心 北京100871
本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有... 详细信息
来源: 评论
基于Petri网的RFID中间件中复合事件检测研究
收藏 引用
电子学报 2008年 第B12期36卷 1-8页
作者: 叶蔚 黄雨 赵文 张世琨 王立福 北京大学信息科学技术学院 北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871 北京大学软件工程国家工程研究中心 北京100871
探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定... 详细信息
来源: 评论
基于P2P的RFID编码解析网络结构与算法研究
收藏 引用
电子学报 2008年 第B12期36卷 102-108页
作者: 刘学洋 赵文 张世琨 王立福 北京大学软件工程国家工程研究中心 北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
本文结合P2P技术,提出了分级P2P RFID编码解析网络结构.并基于改进的kademlia算法,在该网络中实现了RFID编码解析服务.实验数据表明,分级P2P RFID编码解析网络相对于基于DNS技术的EPCglobal ONS,具有负载均衡、可扩展性好、能有效应对... 详细信息
来源: 评论
操作系统电源管理研究进展
收藏 引用
计算机研究与发展 2008年 第5期45卷 817-824页
作者: 赵霞 陈向群 郭耀 杨芙清 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室
系统级动态电源管理技术的关键问题是在系统性能与能耗之间进行权衡.在硬件提供支持的基础上,操作系统电源管理的优势在于操作系统作为系统资源管理者,根据工作负载和硬件资源电源状态的特征,在满足系统性能约束条件下作出电源管理决策... 详细信息
来源: 评论
一种可扩展的Web Service QoS管理框架
收藏 引用
计算机学报 2008年 第8期31卷 1458-1470页
作者: 邵凌霜 李田 赵俊峰 王亚沙 谢冰 梅宏 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室 北京100871
Web Service是目前研究界和产业界广泛关注的技术之一.随着Web Service的广泛应用,研究者们普遍认识到,服务的非功能属性,即服务质量(Quality of Service,QoS)是面向服务的应用能否成功的关键因素之一.因此,研究者们尝试从多个角度对Qo... 详细信息
来源: 评论
一种问题驱动基于场景的协同式需求诱导方法
收藏 引用
计算机学报 2008年 第9期31卷 1554-1562页
作者: 张伟 刘峰 赵海燕 梅宏 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
软件开发中,大多数的利益相关者并不能清晰地把握他们对于将要开发的软件系统的明确需求.文中提出了一种问题驱动基于场景的协同式需求诱导方法,试图在企业信息系统的上下文中为需求获取问题提供一种现实可行的解决方案.该方法的基本... 详细信息
来源: 评论
最大边染色的指数时间算法
收藏 引用
计算机研究与发展 2008年 第z1期45卷 62-66页
作者: 凤旺森 张立昂 王捍贫 汤传喜 陈霄 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题——最大边染色问题——提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数q(q≥2),... 详细信息
来源: 评论