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

软件学报 2021年第7期32卷 2103-2117页

作者：周小莉赵建华计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

数据驱动的智能系统的核心是处理数据的算法,对算法正确性的要求高,导致其测试开销大,需要有效地缩减测试的规模,其中回归测试选择是控制测试规模的有效手段.数据驱动的智能系统由于其动态信息流强度弱的原因,发生偶然正确性现象的概率... 详细信息

数据驱动的智能系统的核心是处理数据的算法,对算法正确性的要求高,导致其测试开销大,需要有效地缩减测试的规模,其中回归测试选择是控制测试规模的有效手段.数据驱动的智能系统由于其动态信息流强度弱的原因,发生偶然正确性现象的概率较高,并且该现象会导致常用的回归测试选择技术所选择出的测试集包含大量检测不到故障的测试用例.因此,从偶然正确性现象的角度出发,提出一种基于偶然正确性概率的回归测试选择技术,进一步排除可能发生偶然正确性现象的用例.该方法能够兼顾代码覆盖,同时从偶然正确性的角度保证缩减后的测试用例集合对被修改的代码的测试是充分的.根据在用例缩减和故障检测能力之间侧重的不同,提出了基于最小化和安全性技术的两种选择策略,并给出3种具体的选择算法.在实验中将所提方法与一种安全的测试选择技术进行比较,结果表明,这3种选择算法都很好地缩减了测试集合的规模,提高了测试选择的精度,并提高了安全性和精度的综合指标.

关键词：偶然正确性现象回归测试回归测试选择

来源：评论

学校读者我要写书评

暂无评论

轮廓指导的层级混合多任务全卷积网络

引用

软件学报 2020年第5期31卷 1573-1584页

作者：何克磊史颖欢高阳计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

传统的深度多任务网络通常在不同任务之间共享网络的大部分层(即特征表示层).由于这样做会忽视不同任务各自的特殊性,所以往往会制约其适应数据的能力.提出了一种层级混合的多任务全卷积网络HFFCN,以解决CT图像中的前列腺分割问题.特别... 详细信息

传统的深度多任务网络通常在不同任务之间共享网络的大部分层(即特征表示层).由于这样做会忽视不同任务各自的特殊性,所以往往会制约其适应数据的能力.提出了一种层级混合的多任务全卷积网络HFFCN,以解决CT图像中的前列腺分割问题.特别地,使用一个多任务框架来解决这个问题.这个框架包括一个分割前列腺的主任务和一个回归前列腺边界的辅助任务.这里,第2个任务主要是用来精确地描述在CT图像中模糊的前列腺边界.因此,HFFCN架构是一个双分支的结构,包含一个编码主干和两个解码分支.不同于传统的多任务网络,提出了一个信息共享模块,用以在两个解码分支之间共享信息.这使得HFFCN可以学习任务的通用层级信息,同时保留一些不同任务各自的特征表示.在一个包含有313个病人的313张计划阶段图片的CT图像数据集上做了详细的实验.实验结果证明了HFFCN网络可以超越现有其他先进的分割方法或者传统的多任务学习模型.

关键词：全卷积网络深度学习多任务学习前列腺分割

来源：评论

学校读者我要写书评

暂无评论

弱监督场景下的行人重识别研究综述

引用

软件学报 2020年第9期31卷 2883-2902页

作者：祁磊于沛泽高阳计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

近年来,随着智能监控领域的不断发展,行人重识别问题逐渐受到学术界和工业界的广泛关注,其主要研究将不同摄像头下相同身份的行人图像进行关联.当前,大部分研究工作关注在有监督场景下,即给定的训练数据都存在标记信息,然而考虑到数据... 详细信息

近年来,随着智能监控领域的不断发展,行人重识别问题逐渐受到学术界和工业界的广泛关注,其主要研究将不同摄像头下相同身份的行人图像进行关联.当前,大部分研究工作关注在有监督场景下,即给定的训练数据都存在标记信息,然而考虑到数据标注工作的高成本,这在现实应用中往往是难以拓展的.关注于弱监督场景下的行人重识别算法,包括无监督场景和半监督场景,并且对当前先进的方法进行了分类和描述.对于无监督场景的行人重识别算法,根据其技术类型划分为5类,分别为基于伪标记的方法、基于图像生成的方法、基于实例分类的方法、基于领域自适应的方法和其他方法;对于半监督场景的行人重识别方法,根据其场景类型划分为4类,分别为少量的人有标记的场景、每一个人有少量标记的场景、基于tracklet的学习的场景和摄像头内有标记但摄像头间无标记的场景.最后,对当前行人重识别的相关数据集进行了整理,并对现有的弱监督方法的实验结果进行分析与总结.

