2024年7月21日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
梁刚强
作品数:
2
被引量:1
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张