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

许东; 李静; 朱刚

首页> 中文期刊> 《小型微型计算机系统》 >信息物理系统的偶图动态建模与分析

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

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供了一种良好的建模语言.随机偶图是偶图的一种拓展,随机偶图的反应规则中赋有反应概率,这就增强了偶图的表示能力和分析能力,弥补了普通偶图不能表示随机模型的缺陷.最后以智能家居为例,探索随机偶图在信息物理系统领域的建模方法,阐述了所建立的随机信息物理系统模型的有效性.

著录项

来源
《小型微型计算机系统》 |2015年第9期|2153-2158|共6页
作者
许东; 李静; 朱刚;
展开▼
作者单位

上海大学计算机工程与科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类建筑物的电气化、自动化装置;系统模型、系统建模;
关键词
信息物理系统; 随机偶图; 普适计算; 智能家居;

相似文献

中文文献
外文文献
专利

1. 论偶优美图与偶强协调图 [J] . 常庆龙 ,严谦泰 . 安阳师范学院学报 . 2016,第005期
2. Voronoi图和它的偶图Delaunay镶嵌在数值分析中的应用 [J] . 于国辉 ,李永鑫 ,董万杰 . 中国科技信息 . 2005,第15A期
3. Voronoi图和它的偶图Delaunay镶嵌在数值分析中的应用 [J] . 于国辉 ,李永鑫 ,董万杰 . 中国科技信息 . 2005,第015期
4. 基于攻击图的信息物理系统信息安全风险评估方法 [J] . 武文博 ,康锐 ,李梓 . 计算机应用 . 2016,第001期
5. 一类偶图的顶点──6,2n泛偶圈性 [J] . 任韩 . 武汉钢铁学院学报 . 1993,第003期
6. 敦煌遗书《灸经图》治疗涎潮证一例举偶 [C] . 汤志刚 ,王天生 . 第三届全国穴位埋线疗法经验交流会暨甘肃省针灸学会2015年度学术年会 . 2015
7. 完全偶图的定向图 [A] . 张雪飞 . 2015

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

摘要

著录项

相似文献

相关主题

期刊订阅