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

实验技术与管理 2020年第12期37卷 94-97页

作者：陈镭杨章静黄璞南京审计大学实验中心江苏南京211815 南京审计大学信息工程学院江苏南京211815 南京大学计算机软件新技术国家重点实验室江苏南京210232

针对传统Android恶意软件检测技术准确率不足的问题,该文设计并用实验验证了一种基于机器学习的Android恶意软件检测方法。首先提取Android应用的一些关键静态特征,生成对应的特征向量,然后采用机器学习算法构建并训练模型,最后对待测An... 详细信息

针对传统Android恶意软件检测技术准确率不足的问题,该文设计并用实验验证了一种基于机器学习的Android恶意软件检测方法。首先提取Android应用的一些关键静态特征,生成对应的特征向量,然后采用机器学习算法构建并训练模型,最后对待测Android应用软件进行分类检测。实验结果表明,在使用相同数据集的情况下,支持向量机(SVM)算法取得了96.4%的检测率,略高于逻辑回归、朴素贝叶斯、决策树算法。通过实验,不仅使学生对Android应用软件有了更清晰的认识,还提升了学生用机器学习方法分析和解决实际问题的能力。

关键词： Android应用恶意软件机器学习 Weka平台

来源：评论

学校读者我要写书评

暂无评论

激光熔融数字化导板技术辅助钙化根管的治疗

引用

华西口腔医学杂志 2020年第5期38卷 525-531页

作者：张婷陈度苗雷英谢思静汤旭娜南京大学医学院附属口腔医院南京市口腔医院牙体牙髓病科南京210000 南京大学医学院附属口腔医院南京市口腔医院中心实验室南京210000 南京大学医学院附属口腔医院南京市口腔医院修复科南京210000 计算机软件新技术国家重点实验室(南京大学) 南京210000

目的利用激光熔融数字化导板技术获得钙化根管治疗的新方法,并评估其准确性。方法采用激光熔融数字化导板技术辅助2例前牙钙化根管的治疗。术前使用锥形束CT(CBCT)扫描患者上颌牙,建立三维牙体硬组织根管系统模型;制取患者上颌印模,三... 详细信息

目的利用激光熔融数字化导板技术获得钙化根管治疗的新方法,并评估其准确性。方法采用激光熔融数字化导板技术辅助2例前牙钙化根管的治疗。术前使用锥形束CT(CBCT)扫描患者上颌牙,建立三维牙体硬组织根管系统模型;制取患者上颌印模,三维扫描仪扫描模型,整合CBCT及三维扫描数据,通过Mimics 19.0及3-matic 11.0软件设计开髓路径,使用钴铬合金激光熔融法打印导板,在根管导板引导下开髓及打通钙化段根管,完成根管治疗。测量术前开髓设计路径和术后实际路径的位置和角度偏差。结果2例患牙均获得较好的治疗效果。病例1的开髓角度偏差为1.77°,钻基底偏差为0.403~0.497 mm,钻尖端偏差为0.433~0.537 mm。病例2的角度偏差为3.26°,钻基底偏差为0.183~0.347 mm,钻尖端偏差为0.310~0.463 mm。结论钴铬合金激光熔融根管导板辅助建立根管通道是治疗钙化根管的有效方法,可作为钙化根管治疗的新策略。

关键词：引导根管治疗激光熔融导板钙化根管锥形束CT

来源：评论

学校读者我要写书评

暂无评论

汇编级顺序语句块的自动形式化规约及其验证

引用

计算机工程 2019年第10期45卷 64-69,77页

作者：祁龙云吕小亮路红黄皓南京南瑞信息通信科技有限公司南京210003 南京大学计算机软件新技术国家重点实验室南京210023

软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段,但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大量手工验证。为提高证明效率,构建一种自动证明模型,并在此基础上提出语义自动规约算法以及对所规约的语... 详细信息

软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段,但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大量手工验证。为提高证明效率,构建一种自动证明模型,并在此基础上提出语义自动规约算法以及对所规约的语义自动生成证明脚本的算法。利用C++和Python并通过交互式定理证明器Isabelle 2017在基准数据中随机选择10个程序进行测试,结果表明,与完全人工操作相比,该算法具有较高的验证效率,可实现顺序语句块的自动化规约与验证。

关键词：自动形式化规约自动化验证定理证明器交互式定理形式化验证

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

云虚拟机异常检测场景下改进的LOF算法

引用

计算机工程与应用 2020年第23期56卷 80-86页

作者：贺寰烨林果园顾浩方梦华中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教务部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室南京210023

针对云服务中由于资源超额预定造成负载不均衡的云虚拟机异常,提出了一种基于密度空间的局部离群因子(Local Outlier Factor Based on Density Space,LOFBDS)算法。LOFBDS算法参考DBSCAN(Density-Based Spatial Clustering of Applications with Noise)算法,将云虚拟机在密度空间中的性质融合至LOF算法之中,提出对云虚拟机的判断规则,以达到优化对正常云虚拟机的检测过程,提高检测效率。实验结果表明,所提出的算法对云服务负载不均造成的云虚拟机异常有着良好的检测效率,并且时间花费较少。

关键词：云服务云虚拟机异常检测局部离群点检测

来源：评论

学校读者我要写书评

暂无评论

面向工业控制系统的渗透测试工具研究

引用

计算机工程 2019年第8期45卷 92-101页

作者：周伟平杨维永王雪华茅兵南京大学计算机软件新技术国家重点实验室南京210023 南京南瑞信息通信科技有限公司南京210000

