| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 1 前言 | 第12-30页 |
| ·引言 | 第12-15页 |
| ·研究现状分析 | 第15-25页 |
| ·服务计算与数字家庭 | 第15-21页 |
| ·服务计算的概念 | 第16页 |
| ·服务计算的体系结构和抽象模型 | 第16-18页 |
| ·数字家庭与服务计算的发展研究 | 第18-21页 |
| ·资源受限服务中间件 | 第21页 |
| ·中间件的概念 | 第21页 |
| ·资源受限服务中间件研究 | 第21页 |
| ·普适计算与数字家庭 | 第21-25页 |
| ·普适计算的定义 | 第21-23页 |
| ·家庭普适计算与智能空间研究 | 第23-25页 |
| ·本论文所要解决的问题 | 第25-26页 |
| ·问题的解决方案概述 | 第26-27页 |
| ·本论文的创新工作 | 第27-28页 |
| ·本论文的组织结构 | 第28-30页 |
| 2 家庭智能空间服务中间件架构 | 第30-45页 |
| ·引言 | 第30-31页 |
| ·家庭智能空间服务中间件技术分析 | 第31-35页 |
| ·部署模式 | 第31-32页 |
| ·开发框架 | 第32-35页 |
| ·家庭智能空间服务中间件的架构设计 | 第35-38页 |
| ·家庭智能空间服务中间件的工作流程 | 第38-43页 |
| ·规则驱动的服务流程触发 | 第41-42页 |
| ·服务搜索和匹配 | 第42页 |
| ·服务调用 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 3 基于 Web 服务的资源受限设备服务代理 | 第45-64页 |
| ·引言 | 第45-49页 |
| ·相关工作 | 第49-50页 |
| ·设备服务代理 | 第50-52页 |
| ·设备驱动架构 | 第52-57页 |
| ·抽象设备模板 | 第53-54页 |
| ·标准设备模板 | 第54-56页 |
| ·特定设备驱动 | 第56-57页 |
| ·驱动过程语言 | 第57-60页 |
| ·系统实现与实验 | 第60-62页 |
| ·本章小结 | 第62-64页 |
| 4 家庭智能空间服务规则生成 | 第64-81页 |
| ·引言 | 第64-66页 |
| ·相关工作 | 第66-67页 |
| ·ROUGH SET 理论 | 第67-68页 |
| ·服务规则生成系统 | 第68-69页 |
| ·服务规则提取算法 | 第69-75页 |
| ·属性约简算法 | 第71-73页 |
| ·属性值约简算法 | 第73-75页 |
| ·实验：室内光照调节规则生成 | 第75-79页 |
| ·实验：规则自动提取属性约简算法测试 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 5 家庭智能空间自动服务组合 | 第81-104页 |
| ·引言 | 第81-85页 |
| ·相关工作 | 第85-86页 |
| ·基于程序合成的服务组合 | 第86-87页 |
| ·基于逻辑语义的服务匹配 | 第87页 |
| ·自动服务组合的方法 | 第87-102页 |
| ·自动组合服务建模 | 第88-94页 |
| ·服务的一阶逻辑公式表示 | 第88-91页 |
| ·基于一阶逻辑公式的定理证明 | 第91-93页 |
| ·组合服务流程建模 | 第93-94页 |
| ·基于QoS 的组件服务优化选择 | 第94-102页 |
| ·构造组件的服务匹配请求 | 第95-96页 |
| ·基于逻辑语义的服务匹配搜索 | 第96-98页 |
| ·基于QoS 评价模型的最优组件服务选择 | 第98-102页 |
| ·系统实现：自动组合服务流程建模 | 第102-103页 |
| ·本章小结 | 第103-104页 |
| 6 总结与展望 | 第104-106页 |
| ·总结 | 第104-105页 |
| ·展望 | 第105-106页 |
| 参考文献 | 第106-115页 |
| 附录 A 标准设备模板及驱动文件实例：Water Heater | 第115-120页 |
| 附录 B 自动推理系统的输入文件 | 第120-121页 |
| 致谢 | 第121-122页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第122-123页 |