| 图目录 | 第1-9页 |
| 表目录 | 第9-10页 |
| 摘要 | 第10-12页 |
| Abstract | 第12-14页 |
| 第一章 绪论 | 第14-36页 |
| ·研究背景 | 第14-18页 |
| ·C~4ISR体系结构研究的必要性和重要意义 | 第14-16页 |
| ·C~4ISR体系结构的主要研究方向 | 第16-17页 |
| ·C~4ISR体系结构验证技术研究存在的问题 | 第17-18页 |
| ·国内外研究现状 | 第18-33页 |
| ·体系结构框架 | 第19-22页 |
| ·核心体系结构数据模型 | 第22-29页 |
| ·体系结构验证方法 | 第29-33页 |
| ·本文的主要工作及论文结构 | 第33-36页 |
| 第二章 基于CADM的C~4ISR系统体系结构验证方法 | 第36-55页 |
| ·基本概念 | 第36-38页 |
| ·体系结构的概念 | 第36-37页 |
| ·体系结构验证的相关概念 | 第37-38页 |
| ·基于CADM的C~4ISR系统体系结构验证方法的基本内涵 | 第38-43页 |
| ·基于CADM体系结构验证方法的理论基础 | 第38-41页 |
| ·基于CADM体系结构验证方法的主要优势 | 第41-43页 |
| ·基于CADM的C~4ISR系统体系结构验证的内容框架 | 第43-50页 |
| ·体系结构信息模型 | 第43-45页 |
| ·基于CADM的体系结构语法验证内容 | 第45-46页 |
| ·基于CADM的体系结构语义验证内容 | 第46-49页 |
| ·基于CADM的体系结构语用验证内容 | 第49-50页 |
| ·基于CADM的体系结构验证方法的关键技术 | 第50-54页 |
| ·本章小结 | 第54-55页 |
| 第三章 基于CADM的体系结构语义验证方法 | 第55-76页 |
| ·基于CADM的数据完备性验证方法 | 第55-60页 |
| ·IDEFlX介绍 | 第55-57页 |
| ·基于CADM的数据完备性验证过程 | 第57-59页 |
| ·案例分析 | 第59-60页 |
| ·基于CADM的系统可达性验证方法 | 第60-66页 |
| ·C~4ISR系统可达性验证的内容 | 第61页 |
| ·基于CADM的C~4ISR系统互连关系验证过程 | 第61-64页 |
| ·案例分析 | 第64-66页 |
| ·基于CADM的数据一致性验证方法 | 第66-75页 |
| ·C~4ISR体系结构数据一致性验证的主要内容 | 第66-68页 |
| ·基于CADM的数据一致性验证过程 | 第68-72页 |
| ·案例分析 | 第72-75页 |
| ·本章小结 | 第75-76页 |
| 第四章 基于CADM的系统结构合理性验证方法 | 第76-98页 |
| ·C~4ISR系统结构设计合理性的度量指标 | 第76-78页 |
| ·基于CADM的C~4ISR系统结构耦合率度量 | 第78-86页 |
| ·相关研究 | 第78-80页 |
| ·基于CADM的系统结构耦合率度量方法 | 第80-84页 |
| ·性质证明 | 第84-86页 |
| ·基于CADM的C~4ISR系统结构内聚缺乏率度量 | 第86-92页 |
| ·相关研究 | 第86-87页 |
| ·基于CADM的系统结构内聚缺乏率度量方法 | 第87-90页 |
| ·性质证明 | 第90-92页 |
| ·基于CADM的C~4ISR系统结构复杂率度量 | 第92-96页 |
| ·相关研究 | 第92-93页 |
| ·基于CADM的C~4ISR系统结构复杂率度量方法 | 第93-96页 |
| ·性质证明 | 第96页 |
| ·本章小结 | 第96-98页 |
| 第五章 基于CADM的作战规则合理性验证方法 | 第98-119页 |
| ·基于仿真模型进行作战规则合理性验证的必要性 | 第98-99页 |
| ·基于CADM的作战规则仿真验证的主要过程 | 第99-101页 |
| ·建立可执行模型相关的CADM模型 | 第101-104页 |
| ·作战节点模型(OV2)的CADM模型 | 第101-102页 |
| ·作战活动模型(OV5)的CADM模型 | 第102-103页 |
| ·作战规则模型(OV6a)的CADM模型 | 第103-104页 |
| ·逻辑数据模型(OV7)的CADM模型 | 第104页 |
| ·基于CADM的作战规则仿真模型的生成方法 | 第104-118页 |
| ·对象Petri网描述与扩展 | 第105-107页 |
| ·作战活动模型的转换规则 | 第107-110页 |
| ·作战规则模型的转换规则 | 第110-115页 |
| ·逻辑数据模型的转换规则 | 第115-116页 |
| ·作战节点模型的转换规则 | 第116页 |
| ·仿真模型的生成方法 | 第116-118页 |
| ·本章小结 | 第118-119页 |
| 第六章 综合应用案例研究 | 第119-138页 |
| ·某旅防空作战指挥信息系统概述 | 第119-120页 |
| ·某旅区域防空作战指挥信息系统的体系结构 | 第120-127页 |
| ·作战活动描述(OV5) | 第121页 |
| ·作战节点连接描述(OV2) | 第121-122页 |
| ·作战规则描述(OV6a) | 第122-124页 |
| ·逻辑数据模型(OV7) | 第124页 |
| ·系统功能描述(SV4) | 第124-125页 |
| ·系统接口描述(SV1) | 第125-126页 |
| ·系统数据交换矩阵(SV6) | 第126-127页 |
| ·系统结构合理性验证 | 第127-130页 |
| ·系统结构耦合率计算 | 第127-128页 |
| ·系统结构内聚缺乏率计算 | 第128-129页 |
| ·系统结构复杂率计算 | 第129页 |
| ·系统结构合理性度量 | 第129-130页 |
| ·作战规则合理性验证 | 第130-137页 |
| ·建立可执行模型 | 第130-133页 |
| ·建立仿真模型 | 第133-135页 |
| ·仿真结果分析 | 第135-137页 |
| ·本章小结 | 第137-138页 |
| 第七章 结束语 | 第138-141页 |
| ·本文的主要贡献 | 第138-139页 |
| ·今后进一步的工作 | 第139-141页 |
| 致谢 | 第141-143页 |
| 参考文献 | 第143-149页 |
| 附录A:攻读博士学位期间发表的论文 | 第149-151页 |
| 附录B:《DOD体系结构框架》1.0的产品开发顺序 | 第151-153页 |
