| 缩略语 | 第1-15页 |
| 摘要 | 第15-17页 |
| ABSTRACT | 第17-19页 |
| 第一章 绪论 | 第19-43页 |
| ·仿真研究卫星系统所面临的新挑战 | 第19-21页 |
| ·来自卫星系统本身的挑战 | 第19-20页 |
| ·来自建模与仿真方法学的挑战 | 第20-21页 |
| ·来自系统评估的挑战 | 第21页 |
| ·小结 | 第21页 |
| ·基于Agent的建模与仿真 | 第21-28页 |
| ·背景:复杂适应系统理论 | 第22-24页 |
| ·Agent与多Agent系统 | 第24-26页 |
| ·ABMS的内容和步骤 | 第26-27页 |
| ·开展ABMS应用研究的误区和陷阱 | 第27页 |
| ·支持ABMS的方法和技术 | 第27-28页 |
| ·ABMS支持下的系统评估方法 | 第28页 |
| ·小结 | 第28页 |
| ·相关领域研究现状的综述 | 第28-36页 |
| ·Agent技术与ABMS | 第29-31页 |
| ·航天领域的自主性研究 | 第31-33页 |
| ·航天领域的建模与仿真应用研究 | 第33-34页 |
| ·系统评估理论与方法研究 | 第34-35页 |
| ·其它相关领域的研究 | 第35-36页 |
| ·ABMS对卫星系统的应用 | 第36-38页 |
| ·卫星系统仿真研究和应用中存在的缺点和不足 | 第36-37页 |
| ·使用ABMS研究多卫星系统 | 第37-38页 |
| ·论文的研究内容、组织结构和主要贡献 | 第38-43页 |
| ·论文研究的主要问题 | 第38-39页 |
| ·论文的具体研究内容和组织结构 | 第39-42页 |
| ·论文的主要贡献 | 第42-43页 |
| 第二章 基于Agent的离散-连续组合仿真 | 第43-61页 |
| ·引言 | 第43-44页 |
| ·离散-连续组合仿真 | 第44-48页 |
| ·CDCS模型规范的形式化表示 | 第44-45页 |
| ·CDCS中的事件与事件图法 | 第45-47页 |
| ·CDCS的仿真驱动算法 | 第47-48页 |
| ·Agent技术支持下的离散-连续组合仿真 | 第48-54页 |
| ·对模型规范的扩展 | 第49-51页 |
| ·对事件类型的扩展 | 第51-52页 |
| ·对仿真驱动机制的扩展 | 第52-54页 |
| ·对ABCDCS中Agent的行为逻辑分析 | 第54-59页 |
| ·对传统CDCS中模型的逻辑分析 | 第54-56页 |
| ·对ABCDCS中扩展成分的逻辑分析 | 第56-59页 |
| ·本章小结 | 第59-61页 |
| 第三章 多卫星系统自主性的分析与实现研究 | 第61-86页 |
| ·引言 | 第61页 |
| ·对自主性的认识 | 第61-64页 |
| ·来自计算机科学的认识 | 第62-63页 |
| ·航天领域对自主性认识的补充 | 第63-64页 |
| ·支持自主性实现的多卫星系统体系结构 | 第64-69页 |
| ·单卫星系统的自主体系结构 | 第64-66页 |
| ·多卫星系统的自主体系结构 | 第66-69页 |
| ·多卫星系统自主性实现的策略与方法 | 第69-77页 |
| ·卫星系统的动作原语 | 第69-72页 |
| ·多卫星系统的活动 | 第72-73页 |
| ·多卫星系统的规划与调度 | 第73-75页 |
| ·多卫星系统的任务获取与分解 | 第75-76页 |
| ·星上故障检测、诊断与修复 | 第76-77页 |
| ·支持多卫星系统自主性实现的技术 | 第77-81页 |
| ·自主多卫星系统应用举例:航天母星战斗群 | 第81-84页 |
| ·研究动机 | 第81-82页 |
| ·系统描述 | 第82页 |
| ·关键支持技术 | 第82-83页 |
| ·一个作战想定:子星防御机动与恢复 | 第83-84页 |
| ·自主性分析 | 第84页 |
| ·本章小结 | 第84-86页 |
| 第四章 基于Agent的自主多卫星系统功能行为仿真建模 | 第86-122页 |
| ·引言 | 第86-87页 |
| ·多卫星系统的功能行为和功能结构 | 第87-90页 |
| ·系统的功能行为 | 第87-89页 |
| ·卫星系统的功能行为 | 第89页 |
| ·卫星系统的功能结构 | 第89-90页 |
| ·向自主多卫星系统的扩展 | 第90页 |
| ·面向系统功能行为的Agent智能模型结构 | 第90-94页 |
| ·BDI模型 | 第91页 |
| ·BDICC模型 | 第91-92页 |
| ·E-BDI模型 | 第92-94页 |
| ·基于Agent的卫星系统功能行为模型体系 | 第94-108页 |
| ·轨控分系统的Agent模型 | 第96-99页 |
| ·姿控分系统的Agent模型 | 第99-100页 |
| ·通信分系统的Agent模型 | 第100-102页 |
| ·指令与数据处理分系统的Agent模型 | 第102-103页 |
| ·热控分系统的Agent模型 | 第103-104页 |
| ·电源分系统的Agent模型 | 第104-105页 |
| ·有效载荷的Agent模型 | 第105-107页 |
| ·契约:卫星系统Agent模型的整体性分析 | 第107-108页 |
| ·地面系统的Agent模型 | 第108页 |
| ·卫星系统Agent模型体系的分布性和自主性扩展 | 第108-110页 |
| ·分布性扩展 | 第109页 |
| ·自主性扩展 | 第109-110页 |
| ·应用举例 | 第110-120页 |
| ·激光卫星电源分系统仿真 | 第110-117页 |
| ·火灾监视多卫星系统仿真 | 第117-120页 |
| ·本章小结 | 第120-122页 |
| 第五章 自主多卫星系统ABMS的软件实现 | 第122-140页 |
| ·引言 | 第122-124页 |
| ·对现有软件平台的分析与比较 | 第124-132页 |
| ·航天领域的仿真软件 | 第124-126页 |
| ·支持ABMS的软件 | 第126-129页 |
| ·其它相关的仿真软件 | 第129-132页 |
| ·支持自主多卫星系统ABMS的实现技术 | 第132-135页 |
| ·面向对象技术 | 第132-133页 |
| ·中间件技术 | 第133-134页 |
| ·二者的结合 | 第134-135页 |
| ·一个支持自主多卫星系统ABMS的平台:absimlib | 第135-138页 |
| ·模型库 | 第135-136页 |
| ·仿真程序的运行 | 第136-137页 |
| ·用户界面 | 第137-138页 |
| ·Absimlib的分布式扩展 | 第138-139页 |
| ·本章小结 | 第139-140页 |
| 第六章 自主多卫星系统ABMS应用的VV&A | 第140-151页 |
| ·引言 | 第140页 |
| ·建模与仿真应用的VV&A | 第140-146页 |
| ·对M&S应用VV&A的简要介绍 | 第140-142页 |
| ·通用的M&S应用VV&A体系 | 第142-144页 |
| ·M&S应用可信度指标的建立与评价 | 第144-145页 |
| ·小结 | 第145-146页 |
| ·ABMS应用的VV&A | 第146-148页 |
| ·重点和难点分析 | 第146页 |
| ·实施策略及步骤 | 第146-148页 |
| ·ABMS对自主多卫星系统应用的VV&A | 第148-150页 |
| ·对独立Agent模型的VV&A | 第148-149页 |
| ·对整个模型系统VV&A的探讨 | 第149-150页 |
| ·本章小结 | 第150-151页 |
| 第七章 ABMS支持下对自主多卫星系统的效能评估 | 第151-169页 |
| ·引言 | 第151-152页 |
| ·系统的效能及其相关概念 | 第152-153页 |
| ·系统评估方法 | 第153-158页 |
| ·系统评估所用的一般方法 | 第153-155页 |
| ·系统效能分析法 | 第155-158页 |
| ·ABMS支持下的系统效能分析法 | 第158-160页 |
| ·SEA中可直接以ABMS应用为支持的部分 | 第158页 |
| ·SEA中需根据ABMS应用进行修改的部分 | 第158-159页 |
| ·ABMSEA形式化表示和实施步骤 | 第159-160页 |
| ·ABMSEA对自主多卫星系统的应用 | 第160-168页 |
| ·ABMSEA对AMSS评估应用的特点和主要过程 | 第161-162页 |
| ·应用举例1:激光卫星系统效能评估 | 第162-163页 |
| ·应用举例2:火灾监视多卫星系统效能分析 | 第163-168页 |
| ·本章小结 | 第168-169页 |
| 第八章 总结与展望 | 第169-173页 |
| ·工作总结 | 第169-170页 |
| ·对未来工作的预测和建议 | 第170-173页 |
| 致谢 | 第173-174页 |
| 参考文献 | 第174-188页 |
| 作者在学期间取得的学术成果 | 第188-190页 |
| 附录 分布式事件表的IDL代码 | 第190页 |