您的位置: 专家智库 > >

梁刚强

作品数:2 被引量:1H指数:1
供职机构:广东工业大学计算机学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇信息物理融合...
  • 2篇体系结构
  • 1篇多视图
  • 1篇设计方法
  • 1篇视图
  • 1篇体系结构描述...
  • 1篇无人飞行器
  • 1篇描述语言
  • 1篇结构描述语言
  • 1篇飞行
  • 1篇飞行器
  • 1篇分析与设计方...
  • 1篇CPS

机构

  • 2篇广东工业大学

作者

  • 2篇梁刚强
  • 1篇张立臣

传媒

  • 1篇小型微型计算...

年份

  • 1篇2016
  • 1篇2015
2 条 记 录,以下是 1-2
排序方式:
面向多视图的信息物理融合系统的分析与设计方法
CPS系统不同于之前任何一个系统,是一个物理世界和计算世界高度融合的及其复杂的系统CPS系统的感知终端数量庞大且种类繁多,需要对海量的感知数据和信息进行分析处理,并实现智能化的决策和控制,因此必须采用新方法、新思想解决C...
梁刚强
关键词:无人飞行器体系结构
文献传递
基于体系结构的信息物理融合系统的研究与分析被引量:1
2016年
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件.
梁刚强张立臣
关键词:体系结构描述语言信息物理融合系统
共1页<1>
聚类工具0