【摘 要】
：
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增
【机 构】
：
同济大学嵌入式系统与服务计算教育部重点实验室
【基金项目】
：
国家自然科学基金项目（61173042,61472004）, 上海市产学研合作项目（沪CXY-2013-40）资助
论文部分内容阅读
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁网、颜色网等构建移动系统模型。但它们仍存在一些不足之处。在此基础上,A.Asperti和N.Busi提出了移动网这一系统模型。移动网是在Petri网的基础上增加了移动性并结合了进程代数的优势得到的,适用于描述和刻画移动计算系统。然而,目前并没有对于移动网相应分析方法的研究。为
其他文献
本文就Ｍｅｇａｆｉｘ Ｂ型活性染料纯棉，涤棉染色工艺进行了试验探讨，通过单因素试验及正交试验提出了较为合理的染色工艺，另经大生产实践证实该类活性染料色泽鲜艳，色谱较全，匀染性，重现性均较好
在对苎麻织物结构性能分析的基础上，采用然土－柠檬酸络合物对直接与活性染料在在苎麻织染色中的应用性能进行了研究，测定了染色过程中的相关参数，提出了适用工业化生产的工艺条件
随着普适计算的不断发展,室内定位技术的研究也成为当今研究的热点问题。室内定位技术的不断进步使得RFID也开始部署到各种各样的室内场景。为了提高室内空间中的定位精度,提