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

计算机教育 2022年第10期 119-122,127页

作者：黄书剑吴震陈家骏申富饶张莉金莹戴新宇南京大学计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京大学人工智能学院江苏南京210023 南京大学大学计算机基础教学部江苏南京210023

针对人工智能现有课程体系中相关课程开设较晚的现状,分析人工智能和程序设计课程的教学现状和关联性,探讨在低年级教学中将程序设计课程和人工智能专业内容相结合的可能性,以南京大学人工智能学院的相关课程为例,介绍课程建设和教学实... 详细信息

针对人工智能现有课程体系中相关课程开设较晚的现状,分析人工智能和程序设计课程的教学现状和关联性,探讨在低年级教学中将程序设计课程和人工智能专业内容相结合的可能性,以南京大学人工智能学院的相关课程为例,介绍课程建设和教学实践过程,以期提升人工智能人才培养的针对性,为相关课程教学提供参考。

关键词：人工智能程序设计计算思维课程建设

来源：评论

学校读者我要写书评

暂无评论

空-频域联合的交通监控视频去雨方法

引用

模式识别与人工智能 2020年第9期33卷 852-866页

作者：宋传鸣洪旭刘定坤王相海辽宁师范大学计算机与信息技术学院大连116081 辽宁理工学院信息工程学院锦州121000 南京大学计算机软件新技术国家重点实验室南京210023

阴雨天气下交通监控视频处理的效率较低,可靠性较差,因此,文中提出自适应判别雨量、空-频域联合的交通监控视频去雨方法.将视频帧的非下采样剪切波变换的低频系数清零,利用大津法获得全部边缘信息图.采用显著性映射计算景深图,经双边滤... 详细信息

阴雨天气下交通监控视频处理的效率较低,可靠性较差,因此,文中提出自适应判别雨量、空-频域联合的交通监控视频去雨方法.将视频帧的非下采样剪切波变换的低频系数清零,利用大津法获得全部边缘信息图.采用显著性映射计算景深图,经双边滤波并保留高频系数,得到主要边缘信息图.结合全部边缘信息图、主要边缘信息图和帧差,判断雨滴/雨线区域及雨量,若是中、大雨,利用曲率驱动扩散法修复雨滴/雨线,否则将两个尺度下的检测结果取并集.实验表明,文中方法可有效去除视频中的雨滴/雨线,保持物体形状和纹理细节,提高运动目标跟踪等后处理质量.

关键词：交通监控视频视频增强视频去雨非下采样剪切波变换

来源：评论

学校读者我要写书评

暂无评论

针对中文分词的带标签注意力的成词记忆网络

引用

计算机应用研究 2022年第6期39卷 1651-1655页

作者：韩士洋马致远杨芳艳李想汪伟上海理工大学机器智能研究院上海200093 上海理工大学机械工程学院上海200093 上海理工大学光电信息与计算机工程学院上海200093 南京大学计算机软件新技术国家重点实验室南京210093

成词信息是一种对中文分词任务十分重要的文本特征。最新中文分词模型之一的WMSEG就是通过引入成词信息来获得最顶尖的分词性能。然而这类模型在建模时并未考虑标签之间的依赖关系,导致其分词性能特别是对未登录词的识别有所欠缺。针对... 详细信息

成词信息是一种对中文分词任务十分重要的文本特征。最新中文分词模型之一的WMSEG就是通过引入成词信息来获得最顶尖的分词性能。然而这类模型在建模时并未考虑标签之间的依赖关系,导致其分词性能特别是对未登录词的识别有所欠缺。针对这一问题,通过在学习过程中引入标签嵌入的注意力机制,提出了一种带标签注意力的成词记忆网络来增强标签之间的依赖关系以及标签和字符之间的相关性。实验结果表明,该模型在四个常用数据集上都取得了不弱于WMSEG的分词性能,同时提高了对未登录词的识别能力。

关键词：成词信息中文分词标签嵌入注意力机制未登录词

来源：评论

学校读者我要写书评

暂无评论

面向新兴系统的形式化建模与验证方法专题前言

引用

软件学报 2020年第8期31卷 2283-2284页

作者：陈振邦冯新宇刘志明国防科技大学计算机学院湖南长沙410073 南京大学计算机科学与技术系江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是计算机科学的重要理论基础.它以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法.近年来,随着相关技术的发展,形式化方法已经在越来越多的新兴系统中得到应用并取得显著效果... 详细信息

ISBN: (纸本)9781728188232

形式化方法是计算机科学的重要理论基础.它以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法.近年来,随着相关技术的发展,形式化方法已经在越来越多的新兴系统中得到应用并取得显著效果.为了记录中国学者在新兴系统的形式化建模与验证理论、方法、工具和应用等方面的最新研究成果,特设立此专题.

关键词：形式化方法计算机科学最新研究成果数学化验证计算规约新兴专题

来源：评论

学校读者我要写书评

暂无评论

基于大数据的开源项目缺陷报告智能预检技术

引用

大数据 2021年第1期7卷 48-63页

