面向移动协同的扩展式动态环境演算范型研究

针对已有移动协同研究中尚缺乏既能描述移动性、又能描述协作性的演算系统,提出了一种扩展式动态环境演算范型(EMA).在对动态环境演算中的基本概念"环境"进行深入解析的基础上给出其在协同计算情境下的新语义,之后抽取刻画协同行为的基础动作A,并将A作为刻画协作性的基本单位.进而将动作行为理论引入到动态环境演算中,即在动态环境演算的基础上将A作为参与环境演算的基本实体,从而借助已有动态环境演算对移动性的描述能力来刻画移动协同计算的移动性,同时借助A刻画了移动协同中的协作性.最后给出了基于EMA的移动协同行为实例描述.较之经典动态环境演算,EMA弥补了不能刻画移动协同中的协作性缺陷,为移动协同理论框架的完善提供了依据,为移动协同应用的构建提供了一种新的理论基础.     

基于多维策略的移动协同群组形成模型

针对移动、协同计算中缺乏移动协同群组形成模型的问题，提出了基于多维策略的移动协同群组形成模（FMCGM）．首先定义了论域U和移动协同群组G，并构造了G的网络空间模型．依据G中成员之间的关系，将移动协同群组划分为实体型群组（WG）和兴趣型群组（IG），以此抽取影响WG、IG形成的主要因素，并以这些因素为基构造多维因素空间，     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

一种多维策略的移动协同群组形成模型

针对移动、协同计算中缺乏群组形成模型的问题,提出了一种多维策略的移动协同群组形成模型(FMCGM).首先定义了论域U和移动协同群组G,并构造了G的网络空间模型.依据G中成员之间的关系,将移动协同群组划分为实体型群组(WG)和兴趣型群组(IG),以此抽取影响WG、IG形成的主要因素,并以这些因素为基构造多维因素空间,进而将移动协同群组的形成问题归结为参与协作的移动用户在因素空间上的相似性判定问题,从而构造出FMCGM模型,最后给出了该模型的案例.实验表明,该模型能处理移动协作群体的复杂性、动态性问题,从而保证移动协同服务支撑平台具有较强的协作支撑能力.     

基于进程代数的上下文感知模型

针对当前上下文感知研究大多集中于技术解决方案，缺乏理论上统一描述模型的问题，提出了基于进程代数的上下文感知模型（CAMBPA）．该模型独立于具体的应用平台，具有平台无关性．首先，利用带时间参量的上下文的状态变迁来描述动态环境的变化，并根据进程代数的合并理论，采用合成简单环境状态变迁的方法来实现对复杂环境状态变迁的描述．随后，通过在模型中引入感知函数，实现了对感知行为的描述，同时对上下文状态变迁赋予了资源语义，从而使模型能够刻画移动计算环境中的动态资源情形．采用染色Petri网对CAMBPA模型实例进行了可视化仿真，结果表明该模型具有语法、语义的正确性，以及良好的可扩展性，能够很好地描述上下文感知．