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

计算机辅助设计与图形学学报 2021年第12期33卷 1936-1952页

作者：刘彩霞魏明强郭延文南京师范大学教育信息工程研究所南京210097 南京航空航天大学计算机科学与技术学院南京211106 南京大学计算机软件新技术国家重点实验室南京210023

三维点云是最常用的三维场景/物体表示方法之一.根据点云修复侧重点不同,将基于深度学习的三维点云修复技术划分为密集重建、补全重建和去噪重建3类;详细分析了相关典型修复模型及关键技术,如特征编码、特征扩展和损失函数设计;总结了... 详细信息

三维点云是最常用的三维场景/物体表示方法之一.根据点云修复侧重点不同,将基于深度学习的三维点云修复技术划分为密集重建、补全重建和去噪重建3类;详细分析了相关典型修复模型及关键技术,如特征编码、特征扩展和损失函数设计;总结了常用的网络模块、点云数据集和评估准则;最后讨论了3类修复技术之间的关系,并从旋转不变性特征提取、细节信息修复、拓扑关系保持、几何算法应用和多模态数据融合5个方面探讨了点云修复技术面临的挑战及未来发展趋势.

关键词：三维点云点云修复深度学习网络模型特征编码

来源：评论

学校读者我要写书评

暂无评论

面向空地协同移动边缘计算的服务布置策略

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

车联网环境下基于强化学习的边缘服务器部署策略

引用

计算机集成制造系统 2022年第10期28卷 3146-3155页

作者：严翰致许小龙代飞齐连永窦万春李彤南京信息工程大学计算机与软件学院江苏南京210044 西南林业大学大数据与智能工程学院云南昆明650224 曲阜师范大学信息科学与工程学院山东日照276825 南京大学计算机软件新技术国家重点实验室江苏南京210023 云南农业大学大数据学院云南昆明650201

鉴于现有的边缘服务器部署策略主要用于改善5G、无线城域网等场景下的服务性能,无法直接用于车联网服务部署,提出一种边云协同的5G车联网边缘计算系统模型,针对该系统模型设计了基于强化学习的边缘服务器部署策略,其以负载优化为核心目... 详细信息

鉴于现有的边缘服务器部署策略主要用于改善5G、无线城域网等场景下的服务性能,无法直接用于车联网服务部署,提出一种边云协同的5G车联网边缘计算系统模型,针对该系统模型设计了基于强化学习的边缘服务器部署策略,其以负载优化为核心目标,在保证低延迟和低能耗前提下实现边缘服务器间的负载均衡。根据路边单元位置信息用Canopy聚类获取初始的聚簇数,用模糊C均值聚类获取路边单元的初始划分,并输出路边单元归属优先级矩阵;通过强化学习获得路边单元归属的最优状态并计算聚簇中心作为边缘服务器部署位置。通过对比实验验证了该策略在低服务延迟和低能耗下,能够高度实现边缘服务器间的负载均衡,表明该策略具有优越性。

关键词：边缘计算负载均衡模糊C均值强化学习

来源：评论

学校读者我要写书评

暂无评论

一种SCADE同步语言程序安全属性自动验证工具

引用

小型微型计算机系统 2022年第4期43卷 858-864页

作者：孙毅陈哲冉丹杨志斌南京航空航天大学计算机科学与技术学院南京211106 华东师范大学上海市高可信计算重点实验室上海200062 南京大学计算机软件新技术国家重点实验室南京210093

安全关键领域的反应系统大都采用同步语言开发,然而,学术界尚不存在SCADE同步语言程序的形式化验证工具,为此,本文提出了一种自动验证SCADE同步语言程序安全属性的方法.首先使用无量词一阶逻辑公式对SCADE同步语言程序的行为进行建模,可... 详细信息

安全关键领域的反应系统大都采用同步语言开发,然而,学术界尚不存在SCADE同步语言程序的形式化验证工具,为此,本文提出了一种自动验证SCADE同步语言程序安全属性的方法.首先使用无量词一阶逻辑公式对SCADE同步语言程序的行为进行建模,可将SCADE同步语言程序的安全属性的验证问题转化为无量词一阶逻辑公式的可满足性问题;然后采用先进的可满足性模理论求解器对其可满足性进行求解.本方法旨在实现对SCADE同步语言程序进行自动地、直接地验证,以填补SCADE同步语言程序验证领域的技术空白.此外,本文对所提方法进行了代码实现,并通过实验验证了所提方法的有效性.