作者：席圣渠徐锋陈鑫李宣东南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

缺陷报告预检目标在于确定优先级和修复措施,是保障软件可信的关键环节。然而,在日益普及的开源项目中,由于缺陷数量众多、缺乏组织管理等特性,人工预检难以及时完成,迫切需要基于大数据的自动化、智能化预检技术。结合工业界、学术界... 详细信息

缺陷报告预检目标在于确定优先级和修复措施,是保障软件可信的关键环节。然而,在日益普及的开源项目中,由于缺陷数量众多、缺乏组织管理等特性,人工预检难以及时完成,迫切需要基于大数据的自动化、智能化预检技术。结合工业界、学术界对缺陷报告预检的认知,提出了一种智能化缺陷报告预检技术框架,全面系统地归纳了缺陷报告预检中存在的3个关键任务:缺陷优先级分类、缺陷分派、缺陷再分派,并结合开源项目的特点提出了相关技术。实验结果初步验证了上述技术的合理性和有效性。

关键词：缺陷报告预检缺陷优先级缺陷分派缺陷再分派

来源：评论

学校读者我要写书评

暂无评论

空间机械臂基于速度观测器的神经网络控制

引用

空间控制技术与应用 2022年第6期48卷 12-21页

作者：张文辉沈金淼游张平叶晓平周书华南京晓庄学院电子工程学院南京211167 浙江理工大学机械与自动控制学院杭州310000 丽水学院工学院丽水323000 浙江经济职业技术学院汽车工程学院杭州323000 浙江省文创产品数字化设计与智能制造重点实验室丽水323000 计算机软件新技术国家重点实验室(南京大学) 南京210093 浙江省航空航天金属导管塑性成形技术与装备重点实验室丽水323000

针对无速度反馈的柔性关节空间机器人控制问题,提出了一种基于速度观测器的自适应神经网络的控制方法.基于奇异摄动理论将柔性关节空间机械臂动力学模型分解为快慢变2个子系统;利用神经网络逼近控制器和观测器中的未知非线性,设计基于... 详细信息

针对无速度反馈的柔性关节空间机器人控制问题,提出了一种基于速度观测器的自适应神经网络的控制方法.基于奇异摄动理论将柔性关节空间机械臂动力学模型分解为快慢变2个子系统;利用神经网络逼近控制器和观测器中的未知非线性,设计基于自适应神经网络的速度观测器和控制器,动态抵消模型不确定性对系统的影响;利用泰勒线性化方法,设计了权值、基函数中心和宽度参数在内的自适应学习律,提高了控制精度,且不需要离线学习;设计了基于速度差值的控制器来抑制快变子系统模型中的弹性振动;基于Lyapunov稳定性理论证明了闭环系统的一致最终有界.仿真实验证明了所提控制策略的有效性.

关键词：空间机械臂柔性关节速度观测器神经网络振动抑制

来源：评论

学校读者我要写书评

暂无评论

面向持续软件工程的微服务架构技术专题前言

引用

软件学报 2021年第5期32卷 1229-1230页

作者：张贺王忠杰陈连平彭鑫南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 哈尔滨工业大学计算学部黑龙江哈尔滨150001 Lianping Chen Ltd. Dublin D06XD73Ireland 复旦大学计算机科学与技术学院上海200438

随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、... 详细信息

随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuous software engineering)由此被提出并迅速得到广泛的实践应用.微服务(microservice)架构作为一种全新的去中心化分布式架构,在软件架构层面成为适应持续软件工程发展的必然趋势,而领域驱动设计(domain-driven design,简称DDD)伴随着微服务架构的兴起也重新获得了业界的广泛关注,二者共同关注服务自顶向下的合理设计和分解.微服务架构与领域驱动设计共同支持实现现代软件系统的持续性特征.为了反映中国学者和实践者在求解以微服务架构为代表的持续软件工程所面临的架构难题和挑战过程中取得的理论、技术或实验方面的创新性、突破性的高水平研究成果,特设立此专题.

关键词：微服务架构领域驱动设计软件工程软件系统软件架构分布式架构互联网化去中心化

来源：评论

学校读者我要写书评

暂无评论

采用自适应缩放系数优化的块匹配运动估计

引用

软件学报 2020年第11期31卷 3603-3620页

作者：宋传鸣闫小红葛明博王相海尹宝才辽宁师范大学计算机与信息技术学院辽宁大连116029 大连理工大学计算机科学与技术学院辽宁大连116024 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

尽管基于平移模型的快速块匹配运动估计算法在一定程度上解决了高计算量的问题,但却是以牺牲运动补偿质量为代价的,而高阶运动模型尚存在计算量高、收敛不稳定的不足.通过实验统计发现,视频中约有56.21%的块包含缩放运动,进而得出缩放... 详细信息

