检索结果-内蒙古大学图书馆

中国科学：信息科学 2019年第11期49卷 1399-1411页

作者：周明辉张宇霞谭鑫北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着互联网不断发展,软件开发(尤其是全球开源开发)面临诸多问题和挑战,如分布在全球的开发者个体差异明显,群体协作的困难度增加,并且广泛的社会参与形成复杂生态等.这些问题使得软件开发呈现出很强的社会学特征.因此,本文提出软件数... 详细信息

随着互联网不断发展,软件开发(尤其是全球开源开发)面临诸多问题和挑战,如分布在全球的开发者个体差异明显,群体协作的困难度增加,并且广泛的社会参与形成复杂生态等.这些问题使得软件开发呈现出很强的社会学特征.因此,本文提出软件数字社会学来刻画和应对以上问题的挑战,涉及个体学习、群体协作和可持续生态.本文对核心研究方法||软件开发活动数据的挖掘和分析进行了讨论,并初步探讨了已经形成态势的开源供应链的重要问题.软件数字社会学可以启发研究者们更好地理解软件开发面临的关键挑战并探索更好的解决方案.

关键词：软件数字社会学软件活动数据个体学习群体协作开源生态软件供应链数据质量

来源：评论

学校读者我要写书评

暂无评论

RFID标签所有权转移协议研究

引用

计算机研究与发展 2011年第8期48卷 1400-1405页

作者：金永明孙惠平关志陈钟北京大学信息科学技术学院网络与信息安全实验室北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学软件与微电子学院北京100871

无线射频识别技术(RFID)是适用于普适计算环境的技术之一,它的应用正在变得随处可见.RFID安全与隐私问题是这些应用的基本需求之一.由于RFID标签的资源限制,传统的安全元素不能很好地应用到RFID标签中.因此,设计轻量级的安全机制非常重... 详细信息

无线射频识别技术(RFID)是适用于普适计算环境的技术之一,它的应用正在变得随处可见.RFID安全与隐私问题是这些应用的基本需求之一.由于RFID标签的资源限制,传统的安全元素不能很好地应用到RFID标签中.因此,设计轻量级的安全机制非常重要.应用中,贴有标签的物品经常发生所有权的转移.这就需要保护原所有者与新所有者的隐私.基于SQUASH方案,一种具有可证安全属性的消息认证码机制,提出了一种新的轻量级所有权转移协议.新协议比基于Hash的方案具有更高的效率.同时,它还具有很强的安全特性.新协议是第1个基于SQUASH的方案,优化了所有权转移协议,去掉了Hash方案中不需要的特性.最后,新协议完全满足所有权转移协议的要求,可有效保护原所有者与新所有者的前向与后向隐私.

关键词：安全认证所有权转移协议无线射频识别隐私保护技术

来源：评论

学校读者我要写书评

暂无评论

基于容斥原理的Skyband基数估计方法

引用

软件学报 2010年第7期21卷 1550-1560页

作者：赵加奎杨冬青陈立军高可信软件技术教育部重点实验室北京大学信息科学技术学院北京100871 中国电力科学研究院北京100085

Skyband查询是决策支持领域一类非常重要的查询.为了使数据库系统有效支持Skyband查询,必须解决Skyband基数估计的问题,即估计Skyband查询结果中包含的Skyband元素数,因为Skyband基数估计对于扩展数据库系统查询优化器的代价模型以便能... 详细信息

Skyband查询是决策支持领域一类非常重要的查询.为了使数据库系统有效支持Skyband查询,必须解决Skyband基数估计的问题,即估计Skyband查询结果中包含的Skyband元素数,因为Skyband基数估计对于扩展数据库系统查询优化器的代价模型以便能够对Skyband查询进行优化非常重要.基于容斥原理的推广形式对Skyband基数进行理论分析并给出了时间和空间代价很小的对Skyband基数进行估计的算法.实验结果表明,该方法能够准确地对Skyband基数进行估计.

关键词：基数 Skyband查询 Skyline查询数据库系统查询优化

来源：评论

学校读者我要写书评

暂无评论

供应链环境下一种分布式RFID发现服务

引用

电子学报 2010年第B02期38卷 99-106页

作者：赵文李信鹏刘殿兴张世琨王立福北京大学软件工程国家工程研究中心 100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 100871 北京大学信息科学技术学院 100871

本文针对大规模RFID应用和企业对其EPCIS进行完全的访问控制的需求,对EPCIS事件重新建模使之能够描述供应链活动所产生的绝大部分事件,并提出一种新的分布式RFID发现服务.这种发现服务基于“跟踪供应链”模式,利用编码解析服务（ONS）,... 详细信息

