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

计算机应用 2020年第2期40卷 311-315页

作者：赵永柱黎卫东唐斌梅峰卢文达国网陕西省电力公司信息通信公司西安710065 计算机软件新技术国家重点实验室(南京大学) 南京210023 国网浙江省电力有限公司杭州310007

分布式矩阵相乘是众多分布式机器学习、科学计算等应用中的关键操作,但其性能会受到系统中常见的落后节点的严重影响。最近研究者提出了基于喷泉码的编码矩阵相乘方法,能够充分利用落后节点的部分计算结果,从而大幅度减轻落后节点问题,... 详细信息

分布式矩阵相乘是众多分布式机器学习、科学计算等应用中的关键操作,但其性能会受到系统中常见的落后节点的严重影响。最近研究者提出了基于喷泉码的编码矩阵相乘方法,能够充分利用落后节点的部分计算结果,从而大幅度减轻落后节点问题,但忽略了工作节点的存储开销。在考虑存储开销与计算完成时间之间的权衡关系的基础上,首先提出了面向异构工作节点的计算期限感知的存储优化问题;然后进一步通过理论分析,提出了基于期望近似的解决思路,并通过松弛将问题转化为凸优化问题以方便高效求解。仿真实验表明,在保证较大的任务成功率的情况下,所提方案的存储开销会随着任务期限的放宽迅速下降,并且该方案能够更大幅度降低编码带来的存储开销。也就是说,所提方案能够在保障整体计算在期限内大概率完成的前提下,大幅度降低总体的额外存储负载。

关键词：分布式计算矩阵相乘落后节点凸优化期限感知

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

基于深度特征的无监督图像检索研究综述

引用

计算机研究与发展 2018年第9期55卷 1829-1842页

作者：张皓吴建鑫计算机软件新技术国家重点实验室(南京大学) 南京210023

基于内容的图像检索(content-based image retrieval,CBIR)是一项极具挑战的计算机视觉任务.其目标是从数据库图像中找到和查询图像包含相同实例的图像.一个典型的图像检索流程包括2步:设法从图像中提取一个合适的图像的表示向量和对这... 详细信息

基于内容的图像检索(content-based image retrieval,CBIR)是一项极具挑战的计算机视觉任务.其目标是从数据库图像中找到和查询图像包含相同实例的图像.一个典型的图像检索流程包括2步:设法从图像中提取一个合适的图像的表示向量和对这些表示向量进行最近邻搜索以找到相似的图像.其中,决定图像检索算法性能的关键在于其提取的图像表示的好坏.图像检索中使用的图像表示经历了基于手工特征和基于深度特征两大时期,每个时期又有全局特征和局部特征2个阶段.由于手工特征的表示能力有限,近年来图像检索的研究主要集中在如何利用深度特征.将以提取图像表示的不同思路为线索,回顾无监督图像检索领域的发展历程,介绍该领域的一些代表性算法,并比较这些算法在常用数据集上的性能表现,最后探讨未来的研究方向.

关键词：图像检索深度学习卷积神经网络计算机视觉无监督学习

来源：评论

学校读者我要写书评

暂无评论

疫情背景下软件项目管理课程线上教学实践研究

引用

软件导刊 2021年第9期20卷 238-242页

作者：薄莉莉孙小兵李斌扬州大学信息工程学院江苏省知识管理与智能服务工程研究中心江苏扬州225127 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

为了积极应对疫情背景下无法继续开展传统校内正常教学活动和学生线上学习注意力不集中导致学习效率低的问题,以软件项目管理课程为例,基于课程目标和主要内容,从课前准备、课中实施和课后拓展3个阶段有效开展疫情背景下的线上教学实践... 详细信息

为了积极应对疫情背景下无法继续开展传统校内正常教学活动和学生线上学习注意力不集中导致学习效率低的问题,以软件项目管理课程为例,基于课程目标和主要内容,从课前准备、课中实施和课后拓展3个阶段有效开展疫情背景下的线上教学实践:课前收集并建立一套完整的软件项目管理案例库;课中以项目实践为主线,模拟项目招投标、需求分析、软件设计、成本管理、风险管理、进度管理、在线公测、项目验收等;课后进行拓展完善。实践效果表明,91%的学生对自己这门课程的学习效果非常满意,90%的学生支持其他工程实践类课程也采用类似教学方式,88%的学生认为该教学方式提高了自己分析问题和解决复杂工程问题的能力。

