| 图目录 | 第1-11页 |
| 表目录 | 第11-13页 |
| 摘要 | 第13-15页 |
| ABSTRACT | 第15-17页 |
| 第一章 绪论 | 第17-39页 |
| 1．1 背景 | 第17-19页 |
| 1．1．1 研究背景 | 第17-18页 |
| 1．1．2 立题背景 | 第18-19页 |
| 1．2 相关研究领域概述 | 第19-26页 |
| 1．2．1 复杂系统与复杂性 | 第20页 |
| 1．2．2 系统建模与仿真 | 第20-22页 |
| 1．2．3 Agent技术 | 第22-25页 |
| 1．2．4 Agent、多Agent技术与卫星系统研究的结合 | 第25-26页 |
| 1．3 研究现状 | 第26-34页 |
| 1．3．1 ABMS研究现状 | 第26-33页 |
| 1．3．2 卫星系统的建模与仿真研究现状 | 第33-34页 |
| 1．4 论文研究思路 | 第34页 |
| 1．5 论文主要贡献与创新 | 第34-35页 |
| 1．6 论文结构 | 第35-39页 |
| 第二章 基于 Agent的建模与仿真方法学研究 | 第39-55页 |
| 2．1 Agent和基于Agent的建模与仿真 | 第39-42页 |
| 2．1．1 Agent、多Agent系统和建模与仿真技术的结合 | 第39页 |
| 2．1．2 ABMS的主要概念与思想 | 第39-40页 |
| 2．1．3 ABMS的特点 | 第40-41页 |
| 2．1．4 ABMS的应用范围 | 第41-42页 |
| 2．1．5 ABMS中Agent的概念与结构 | 第42页 |
| 2．2 基于Agent的建模与仿真概念化框架 | 第42-44页 |
| 2．2．1 Agent模型的建立 | 第42-44页 |
| 2．2．2 基于Agent的建模与仿真综合环境 | 第44页 |
| 2．2．3 基于Agent的模型校核与确认 | 第44页 |
| 2．3 基于Agent的模型校核与确认讨论 | 第44-47页 |
| 2．3．1 涌现现象 | 第44-45页 |
| 2．3．2 基于Agent的模型校核与确认讨论 | 第45-47页 |
| 2．4 复杂系统及基于Agent的仿真形式化描述 | 第47-51页 |
| 2．4．1 消息 | 第47-48页 |
| 2．4．2 元 Agent(Meta-Agent) | 第48-49页 |
| 2．4．3 组合 Agent(Aggregation-Agent) | 第49-50页 |
| 2．4．4 复杂系统及基于Agent的仿真形式化描述 | 第50-51页 |
| 2．5 基于Agent的建模与仿真研究步骤 | 第51-54页 |
| 2．5．1 目标系统复杂性特征与仿真需求分析 | 第51页 |
| 2．5．2 合理选择抽象层次 | 第51-53页 |
| 2．5．3 消息流分析 | 第53页 |
| 2．5．4 对 Agent进行建模 | 第53-54页 |
| 2．5．5 分布Agent | 第54页 |
| 2．6 本章小结 | 第54-55页 |
| 第三章 基于Agent的模型框架描述 | 第55-65页 |
| 3．1 形式化的必要性 | 第55-56页 |
| 3．1．1 形式化的必要性 | 第55页 |
| 3．1．2 Z规范语言 | 第55-56页 |
| 3．2 基于Agent 的模型框架 | 第56页 |
| 3．3 基于Agent 的模型形式化描述 | 第56-62页 |
| 3．3．1 实体定义 | 第56-57页 |
| 3．3．2 对象定义 | 第57页 |
| 3．3．3 Agent | 第57-59页 |
| 3．3．4 基于Agent的建模 | 第59-62页 |
| 3．4 Agent模型实现的一些细节 | 第62-63页 |
| 3．4．1 自治性的实现 | 第62-63页 |
| 3．4．2 反应性和社会性的实现 | 第63页 |
| 3．5 本章小结 | 第63-65页 |
| 第四章 基于Agent的行为建模 | 第65-79页 |
| 4．1 行为动画与行为模型 | 第65-67页 |
| 4．1．1 行为动画 | 第65-66页 |
| 4．1．2 行为模型 | 第66页 |
| 4．1．3 行为分类 | 第66-67页 |
| 4．1．4 行为建模的要求 | 第67页 |
| 4．2 Agent的内部状态 | 第67页 |
| 4．3 基于Agent的行为建模 | 第67-69页 |
| 4．3．1 行为定义 | 第67-68页 |
| 4．3．2 基于Agent的行为模型 | 第68-69页 |
| 4．4 基于Agent的行为抽象 | 第69-74页 |
| 4．4．1 一阶时态逻辑 | 第70页 |
| 4．4．2 行为聚合 | 第70-71页 |
| 4．4．3 行为分解 | 第71-73页 |
| 4．4．4 行为特化 | 第73-74页 |
| 4．4．5 行为泛化 | 第74页 |
| 4．4．6 基于Agent的行为模型综 | 第74页 |
| 4．5 预警卫星预警行为建模 | 第74-78页 |
| 4．5．1 空间预警系统 | 第74-75页 |
| 4．5．2 预警卫星的工作过程 | 第75页 |
| 4．5．3 预警卫星预警行为建模 | 第75-78页 |
| 4．6本章小结 | 第78-79页 |
| 第五章 基于Agent的建模与分布仿真软件框架 | 第79-93页 |
| 5．1 基于Agent的建模与分布仿真软件框架 | 第79页 |
| 5．1．1 ABMS设计模式 | 第79页 |
| 5．1．2 基于Agent的建模与分布仿真软件框架 | 第79页 |
| 5．2 仿真基础服务 Agent模型 | 第79-82页 |
| 5．2．1 仿真运行服务模型 | 第80-81页 |
| 5．2．2 结果统计 Agent | 第81-82页 |
| 5．2．3 人机接口Agent | 第82页 |
| 5．3 Agent仿真模型 | 第82-85页 |
| 5．3．1 Agent仿真模型结构 | 第82-83页 |
| 5．3．2 Agent仿真模型的工作流程 | 第83-85页 |
| 5．4 基于Agent 的分布仿真控制结构 | 第85页 |
| 5．5 基于 Agent的分布仿真中的时间同步算法 | 第85-92页 |
| 5．5．1 逻辑进程 LP范式 | 第85-91页 |
| 5．5．2 时间管理服务 | 第91页 |
| 5．5．3 基于Agent的分布仿真中的时间同步机制 | 第91-92页 |
| 5．6 本章小结 | 第92-93页 |
| 第六章 基于Agent的分布仿真中的通信系统 | 第93-105页 |
| 6．1 通信系统结构 | 第93-95页 |
| 6．1．1 底层通讯的支持 | 第93-94页 |
| 6．1．2 通信服务Agent | 第94页 |
| 6．1．3 仿真 Agent内部通信结构 | 第94-95页 |
| 6．1．4 通信过程 | 第95页 |
| 6．2 Agent通信语言 | 第95-98页 |
| 6．2．1 KQML语言 | 第96-98页 |
| 6．2．2 KQML的扩展 | 第98页 |
| 6．3 通信协议 | 第98-100页 |
| 6．4 基于XML的通信框架 | 第100-102页 |
| 6．4．1 XML概述 | 第100页 |
| 6．4．2 基于XML的通信框架 | 第100-102页 |
| 6．5 通信系统的特点 | 第102-103页 |
| 6．6 本章小结 | 第103-105页 |
| 第七章 基于 Agent的分布仿真环境的实现 | 第105-115页 |
| 7．1 开发工具 | 第105-106页 |
| 7．1．1 Java语言 | 第105-106页 |
| 7．1．2 开发环境 | 第106页 |
| 7．1．3 Java语言的性能 | 第106页 |
| 7．2 系统设计原则 | 第106-107页 |
| 7．2．1 面向对象的分析与设计 | 第106-107页 |
| 7．2．2 层次化的Agent建模与仿真 | 第107页 |
| 7．2．3 底层仿真功能的封装 | 第107页 |
| 7．3 主要的类设计 | 第107-111页 |
| 7．3．1 Agent类设计 | 第107-109页 |
| 7．3．2 仿真 Agent类结构与处理流程 | 第109-110页 |
| 7．3．3 KQML消息包处理 | 第110-111页 |
| 7．4 应用开发举例 | 第111-114页 |
| 7．5 本章小结 | 第114-115页 |
| 第八章 基于Agent的卫星系统建模与仿真 | 第115-149页 |
| 8．1 卫星系统的构成形态 | 第115-116页 |
| 8．1．1 单卫星系统 | 第115页 |
| 8．1．2 多卫星系统 | 第115-116页 |
| 8．2 基于Agent的多卫星系统建模与仿真 | 第116-131页 |
| 8．2．1 基于Agent的多卫星系统建模 | 第116-117页 |
| 8．2．2 基于Agent的多卫星系统模型分类 | 第117-123页 |
| 8．2．3 基于Agent的多卫星系统仿真 | 第123-125页 |
| 8．2．4 运行实例 | 第125-131页 |
| 8．2．5 小结 | 第131页 |
| 8．3 基于Agent的单卫星系统建模与仿真 | 第131-148页 |
| 8．3．1 单卫星系统的分系统 Agent分解 | 第131-132页 |
| 8．3．2 单卫星系统的分系统级Agent的配置与仿真任务 | 第132页 |
| 8．3．3 卫星 GN&C分系统建模与仿真及软件实现 | 第132-141页 |
| 8．3．4 通信有效载荷&分系统建模与仿真及软件实现 | 第141-147页 |
| 8．3．5 小结 | 第147-148页 |
| 8．4 本章小结 | 第148-149页 |
| 第九章 总结与展望 | 第149-153页 |
| 9．1 工作总结 | 第149-151页 |
| 9．1．1 复杂系统与复杂性理论探讨 | 第149页 |
| 9．1．2 基于Agent的建模与仿真方法学 | 第149-150页 |
| 9．1．3 基于Agent的分布仿真环境 | 第150页 |
| 9．1．4 基于Agent的卫星系统建模与仿真 | 第150-151页 |
| 9．2 研究展望 | 第151-153页 |
| 致谢 | 第153-155页 |
| 参考文献 | 第155-167页 |
| 附录A 复杂系统与复杂性理论讨论 | 第167-181页 |
| 附录B Z语言的符号规范表 | 第181-183页 |
| 附录C 攻读博士学位期间的科研情况 | 第183-185页 |
| 作者简介 | 第185页 |
