您的位置： 专家智库 > >

陈志超

作品数：7 被引量：2H指数：1
供职机构：大连理工大学更多>>
相关领域：自动化与计算机技术天文地球电子电信更多>>

合作作者

文献类型

  • 5篇专利
  • 2篇学位论文

领域

  • 6篇自动化与计算...
  • 1篇天文地球
  • 1篇电子电信

主题

  • 4篇代码
  • 4篇网络
  • 4篇工控
  • 4篇工控网
  • 4篇工控网络
  • 2篇代码生成
  • 2篇语法检查
  • 2篇时态逻辑
  • 2篇属性表
  • 2篇通信
  • 2篇通信规范
  • 2篇通信流程
  • 2篇网络协议
  • 2篇模型构建
  • 2篇工业控制
  • 2篇反例
  • 1篇代码实现
  • 1篇代码转换
  • 1篇电路
  • 1篇电路设计

机构

  • 7篇大连理工大学

作者

  • 7篇陈志超
  • 5篇王洁
  • 5篇侯刚
  • 4篇李鹏飞

年份

  • 2篇2023
  • 3篇2022
  • 1篇2021
  • 1篇2013
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
面向工业控制网络协议的可信性建模与验证方法
本发明公开了面向工业控制网络协议的可信性建模与验证方法，包括：步骤1：获取工控网络协议的详细描述；步骤2：按照表格状态机的方法构建出协议的表格化模型；步骤3：检查所述表格化模型的基本错误与异常；步骤4：提取所述事件、协议...
王洁高昊宇李鹏飞吴鑫涛陈志超高骜侯刚孔维强
文献传递
波浪作用下海床动力响应离心模型试验
近年来，海上工程事故频发，为此人们对诱发事故原因进行了深入研究，目前发现，海风的循环荷载，海底地震，波浪的循环荷载，浮冰的撞击作用，盐类的腐蚀等因素均可诱发海洋工程失事。本文研究内容为波浪作用下海床的动力响应，波浪荷载的...
陈志超
关键词：离心模型试验
文献传递
面向工业控制网络协议的可信性建模与验证方法
本发明公开了面向工业控制网络协议的可信性建模与验证方法，包括：步骤1：获取工控网络协议的详细描述；步骤2：按照表格状态机的方法构建出协议的表格化模型；步骤3：检查所述表格化模型的基本错误与异常；步骤4：提取所述事件、协议...
王洁高昊宇李鹏飞吴鑫涛陈志超高骜侯刚孔维强
文献传递
面向工业控制网络协议的模型构建及代码生成方法
本发明公开了一种面向工业控制网络协议的模型构建和代码生成方法，包括：步骤1：获取至少一种工控网络协议的通信规范，对所述工控网络协议进行刨析；步骤2：刨析后根据所述工控网络协议的通信规范生成模型；步骤3：检测所述模型是否存...
王洁高昊宇陈志超吴鑫涛高骜李鹏飞侯刚
面向工业控制网络协议的模型构建及代码生成方法
本发明公开了一种面向工业控制网络协议的模型构建和代码生成方法，包括：步骤1：获取至少一种工控网络协议的通信规范，对所述工控网络协议进行刨析；步骤2：刨析后根据所述工控网络协议的通信规范生成模型；步骤3：检测所述模型是否存...
王洁高昊宇陈志超吴鑫涛高骜李鹏飞侯刚
Verilog HDL建模与测试集成工具设计与实现
随着集成电路行业的发展，芯片设计的越来越复杂，芯片的可靠性需要更加严格和快捷的验证方式。在芯片设计中，验证过程通常占整个芯片开发周期的70%以上，IC验证已经成为芯片设计的瓶颈。在芯片设计过程中，逻辑设计缺陷和错误越早发...
陈志超
关键词：芯片设计软件开发代码生成
一种针对集成电路设计的建模验证及代码生成方法
本发明公开了一种针对集成电路设计的建模验证及代码生成方法，包括：将需求设计文档中的功能划分为不同的VerilogHDL语句模块，所述VerilogHDL语句模块包括顶层模块和底层模块；根据所述顶层模块和底层模块的内部功能...
王洁陈志超侯刚吴鑫涛高昊宇
文献传递
全选 清除 导出
共1页<1>
聚类工具0