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

小型微型计算机系统 2012年第1期33卷 102-109页

作者：张剑胡军郭丽娟南京航空航天大学信息科学与技术学院南京210016 计算机软件新技术国家重点实验室(南京大学) 南京210093

面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进... 详细信息

面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV方法,给出了相应的MRV实现方案,并在几个开源项目中进行了MRV实例应用.实验数据分析表明,在不同模式下,基于多核处理器架构的MRV方法能够从不同程度上有效提高系统运行时验证的性能.本文工作为进一步设计有效的多核架构下MRV方法提供了基础.

关键词：面向监控的运行时验证嵌入式软件多核程序设计软件分析与验证

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种用于油田勘探的云服务平台的构建设计

引用

石油地球物理勘探 2012年第1期47卷 166-172,188+200-201页

作者：彭英万剑华宋建吴楠中国石油大学(华东)地球资源与信息学院山东青岛266555 中国石化胜利油田物探研究院山东东营257022 南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

石油物探技术进步使得数据的存储和运算呈海量化剧增,对计算机和专业应用软件投资提出巨大需求,为此,发展石油物探软件服务平台成为有效的解决方案之一。本文提出一种基于云计算的"存储计算架构的中间服务模型(SCAM2)",可以... 详细信息

石油物探技术进步使得数据的存储和运算呈海量化剧增,对计算机和专业应用软件投资提出巨大需求,为此,发展石油物探软件服务平台成为有效的解决方案之一。本文提出一种基于云计算的"存储计算架构的中间服务模型(SCAM2)",可以在理论上解决面向石油物探行业云服务的存储与计算协同问题,从而实现石油物探软硬件平台的共享、组件复用,并对平台中的云投应方和服务投应方进行了设计和描述。

关键词：油气勘探云计算服务平台共享复用软件即服务技术

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学与探索 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年第5期33卷 940-949页

作者：屠莉陈崚包芳江苏省信息融合软件工程技术研发中心江苏江阴214405 江阴职业技术学院计算机科学系江苏江阴214405 扬州大学计算机科学与工程系江苏扬州225009 南京大学南京大学计算机软件新技术国家重点实验室南京210093

滑动窗口是一种对最近一段时间内的数据进行挖掘的有效的技术,本文提出一种基于滑动窗口的流数据频繁项挖掘算法.算法采用了链表队列策略大大简化了算法,提高了挖掘的效率.对于给定的阈值S、误差ε和窗口长度n,算法可以检测在窗口内频... 详细信息

滑动窗口是一种对最近一段时间内的数据进行挖掘的有效的技术,本文提出一种基于滑动窗口的流数据频繁项挖掘算法.算法采用了链表队列策略大大简化了算法,提高了挖掘的效率.对于给定的阈值S、误差ε和窗口长度n,算法可以检测在窗口内频度超过Sn的数据流频繁项,且使误差在εn以内.算法的空间复杂度为O(ε-1),对每个数据项的处理和查询时间均为O(1).在此基础上,我们还将该算法进行了扩展,可以通过参数的变化得到不同的流数据频繁项挖掘算法,使得算法的时间和空间复杂度之间得到调节.通过大量的实验证明,本文算法比其它类似算法具有更好的精度以及时间和空间效率.

关键词：数据流频繁项滑动窗口

来源：评论

学校读者我要写书评

暂无评论

基于K均值集成和SVM的P2P流量识别研究

引用

计算机科学 2012年第4期39卷 46-48,74页

作者：刘三民孙知信刘余霞安徽工程大学计算机与信息学院芜湖241000 南京航空航天大学计算机科学与技术学院南京210016 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093 安徽工程大学电气工程学院芜湖241000

提出基于K均值集成和支持向量机相结合的P2P流量识别模型,以保证流量识别精度和稳定性,克服聚类识别模型中参数值难以确定、复杂性高等缺点。对少量标签样本采用随机簇中心的K均值算法训练基聚类器,按最大后验概率分配簇标签,无标签样... 详细信息

提出基于K均值集成和支持向量机相结合的P2P流量识别模型,以保证流量识别精度和稳定性,克服聚类识别模型中参数值难以确定、复杂性高等缺点。对少量标签样本采用随机簇中心的K均值算法训练基聚类器,按最大后验概率分配簇标签,无标签样本与其最近簇标签一致;按投票机制集成无标签样本标签信息,并结合原标签样本训练支持向量机识别模型。该模型利用了集成学习稳定性和SVM在小样本集上的良好泛化性能。理论分析和仿真实验结果证明了方案的可行性。

关键词：流量识别支持向量机 K均值集成学习

来源：评论

学校读者我要写书评

暂无评论

基于区域划分的连通支配集协议

引用

计算机工程与设计 2012年第4期33卷 1319-1323页

作者：谢珊珊白光伟曹磊南京工业大学计算机科学与技术系江苏南京210009 南京大学软件新技术国家重点实验室江苏南京210093

针对规模较大、节点分布密集的无线传感器网络容易产生冗余数据包以及信号冲突,导致过多的节点能量消耗,加速死亡过程等问题,在深入研究现有的分布式连通支配集构造算法的基础上,提出基于区域划分的连通支配集协议——RPMPR协议。RPMPR... 详细信息

针对规模较大、节点分布密集的无线传感器网络容易产生冗余数据包以及信号冲突,导致过多的节点能量消耗,加速死亡过程等问题,在深入研究现有的分布式连通支配集构造算法的基础上,提出基于区域划分的连通支配集协议——RPMPR协议。RPMPR协议中每个节点针对网络拓扑信息,对邻居节点进行区域划分,在各区域内选择中继转发节点集,并以节点的度作为选择支配节点的依据,构建覆盖全网的连通支配集。仿真实验结果表明,RPMPR协议充分考虑网络拓扑信息,显著减小连通支配集规模,同时支配节点分布更为均匀。

关键词：无线传感网络虚拟骨干网连通支配集区域划分稀疏分布

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：