关键词：反应系统 SCADE同步语言形式化验证一阶逻辑可满足性模理论

来源：评论

学校读者我要写书评

暂无评论

基于会话嵌入的应用程序使用预测

引用

计算机工程与科学 2023年第6期45卷 1079-1086页

作者：余泽鹏安业腾张烁杨自兴陆继翔曹蓉蓉陈轶洲李文中陆桑璐南京大学计算机软件新技术国家重点实验室江苏南京210046 国家电网有限公司客户服务中心天津300309 南瑞集团有限公司智能电网保护和运行控制国家重点实验室江苏南京211106

如今,智能手机用户在他们的手机上安装了几十个甚至上百个应用程序。预测应用程序的使用不仅有助于手机系统加快应用程序的启动,也能够减少用户寻找所需应用程序的时间。关注一种新颖的基于会话的应用程序的使用预测问题,即预测一段时... 详细信息

如今,智能手机用户在他们的手机上安装了几十个甚至上百个应用程序。预测应用程序的使用不仅有助于手机系统加快应用程序的启动,也能够减少用户寻找所需应用程序的时间。关注一种新颖的基于会话的应用程序的使用预测问题,即预测一段时间内将使用的一系列应用程序,提出了一个基于会话的嵌入框架(简称SEM)。针对应用程序会话的可变长性与会话语义上的异构性,提出了一种会话嵌入方法,形成了统一的特征表示,缓解了用户稀疏性的问题,得到了会话的向量表示;基于会话的嵌入表示,训练了一个2层的循环神经网络模型,用于应用程序使用会话的预测。基于真实数据集的大量实验结果表明,该框架优于传统的应用推荐方法。

关键词：应用使用预测会话嵌入循环神经网络门控循环单元

来源：评论

学校读者我要写书评

暂无评论

三维网格客观质量评价

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于软件定义的新型电力系统分层自治电力平衡模式研究

引用

综合智慧能源 2024年第7期46卷 1-11页

作者：王泽宁李文中李东辉徐泰山俞俊南瑞集团有限公司(国网电力科学研究院有限公司) 南京211106 计算机软件新技术国家重点实验室(南京大学) 南京210093

新型电力系统是一个典型的复杂系统,源荷双侧的强不确定性导致电力电量时空分布极度不平衡,电力电量平衡逻辑发生了根本性变化,电力平衡面临巨大的挑战。为建立源网荷储多元协同互动的新型平衡模式,根据分层可以弱化复杂系统复杂性的理... 详细信息

新型电力系统是一个典型的复杂系统,源荷双侧的强不确定性导致电力电量时空分布极度不平衡,电力电量平衡逻辑发生了根本性变化,电力平衡面临巨大的挑战。为建立源网荷储多元协同互动的新型平衡模式,根据分层可以弱化复杂系统复杂性的理念,提出了基于能量自治单元的分层自治电力平衡模式。能量自治单元具备自调度、自平衡能力,在不同市场模式下具备不同的具体形态,将成为多元海量资源参与电力市场的有效途径。基于软件范型理论,指出能量自治单元应具备多元融合的架构模型、自适应运行机理和持续演化的生命周期,同时介绍了基于软件定义的能量自治单元软硬件解耦构建思路。最后,对能量自治单元构建的关键技术进行了讨论和展望。

关键词：新型电力系统新能源源网荷储电力平衡复杂系统软件定义能量自治单元电力市场

来源：评论

学校读者我要写书评

暂无评论

一种高可读低冗余实体摘要的生成方法

引用

中国科学：信息科学 2020年第6期50卷 845-861页

作者：刘庆霞程龚瞿裕忠南京大学计算机软件新技术国家重点实验室南京210023

随着万维网的发展,知识图谱数据大量增长,并在面向智能应用的研究中受到广泛关注.知识图谱用RDF (resource description framework)三元组描述实体相关的事实.在知识图谱中,关于一个实体的描述可能包含大量三元组,在一些需要直接呈现实... 详细信息

随着万维网的发展,知识图谱数据大量增长,并在面向智能应用的研究中受到广泛关注.知识图谱用RDF (resource description framework)三元组描述实体相关的事实.在知识图谱中,关于一个实体的描述可能包含大量三元组,在一些需要直接呈现实体信息的应用中,为了避免用户信息过载,并适应有限的呈现空间,就需要进行实体摘要.实体摘要任务是从实体描述的众多三元组中选出最有代表性的子集作为摘要,以呈现给用户阅读.本文提出一种新的实体摘要方法 ESSTER以生成具备高可读性和低冗余性的实体摘要.该方法结合三元组的结构与文本特征,基于结构特性度量知识图谱中三元组的重要性,基于N元语法和文本语料度量三元组的可读性,基于逻辑推理、数值比较和文本相似判断三元组间的冗余关系.综合这3种技术要素,将实体摘要问题建模为组合优化问题进行求解.本文在两个由人工标注的公开数据集上与6种现有方法进行了对比实验,结果表明本文提出的方法效果达到了当前最佳水平.

