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

计算机学报 2022年第4期45卷 781-797页

作者：屈毓锛秦蓁马靖豪戴海鹏董超王海吴帆陈贵海南京航空航天大学电磁频谱空间认知动态系统工信部重点实验室南京航空航天大学电子信息工程学院上海交通大学计算机科学与工程系中国人民解放军陆军工程大学通信工程学院南京大学计算机软件新技术国家重点实验室

无人机辅助的移动边缘计算被认为是在下一代移动通信网络中能高效灵活处理时延敏感的计算密集型任务的潜力技术之一.本文研究了基于无人机的空地协同移动边缘计算的服务布置问题，具体而言，如何在满足任务时延需求和其他资源约束的情... 详细信息

无人机辅助的移动边缘计算被认为是在下一代移动通信网络中能高效灵活处理时延敏感的计算密集型任务的潜力技术之一.本文研究了基于无人机的空地协同移动边缘计算的服务布置问题，具体而言，如何在满足任务时延需求和其他资源约束的情况下，通过联合优化无人机和地面基站的服务布置、无人机航迹、任务卸载和计算资源分配，以最小化所有用户的总能耗.由于问题的非凸和各种变量的复杂耦合，该问题属于一个非凸混合整数非线性规划问题，较难求解.本文针对多无人机和多地面基站协同提供计算服务的场景，提出了一种基于交替优化的服务布置算法.该算法通过迭代求解三个不同的子问题来获得具有收敛性保证的次优解决方案.首先，采用分支定界法求解联合服务布置和任务卸载的子问题.其次，采用连续凸逼近方法求解无人机航迹优化的子问题.然后，利用计算资源分配子问题的特性得到该子问题的闭式最优解.最后，对上述过程重复迭代，得到问题的一个次优解.仿真结果表明，相比随机布置策略、贪心布置策略、本地计算策略，所提布置策略能够大大减少用户总能耗.

关键词：移动边缘计算空地协同无人机服务布置交替优化

来源：评论

学校读者我要写书评

暂无评论

大数据在线实训平台及综合实验课程体系设计

引用

实验技术与管理 2021年第7期38卷 201-207页

作者：顾荣殷瀚王肇康黄宜华袁春风南京大学计算机软件新技术国家重点实验室江苏南京210023

针对“大数据处理综合实验”课程教学中学生接触集群难、编程难度高、学习效率低等问题,设计实现了大数据在线教学实训平台。该平台集成了大数据存储、计算、查询、可交互式编程等模块,实现了包括并行编程实训、学生管理、资源调度、教... 详细信息

针对“大数据处理综合实验”课程教学中学生接触集群难、编程难度高、学习效率低等问题,设计实现了大数据在线教学实训平台。该平台集成了大数据存储、计算、查询、可交互式编程等模块,实现了包括并行编程实训、学生管理、资源调度、教学过程监控等功能的一体化大数据教学系统。基于该平台,还设计了一系列由浅入深的大数据分析案例和编程实验项目。教学实践表明,该平台在帮助学生直观理解并行处理技术和分布式系统、培养学生大数据应用并行处理编程能力等方面起到了很好的作用。

关键词：大数据综合实验实训平台并行处理技术实验教学

来源：评论

学校读者我要写书评

暂无评论

CRDT协议的TLA+描述与验证

引用

软件学报 2020年第5期31卷 1332-1352页

作者：纪业魏恒峰黄宇吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

无冲突复制数据类型(conflict-free replicated data types,简称CRDT)是一种封装了冲突消解策略的分布式复制数据类型,它能够保证分布式系统中副本节点间的强最终一致性,即执行了相同更新操作的副本节点具有相同的状态.CRDT协议设计精巧... 详细信息

无冲突复制数据类型(conflict-free replicated data types,简称CRDT)是一种封装了冲突消解策略的分布式复制数据类型,它能够保证分布式系统中副本节点间的强最终一致性,即执行了相同更新操作的副本节点具有相同的状态.CRDT协议设计精巧,不易保证其正确性.旨在采用模型检验技术验证一系列CRDT协议的正确性.具体而言,构建了一个可复用的CRDT协议描述与验证框架,包括网络通信层、协议接口层、具体协议层与规约层.网络通信层描述副本节点之间的通信模型,实现了多种类型的通信网络.协议接口层为已知的CRDT协议(分为基于操作的协议与基于状态的协议)提供了统一的接口.在具体协议层,用户可以根据协议的需求选用合适的底层通信网络.规约层则描述了所有CRDT协议都需要满足的强最终一致性与最终可见性(所有的更新操作最终都会被所有的副本节点接收并处理).使用TLA+形式化规约语言实现了该框架,然后以Add-Wins Set复制数据类型为例,展示了如何使用框架描述具体协议,并使用TLC模型检验工具来验证协议的正确性.

关键词：无冲突复制数据类型强最终一致性最终可见性模型检验 TLA+

来源：评论

学校读者我要写书评

暂无评论

多标记众包学习

引用

软件学报 2020年第5期31卷 1497-1510页

作者：李绍园姜远计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

传统的多标记学习任务要求训练数据拥有完整的或者至少部分的真实标记,而真实标记耗费昂贵并且难以获取.不同于由昂贵受限的专家标注真实标记,众包环境下,多标记任务被分配给多个容易获取的非专家标注,学习目标是从有错误的非专家标注... 详细信息

