您的位置： 专家智库 > >

吉顺慧

作品数：46 被引量：0H指数：0
供职机构：河海大学更多>>
发文基金：中央高校基本科研业务费专项资金江苏省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 44篇专利
  • 2篇期刊文章

领域

  • 23篇自动化与计算...
  • 3篇文化科学

主题

  • 14篇控制流
  • 12篇流图
  • 12篇控制流图
  • 10篇网络
  • 9篇神经网
  • 9篇神经网络
  • 9篇数据流
  • 9篇图像
  • 9篇测试用例
  • 9篇测试用例生成
  • 6篇数据流分析
  • 6篇测试用例生成...
  • 5篇数据流测试
  • 5篇文本
  • 4篇语言
  • 4篇语音
  • 4篇损失函数
  • 4篇准确率
  • 4篇测试用例集
  • 3篇迭代

机构

  • 46篇河海大学
  • 2篇南京晓庄学院
  • 1篇特力惠信息科...

作者

  • 46篇吉顺慧
  • 43篇张鹏程
  • 8篇马魏
  • 4篇王继民
  • 4篇肖锋
  • 2篇刘凡
  • 1篇戚荣志
  • 1篇王奔
  • 1篇胡鹤轩

传媒

  • 2篇软件学报

年份

  • 11篇2023
  • 9篇2022
  • 7篇2021
  • 7篇2020
  • 9篇2019
  • 3篇2017
共 46 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于数据流约简的智能合约测试用例生成方法及系统
本发明公开了一种基于数据流约简的智能合约测试用例生成方法及系统。本发明首先对Solidity智能合约源程序结构进行分析，构建控制流图；然后通过遍历构建的控制流图进行数据流分析，提取出变量信息、require语句以及定义使...
吉顺慧朱少卿张鹏程
融合三重注意力机制的遥感图像语义变化检测方法与系统
本发明公开了一种融合三重注意力机制的遥感图像语义变化检测方法与系统，包括：将研究区域的遥感图像数据划分为图像块，预处理后生成训练、验证、测试数据集；构建遥感图像语义变化检测模型，包括引入三重注意力机制模块的图像变化检测网...
吉顺慧倪璐珊朱颖彭清新郭仁玉齐晶辉张鹏程
一种基于扩展控制流图的程序转换方法
本发明公开了一种基于扩展控制流图的程序转换方法，包括如下步骤：(1)构建BPEL组合流程的XCFG模型；(2)构建成员服务的XCFG模型；(3)基于组合流程和成员服务的XCFG模型创建Promela程序。本发明的有益效果...
吉顺慧马魏张鹏程
文献传递
基于预训练模型的以太坊智能合约漏洞检测方法及系统
本发明提出了一种基于预训练模型的以太坊智能合约漏洞检测方法及系统。本发明为了获取更有效的漏洞语义或语法信息，意在基于两种不同的代码表征形式，其一，通过分析智能合约程序的数据流和控制流等信息，采用程序切片技术，自动化地提取...
张鹏程王奔楚涵婷吉顺慧
一种面向数据流的测试用例生成方法
本发明公开了一种面向数据流的测试用例生成方法，包括如下步骤：(1)对待测程序进行数据流分析，获取程序中所有的定义‑使用对；(2)设计并训练BP神经网络，以模拟适应度函数；(3)利用遗传算法生成覆盖所有定义‑使用对的测试用...
吉顺慧陈琴张鹏程马魏
文献传递
针对深度神经网络的条件引导式对抗生成测试方法与系统
本发明提出了一种针对深度神经网络的条件引导式对抗生成测试方法与系统，通过收集需要的数据集和相应的标签，对其进行分组处理后得到需求的批处理池数据集，并采用启发式算法选出种子集进行条件引导的对抗生成训练集。测试生成过程的目标...
张鹏程戴启印曹文南吉顺慧
文献传递
一种基于BPEL组合服务的数据流分析方法
本发明公开了一种基于BPEL组合服务的数据流分析方法，包括如下步骤：(1)构建BPEL组合服务的扩展控制流图XCFG；(2)计算XCFG结点的可到达定义；(3)计算变量的定义‑使用对。本发明的有益效果为：基于扩展控制流图...
吉顺慧马魏张鹏程
文献传递
一种面向solidity语言的测试用例生成方法
本发明公开了一种面向solidity语言的测试用例生成方法，针对应用solidity语言实现的智能合约程序，根据程序得到对应的控制流图(CFG)，控制流图中涵盖了该智能合约程序中函数方法间的调用信息；根据程序CFG得到程...
张鹏程于佳男吉顺慧肖锋
文献传递
基于多模式图像的对抗样本生成方法及系统
本发明提出了一种基于多模式图像的对抗样本生成方法及系统。为了让生成的对抗样本在微小扰动的限制下更有效地使DNN产生误判，本发明首先利用图像的多种模式来判定关键区域，限定扰动位置，得到图像掩码。然后进行多轮迭代，在扰动像素...
吉顺慧高若凡李新宇张鹏程
基于萤火虫算法与梯度评估的对抗音频生成方法及系统
本发明提出了一种基于萤火虫算法与梯度评估的对抗音频生成方法及系统，本发明首先设置好期望生成的目标文本，然后将原始的音频文件转换成矩阵的形式，将其进行复制，生成一个拥有多个个体的种群；接着在种群中加入噪声，使个体之间产生差...
张鹏程袁天昊吉顺慧
文献传递
全选 清除 导出
共5页<12345>
聚类工具0