您的位置： 专家智库 > >

黄滟鸿

作品数：129 被引量：5H指数：2
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 125篇专利
  • 3篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 27篇代码
  • 18篇形式化
  • 16篇目标代码
  • 11篇形式化验证
  • 11篇数学
  • 10篇自适
  • 10篇自适应
  • 10篇工控
  • 10篇反汇编
  • 9篇硬件
  • 9篇网络
  • 8篇语法树
  • 8篇软件复杂度
  • 8篇时态
  • 8篇流图
  • 8篇控制流
  • 8篇控制流图
  • 8篇复杂度
  • 8篇L模型
  • 7篇嵌入式

机构

  • 129篇华东师范大学
  • 38篇上海丰蕾信息...
  • 1篇深圳大学

作者

  • 129篇黄滟鸿
  • 87篇史建琦
  • 42篇李昂
  • 38篇何积丰
  • 21篇郭欣
  • 17篇熊家文
  • 12篇杨洋
  • 8篇李新
  • 8篇李钦
  • 4篇曹桂涛
  • 4篇石奇
  • 4篇金博
  • 4篇李炬
  • 4篇施健
  • 3篇王振辉
  • 3篇姜宁康
  • 2篇张鹏
  • 2篇王江涛
  • 2篇吴双
  • 2篇吴苑斌

传媒

  • 3篇软件学报

年份

  • 1篇2024
  • 11篇2022
  • 18篇2021
  • 20篇2020
  • 26篇2019
  • 12篇2018
  • 26篇2017
  • 9篇2016
  • 2篇2015
  • 3篇2014
  • 1篇2011
共 129 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于神经风格迁移的测试用例生成方法
本发明公开了一种基于神经风格迁移的网络协议测试用例生成方法，该方法包括：原始数据收集步骤、编码步骤、神经风格迁移步骤和逆向编码步骤。其中，原始数据收集步骤收集工控网络系统中的流量数据，并将收集到的数据用聚类算法进行分类；...
史建琦李志辉黄滟鸿蔡方达王祥丰金博
文献传递
源代码静态分析方法
本申请公开了一种源代码静态分析方法，包括：对源代码进行词法分析和语法分析，生成抽象语法树；对所述抽象语法树进行语义分析，得到有向控制流图和数据流图；对所述有向控制流图进行遍历，获取切片数据；根据所述数据流图和所述切片数据...
黄滟鸿郭旺史建琦蔡方达郭欣石奇
文献传递
一种磁吸附式的单次反射平面激光生成器
本实用新型提出了一种磁吸附式的单次反射平面激光生成器，包括：激光发射装置；与激光发射装置连接的固定组件；套设在固定组件上的紧固装置；设置于紧固装置上方的校准装置；设置在校准装置中的激光反射装置；其中，紧固装置上设置有第一...
史建琦姜宁康方辉星黄滟鸿
文献传递
一种软件复杂度计算系统
本发明公开了一种软件复杂度计算系统，包括：活动获取模块，用于获取软件中的构件包括的各个活动；路径信息获取模块，用于根据所述构件包括的各个活动，通过操作语义规则执行所述软件中的各个构件，得到所述软件的执行路径对应的路径信息...
赵涌鑫史建琦黄滟鸿李钦王泊涵
文献传递
一种软件自适应决策验证方法
本发明涉及一种软件自适应决策验证方法，所述方法包括如下步骤：层次化MAS模型经过自适应决策策略作用演变成多种异构的层次化多agent系统模型；将所述层次化多agent系统模型转换成统一的中间模型；在中间模型上进行分析、验...
史建琦胡志成黄滟鸿方徽星李昂李新何积丰
文献传递
一种基于代数演算的中间代码优化系统
本发明公开了一种基于代数演算的中间代码优化系统，所述系统包括高级语言转换单元、代数优化单元及目标代码生成单元。其中高级语言转换单元用于完成对输入代码到规范型中间代码的转换；代数优化单元用于完成对所述规范性中间代码的优化；...
黄滟鸿卜祥兴史建琦何积丰李昂方徽星
文献传递
一种基于运行时验证技术的嵌入式系统软件调试方法
本发明公开了一种基于运行时验证技术的嵌入式系统软件调试方法，所述系统包括：I/O仿真步骤、需求规范检查步骤、调试功能步骤、执行控制步骤。其中需求规范检查步骤包括规范解析步骤、分析步骤、验证步骤和决策步骤；I/O仿真步骤调...
黄滟鸿赵慧史建琦何积丰李昂方徽星
文献传递
一种软件复杂度计算方法
本发明公开了一种软件复杂度计算方法，包括：获取软件中的构件包括的各个活动；根据所述构件包括的各个活动，通过操作语义规则执行所述软件中的各个构件，得到所述软件的执行路径对应的路径信息；根据所述软件的执行路径对应的路径信息，...
赵涌鑫史建琦黄滟鸿李钦王泊涵
文献传递
一种基于模型转换的状态机模型时序性质验证方法
本申请公开了一种基于模型转换的状态机模型时序性质验证方法，包括：模型解析步骤，解析SCADE文本模型，得到语法树实例；符号表容器步骤，装载语法树实例，得到符号表实例；模型转换步骤，根据模型转换规则将符号表实例转换为NuS...
黄滟鸿史建琦张继郭欣施健
文献传递
一种用于播放视频的边缘融合处理与控制系统及方法
本发明公开了一种用于播放视频的边缘融合处理与控制系统，包括：预融合配置管理器和融合配置播放终端；其中，至少两台融合配置播放终端分别与预融合配置管理器连接；预融合配置管理器用于控制融合配置播放终端调整融合配置参数，从融合配...
史建琦黄滟鸿李钦姜宁康
文献传递
全选 清除 导出
共13页<12345678910>
聚类工具0