【摘 要】
：
移动的用户能够方便地访问分布在普适计算环境中的传感器，进而获得情境信息，是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish／Subscribe模式的混合式情境感知
【机 构】
：
湘潭大学信息工程学院,中国科学院计算技术研究所
【基金项目】
：
国家863计划资助项目(2009AA011902);国家自然科学基金资助项目(61070109)
论文部分内容阅读
移动的用户能够方便地访问分布在普适计算环境中的传感器，进而获得情境信息，是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish／Subscribe模式的混合式情境感知共享机制，基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约，并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性，表明该机制可满足动态的分布式情境感知系统要求。
其他文献
目的:分析丁苯酞软胶囊、阿托伐他汀钙片对脑梗塞的治疗效果、侧支循环建立的影响。方法:研究阶段为2018年1月-2019年6月,共纳入研究对象87例,均为脑梗塞患者,随机分为两组,
联合国核心人权条约实施机制是九个核心人权条约的重要组成部分,常被看作是准司法性的监督机制。文章对条约实施机制存在的缺陷进行分析,并列举联合国近年来有效的强化措施和
通过沼液在玉米生产上的应用试验,发现用沼液浸种和沼液拌粪土,均较对照1清水浸种和对照2粪土制钵育苗移栽的农艺性状和经济性状显著提高。
目的探讨预防性应用抗生素(AP)对神经外科手术患者细菌培养阳性率及术后感染的影响。方法回顾性收集2017年1月至2019年12月在我院行神经外科手术患者860例临床资料,依据是否
慈善认定制度的目的是由特定机关对某一组织体的慈善性给予确认并赋予其一定法律地位的制度。慈善认定制度是慈善法的核心组成部分，该制度有助于区分慈善组织与企业和一般的非
目的：明确屋尘螨变应原Derpl对人肥大细胞系HMC-1释放类胰蛋白酶的影响。方法：培养后的HMC-1细胞分为单纯培养液组、5μg/mL Derp1组和5μg／mL Derpl＋100μmol／LPAR2拮抗剂（FSLLY）组
探讨了地铁信号系统与站台屏蔽门接口中互锁解除功能的实现方式,并分析不同实现方式各自的特点。对几种实现方式进行了深入的分析比较,得出各自的优缺点。在地铁信号系统设计
有效利用本地地域文化资源是推动汉语国际推广的有效手段,同时也是地域文化传播的有效途径。青海在'一带一路'倡议中具有特殊地位,也拥有独特的地域文化资源,也有条
在信息化、互联网不断发展的时代大背景下,传统社会各个领域纷纷寻求与互联网的融合发展,融媒体就是其中的必然产物。融媒体作为全新的综合性媒体形式,也在不断的影响着社会
唇形突是海链藻中常见的一类突起,其形态学特征和排列方式是重要的分类学依据。绝大多数海链藻只有一个唇形突,两个唇形突的现象仅报道于极少数海链藻种类。我国关于双唇形突