一种基于人机协同的代码漏洞智能检测方法

    公开(公告)号:CN113742205B

    公开(公告)日:2024-04-23

    申请号:CN202010487203.3

    申请日:2020-05-27

    Applicant: 南京大学

    Abstract: 一种基于人机协同的代码漏洞智能检测方法,其特征是结合已有的代码漏洞检测工具集和收集到的漏洞数据集进行正报和误报漏洞标记以及控制流图和抽象语法树的特征提取,构建一个代码漏洞误报检测模型;然后根据代码漏洞程序切片后的结果生成漏洞评审任务;随后利用采样策略选取部分漏洞评审任务随机分配给众包安全评审专家;最后,结合并分析代码漏洞误报检测模型结果与众包安全评审专家结果,并将其持续反馈到代码漏洞检测模型中,进而有效地识别代码漏洞。

    一种基于噪音数据的机器学习模型鲁棒性评估方法

    公开(公告)号:CN110717602B

    公开(公告)日:2023-08-29

    申请号:CN201910952057.4

    申请日:2019-09-29

    Applicant: 南京大学

    Abstract: 本发明提供的是一种基于噪音数据的机器学习模型鲁棒性评估方法,包括原始数据集处理、噪音数据获取、模型训练、模型预测、准确率下降比计算和模型鲁棒性评估。原始数据集处理包括收集百分百标签正确的原始数据集,并采用10次10‑折交叉验证划分原始训练集和原始测试集。噪音数据获取包括在原始训练集的基础上,采用分层抽样方法抽取t′=|D|·α个数据,并将其标签替换为错误标签,其中α为噪音数据率。模型训练包括基于常见分类算法,并分别输入原始训练集和混有噪音数据的训练集分别构建原始模型和新模型。模型预测包括基于原始测试集,对这原始模型和新模型分别进行准确度评估。准确率下降比计算包括计算新模型较原始模型而言准确率下降的比率。模型鲁棒性评估包括横纵向比较准确率下降的比率的大小,衡量模型鲁棒性强弱,实现了判断模型健壮性的标准。

    一种基于蜕变方法的雷达波原始数据增强方法

    公开(公告)号:CN114280592A

    公开(公告)日:2022-04-05

    申请号:CN202111471993.7

    申请日:2021-11-30

    Applicant: 南京大学

    Abstract: 基于蜕变方法的雷达波原始数据增强方法,包括数据蜕变模块和数据成像模块。数据蜕变模块包含了对雷达信号发射与接收的方法进行分析,雷达波原始数据存储规则,已经提出的一组有效雷达波数据增强蜕变方法,最后得到多组被标记的雷达波数据。数据成像模块以SAR雷达波原始数据作为实验对象,负责将被标记的SAR雷达波增强数据进行成像,并将合成的图像与其标记的雷达波数据一一对应。

    一种基于强化学习的深度学习算子测试数据生成方法

    公开(公告)号:CN114265765A

    公开(公告)日:2022-04-01

    申请号:CN202111471856.3

    申请日:2021-11-30

    Applicant: 南京大学

    Abstract: 一种基于强化学习的深度学习算子测试数据生成方法,其特征是基于提前定义的基本变异方法组构造一个基于变异方法及跳转的QTable,进行带关联的强化学习训练,并最终在复杂场景下采用变异方法链生成深度学习算子测试数据。数据变异方法组合可灵活进行增、删、改,本方法提供的基本变异方法包括:字节、多项式和高斯变异。其中,字节变异是对测试数据的浮点数二进制编码进行字节操作的变异,包括二进制编码各字节的增加、删除、取反、移位、随机重置;高斯变异指利用以测试数据为均值的高斯分布采样得到新的测试数据;多项式变异指对测试数据到边界的距离进行不同比例的放缩。上述变异基于不同的基本思想,兼顾有效性与多样性。

    一种基于蜕变算法的三维激光雷达点云数据扩增方法

    公开(公告)号:CN114265074A

    公开(公告)日:2022-04-01

    申请号:CN202111471923.1

    申请日:2021-11-30

    Applicant: 南京大学

    Abstract: 一种基于蜕变算法的三维激光雷达点云数据扩增方法,将三维激光雷达场景点云数据扩增过程处理为通过蜕变算法程序向三维激光雷达场景点云数据中新增其他三维激光雷达物体点云或旋转场景点云数据中带标签的物体点云生成与三维真实激光雷达场景点云数据高度近似的用例的过程。在新增物体方面,程序对真实三维环境采集的真实激光雷达场景点云数据和物体点云数据库中的物体数据进行融合,生成扩增三维激光雷达场景点云数据。在旋转物体方面,程序根据真实激光雷达场景点云数据原始标签对场景中具有标签的物体点云进行提取并旋转,从而在短时间内自动生成大量高度仿真的激光雷达点云数据用例。

Patent Agency Ranking