| 缩略语 | 第1-11页 |
| 摘要 | 第11-13页 |
| ABSTRACT | 第13-15页 |
| 第一章 绪论 | 第15-39页 |
| §1.1 背景与问题 | 第15-17页 |
| ·研究背景 | 第15-16页 |
| ·研究问题的提出 | 第16-17页 |
| §1.2 相关研究现状综述与分析 | 第17-34页 |
| ·NCO相关研究 | 第17-23页 |
| ·行为建模研究 | 第23-31页 |
| ·NCO研究仿真平台 | 第31-33页 |
| ·研究现状总结 | 第33-34页 |
| §1.3 研究目标与研究意义 | 第34-36页 |
| ·研究约定与目标 | 第34-36页 |
| ·研究意义 | 第36页 |
| §1.4 论文主要工作与创新 | 第36-38页 |
| §1.5 论文组织与结构安排 | 第38-39页 |
| 第二章 面向行为的MCBA建模方法论 | 第39-61页 |
| §2.1 建模分析 | 第39-42页 |
| ·建模技术复杂性 | 第39-40页 |
| ·OODA回路的启发 | 第40-41页 |
| ·CA建模的启发 | 第41-42页 |
| §2.2 方法论的理论基础 | 第42-57页 |
| ·行为的基本特征 | 第42-43页 |
| ·行为的概念框架 | 第43-56页 |
| ·行为的计算本质 | 第56页 |
| ·行为的Agent建模 | 第56-57页 |
| §2.3 面向行为的MCBA建模方法论 | 第57-60页 |
| ·方法论实现思想 | 第57-59页 |
| ·方法论参考模型 | 第59-60页 |
| ·方法论支撑技术 | 第60页 |
| §2.4 本章小结 | 第60-61页 |
| 第三章 基于PICO的NCO行为分析参考模型 | 第61-76页 |
| §3.1 面向NCO行为研究的PICO域 | 第61-63页 |
| §3.2 基于PICO域的BARM | 第63-72页 |
| ·NCO行为基元 | 第63-65页 |
| ·NCO行为基元的关联 | 第65-72页 |
| §3.3 基于BARM的NCO行为分析方法 | 第72-75页 |
| ·相关准则 | 第73-74页 |
| ·实施方法 | 第74-75页 |
| §3.4 本章小结 | 第75-76页 |
| 第四章 扩展π演算的NCO行为内在执行机理分析方法 | 第76-99页 |
| §4.1 NCO行为内在执行机理分析方法需求 | 第76-79页 |
| ·舰艇编队NCO行为并发执行特性 | 第76-77页 |
| ·现有并发行为分析、建模方法 | 第77-79页 |
| §4.2 π-EFM方法 | 第79-88页 |
| ·π-EFM实现思想 | 第79页 |
| ·π-EFM基本语法定义 | 第79-84页 |
| ·π-EFM行为操作语义 | 第84-85页 |
| ·π-EFM互模拟等价关系 | 第85-87页 |
| ·π-EFM与行为概念框架 | 第87-88页 |
| §4.3 基于π-EFM的BARM执行分析 | 第88-98页 |
| ·物理域分析 | 第89-90页 |
| ·信息域分析 | 第90-93页 |
| ·认知域分析 | 第93-96页 |
| ·组织域分析 | 第96-97页 |
| ·BARM执行分析模型 | 第97-98页 |
| §4.4 本章小结 | 第98-99页 |
| 第五章 基于π-EFM的MCBA模型导出方法 | 第99-124页 |
| §5.1 基于MCBA的行为建模分析 | 第99-104页 |
| ·建模内容 | 第99页 |
| ·基于行为特征的Agent定义 | 第99-100页 |
| ·行为基元的BA模型定义 | 第100-101页 |
| ·作战平台的CBA行为模型定义 | 第101-102页 |
| ·编队的MCBA行为模型定义 | 第102-104页 |
| §5.2 基于XML的π-EFM模型描述语言 | 第104-114页 |
| ·问题描述 | 第104-105页 |
| ·基于XML的πDL | 第105-114页 |
| §5.3 基于πDL的MCBA模型框架导出 | 第114-119页 |
| ·MCBA模型框架的导出 | 第114-119页 |
| ·行为实例建模 | 第119页 |
| §5.4 MCBA模型实现 | 第119-123页 |
| ·MCBA模型设计 | 第119-121页 |
| ·基于π-EFM的MCBA模型Java代码框架生成 | 第121-123页 |
| ·基于MCBA的舰艇编队NCO行为建模约束 | 第123页 |
| §5.5 本章小节 | 第123-124页 |
| 第六章 MCBA建模环境原型系统设计与实现 | 第124-137页 |
| §6.1 系统需求分析 | 第124-125页 |
| §6.2 原型系统总体分析与设计 | 第125-128页 |
| ·系统应用分析 | 第125-126页 |
| ·系统体系结构设计 | 第126-128页 |
| §6.3 原型系统设计与实现 | 第128-132页 |
| ·行为分析器 | 第128-129页 |
| ·执行机理分析器 | 第129-131页 |
| ·π-EFM模型转换器 | 第131页 |
| ·模型管理器 | 第131-132页 |
| §6.4 仿真引擎设计与实现 | 第132-136页 |
| ·MCBA仿真引擎需求分析 | 第132-133页 |
| ·仿真引擎实现 | 第133-136页 |
| §6.5 本章小结 | 第136-137页 |
| 第七章 导弹快艇Swarming战术攻击应用案例 | 第137-160页 |
| §7.1 问题背景 | 第137-142页 |
| ·Swarming战术 | 第137-138页 |
| ·问题描述 | 第138-140页 |
| ·建模仿真 | 第140-142页 |
| §7.2 Swarming战术仿真作战实体行为建模 | 第142-151页 |
| ·战场环境建模 | 第143页 |
| ·基于MCBA的作战实体行为建模 | 第143-149页 |
| ·关键行为基元的实例建模 | 第149-151页 |
| §7.3 仿真实验 | 第151-158页 |
| ·实验框架 | 第151-152页 |
| ·评估指标 | 第152-154页 |
| ·有效性分析方法 | 第154页 |
| ·实验分析 | 第154-158页 |
| §7.4 论文理论方法的应用效果分析 | 第158-159页 |
| §7.5 本章小结 | 第159-160页 |
| 第八章 结束语 | 第160-164页 |
| §8.1 论文的主要贡献 | 第160-162页 |
| ·论文的主要贡献 | 第160-161页 |
| ·论文研究成果的进一步分析 | 第161-162页 |
| §8.2 下一步的研究内容 | 第162-164页 |
| 致谢 | 第164-166页 |
| 参考文献 | 第166-177页 |
| 作者在攻读博士学位期间发表的论文与参加的科研项目 | 第177页 |