关键词：知识图谱实体摘要冗余性可读性组合优化

来源：评论

学校读者我要写书评

暂无评论

一种保持语义关系的词向量复用方法

引用

中国科学：信息科学 2020年第6期50卷 813-823页

作者：李新春詹德川计算机软件新技术国家重点实验室(南京大学) 南京210023

在基于深度网络的自然语言处理任务中,嵌入表示层用词向量刻画词的语义信息,可以有效地提升模型性能.词向量可以和当前任务一起端到端地进行学习,但是从模型参数数量的角度来看,词向量的训练很容易在小语料库上过拟合.为了解决这个问题... 详细信息

在基于深度网络的自然语言处理任务中,嵌入表示层用词向量刻画词的语义信息,可以有效地提升模型性能.词向量可以和当前任务一起端到端地进行学习,但是从模型参数数量的角度来看,词向量的训练很容易在小语料库上过拟合.为了解决这个问题,通常会使用在大语料库上预训练得到的词向量.首先,本文总结了几种常见的复用预训练词向量的方法.其次,由于当前任务的变化,会有一些新词出现,这些新词的词向量不能通过预训练的词向量获得,因此本文提出了一种保持语义关系的词向量复用算法(SrpWer). SrpWer首先对当前数据集中词语之间的关系进行建模,然后结合预训练的词向量生成新词对应的词向量.实验结果验证了SrpWer的有效性.

关键词：自然语言处理词向量模型复用新词深度学习

来源：评论

学校读者我要写书评

暂无评论

强化学习方法在通信拒止战场仿真环境中多无人机目标搜寻问题上的适用性研究

引用

中国科学：信息科学 2020年第3期50卷 375-395页

作者：汪亮王文王禹又侯松林乔裕哲吴天珩陶先平南京大学计算机软件新技术国家重点实验室南京210023

目标搜索问题是现实中一类常见的问题,如灾难现场搜救、战场目标侦察等.无人机由于其灵活性、低成本、可搭载各类传感器并以集群形式开展协作等优势,是解决大范围、高风险区域目标搜索问题的理想技术方案,当前发展迅速.在战场等复杂现... 详细信息

目标搜索问题是现实中一类常见的问题,如灾难现场搜救、战场目标侦察等.无人机由于其灵活性、低成本、可搭载各类传感器并以集群形式开展协作等优势,是解决大范围、高风险区域目标搜索问题的理想技术方案,当前发展迅速.在战场等复杂现实环境中,由于缺乏基础通信设施及干扰的存在,无人机与地面指挥员、无人机之间难以快速、可靠通信,处于通信拒止状态.因此,无人机难以获得指挥员的实时控制信息,需要其具备自主、智能完成任务的能力并开展协同.随着人工智能技术的快速发展,强化学习技术在解决连续决策问题上展现出了较强的潜力.无人机搜索问题作为一种典型的连续决策问题,属于强化学习技术的适用范围.但对于目前的强化学习及人工智能技术能否适用于无人机从而自主决策完成现实场景中的任务这一问题尚存争议,仍有待进一步探索.为此,本文以现实战场环境为背景,对通信拒止及包含两方对抗的战场环境中的目标搜寻问题进行了建模,依据模型构建了对抗仿真平台,并通过实验研究的方式针对以下3个问题展开了探索:(1)强化学习在通信拒止环境下多无人机搜索问题的适用性;(2)各强化学习算法在该问题上的优劣;(3)通信拒止程度对强化学习算法效果的影响.通过运用当前主流的强化学习技术开展仿真实验并定量评估实验结果.本文总结发现:(1)强化学习在解决通信拒止环境下多无人机搜索问题上具备有效性;(2)在与其他算法对抗时,运用基于Deep Q-Network (DQN)强化学习技术的自主决策无人机集群体现出了较强的问题解决能力;(3)通信拒止程度对强化学习算法效果有影响,但在不同的通信拒止程度下,强化学习算法表现相对稳定.

关键词：无人机强化学习目标搜寻通信拒止环境

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：