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

科技导报 2016年第14期34卷 33-41页

作者：梅宏郭耀北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 上海交通大学计算机科学与工程系上海200240

计算机软件是计算机系统的"灵魂",而操作系统是软件运行支撑技术的核心。在互联网时代,软件的运行环境和开发方法发生了重要变化,迫切需要一种新型的面向互联网计算的软件范型,中国学者将这种新范型命名为网构软件。网构软件... 详细信息

计算机软件是计算机系统的"灵魂",而操作系统是软件运行支撑技术的核心。在互联网时代,软件的运行环境和开发方法发生了重要变化,迫切需要一种新型的面向互联网计算的软件范型,中国学者将这种新范型命名为网构软件。网构软件对包括操作系统在内的软件技术体系带来一系列新挑战。本文关注"面向网构软件的操作系统"(简称"网构操作系统"),简要回顾了操作系统的发展历史,介绍了网构操作系统的概念、基本特征和关键支撑技术。在总结当前网构操作系统的发展现状的基础上,对操作系统的未来发展进行了展望。

关键词：操作系统网构软件网构操作系统软件定义

来源：评论

学校读者我要写书评

暂无评论

互联网环境中基于环境激发效应的协同式概念建模

引用

计算机科学 2015年第11期42卷 228-234页

作者：蒋逸张伟赵海燕金芝南京航空航天大学计算机科学与技术学院南京210016 高可信软件技术教育部重点实验室北京100871 北京大学信息科学与技术学院北京100871

随着领域的规模性和复杂性不断增加,建立领域的概念模型往往超出了个人的能力。通过对群体智慧的聚集与组织,采用协同方法构建模型具有重要意义。基于社会性昆虫的群体协同机制——环境激发效应,提出了一种互联网环境下面向大规模群体... 详细信息

随着领域的规模性和复杂性不断增加,建立领域的概念模型往往超出了个人的能力。通过对群体智慧的聚集与组织,采用协同方法构建模型具有重要意义。基于社会性昆虫的群体协同机制——环境激发效应,提出了一种互联网环境下面向大规模群体的协同式概念建模方法。该方法具有两个特点:a)提供一种以环境为媒介的间接交互方式,解决了群体协同的规模可扩展性问题;b)提供一种协同的激励机制,初步解决了松散异步的沟通方式下群体协同一致的问题。这使得协同建模者能够相互借鉴知识经验来完善概念模型。在此基础上,通过实例研究对该方法的可行性和有效性进行了验证。

关键词：概念建模协同建模环境激发效应

来源：评论

学校读者我要写书评

暂无评论

基于可扩展计算平台的大图数据管理

引用

数据与计算发展前沿 2013年第1期 49-56页

作者：高军杨冬青北京大学信息科学技术学院计算机科学技术系高可信软件技术教育部重点实验室

随着数据采集和存储技术的发展,社交网络、生物信息科学、交通导航等领域中出现了规模庞大、内部结构复杂、查询需求多样的大图数据。传统基于单机内存的图处理方法无法满足大图数据管理需求。可扩展计算平台的发展为大图数据管理提供... 详细信息

随着数据采集和存储技术的发展,社交网络、生物信息科学、交通导航等领域中出现了规模庞大、内部结构复杂、查询需求多样的大图数据。传统基于单机内存的图处理方法无法满足大图数据管理需求。可扩展计算平台的发展为大图数据管理提供了可行的技术方案。本文首先分析了大图数据之上的不同类型查询,重点探讨了基于关系数据库、基于MapReduce计算框架、基于BSP(Bulk Synchronous Parallel)计算模型和基于第三方外包服务器的大图数据管理方法,并分析了未来可能的研究路线。

关键词：大图数据关系数据库 MapReduce BSP 外包

来源：评论

学校读者我要写书评

暂无评论

基于可扩展计算平台的大图数据管理

引用

科研信息化技术与应用 2013年第1期4卷 49-56页

作者：高军杨冬青北京大学信息科学技术学院计算机科学技术系北京100871 高可信软件技术教育部重点实验室北京100871

关键词：大图数据关系数据库 MapReduce BSP 外包

来源：评论

学校读者我要写书评

暂无评论

一种网络化移动应用部署方案优化方法

引用

软件学报 2011年第12期22卷 2866-2878页

作者：张晓薇曹东刚陈向群梅宏北京大学计算机科学与技术系北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

从软件体系结构角度出发,从满足移动用户个性化需求入手,提出一种便于移动应用开发和部署的整合方案.该方案从设备属性(如CPU、内存、屏幕、通信模式等)、用户偏好(如对能耗和性能的偏好等)以及QoS需求(如交互频率、安全、实时性等)等... 详细信息

