| <中文摘要> | 第1页 |
| <关键词> | 第3-4页 |
| <英文摘要> | 第4-5页 |
| <英文关键词> | 第5-10页 |
| 第一章 引言 | 第10-14页 |
| ·研究背景 | 第10-11页 |
| ·论文工作 | 第11-12页 |
| ·论文组织 | 第12-14页 |
| 第二章 移动环境中的Cache技术 | 第14-36页 |
| ·移动计算环境 | 第14-19页 |
| ·移动计算系统体系结构 | 第19-23页 |
| ·移动数据访问中的cache技术 | 第23-25页 |
| ·实例研究 | 第25-35页 |
| ·小结 | 第35-36页 |
| 第三章 数据收集算法 | 第36-60页 |
| ·自动数据收集 | 第36-40页 |
| ·基于概率图的自动数据收集算法 | 第40-46页 |
| ·复杂度分析 | 第46-47页 |
| ·模拟试验 | 第47-51页 |
| ·试验结果 | 第51-54页 |
| ·相关工作 | 第54-58页 |
| ·小结 | 第58-60页 |
| 第四章 Cache验证算法 | 第60-84页 |
| ·介绍 | 第60-62页 |
| ·传统验证算法 | 第62-66页 |
| ·基于client/agent/server的卷回调算法 | 第66-71页 |
| ·Web访问的分卷策略 | 第71-73页 |
| ·模拟试验 | 第73-76页 |
| ·试验结果 | 第76-79页 |
| ·相关工作 | 第79-83页 |
| ·小结 | 第83-84页 |
| 第五章 Cache状态迁移协议 | 第84-112页 |
| ·问题的提出 | 第84-87页 |
| ·Cache状态迁移协议 | 第87-96页 |
| ·协议验证 | 第96-107页 |
| ·性能分析 | 第107-110页 |
| ·小结 | 第110-112页 |
| 第六章 结束语 | 第112-116页 |
| ·论文贡献 | 第112-114页 |
| ·进一步的工作 | 第114-116页 |
| 附录 协议验证的PROMELA程序 | 第116-128页 |
| <引文> | 第128-134页 |
| 发表文章目录 | 第134-135页 |
| 致谢 | 第135页 |