一种基于事件-响应关系的Cyber系统行为模型

来源 :计算机科学 | 被引量 : 0次 | 上传用户:crr0808
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
CPS(Cyber-Physical System)系统中的Cyber系统旨在根据用户要求,应用计算、通信和控制等技术实现对现实世界物理行为的精准控制。物理行为是连续和并发的,而Cyber行为是离散的,这种异构性给Cyber系统行为的分析和设计带来了巨大的挑战,迫切需要一种精确的模型来捕获Cyber系统与外界的交互行为语义。按照行为角色的不同,分析了CPS系统的抽象组成架构,阐述了各实体的行为;提出了一种基于事件-响应关系的Cyber系统行为模型,给出了事件的形式化定义和各类事件的形成规则的语法和语义,对
其他文献
针对DTN中支持时效性和资源敏感型服务的质量保证问题,引入INSIGNIA跨层思想和PBNM模式,设计出一种分布式服务质量保证系统——DTN弹性质量自适应原型系统,并针对原型系统,对
目前,基于定位技术的应用已经成为最具发展潜力的物联网业务之一。物联网感知层传感节点受自身功耗和处理能力的限制,无法直接求解无线定位算法方程。对传统三边测量定位算法进行改进,通过几何近似求解的方法,只需要进行简单的比较、加减、乘除运算,即可获取节点的位置信息。该算法在求解过程中引入了一定的误差值,但大幅降低了定位算法的求解复杂度,为低运算能力的微控制器直接定位提供了一种可行的解决方案。经过定位实验评
针对ARIRANG加密模式,利用相关密钥矩形攻击的方法对其安全性进行了重新评估。首先找到了一些新的38轮和39轮的高概率相关密钥矩形区分器,然后在此基础上将区分器进行改进,改
软件产品线的特征之间存在依赖关系,因此在面向特征编程(FOP)中,特征模块之间在代码结构上存在密切关联。另一方面,具有可变性的特征在应用产品中的绑定与否会对依赖关系的实现
基于压缩感知理论,从图像稀疏变换方式和压缩感知恢复算法两方面出发,对原有算法进行改进,提出了基于单层双树小波变换和平滑零范数法(Smoothed-l0)的压缩感知图像重构算法(DTSL0)。该算法的思想是:对原始图像进行双树实系数小波稀疏变换,并使用Smoothed-l0压缩感知恢复算法予以重构。仿真实验表明:该算法在图像重构质量、执行速度,以及鲁棒性方面均有显著提升。
针对如何提高集成学习的性能,提出一种结合Rotation Forest和MultiBoost的集成学习方法——利用Ro-tation Forest中旋转变换的思想对原始数据集进行变换,旨在增加分类器间的
签密是一个能够同时提供认证性和保密性的密码学术语,而它却比分别签名和加密具有更低的计算成本。环签密除具有签密的一般属性外,还具有匿名性。为了设计基于身份的门限环签密
通过对虚拟机动态内存迁移过程中内存页面状态的分析,针对预拷贝算法中脏页面可能被重传这一特点,提出一种基于脏页面预测的迭代传送方法。该方法基于时间局部性原理,在页面迭代
根据可变精度粗糙集的β-上、下分布约简算法的优势,结合概念格形式背景的特点,将二者有机地结合,提出了基于变精度粗糙集的概念格约减算法。分析了变精度粗糙集模型中的β值