《信息物理系统的偶图动态建模与分析》PDF+DOC
作者:许东,李静,朱刚
单位:中国科学院沈阳计算技术研究所
出版:《小型微型计算机系统》2015年第09期
页数:6页 (PDF与DOC格式可能不同)
PDF编号:PDFXXWX2015090470
DOC编号:DOCXXWX2015090479
下载格式:PDF + Word/doc 文字可复制、可编辑
《支持物联网的三大技术》PDF+DOC2011年第01期 袁叶,李伟华
《基于Agent和无线传感器网络的普适计算情景感知模型》PDF+DOC2008年第02期 黄海平,王汝传,孙力娟,蒋颢
《支持感知上下文网络操作平台中间件的研究》PDF+DOC2006年第20期 瞿心杭,郑扣根,王鹦鹉
《定制个人传感器》PDF+DOC2014年第05期
通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供了一种良好的建模语言.随机偶图是偶图的一种拓展,随机偶图的反应规则中赋有反应概率,这就增强了偶图的表示能力和分析能力,弥补了普通偶图不能表示随机模型的缺陷.最后以智能家居为例,探索随机偶图在信息物理系统领域的建模方法,阐述了所建立的随机信息物理系统模型的有效性。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。