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

天文学报 2020年第4期61卷 129-139页

作者：单家辉封莉袁汉青张岩钟忺甘为群黎辉黄宇中国科学院紫金山天文台南京210023 中国科学院暗物质和空间天文重点实验室南京210023 武汉理工大学计算机科学与技术学院武汉430070 中国科学技术大学天文与空间科学学院合肥230026 南京大学计算机软件新技术国家重点实验室南京210023

日冕物质抛射(Coronal Mass Ejection,CME)的检测是建立CME事件库和实现对CME在行星际传播的预报的重要前提.通过Visual Geometry Group(VGG)16卷积神经网络方法对日冕仪图像进行自动分类.基于大角度光谱日冕仪(Large Angle and Spectro... 详细信息

日冕物质抛射(Coronal Mass Ejection,CME)的检测是建立CME事件库和实现对CME在行星际传播的预报的重要前提.通过Visual Geometry Group(VGG)16卷积神经网络方法对日冕仪图像进行自动分类.基于大角度光谱日冕仪(Large Angle and Spectrometric Coronagraph Experiment,LASCO)C2的白光日冕仪图像,根据是否观测到CME对图像进行标记.将标记分类的数据集用于VGG模型的训练,该模型在测试集分类的准确率达到92.5%.根据检测得到的标签结果,结合时空连续性规则,消除了误判区域,有效分类出CME图像序列.与Coordinated Data Analysis Workshops(CDAW)人工事件库比较,分类出的CME图像序列能够较完整地包含CME事件,且对弱CME结构有较高的检测灵敏度.未来先进天基太阳天文台(Advanced Space-based Solar Observatory,ASO-S)卫星的莱曼阿尔法太阳望远镜将搭载有白光日冕仪(Solar Corona Imager,SCI),使用此分类方法将该仪器产生的日冕图像按有无CME分类.含CME标签的图像将推送给中国的各空间天气预报中心,对CME进行预警.

关键词：太阳:日冕物质抛射技术:图像处理方法:数据分析

来源：评论

学校读者我要写书评

暂无评论

面向期限感知分布式矩阵相乘的高效存储方案

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

众包机制在信息安全中的应用现状和发展方向

引用

广州大学学报（自然科学版） 2020年第4期19卷 21-27页

作者：刘轩宇杜小江伏晓南京大学计算机软件新技术国家重点实验室江苏南京210093 天普大学计算机与信息科学系美国费城19122

信息技术的发展推动了社会的进步,也给信息安全领域带来了更多的挑战.信息安全场景越来越复杂,安全工具开发的难度越来越高,安全分析的难度也越来越大.当下的很多信息安全任务已经无法靠个人独立完成,往往需要很多人的合作.要实现这种... 详细信息

信息技术的发展推动了社会的进步,也给信息安全领域带来了更多的挑战.信息安全场景越来越复杂,安全工具开发的难度越来越高,安全分析的难度也越来越大.当下的很多信息安全任务已经无法靠个人独立完成,往往需要很多人的合作.要实现这种多人合作的信息安全方案,就需要一个成熟可靠的合作机制.在软件工程领域,众包是一种成熟的分布式问题解决方案,可以将复杂任务划分为简单任务外包给他人执行,从而降低复杂度.近年来,一些研究者提出了在信息安全领域中引入众包机制来帮助解决一些难以处理的安全问题,体现出了将信息安全和众包机制结合的可行性.文章将探讨众包机制在信息安全中的应用现状,并在此基础上提出了未来的发展方向.

关键词：信息安全众包多方合作

来源：评论

学校读者我要写书评

暂无评论

自动合成数组不变式

引用

软件学报 2018年第6期29卷 1544-1565页

作者：李彬翟娟汤震浩汤恩义赵建华计算机软件新技术国家重点实验室(南京大学)

提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质(包括区间全称量词性质和原子性质)集合作为抽象域,通过前向迭代数据流分析合成数组性质.证明了... 详细信息

提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质(包括区间全称量词性质和原子性质)集合作为抽象域,通过前向迭代数据流分析合成数组性质.证明了该方法的正确性和收敛性,并通过一些实例展示了该方法的灵活性.开发了一种原型工具,该工具在各种数组程序(包括competition on software verification中的array-examples benchmark)上的实验展示了方法的可行性和有效性.

关键词：不变式合成抽象解释数组程序

来源：评论

学校读者我要写书评

暂无评论

基于电力负荷曲线的设备识别方法

引用

中国科学技术大学学报 2019年第2期49卷 100-104页

作者：王子一商琳计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

电力设备的负荷曲线随着时间而变化,其本质上是时间序列数据.为此提出了一种新的通过负荷曲线识别电力设备的方法,该方法在多个粒度划分出的负载曲线上使用卷积神经网络作为基分类器构造出一个集成学习器来提高分类精度.首先我们对原始... 详细信息

电力设备的负荷曲线随着时间而变化,其本质上是时间序列数据.为此提出了一种新的通过负荷曲线识别电力设备的方法,该方法在多个粒度划分出的负载曲线上使用卷积神经网络作为基分类器构造出一个集成学习器来提高分类精度.首先我们对原始数据进行不同粒度的划分,得到若干不同的新数据集.其次使用这些新的数据集训练不同的基学习器,并根据验证集上的精度得到不同基学习器的权重.将测试样本按照相同的粒度划分方式得到不同的测试数据集,使用不同的基分类器对这些测试数据集进行测试,得到对应的预测标签.最后对不同基分类器预测的标签进行加权,并选出权重最大的那个标签作为预测标签.在实际的电力负荷数据上将该模型与单个CNN模型进行对比,实验结果表明,该模型具有更高的设备识别精度.

关键词：力负荷曲线粒度时间序列集成学习分类

来源：评论

学校读者我要写书评

暂无评论

基于虚拟曝光图像的立体高动态范围图像合成算法

引用

光电子．激光 2019年第7期30卷 768-778页

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

本文提出基于多视点多曝光图像的立体高动态范围图像合成算法。首先,考虑多视点多曝光图像以及相机响应函数曲线的特性,提出一种虚拟曝光图像绘制算法,将不同曝光的图像绘制到同一视点;然后,为了使绘制曝光图像保留更多细节和结构,需要... 详细信息

本文提出基于多视点多曝光图像的立体高动态范围图像合成算法。首先,考虑多视点多曝光图像以及相机响应函数曲线的特性,提出一种虚拟曝光图像绘制算法,将不同曝光的图像绘制到同一视点;然后,为了使绘制曝光图像保留更多细节和结构,需要对绘制虚拟曝光图像进行空洞填补及边缘修复,故引入了边缘差值掩膜图,对图像边缘信息进行校正平滑处理;最后利用绘制的虚拟曝光图像合成立体高动态范围图像。实验结果表明,获得的绘制曝光图像与参考曝光视点图像之间的结构相似性高达0.99以上,且合成的高动态范围图像质量高。

关键词：多视点多曝光图像绘制曝光图像边缘差值掩膜立体高动态范围图像

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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方法的模型构建开销对开发人员来说处于可接受的范围之内.

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于可重随机化混淆电路的可验证计算

引用

软件学报 2019年第2期30卷 399-415页

作者：赵青松曾庆凯刘西蒙徐焕良计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京农业大学信息科技学院江苏南京210095 福州大学数学与计算机科学学院福建福州350117 School of Information Systems Singapore Management University

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似... 详细信息

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似乎仍有很大的空间,并且需要较强的困难性假设.另一方面,Gennaro等人的方案只能在敌手不能对客户端发起任何数量的验证查询这种较弱的模型下被证明是安全的.部分同态加密的困难性假设要弱于全同态加密,虽然只支持数量有限的同态操作,但比全同态加密运行速度更快、更加紧凑.提出了一个使用加同态加密的可验证计算方案.它基于DDH假设,能够容忍任意数量的恶意验证查询,采用的主要技术是可重随机化的混淆电路.该技术可以实现重随机化的混淆电路分布与原有的混淆电路分布在计算上是不可区分的.另外,也给出了一种使用可重随机化的混淆电路构造密码转置防火墙方案,称为可重用密码转置防火墙.也就是说,混淆电路可生成1次,接下来,密码转置防火墙可安全地重随机化和重用多次.

关键词：可验证计算可重随机化混淆电路同态加密密码转置防火墙

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：