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

南京大学学报（自然科学版） 2012年第3期48卷 351-359页

作者：汤克明戴彩艳陈崚南京航空航天大学计算机科学与技术学院南京210016 盐城师范学院信息科学与技术学院盐城224002 扬州大学计算机科学系扬州225009 南京大学计算机软件新技术国家重点实验室南京210093

由于不确定数据流在诸如移动计算、无线射频识别技术和传感器网络等实际应用中广泛存在,如何利用有限存储空间进行快速查询处理是不确定数据流管理的重要问题.本文研究基于滑动窗口模型的不确定数据流Top-K查询的问题,提出了相应的算法... 详细信息

由于不确定数据流在诸如移动计算、无线射频识别技术和传感器网络等实际应用中广泛存在,如何利用有限存储空间进行快速查询处理是不确定数据流管理的重要问题.本文研究基于滑动窗口模型的不确定数据流Top-K查询的问题,提出了相应的算法.该算法利用滑动窗口数据模型存储不确定流数据,建立3个概要表,当前窗口中的元组分别按照它们出现的顺序、它们的得分值的大小、它们的出现概率值的大小存入这3个表中.算法逐次在得分值最高的前若干个元组中选取概率值最高的前k项元组集合,并计算它们的发生概率.我们在理论上证明了,这些前k项元组集合中概率最高的就是Top-K查询结果.实验结果表明,所提出的查询算法在时间与空间复杂性方面优于其他类似的算法.

关键词：不确定数据数据流 Top-K查询滑动窗口

来源：评论

学校读者我要写书评

暂无评论

无人机飞控软件系统建模与测试用例生成研究

引用

计算机科学 2012年第7期39卷 112-118页

作者：吴黎明胡军曹东徐丙凤于笑丰南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学自动化学院南京210016 南京大学商学院南京210093

软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动... 详细信息

软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。

关键词：模型驱动工程基于模型的测试飞行控制软件时间自动机无人机系统

来源：评论

学校读者我要写书评

暂无评论

基于MapReduce的对象共指消解方法

引用

计算机科学与探索 2012年第4期6卷 301-308页

作者：谢俊凯胡伟柏文阳南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

对象共指消解是语义Web研究中的一个关键问题。虽然目前已有许多不同的对象共指消解方法,但是它们的效率还不能满足实际使用的要求。MapReduce框架具有简单性和较强的计算能力,已被广泛用于各种数据并行处理任务。基于MapReduce的两个... 详细信息

对象共指消解是语义Web研究中的一个关键问题。虽然目前已有许多不同的对象共指消解方法,但是它们的效率还不能满足实际使用的要求。MapReduce框架具有简单性和较强的计算能力,已被广泛用于各种数据并行处理任务。基于MapReduce的两个不同阶段,分别提出了两种并行算法来消解对象共指。具体地,给定一个初始训练集合和一个阈值,算法能够高效地发现一组具有可判别度的属性,并且满足它们的确信度高于预先给定的阈值。这些具有高可判别度的属性将被用于识别拥有相似取值的对象共指。基于真实数据集,通过人为增大数据集规模,验证了基于MapReduce算法的有效性。

关键词：对象共指消解 MapReduce 语义Web

来源：评论

学校读者我要写书评

暂无评论

面向智能移动平台的Web服务推送技术研究

引用

计算机科学与探索 2012年第7期6卷 602-611页

作者：颜友军许蕾陈林李言辉南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

将Web服务引入到智能移动平台软件中,能够很好地解决目前平台软件复用率低,平台依赖性高等问题。但现有技术不能针对移动平台进行高效的数据推送,影响了Web服务的应用效果。为了解决这一问题,提出了一个面向智能移动平台的Web服务推送框... 详细信息

