曹雪岳:面向CPS的混成AADL建模与模型转换论文

曹雪岳:面向CPS的混成AADL建模与模型转换论文

本文主要研究内容

作者曹雪岳,曹子宁,卜星晨(2019)在《面向CPS的混成AADL建模与模型转换》一文中研究指出:信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成系统,是由多个异构的组件通过通信设施联系起来。组合式建模通过对信息物理融合系统组件分别建模,再使用组合机制将组件整合成一个复杂的系统。进程代数经常用于通信系统建模,能够描述进程间的并发关系,但是缺乏对连续变化和随机行为的描述能力。文中在经典进程理论上扩展并提出CPS建模语言HPCCS,同时在模型中使用谓词公式来描述数据间的约束关系。AADL是目前广泛使用的建模语言,但是缺少连续行为的建模能力,文中结合HPCCS扩展AADL提出CPS系统建模机制HPCCS-AADL。为了对半形式化的HPCCS-AADL进行形式化验证,给出了混成AADL到HPCCS的转换规则。最后通过飞行控制系统的例子说明提出的混成AADL建模能力足够描述CPS系统,并且通过模型转换可以转换到形式化的HPCCS。

Abstract

xin xi wu li rong ge ji tong (CPS)shi jiang wu li guo cheng he ji suan guo cheng jin mi jie ge de hun cheng ji tong ,shi you duo ge yi gou de zu jian tong guo tong xin she shi lian ji qi lai 。zu ge shi jian mo tong guo dui xin xi wu li rong ge ji tong zu jian fen bie jian mo ,zai shi yong zu ge ji zhi jiang zu jian zheng ge cheng yi ge fu za de ji tong 。jin cheng dai shu jing chang yong yu tong xin ji tong jian mo ,neng gou miao shu jin cheng jian de bing fa guan ji ,dan shi que fa dui lian xu bian hua he sui ji hang wei de miao shu neng li 。wen zhong zai jing dian jin cheng li lun shang kuo zhan bing di chu CPSjian mo yu yan HPCCS,tong shi zai mo xing zhong shi yong wei ci gong shi lai miao shu shu ju jian de yao shu guan ji 。AADLshi mu qian an fan shi yong de jian mo yu yan ,dan shi que shao lian xu hang wei de jian mo neng li ,wen zhong jie ge HPCCSkuo zhan AADLdi chu CPSji tong jian mo ji zhi HPCCS-AADL。wei le dui ban xing shi hua de HPCCS-AADLjin hang xing shi hua yan zheng ,gei chu le hun cheng AADLdao HPCCSde zhuai huan gui ze 。zui hou tong guo fei hang kong zhi ji tong de li zi shui ming di chu de hun cheng AADLjian mo neng li zu gou miao shu CPSji tong ,bing ju tong guo mo xing zhuai huan ke yi zhuai huan dao xing shi hua de HPCCS。

论文参考文献

  • [1].CPS中环境信息的建模方法[J]. 于洋,金英,张晶.  吉林大学学报(理学版).2015(02)
  • [2].CPS在航天器控制系统中的应用分析[J]. 杨孟飞,王磊,顾斌,赵雷.  空间控制技术与应用.2012(05)
  • [3].CPS与航空工业智能制造实践[J]. 高星海.  信息技术与标准化.2016(11)
  • [4].基于CPS的智能控制生产线框架设计[J]. 陈容,陈映波.  电子设计工程.2017(11)
  • [5].基于平均报酬模型全过程R(λ)学习的互联电网CPS最优控制[J]. 余涛,袁野.  电力系统自动化.2010(21)
  • [6].基于时间自动机的AADL端到端流的延迟分析[J]. 连小利,张莉.  北京航空航天大学学报.2015(08)
  • [7].基于改进遗传算法的CPS任务分配方法[J]. 杨殿亮,胡文才,葛晨曦.  电子测量技术.2017(04)
  • [8].基于事件的CPS状态转移分层表示[J]. 尹忠海,赵新,周诚,褚亚男,王磊.  计算机工程.2017(06)
  • [9].基于CPS的工业4.0智能制造研究[J]. 吕志.  河南教育学院学报(自然科学版).2015(02)
  • [10].CPS环境下时间特性的研究[J]. 陈海敏,黄云峰,黄振滔.  信息与电脑(理论版).2011(03)
  • 论文详细介绍

    论文作者分别是来自计算机技术与发展的曹雪岳,曹子宁,卜星晨,发表于刊物计算机技术与发展2019年10期论文,是一篇关于组合式建模论文,进程代数论文,信息物理融合系统论文,模型转换论文,计算机技术与发展2019年10期论文的文章。本文可供学术参考使用,各位学者可以免费参考阅读下载,文章观点不代表本站观点,资料来自计算机技术与发展2019年10期论文网站,若本站收录的文献无意侵犯了您的著作版权,请联系我们删除。

    标签:;  ;  ;  ;  ;  

    曹雪岳:面向CPS的混成AADL建模与模型转换论文
    下载Doc文档

    猜你喜欢