| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 引言 | 第12-21页 |
| ·移动计算与移动Agent技术 | 第12-14页 |
| ·移动Agent的性能评价问题及研究现状 | 第14-15页 |
| ·仿真技术、进程仿真及其研究现状 | 第15-18页 |
| ·本文的主要研究内容 | 第18-20页 |
| ·本文的组织形式 | 第20-21页 |
| 第二章 移动Agent的执行模式描述 | 第21-57页 |
| ·移动Agent的形式化描述方法介绍 | 第21-29页 |
| ·进程演算 | 第22-26页 |
| ·基本π演算 | 第22-23页 |
| ·多目π演算 | 第23-24页 |
| ·异步π演算 | 第24页 |
| ·带类型的π演算 | 第24-25页 |
| ·Mobile Ambient演算 | 第25-26页 |
| ·反应式模型 | 第26-29页 |
| ·Mobile UNITY | 第26-28页 |
| ·基于Petri网的模型 | 第28-29页 |
| ·移动Agent描述模型SMA及SMAL语言 | 第29-37页 |
| ·SMA模型 | 第29-31页 |
| ·SMAL语言的语法 | 第31-34页 |
| ·SMAL语言的执行模式 | 第34-37页 |
| ·SMAL语言的Mobile UNITY描述 | 第37-43页 |
| ·UNITY描述中的变量声明转化方法 | 第37-39页 |
| ·UNITY描述中的代码段转化方法 | 第39页 |
| ·UNITY描述函数MU | 第39-43页 |
| ·SMAL语言的π演算描述 | 第43-56页 |
| ·简单类型的多目π演算 | 第43-45页 |
| ·SMAL语言的π演算编码方法 | 第45-56页 |
| ·SMAL Agent系统 | 第46-47页 |
| ·Agent程序框架结构 | 第47-51页 |
| ·Agent程序体 | 第51-53页 |
| ·Agent语句块 | 第53-54页 |
| ·表达式 | 第54-56页 |
| ·小结 | 第56-57页 |
| 第三章 离散事件系统模型及其语义描述 | 第57-75页 |
| ·离散事件系统模型 | 第57-63页 |
| ·基本离散事件系统（Basic DEVS） | 第57-58页 |
| ·耦合离散事件系统（Coupled DEVS） | 第58-59页 |
| ·并行离散事件系统（Parallel DEVS） | 第59-61页 |
| ·离散事件系统的抽象仿真器 | 第61-63页 |
| ·实时系统的时间状态序列语义模型 | 第63-66页 |
| ·时间域（Time Domain） | 第63页 |
| ·时间状态序列模型 | 第63-66页 |
| ·离散事件系统的时间状态序列描述 | 第66-74页 |
| ·小结 | 第74-75页 |
| 第四章 移动Agent的离散事件系统模型 | 第75-87页 |
| ·Agent层次的离散事件系统模型SMA-DEVSA | 第75-81页 |
| ·线程层次的离散事件模型SMA-DEVST | 第81-86页 |
| ·小结 | 第86-87页 |
| 第五章 移动Agent的直接执行仿真模型 | 第87-98页 |
| ·直接执行仿真的常用仿真方法 | 第87-91页 |
| ·串行仿真方法 | 第87-88页 |
| ·并行仿真方法 | 第88-91页 |
| ·保守同步算法 | 第89-90页 |
| ·乐观同步算法 | 第90页 |
| ·直接执行仿真的常用并行仿真方法 | 第90-91页 |
| ·移动Agent的直接执行仿真模型MADES | 第91-95页 |
| ·MADES的事件机制 | 第92-93页 |
| ·MADES的基本结构 | 第93页 |
| ·MADES的同步机制 | 第93-95页 |
| ·移动Agent的直接执行仿真环境 | 第95-97页 |
| ·小结 | 第97-98页 |
| 第六章 移动Agent仿真环境SimulAgent | 第98-114页 |
| ·IBM Aglets简介 | 第98-102页 |
| ·Aglet的用户API | 第98-100页 |
| ·Aglets的底层系统平台 | 第100-101页 |
| ·Aglet的执行模式 | 第101-102页 |
| ·SimulAgent的结构 | 第102-104页 |
| ·SimulAgent的Agent平台：simulagent.aglets和simulagent.server | 第104-106页 |
| ·SimulAgent的仿真控制：simulagent.control | 第106-107页 |
| ·SimulAgent的API：simulagent.aglet | 第107-109页 |
| ·运行实例：一个基于移动Agent的分布互斥算法 | 第109-112页 |
| ·小结 | 第112-114页 |
| 第七章 结语 | 第114-118页 |
| ·现有工作的不足 | 第114-115页 |
| ·本文的主要工作及贡献 | 第115-116页 |
| ·后期工作展望 | 第116-118页 |
| 参考文献 | 第118-127页 |
| 附录1 图表索引 | 第127-128页 |
| 附录2 在读期间参与主要科研项目 | 第128页 |
| 附录3 在读期间发表的部分学术论文 | 第128-130页 |
| 致谢 | 第130-131页 |
