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

情报理论与实践 2012年第4期35卷 103-108页

作者：张莉苏新宁王东波南京大学信息管理学院江苏南京210093 南京大学计算机科学与技术系国家重点实验室江苏南京210093

相对于传统的产品领域意见挖掘研究,文章对中文通用领域的意见挖掘各部分内容进行了尝试性研究。利用基于多种语言特征和候选评价对象的条件随机场模型进行观点表达抽取,对有窗口限制的最近邻方法进行改进,提出一种评价对象—观点表达... 详细信息

相对于传统的产品领域意见挖掘研究,文章对中文通用领域的意见挖掘各部分内容进行了尝试性研究。利用基于多种语言特征和候选评价对象的条件随机场模型进行观点表达抽取,对有窗口限制的最近邻方法进行改进,提出一种评价对象—观点表达对的匹配算法,其对评价对象抽取效果也进行了进一步的修正。

关键词：通用领域意见挖掘评价对象观点表达

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于滑动窗口的不确定数据流Top-K查询算法

引用

南京大学学报（自然科学版） 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年第9期33卷 85-94页

作者：程宏兵容淳铭黄晓 EGGEN Skjalg 曾庆凯南京大学软件新技术国家重点实验室江苏南京210093 江苏城市职业学院信息工程系江苏南京210017 斯塔万格大学计算机科学与电子工程系江苏移动通信有限公司互联网中心江苏南京210013

给出了一种高效的无线多媒体传感器网络攻击检测和数据融合算法EIDSART。该算法从节点的多元属性方面对节点行为特征进行界定,通过选择合适的邻居节点集合,可以运用于任意规模的多媒体传感器网络;另外,在经过精确检测攻击行为的情况下,... 详细信息

给出了一种高效的无线多媒体传感器网络攻击检测和数据融合算法EIDSART。该算法从节点的多元属性方面对节点行为特征进行界定,通过选择合适的邻居节点集合,可以运用于任意规模的多媒体传感器网络;另外,在经过精确检测攻击行为的情况下,对传感数据进行了融合,降低了网络通信开销。仿真结果表明,EIDSART在攻击检测精度和误报率等方面具有优势,并能得到精确的数据融合结果。

关键词：物联网无线多媒体传感器网络攻击检测数据融合

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：