关键词：行人重识别半监督学习无监督学习深度学习人工智能

来源：评论

学校读者我要写书评

暂无评论

非经典参与介质的渲染方法研究综述

引用

软件学报 2023年第4期34卷 1944-1961页

作者：过洁潘金贵郭延文计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

参与介质在自然界中广泛存在,也是包括影视特效、电子游戏、仿真系统等大多数图形应用中的主要场景元素之一,对其外观的模拟和再现,可以极大地提升场景的真实感和沉浸感.但是由于参与介质本身结构以及光线在参与介质中的传播过程都非常... 详细信息

参与介质在自然界中广泛存在,也是包括影视特效、电子游戏、仿真系统等大多数图形应用中的主要场景元素之一,对其外观的模拟和再现,可以极大地提升场景的真实感和沉浸感.但是由于参与介质本身结构以及光线在参与介质中的传播过程都非常复杂,所以迄今为止,对参与介质渲染的研究都一直是图形领域的热点和难点.为了处理的方便和计算的高效,传统的参与介质渲染方法都基于两点假设:独立散射假设和局部连续假设.这两点假设也是经典的辐射传输方程成立的关键.但实际上,自然界中的很多参与介质都不满足这两点假设,因此导致现有的参与介质渲染方法生成的图片效果和真实世界的效果存在一定的差异.近年来,研究者们提出了各种非经典参与介质渲染方法,试图打破上述的两点假设,用更符合物理客观规律的方式来处理参与介质,从而进一步提升参与介质渲染的物理真实感.从相干介质渲染技术和离散介质渲染技术两方面展开对现有的面向非经典参与介质的渲染方法进行分析和讨论,重点阐述经典和非经典参与介质渲染方法的区别,以及现有非经典参与介质渲染方法的原理、优势和不足.最后,展望一些开放性问题并进行总结.本综述希望能启发相关领域的研究人员进一步攻克非经典参与介质渲染技术中的关键问题和技术难点,也为工业界改进现有渲染器以提高参与介质渲染的真实感提供参考.

关键词：参与介质散射相干介质离散介质图形渲染计算机图形学

来源：评论

学校读者我要写书评

暂无评论

手绘草图识别方法研究

引用

计算机工程 2005年第19期31卷 170-172页

作者：梁爽孙正兴南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

提出了一种手绘草图图形识别的解决方法。该方法将不同复杂层次的草图结构抽象为空间关系图,并在图匹配计算过程中引入约束部分枚举方法,智能地预测匹配的有效状态,缩小了空间关系图匹配过程中状态搜索空间。实验表明该方法取得了较好... 详细信息

提出了一种手绘草图图形识别的解决方法。该方法将不同复杂层次的草图结构抽象为空间关系图,并在图匹配计算过程中引入约束部分枚举方法,智能地预测匹配的有效状态,缩小了空间关系图匹配过程中状态搜索空间。实验表明该方法取得了较好的效果。

关键词：图形识别空间关系图约束部分枚举

来源：评论

学校读者我要写书评

暂无评论

面向对象语言并行化中的调用局部化优化

引用

计算机学报 2002年第4期25卷 409-416页

作者：于勐臧婉瑜谢立孙钟秀过敏意南京大学计算机软件新技术国家重点实验室日本会津大学计算机理工学部

该文提出了一种将调用局部化技术应用于并行环境下面向对象语言的方法 .文中详细讨论了该技术的适用条件以及如何通过该方法减少循环中的远程过程调用开销 .该优化技术首先将循环分离成多个包含有远程调用的循环 ,再将分离后的循环分配... 详细信息

该文提出了一种将调用局部化技术应用于并行环境下面向对象语言的方法 .文中详细讨论了该技术的适用条件以及如何通过该方法减少循环中的远程过程调用开销 .该优化技术首先将循环分离成多个包含有远程调用的循环 ,再将分离后的循环分配给循环中调用对象所在的处理器 ,最后 ,化简迭代空间 ,并且用消息传递来传输数据 .这种优化在对象分布和循环并行化之后进行 ,将函数调用局部化于处理器 .通过这种优化 ,可以进一步挖掘循环中的任务并行性 ,降低计算复杂度 ,减少函数调用开销 ,尤其适合面向对象语言中对循环里小函数的优化 .该技术已经在作者设计的 Java自动并行化编译器 JAPS- II中实现 .在实验中。

