普适计算中面向移动的软件自适应性研究

普适计算中面向移动的软件自适应性研究

论文摘要

移动和便捷是当今社会的两大需求。人们期望在任何时间和任何地点能够轻松享用满意的背景式服务。正是这种需求推动了无线技术的高速发展和移动设备的迅速普及,也推动了计算模式朝着移动便携式的普适计算方向发展。然而,与普适计算中的硬件和网络技术相比,其软件技术还相当落后,它在一定程度上制约了普适计算的发展。与资源丰富和环境稳定的传统分布式软件不同,普适计算软件需要运行在用户移动、资源贫乏、环境多变和难以预测的无线网络环境中。适应这种苛刻的移动环境需要软件自适应技术的支持。本文从移动的角度(包括用户移动、设备移动和代码移动),针对基础架构和ad hoc网络两种典型的普适计算环境,较系统地研究了普适计算软件从配置到运行期间的关键自适应技术。主要采用了源路由技术、移动代码、规则机制、策略语言、图论优化等方法,对服务发现、服务组合、设计范式优化选择和服务最优化部署等内容展开较深入讨论,以实现满足移动用户服务需求和节约移动设备受限资源两个目标。本文主要研究工作及创新点如下。第一,在DSR路由协议基础上,提出了一种适合于移动自组网,基于服务质量(QoS)和资源节约的主动服务发现和组合协议SC-QoS。采用动态源路由思想和跨协议层实现技术,将自组网中的服务发现和组合问题转化为服务网络的路径发现问题。为满足QoS要求和降低控制开销,利用一次服务路径发现同时实现路由发现、服务发现和服务组合。实验结果表明,利用受限泛洪方法和本地路径维护机制,该协议能够以较少的控制消息,获得高的成功率和强的资源节约能力。第二,基于移动代码技术,分别提出了定性和定量的设计范式优化选择方法。分析比较了MONO、C/S、COD、REV、MA和MC等6种典型设计范式的特性,给出了基于组件移动性和上下文环境的定性范式优化选择方法,以满足不同环境下的用户需求。采用规则和策略语言,将范式选择代码与功能代码分离,实现范式动态选择和方便系统维护。为进一步节约受限资源,提出了基于资源消耗的定量范式优化选择算法。第三,提出了基于组件移动约束和资源节约的动态软件优化部署算法。充分利用组件移动、本地调用、远程调用、复制和重新绑定等多种组件移动约束关系,节约受限资源。以网络流理论为基础,通过一系列等价转换规则将最优软件部署问题转化为流网络(flow network)最小切分问题,进而获得两主机间软件最优部署和多主机间次优部署。为增强算法通用性,采用抽象费用图模型来优化节约多种资源,如网络带宽、时间和电量等。实验结果表明,提出的受限费用图切分算法不仅符合软件特性和节约更多资源,而且能够很好地适应环境的变化。第四,实现了普适计算环境中的自适应原型系统。利用Jist/Swans网络模拟器实现了基于DSR的移动自组网SC-QoS协议。在JADE移动代理平台上实现了多种设计范式,并实现了一种适合于各种范式和多种资源的通用定量计算和优化配置算法。本文围绕移动环境下的软件自适应性,利用中间件有机地集成了软件从配置到运行四个主要阶段的自适应技术,它们目标一致,相互关联,层层深入。最后通过模拟实验和原型系统验证了本文提出的理论和算法的有效性和实用性。

论文目录

  • 摘要
  • ABSTRACT
  • 第一章 绪论
  • 1.1 引言
  • 1.2 研究背景与现状
  • 1.2.1 普适计算
  • 1.2.2 普适计算软件
  • 1.2.3 自适应技术
  • 1.3 面向移动的概念
  • 1.4 研究意义和研究内容
  • 1.5 论文组织结构
  • 第二章 自适应软件框架及其特性
  • 2.1 引言
  • 2.2 普适计算上下文环境
  • 2.2.1 上下文环境的描述
  • 2.2.2 典型的普适计算上下文环境
  • 2.3 自适应软件的基本框架
  • 2.4 自适应软件运行过程
  • 2.5 自适应软件的移动特性
  • 2.5.1 软件体系结构
  • 2.5.2 软件的移动特性
  • 2.5.3 软件体系结构的移动表示
  • 2.6 本章小结
  • 第三章 服务的发现与组合
  • 3.1 引言
  • 3.2 基础架构中的服务发现
  • 3.3 基础架构中的服务组合
  • 3.4.M ANETs 中服务发现和组合问题的提出
  • 3.5.M ANETs 中服务发现和组合的相关研究
  • 3.6.M ANETs 中服务发现和组合问题的形式化
  • 3.6.1 现有方法的不足
  • 3.6.2 服务组合请求
  • 3.6.3 服务网络
  • 3.6.4 电量消耗
  • 3.6.5 服务发现和组合问题形式化
  • 3.7 服务发现和组合的基本思路
  • 3.8 基于QoS 的服务发现和组合协议
  • 3.8.1.A d hoc 网络路由协议
  • 3.8.2 服务路径发现
  • 3.8.3 服务路径维护
  • 3.9 实验结果与分析
  • 3.9.1 现有的服务组合协议
  • 3.9.2 性能评价指标
  • 3.9.3 实验环境
  • 3.9.4 实验结果
  • 3.10 本章小结
  • 第四章 设计范式的优化选择
  • 4.1 引言
  • 4.2 设计范式分析
  • 4.3 定性的设计范式选择
  • 4.4 基于策略的范式实现
  • 4.5 设计范式的定量分析
  • 4.5.1 网络通信量
  • 4.5.2 反应时间
  • 4.5.3 电量消耗
  • 4.6 实验结果与分析
  • 4.7 本章小结
  • 第五章 服务的优化部署
  • 5.1 引言
  • 5.2 相关工作
  • 5.3 组件优化部署问题的形式化
  • 5.4 自由费用图切分算法
  • 5.4.1 网络流理论
  • 5.4.2 基于网络流的自由费用图切分
  • 5.5 受限费用图切分算法
  • 5.5.1 算法基本思想
  • 5.5.2 边的单类型约束转化
  • 5.5.3 边的多类型约束转化
  • 5.5.4 复制费用和同步费用
  • 5.5.5 算法的动态性
  • 5.6 切分算法的扩展
  • 5.6.1 设备和网络的失败
  • 5.6.2 设备容量受限
  • 5.6.3 多主机间的组件部署
  • 5.7 节约资源的软件切分实例
  • 5.7.1 单目标的软件切分
  • 5.7.2 多目标的软件切分
  • 5.8 实验结果与分析
  • 5.9 本章小结
  • 第六章 实验系统的设计与实现
  • 6.1 引言
  • 6.2.MANETs 中服务发现和组合协议的设计与实现
  • 6.2.1 服务发现和组合协议的消息
  • 6.2.2 服务发现和组合协议的处理逻辑
  • 6.2.3 模拟器的可视化
  • 6.3 基础架构中设计范式的实现与优化
  • 6.3.1 设计范式的实现
  • 6.3.2 设计范式定量计算的实现
  • 6.4 本章小结
  • 第七章 总结和展望
  • 7.1 论文的工作总结
  • 7.2 研究展望
  • 参考文献
  • 攻读博士学位期间发表的学术论文
  • 致谢
  • 相关论文文献

    标签:;  ;  ;  ;  ;  ;  ;  

    普适计算中面向移动的软件自适应性研究
    下载Doc文档

    猜你喜欢