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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于Trie树和扩展B树的RFID标签编码过滤方法研究

引用

电子学报 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树

来源：评论

学校读者我要写书评

暂无评论

基于容斥原理的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查询数据库系统查询优化

来源：评论

学校读者我要写书评

暂无评论

基于值依赖分析的空指针解引用检测

引用

电子学报 2015年第4期43卷 647-651页

作者：马森赵文习翔宇王栋伟北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用... 详细信息

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用守卫标注,即描述了相邻点之间的到达条件.为了降低误报率,本文同时提出了一种需求驱动的必然别名算法.由本文所述方法实现的工具展示了良好的实验效果,在10个SPEC2000项目中发现了70余个空指针解引用缺陷,误报率仅为6%左右.

关键词：程序分析静态缺陷检测空指针解引用检测需求驱动别名分析

来源：评论

学校读者我要写书评

暂无评论

基于规则推理的语义检索若干关键技术研究

引用

电子学报 2013年第5期41卷 977-981页

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

针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结... 详细信息

针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结果进行排序.针对上述问题,本文给出了基于语义网的语义规则建立方法,并提出了一种基于闭合世界假设的反向链接推理算法,提高推理效率,同时给出了一种基于特征相似性排序算法,使检索结果排序方式更加符合语义检索的特点.基于本文提出的方法,构造了语义搜索引擎MaterialHub,实验表明该搜索引擎提高了检索的准确率和查全率,有较好的查询响应时间,并已经得到实际应用.

关键词：语义检索语义规则语义规则推理语义相似性排序

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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应用的并行开发和动态演化提供了良好的支持.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：