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

计算机科学与探索 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).在此基础上,我们还将该算法进行了扩展,可以通过参数的变化得到不同的流数据频繁项挖掘算法,使得算法的时间和空间复杂度之间得到调节.通过大量的实验证明,本文算法比其它类似算法具有更好的精度以及时间和空间效率.

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

迁移学习数据分类中的ESVM算法

引用

计算机工程 2012年第8期38卷 173-176页

作者：张建军王士同王骏江南大学信息工程学院江苏无锡214122 南京理工大学计算机科学与技术学院南京210094 南京大学计算机软件新技术国家重点实验室南京210093

在迁移学习中对变化后的数据集进行分类时,噪音导致分类结果不合理。为此,提出一种迁移学习数据分类中的扩展支持向量机(ESVM)算法。使用变化前数据集的概率分布信息及学习经验,指导缓慢变化后的数据集进行分类,使分割面既可以准确分割... 详细信息

在迁移学习中对变化后的数据集进行分类时,噪音导致分类结果不合理。为此,提出一种迁移学习数据分类中的扩展支持向量机(ESVM)算法。使用变化前数据集的概率分布信息及学习经验,指导缓慢变化后的数据集进行分类,使分割面既可以准确分割现有数据集,同时也保留原先数据集的一些属性。实验结果表明,该算法具有一定的抗噪性能。

关键词：迁移学习分类支持向量机继承经验抗噪性能

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种中断驱动系统的时间约束验证方法

一种中断驱动系统的时间约束验证方法

引用

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

作者：孙琳陈鑫李宣东南京大学计算机软件新技术国家重点实验室南京 210046 南京大学计算机科学与技术系南京 210046

中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束进行验证。传统的以测试为基础的方法，在处理中断驱动的系... 详细信息

中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束进行验证。传统的以测试为基础的方法，在处理中断驱动的系统时，由于系统可能的运行轨迹空间是无穷的，其有效性受到很大的影响。本文提出了一种基于线性混成自动机有界验证技术对中断驱动系统的时间约束进行验证的方法，应用线性混成自动机对中断驱动的系统建模，将时间约束验证问题转换成线性混成自动机上的路径可达性判定问题，并借助模型检验工具BACH来进行验证。以一个周期性中断源驱动的嵌入式系统为例，说明了方法的可行性和有效性。

关键词：中断驱动的系统时间约束验证线性混成自动机

来源：评论

学校读者我要写书评

暂无评论

一种面向构件的动态依赖技术

一种面向构件的动态依赖技术

引用

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

作者：苏萍马晓星南京大学计算机科学与技术系南京 210093 南京大学计算机软件新技术国家重点实验室南京 210093

动态更新作为当今一项热门技术,其关键问题在于如何保障运行系统更新前后的一致性,同时加快动态更新。已有的一致性保障工作,如Tranquillity 、Version-consistency,都需要依靠系统运行时刻的动态依赖关系才能完成,而且精确的动态依赖... 详细信息

动态更新作为当今一项热门技术,其关键问题在于如何保障运行系统更新前后的一致性,同时加快动态更新。已有的一致性保障工作,如Tranquillity 、Version-consistency,都需要依靠系统运行时刻的动态依赖关系才能完成,而且精确的动态依赖关系可以加快动态更新。传统的动态依赖技术在实现时需要程序员针对每个程序手工地计算其动态依赖关系,而现有的可自动获得的方法在某些点得到的动态依赖关系是不精确的。针对这些问题,本文提出一种新的动态依赖技术,即在程序运行前,通过静态分析构建程序的动态依赖自动机,在程序运行时,自动机自动运行,并自适应地获得程序当前执行环境的精确的动态依赖关系。本文的工作是基于字节码的,所有工作都是自动完成,在开发效率和正确性上与已有的方法相比有了很大的提高。此外,利用此项技术本文开发了动态依赖抽取工具DDET,经实验证明,该项技术在一定程度上加快了动态更新。

关键词：动态更新动态依赖动态依赖自动机构件系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：