【摘 要】
：
本文设计实现了一种基于组件的信息物理系统描述语言CDL（CPS Description Language）.基于面向参量模型,将信息物理系统中的传感器、执行器和计算组件封装成具有统一抽象的组件,
【机 构】
：
中国科学院软件研究所基础软件国家工程研究中心,中国科学院大学
论文部分内容阅读
本文设计实现了一种基于组件的信息物理系统描述语言CDL（CPS Description Language）.基于面向参量模型,将信息物理系统中的传感器、执行器和计算组件封装成具有统一抽象的组件,将系统描述分解为系统中包含的组件、组件之间的关联以及系统约束三部分.实现了基于CDL的信息物理系统的设计实现工具,提供CDL生成、验证和安装的功能.最后设计实现了两个应用实例,验证了通过CDL来实现系统,可以减少开发者编写的代码量,提高编程效率,一定程度上降低系统设计实现的难度.
其他文献
现有RPKI体系中, RPKI资料库与RP服务器之间的数据同步使用开源工具Rsync,但由于RPKI体系中证书数据结构的特殊性,使用Rsync进行数据的同步不仅效率低下,而且Rsync会消耗过多
在一些运动目标检测过程中,需要自动判断是否检测到运动目标,虽然在场景中没有出现运动目标,检测结果却错误的判断为检测到了运动目标.为了找到这个错误的根源,通过实验,发现了光流扰动效应,并且设计了光流扰动效应检测算法,清晰地检测出了光流扰动效果.接下来,通过图像二值化方式,消除了光流扰动效应,避免了运动目标误判现象,得到了理想的运动目标检测结果.研究证明在空间中存在光流扰动效应,该效应会对运动目标检测
手机短信3D动画自动生成系统是根据发送方短信的内容,经过信息抽取、语义分析等一系列步骤,最终生成一段与短信内容匹配的三维动画并发送给接收方.信息抽取处于手机3D动画自