| 摘要 | 第1-12页 |
| ABSTRACT | 第12-14页 |
| 第一章 绪论 | 第14-22页 |
| ·研究背景 | 第14-16页 |
| ·C4ISR 系统建设需要体系结构设计的支持 | 第14页 |
| ·功能设计在体系结构设计与实现中的地位和作用 | 第14-15页 |
| ·系统功能设计中存在的问题 | 第15-16页 |
| ·国内外研究现状 | 第16-19页 |
| ·功能建模方法 | 第16-18页 |
| ·功能验证技术 | 第18-19页 |
| ·本文的主要工作及论文结构 | 第19-22页 |
| 第二章 体系结构中系统功能设计方法框架 | 第22-35页 |
| ·系统功能描述（SV-4）产品概述 | 第22-24页 |
| ·产品设计的基本内容 | 第22-23页 |
| ·产品主要目的和设计原则 | 第23-24页 |
| ·产品形式化定义 | 第24页 |
| ·系统功能描述产品与其他产品之间的关系 | 第24-31页 |
| ·体系结构产品数据一致性 | 第25-26页 |
| ·体系结构产品开发顺序 | 第26-27页 |
| ·与作战视图产品之间的关系 | 第27-29页 |
| ·与系统视图产品之间的关系 | 第29-31页 |
| ·系统功能设计过程 | 第31-33页 |
| ·小结 | 第33-35页 |
| 第三章 基于数据流图的系统功能建模方法 | 第35-54页 |
| ·系统功能层次结构模型的建立 | 第35-40页 |
| ·系统功能的选择 | 第37-38页 |
| ·功能之间逻辑关系的确立 | 第38-40页 |
| ·系统功能数据流图模型的建立 | 第40-46页 |
| ·数据流图建模方法 | 第40-42页 |
| ·系统功能数据流图建模元素 | 第42-45页 |
| ·建模数据来源 | 第45页 |
| ·建模过程 | 第45-46页 |
| ·系统功能建模工具的实现 | 第46-53页 |
| ·需求分析 | 第46-47页 |
| ·功能模块化设计 | 第47-48页 |
| ·数据库设计 | 第48-49页 |
| ·界面设计 | 第49-50页 |
| ·代码设计与实现 | 第50-53页 |
| ·小结 | 第53-54页 |
| 第四章 基于对象Petri 网的系统功能可执行模型生成方法 | 第54-68页 |
| ·对象Petri 网基础 | 第54-57页 |
| ·对象Petri 网对基本Petri 网的扩展 | 第54-56页 |
| ·对象Petri 网形式化定义 | 第56-57页 |
| ·系统功能数据流图模型的转换规则 | 第57-63页 |
| ·基本规则 | 第57-58页 |
| ·规则详细描述 | 第58-62页 |
| ·转换工具分析设计 | 第62-63页 |
| ·其他相关模型数据的使用方法 | 第63-67页 |
| ·系统节点模型数据的使用方法 | 第64-65页 |
| ·系统数据交换矩阵的使用方法 | 第65-66页 |
| ·系统性能参数矩阵的使用方法 | 第66页 |
| ·系统动态描述的使用方法 | 第66-67页 |
| ·小结 | 第67-68页 |
| 第五章 案例研究 | 第68-82页 |
| ·某旅防空作战指挥信息系统概述 | 第68页 |
| ·指挥信息系统作战视图产品描述 | 第68-73页 |
| ·作战活动描述（OV-5） | 第68-71页 |
| ·作战节点连接描述（OV-2） | 第71-73页 |
| ·指挥信息系统系统视图产品描述 | 第73-77页 |
| ·系统功能描述 | 第73-75页 |
| ·其他相关系统视图产品描述 | 第75-77页 |
| ·系统功能可执行模型的生成 | 第77-81页 |
| ·小结 | 第81-82页 |
| 第六章 结束语 | 第82-84页 |
| ·本文的主要贡献 | 第82-83页 |
| ·今后进一步的工作 | 第83-84页 |
| 致谢 | 第84-86页 |
| 参考文献 | 第86-90页 |
| 作者在学期间取得的学术成果 | 第90页 |