【摘 要】
：
信息-物理融合系统(Cyber-Physical System,CPS)建模是当前CPS研究中的一个重要研究方向,由于CPS体系结构复杂,对其整体建模十分困难,针对这一问题,本文采用组合建模方法,但C
【机 构】
：
暨南大学深圳旅游学院,深圳518053
【出 处】
：
2014全国理论计算机科学学术年会
论文部分内容阅读
信息-物理融合系统(Cyber-Physical System,CPS)建模是当前CPS研究中的一个重要研究方向,由于CPS体系结构复杂,对其整体建模十分困难,针对这一问题,本文采用组合建模方法,但CPS包含大量异构的构件,这种方法会增加系统整合的困难,因此将组合建模方法与面向服务思想结合,将CPS构件作为服务提供者,以混成自动机作为建模工具,对CPS构件服务进行建模,并在此基础上讨论了构件服务组合之间的通信问题和死锁问题.
其他文献
网络可靠度BDD分析方法的计算复杂度与BDD尺度线性相关,而BDD尺度严重依赖边排序质量.由于求解最优边排序是一个NP问题,在实际应用中,通常采用启发式边排序策略如BFS(Breadth
实际最优化问题的性质与特征繁多，但总体上最优化问题的种类能归结为三类:显式性能优化问题、隐式性能题和混介目标优化问题。然而，现实生活中隐式性能优化问题随处可见，如艺术
秋冬茬黄瓜的上市时期应安排在秋延后黄瓜之后、越冬茬黄瓜之前;管理上应遵循“前期养好秧,后期拿产量”的原则,努力做到养秧、保秧与提高产量相结合,提高产量与增加产值相结
大棚西瓜选留二茬瓜的方法有以下两种:即在头茬瓜采收前选留和在头茬瓜采收完毕剪叶促枝后再选留。两种方法各有优缺点,笔者建议瓜农选择第二种方法为好。
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协
模糊综介评判是对受多种因素影响的事物做出全而、客观评价的一种十分有效的多因素决策方法。它可以解决因素与结果之间的关系不能用精确的数学模型来描述的很多实际问题，很好
这三张全家福照片,在传统影像风格中融入了创新的元素,深受广大顾客的喜爱,在当地市场具有良好的口碑和反响。我们还为全家福照片配备了更易保存的相册,更精致的相框,在版式
三星 DV-500影碟机在我国拥有的数量较大,目前,该机型已进入维修期,下面介绍五个检修实例,仅供同行参考,以期达到抛砖引玉的目的。例1 故障现象:重放 CD 碟片图像与伴音均正
数据分析和处理是大规模分布式数据处理应用中的重要任务.由于简单易用和具有灵活性,MapReduce编程模型逐渐成为大规模分布式数据处理系统(如Hadoop系统)的核心模型.由于处理
《毛泽东早期文稿》与南阳历史文化张仁学，刘阳由中共中央文献研究室与中共湖南省委《毛泽东早期文稿》编辑组编辑出版的《毛泽东早期文稿》这本书，其中有不少内容与南阳历史文