传统的多标记学习任务要求训练数据拥有完整的或者至少部分的真实标记,而真实标记耗费昂贵并且难以获取.不同于由昂贵受限的专家标注真实标记,众包环境下,多标记任务被分配给多个容易获取的非专家标注,学习目标是从有错误的非专家标注中估计样本的真实标记.这一问题的关键在于如何融合非专家标注.以往的众包学习主要集中在单标记任务上,忽视了多标记任务的标记相关性;而多标记任务上的众包工作集中在局部标记相关性的利用如标记共同出现的概率,标记间条件相关性,其估计很敏感地受到标记数量和质量的影响.考虑到多标记任务上多个标注者的标注结果整体上存在低秩结构关系,提出一种基于低秩张量矫正的方法.首先,将标注结果组织成三维的张量(样本,标记,标注者),用低秩张量补全的方法对收集到的标注做预处理,以同时达到两个目的:1)优化已有标注;2)补全标注者在其未标注的标记上的标注结果.然后,对所有标注融合,测试了3种融合方法,分别从不同的方面考虑标注的置信度.真实数据上的实验结果验证了所提方法的有效性.

关键词：多标记学习众包低秩张量近似融合

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

车联网中基于航位推算的故障检测方法

引用

计算机科学 2022年第12期49卷 319-325页

作者：刘家希吴娜丁飞南京邮电大学物联网学院南京210003 江苏省宽带无线通信和物联网重点实验室南京210003 计算机软件新技术国家重点实验室(南京大学) 南京210023

故障检测是构建容错系统的基础组件之一,可以有效保证车联网上的应用安全、可靠地执行。然而,车联网不同于传统移动自组织网络,一方面,车辆具有高速移动性且可能随时加入或者离开系统,容易造成网络环境多变;另一方面,车辆之间的链路也... 详细信息

故障检测是构建容错系统的基础组件之一,可以有效保证车联网上的应用安全、可靠地执行。然而,车联网不同于传统移动自组织网络,一方面,车辆具有高速移动性且可能随时加入或者离开系统,容易造成网络环境多变;另一方面,车辆之间的链路也时常发生中断,容易造成消息丢失。为了解决以上问题,提出了一种基于航位推算的层次式的故障检测方法。在该故障检测方法中,利用航位推算模型去预测心跳消息的传输时间,同时考虑路侧单元(Roadside Unit,RSU)作为静态节点构建层次式的检测架构,从而改善车联网中故障检测的性能。通过NS2搭建仿真实验平台以进行验证,结果显示,相比对照的故障检测方法,新提出的故障检测方法在检测速度、检测准确性以及检测负载等方面均具有最好的表现。

关键词：车联网故障检测航位推算高移动性容错

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

三维网格客观质量评价

引用

激光与光电子学进展 2021年第2期58卷 29-37页

作者：林瑶瑶郁梅何周燕蒋刚毅宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室江苏南京210093

随着三维网格在数字游戏、影视动画、虚拟现实等领域的广泛应用,针对三维网格的处理方法也越来越多,包括压缩、简化、嵌入水印和去噪等,这些处理技术均不可避免地导致三维网格的失真。如何更好地评估三维网格的视觉质量成为目前亟需解... 详细信息

随着三维网格在数字游戏、影视动画、虚拟现实等领域的广泛应用,针对三维网格的处理方法也越来越多,包括压缩、简化、嵌入水印和去噪等,这些处理技术均不可避免地导致三维网格的失真。如何更好地评估三维网格的视觉质量成为目前亟需解决的问题。回顾了近20年来发展起来的三维网格的客观质量评价方法。介绍了这一领域常用评价方法的技术指标以及常用的数据库;对现有的典型三维网格的质量评价方法进行了分类并介绍了其各自的特点;在常用的数据库上对所介绍的典型算法进行性能测试和比较;对三维网格客观质量评价方法进行了总结与展望。

关键词：图像处理三维网格失真视觉质量数据库质量评价

来源：评论

学校读者我要写书评

暂无评论

省级政务大数据平台建设模式研究与启示

引用

大数据 2024年第3期10卷 27-39页

作者：孟凡杨群力高阳李文斌江苏省战略与发展研究中心公共信用信息中心江苏南京210036 南京大学计算机软件新技术国家重点实验室江苏南京210093

建设高质量政务大数据资源平台是实现跨部门、跨区域、跨层级政务信息集成融合,加快建设数字政府、提升公共服务和社会治理等数字智能化水平的重要基础工程。首先,回顾我国电子政务发展历程,并总结出传统省级政务大数据平台的3种建设模... 详细信息

建设高质量政务大数据资源平台是实现跨部门、跨区域、跨层级政务信息集成融合,加快建设数字政府、提升公共服务和社会治理等数字智能化水平的重要基础工程。首先,回顾我国电子政务发展历程,并总结出传统省级政务大数据平台的3种建设模式以及存在的问题,即数据鲜活性低、数据一致性差、业务协同管理难、基础支撑力弱和总体投入高。其次,对江苏信用一体化信息资源管控平台进行案例分析,阐述以江苏案例为例的原因,针对传统建设模式存在的问题,提出对应的解决思路和总体架构设计,并梳理出江苏案例的4个借鉴价值。最后,在总结江苏研究和实践经验的基础上,归纳出5点建议,为各省研究、制定省级政务大数据平台的建设指南等政策性文件提供参考。

关键词：政务大数据信息资源管控系统建设模式社会信用体系

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：