关键词：疫情软件项目管理线上教学工程实践

来源：评论

学校读者我要写书评

暂无评论

双学习率自适应的Q路由算法

引用

小型微型计算机系统 2019年第8期40卷 1672-1677页

作者：沙鑫磊白光伟张杰赵文天沈航南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093

随着网络不断演进,网络流量呈爆炸式增长,路由方法成为了网络流量控制中的关键难题.这是因为传统的路由策略不具备学习能力,不能从过去的转发经验中学习到拥塞、链路中断等网络异常,也就不能根据网络状态调整路由策略.本文提出了一种双... 详细信息

随着网络不断演进,网络流量呈爆炸式增长,路由方法成为了网络流量控制中的关键难题.这是因为传统的路由策略不具备学习能力,不能从过去的转发经验中学习到拥塞、链路中断等网络异常,也就不能根据网络状态调整路由策略.本文提出了一种双学习率自适应的Q路由算法DALRQ-routing.在轮询阶段,DALRQ-routing根据网络延迟调整echo学习率,减少轮询操作造成的延迟抖动.在转发阶段,算法根据TD-error调整transfer学习率,提高算法收敛速度.通过这种双学习率自适应的机制来降低延迟抖动,加速算法收敛.本文将提出的算法与Full Echo Q-routing和AQFE算法进行了比较.实验结果表明,在动态变化的网络负载下,本文所提出的算法在保持高收敛速度和低初始化峰值延迟的基础上明显减少了延迟抖动,提高了网络的稳定性.

关键词：路由算法自适应路由 Q路由自适应学习率延迟抖动

来源：评论

学校读者我要写书评

暂无评论

加强内控信息化建设助推高校内涵式发展

引用

商业会计 2020年第5期 83-85页

作者：王秀芬方巍南京信息工程大学财务处南京信息工程大学计算机与软件学院江苏南京210044 南京大学计算机软件新技术国家重点实验室江苏南京210093

随着我国高等教育迅猛发展,办学模式呈现多样化发展态势,对当前高校内控管理体制和运行体制提出了新的要求。文章在内控理论研究的基础上,分析了内控信息一体化平台建设对高校的影响,并结合工作实例,提出了信息一体化建设思路,对加强高... 详细信息

随着我国高等教育迅猛发展,办学模式呈现多样化发展态势,对当前高校内控管理体制和运行体制提出了新的要求。文章在内控理论研究的基础上,分析了内控信息一体化平台建设对高校的影响,并结合工作实例,提出了信息一体化建设思路,对加强高校内部管理信息一体化建设进行有益的探索,以有助于高校进一步健全和完善内部控制体系,推进高校内涵式发展,提升高校的运行管理水平。

关键词：内部控制内涵式发展信息一体化风险防控

来源：评论

学校读者我要写书评

暂无评论

基于文件粒度的多目标软件缺陷预测方法实证研究

引用

软件学报 2019年第12期30卷 3694-3713页

作者：陈翔赵英全顾庆倪超王赞南通大学信息科学技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 天津大学软件学院天津300072

软件缺陷预测技术通过挖掘和分析软件库训练出软件缺陷预测模型,随后利用该模型来预测出被测软件项目内的缺陷程序模块,因此可以有效地优化测试资源的分配.在基于代价感知的评测指标下,有监督学习方法与无监督学习方法之间的预测性能比... 详细信息

软件缺陷预测技术通过挖掘和分析软件库训练出软件缺陷预测模型,随后利用该模型来预测出被测软件项目内的缺陷程序模块,因此可以有效地优化测试资源的分配.在基于代价感知的评测指标下,有监督学习方法与无监督学习方法之间的预测性能比较是最近的一个热门研究话题.其中在基于文件粒度的缺陷预测问题中,Yan等人最近对Yang等人考虑的无监督学习方法和有监督学习方法展开了大规模实证研究,结果表明存在一些无监督学习方法,其性能要优于有监督方法.基于来自开源社区的10个项目展开了实证研究.结果表明:在同项目缺陷预测场景中,若基于ACC评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有105.81%和123.84%的提高;若基于POPT评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有35.61%和38.70%的提高.在跨项目缺陷预测场景中,若基于ACC评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有22.42%和34.95%的提高.若基于POPT评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有11.45%和17.92%的提高.同时,基于Huang等人提出的PMI和IFA评测指标,MULTI方法的表现与代价感知的指标相比存在一定的折衷问题,但仍好于在ACC和POPT评测指标下表现最好的两种无监督学习方法.除此之外,将MULTI方法与最新提出的OneWay和CBS方法进行了比较,结果表明,MULTI方法在性能上仍然可以显著优于这两种方法.同时,基于F1评测指标的结果也验证了MULTI方法在预测性能上的显著优越性.最后,通过分析模型构建的时间开销,表明MULTI方法的模型构建开销对开发人员来说处于可接受的范围之内.

