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

电子学报 2011年第A03期39卷 126-133页

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

面向EPC模式(EPC Pattern)的标签编码过滤是RFID中间件的主要功能之一.为提高过滤效率,本文给出了一种基于trie树和扩展B树相结合的标签编码过滤方法.通过分析标签编码和EPC模式的结构特征,将系统中大量的EPC模式构造成一个层次查找结构... 详细信息

面向EPC模式(EPC Pattern)的标签编码过滤是RFID中间件的主要功能之一.为提高过滤效率,本文给出了一种基于trie树和扩展B树相结合的标签编码过滤方法.通过分析标签编码和EPC模式的结构特征,将系统中大量的EPC模式构造成一个层次查找结构,对于EPC模式中的常规编码段采用trie树表达,对于区间形式采用扩展B树表达.查找过程按照编码段由高至低依次进行,并采用了基于位向量集合的优化方法.实验表明标签编码过滤效率受EPC模式数量变化的影响较小,能够有效降低向上层应用传输数据的延迟.

关键词： RFID 中间件 EPC模式过滤 trie树 B树

来源：评论

学校读者我要写书评

暂无评论

BuOA:一种企业级Web应用体系结构风格

引用

电子学报 2013年第11期41卷 2120-2126页

作者：叶蔚罗睿辞刘学洋张世琨北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室北京100871 北京大学软件工程国家工程研究中心北京100871

提出了一种针对企业级Web应用的体系结构风格:面向业务单元的体系结构(Business unit Oriented Architecture,BuOA).与分层体系结构风格对系统的"横向"划分不同,BuOA将Web应用"纵向"分解为一组业务单元,其中每一个... 详细信息

提出了一种针对企业级Web应用的体系结构风格:面向业务单元的体系结构(Business unit Oriented Architecture,BuOA).与分层体系结构风格对系统的"横向"划分不同,BuOA将Web应用"纵向"分解为一组业务单元,其中每一个业务单元描述一个完整且内聚的业务功能.对业务单元之间的交互方式进行了分类,总结为四种模式:观察、注入、织入和绑定.提供了BuOA开发工具和运行环境.开发实例表明BuOA在设计、实现和部署等软件生命周期阶段能够有效地控制系统复杂性,并对企业级Web应用的并行开发和动态演化提供了良好的支持.

关键词：业务单元连接件面向业务单元的体系结构软件体系结构风格模块化

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向智慧民生领域的增量交互式数据集成方法

引用

计算机研究与发展 2017年第3期54卷 586-596页

作者：夏丁王亚沙赵梓棚崔达高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 软件工程国家工程研究中心(北京大学) 北京100871

智慧民生作为智慧城市的重点领域,包含众多应用系统,积累了大量层次结构数据.为了形成城市范围完整数据集,需要集成并统一异构的数据模式,向用户提供统一的数据视图.针对智慧民生领域的领域知识宽泛、缺乏中文语义匹配支持、模式数量众... 详细信息

智慧民生作为智慧城市的重点领域,包含众多应用系统,积累了大量层次结构数据.为了形成城市范围完整数据集,需要集成并统一异构的数据模式,向用户提供统一的数据视图.针对智慧民生领域的领域知识宽泛、缺乏中文语义匹配支持、模式数量众多、元素标签缺失但实例数据丰富等几方面特点,提出了一种增量交互式模式集成方法.该方法采用增量迭代的方式逐步完成多模式集成任务,大幅降低集成计算量;在模式匹配阶段,综合利用模式信息和实例数据构造了多种适用于中文且能力互补的匹配器,并通过相似度熵来度量机器的决策置信度,适度引入人工干预;在中介模式生成阶段,处理模式间可能出现的各种冲突,最终输出全局统一的中介模式.利用从互联网爬取的多源二手房数据设计并完成实验,实验结果表明:此方法在人工干预程度足够小的前提下,具有较好的模式匹配准确性.

关键词：模式匹配模式集成数据集成智慧城市智慧民生

来源：评论

学校读者我要写书评

暂无评论

基于Wi-Fi的非接触式行为识别研究综述

引用

浙江大学学报（工学版） 2017年第4期51卷 648-654,690页

作者：王钰翔李晟洁王皓马钧轶王亚沙张大庆北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871