本文针对大规模RFID应用和企业对其EPCIS进行完全的访问控制的需求,对EPCIS事件重新建模使之能够描述供应链活动所产生的绝大部分事件,并提出一种新的分布式RFID发现服务.这种发现服务基于“跟踪供应链”模式,利用编码解析服务（ONS）,在发起查询时采用多个查询流以提高查询效率,在返回结果时并行地直接返回给客户端以缩减路由跳数.实验表明这种分布式RFID发现服务具有较高的效率和可用性.

关键词：无线射频识别(RFID) 供应链分布式发现服务 EPC信息服务

来源：评论

学校读者我要写书评

暂无评论

具有散射效果的室内外光束实时绘制

引用

计算机辅助设计与图形学学报 2007年第12期19卷 1580-1586页

作者：李胜陈舒毅汪国平吴恩华北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院人机交互与多媒体实验室北京100871 澳门大学科学技术学院电脑与资讯科学系

依据空气散射的物理原理,提出一种高效的能够实时模拟动态自然光束的真实感绘制方法.首先推导出散射计算的解析表达式以取代传统的数值积分方法;然后基于GPU特点设计了一种有效的光束体表示,作为光束体和阴影体统一形式共同参与GPU着色... 详细信息

依据空气散射的物理原理,提出一种高效的能够实时模拟动态自然光束的真实感绘制方法.首先推导出散射计算的解析表达式以取代传统的数值积分方法;然后基于GPU特点设计了一种有效的光束体表示,作为光束体和阴影体统一形式共同参与GPU着色器的运算,从而生成具有阴影效果的光束.该方法不仅可以模拟单个光源形成的光束,还可以实时模拟动态太阳光源产生的多个自然光束.由于采用了GPU加速计算,可以满足实时应用需求.

关键词：自然光束空气散射光束体 GPU

来源：评论

学校读者我要写书评

暂无评论

一种支持Java应用中计算按需远程执行的方法

引用

软件学报 2013年第8期24卷 1713-1730页

作者：张颖黄罡刘儇哲梅宏李影杨顺祥北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 IBM中国研究院北京100193

按需远程执行是软件应用实现对资源按需占有,从而保障性能并提高资源利用率的重要手段.给出了一种通过自动程序转换来支持Java应用中计算按需远程执行的方法,其核心是支持计算按需远程执行的设计模式.介绍了将Java应用转换成该模式所面... 详细信息

按需远程执行是软件应用实现对资源按需占有,从而保障性能并提高资源利用率的重要手段.给出了一种通过自动程序转换来支持Java应用中计算按需远程执行的方法,其核心是支持计算按需远程执行的设计模式.介绍了将Java应用转换成该模式所面临的技术挑战、处理机制以及DPartner转换系统.与已有工作相比,DPartner有两大特色:一是程序转换自动执行;二是转换后应用可实现真正按需的远程执行,使性能和资源利用率得以提升.此外,DPartner被设计为可对只有Java字节码的遗产应用进行转换,更具实用性.

关键词：按需占有资源远程执行程序转换性能

来源：评论

学校读者我要写书评

暂无评论

S3ML:一种安全的机器学习推理服务系统

引用

软件学报 2022年第9期33卷 3312-3330页

作者：马俊明吴秉哲余超凡周爱辉巫锡斌陈向群北京大学软件与微电子学院北京102600 北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 蚂蚁集团浙江杭州310013

隐私保护问题在当今机器学习领域日益受到关注,构建具备数据安全保障的机器学习服务系统变得越来越重要.与此同时,以英特尔SGX为代表的可信执行环境技术得到了日益广泛的使用来开发可信应用和系统.SGX为开发者提供了基于硬件的名为飞地... 详细信息

隐私保护问题在当今机器学习领域日益受到关注,构建具备数据安全保障的机器学习服务系统变得越来越重要.与此同时,以英特尔SGX为代表的可信执行环境技术得到了日益广泛的使用来开发可信应用和系统.SGX为开发者提供了基于硬件的名为飞地的安全容器来保障应用程序的机密性和完整性.本文基于SGX提出了一种面向机器学习推理的安全服务系统S3ML. S3ML将机器学习模型运行在SGX飞地中以保护用户隐私.为了构建一个实用的基于SGX的安全服务系统, S3ML解决了来自两方面的挑战.首先,机器学习推理服务为了保证高可用性和可扩展性,通常包含多个后端模型服务器实例.当这些实例在SGX飞地内运行时,需要新的系统架构和协议来同步证书及密钥,以构建安全的分布式飞地集群. S3ML设计了基于SGX认证机制的飞地配置服务,来专门负责在客户端和模型服务器实例之间生成、持久化和分发证书及密钥.这样S3ML可以复用现有的基础设施来对服务进行透明的负载均衡和故障转移,以确保服务的高可用性和可扩展性.其次, SGX飞地运行在一个名为飞地页面缓存(EPC)的特殊内存区域,该区域的大小有限,由主机上的所有SGX飞地竞争,运行在飞地中应用的性能因此易受到干扰.为了满足机器学习推理服务的服务级别目标,一方面S3ML使用轻量级的机器学习框架和模型来构建模型服务器以减少EPC消耗.另一方面,通过实验发现了使用EPC页交换吞吐量作为保障服务级别目标的间接监控指标是可行的.基于该发现, S3ML提出基于EPC页交换强度来控制服务的负载均衡和水平扩展活动.基于Kubernetes、TensorFlow Lite和Occlum实现了S3ML,并在一系列模型上进行实验,对S3ML的系统开销、可行性和有效性进行了评估.

