您的位置： 专家智库 > >

郭欣

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

合作作者

文献类型

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

领域

  • 9篇自动化与计算...
  • 1篇文化科学

主题

  • 8篇形式化
  • 6篇形式化描述
  • 6篇形式化验证
  • 4篇数学
  • 4篇机载
  • 4篇机载软件
  • 4篇规约
  • 3篇代码
  • 3篇形式化验证方...
  • 3篇源代码
  • 3篇网络
  • 3篇目标代码
  • 3篇工控
  • 3篇工控系统
  • 2篇信号
  • 2篇形式化描述语...
  • 2篇异常性
  • 2篇预设
  • 2篇元组
  • 2篇入侵

机构

  • 22篇华东师范大学

作者

  • 22篇郭欣
  • 21篇黄滟鸿
  • 21篇史建琦
  • 8篇杨洋
  • 4篇曹桂涛
  • 4篇李昂
  • 3篇李钦
  • 2篇张鹏
  • 2篇石奇

传媒

  • 1篇软件学报

年份

  • 7篇2022
  • 6篇2021
  • 4篇2020
  • 4篇2016
  • 1篇2008
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种信号轨迹驱动的控制系统
本发明公开了一种信号轨迹驱动的控制系统，包括信号收集模块，信号处理模块以及控制模块。其中信号收集模块包括摄像装置、传感器装置、手动输入控制命令装置以及信号传输装置；信号处理模块包括预处理模块、集中处理模块；集中处理模块包...
史建琦郭欣黄滟鸿李昂方徽星
文献传递
一种智能驱动控制系统
本发明公开一种智能驱动控制系统，其特征在于，包括：信号采集模块，用于采集信号轨迹，并通过有线或无线方式传输与传输模块连接，发送采集的信号轨迹数据，其中信号轨迹指通过摄像装置和传感器装置获取的特定的对象在一个或多个信号接收...
史建琦郭欣黄滟鸿李昂方徽星
文献传递
一种面向计算平台的自动评估方法
本申请实施例中提供了一种面向计算平台的系统评估方法，通过根据计算机的非形式化描述语言转化得到符号逻辑的等价公式；然后，根据符号逻辑的等价公式构建得到霍尔三元组模型；最后，根据霍尔三元组模型进行自动路径测试，得到模型部分正...
史建琦肖思慧黄滟鸿郭欣杨洋
文献传递
针对非平衡数据的入侵检测系统
本发明公开了一种针对非平衡数据的入侵检测系统，包括获取模块，代码读取模块，分类模块，上采样模块，以及入侵检测模块，上述系统，在数据集构建中，通过对数据进行重采样，消除部分类别的不平衡，另外在入侵检测模型上进一步削减不平衡...
郭欣杨洋史建琦黄滟鸿佘庆李钦付能
文献传递
形式化验证系统
本发明公开了一种形式化验证系统，包括SEDS建模模块，用于依据电子数据表单规范文件建立SEDS模型；模型转换模块用于将SEDS模型转换为适合模型检查的形式化模型；性质规约模块用于对SEDS模型的功能逻辑的性质进行形式化描...
黄滟鸿杨秀丽史建琦曹桂涛郭欣
文献传递
基于时间敏感网络系统的抽象模型构建装置
本发明公开了一种基于时间敏感网络系统的抽象模型构建装置，包括：构建模块，用于构建时间敏感网络传输节点的数据模型、资源模型、组件模型；第一整合模块，用于对所述数据模型、资源模型、组件模型进行整合，得到时间敏感网络的单个传输...
郭欣史建琦黄滟鸿蔡方达张鹏
文献传递
一种面向计算平台的系统评估装置
本申请实施例中提供了一种面向计算平台的系统评估装置，包括：公式转换模块：用于根据计算机的非形式化描述语言转化得到符号逻辑的等价公式；霍尔三元组模型模块：用于根据所述符号逻辑的等价公式构建得到霍尔三元组模型；部分正确性验证...
黄滟鸿肖思慧史建琦郭欣杨洋
文献传递
形式化验证方法
本发明公开了一种形式化验证方法，包括SEDS建模步骤，用于依据电子数据表单规范文件建立SEDS模型；模型转换步骤用于将SEDS模型转换为适合模型检查的形式化模型；性质规约步骤用于对SEDS模型的功能逻辑的性质进行形式化描...
黄滟鸿杨秀丽史建琦曹桂涛郭欣
文献传递
结合自注意力机制的模糊测试漏洞挖掘方法
本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘方法，包括数据捕获步骤，数据预处理步骤，模型搭建步骤，模型训练步骤，以及模糊测试数据生成步骤，通过上述方法对大量通信数据模式的挖掘，可以获得一个特定的生成模型来生成类似的...
郭欣杨洋史建琦黄滟鸿吕万友
一种基于操作系统的安全机制验证装置
本发明公开了一种基于操作系统的安全机制验证装置，所述装置包括：第一规则获取模块，用于当接收到针对操作系统验证指令时，获取预设安全规则；结果输出模块，用于基于预设验证方式对所述操作系统进行安全机制验证，输出验证结果；验证通...
黄滟鸿许婧雯史建琦蔡方达石奇郭欣
文献传递
全选 清除 导出
共3页<123>
聚类工具0