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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

软件学科发展回顾特刊前言

引用

软件学报 2019年第1期30卷 1-2页

作者：梅宏金芝郝丹北京理工大学计算机学院高可信软件技术教育部重点实验室(北京大学) 北京大学信息科学技术学院软件所

随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的,体现在系统规模越来越大,所解决的问题越来越复杂,交互对象... 详细信息

随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的,体现在系统规模越来越大,所解决的问题越来越复杂,交互对象越来越多样,人们寄予越来越高的可靠性要求.现在,人机物融合应用模式的不断深入,"泛在系统"和"软件定义"也成为呼之欲出的着力点.这孕育了软件学科的新的增长点,也给软件方法和技术带来了新的挑战"以史为镜,可以知兴替",为了更好地把握时机,迎接挑战,有必要重新审视软件学科中典型方法和技术的发展历程,从而启迪未来的发展方向.2019年是《软件学报》创刊30周年,以此特刊形式记录之。

关键词：软件学科系统软件数据模型

来源：评论

学校读者我要写书评

暂无评论

基于RFID发现服务的一种供应链建模技术

引用

电子学报 2010年第B02期38卷 107-116页

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

RFID发现服务负责从供应链不同合作伙伴的信息服务中搜集与某个（些）物品相关的动态RFID事件,作为数据集.为了便于对发现服务获得的数据集进行可视化分析,本文给出了一种供应链建模技术.规约了发现服务获得的数据集,这种数据集描述了... 详细信息

RFID发现服务负责从供应链不同合作伙伴的信息服务中搜集与某个（些）物品相关的动态RFID事件,作为数据集.为了便于对发现服务获得的数据集进行可视化分析,本文给出了一种供应链建模技术.规约了发现服务获得的数据集,这种数据集描述了物品的移动、包装/解包装、加工制造;同时,采用P2P和并行处理技术,给出了一种新的分布式RFID发现服务;然后,基于Petri网提出了一种新的建模工具“SupplyNet”,并给出了构建SupplyNet的算法.算法分析和实验表明这种构建SupplyNet的算法具有较高的效率和可用性.

关键词：无线射频识别(RFID) 发现服务供应链 Petri网建模

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

RFID网络中发现服务系统的一种形式化规约

引用

电子学报 2008年第B12期36卷 9-18页

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

本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有... 详细信息

本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有高性能和可扩展性,又给出了一种基于Pub/Sub的多服务器分布式系统体系结构,并对该分布式系统的各个组成分别进行了规约.最后,本文基于"模拟关系"验证了该分布式系统满足(实现)了高层系统规约.

关键词：无线射频识别(RFID) EPCIS发现服务模拟关系

来源：评论

学校读者我要写书评

暂无评论

基于Riboswitch的细胞与门构建

引用

北京大学学报（自然科学版） 2014年第3期50卷 411-415页

作者：陈梅张路许进北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

利用Riboswitch调控原理,在大肠杆菌BL21(DE3)菌株中构建一个细胞与门。该与门以实验室常见的阿拉伯糖和异丙基-β-D-硫代吡喃半乳糖苷(IPTG)为输入信号,黄色荧光蛋白YFP为输出信号,流式细胞仪检测结果显示该细胞与门成功地实现与逻辑... 详细信息

利用Riboswitch调控原理,在大肠杆菌BL21(DE3)菌株中构建一个细胞与门。该与门以实验室常见的阿拉伯糖和异丙基-β-D-硫代吡喃半乳糖苷(IPTG)为输入信号,黄色荧光蛋白YFP为输出信号,流式细胞仪检测结果显示该细胞与门成功地实现与逻辑运算。该与门利用大肠杆菌BL21(DE3)菌株的特性,减少了基因线路的负载。此外,该与门还具有可复用的特点。

关键词：生物分子计算逻辑门大肠杆菌BL21(DE3)菌株核糖开关

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的RFID中间件中复合事件检测研究

引用

电子学报 2008年第B12期36卷 1-8页

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

探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定... 详细信息

探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析.

关键词：无线射频识别无线射频识别中间件复杂事件处理复合事件检测有色网

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：