论文基于可能性时空混成自动机CPS软件建模是适合自动机论文写作的大学硕士及相关本科毕业论文，相关自动售卖机多少钱一台开题报告范文和学术职称论文参考文献下载。
摘 要： 信息物理融合系统（CPS）对复杂系统的建模和验证是当前控制研究领域的一个热点问题.考虑不确定环境因素对CPS系统的影响,结合可能性测度和时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法.以时空混成自动机为建模工具,通过分析CPS的体系结构,讨论衡量不确定性的可能性对CPS软件运行时的时空动态影响,给出一个可能性时空CPS系统架构.通过理论证明和实例分析在不确定环境下可能性时空混成自动机为CPS软件系统建模的可行性.
关键词： CPS； 不确定性； 可能性时空混成自动机； 控制系统； 建模； 属性验证
中图分类号： TN876?34； TP391 文献标识码： A 文章编号： 1004?373X（2018）05?0173?05
Abstract： The complex system modeling and validation by means of the cyber?physical system （CPS） is a hotspot issue of the current control study field. Considering the influence of the uncertain environment on CPS, the possibility measurement and spatio?temporal model are combined to give a modeling method of CPS based on possibility spatio?temporal hybrid automata. Taking the spatio?temporal hybrid automata as the modeling tool, analyzing the architecture of the CPS, and discussing the influence of nondeterminacy′s possibility on the spatio?temporal dynamic behavior when the CPS software is running, an architecture of the possibility spatio?temporal CPS is given. The theory verification and instance analysis results show that the CPS software modeling based on possibility spatio?temporal hybrid automata is feasible in uncertain environment.
Keywords： cyber?physical system； indeterminacy； possibility spatio?temporal hybrid automata； control system； modeling； property verification
0 引 言
信息物理融合系统（Cyber?Physical Systems,CPS）是一种融合计算进程和物理进程的复杂嵌入式网络系统[1],并且已经在很多领域广泛应用.实现的反馈控制既安全又可靠,还可以有效实现人和现实世界的交互.该领域研究的一个热点问题是CPS系统的建模及其验证.CPS体系中各组件具备自治性、异构性、并发性等特性,相对于传统的嵌入式系统,CPS软件和硬件高度融合,各组件并非完全孤立,而是彼此关联的一个整体,拥有离散和连续动态变化的行为,使得利用传统方式对CPS软件建模具有挑战性.混成自动机既能描述真实世界的变化状况,又能刻画系统的状态转移关系,因此该模型成为研究CPS系统的重要基础[2?5].更多地,文献[6]提出一种异构模型,引入行为关系以表达系统之间不同的模型语义,实现对系统属性的形式化验证；文献[7]提出具有位置驱动特点的时空自动机；文献[8]根据混成自动机和HP模型之间的转换规则提出一种CPS软件模型和属性验证框架.这些都是经典的一些CPS软件模型和属性验证框架.
在实际系统中,由于CPS所处的环境具有不确定性,而这些不确定性对CPS是否能正确运行在一定程度上起着至关重要的作用.通常经典的模型和检测方法不能处理实际系统中的这些不确定的建模和属性验证问题.可能性测度是模糊集理论的一个分支,是对概率测度的推广,可能性测度不满足可加性.文献[9?11]将可能性测度模糊数学和模型检测技术相结合,提出基于可能性测度的模型检测方法.为复杂系统的不确定性验证提供了较好的理论基础.
本文考虑不确定环境对CPS系统的影响,提出一种基于可能性时空混成自动机模型,给出CPS系统建模和可能性时空CPS的描述语言.从理论和实例两方面验证基于该模型为不确定环境下CPS系统建模和属性验证度量方法的有效性,从而为复杂CPS系统的智能控制和优化提供理论依据.
1 基本概念
定义1[12]：设是一个非空集合,是由的子集构成的集合（包含空集）,且对集合的补运算和可数任意并运算封闭,则称是一个代数,为可测空间.映射表示代数上的可能性测度,且满足以下性质：
定义2[13]：混成自动机为六元组：
其中：Loc为控制模式的集合；为边的有限集合,即表示转换关系.对于其中为源位置,为目标位置,为保卫条件,为同步标签,为变量的更新关系；为实值变量的有限集,即称为自动机的维度；Lab为同步标签的集合,同步标签也叫做事件；Act为活动标记函数,以此来表示混成自动机每个位置标识的一系列活动,通常用变量对时间的微分方程表示；Inv为不变式标记函数,赋予每个位置一个不变式.
总结:关于免费自动机论文范文在这里免费下载与阅读,为您的自动机相关论文写作提供资料。
参考文献：
1、 基于UML和Rose的面向对象的软件建模 摘要：软件工程是一门学科，它是在规范化、系统化等工程原则基础上的，针对软件开发的工程学科。它包括软件开发技术和软件项目管理技术。UML主要是协助。
2、 入股优秀民企也是混改 2015年2月上旬，国务院国资委先后批复了中国医药集团和中国建材集团混合所有制改革试点方案。在此一个月之前，国家发改委和商务部批复同意了中国石化。
3、 通过混改持续激发人潜力 中联重科依据国家政策的逐步放开，分阶段实施企业改制，率先从单一的国有制转变为现代混合所有制并成为全球的行业领军企业，这与十八届三中全会以来党中央。
4、 亚投行混改话语权分配 在一元模式下，非公资本以千亿资本仅仅获得不超过30%的话语权。但是，将中石化销售公司作为战略型国有企业，如按前述多元模式划分话语权，非公资本的话。
5、 混改已成国企改革突破口 混改可提升效率、打破垄断、推动经济结构转型……新年伊始，中国铁路总公司和中国兵器工业集团率先表态将开展混改， 定调的混改七大领域已有两大。
6、 未知流量和无限可能性 在中国，流量似乎意味着做不完的生意。但同时，这類生意在经验上的可复制性却是微乎其微的。新浪微博兴起时，几乎整个互联网的关注度都被吸附过来，巨。