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

第八届全国和谐人机环境联合学术会议HHME2012

作者：陆掾黄宇南京大学计算机软件新技术国家重点实验室南京大学计算机科学技术系

在移动环境下,移动设备的IP地址动态变化,这使得移动应用程序相互之间进行通信变得困难。为了解决上述问题,我们设计了一个从移动设备的逻辑名解析其当前IP地址的系统IRMD(IP-address Resolution for Mobile Devices)。IRMD是一个多服... 详细信息

在移动环境下,移动设备的IP地址动态变化,这使得移动应用程序相互之间进行通信变得困难。为了解决上述问题,我们设计了一个从移动设备的逻辑名解析其当前IP地址的系统IRMD(IP-address Resolution for Mobile Devices)。IRMD是一个多服务器系统,因而具有较高的容错能力。同时IRMD通过多服务器之间的协商保证在服务器宕机的情况下仍能维持解析结果的顺序一致性。基于一个C++实现的IRMD系统原型,我们评估了系统中服务器数量和使用系统的移动设备数量的变化对系统性能的影响,并分析了实验结果。实验结果表明,IRMD在服务器数量和移动设备数量增加的情况下仍然具有良好的性能。

关键词：移动计算地址解析容错

来源：评论

学校读者我要写书评

暂无评论

VTOS:一个支持多核的微内核操作系统设计与实现

引用

软件导刊 2012年第10期11卷 125-129页

作者：景香博陈江钱振江南京大学计算机科学与技术系软件新技术国家重点实验室江苏南京210093

现在处理器的发展已经进入了一个新的时代,继承了几十乃至上百个核心的处理器已经出现。这在大大提升了硬件处理能力的同时,也给软件设计,尤其是操作系统设计带来了很大困难。为了提高系统的可扩展性,操作系统开发人员需要花费大量的精... 详细信息

现在处理器的发展已经进入了一个新的时代,继承了几十乃至上百个核心的处理器已经出现。这在大大提升了硬件处理能力的同时,也给软件设计,尤其是操作系统设计带来了很大困难。为了提高系统的可扩展性,操作系统开发人员需要花费大量的精力来进行严谨而有效率的同步设计。由于宏内核自身的复杂性,在进行同步设计时很困难。阐述了一个微内核的多核同步设计方案,由此可以发现在设计多核操作系统时微内核系统先天的巨大优势。

关键词：多核微内核操作系统可扩展性同步

来源：评论

学校读者我要写书评

暂无评论

一种面向情境的情境感知应用编程框架

一种面向情境的情境感知应用编程框架

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：陈秀余萍徐锋南京大学计算机科学与技术系江苏南京 210046 南京大学计算机软件新技术国家重点实验室江苏南京 210046

随着信息技术的快速发展，各种各样的环境信息影响着我们生活中的各种决策，因此提供一种智能化的应用程序，能够根据用户当前的情境信息为用户提供所需要的最适合的服务变得越来越重要。然而许多遗产软件并不支持情境感知功能，而且目... 详细信息

随着信息技术的快速发展，各种各样的环境信息影响着我们生活中的各种决策，因此提供一种智能化的应用程序，能够根据用户当前的情境信息为用户提供所需要的最适合的服务变得越来越重要。然而许多遗产软件并不支持情境感知功能，而且目前的一些主要的编程语言和编程框架并没有提供一个很好的方式来支持这种情境感知应用程序的开发。因此本文提出了一个新的面向情境的编程框架，支持情境信息的定义、封装、发布，支持对应用行为的驱动和约束，允许应用快速响应非预期情境。通过该框架可以快速开发情境感知应用，也可以以非侵入的方式改造遗产软件，使之具有情境感知能力。

关键词：情境感知 Context 框架遗产软件

来源：评论

学校读者我要写书评

暂无评论

Windows应用程序敏感数据保护研究

引用

软件导刊 2012年第8期11卷 175-178页

作者：陶照平黄皓南京大学软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

通过对Windows操作系统数据管理机制的研究,结合硬件辅助虚拟化技术,提出了一个应用程序敏感数据保护系统。本系统通过预处理加密技术和物理页帧加密技术阻止对静态存储数据的攻击,通过双影子页表技术和数据执行保护技术隐藏应用程序受... 详细信息

通过对Windows操作系统数据管理机制的研究,结合硬件辅助虚拟化技术,提出了一个应用程序敏感数据保护系统。本系统通过预处理加密技术和物理页帧加密技术阻止对静态存储数据的攻击,通过双影子页表技术和数据执行保护技术隐藏应用程序受保护内存区域内的明文内容,通过监控页表访问控制阻止进程受保护区域被其它进程恶意修改。

关键词：硬件辅助虚拟化双影子页表物理页帧加密数据执行保护

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的工作流协同模型分解方法

一种基于不变量的工作流协同模型分解方法

引用

2012中国计算机大会

