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

第三届CCF大数据学术会议

作者：高兴坤顾荣袁春风黄宜华南京大学计算机软件新技术国家重点实验室计算机科学与技术系/江苏省软件新技术与产业化协同创新中心

作为代数运算的基石，矩阵的分解和求逆在科学计算、数据挖掘、机器学习等诸多领域有着广泛的应用。然而大规模矩阵的分解和求逆运算难以在当下流行的Hadoop、Spark等分布式计算平台上很好地并行，以至于Apache Mahout里对于Cholesky分...

作为代数运算的基石，矩阵的分解和求逆在科学计算、数据挖掘、机器学习等诸多领域有着广泛的应用。然而大规模矩阵的分解和求逆运算难以在当下流行的Hadoop、Spark等分布式计算平台上很好地并行，以至于Apache Mahout里对于Cholesky分解目前都只有单机的实现。其中一个重要的原因是矩阵分解与求逆运算结果中的一个元素往往依赖于输入矩阵的若干个元素。针对这一问题，本文基于Spark平台研究优化了大规模分布式稠密矩阵的LU分解、Cholesky分解以及求逆的并行化运算方法。本文首先采用分而治之的并行化设计思路对大规模矩阵进行分块，将整个计算任务划分为更小的计算任务，最终实现高效的并行化矩阵分解和矩阵求逆运算。然后，本文研究了计算过程中的一些优化方法，例如利用高性能本地库、缩小工作集等。实验结果表明，本文提出的并行化算法具有较高的效率，所提的优化方法总体平均能提升约60％的性能。此外，本并行化算法具有近线性的数据与节点可扩展性和受益于Spark平台的高容错性。据我们所知，本文是第一个基于Spark设计实现分布式大规模矩阵LU、Cholesky分解以及求逆算法的工作。

关键词：

来源：评论

学校读者我要写书评

暂无评论

一种基于上下文的医学图像ROI分类方法

引用

模式识别与人工智能 2014年第12期27卷 1057-1064页

作者：郭乔进李宁谢俊元南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

感兴趣区域(ROI)的分类是医学图像的计算机辅助诊断过程的最后一步,传统方法只针对每个ROI区域单独提取特征,再利用统计学习的方法训练分类器进行分类.然而图像中每个区域所包含的视觉特征有限,很难进行准确的分类.文中提出一种基于LDA... 详细信息

感兴趣区域(ROI)的分类是医学图像的计算机辅助诊断过程的最后一步,传统方法只针对每个ROI区域单独提取特征,再利用统计学习的方法训练分类器进行分类.然而图像中每个区域所包含的视觉特征有限,很难进行准确的分类.文中提出一种基于LDA主题模型的改进模型(LDAC),考虑ROI周围区域,即图像的上下文关系,通过利用LDA对ROI周围区域所包含的上下文信息进行建模,同时结合ROI区域的视觉信息和类别标签,从而辅助ROI区域的分类,以达到提高分类准确率的目的.乳腺图像肿块分类实验表明,文中方法可提高分类的准确性.

关键词：感兴趣区域(ROI)分类上下文隐层狄利克雷分配(LDA) 医学图像

来源：评论

学校读者我要写书评

暂无评论

Walsh函数在组合测试中的应用

引用

计算机学报 2014年第12期37卷 2482-2491页

作者：王蓁蓁周毓明康达周王子元李言辉徐宝文金陵科技学院软件工程学院南京211169 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式... 详细信息

实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式的定义以及理论缺陷函数和实际缺陷函数的定义;引入Walsh模式变换概念,并利用Walsh函数的离散形式有效地计算测试用例模式的平均缺陷率.最后基于模式平均缺陷率的大小,补充附加测试用例进行重新测试,从而迅速将故障原因锁定在很小的范围内,为软件的调试和测试工作提供更方便、更有价值的线索和参考.

关键词：软件测试组合测试软件调试 Walsh函数测试用例模式

来源：评论

学校读者我要写书评

暂无评论

传感器网络中节点能量有效均衡的Top-k查询技术

引用

电子与信息学报 2014年第6期36卷 1478-1484页

作者：宋保利郑吉平王海翔南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

无线传感器网络中top-k查询处理的节点能量高效以及实现各节点的能量消耗均衡,可以有效延长网络的生命周期。该文提出一种基于采样技术和节点空间相关性,来实现节点的能量均衡和高效的查询处理算法,称为能量均衡采样(e,d)近似top-k算法E... 详细信息

无线传感器网络中top-k查询处理的节点能量高效以及实现各节点的能量消耗均衡,可以有效延长网络的生命周期。该文提出一种基于采样技术和节点空间相关性,来实现节点的能量均衡和高效的查询处理算法,称为能量均衡采样(e,d)近似top-k算法EBSTopk(e,d)。首先对传感器网络进行分区处理,利用区域内两两节点间的空间相关性对其建立线性回归预测模型和高斯预测模型;然后根据用户给定的相对误差界e和置信水平1-d建立节点高相关性预测准则;最后根据上述预测模型和准则,提出基于反复随机采样的能量均衡算法EBSTopk(e,d)-LR和EBSTopk(e,d)-MG。实验表明,所提出的EBSTopk(e,d)算法减少了无线传感器网络中的全局能量消耗,且在多次top-k查询后各节点的能量消耗达到均衡。