准确地获取包括人的状态和动作等情境信息一直以来都是普适计算的重要研究方向,具有很大的应用价值.作为一种廉价、非侵扰型的感知手段,基于Wi-Fi的无接触式行为识别技术已经成为一个新兴的、极具潜力的研究领域.从历史概述、理论研究... 详细信息

准确地获取包括人的状态和动作等情境信息一直以来都是普适计算的重要研究方向,具有很大的应用价值.作为一种廉价、非侵扰型的感知手段,基于Wi-Fi的无接触式行为识别技术已经成为一个新兴的、极具潜力的研究领域.从历史概述、理论研究、模型研究、核心技术到应用场景这四个方面总结该领域的研究现状.在总结现有工作所取得的进展和存在的问题的同时,提出该领域将来可能的研究方向.

关键词：行为识别 Wi-Fi 无接触式感知

来源：评论

学校读者我要写书评

暂无评论

一种优化安卓应用3G/4G网络请求能耗的方法

引用

软件学报 2017年第12期28卷 3367-3384页

作者：蔡华谦张颖黄罡梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学软件工程国家工程研究中心北京100871

智能手机后台应用的网络请求极大地影响着待机时间.已有的工作提出了节省手机能耗的应用网络请求调度算法,然而,如何将算法自动地应用到既有手机系统,仍面临着巨大挑战:(1)在没有应用源代码的情况下,实现单个应用内的网络请求合并;(2)... 详细信息

智能手机后台应用的网络请求极大地影响着待机时间.已有的工作提出了节省手机能耗的应用网络请求调度算法,然而,如何将算法自动地应用到既有手机系统,仍面临着巨大挑战:(1)在没有应用源代码的情况下,实现单个应用内的网络请求合并;(2)在不对操作系统进行任何修改的情况下,按需合并多个应用中的网络请求.以安卓应用为目标,给出了一种通过自动程序转换来支持现有移动应用中网络请求延迟调度的方法及其框架实现——DelayDroid,用以提升手机整体待机时间.通过字节码分析和程序自动转换技术解决以上挑战.与已有工作相比,DelayDroid有两大特色:一是程序转换自动执行;二是转换后的应用可支持多应用的后台网络请求调度,该调度机制可以降低安卓应用的待机耗电.此外,DelayDroid被设计为可对只有dex字节码的安卓应用进行转换,更具实用性.

关键词：网络请求合并安卓应用优化程序转换能耗

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于图转换的模型重构描述语言

引用

软件学报 2009年第8期20卷 2087-2101页

作者：刘辉麻志毅邵维忠北京理工大学计算机学院北京100081 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提... 详细信息

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则.

关键词：重构模型图转换描述语言

来源：评论

学校读者我要写书评

暂无评论

操作系统电源管理研究进展

引用

计算机研究与发展 2008年第5期45卷 817-824页

作者：赵霞陈向群郭耀杨芙清北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室

系统级动态电源管理技术的关键问题是在系统性能与能耗之间进行权衡.在硬件提供支持的基础上,操作系统电源管理的优势在于操作系统作为系统资源管理者,根据工作负载和硬件资源电源状态的特征,在满足系统性能约束条件下作出电源管理决策... 详细信息

系统级动态电源管理技术的关键问题是在系统性能与能耗之间进行权衡.在硬件提供支持的基础上,操作系统电源管理的优势在于操作系统作为系统资源管理者,根据工作负载和硬件资源电源状态的特征,在满足系统性能约束条件下作出电源管理决策和控制,降低系统能耗.从优化控制策略和操作系统资源管理的角度,综述操作系统电源管理研究现状及其关键技术.对两类动态电源管理策略进行详细分析,讨论了从资源管理角度进行操作系统电源管理的研究思路和问题,对当前面临的主要问题和发展趋势进行了总结和展望.

关键词：操作系统电源管理动态功耗管理动态频率调节低能耗

来源：评论

学校读者我要写书评

暂无评论

知识引导的软件可信性需求的提取

引用

计算机学报 2011年第11期34卷 2165-2175页

作者：王越刘春张伟金芝中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁... 详细信息

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性.

关键词：可信需求可信需求模式可信需求获取需求工程

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：