作者：葛季栋胡海洋周宇胡昊王栋毅过晓波计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学软件学院南京 210093 计算机软件新技术国家重点实验室(南京大学) 南京 210093 杭州电子科技大学计算机学院杭州 310018 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京航空航天大学计算机科学与技术学院南京 210016 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学计算机科学与技术系南京 210093

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确... 详细信息

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPB模型能够被正确地执行，文中提出IOPB模型的弱合理性(rrlaxd soundese)作为IOPB模型的正确性标准之一.IOPB模型是一种复合模型，其规模一般较大，采用基于状态空间的分析方法，容易产生状态空间爆炸问题，为此文中提出基于不变量的分解方法，能够将一个弱合理的无回路IOPB模型分解为一组顺序图，并提出相关定理：一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.

关键词：工作流协同模型合理性不变量分解

来源：评论

学校读者我要写书评

暂无评论

覆盖表生成的粒子群算法:参数优化和自适应算法

覆盖表生成的粒子群算法:参数优化和自适应算法

引用

2012中国计算机大会

作者：吴化尧聂长海南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法，覆盖表的生成是该研究领域的一个重要问题。目前，很多方法已被应用于覆盖表生成，基于演化搜索的粒子群算法尽管能得到较优的解，但其性能容易受到配置参数的影响... 详细信息

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法，覆盖表的生成是该研究领域的一个重要问题。目前，很多方法已被应用于覆盖表生成，基于演化搜索的粒子群算法尽管能得到较优的解，但其性能容易受到配置参数的影响。本文首先使用试验设计的方法，对不同覆盖表生成的算法参数进行优化，系统分析了参数对算法性能的影响。同时，考虑到对不同的覆盖表，最优的算法参数往往不同，因此进一步提出了一种适用于覆盖表生成的自适应粒子群算法。实验结果表明，在一定的参数取值范围内粒子群算法都能获得较好的结果，且不存在一组对任意覆盖表都能有最优性能的算法参数。通过参数调优，能使粒子群算法获得比已有结果规模更小的覆盖表，同时，与经过参数调优后的算法相比，自适应粒子群算法在大部分情况下有更好的性能。

关键词：组合测试覆盖表生成粒子群算法参数调优自适应算法

来源：评论

学校读者我要写书评

暂无评论

基于迁移系统分析的线性混成系统安全性验证工具

基于迁移系统分析的线性混成系统安全性验证工具

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：蒋慧卜磊李宣东南京大学计算机软件新技术国家重点实验室江苏南京 210046 南京大学计算机科学与技术系江苏南京 210046

混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集，复杂度... 详细信息

混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集，复杂度高，可处理问题规模非常有限。本文中我们提出了一种新的工具，该工具将线性混成自动机表达为等价的迁移系统，并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明，方法有效可行，工具具有良好的性能。

关键词：线性混成自动机迁移系统安全性验证不变式生成

来源：评论

学校读者我要写书评

暂无评论

一种基于能耗的CPS软件可信管理框架

一种基于能耗的CPS软件可信管理框架

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：张侃张广泉张茗泰陈名才苏州大学计算机科学与技术学院苏州 215006 南京大学计算机软件新技术国家重点实验室南京 210093

信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需要研究能耗对软件可信性的影响。针对这一问题,提出一种基于能耗的CPS 软件可信管理框架。该框架通过监测基于能耗的CPS 软件可信属性指标,评估CPS 软件的可信性,评估结果作为CPS 软件演化依据。这一过程的核心是可信性评估,可信性评估分为两个阶段：首先根据可信性指标模型,评估CPS 软件可信性;然后根据软件交互结构评估软件交互可信性;最后通过一个实例说明了提出方法的有效性。

关键词： CPS 能耗可信性指标模型软件可信性评估软件可信管理

来源：评论

学校读者我要写书评

暂无评论

变异测试:原理、优化和应用

引用

计算机科学与探索 2012年第12期6卷 1057-1075页

作者：陈翔顾庆南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093

变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异... 详细信息

变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异测试分析流程进行介绍,并对其中的重要概念依次给出定义,从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中,从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中,选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域,对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。

关键词：变异测试等价变异体测试用例集充分性测试用例生成回归测试

来源：评论

学校读者我要写书评

暂无评论

基于样本的半自动图像集前背景分割

基于样本的半自动图像集前背景分割

引用

第九届中国计算机图形学大会(Chinagraph‘2012)

作者：汪粼波郭延文夏天辰金国平南京大学计算机软件新技术国家重点实验室江苏南京 210046 南京大学计算机科学与技术系江苏南京 210046

图像集的前背景分割是近年来图像处理与图形学领域的一项热点研究工作。对图像集中图像逐个进行交互分割涉及大量的用户操作，效率低下，而联合分割方法通常局限于处理具有相似前景的图像集，且因需求解大规模的优化问题较为耗时。鉴于... 详细信息

图像集的前背景分割是近年来图像处理与图形学领域的一项热点研究工作。对图像集中图像逐个进行交互分割涉及大量的用户操作，效率低下，而联合分割方法通常局限于处理具有相似前景的图像集，且因需求解大规模的优化问题较为耗时。鉴于此，本文提出了一种基于样本的半自动图像集分割方法，该方法利用样本图像与其余待分割图像的相关性，基于学习的方法传播样本图像的分割信息并指导实现目标图像的自动分割，再交互修复错误分割实现整个图像集的精确分割。

关键词：图像集前背景手动交互半自动分割局部修正

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：