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

中国科技论文 2012年第1期7卷 19-27页

作者：唐启锋许蕾钱巨陈林张震宇南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与技术学院南京210016 中国科学院软件研究所计算机科学国家重点实验室北京100080

目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错... 详细信息

目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错误定位模型,并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法,提出了3种新的错误定位方法。实验结果表明,相对于此前单一的方法,所提出的2种方法具有更高的错误定位效率和更强的适应性。

关键词：错误定位.集成学习程序分析软件调试

来源：评论

学校读者我要写书评

暂无评论

基于L曲率的尺度空间形状分析技术

引用

南京大学学报（自然科学版） 2012年第2期48卷 172-181页

作者：郑瑞连钟宝江徐东升南京航空航天大学理学院南京211000 苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210093

尺度空间技术由于能够很好地模拟人类的视觉机能,已经成为理解和分析图像的一种现代化工具.本文提出了一种基于L曲率的尺度空间形状分析技术.考虑了该技术在形状描述和角点检测中的应用,并具体地给出了一种检测角点的多尺度曲率积算法.... 详细信息

尺度空间技术由于能够很好地模拟人类的视觉机能,已经成为理解和分析图像的一种现代化工具.本文提出了一种基于L曲率的尺度空间形状分析技术.考虑了该技术在形状描述和角点检测中的应用,并具体地给出了一种检测角点的多尺度曲率积算法.L曲率的尺度空间图表明它的零点和极值点关于尺度参数是稳定的,具有较强的鲁棒性.新的角点检测算法能够增强形状特征点的信息,抑制噪声,可以得到良好的实验结果,且计算量较少.

关键词：尺度空间形状分析角点检测 L曲率

来源：评论

学校读者我要写书评

暂无评论

不确定时间序列的规约方法

引用

计算机工程 2012年第21期38卷 33-35页

作者：吴红花刘国华东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

为提高不确定时间序列的查询效率,在对不确定时间序列数据集进行建模的基础上,提出由不确定时间序列向确定时间序列的3种规约方法,分别为概率最大法、混合规约法和均值法,并给出具体的规约过程。实验结果表明,上述3种规约方法能减少时... 详细信息

为提高不确定时间序列的查询效率,在对不确定时间序列数据集进行建模的基础上,提出由不确定时间序列向确定时间序列的3种规约方法,分别为概率最大法、混合规约法和均值法,并给出具体的规约过程。实验结果表明,上述3种规约方法能减少时间序列的不确定性,为其相似性匹配、搜索和查询操作提供依据。

关键词：不确定时间序列查询复杂度概率最大法均值法规约方法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

异构无线传感器网络基于区分服务的网络编码协议

引用

计算机科学 2012年第11期39卷 29-33页

作者：缪静文陶雯白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093 江苏教育学院数学与信息技术学院南京210013

通过将来自多条链路的数据包融合为一个单独的编码信息流进行传输,网络编码技术能够显著地提高无线多跳网络的容量。提出一种基于区分服务的异构无线传感器网络编码协议(DBNC)。协议的核心思想是周期性地计算节点剩余能量的均值和标准差... 详细信息

通过将来自多条链路的数据包融合为一个单独的编码信息流进行传输,网络编码技术能够显著地提高无线多跳网络的容量。提出一种基于区分服务的异构无线传感器网络编码协议(DBNC)。协议的核心思想是周期性地计算节点剩余能量的均值和标准差,对节点进行动态分类。在此基础上,将服务质量需求映射到网络编码协议中。为此,引入能量感知编码包转发机制,以高效地利用节点的能量;另一方面,设计多优先级数据包调度策略,目的是创造更多的编码机会。仿真结果表明,DBNC不仅可以保障数据的可靠传输,而且可有效地减少低能量节点的能耗,从而延长网络的生命周期。

关键词：异构无线传感器网络无线网络编码区分服务能量感知

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

云环境下面向数据密集型应用的数据选择策略研究

引用

计算机科学 2012年第6期39卷 30-34,71页

作者：杜薇崔国华刘伟石飞燕位凯志华中科技大学计算机科学与技术学院武汉430074 武汉理工大学计算机科学与技术学院武汉430063 南京大学计算机软件新技术国家重点实验室南京210093 武汉大学软件工程国家重点实验室武汉430072

云环境下独立任务包数据密集型应用已出现在多个领域。鉴于多数据中心环境和"按需付费"的资源使用模式,这类应用在数据选择方面面临着新的挑战,主要表现为如何从内容相同但位置和访问成本均不同的数据集中选择合适的数据资源... 详细信息

云环境下独立任务包数据密集型应用已出现在多个领域。鉴于多数据中心环境和"按需付费"的资源使用模式,这类应用在数据选择方面面临着新的挑战,主要表现为如何从内容相同但位置和访问成本均不同的数据集中选择合适的数据资源作为应用的输入。针对该问题,首先构建云环境和数据选择问题模型。在此基础上,将成本最小化的数据选择过程抽象为带权重集合的覆盖问题,提出一种新的数据选择策略,以在执行效率和经济成本间取得平衡。实验结果显示,提出的数据选择策略在保证成本优化的同时兼顾了执行效率,综合性能良好。

关键词：云计算独立任务包数据密集型应用数据选择带权重集合覆盖

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向智能移动平台的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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：