| 中文摘要 | 第1-7页 |
| 英文摘要 | 第7-10页 |
| 目录 | 第10-14页 |
| 第一章 引言 | 第14-26页 |
| 1．1 背景 | 第14-17页 |
| 1．1．1 普适计算－计算模式的新浪潮 | 第15-16页 |
| 1．1．2 智能空间－普适计算的集中体现 | 第16-17页 |
| 1．2 本文的研究范畴 | 第17-23页 |
| 1．2．1 智能空间软件平台 | 第18-21页 |
| 1．2．2 智能空间中觉察上下文计算 | 第21-23页 |
| 1．3 本文工作成果 | 第23-25页 |
| 1．3．1 Smart Platform-一种智能空间软件平台 | 第23-24页 |
| 1．3．2 Context Logic-面向智能空间上下文服务的上下文表示和推理模型 | 第24页 |
| 1．3．3 Smart Classroom-一个面向远程教育的智能空间 | 第24-25页 |
| 1．4 论文组织 | 第25-26页 |
| 第二章 智能空间软件平台的设计分析 | 第26-40页 |
| 2．1 智能空间系统相对于传统分布式系统的特点 | 第26-29页 |
| 2．1．1 系统的动态性 | 第26-27页 |
| 2．1．2 交互的自发性 | 第27页 |
| 2．1．3 系统的整合性 | 第27-28页 |
| 2．1．4 无线网带来的特有故障现象 | 第28页 |
| 2．1．5 设备形态的异质性 | 第28-29页 |
| 2．1．6 呈现流（Streaming）特征的多模态接口模块间的通信 | 第29页 |
| 2．2 智能空间软件平台的设计指导原则 | 第29-35页 |
| 2．2．1 应用构造模式 | 第30-32页 |
| 2．2．2 协调模型 | 第32-34页 |
| 2．2．3 轻量级（Light Weight） | 第34-35页 |
| 2．3 已有相关研究 | 第35-38页 |
| 2．3．1 OAA（Open Agent Architecture） | 第35-36页 |
| 2．3．2 Metaglue | 第36-37页 |
| 2．3．3 Event Heap | 第37-38页 |
| 2．4 本章小结 | 第38-40页 |
| 第三章 Smart Platform－面向智能空间的软件平台 | 第40-58页 |
| 3．1 Smart Platform的结构设计 | 第40-43页 |
| 3．1．1 抽象模型 | 第40页 |
| 3．1．2 体系结构 | 第40-41页 |
| 3．1．3 运行时刻环境结构 | 第41-42页 |
| 3．1．4 运行环境的自发现和组织机制 | 第42-43页 |
| 3．2 Agent间协调机制 | 第43-46页 |
| 3．2．1 基于消息组的发布/订阅协调模型 | 第43页 |
| 3．2．2 混杂通信模式 | 第43-45页 |
| 3．2．3 基于XML的通信语言 | 第45-46页 |
| 3．3 运行时刻环境管理和调试支持 | 第46-49页 |
| 3．3．1 Agent间依赖关系的维护 | 第46-48页 |
| 3．3．2 对分布式系统调试的支持 | 第48-49页 |
| 3．4 Agent开发接口和工具 | 第49-51页 |
| 3．5 Smart Platform的通信性能 | 第51-53页 |
| 3．6 与已有相关研究的比较 | 第53-56页 |
| 3．7 本章小结 | 第56-58页 |
| 第四章 智能空间中的上下文和上下文服务 | 第58-75页 |
| 4．1 智能空间中的上下文信息 | 第58-60页 |
| 4．1．1 信息类型 | 第58-59页 |
| 4．1．2 对象的属性或对象间的关系 | 第59页 |
| 4．1．3 信息的变化频度 | 第59-60页 |
| 4．2 上下文获取方法 | 第60-61页 |
| 4．3 上下文推理和上下文的不确定性 | 第61-63页 |
| 4．3．1 上下文的推理 | 第61-63页 |
| 4．3．2 上下文的不确定性（Uncertainty） | 第63页 |
| 4．4 智能空间中的上下文服务 | 第63-65页 |
| 4．4．1 觉察上下文应用开发和实施的困难 | 第63-64页 |
| 4．4．2 解决思路－公共的上下文服务 | 第64-65页 |
| 4．5 已有相关研究 | 第65-69页 |
| 4．5．1 Context Toolkit | 第65-66页 |
| 4．5．2 Context Shadow | 第66-67页 |
| 4．5．3 Context Fabric | 第67-68页 |
| 4．5．4 存在的不足 | 第68-69页 |
| 4．6 Context Cube:一种具有良好形式化基础的上下文服务参考结构 | 第69-74页 |
| 4．6．1 角色划分 | 第69-70页 |
| 4．6．2 功能接口 | 第70-71页 |
| 4．6．3 Context Base Server内部功能模块 | 第71-72页 |
| 4．6．4 关键设计思想 | 第72-74页 |
| 4．7 本章小结 | 第74-75页 |
| 第五章 上下文的表示和推理－Context Logic | 第75-113页 |
| 5．1 需求分析 | 第75-81页 |
| 5．1．1 上下文表示和推理模型的组成部分 | 第75-76页 |
| 5．1．2 上下文表示和推理模型应满足的要求 | 第76-78页 |
| 5．1．3 已有相关研究 | 第78-81页 |
| 5．2 Context Logic的背景－一阶概率逻辑 | 第81-84页 |
| 5．2．1 一个应用场景 | 第83-84页 |
| 5．3 Context Logic中上下文数据模型 | 第84-87页 |
| 5．4 Context Logic中上下文推理知识表示语言 | 第87-91页 |
| 5．4．1 规则定义语句 | 第87-89页 |
| 5．4．2 预设上下文定义语句 | 第89-91页 |
| 5．5 上下文推理知识表示语言的语义 | 第91-96页 |
| 5．5．1 语句的ground实例 | 第91页 |
| 5．5．2 有效规则 | 第91-92页 |
| 5．5．3 原因集独立假设 | 第92-95页 |
| 5．5．4 剩余概率平均分布假设 | 第95-96页 |
| 5．5．5 条件独立假设 | 第96页 |
| 5．6 可观察上下文原子和上下文证据 | 第96页 |
| 5．7 Context Logic中上下文查询语言 | 第96-97页 |
| 5．8 Context Logic的查询解答算法 | 第97-105页 |
| 5．8．1 BN中节点对于查询的必需性分析 | 第98页 |
| 5．8．2 查询解答算法 | 第98-104页 |
| 5．8．3 Belief Updating算法选择 | 第104-105页 |
| 5．9 查询解答算法的复杂性分析 | 第105-111页 |
| 5．9．1 构造BN的复杂度 | 第105-106页 |
| 5．9．2 BN上Belief Updating的复杂度 | 第106-107页 |
| 5．9．3 实验证明 | 第107-109页 |
| 5．9．4 讨论 | 第109-111页 |
| 5．10 本章小结 | 第111-113页 |
| 第六章 智能教室－面向远程教育的智能空间应用系统的研究 | 第113-141页 |
| 6．1 目前远程教育实践中的若干困难 | 第113-114页 |
| 6．2 解决方案－基于智能空间的远程教育 | 第114-116页 |
| 6．3 智能教室的功能设计 | 第116-125页 |
| 6．3．1 远程学生的虚拟出席 | 第116-121页 |
| 6．3．2 透明人机交互接口 | 第121-124页 |
| 6．3．3 课堂经历记录 | 第124-125页 |
| 6．4 智能教室硬件基础设施的设计 | 第125-129页 |
| 6．4．1 信息呈现设备 | 第126页 |
| 6．4．2 传感和感知设备 | 第126-127页 |
| 6．4．3 计算设备 | 第127-129页 |
| 6．5 智能教室软件系统的设计 | 第129-138页 |
| 6．5．1 Agent封装的一般性原则 | 第129-130页 |
| 6．5．2 模块的划分 | 第130-131页 |
| 6．5．3 Agent间交互接口的定义 | 第131-138页 |
| 6．6 与已有相关工作的比较 | 第138-140页 |
| 6．7 本章小结 | 第140-141页 |
| 第七章 结论和展望 | 第141-147页 |
| 7．1 结论 | 第141-144页 |
| 7．1．1 Smart Platform | 第141-143页 |
| 7．1．2 Context Logic | 第143-144页 |
| 7．2 主要贡献 | 第144-145页 |
| 7．3 展望 | 第145-147页 |
| 参考文献 | 第147-155页 |
| 致谢 | 第155-156页 |
| 附录1定理1的证明 | 第156-158页 |
| 附录2智能教室Agent划分和接口规范 | 第158-166页 |
| 1． Agent定义 | 第158-159页 |
| 2． Agent间消息定义 | 第159-166页 |
| 个人简历 | 第166页 |
| 在学期间的研究成果及发表的学术论文 | 第166-168页 |
