信息物理系统的偶图动态建模与分析  

Dynamic Modeling and Analyzing About CPS in Bigraph

作　　者：许东[1] 李静[1] 朱刚[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200444

出　　处：《小型微型计算机系统》2015年第9期2153-2158,共6页Journal of Chinese Computer Systems

摘　　要：通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供了一种良好的建模语言.随机偶图是偶图的一种拓展,随机偶图的反应规则中赋有反应概率,这就增强了偶图的表示能力和分析能力,弥补了普通偶图不能表示随机模型的缺陷.最后以智能家居为例,探索随机偶图在信息物理系统领域的建模方法,阐述了所建立的随机信息物理系统模型的有效性.By taking the stochastic bigraph as modeling tool after analyzing the stochastic CPS,w e establish a kind of stochastic CPS model,and then give a quantitative analysis method to the model. The bigraph,proposed by M ilner,is a graphics formal modeling tool for pervasive system w hich combines the advantages of the π-calculus and mobile ambient calculus,and it provides a nice modeling language for pervasive computing applications. The stochastic bigraph is an extension of bigraph w hose reaction rules are assigned reaction rate. Hence stochastic bigraphs enhance the representation and analysis capabilities of bigraphs and makes up the defect of bigraphs. Finally,w e investigate how to model CPS in stochastic bigraphs in conjunction w ith taking smart home as an example and illustrate further the effectiveness of the stochastic CPS model presented in this paper.

关 键 词：信息物理系统 随机偶图 普适计算 智能家居 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]