关键词：机器学习推理服务系统 SGX 可信计算隐私保护

来源：评论

学校读者我要写书评

暂无评论

自主构件自适应策略的在线定制及动态评估

引用

软件学报 2012年第4期23卷 802-815页

作者：接钧靖史庭训焦文品孟繁晶北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 IBM中国研究院．北京100193

开放分布式环境下自适应软件的研究已引起学术界、工业界的广泛关注.但分布在网络上的软件实体是由不同的组织独立开发并部署的,它们代表各自的组织(或所有者)自主地采取行动,在构造分布式环境下的自适应系统时,不能再将构成单元视为被... 详细信息

开放分布式环境下自适应软件的研究已引起学术界、工业界的广泛关注.但分布在网络上的软件实体是由不同的组织独立开发并部署的,它们代表各自的组织(或所有者)自主地采取行动,在构造分布式环境下的自适应系统时,不能再将构成单元视为被动的受管对象,而应将其建模为具有主动行为能力的计算实体,并在这一层面设计和封装系统的自适应逻辑.然而,在现阶段对于自主计算实体的研究中,大多缺乏对于自适应策略的动态加载和动态演化的支持.提出了一种支持策略动态加载的自主构件模型,使得自主构件能够在运行时习得新的自适应策略和行为,实现了一种基于质量运行时动态评估的自主构件的自适应机制,使得自主构件能够自行评估自适应策略的优劣并选择最佳的策略加以适应,在保证自身目标得以实现的同时,提高了服务质量.另外,还详细描述了自主构件的实现方案及其运行支撑,通过实验展示了自主构件基于质量动态评估的自适应过程以及自适应策略的动态加载过程.

关键词：自主构件自适应质量动态演化

来源：评论

学校读者我要写书评

暂无评论

基于环境建模的物联网系统TAP规则生成方法

引用

软件学报 2021年第4期32卷 934-952页

作者：边寒陈小红金芝张民上海市高可信计算重点实验室(华东师范大学) 上海200062 北京大学信息科学技术学院计算机科学与技术系北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,... 详细信息

用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持正确的"用户编程"并保证用户服务需求的一致性与完整性,提出了基于环境建模的TAP规则自动生成方法,在用户提供的服务需求的基础上,根据环境模型自动推导出所需的系统行为,以检测系统行为的一致性和完整性,并最终自动生成TAP规则,实现从用户服务需求到物联网设备调度的自动生成.构建了物联网应用场景的环境本体以建模环境,并定义了基于环境本体的服务需求的描述方法.另外,针对方法的准确性、效率、性能以及构建环境本体的时间开销,在智能家居场景上进行了评估.结果表明,所提方法的准确性、效率和性能均超过可用阈值,且在需求达到一定数量后,构建环境本体花费的时间可忽略不计.

关键词：物联网系统用户服务需求需求一致性需求完整性环境建模

来源：评论

学校读者我要写书评

暂无评论

基于模拟器的嵌入式操作系统能耗估算与分析

引用

电子学报 2008年第2期36卷 209-215页

作者：赵霞郭耀雷志勇陈向群北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871 北京工商大学计算机学院北京100037

随着嵌入式系统低能耗技术研究的深入,软件对系统能耗的影响越来越受到人们的关注,并向着定量分析方向发展.本文提出一种嵌入式操作系统能耗量化分析方法,通过模拟运行嵌入式操作系统和应用软件,利用微体系结构能耗模型估算单时钟周期... 详细信息

随着嵌入式系统低能耗技术研究的深入,软件对系统能耗的影响越来越受到人们的关注,并向着定量分析方向发展.本文提出一种嵌入式操作系统能耗量化分析方法,通过模拟运行嵌入式操作系统和应用软件,利用微体系结构能耗模型估算单时钟周期指令能耗.提出基于软件功能结构的操作系统内核能耗估算模型并估算分析内核执行路径、服务、例程、原子函数的能耗,发现操作系统内核中显著影响系统能耗的关键软件模块及其特征.实验结果表明,本方法可以从很大程度上提高嵌入式操作系统能耗估算和分析的准确性,估算结果有助于嵌入式操作系统能耗的量化分析和操作系统及应用程序的能耗优化设计.

关键词：嵌入式操作系统能耗估算与分析量化方法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：