从软件体系结构角度出发,从满足移动用户个性化需求入手,提出一种便于移动应用开发和部署的整合方案.该方案从设备属性(如CPU、内存、屏幕、通信模式等)、用户偏好(如对能耗和性能的偏好等)以及QoS需求(如交互频率、安全、实时性等)等多重维度入手,采用体系结构驱动的方法对应用进行建模,并生成满足用户个性化需求的部署方案,从而有效提高了移动应用的可配置性.实验结果表明,该方案可以有效地方便移动应用的开发及部署,提高应用与用户需求的契合程度,改善网络化移动应用的可配置性.

关键词：软件体系结构软件可配置性用户配置信息服务质量网络化移动应用

来源：评论

学校读者我要写书评

暂无评论

支持服务组合的需求模型及其可满足性判定

引用

计算机科学与探索 2011年第5期5卷 458-466页

作者：叶荣华金芝钟发荣浙江师范大学计算机科学与技术研究所浙江金华321004 北京大学高可信软件技术教育部重点实验室北京100871 中国科学院数学与系统科学研究院北京100190

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语言的,很难用于服务的自动组合。提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务。引入Petr... 详细信息

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语言的,很难用于服务的自动组合。提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务。引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法。最后选择旅行安排作为具体案例,展示了该模型的有效性。

关键词：组合服务需求意图任务 Petri网环境本体

来源：评论

学校读者我要写书评

暂无评论

网络化移动应用的全局适应性数据预取机制

引用

软件学报 2010年第8期21卷 1783-1794页

作者：张晓薇曹东刚田刚陈向群北京大学计算机科学技术系北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

提出一种多目标的数据预取方法(multiple goals oriented data prefetching,简称MGODP)来满足不同用户的数据预取需求.MGODP不仅从用户偏好出发为其预取合适量的数据,而且从服务器角度出发,对于Client/Server模式下的数据访问提出全局... 详细信息

提出一种多目标的数据预取方法(multiple goals oriented data prefetching,简称MGODP)来满足不同用户的数据预取需求.MGODP不仅从用户偏好出发为其预取合适量的数据,而且从服务器角度出发,对于Client/Server模式下的数据访问提出全局合作的方法,以大幅度提高服务质量.另外,MGODP提供了移动客户端和服务器之间平衡工作负载的合作机制,合理分配系统资源,保障系统性能.通过一系列实验可以看出,MGODP方法能够很好地满足不同用户的需求,并通过全局合作和负载均衡机制在保证用户性能需求的前提下,尽可能地减小对电池电量和网络带宽的消耗.

关键词：数据预取用户偏好上下文可感知移动计算全局协作

来源：评论

学校读者我要写书评

暂无评论

面向OSGi的应用服务器重构

引用

计算机科学与探索 2010年第2期4卷 108-114页

作者：周明辉张益菲梅宏北京大学计算机科学与技术系北京100084 北京大学高可信软件技术教育部重点实验室北京100084

为了满足应用服务器的可伸缩、动态性及模块可移植,针对应用服务器目前普遍存在的问题,以自主研发的应用服务器PKUAS为例,面向OSGi体系结构进行了重构。深入探讨了问题存在的原因,提出了一组重构原则和方法,包括:遵循信息隐藏原则划分模... 详细信息

为了满足应用服务器的可伸缩、动态性及模块可移植,针对应用服务器目前普遍存在的问题,以自主研发的应用服务器PKUAS为例,面向OSGi体系结构进行了重构。深入探讨了问题存在的原因,提出了一组重构原则和方法,包括:遵循信息隐藏原则划分模块;遵循最少侵入原则以减轻维护负担;遵循变化性分离原则增强可扩展性。实践证明其效果良好。所提出的原则和方法适用于其他应用服务器,对采用OSGi技术进行重构的其他软件也有良好的借鉴价值。

关键词：应用服务器开放服务网关协议重构信息隐藏最少侵入变化性分离

来源：评论

学校读者我要写书评

暂无评论

一种支持多状态转换的通用资源池框架

引用

计算机科学与探索 2010年第3期4卷 214-221页

作者：马秀娟周明辉梅宏北京大学计算机科学与技术系北京100084 北京大学高可信软件技术教育部重点实验室北京100084

在软件系统的开发中,系统的响应时间、资源消耗以及并发度越来越受到重视。同时,开发人员越来越多地使用中间件来提高开发效率和系统性能。池机制就是一种通过复用而不是每次都重新创建对象来解决系统性能的方式。为不同的资源对象开发... 详细信息

在软件系统的开发中,系统的响应时间、资源消耗以及并发度越来越受到重视。同时,开发人员越来越多地使用中间件来提高开发效率和系统性能。池机制就是一种通过复用而不是每次都重新创建对象来解决系统性能的方式。为不同的资源对象开发不同的池将导致许多的重复工作和代码冗余。分析了当前许多池的特征,从中提取出四种共性:资源的借入借出、资源有效性检查、池的监测机制和池的可定制机制;扩展了Mark Grand的对象池模式,提出了一个通用池框架。在这个扩展池的基础上,通过研究资源的状态转换,首次提出一种细粒度的状态转换——对象的多状态转换机制。实验和分析结果证明了方法的有效性。

关键词：通用池多状态转换池模式

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：