[00003457]一种基于抽象格结构的异步普适计算环境感知方法
技术详细介绍
本发明公开了一种基于抽象格结构的异步普适计算环境感知方法。在异步的普适计算环境中，传感器设备收集环境信息，并发送给信息处理基站，局部区域的信息处理基站将环境信息封装为局部状态，并发送给服务器上的中间件处理进程，该进程将收集到的局部状态组合成全局快照，并用抽象格结构建模整个普适计算环境的变化过程，通过谓词检测来确定普适计算环境是否满足应用程序提出的特性，从而实现对异步普适计算环境的感知。由于普适计算环境的异步性，传感器设备收集到的局部环境信息是异步的，这些局部环境信息可以组成不同的全局快照，全局快照和它们之间的时序关系形成全局快照格，全面描述了异步普适计算环境的变化过程。
