软件自适应若干关键技术研究
| 摘要 | 第1-14页 |
| ABSTRACT | 第14-16页 |
| 第一章 绪论 | 第16-25页 |
| ·软件自适应的基本概念 | 第16-17页 |
| ·本文工作背景 | 第17-20页 |
| ·软件运行环境的变迁 | 第17-18页 |
| ·软件应用模式的变更 | 第18-19页 |
| ·软件内部结构的变化 | 第19-20页 |
| ·本文工作的系统科学基础 | 第20-22页 |
| ·控制理论 | 第21页 |
| ·复杂适应系统理论 | 第21-22页 |
| ·本文主要工作 | 第22-25页 |
| ·现有工作分析 | 第22-23页 |
| ·本文研究内容 | 第23-24页 |
| ·主要贡献和工作评估方式 | 第24-25页 |
| ·本文组织方式 | 第25页 |
| 第二章 软件自适应相关研究 | 第25-50页 |
| ·软件自适应特征分类 | 第26-30页 |
| ·感知环节的特征分类 | 第26-27页 |
| ·决策环节的特征分类 | 第27-29页 |
| ·执行环节的特征分类 | 第29-30页 |
| ·软件自适应使能技术 | 第30-39页 |
| ·基础使能技术 | 第30-34页 |
| ·感知使能技术 | 第34-35页 |
| ·决策使能技术 | 第35-38页 |
| ·执行使能技术 | 第38-39页 |
| ·相关软件工程项目 | 第39-46页 |
| ·以软件体系结构为中心 | 第40-43页 |
| ·以构件模型设计为中心 | 第43-44页 |
| ·以中间件/软件框架设计为中心 | 第44-46页 |
| ·群体自适应的初步探索 | 第46-47页 |
| ·相关研究的总结分析 | 第47-49页 |
| ·相关项目总结 | 第47-48页 |
| ·现有工作所面临的挑战 | 第48-49页 |
| ·小结 | 第49-50页 |
| 第三章 Auxo 软件自适应概念模型 | 第50-58页 |
| ·现有软件自适应概念模型 | 第50-51页 |
| ·Auxo 概念模型的组成 | 第51-54页 |
| ·Auxo 个体自适应过程 | 第52页 |
| ·Auxo 群体自适应过程 | 第52-53页 |
| ·软件自适应能力的在线调整 | 第53-54页 |
| ·Auxo 概念模型应用示例 | 第54-55页 |
| ·Auxo 概念模型参考实现概述 | 第55-57页 |
| ·Auxo 参考实现基本架构 | 第55-56页 |
| ·Auxo 参考实现的物化 | 第56-57页 |
| ·小结 | 第57-58页 |
| 第四章 构建自适应的软件个体 | 第58-82页 |
| ·基于控制理论的软件自适应 | 第58-61页 |
| ·前馈控制与反馈控制 | 第58-59页 |
| ·软件个体复合控制过程 | 第59-61页 |
| ·基于复合控制过程构造自适应软件 | 第61页 |
| ·Auxo 构件模型 | 第61-67页 |
| ·Auxo 构件语义 | 第62-63页 |
| ·Auxo 构件语法 | 第63-65页 |
| ·Auxo 构件组装 | 第65-66页 |
| ·Auxo 单元组装实例 | 第66-67页 |
| ·Auxo 单元框架 | 第67-73页 |
| ·构件和连接子运行支撑设施 | 第68页 |
| ·元层模型的组织、维护和访问 | 第68-70页 |
| ·软件自适应的实现 | 第70-71页 |
| ·软件体系结构在线修改的实现 | 第71-73页 |
| ·软件自适应能力在线调整方法 | 第73-74页 |
| ·现有方法及其不足 | 第73-74页 |
| ·基于软件体系结构演化的方法 | 第74页 |
| ·AuxoDL 语言 | 第74-79页 |
| ·AuxoDL 语言概述 | 第74-75页 |
| ·构件定义方法 | 第75-76页 |
| ·初始体系结构配置定义方法 | 第76-79页 |
| ·体系结构修改规约定义方法 | 第79页 |
| ·与相关项目的比较 | 第79-80页 |
| ·小结 | 第80-82页 |
| 第五章 集中决策的群体自适应 | 第82-92页 |
| ·任务规约驱动的群体聚合 | 第82-87页 |
| ·场景无关的任务规约 | 第82-83页 |
| ·群体聚合高层视图 | 第83-85页 |
| ·聚合协议及个体自主性的体现 | 第85-87页 |
| ·相关工作比较 | 第87页 |
| ·群体聚合规划 | 第87-90页 |
| ·基于效用的环境需求描述 | 第87-89页 |
| ·使用匈牙利方法实现聚合规划 | 第89-90页 |
| ·跨单元连接子的实例化 | 第90-91页 |
| ·小结 | 第91-92页 |
| 第六章 非集中决策的群体自适应 | 第92-116页 |
| ·分布式约束优化问题 | 第92-93页 |
| ·基于分布式约束优化的群体自适应 | 第93-98页 |
| ·非集中式策略冲突检测和消解问题 | 第94-96页 |
| ·其它群体自适应实例 | 第96-98页 |
| ·HEDA 分布式约束优化算法 | 第98-110页 |
| ·低约束密度问题 | 第98-99页 |
| ·相关工作 | 第99页 |
| ·HEDA 算法概述 | 第99-103页 |
| ·HEDA 算法核心机制 | 第103-107页 |
| ·HEDA 算法具体实现 | 第107-110页 |
| ·HEDA 算法性能评估和比较 | 第110-114页 |
| ·算法复杂性 | 第110页 |
| ·实验结果及其分析 | 第110-114页 |
| ·小结 | 第114-116页 |
| 第七章 原型实现和验证 | 第116-128页 |
| ·自适应中间件UbiStar | 第116-119页 |
| ·UbiStar 中间件架构设计 | 第116-117页 |
| ·Auxo 软件框架的具体实现 | 第117-119页 |
| ·应用验证与测试 | 第119-126页 |
| ·自适应服务器池 | 第119-122页 |
| ·智能楼宇火灾救难系统 | 第122-125页 |
| ·智能会议室 | 第125页 |
| ·其它定量测试 | 第125-126页 |
| ·第三方应用案例 | 第126页 |
| ·小结 | 第126-128页 |
| 第八章 总结及未来工作 | 第128-131页 |
| ·本文工作及主要创新点 | 第128-129页 |
| ·未来工作展望 | 第129-131页 |
| ·Auxo 参考实现近期改进 | 第129页 |
| ·超越Auxo 参考实现 | 第129-131页 |
| 致谢 | 第131-132页 |
| 参考文献 | 第132-148页 |
| 作者在学期间发表的论文 | 第148-151页 |
| 作者在学期间取得的其它学术成果 | 第151-152页 |
| 作者在学期间参与的科研项目 | 第152-153页 |
| 附录A AuxoDL 语法 | 第153-155页 |
| 附录B Auxo.AAS 接口定义 | 第155-157页 |
| 附录C HEDA 算法完整实现代码 | 第157页 |