关键词：面向对象语言优化并行化并行计算分布式计算并行编译

来源：评论

学校读者我要写书评

暂无评论

静态程序分析并行化研究进展

引用

软件学报 2020年第5期31卷 1243-1254页

作者：陆申明左志强王林章计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

静态程序分析发展至今,已在多个方面取得了长足的进步,应用于软件开发的众多方面.但对现代大规模复杂软件系统(如千万行代码规模的Linux操作系统、分布式大数据处理系统Hadoop等)进行高精度的静态分析,因其极大规模数据量的计算,仍有一... 详细信息

静态程序分析发展至今,已在多个方面取得了长足的进步,应用于软件开发的众多方面.但对现代大规模复杂软件系统(如千万行代码规模的Linux操作系统、分布式大数据处理系统Hadoop等)进行高精度的静态分析,因其极大规模数据量的计算,仍有一定难度.精度、效率和可扩展性相互制约,是静态分析技术在工业界应用的主要障碍.对此,近年来,随着多核、众核架构的兴起,研究人员提出了静态分析的各种并行化解决方案.首先梳理了静态分析的发展历程,然后针对当前静态分析面临的挑战,在分析了传统算法优化研究的不足后,对利用硬件资源进行并行优化的方法进行了充分讨论,包括单机的CPU并行、分布式和GPU实现这3个方面;在此基础上,对一些使用较为广泛的支持并行的静态分析工具进行了评估;最后,对未来如何从算法和算力角度对静态分析进行并行优化作了讨论和展望.

关键词：静态程序分析软件质量保障并行计算分布式处理 GPU加速

来源：评论

学校读者我要写书评

暂无评论

虚拟场景的一种快速优化Kd-Tree构造方法

引用

电子学报 2011年第8期39卷 1811-1817页

作者：过洁徐晓旸潘金贵南京大学计算机软件新技术国家重点实验室江苏南京210093

Kd-tree因其具有场景自适应划分、低存储消耗和快速遍历等优势成为使用最为广泛的加速结构.本文提出一种快速优化的kd-tree构造方法,该方法通过分析场景的SAH函数,将模拟退火技术使用到最优分割平面搜索过程中加快搜索过程,从而加速kd-t... 详细信息

Kd-tree因其具有场景自适应划分、低存储消耗和快速遍历等优势成为使用最为广泛的加速结构.本文提出一种快速优化的kd-tree构造方法,该方法通过分析场景的SAH函数,将模拟退火技术使用到最优分割平面搜索过程中加快搜索过程,从而加速kd-tree的构造过程.实验表明,通过本文的方法可以在保证构造的kd-tree的质量情况下有效加快构造速度.同时,本文实现了该方法的一个多核并行扩展,利用多核CPU的并行处理能力,进一步加快了kd-tree的构造过程.

关键词：虚拟场景 kd-tree 加速结构模拟退火并行计算

来源：评论

学校读者我要写书评

暂无评论

分点：无结构对等网络的拓扑关键点

引用

软件学报 2008年第9期19卷 2376-2388页

作者：李振华陈贵海邱彤庆南京大学计算机软件新技术国家重点实验室江苏南京210093

虽然对等网络中的结点在功能上互相平等,但其中某些结点对于覆盖网拓扑却有重要意义.提出了分点概念来描述对等网络的拓扑关键点,这些结点的失效很可能导致覆盖网的分割.设计了一套简单、有效、分布式的分点检测和避免方法.模拟实验的... 详细信息

虽然对等网络中的结点在功能上互相平等,但其中某些结点对于覆盖网拓扑却有重要意义.提出了分点概念来描述对等网络的拓扑关键点,这些结点的失效很可能导致覆盖网的分割.设计了一套简单、有效、分布式的分点检测和避免方法.模拟实验的结果表明,该方法可以优化覆盖网拓扑结构,并显著地提高无结构对等网络在动态环境下的容错性.

关键词：无结构对等网络分点覆盖网分割容错性

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava处理系统

引用

软件学报 2008年第1期19卷 9-16页

作者：宋方敏钱士钧戴静安张云洁徐家福南京大学计算机软件新技术国家重点实验室江苏南京210093

简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文... 详细信息

简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文末还给出了示例,该系统已于2006年6月底在经典计算机上模拟实现.

关键词：量子程序设计语言编译解释模拟词法分析程序语法分析与代码转换程序量子汇编与解释程序

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：