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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于元组空间的智能传感器协同感知机制

引用

软件学报 2015年第4期26卷 790-801页

作者：王睿智史庭训焦文品北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着具有一定计算能力和无线通信能力的智能传感器(称为mote)的出现,越来越多的物联网应用可以实现对环境及其变化的就地感知、就地决策和就地反应.但因为mote的感知能力和感知范围有限,它们需要协同感知才能更全面地感知环境的状态,才... 详细信息

随着具有一定计算能力和无线通信能力的智能传感器(称为mote)的出现,越来越多的物联网应用可以实现对环境及其变化的就地感知、就地决策和就地反应.但因为mote的感知能力和感知范围有限,它们需要协同感知才能更全面地感知环境的状态,才能更好地适应环境的变化.而传统的mote协同感知的实现方法要求开发人员过多地关注mote之间的交互逻辑,并且mote应用也无法适应复杂环境的不断变化.为了避免开发人员在交互逻辑上花费过多的精力,同时保障开发出来的mote应用系统能够适应不稳定的外界环境,提出了一种基于元组空间的mote协同感知支撑机制,使得mote之间的协同感知过程(包括交互的建立过程以及对环境变化的适应过程)对开发人员完全透明.最后实现了一个简单的应用场景,展示了该方法如何满足功能需求以及在环境发生变化时如何对环境进行适应.

关键词：智能传感器协同感知自适应元组空间

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于上下文无关文法的可逆变换模型

引用

计算机科学与探索 2015年第7期9卷 793-802页

作者：吴阳怿吴逸鸣熊英飞北京大学信息科学技术学院软件研究所北京大学高可信软件技术教育部重点实验室

可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费较大的学习成本去了解计算模型。另一方面,作为语法解析的基本... 详细信息

可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费较大的学习成本去了解计算模型。另一方面,作为语法解析的基本工具,上下文无关文法对于绝大多数程序员来说都是不陌生的。提出了一种基于上下文无关文法的计算模型,用来构造字符串上的可逆变换,并对其性质和表达能力进行了探讨。采用Scheme语言实现了该计算模型,并通过在MIPS指令集上进行汇编和反汇编开发验证了该模型。验证结果表明,该模型具有较强的表达能力,在添加小型的公共数值变换模块后,可以完整地实现MIPS指令集上的汇编和反汇编。

关键词：可逆变换上下文无关文法字符串数据

来源：评论

学校读者我要写书评

暂无评论

基于反馈控制的软件适应性需求的识别与分析

引用

软件学报 2015年第4期26卷 713-729页

作者：刘春张伟赵海燕金芝河南大学计算机与信息工程学院河南开封475001 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学与技术学院软件研究所北京100871

适应性需求的识别与分析是开发自适应软件系统的基础,它将明确软件系统在运行过程中所可能面临的环境变化以及应对这些变化系统应采取的措施.但是,当前的适应性需求识别与分析方法一方面缺乏对环境的分析导致无法系统性地识别环境变化,... 详细信息

适应性需求的识别与分析是开发自适应软件系统的基础,它将明确软件系统在运行过程中所可能面临的环境变化以及应对这些变化系统应采取的措施.但是,当前的适应性需求识别与分析方法一方面缺乏对环境的分析导致无法系统性地识别环境变化,另一方面也缺乏有效的框架来同时考虑如何应对已知的环境变化和未知的环境变化.针对这些问题,提出了基于反馈控制的适应性需求识别与分析方法.该方法将自适应软件与其作用的环境看作为一个自适应控制系统,将适应性需求的识别与分析转化为对该控制系统所应具有的反馈回路的识别与分析.通过将环境看作软件的控制对象,它不仅突出了软件的环境,同时还可以通过确定环境感知反馈回路和需求感知反馈回路来分别应对已知的环境变化和未知的环境变化.最后,用一个实例说明所提出方法的可行性.

关键词：自适应软件适应性需求需求分析反馈控制回路

来源：评论

学校读者我要写书评

暂无评论

按需动态组织的知件库系统

引用

计算机科学与探索 2015年第6期9卷 660-668页

作者：施心悦鲁扬扬李戈金芝北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

"知件"是一个由中科院陆汝钤教授提出的将知识模块化的全新概念。基于知件概念提出并构建了一个按需动态组织的知件库系统。该知件库系统支持对知件的获取、表示、存储和管理。与全局知识库相比,这种知识的组织和管理方式有... 详细信息

"知件"是一个由中科院陆汝钤教授提出的将知识模块化的全新概念。基于知件概念提出并构建了一个按需动态组织的知件库系统。该知件库系统支持对知件的获取、表示、存储和管理。与全局知识库相比,这种知识的组织和管理方式有效地减少了知识管理和演化的代价。进一步地,知件库系统通过运用特定的知件关联算法,支持知件的检索、知件之间关联结构的动态配置和相关知件之间关联关系的展示,从而满足不同应用场景下的个性化知识需求。

关键词：知件知件库知件关联度知件搜索

来源：评论

学校读者我要写书评

暂无评论

基于PaaS的云应用软件部署环境的元模型