为提高对工业控制系统的渗透测试效率,保障其安全可靠性并提升系统安全防护能力,基于shell交互技术构建面向工控系统的渗透测试工具框架,并通过Python语言进行实现。设计具有层次结构的网络探测和系统探测模块,利用协议解析和逆向技术... 详细信息

为提高对工业控制系统的渗透测试效率,保障其安全可靠性并提升系统安全防护能力,基于shell交互技术构建面向工控系统的渗透测试工具框架,并通过Python语言进行实现。设计具有层次结构的网络探测和系统探测模块,利用协议解析和逆向技术对工控协议进行脆弱性检测,同时研究基于工控环境的漏洞利用方式,通过模糊测试模块对测试目标进行漏洞挖掘和脆弱性检测。在此基础上,参考开源Metasploit软件,根据模板规则编写渗透攻击脚本。仿真结果表明,该设计可提高对工控系统的探测效率,降低协议脆弱性检测难度,并且具有结构简明、易于扩展的特点。

关键词：工业控制系统漏洞渗透测试协议逆向模糊测试

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

视觉图像显著性检测综述

引用

计算机科学 2020年第7期47卷 84-91页

作者：袁野和晓歌朱定坤王富利谢浩然汪俊魏明强郭延文南京航空航天大学计算机科学与技术学院/人工智能学院南京210006 模式分析与机器智能工业和信息化部重点实验室南京210016 南京大学计算机软件新技术国家重点实验室南京210023 香港公开大学香港999077 香港教育大学香港999077

当今图像数据呈爆炸式增长,如何利用计算机高效地获取、处理图片信息成为领域内重要的研究课题。在人类视觉注意机制的启发下,研究人员发现将这种机制引入机器图像处理任务中可以大大提高信息提取的效率,从而更好地节省有限的计算资源... 详细信息

当今图像数据呈爆炸式增长,如何利用计算机高效地获取、处理图片信息成为领域内重要的研究课题。在人类视觉注意机制的启发下,研究人员发现将这种机制引入机器图像处理任务中可以大大提高信息提取的效率,从而更好地节省有限的计算资源。视觉图像显著性检测即利用计算机模拟人类的视觉注意机制,对图片中各部分信息的重要程度进行计算。其在图像分割、视频压缩、目标检测、图像索引等领域得到了广泛的应用,有着重要的研究价值。文中介绍了图像显著性检测算法的研究现状,首先以信息驱动来源为切入点,对显著性检测模型进行概述,之后分析了现有几种典型的显著性检测算法,并根据是否基于学习的模型将其分为基于非学习模型、基于传统机器学习模型以及基于深度学习模型3类。针对第一类,文中较为详细地对基于局部对比度和基于全局对比度的显著性检测算法进行了分类比较,指出了各自的优势与不足;针对后两类,分析了机器学习算法及深度学习在显著性检测中的应用。最后对现有的显著性检测算法进行了总结比较,对该领域研究的下一步发展方向进行了展望。

关键词：显著区域检测视觉显著性检测深度学习机器学习视觉注意机制

来源：评论

学校读者我要写书评

暂无评论

软件开发方法发展回顾与展望

引用

软件学报 2019年第1期30卷 3-21页

作者：马晓星刘譞哲谢冰余萍张天卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

关键词：软件开发方法回顾展望

来源：评论

学校读者我要写书评

暂无评论

基于特征迁移和实例迁移的跨项目缺陷预测方法

引用

软件学报 2019年第5期30卷 1308-1329页

作者：倪超陈翔刘望舒顾庆黄启国李娜计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南通大学计算机科学与技术学院江苏南通226019 南京工业大学计算机科学与技术学院江苏南京211816

在实际软件开发中,需要进行缺陷预测的项目可能是一个新启动项目,或者这个项目的历史训练数据较为稀缺.一种解决方案是利用其他项目(即源项目)已搜集的训练数据来构建模型,并完成对当前项目(即目标项目)的预测.但不同项目的数据集间会... 详细信息

在实际软件开发中,需要进行缺陷预测的项目可能是一个新启动项目,或者这个项目的历史训练数据较为稀缺.一种解决方案是利用其他项目(即源项目)已搜集的训练数据来构建模型,并完成对当前项目(即目标项目)的预测.但不同项目的数据集间会存在较大的分布差异性.针对该问题,从特征迁移和实例迁移角度出发,提出了一种两阶段跨项目缺陷预测方法 FeCTrA.具体来说,在特征迁移阶段,该方法借助聚类分析选出源项目与目标项目之间具有高分布相似度的特征;在实例迁移阶段,该方法基于TrAdaBoost方法,借助目标项目中的少量已标注实例,从源项目中选出与这些已标注实例分布相近的实例.为了验证FeCTrA方法的有效性,选择Relink数据集和AEEEM数据集作为评测对象,以F1作为评测指标.首先,FeCTrA方法的预测性能要优于仅考虑特征迁移阶段或实例迁移阶段的单阶段方法;其次,与经典的跨项目缺陷预测方法 TCA+、Peters过滤法、Burak过滤法以及DCPDP法相比,FeCTrA方法的预测性能在Relink数据集上可以分别提升23%、7.2%、9.8%和38.2%,在AEEEM数据集上可以分别提升96.5%、108.5%、103.6%和107.9%;最后,分析了FeCTrA方法内的影响因素对预测性能的影响,从而为有效使用FeCTrA方法提供了指南.

关键词：软件质量保障软件缺陷预测跨项目缺陷预测迁移学习特征迁移实例迁移

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：