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

软件学报 2019年第5期30卷 1330-1341页

作者：朱亚伟左志强王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进... 详细信息

内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的不准确性导致的.提出了一种内存泄漏的智能化检测方法,通过使用机器学习算法学习程序特征与内存泄漏之间的相关性,构建机器学习分类器,并应用机器学习分类器进一步提高内存泄漏静态分析的准确性.首先构建机器学习分类器,然后通过静态分析方法构建从内存分配点开始的SparseValueFlowGraph(SVFG),并从中提取内存泄漏相关特征,再使用规则和机器学习分类器进行内存泄漏的检测.实验结果显示,该方法在分析指针、分支语句和全局变量时是有效的,能够提高内存泄漏检测的准确性,降低内存泄漏检测结果的误报.最后,对未来研究的可行性以及面临的挑战进行了展望.

关键词：内存泄漏内存泄漏检测静态分析机器学习特征提取

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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%,并且无需向解码端传输缩放矢量,能够实现编、解码端的自同步,不会增加边信息的码流开销.此外,该自适应缩放系数计算方法还可与菱形搜索以外的其他快速块匹配运动估计相结合,提高其运动补偿质量.

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

来源：评论

学校读者我要写书评

暂无评论

融合特征选择的Android恶意逃避攻击研究

引用

微电子学与计算机 2021年第3期38卷 89-94页

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

机器学习系统以其强大的自适应性、自学习能力,越来越多的应用到Android恶意软件检测领域,取得了显著的检测效果.然而,机器学习算法和样本本身还面临着诸多安全威胁,一些经过精心策划的攻击,希望颠覆这些算法并允许恶意行为对抗检测.首... 详细信息

机器学习系统以其强大的自适应性、自学习能力,越来越多的应用到Android恶意软件检测领域,取得了显著的检测效果.然而,机器学习算法和样本本身还面临着诸多安全威胁,一些经过精心策划的攻击,希望颠覆这些算法并允许恶意行为对抗检测.首先以Drebin系统为例介绍了基于机器学习的Android恶意软件检测方法的原理,然后在攻击目标、攻击策略的基础了提出了针对机器学习分类器的逃避攻击模型.在综合考虑特征权重、可修改性、修改成本的基础上,提出了一种恶意对抗样本生成方法.实验结果表明,只需要修改很少量的特征,就能够逃避线性SVM分类器的检测,最后用一个具体的恶意样本逃避实例验证了提出方法的有效性.

关键词：机器学习支持向量机安卓恶意软件逃避攻击特征重要性

来源：评论

学校读者我要写书评

暂无评论

一种基于卷积神经网络的砂岩显微图像特征表示方法

引用

软件学报 2020年第11期31卷 3621-3639页

作者：李娜顾庆姜枫郝慧珍于华倪超计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京理工大学泰州科技学院移动互联网学院江苏泰州225300 南京工程学院通信工程学院江苏南京211167

砂岩显微图像分类是地质学研究中一项基本工作,在油气储集层评估等方面有重要意义.在实现自动分类时,由于砂岩显微图像具有复杂多变的显微结构,人工定义特征对砂岩显微图像的表示能力有限.此外,由于样本采集和标注成本高昂,带标记的砂... 详细信息

砂岩显微图像分类是地质学研究中一项基本工作,在油气储集层评估等方面有重要意义.在实现自动分类时,由于砂岩显微图像具有复杂多变的显微结构,人工定义特征对砂岩显微图像的表示能力有限.此外,由于样本采集和标注成本高昂,带标记的砂岩显微图像很少.提出一种面向小规模数据集的基于卷积神经网络的特征表示方法FeRNet,以便有效地捕获砂岩显微图像的语义信息,提高对砂岩显微图像的特征表示能力.FeRNet网络结构简单,可降低网络对带标记图像数据量的要求,防止参数过拟合.针对带标记砂岩显微图像数量不足的问题,提出了图像扩增预处理方法及基于卷积自编码网络的权重初始化策略,降低了因数据不足造成的过拟合风险.基于采自西藏地区的砂岩显微图像数据集设计并进行实验,实验结果表明,在带标记砂岩显微图像数据不足的情况下,图像扩增和卷积自编码网络可以有效地改善FeRNet网络的训练效果,通过FeRNet网络提取的特征对砂岩显微图像的表示能力优于人工定义特征.