引用

计算机科学 2015年第10期42卷 45-49,80页

作者：刘欢欢麻志毅陈泓婕北京大学信息科学技术学院软件所北京大学高可信软件技术教育部重点实验室北京100871

PaaS是云计算的一种服务模式,用于提供应用程序容器服务。在PaaS上部署云应用软件的主要方式是调用API和编辑配置文件,这需要很大的学习成本并且容易出错。不同PaaS的API和配置文件有不同的语法,在PaaS上很难进行应用的迁移以及跨平台... 详细信息

PaaS是云计算的一种服务模式,用于提供应用程序容器服务。在PaaS上部署云应用软件的主要方式是调用API和编辑配置文件,这需要很大的学习成本并且容易出错。不同PaaS的API和配置文件有不同的语法,在PaaS上很难进行应用的迁移以及跨平台或多平台部署。提出了基于PaaS的云应用软件的部署环境的元模型,它降低了学习成本,使得部署过程更加自动化,简化了应用迁移,使跨平台或多平台部署成为可能。

关键词：部署元模型建模模型驱动

来源：评论

学校读者我要写书评

暂无评论

一种面向Chrome浏览器的课堂云笔记插件

引用

计算机科学 2015年第12期42卷 40-42,46页

作者：乔子健陈德健孙艳春北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

在当今的教学中,课堂教学和互联网教学是两大主流。然而,无论是在课堂教学还是在互联网教学中,当前的学习辅助平台都存在着一个明显的不足:学生无法及时针对讲义细节在云端共享笔记或寻求帮助,没有形成便于学习和交流的知识分享机制。... 详细信息

在当今的教学中,课堂教学和互联网教学是两大主流。然而,无论是在课堂教学还是在互联网教学中,当前的学习辅助平台都存在着一个明显的不足:学生无法及时针对讲义细节在云端共享笔记或寻求帮助,没有形成便于学习和交流的知识分享机制。这不利于学生对讲义知识的深刻理解,也不利于形成优质的学习生态系统。针对这一不足,在分析现有教学平台和云笔记产品的基础上,设计了一个面向Chrome浏览器的云笔记插件的系统架构,并采用HTML5、***等关键技术进行实现。该插件能够针对互联网讲义资源中的任意细节记录笔记、提出问题并云端共享,有助于学生在课上、课下对讲义资源中的细节的理解、讨论与最终掌握,加强现有学习辅助平台的功能。最后进行了相应的实例研究,证明了所提出的方案是可行有效的。

关键词：学习辅助平台互联网教育资源云笔记插件

来源：评论

学校读者我要写书评

暂无评论

一种基于邮件列表的软件问答信息抽取方法

引用

计算机科学 2015年第12期42卷 23-25,35页

作者：罗宇翔邹艳珍金庸谢冰北京大学信息科学技术学院软件所北京1000871 高可信软件技术教育部重点实验室北京100871

开源项目通常会提供邮件列表来帮助用户更好地理解和使用开源项目。但由于邮件的数量巨大、邮件内容组织繁杂、问题不明确、答案定位困难等问题,用户在邮件查询过程中定位一个特定的软件问答信息要花费大量的时间和精力。为此,提出一种... 详细信息

开源项目通常会提供邮件列表来帮助用户更好地理解和使用开源项目。但由于邮件的数量巨大、邮件内容组织繁杂、问题不明确、答案定位困难等问题,用户在邮件查询过程中定位一个特定的软件问答信息要花费大量的时间和精力。为此,提出一种基于邮件列表的软件问答信息抽取方法。该方法通过对邮件的简单分类与标注,实现自动的问题句抽取和答案邮件选取,从而提升了用户进行邮件列表查询以及开源软件项目学习的效率。最后,通过实验验证了该方法的有效性。

关键词：软件复用数据挖掘邮件列表软件问答

来源：评论

学校读者我要写书评

暂无评论

基于分割的数字图像云存储机制

引用

计算机研究与发展 2014年第5期51卷 1129-1135页

作者：吕骁博郭耀陈向群高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

随着云计算和数据中心的发展,数据处理和存储工作逐渐转移到云平台.通过云服务器存储数字图像可以解决图像存储和共享的问题,但是一些云服务器可能难以保证这些数字图像数据的可靠性和可用性,导致用户隐私泄露.提出一种基于分割的数字... 详细信息

随着云计算和数据中心的发展,数据处理和存储工作逐渐转移到云平台.通过云服务器存储数字图像可以解决图像存储和共享的问题,但是一些云服务器可能难以保证这些数字图像数据的可靠性和可用性,导致用户隐私泄露.提出一种基于分割的数字图像云存储机制,并采用了2种不同的图像分割算法:分块分割和分层分割.为了验证该机制,实现了一个支持隐私保护的数字图像云存储工具,针对不同图像分割方法进行了比较分析与实现,对所选的不同云服务器服务质量进行了测试.通过一系列实验,结论表明该机制可为数字图像云存储提供隐私保护、提高可靠性,并在一定程度上提高云存储的性能.

关键词：云计算数据存储图像分割隐私保护服务质量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：