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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于Riboswitch的细胞与门构建

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于P2P的RFID编码解析网络结构与算法研究

引用

电子学报 2008年第B12期36卷 102-108页

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

本文结合P2P技术,提出了分级P2P RFID编码解析网络结构.并基于改进的kademlia算法,在该网络中实现了RFID编码解析服务.实验数据表明,分级P2P RFID编码解析网络相对于基于DNS技术的EPCglobal ONS,具有负载均衡、可扩展性好、能有效应对... 详细信息

本文结合P2P技术,提出了分级P2P RFID编码解析网络结构.并基于改进的kademlia算法,在该网络中实现了RFID编码解析服务.实验数据表明,分级P2P RFID编码解析网络相对于基于DNS技术的EPCglobal ONS,具有负载均衡、可扩展性好、能有效应对单点失效等优点.最后,本文给出分级P2P RFID编码解析网络需要继续深入考虑的问题.

关键词： RFID 编码解析网络分级P2P Kademlia

来源：评论

学校读者我要写书评

暂无评论

一种基于双随机数的RFID发现服务安全通信机制

引用

电子学报 2013年第1期41卷 153-160页

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

RFID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息... 详细信息

RFID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息正确性等.针对这些安全需求,本文提出了一种基于双随机数的RFID发现服务安全通信机制.双随机数主要用来对参与通信的双方进行节点认证和消息认证,并给出了相应的查询生成和处理转发流程及算法.本文提出的安全通信机制已经在PKU RFID3S系统中得到实现.实验结果表明,系统在实现安全需求的基础上,有较好的查询命中率和查询响应时间.

关键词： RFID 发现服务安全通信机制双随机数

来源：评论

学校读者我要写书评

暂无评论

死路删除语义下的WS-BPEL流程的建模

引用

北京大学学报（自然科学版） 2010年第2期46卷 162-170页

作者：徐春香屈婉玲王捍贫朱梅霞北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPE... 详细信息

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。

关键词： Web服务死路删除建模 DPE网

来源：评论

学校读者我要写书评

暂无评论

软件开发活动数据集的层次化、多版本化方法

引用

软件学报 2019年第7期30卷 2109-2123页

作者：朱家鑫周明辉北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 中国科学院软件研究所软件工程技术研究开发中心北京 100190

随着开源软件的兴起及软件开发支撑工具的普及,Internet上积累了大量开放的软件开发活动数据,越来越多的实践者与研究者尝试从中获取提高软件开发效率和产品质量的洞察。为了提高数据分析的效率、方便分析结果的重现与对比,许多工作提... 详细信息

随着开源软件的兴起及软件开发支撑工具的普及,Internet上积累了大量开放的软件开发活动数据,越来越多的实践者与研究者尝试从中获取提高软件开发效率和产品质量的洞察。为了提高数据分析的效率、方便分析结果的重现与对比,许多工作提出了构建与使用共享数据集。然而,现有软件开发活动数据集的构建过程可追溯性差、适用范围窄,对数据随时间、环境发生的变化欠考虑。这些不足直接威胁数据的质量及分析结果的有效性。针对该问题,提出一种层次化、多版本化的方法来构建与使用软件开发活动数据集。层次化是指在数据集中包括收集和后续处理所得的原始、中间和最终数据,建立数据集的可追溯性并扩展其适用范围。多版本化是指通过多种方式进行多次数据收集,使数据使用者能够观察到数据的变化,为数据质量及分析结果有效性的验证和提高创造条件。通过基于该方法构建的Mozilla问题追踪数据集进行示范,并验证了该方法能够帮助数据使用者高效地使用数据。

关键词：数据驱动的软件工程软件开发活动数据数据分析数据质量数据集

来源：评论

学校读者我要写书评

暂无评论

CEclipse:一个基于服务组合的在线集成开发环境

引用

计算机研究与发展 2013年第6期50卷 1324-1334页

作者：吴凌梁广泰王千祥北京大学信息科学技术学院软件研究所北京100871 软件工程国家工程研究中心北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着云计算概念的提出,越来越多的桌面应用被迁移到云中,其中桌面集成开发环境的迁移也成为近些年讨论的热点.介绍了一个在线集成开发环境CEclipse(Cloud Eclipse).CEclipse通过将桌面集成开发环境Eclipse的功能封装成服务,然后利用服... 详细信息

随着云计算概念的提出,越来越多的桌面应用被迁移到云中,其中桌面集成开发环境的迁移也成为近些年讨论的热点.介绍了一个在线集成开发环境CEclipse(Cloud Eclipse).CEclipse通过将桌面集成开发环境Eclipse的功能封装成服务,然后利用服务组合的技术有机地结合在一起,形成了在线集成开发环境的核心功能.同时利用程序静态分析和程序动态分析等技术,解决了在线集成开发环境中特有的安全问题.其次,为了发挥在线开发的优势,CEclipse提出了利用数据挖掘等技术来挖掘用户在编程过程中的各种行为,以指导用户更快更好地进行在线程序开发,从而增强其用户体验.除此之外,CEclipse具有良好的可扩展性:1)利用单点登录等技术支持其他已有在线服务的快速整合;2)提出了一套半自动化的方法,将Eclipse插件快速迁移到CEclipse中.

关键词：云计算在线集成开发环境服务组合程序分析迁移可扩展

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：