关键词：软件质量保障软件缺陷预测有监督学习无监督学习多目标优化

来源：评论

学校读者我要写书评

暂无评论

电子投票中投票者隐私保护策略的研究

引用

现代信息科技 2020年第19期4卷 133-135页

作者：孙毅冉丹南京航空航天大学计算机科学与技术学院江苏南京211106 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

现有的电子投票系统虽然可以通过投票者的微信号、IP地址等来保证选票的唯一性,但也因此泄露了投票者的隐私。文章对电子投票中存在的隐私泄露问题进行分析,研究并提出了一种保护投票者隐私的算法。该算法使用MD5对投票者隐私进行保护,... 详细信息

现有的电子投票系统虽然可以通过投票者的微信号、IP地址等来保证选票的唯一性,但也因此泄露了投票者的隐私。文章对电子投票中存在的隐私泄露问题进行分析,研究并提出了一种保护投票者隐私的算法。该算法使用MD5对投票者隐私进行保护,使用RSA公钥加密技术实现盲签名,可使在投票的所有环节都无法追踪投票者隐私信息。根据所提算法开发实现了一个匿名投票系统,实验验证了该匿名投票系统有效地保护了投票者隐私。

关键词：隐私保护 RSA公钥密码体制盲签名 MD5

来源：评论

学校读者我要写书评

暂无评论

API文档缺陷自动检测和修复方法

引用

计算机应用研究 2019年第9期36卷 2686-2690页

作者：王长志周宇闫鑫南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

为了完善应用程序编程接口(application programming interface,API)文档,提出了基于程序静态分析和自然语言处理的自动检测和修复API文档缺陷的方法。该方法能够自动检测和修复API文档缺陷。实验中缺陷检测结果的准确率和召回率分别达... 详细信息

为了完善应用程序编程接口(application programming interface,API)文档,提出了基于程序静态分析和自然语言处理的自动检测和修复API文档缺陷的方法。该方法能够自动检测和修复API文档缺陷。实验中缺陷检测结果的准确率和召回率分别达到74. 6%和81. 4%,能够较为准确地检测到Java API的文档缺陷。在进一步的实验中还对API文档的修复功能进行了评估,结果表明生成的文档正确且简洁,可以有效地修复API文档缺陷。

关键词： Java API文档程序异常修复建议

来源：评论

学校读者我要写书评

暂无评论

语音情感识别综述

引用

计算机工程与应用 2020年第11期56卷 1-9页

作者：孙晓虎李洪均南通大学信息科学技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 南京210093 南通大学智能信息技术研究中心江苏南通226019 南通大学通科微电子学院江苏南通226019

人类的语音情感变化是一个抽象的动态过程,难以使用静态信息对其情感交互进行描述,而人工智能的兴起为语音情感识别的发展带来了新的契机。从语音情感识别的概念和在国内外发展的历史进程入手,分别从5个方面对近些年关于语音情感识别的... 详细信息

人类的语音情感变化是一个抽象的动态过程,难以使用静态信息对其情感交互进行描述,而人工智能的兴起为语音情感识别的发展带来了新的契机。从语音情感识别的概念和在国内外发展的历史进程入手,分别从5个方面对近些年关于语音情感识别的研究成果进行了归纳总结。介绍了语音情感特征,归纳总结了各种语音特征参数对语音情感识别的意义。分别对语音情感数据库的分类及特点、语音情感识别算法的分类及优缺点、语音情感识别的应用以及语音情感识别现阶段所遇到的挑战进行了详细的阐述。立足于研究现状对语音情感识别的未来研究及其发展进行了展望。

关键词：语音情感识别情感特征情感识别算法人工智能

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：