将Web服务引入到智能移动平台软件中,能够很好地解决目前平台软件复用率低,平台依赖性高等问题。但现有技术不能针对移动平台进行高效的数据推送,影响了Web服务的应用效果。为了解决这一问题,提出了一个面向智能移动平台的Web服务推送框架:扩展SOAP协议,提出SOAP推送协议作为数据交互协议;提出数据交换管程,以屏蔽所使用的数据推送协议;扩展Web数据推送中的代理模块,以形成服务代理。针对主流的Web应用,对推送框架进行了实验,并与传统轮询方式进行了比较,结果表明该框架具有较低的网络数据传输量,在智能移动平台中有重要的应用价值。

关键词： Web服务数据推送数据交换管程简单对象访问协议(SOAP) SOAP推送协议

来源：评论

学校读者我要写书评

暂无评论

自适应软件系统构造——自动避障三轮小车的案例研究

引用

计算机科学与探索 2012年第5期6卷 409-418页

作者：葛海龙马晓星许畅南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

自适应软件需要能够根据环境的变化在运行时动态调整自己的行为以实现既定任务.为了解决这一类软件在开发过程中的一些挑战问题,如自适应逻辑修改困难、代码紧耦合等,设计并实现了一种基于规则的自适应软件系统应用框架(rule-based appl... 详细信息

自适应软件需要能够根据环境的变化在运行时动态调整自己的行为以实现既定任务.为了解决这一类软件在开发过程中的一些挑战问题,如自适应逻辑修改困难、代码紧耦合等,设计并实现了一种基于规则的自适应软件系统应用框架(rule-based application framework for self-adaptive software systems,RAF).RAF通过面向组件的方式解决了紧耦合问题,使用规则文件管理自适应逻辑,并将其与软件的其他部分分割开来.使用RAF开发软件可以灵活地制定与修改自适应逻辑,方便软件的开发、调试、升级等.通过一个案例展示了RAF在解决上述问题方面的能力.

关键词：规则自适应软件框架

来源：评论

学校读者我要写书评

暂无评论

面向动态任务合作求解的联盟模型

引用

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

作者：詹千熠孙强詹宇森王崇骏谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR(coalition mode... 详细信息

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR(coalition model based on learnin gagent and role);在采用合同网协议的CLAR联盟模型中提出了两阶段联盟形成机制;通过捕食者问题实验验证了角色和学习机制的作用,以及两阶段联盟形成机制在减少通讯代价上的作用。

关键词：多Agent系统联盟捕食者问题 ARG元模型合同网

来源：评论

学校读者我要写书评

暂无评论

一种层次式时间自动机模型检测方法

引用

计算机应用与软件 2012年第11期29卷 48-51页

作者：周宇胡军葛季栋南京航空航天大学计算机科学与技术学院江苏南京210000 南京大学软件新技术国家重点实验室江苏南京210000

层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作。提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行。... 详细信息

层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作。提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行。在此基础之上实现一个原型系统可以将层次式时间自动机模型自动转化为模型检测工具UPPAAL的输入,从而可以对之进行验证。结合实时UML状态机图实例,证明了该方法的有效性。

关键词：层次式时间自动机形式化方法模型检测

来源：评论

学校读者我要写书评

暂无评论

一种基于后继任务的过程挖掘算法

引用

计算机应用与软件 2012年第10期29卷 17-21页

作者：王栋毅葛季栋过晓波胡昊骆斌朱明计算机软件新技术国家重点实验室南京大学江苏南京210093 南京大学软件学院江苏南京210093 南京大学计算机科学与技术系江苏南京210093 国电南京自动化股份有限公司江苏南京210003

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志,但只有很少一部分的事件日志被应用于分析流程。提出一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘... 详细信息

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志,但只有很少一部分的事件日志被应用于分析流程。提出一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘出因果依赖关系,而且能够挖掘出潜在并发关系。其中,因果依赖关系包括显式依赖和隐式依赖(由非自由选择结构产生)两种。另外,χ-算法能够正确地挖掘SWF网、大部分带隐式依赖的非SWF网、一些非良好处理的工作流网和一些含有隐式库所的工作流网。因为χ-算法所使用的事件日志多出了一种新的事件类型——后继任务,所以χ-算法能够处理范围更广的工作流网。

关键词：过程挖掘工作流过程建模后继任务隐式依赖

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：