面向移动计算的服务不确定性模型及其推理技术

提高服务可用、可靠及性能等方面的稳定性是当前移动服务计算中急待解决的挑战性问题。本项目研究移动计算中服务不确定性模型及其推理技术，旨在为根本解决上述问题提供基础理论与技术支持。分析移动计算中服务和环境特性因素、以及相互关系，建立服务不确定性的概念模型，设计本体和模糊本体进行语义描述。以此为基础，引入并拓展贝叶斯网络，建立基于服务宿居上下文的服务不确定性模型；研究移动计算中服务相依赖的分布资源、服务内部行为与服务不确定性三者的关系，借助扩展的Pi－演算和马尔可夫链等手段，构建基于相依赖分布资源和服务行为的服务不确定性模型；设计集成语义规约，建立面向移动计算的服务统一不确定性形式化模型。从服务应用需求出发，建立一套兼容性的服务不确定性描述语言规范及辅助工具。系统研究与服务不确定性模型相适宜的推理技术，建立以混合语义推理为核心的动态集成性推理机制，设计并实现自适应不确定性推理算法。