![基于深度优先搜索的混成系统有界可达性分析]()
论文摘要混成系统是一类有广泛应用的系统,目前主要用混成自动机对其进行建模,对混成自动机进行可达性检验是保障混成系统质量的主要手段。目前对于混成系统的可达性分析主要有两类主要方法...
![面向信息物理融合系统的软件动态配置模型研究]()
论文摘要随着计算技术、嵌入式计算技术、传感器技术、通信技术和自动控制技术的迅速发展,信息物理融合系统（Cyber-PhysicalSystems,CPS）应运而生。2006年,...
![基于混成自动机的事件驱动的CPS系统监控方法研究]()
论文摘要信息物理融合系统(CPS系统)被认为是下一代嵌入式系统,具有广阔的应用前景。CPS系统涉及信息、物理等多方面,本身复杂度高,而且CPS系统往往运行于不确定的物理环境中,...
![实时信息物理系统的实时性分析与验证]()
论文摘要信息物理融合系统（CyberPhysicalSystems,CPS）是一种新兴技术,它代表了下一代的核心信息技术,甚至被称为“第三次信息革命”,足见其受重视程度。CPS...
![曹雪岳：面向CPS的混成AADL建模与模型转换论文]()
本文主要研究内容作者曹雪岳,曹子宁,卜星晨（2019）在《面向CPS的混成AADL建模与模型转换》一文中研究指出：信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成...
![李存斌：基于复杂网络的能源互联网信息物理融合系统跨空间风险传递研究论文]()
本文主要研究内容作者李存斌,张磊,刘定,孙润波（2019）在《基于复杂网络的能源互联网信息物理融合系统跨空间风险传递研究》一文中研究指出：能源互联网呈现物理信息深度融合的趋势,为电力系统管理研究定义了新的研究框架。作为一个先进的复杂系统,能源互联网信息物理系统(EnergyInternetCyber...
![闫敬：异步时钟下基于信息物理融合的水下潜器协同定位算法论文]()
本文主要研究内容作者闫敬,张立,罗小元,濮彬,关新平（2019）在《异步时钟下基于信息物理融合的水下潜器协同定位算法》一文中研究指出：在异步时钟下研究了一种基于信息物理融合的水下潜器协同定位问题.首先,构建了由浮标、传感器和潜器组成的水下信息物理融合系统架构.然后,考虑水下异步时钟影响,设计了基于传...
![曲朝阳：计及负荷优化重配的电力CPS可生存性量化评估论文]()
本文主要研究内容作者曲朝阳,董运昌,曲楠,刘耀伟,尹相爱,李贵森（2019）在《计及负荷优化重配的电力CPS可生存性量化评估》一文中研究指出：针对电力信息物理融合系统(CPS)规模不断扩大且现有级联失效模型忽略信息流和潮流转移特性,使得可生存性难以快速有效评估的问题,计及负荷优化重配对电力CPS可生...
