您的位置： 专家智库 > >

史建琦

作品数：147 被引量：1H指数：1
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术文化科学交通运输工程更多>>

合作作者

文献类型

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

领域

  • 40篇自动化与计算...
  • 2篇交通运输工程
  • 2篇文化科学

主题

  • 31篇代码
  • 22篇形式化
  • 17篇形式化验证
  • 17篇目标代码
  • 16篇网络
  • 13篇流图
  • 13篇控制流
  • 13篇控制流图
  • 12篇工控
  • 12篇反汇编
  • 11篇中间语言
  • 11篇数学
  • 10篇形式化描述
  • 10篇语言程序
  • 10篇自适
  • 10篇自适应
  • 8篇指令表
  • 8篇软件复杂度
  • 8篇汇编代码
  • 8篇功能块

机构

  • 147篇华东师范大学
  • 36篇上海丰蕾信息...
  • 6篇上海华元创信...
  • 1篇深圳大学
  • 1篇上海华泉信息...

作者

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

传媒

  • 3篇软件学报

年份

  • 11篇2022
  • 17篇2021
  • 25篇2020
  • 34篇2019
  • 12篇2018
  • 30篇2017
  • 10篇2016
  • 1篇2015
  • 2篇2014
  • 3篇2012
  • 2篇2011
共 147 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于生成对抗网络的工控协议漏洞挖掘方法
本发明涉及工业控制系统、深度对抗学习、模糊测试领域，特别涉及一种基于生成对抗网络的工控协议漏洞挖掘方法。包括：深度对抗学习，生成模糊测试数据；攻击测试，把深度对抗学习生成的模糊测试数据注入到系统中，并记录系统的异常反馈，...
史建琦黄滟鸿战云龙孙文圣郭欣李志辉
文献传递
具有传感控制功能的工业自动化系统的互联网接入装置
本发明公开了一种具有传感控制功能的工业自动化系统的互联网接入装置，其特征在于，包括网络连接模块、总线连接接口和设备控制模块：网络连接模块与设备控制模块通信，其用于通过网络与远程系统通信；总线连接接口提供多种用于与PLC设...
史建琦黄滟鸿何积丰王江涛
文献传递
一种CSV格式文件的数据提取方法及系统
本发明公开了一种CSV格式文件的数据提取方法及系统，所述方法包括如下步骤：按顺序遍历所述CSV格式文件的每一个字符；只有当所述字符为文件结束符并且引号标识关闭时，才认定所述CSV格式文件提取成功，如果所述字符为文件结束符...
黄滟鸿熊家文史建琦何积丰李昂
文献传递
一种入侵检测系统
本申请公开了一种入侵检测系统，包括：预处理模块，用于对从防护系统中获取的第一待检测数据集进行字符级预处理，得到训练输入数据；模型训练模块，用于将训练输入数据输入至基于时间卷积神经网络的待训练检测模型，计算损失函数，训练时...
石奇史建琦黄滟鸿孙文圣付能
文献传递
一种接入多类型协同件的服务总线平台
本发明公开了一种接入多类型协同件的服务总线平台，涉及计算机技术领域。所述平台包括：多类型协同件，用于分别将各自的消息发送给对应的各总线适配器；多类型总线适配器，与多类型协同件对应，用于将对应的协同件发送来的消息转换为服务...
史建琦皮兴兴黄滟鸿李昂王泊涵
文献传递
一种面向PLC程序的自动化测试用例生成方法
本发明公开了一种面向PLC程序的自动化测试用例生成方法，包括：将PLC源程序转换为等价的C语言程序；根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；将建模后的C语言程序作为输入，利用C语言的符号执行工具生成...
史建琦黄滟鸿郭欣石奇郝丽佘庆
文献传递
结合自注意力机制的模糊测试漏洞挖掘方法
本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘方法，包括数据捕获步骤，数据预处理步骤，模型搭建步骤，模型训练步骤，以及模糊测试数据生成步骤，通过上述方法对大量通信数据模式的挖掘，可以获得一个特定的生成模型来生成类似的...
郭欣杨洋史建琦黄滟鸿吕万友
一种软件体系结构建模与仿真方法
本发明公开一种软件体系结构建模和仿真方法，包括：将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MA...
黄滟鸿施健史建琦方徽星李昂李新何积丰
文献传递
一种空间飞行器的重构飞行控制方法及系统
本发明公开了一种空间飞行器的重构飞行控制方法及系统，该方法包括(1)采集软硬件信息；(2)将所采集的信息数学符号化表示；(3)设定环境场景数据；(4)进行规范化约束；(5)进行模型检测；(6)进行自适应和重构；(7)进行...
黄滟鸿李炬史建琦李昂何积丰方徽星
面向目标代码的实时操作系统形式化验证方法研究
随着信息科学技术的飞速发展,基于实时操作系统构建的关键应用领域系统的正确性与安全性开始受到人们的广泛关注。由此,实时操作系统的正确性也愈发显得重要。为了确保实时操作系统的正确性与安全性,本文提出了面向目标代码的实时操作系...
史建琦
关键词：形式化验证实时操作系统目标代码中间语言
文献传递
全选 清除 导出
共15页<12345678910>
聚类工具0