关键词：无线传感器网络能量均衡近似top-k查询反复随机采样

来源：评论

学校读者我要写书评

暂无评论

基于UKF区域交叉定位的WSNs Sink节点动态跟踪算法

引用

传感器与微系统 2015年第4期34卷 123-126,129页

作者：姚依翔谢俊元南京大学计算机科学与技术系江苏南京210093 南京晓庄学院数学与信息技术学院江苏南京211100 计算机软件新技术国家重点实验室江苏南京210093

为了提高无线传感器网络(WSNs)使用寿命,对WSNs的目标跟踪方式进行研究,提出基于无迹Kalman滤波(UKF)的WSNs Sink节点动态跟踪算法,以实现高效节能的资源管理和利用方式。首先利用UKF算法对目标节点的下一位置进行预测,然后通过四圆区... 详细信息

为了提高无线传感器网络(WSNs)使用寿命,对WSNs的目标跟踪方式进行研究,提出基于无迹Kalman滤波(UKF)的WSNs Sink节点动态跟踪算法,以实现高效节能的资源管理和利用方式。首先利用UKF算法对目标节点的下一位置进行预测,然后通过四圆区域定位交叉定位算法对Sink节点的位置区域进行局部准确定位。实验结果表明:这种动态的Sink节点预测定位算法能够有效缩短数据发射传感器和Sink点之间的距离,减少跳数,从而实现负载均衡降低能耗的效果。

关键词：无线传感器网络无迹卡尔曼滤波区域交叉定位 Sink节点动态跟踪

来源：评论

学校读者我要写书评

暂无评论

一种面向非干扰的线程程序逻辑

引用

软件学报 2014年第6期25卷 1143-1153页

作者：李沁曾庆凯袁志祥安徽工业大学计算机学院安徽马鞍山243032 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可... 详细信息

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推理程序变量和线程标识符之间的依赖关系,进而判定是否存在高机密性变量对低机密性变量的干扰.

关键词：非干扰动态作用域线程公理语义

来源：评论

学校读者我要写书评

暂无评论

基于量子精英蛙的最小属性自适应合作型协同约简算法

引用

计算机研究与发展 2014年第4期51卷 743-753页

作者：丁卫平王建东管致锦南通大学计算机科学与技术学院江苏南通226019 南京航空航天大学计算机科学与技术学院南京210016 计算机软件新技术国家重点实验室(南京大学) 南京210093

属性约简是粗糙集理论研究的重要内容之一,现已证明求决策表的最小属性约简是一个典型NP-Hard问题.提出一种基于量子精英蛙的最小属性自适应合作型协同约简算法.该算法首先将进化蛙群编码为多状态量子染色体形式,利用量子精英蛙快速引... 详细信息

属性约简是粗糙集理论研究的重要内容之一,现已证明求决策表的最小属性约简是一个典型NP-Hard问题.提出一种基于量子精英蛙的最小属性自适应合作型协同约简算法.该算法首先将进化蛙群编码为多状态量子染色体形式,利用量子精英蛙快速引导进化蛙群进入最优化区域寻优,有效增强进化蛙群的收敛速度和全局搜索能力.然后构建一种自适应合作型协同进化的最小属性约简模型,融合蛙群最优执行经验和分配信任度自适应分割属性约简集,并以模因组内最优精英蛙优化各自选择的属性子集,提高属性约简的协同性和高效性,快速找到全局最小属性约简集.实验研究表明提出的算法在搜索最小属性约简解时具有较高的执行效率和精度.

关键词：最小属性约简量子精英蛙合作型协同进化自适应分割最优执行经验分配信任度

来源：评论

学校读者我要写书评

暂无评论

SIMPLE:一种新型多范型程序设计语言

引用

计算机科学 2014年第7期41卷 1-8,44页

作者：吴迪陈林徐宝文南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 详细信息

为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。

关键词：程序设计语言语言设计多范型程序设计面向过程程序设计面向对象程序设计函数式程序设计

来源：评论

学校读者我要写书评

暂无评论

Ada语言的发展

引用

计算机科学 2014年第1期41卷 1-15,38页

作者：吴迪徐宝文南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好... 详细信息

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。

关键词： Ada 程序设计语言强类型机制程序包分别编译异常处理类属单元面向对象程序设计并发程序设计,契约式程序设计,大型软件开发

来源：评论

学校读者我要写书评

暂无评论

一个移动应用个性化集成框架的研究及其在Android平台的实现

引用

计算机科学 2014年第11期41卷 63-68页

作者：张栋栋徐锋南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程... 详细信息

随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程接口和底层运行机制上,尚未出现更高层次的面向执行流程的集成支持;从用户角度看,从众多移动应用中选择符合自己个性化需求的应用成为了可能,但目前大量的移动应用推荐系统集中在单个应用的个性化推荐问题上,未见面向用户个性化需求的移动应用执行序列推荐方法。为此,提出一个移动应用个性化集成框架,主要包括:1)定义了一套意图流程描述执行语言,以便开发者从更为自然的执行流程角度完成新移动应用的构造;2)给出了一个移动应用序列偏好度预测算法,用于解决移动应用执行序列的个性化推荐问题。在当前典型的移动应用平台Android上,实现了相应的移动应用个性化集成开发工具和运行支撑机制,并通过实例初步验证了上述方法的合理性。

关键词：移动应用集成框架序列推荐

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：