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

电子学报 2009年第5期37卷 1087-1091页

作者：尤朝周明辉林泊曹东刚梅宏北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

分块缓存技术能够有效提高动态网页的服务质量.现有的既存系统较少使用分块缓存技术设计,如何将其应用于这些系统是一个很大的挑战.本文提出了一种在线的动态网页分块缓存方法,使原系统演化成基于分块的系统,为用户服务.该方法具有三方... 详细信息

分块缓存技术能够有效提高动态网页的服务质量.现有的既存系统较少使用分块缓存技术设计,如何将其应用于这些系统是一个很大的挑战.本文提出了一种在线的动态网页分块缓存方法,使原系统演化成基于分块的系统,为用户服务.该方法具有三方面优点:(1)使原系统在线演化,不影响系统对用户的服务提供;(2)简化了模板的维护,使逻辑执行的粒度从页面降低到分块,减轻了服务器端的压力;(3)独立于原系统,有效支持系统的变化和升级.文章最后对方法进行了实现和评估,结果说明该方法能够较好实现系统的演化,提高系统的服务质量.

关键词：动态网页分块缓存在线标记

来源：评论

学校读者我要写书评

暂无评论

字符串分析研究进展

引用

软件学报 2013年第1期24卷 37-49页

作者：梅宏王啸吟张路高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件工程研究所北京100871

随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用... 详细信息

随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用.字符串分析的基本应用模式是首先使用字符串值分析获得字符串变量的所有可能取值,然后使用字符串约束求解判断这些变量的取值是否满足一定约束,从而对程序进行正确性验证.为了使得字符串分析能够应用在安全分析和软件维护应用中,研究人员对字符串分析进行了扩展,进一步分析字符串变量的数据来源.综述了字符串分析技术的研究进展,提出了字符串分析的问题构型,介绍了这一领域现在的主要研究内容:字符串值分析、字符串约束求解、字符串数据来源分析以及字符串分析在软件工程中的应用.

关键词：程序分析字符串分析约束求解

来源：评论

学校读者我要写书评

暂无评论

软件库调用规约挖掘

引用

软件学报 2011年第3期22卷 408-416页

作者：钟浩张路梅宏中国科学院软件研究所互联网软件技术实验室北京100190 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特... 详细信息

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.

关键词：挖掘规约软件库钟浩等软件库调用规约挖掘

来源：评论

学校读者我要写书评

暂无评论

基于下推系统可达性分析的程序机密消去机制

引用

软件学报 2012年第8期23卷 2149-2162页

作者：孙聪唐礼勇陈钟北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络与软件安全保障教育部重点实验室(北京大学) 北京100871

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程... 详细信息

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法具有更高的精确性,且比已有的自动验证方法更为高效.

关键词：信息流安全机密消去下推系统自动验证程序分析

来源：评论

学校读者我要写书评

暂无评论

一种基于时间序列的RFID供应链数据分析方法

引用

电子学报 2010年第B02期38卷 26-32页

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

通过挖掘海量RFID（Radio Frequency Identification）数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题，提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成... 详细信息

通过挖掘海量RFID（Radio Frequency Identification）数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题，提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成反映各环节周转状况的时间序列格式，然后通过分段趋势分解方法分解提取的时间序列数据，并根据分解后的随机项建立阈值来判断数据是否异常，从而建立相应的时间序列分析模型；最后基于模型检测数据异常.通过多样本和多数据集的实验检测，结果表明这种方法有效并具有较高的效率.

关键词：无线射频识别(RFID) RFID数据集供应链时间序列

来源：评论

学校读者我要写书评

暂无评论

基于动态分析的软件不变量综合技术

引用

软件学报 2020年第6期31卷 1681-1702页

作者：王博卢思睿姜佳君熊英飞北京大学信息科学技术学院计算机科学技术系软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析... 详细信息

软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析的不变量综合技术是该领域的核心问题,提出了“学习者-预言”框架统一描述相关方法,并且在此框架内根据学习者的归纳方法将综合技术大致分为4类,分别是基于模板穷举的方法、基于数值计算的方法、基于统计学习的方法以及基于符号执行的方法.其次,讨论了基于动态分析综合的不变量在软件验证和软件工程等领域的重要应用.随后,总结不变量生成技术中常用的实验对象程序和开源的不变量综合工具.最后,总结该领域并展望未来的研究方向.

关键词：不变量动态分析软件规约软件验证软件测试

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

DNA计算机原理、进展及难点(V):DNA分子的固定技术

引用

计算机学报 2009年第12期32卷 2283-2299页

作者：许进李菲北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 空军装备研究院北京100085

在DNA计算机的研制中,DNA分子的固定是首先需要处理的一个最为基本的技术问题.事实上,DNA分子的固定技术不仅是生物计算的一个基本技术,而且是整个基因工程、生物芯片、甚至某些疾病诊疗的基础.基于此,文中将对DNA分子的固定技术给予较... 详细信息

在DNA计算机的研制中,DNA分子的固定是首先需要处理的一个最为基本的技术问题.事实上,DNA分子的固定技术不仅是生物计算的一个基本技术,而且是整个基因工程、生物芯片、甚至某些疾病诊疗的基础.基于此,文中将对DNA分子的固定技术给予较为系统的研讨,包括基本原理、具体方法等.文中引入了"DNA分子固定系统"的结构体系,并对该结构体系中载体子系统、固定剂子系统、标记子系统这3个主要子系统进行了详细的论述.

关键词： DNA计算机 DNA固定技术固定系统固定剂载体分子标记磁珠分离技术 AcrditeTM技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：