【摘 要】
：
信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成系统,是由多个异构的组件通过通信设施联系起来。组合式建模通过对信息物理融合系统组件分别建模,再使用组合机
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
航空科学基金(20150652008)
论文部分内容阅读
信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成系统,是由多个异构的组件通过通信设施联系起来。组合式建模通过对信息物理融合系统组件分别建模,再使用组合机制将组件整合成一个复杂的系统。进程代数经常用于通信系统建模,能够描述进程间的并发关系,但是缺乏对连续变化和随机行为的描述能力。文中在经典进程理论上扩展并提出CPS建模语言HPCCS,同时在模型中使用谓词公式来描述数据间的约束关系。AADL是目前广泛使用的建模语言,但是缺少连续行为的建模能力,文中结合HPCCS扩展AADL提出CPS系统建模机制
其他文献
目的讨论高血压左室肥厚伴左心力衰竭心脏彩超的特点以及应用价值。方法选取2015年6月至2016年7月收治的34例高血压左室肥厚伴左心力衰竭患者作为试验组,同时选取2015年6月至
目的:观察不同手术方式对耻骨直肠肌综合征的治疗效果,为治疗耻骨直肠肌综合征寻找更好的手术治疗方式提供临床依据。方法:收集2013年1月至2015年12月期间在武汉大学中南医院
金融行业作为国民经济的命脉,是调节宏观经济的重要杠杆。股票市场是金融行业的重要组成部分。在股票市场上拥有较多的流动资金,股票市场的运行表现可以充分说明该国经济发展
立德树人是教育的根本任务。习近平总书记在党的十九大报告中指出：“要全面贯彻党的教育方针，落实立德树人根本任务，发展素质教育，推进教育公平，培养德智体美全面发展的社会主义建
如何教学生巧解应用题呢 ?本文提出要善于运用“图解”的方法来实现其教学目的 .并提出“图解教学”在小学数学的教学中具有的三大作用
计算机视觉技术不断发展,视觉测量与监测成为近年来工业生产中信息技术研究新的发展方向与趋势。快速、高效、实用的监测为工业生产加工和精准测量提供了有力的技术保障。对
我国纳西族分布于滇、川、藏毗邻的金沙江、澜沧江河谷地带,人口不到三十万,至今却保存着古老的祭天文化,古老的纳西族象形文东巴经卷和民间都保存着大量的祭天词。在祭天活
高效的固定资产管理信息系统对于一个多年来持续生产汽车产品的传统汽车整车制造企业来说,特别是如今在数字化转型浪潮中的主车厂十分重要。对于已具有成熟配套数据管理软件和管理体系制度的合资性质主车厂,将目前已拥有的信息化工具系统、管理经验、开发合作的资源充分的整合利用起来,优化与实现基层业务的管理人员使用体验是很重要的。一个能够打通基层管理者与主管部门、财经部门的固定资产信息管理系统,这关乎着生产效率、固
富萍从乡下进入繁华的上海之后,从彷徨无助到开创自己的生活,这其中的辛酸和平淡构成了她的总体人格形象。这个普通的少女用自己的双手和头脑树立了自己普通人的独特人生。她
克拉夫基是德国教学论专家，范例教学理论的集大成者。其教学理论中包含的教养性思想、范例性思想、教学论分析以及批判一建构的教学设计思想等，不仅在理论方面，而且在实践方面，对