-
Patent Agency Ranking
公开(公告)号：CN113743572A
公开(公告)日：2021-12-03
申请号：CN202010487164.7
申请日：2020-05-27
Applicant: 南京大学
Abstract: 一种基于Fuzz的人工神经网络测试方法，将待测神经网络表示为一个Tensor流图，Tensor图的相关参数在本地训练待测模型时获得。基于在训练时获得的Tensor图，引入传统Fuzz的思想，在Tensor图的相关部分做一些模糊扰动，并用覆盖值计算函数计算出扰动后的覆盖值。在比较扰动覆盖值与扰动前语料集中的各元素的覆盖值，评估新生成的语料是否可以整合到语料集中，并作为下次扰动的待选集合。如果得到的模糊结果已经满足目标函数，则中断模糊进程，返回对应扰动结果，并以图片的方式呈现出来。
-
公开(公告)号：CN115600636A
公开(公告)日：2023-01-13
申请号：CN202110781497.5
申请日：2021-07-09
Applicant: 南京大学(CN)
IPC: G06N3/04
Abstract: 一种基于冻结神经元的深度神经网络模型变异方法，包括模型解析模块、输入预处理模块和输出计算模块。模型解析模块通过解析深度神经网络模型的结构，将模型结构抽象为层次化的信息，以规定格式保存。当用户指定需要冻结的神经元时，会根据模型结构信息生成对应的模型变异配置。输入预处理模块根据模型解析模块提供的模型变异配置，在数据输入下一层之前将指定神经元冻结。输出计算模块负责计算变异后的深度神经网络模型进行预测时，层与层之间的输出与最终预测结果，并整合为可复用的层次化信息。
-
公开(公告)号：CN113742204A
公开(公告)日：2021-12-03
申请号：CN202010487165.1
申请日：2020-05-27
Applicant: 南京大学
Abstract: 一种基于模糊测试的深度学习算子测试工具，通过训练集分析、随机数据补充、中间数据获取等多种方式得到一批测试数据作为种子，转化为可用测试用例并初始化模糊测试的语料集。然后根据具体的待测算子获取可用的变异方法并制定用例扩增策略。接着按照扩增策略，抽取语料集中的元素，生成大批新测试用例，并作为待测算子接口的输入。最后采用差分测试的方法评估用例的对应输出结果，分析是否发现待测算子的运算过程或运算结果存在异常。
-
公开(公告)号：CN113742204B
公开(公告)日：2023-12-12
申请号：CN202010487165.1
申请日：2020-05-27
Applicant: 南京大学
IPC: G06F11/36 , G06F18/214 , G06N3/08 , G06N3/0464
Abstract: 一种基于模糊测试的深度学习算子测试工具，通过训练集分析、随机数据补充、中间数据获取等多种方式得到一批测试数据作为种子，转化为可用测试用例并初始化模糊测试的语料集。然后根据具体的待测算子获取可用的变异方法并制定用例扩增策略。接着按照扩增策略，抽取语料集中的元素，生成大批新测试用例，并作为待测算子接口的输入。最后采用差分测试的方法评(56)对比文件陈锦富 等.基于变异技术的第三方构件安全性测试系统.江苏大学学报(自然科学版).2017,第39卷(第01期),第71-77页.
-
公开(公告)号：CN115599909A
公开(公告)日：2023-01-13
申请号：CN202110781498.X
申请日：2021-07-09
Applicant: 南京大学(CN)
IPC: G06F16/35 , G06F16/36 , G06F16/338 , G06F40/289 , G06F40/211
Abstract: 一种基于文本挖掘的邮件分析方法，包括邮件解析与预处理模块、邮件话题发现模块、邮件事件抽取模块和分析结果展示模块。邮件解析与预处理模块包括获得用户的邮件进行格式解析和文本预处理。邮件话题发现模块利用聚类算法将描述同一个话题的邮件聚为一类，从话题中提取关键短语来描述该话题。邮件事件抽取模块包括过滤掉不含事件的邮件，从含有事件的邮件中提取事件涉及的事件、实体、三元关系、关键词和高频词作为事件元素，分析事件元素之间的关系以结构化关系图的形式形成事件图谱。分析结果展示模块将提取的话题和事件信息以可视化页面的形式展现给用户，用户可以在页面上直接获取邮件的分析结果。
-
-
-
-
Search Results
5
records
(took 0.012 seconds)
