【摘 要】
：
信息物理融合系统(CPS)涉及多种计算模型的集成和协同工作,针对CPS设计方法不统一、重塑性差、复杂度高、难以协同建模验证等问题,提出一种结构化、可描述行为的异元组件模型
【机 构】
：
安徽师范大学计算机与信息学院,网络与信息安全安徽省重点实验室（安徽师范大学）
【基金项目】
：
国家自然科学基金资助项目(61572036)~~
论文部分内容阅读
信息物理融合系统(CPS)涉及多种计算模型的集成和协同工作,针对CPS设计方法不统一、重塑性差、复杂度高、难以协同建模验证等问题,提出一种结构化、可描述行为的异元组件模型。首先,用统一组件建模方法进行建模,解决模型不开放问题;然后,用可扩展标记语言(XML)规范描述各类组件,解决不同计算模型描述语言不一致和不可扩展问题;最后,用多级开放组件模型的协同仿真验证方式进行仿真验证,解决验证的不可协同问题。通过通用组件建模方法、XML组件规范描述语言以及验证工具平台XModel对医用恒温箱进行了建模、描述和仿真。
其他文献
建筑事业的蓬勃发展,在现代社会在我们的生活中发挥着重要的作用。然而对于建筑工程的施工质量问题是广大人民群众所普遍关心的问题。在建筑施工的过程中会遇到多种多样的施
目的调查居家腹膜透析患者使用后的腹膜透析袋的处置现况,并提出安全、有效的对策,为腹膜透析袋的规范处理奠定基础。方法选择2017年1月-2018年1月在绍兴市人民医院做定期随
参数化设计是指设计人员在CAD系统提供的条件下用一组参数来构造设计对象的信息模型，参数与设计对象的控制尺寸有显式对应，当参数的值发生变化时，设计对象随之改变。本文结合CAT
“很+N”结构是否成立备受争议,现代汉语词典曾拒绝收入这类结构的词,但有很多专家从不同的角度论证其合理性。本文试图从非典型“N+N”结构入手,找出二者在原型范畴理论框架
云南省地处中国西南边陲,自古就是中国通往东南亚和南亚的重要门户,对发展边境地区的经济和文化颇具意义。现代经济中第三产业的经济对国家的发展极为重要,而第三产业中旅游
针对国内外3种不同的混凝土损伤计算模型,分别用其模拟计算了往复荷载下钢管混凝土损伤过程,并绘出了3种模型损伤因子随应变变化的曲线;对于Birtel和Mark模型,探讨了系数bc对
以色列作家大卫·格罗斯曼的长篇小说《证之于:爱》描写了犹太民族大屠杀幸存者的下一代人的“非正常”生活,其深重的苦难与精神的救赎是小说主旨之所在。其中,小说最后一部
针对学生英语口头表达能力相对薄弱这一现状,本文从语块理论和语言输入、输出假说视角,探讨以语块为理想的语言输入和输出单位,通过树立语块意识,拓宽语块输入途径,创设语块
西部农业发展水平的低下是西部地区经济社会发展面临的严峻制约,加快发展西部现代农业是推进西部农业现代化的战略选择.文章分析了西部发展农业的现实困境,认为西部现代农业
随着覆膜支架的广泛应用及操作技术的不断改进,基于越来越多的循证医学证据,经颈静脉肝内门体分流术(transjugular intrahepatic portosystemic shunt,TIPS)治疗门静脉高压症