基于AADL的CPS系统分析与设计

来源 :计算机应用与软件 | 被引量 : 6次 | 上传用户：bluecluse

【摘要】

：

信息物理融合系统CPS(Cyber Physical System)的建模需要融合离散计算实体与连续物理实体,而传统的建模方法却是分别对两者进行建模,缺乏对两者相互融合的抽象。针对这种情况,利用结构分析与设计语言AADL(Architectural Analysis and Design Language)在基于模型开发上的优势,对AADL所不能支持的时空、行为、动态连续等方面进行扩展,通过比较现

【作者】

：

朱晨曦张立臣罗崇伟

【机构】

：

广东工业大学计算机学院

【出处】

：

计算机应用与软件

【发表日期】

：

2015年08期

【关键词】

：

物理融合系统 AADL 基于模型元胞自动机车联网 Cyber physical system AADL Model-based Cellular autom

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

基于MongoDB的BESⅢ分布式计算记账系统的研究与实现

北京谱仪Ⅲ（BESⅢ）高能物理实验要对海量的数据进行处理与分析。为了应对海量数据对计算资源提出的挑战，BESⅢ实验基于分布式架构软件DIRAC构建了统一的分布式计算平台。针对实

期刊

记账系统MONGODB分布式计算数据压缩高能物理Accounting system MongoDB Distributed computing Dat

针对小规模整数的MPQS算法

数域筛法是目前最有效的大整数分解算法,其中候选关系的光滑性判断需要对大量规模不大的余因子做分解,MPQS作为110-digits以下最快的分解算法得到广泛的应用。但现有的MPQS软件包针对96 bit以下的整数优化不足,未充分挖掘整数规模对MPQS性能的影响。针对小规模整数的MPQS算法提出新多项式系数选取和循环拷贝筛两种优化方法,新的系数方案配合参数选取和中间结果规模控制可以尽量避免使用多精度函

期刊

MPQS筛法多项式系数循环拷贝筛神威MPQSSievingPolynomial coefficientCirculating copy siev

城市污泥植物处理系统与污泥中转处理场建设

目前城市污水处理利用的主要障碍是污泥中过多的水分和重金属，增加运输、处理成本，造成二次污染问题。文章首先回顾了城市污泥的主要处理处置方法及其特点；接着介绍了污泥农用的

期刊

城市污泥重金属养分植物分离综合利用中转处理场sewage sludge heavy metal nutrient phyto-separati

可调谐单纵模光纤激光器模式特性研究

为了实现光纤激光的单纵模，提出了一种环形腔结构，采用可调谐光纤Bragg光栅（FBG）作为波长选择器件，与2m未抽运掺Er光纤（EDF）产生驻波饱和效应，在1．55μm波长处形成42nm激光输出，输出功

期刊

环形光纤激光器单纵模饱和吸收体扫描FabryPerot(F-P)干涉仪ring fiber laser single longitudinal-mo

森林自然保护地生态旅游资源研究进展

旅游资源的评价、保护与开发模式研究是生态旅游研究领域的重要内容,而森林自然保护地是一类重要的生态旅游区。根据我国自然保护地的实际情况,参考国外自然保护地的定义与分

期刊

生态旅游旅游资源评价旅游资源开发与保护森林自然保护地

城市空气悬浮颗粒物的理化性质及其健康效应

城市空气悬浮颗粒物的理化性质是其他相关研究的理论基础,目前的研究主要集中在分析空气颗粒物的成分组成、来源解析上。空气悬浮颗粒物主要由金属元素、有机化学成分和无机

期刊

城市空气悬浮颗粒物粒径分布来源成分健康效应

温室气体限排：地球生命的防线

全球气候日益变暖，已成为当今影响最为深远的全球性环境问题之一，引起了世人广泛关注。近期诸多重大国际会议都把关注的目光聚焦于气候变化，其议程之密、规格之高，尚属空前。温室

期刊

气候变化温室气体限制措施生命防线climate change greenhouse gases mitigating emissions defe

愿气功给更多的家庭带来欢乐

各位编辑老师：作为一名普通的气功爱好并受益者，我是怀着激动的心情写这封信的。在气功事业蓬勃发展的今天，却仍然有一些人怀疑甚至低毁气功为人类健康和文明进步以及气功科研所

期刊

气功家庭中华民族的瑰宝白内障山东省临沂市突发事件丧失劳动能力诉说病情医疗康复事实胜于雄辩

属性约简中的范式转换算法研究

通过研究属性约简中合取范式到析取范式的转换过程,发现减少冗余项和重复计算可以适当提高转换效率。同时考虑到范式的动态变化,设计一种边转换边化简的增量转换算法,可以利用已有结果直接进行计算。对于减量情况,抽象出范式转换的数学模型,给出相应转换的构造形式和分析过程,并提出一种近似减量转换算法,从而实现了不同变化情况下生成析取范式的动态计算。最后通过仿真实验验证了算法的可行性和高效性。

期刊

约简增量析取范式合取范式范式转换Reduction Increment Disjunctive normal form Conjunctive nor

戏语禅解《红楼梦》

自从老子留下《道德经》出关西去以后，他的思想并没有因“消极的人生观”而走出中国社会政治文化舞台，先后有庄子、列子、文子等等，演绎而发展了他的思想。特别值得一提的是《红

期刊

《红楼梦》《道德经》辛酸泪甄士隐荣国府《论语》文化舞台曹雪芹贾雨村净化心灵

基于AADL的CPS系统分析与设计

与本文相关的学术论文