肖鹏
- 作品数:27 被引量:0H指数:0
- 供职机构:南昌航空大学更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 一种程序切片漏洞检测方法、系统、计算机及存储介质
- 本发明提供一种程序切片漏洞检测方法、系统、计算机及存储介质,程序切片漏洞检测方法,包括提取程序切片的程序依赖图,以将程序切片的代码文本转化为由节点和图边构成的图结构;将节点及图边进行数据化描述,以将图结构转化为图数据;将...
- 肖鹏张旭升聂嘉浩郑巍樊鑫
- 机载嵌入式软件质量检测方法、装置、介质及电子设备
- 一种机载嵌入式软件质量检测方法、装置、介质及电子设备,该方法包括:对神经网络进行训练;根据神经网络各个输出节点的输出结果提取隐节点与输出节点之间的规则,得到第一规则集合;根据第一规则集合中各个隐节点的输出结果提取输入节点...
- 郑巍朱嘉豪樊鑫杨丰玉肖鹏
- 文献传递
- 一种形式化测试模型建模方法、系统、计算机及存储介质
- 本发明提供一种形式化测试模型建模方法、系统、计算机及存储介质,形式化测试模型建模方法,包括:定义原子模型的结构、类型、端口、属性及行为,用于表述测试中最小测试步骤实体;定义功能模型的结构与耦合规则,以将原子模型组合为具备...
- 肖鹏张旭升吴婷樊鑫郑巍
- 面向模型检测的LTL语句自动生成方法
- 2023年
- 为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中的状态进行归类,将模型中的状态分为数据属性类和调用操作类,利用配对的线性时态逻辑格式生成线性时态逻辑,用于软件模型一致性验证。实验结果表明,该方法与ST模型相比可以提高模型检测的效率。
- 段喜龙段喜龙郑巍郑巍樊鑫樊鑫
- 关键词:自然语言处理线性时态逻辑UML模型
- 一种基于图卷积网络的软件缺陷预测方法
- 本发明提供一种基于图卷积网络的软件缺陷预测方法,该方法通过采集含有多个软件版本的项目集合,针对单行代码无法实现语义可区分问题,提出使用程序依赖图中的流信息对原始语句进行扩展,使代码行包含的语义更加丰富,该方法将低维空间向...
- 钟发杨丰玉周文清曾广东肖鹏
- 联合仿真集成测试验证方法、装置、可读存储介质及设备
- 本发明公开了一种联合仿真集成测试验证方法、装置、可读存储介质及设备,针对航电系统正向设计过程中,存在全系统集成环境中Rhapsody功能模型进行联合仿真测试困难的问题,设计出的一套以事件为驱动的多模型联合仿真的集成测试验...
- 肖鹏聂嘉浩张旭升吴婷郑巍
- 一种颗粒增强铝基复合材料界面制备及其强度测试方法
- 本发明公开了一种颗粒增强铝基复合材料界面制备及其强度测试方法,包括以下步骤,将与增强颗粒同成分的圆棒放入石墨坩埚底部,在电阻炉中以700~750℃预热30~60min;然后将熔化后的铝液浇入到经上述热处理后的坩埚中,在7...
- 胡启耀郭文波肖鹏
- 文献传递
- 基于加权有向耦合网络的软件结构风险识别方法与装置
- 本发明提供一种基于加权有向耦合网络的软件结构风险识别方法与装置,该方法包括:根据软件结构的源代码中的全局数据结构和软件函数进行节点建模;根据软件函数的复杂度量化指标计算出节点复杂度权值;利用网络节点之间的有向耦合关系边计...
- 肖鹏聂嘉浩吴博吴婷
- 基于FastICA的SAR抗噪声干扰研究
- 2013年
- 在合成孔径雷达信号优化问题的研究中,信号很容易受到噪声的干扰,从而影响其成像结果。为了在信号处理端研究出抗噪声干扰的有效方法,分别将各种噪声干扰信号,如射频噪声干扰信号、噪声调幅干扰信号、噪声调频干扰信号等,与原始SAR回波信号的混合信号作为观测信号,模拟受到干扰之后的SAR回波信号,采用FastICA算法对观测信号进行分离,从而得到原始SAR回波信号,达到抗噪声调幅干扰的目的。通过对条带式SAR点目标成像进行仿真,结果表明,FastICA算法能有效地消除噪声干扰。
- 肖鹏李淑华余达祥
- 关键词:合成孔径雷达独立分量分析噪声干扰
- 一种基于图卷积网络的软件缺陷预测方法
- 本发明提供一种基于图卷积网络的软件缺陷预测方法,该方法通过采集含有多个软件版本的项目集合,针对单行代码无法实现语义可区分问题,提出使用程序依赖图中的流信息对原始语句进行扩展,使代码行包含的语义更加丰富,该方法将低维空间向...
- 钟发杨丰玉周文清曾广东肖鹏