基于SHML的CPS行为建模及仿真

来源 :软件学报 | 被引量 : 0次 | 上传用户：qzccj

【摘要】

：

信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具

【作者】

：

杜德慧管春琳王耀郭童

【机构】

：

华东师范大学软件工程学院,上海市高可信重点实验室（华东师范大学）,教育部可信软件国际合作联合实验室（华东师范大学）

【出处】

：

软件学报

【发表日期】

：

2020年6期

【关键词】

：

信息物理融合系统领域建模语言元建模仿真 GEMOC CPSdomain modeling languagemeta-modelingsimulationG

【基金项目】

：

国家自然科学基金(61972153),国家重点研发计划(2018YFE0101000)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具有混成性、随机性等特征,建模及仿真CPS的动态行为对于开发高质量的CPS系统至关重要.但是目前缺乏面向CPS的领域建模方法及建模CPS的领域建模语言,也迫切需要支持仿真CPS领域模型的仿真工具.针对以上问题,提出一种面向CPS领域的随机混成建模语言(stochastic hybrid modeling langua

其他文献

现制环氧基水磨石地坪施工工艺

水磨石最初是以现制的形式出现的,由于现场制作水磨石受到一些因素的影响,预制水磨石。所以才占有大部分市场。由于建筑设计的发展,每一个建筑都是一个独立的艺术作品,它是有

期刊

水磨石建筑设计理念现场制作施工工艺环氧基艺术作品定制艺术品

面向顺序存储结构的数据流分析

C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传

期刊

顺序存储结构数据流分析抽象内存模型过程间分析内存泄漏sequential storage structuredata flow analysisabs

ECO跟踪算法中CNN分层插值及加权策略改进

本文是在深度特征与相关滤波相结合的高效卷积运算符(ECO)目标跟踪算法基础上进行的改进。首先,为了提高跟踪速度,提出"浅层特征不插值,深层特征插值"的卷积神经网络(CNN)分层插值处理方法,对具有较高分辨率的浅层特征不插值,对分辨率低的深层特征进行插值计算来提高分辨率;其次,改进了样本空间分类策略,给CNN特征层分配不同的权重,突出不同特征层对样本间距离的影响,并且将所有样本信息都保留在训练样本集

期刊

目标跟踪高效卷积运算符(ECO)卷积神经网络(CNN)相关滤波尺度估计target trackingefficient convdution oper

简议大学生心理健康和自我保健

心理健康是现代健康概念中的重要内容,它与躯体健康相互联系、相互影响和相互促进。心理健康同时也能促进专业素质、道德水准的提高,有利于发挥人体潜能、适应社会和自然环境

期刊

大学生心理健康自我保健心理咨询心理治疗心理疾病专业素质精神文明躯体健康健康概念咨询对象

《石材行业绿色矿山建设规范》(自然资源部标准)编制说明

1工作简况1.1任务来源党的十八届五中全会明确提出"创新、协调、绿色、共享、开放"五大发展理念,"绿色"理念为加快推动建立绿色低碳循环发展的产业体系指引了方向;《中共中央

期刊

石材行业自然资源部编制说明党的十八届五中全会生态文明建设污染物排放五大发展理念绿色低碳循环发展

面向细粒度草图检索的对抗训练三元组网络

将草图作为检索示例用于图像检索称为基于草图的图像检索,简称草图检索.其中,细粒度检索问题或类内检索问题是2014年被研究者提出并快速成为广受关注的研究方向.目前研究者通常用三元组网络来解决类内检索问题,且取得了不错的效果.但是三元组网络的训练非常困难,很多情况下很难收敛甚至不收敛,且存在着容易过拟合的风险.借鉴循环生成对抗训练的思想,设计了SketchCycleGAN帮助提高三元组网络训练过程的效

期刊

基于草图的图像检索细粒度检索三元组网络对抗训练sketch based image retrievalfine-grained retrievaltri

能量矿物的选择及强磁按摩器的制作方法

石材开采中常可遇到一些特殊的石材.本文对蛇纹玉、兹阳石、玛瑙、砭石、锗石、陨石矿物的生成及其远红外线进行了较细致的探讨,利用这些能量矿物与永磁环并用高分子聚合工艺

期刊

能量矿物强磁按摩保健腰椎心血管疾病缓解

纵向横向一个文档两个方向

在Word中，文档的默认方向是“纵向”的，这是因为大部分文档都是文字为主。当然也有例外，比如调查报告等带数据表格的内容，如果表格太宽，在竖着的Word文档里就显得很难看，这个时候，很

期刊

WORD文档数据表格调查报告文字

《绿色建材评价标准人造石》标准研讨会成功召开

2020年5月9日,由中国建筑材料工业规划研究院主办,中国建筑节能协会绿色建材和部品分会和中国建筑材料工业规划研究院石材研究院承办的“《绿色建材评价标准人造石》标准暨人

期刊

建筑材料工业规划研究院绿色建材中国石材人造石应用研讨会参编单位中国建材

轨道交通联锁领域特定语言的形式化

作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专

期刊

联锁系统模板重用形式化建模随机混成自动机领域特定语言interlocking systemtemplate reuseformal modelings

基于SHML的CPS行为建模及仿真

与本文相关的学术论文