关键词：特征表示砂岩显微图像卷积神经网络图像扩增卷积自编码

来源：评论

学校读者我要写书评

暂无评论

基于半可信服务器的位置隐私保护策略

引用

计算机工程与设计 2020年第9期41卷 2428-2434页

作者：陈林沈航白光伟牛晓磊南京工业大学计算机科学与技术学院江苏南京211816 南京大学计算机软件新技术国家重点实验室江苏南京210093

为解决用户在使用第三方服务器发送请求时,信息被服务器利用,引发隐私泄露的问题,提出基于半可信服务器的隐私保护方法,避免用户信息直接泄露和被推测出来。分析设计随机函数扰动算法,用户在发送请求前,随机选择混淆函数对真实位置进行... 详细信息

为解决用户在使用第三方服务器发送请求时,信息被服务器利用,引发隐私泄露的问题,提出基于半可信服务器的隐私保护方法,避免用户信息直接泄露和被推测出来。分析设计随机函数扰动算法,用户在发送请求前,随机选择混淆函数对真实位置进行扰动,使半可信服务器无法通过传统统计方法推断出用户真实位置。针对LBS中连续查询,在半可信服务器上融入基于时间混淆的k匿名机制。理论分析和实验结果验证了该方法的有效性。

关键词：隐私保护半可信服务器随机函数扰动时间混淆 k匿名

来源：评论

学校读者我要写书评

暂无评论

噪声稳健性的卡方生成对抗网络

引用

通信学报 2020年第3期41卷 33-44页

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

针对不同分布噪声下生成对抗网络生成样本质量差异明显的问题,提出了一种噪声稳健性的卡方生成对抗网络。所提网络结合了卡方散度量化敏感性和稀疏不变性的优势,引入卡方散度计算生成样本分布和真实样本分布的距离,减小不同噪声对生成... 详细信息

针对不同分布噪声下生成对抗网络生成样本质量差异明显的问题,提出了一种噪声稳健性的卡方生成对抗网络。所提网络结合了卡方散度量化敏感性和稀疏不变性的优势,引入卡方散度计算生成样本分布和真实样本分布的距离,减小不同噪声对生成样本的影响且降低对真实样本的质量要求;搭建了网络架构,构建全局优化目标函数,促进网络不断优化并增强博弈的有效性。实验结果表明,所提网络在不同噪声下的生成样本质量和稳健性优于目前几种主流网络,且图像质量差异较小。卡方散度的引入不仅提高了生成样本质量,而且提升了网络在不同噪声下的稳健性。

关键词：生成对抗网络卡方散度噪声分布图像质量

来源：评论

学校读者我要写书评

暂无评论

面向数字印花图像的重复模式发现方法

引用

计算机应用与软件 2020年第12期37卷 32-36,82页

作者：王爽袁苇航江苏经贸职业技术学院江苏南京211168 南京大学计算机软件新技术国家重点实验室江苏南京210046

工业印染中的印花图样,个性化创作要求高,印染企业设计成本负担重。为了更加智能化辅助印花图样生成,降低印花企业设计成本,提出一种针对多类别多尺度问题的对象重复模式发现方法。定义印花图样的重复模式基本表示;运用对象“内容一致... 详细信息

工业印染中的印花图样,个性化创作要求高,印染企业设计成本负担重。为了更加智能化辅助印花图样生成,降低印花企业设计成本,提出一种针对多类别多尺度问题的对象重复模式发现方法。定义印花图样的重复模式基本表示;运用对象“内容一致性”与“空间结构一致性”发现印花图像中的重复模式;经过多次迭代计算得到印花图像中的重复对象,从而生成印花图样。实验表明,该方法解决了印花图像中重复对象之间存在的类别和尺度问题,并能够准确地发现印花图像中重复模式实例。