尽管基于平移模型的快速块匹配运动估计算法在一定程度上解决了高计算量的问题,但却是以牺牲运动补偿质量为代价的,而高阶运动模型尚存在计算量高、收敛不稳定的不足.通过实验统计发现,视频中约有56.21%的块包含缩放运动,进而得出缩放运动是除平移运动外最主要的视频运动形式的结论.进而借助双线性插值,在传统的块平移模型中引进一个缩放系数,将运动补偿误差表示为该缩放系数的一元二次函数,利用韦达定理推导出1D缩放运动下最佳缩放系数的计算方法,并将其进一步推广到2D等比例缩放运动的情况下.在此基础上,提出了一种采用自适应缩放系数优化的快速块匹配运动估计算法.该算法以菱形搜索计算平移矢量,再用自适应缩放系数确定待预测块的最佳匹配块.在33个标准测试视频上的实验结果表明,与基于平移模型的块匹配全搜索和快速菱形搜索相比,该算法的平均运动补偿峰值信噪比(peak signal-to-noise ratio,简称PSNR)分别提高了0.11dB和0.64dB,计算量比全搜索下降了96.02%,略高于菱形搜索;与基于缩放模型的运动估计相比,该算法的平均峰值信噪比较之3D全搜索下降了0.62dB,但是比快速3D菱形搜索提高了0.008dB,而计算量仅分别为两者的0.11%和3.86%,并且无需向解码端传输缩放矢量,能够实现编、解码端的自同步,不会增加边信息的码流开销.此外,该自适应缩放系数计算方法还可与菱形搜索以外的其他快速块匹配运动估计相结合,提高其运动补偿质量.

关键词：视频编码运动估计块匹配缩放模型自适应缩放系数

来源：评论

学校读者我要写书评

暂无评论

基于多目标优化算法NSGA-II推荐相似缺陷报告

引用

计算机学报 2019年第10期42卷 2175-2189页

作者：樊田田许蕾陈林南京大学计算机科学与技术系南京210023 南京大学计算机软件新技术国家重点实验室南京210023

在软件开发过程中,开发人员会收到用户提交的大量缺陷报告.若修复缺陷报告中问题涉及到的相同源代码文件数目超过一半,则称这些缺陷报告为相似缺陷报告.给开发人员推荐相似缺陷报告能够有效节约开发人员修复缺陷的时间.该文提出一种基... 详细信息

在软件开发过程中,开发人员会收到用户提交的大量缺陷报告.若修复缺陷报告中问题涉及到的相同源代码文件数目超过一半,则称这些缺陷报告为相似缺陷报告.给开发人员推荐相似缺陷报告能够有效节约开发人员修复缺陷的时间.该文提出一种基于多目标优化算法NSGA-Ⅱ推荐相似缺陷报告的方法,即在推荐尽可能少的相似缺陷报告情况下,使得缺陷报告间的相似度尽可能大.为此,利用缺陷报告的摘要和描述信息,该文采用TFIDF和Word Embedding两种方法,从历史缺陷报告中找出相似的缺陷报告,并采用基于搜索的多目标优化算法NSGA-Ⅱ来保证推荐的相似缺陷报告数目尽可能少.实验数据集是6个开源项目(AspectJ、Birt、Eclipse UI、JDT、SWT和Tomcat).与采用单目标算法相比,该文方法在推荐相似缺陷报告的准确率、平均准确率均值、平均序位倒数均值都有提高,其中,在Top@1准确率、平均准确率均值、平均序位倒数均值上分别比Yang方法提高125.5%、67.7%和62.75%.

关键词：相似缺陷报告推荐多目标优化空间向量模型词嵌入模型 NSGA-Ⅱ算法软件工程

来源：评论

学校读者我要写书评

暂无评论

基于卷积神经网络的蛋白质折叠类型最小特征提取

引用

南京大学学报（自然科学版） 2020年第5期56卷 744-753页

作者：潘越王骏李文飞张建王炜南京大学物理学院南京210023 南京大学脑科学研究院南京210023 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210023

通过蛋白质的序列、结构等信息构建完整的蛋白质宇宙是生物信息学中的重要课题,相关研究对蛋白质结构预测、蛋白质进化路径分析以及蛋白质结构设计等方面的研究都有重要的意义.从蛋白质结构的一种简化表示——蛋白质接触图出发,通过训... 详细信息

通过蛋白质的序列、结构等信息构建完整的蛋白质宇宙是生物信息学中的重要课题,相关研究对蛋白质结构预测、蛋白质进化路径分析以及蛋白质结构设计等方面的研究都有重要的意义.从蛋白质结构的一种简化表示——蛋白质接触图出发,通过训练卷积神经网络进行特征提取,筛选出可识别结构域折叠类型的最小特征向量,构建蛋白质折叠类型空间,并使用谱聚类等方法对不同蛋白质折叠类型的高维分布情况进行分析.得到的最小特征向量兼顾了信息的完整性与冗余度,可以很好地表示全部七种常见蛋白质类的空间关联.该研究结果填补了之前蛋白质宇宙研究中对不常见类的空间位置和相互关系描述的空白,加深了对于蛋白质结构相似性的理解.

关键词：蛋白质宇宙深度学习卷积神经网络蛋白质折叠类型识别

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：