M&S周期中的结构模型及其校验研究
| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 第一章 绪论 | 第9-14页 |
| ·研究背景及意义 | 第9-10页 |
| ·研究现状 | 第10-12页 |
| ·校验研究现状 | 第10-11页 |
| ·结构模型及其校验现状 | 第11-12页 |
| ·研究内容 | 第12-13页 |
| ·论文组织结构 | 第13-14页 |
| 第二章 M&S及VV&A过程模型 | 第14-22页 |
| ·基本概念 | 第14-16页 |
| ·仿真模型 | 第14-15页 |
| ·结构模型 | 第15页 |
| ·校核与验证 | 第15-16页 |
| ·M&S生命周期中的建模活动 | 第16-18页 |
| ·概念建模 | 第16-17页 |
| ·结构建模 | 第17页 |
| ·程序建模 | 第17-18页 |
| ·VV&A过程模型 | 第18-20页 |
| ·国防部VV&A过程模型 | 第18-19页 |
| ·联邦VV&A过程模型 | 第19-20页 |
| ·VV&A与M&S、T&E的关系 | 第20-21页 |
| ·VV&A与M&S的关系 | 第20-21页 |
| ·VV&A与T&E的关系 | 第21页 |
| ·本章小结 | 第21-22页 |
| 第三章 M&S周期中的结构模型研究 | 第22-31页 |
| ·结构模型组成元素 | 第22页 |
| ·结构模型描述方式 | 第22-23页 |
| ·概念模型到结构模型的映射 | 第23-30页 |
| ·模型映射的基本思想 | 第23页 |
| ·映射框架 | 第23-24页 |
| ·映射的输入与输出 | 第24-28页 |
| ·映射的实现 | 第28-30页 |
| ·对程序模型的指导 | 第30页 |
| ·本章小结 | 第30-31页 |
| 第四章 结构模型的校验研究 | 第31-50页 |
| ·仿真结构模型校验目标和原则 | 第31-32页 |
| ·结构模型校验目标 | 第31页 |
| ·结构模型校验原则 | 第31-32页 |
| ·结构模型校验内容 | 第32-35页 |
| ·模型配置校验 | 第33页 |
| ·功能体校验 | 第33-34页 |
| ·接口设计校验 | 第34页 |
| ·数据校验 | 第34-35页 |
| ·模型转换语义验证 | 第35页 |
| ·结构模型校验的IDEF0描述 | 第35-37页 |
| ·结构模型校验过程 | 第37-40页 |
| ·校验依据和范围的确定 | 第38页 |
| ·校验内容和指标的确定 | 第38-39页 |
| ·校验方法的确定 | 第39页 |
| ·校验的实施 | 第39-40页 |
| ·总结评估 | 第40页 |
| ·结构模型校验方法 | 第40-49页 |
| ·组件模型配置校验方法 | 第41-42页 |
| ·功能实现体校验方法 | 第42-44页 |
| ·仿真组件接口设计校验方法 | 第44-47页 |
| ·模型语义的校验方法 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 基于可达图的仿真组件接口设计一致性校验 | 第50-63页 |
| ·问题描述 | 第50-51页 |
| ·仿真组件模型接口设计 | 第50页 |
| ·基于场景规约的接口设计一致性 | 第50-51页 |
| ·模型的形式化 | 第51-53页 |
| ·UML时序图的形式化描述 | 第51-52页 |
| ·接口设计模型的形式化描述 | 第52-53页 |
| ·基于可达图的校验方法 | 第53-62页 |
| ·可达图理论 | 第53-55页 |
| ·一致性校验的基本思想 | 第55-56页 |
| ·一致性校验流程 | 第56-57页 |
| ·时序图与接口设计的一致性分析 | 第57-58页 |
| ·构造可达图 | 第58-60页 |
| ·一致性校验 | 第60-62页 |
| ·本章小结 | 第62-63页 |
| 第六章 结构模型校验实例分析 | 第63-74页 |
| ·实例描述 | 第63-66页 |
| ·基于UML场景规约的接口设计 | 第63-65页 |
| ·仿真功能实现体 | 第65-66页 |
| ·模型校验 | 第66-73页 |
| ·校验流程 | 第66-67页 |
| ·模型配置校验 | 第67-68页 |
| ·延迟模型校验 | 第68-69页 |
| ·接口一致性校验 | 第69-73页 |
| ·本章小结 | 第73-74页 |
| 第七章 总结与展望 | 第74-76页 |
| ·论文总结及创新点 | 第74-75页 |
| ·下一步展望 | 第75-76页 |
| 参考文献 | 第76-79页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第79-80页 |
| 致谢 | 第80页 |