关键词：重复模式对象发现数字印花内容一致性空间结构一致性

来源：评论

学校读者我要写书评

暂无评论

面向完整价值交付的文档DevOps应用研究

引用

软件学报 2019年第10期30卷 3127-3147页

作者：金泽锋张佑文叶文华张贺邵栋中兴通讯江苏南京210012 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着 DevOps 在各大软件企业中的广泛实施,加速了系统软件类产品的版本交付和部署.中兴通讯在实施过程中,发现产品重要的组成部分产品文档,还采用传统研发方式,缺乏配套流程和工具,导致产品文档交付的节奏无法与软件版本匹配,严重影响... 详细信息

随着 DevOps 在各大软件企业中的广泛实施,加速了系统软件类产品的版本交付和部署.中兴通讯在实施过程中,发现产品重要的组成部分产品文档,还采用传统研发方式,缺乏配套流程和工具,导致产品文档交付的节奏无法与软件版本匹配,严重影响了产品完整交付的及时性.文档 DevOps 是一种针对产品文档持续交付的模式.通过分析开源和 DITA 的文档交付解决方案,同时结合系统软件的研发特点,总结出一套适合系统软件的文档交付综合解决方案,它借助 DevOps 理念,基于业界的 DevOps 工具链,构建了“文档 DevOps 平台”(以下简称 iDoc 平台),实现面向用户各类文档交付的解决方案,其典型特征有:与软件迭代流程融合,信息单元同源引用,多格式内容源的管理,持续集成的质量守护.在实际企业中通过文档 DevOps 实现了产品文档与软件版本的同步交付,极大地促进了文档的准确性、完整性和交付效率的提升.iDoc 平台已在 50 多个软件产品中得到成功应用.文档 DevOps 解决的问题具有普遍性,有助于在更大范围内帮助其他系统软件实现敏捷价值交付,并且,文档 DevOps还是对 DevOps的一个补充,扩展了业界的 DevOps 的适用范围:交付对象涵盖了产品文档,流程延伸到市场规划,协同人员覆盖面更广.

关键词：敏捷 DevOps 持续集成持续交付文档文档 DevOps 价值交付

来源：评论

学校读者我要写书评

暂无评论

基于布谷鸟优化的三维点云配准算法

引用

计算机应用与软件 2020年第12期37卷 216-223,272页

作者：马卫南京大学计算机软件新技术国家重点实验室江苏南京210093 南京旅游职业学院酒店管理学院江苏南京211100

针对ICP算法在点云配准时存在对初始位置敏感、易陷入局部最优的缺陷,提出一种基于布谷鸟优化算法的点云配准方法。对输入点云的均匀采样,并基于领域半径约束的固有形状特征点(Intrinsic Shape Signature,ISS)提取进一步简化点云。通过... 详细信息

针对ICP算法在点云配准时存在对初始位置敏感、易陷入局部最优的缺陷,提出一种基于布谷鸟优化算法的点云配准方法。对输入点云的均匀采样,并基于领域半径约束的固有形状特征点(Intrinsic Shape Signature,ISS)提取进一步简化点云。通过布谷鸟算法莱维飞行全局搜索更新策略完成对点云较好的初始配准,得到空间变换矩阵参数。利用k-D树(k-Dimension tree)近邻搜索方法加快对应点的搜索速度,以提高点云ICP精细配准的效率。通过对不同初始位置的点云库模型进行配准实验,结果表明该算法能有效克服ICP算法的缺陷,其全局搜索性能与寻优精度更具优势,抗噪性好,配准精度高,鲁棒性强。

关键词：布谷鸟算法全局优化点云配准粗精配准 ICP算法

来源：评论

学校读者我要写书评

暂无评论

一种基于程序功能标签切片的制导符号执行分析方法

引用

软件学报 2019年第11期30卷 3259-3280页

作者：甘水滔王林章谢向辉秦晓军周林陈左宁 (数学工程与先进计算国家重点实验室江苏无锡214083 (计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代... 详细信息

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.

关键词：制导符号执行分支覆盖率指令覆盖率搜索策略程序切片

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：