论文部分内容阅读
通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供了一种良好的建模语言.随机偶图是偶图的一种拓展,随机偶图的反应规则中赋有反应概率,这就增强了偶图的表示能力和分析能力,弥补了普通偶图不能表示随机模型的缺陷.最后以智能家居为例,探索随机偶图在信息物理系统领域的建模方法,阐述了所建立的随机信息物理系统模型的有效性.
By analyzing the stochastic information physics system and using the stochastic duality graph as the modeling tool, a stochastic information physics system model is established and a quantitative analysis method of the model is given. The bipartite graph is a kind of graphic for universal system proposed by Milner Formal formal modeling tool, which combines the advantages of π calculus and mobile environment calculus, provides a good modeling language for ubiquitous computing applications.The stochastic dipole is an extension of even graphs, The reaction rules are given the probability of reaction, which enhances the ability of even graph representation and analysis ability to make up for the ordinary graph can not represent the shortcomings of stochastic models.Finally, taking smart home as an example, to explore the random even figure in the field of information physics system Mode method, and expounds the validity of the established stochastic information physical system model.