%0 Journal Article %T 信息物理系统的偶图动态建模与分析 %A 朱刚 %A 李静 %A 许东 %J 中山大学学报(自然科学版) %D 2015 %X 摘要 通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供了一种良好的建模语言.随机偶图是偶图的一种拓展,随机偶图的反应规则中赋有反应概率,这就增强了偶图的表示能力和分析能力,弥补了普通偶图不能表示随机模型的缺陷.最后以智能家居为例,探索随机偶图在信息物理系统领域的建模方法,阐述了所建立的随机信息物理系统模型的有效性 %K 信息物理系统 %K 随机偶图 %K 普适计算 %K 智能家居 %U http://xwxt.sict.ac.cn/CN/abstract/abstract3084.shtml