作战仿真系统可信性研究
| 摘要 | 第1-15页 |
| Abstract | 第15-17页 |
| 第一章 绪论 | 第17-34页 |
| ·研究背景 | 第17-22页 |
| ·作战仿真 | 第17-20页 |
| ·作战仿真VV&A | 第20-22页 |
| ·国内外研究的现状及发展趋势 | 第22-29页 |
| ·国外研究现状 | 第22-26页 |
| ·国内研究的现状 | 第26-28页 |
| ·发展趋势 | 第28-29页 |
| ·论文主要的研究内容、组织结构和主要贡献 | 第29-34页 |
| ·论文的主要研究内容 | 第29-30页 |
| ·论文的组织结构 | 第30-32页 |
| ·论文的创新与主要贡献 | 第32-34页 |
| 第二章 作战仿真VV&A总体研究 | 第34-52页 |
| ·引言 | 第34页 |
| ·作战仿真VV&A及其相关概念 | 第34-36页 |
| ·作战仿真VV&A研究的框架结构 | 第36-38页 |
| ·作战仿真VV&A方法论 | 第38-42页 |
| ·从定性到定量的综合集成方法 | 第38-39页 |
| ·VV&A立方体方法 | 第39-40页 |
| ·VV&A的物理－事理－人理（WSR）方法 | 第40-42页 |
| ·作战仿真VV&A的原则与过程模型 | 第42-45页 |
| ·作战仿真VV&A原则 | 第42-43页 |
| ·作战仿真系统VV&A过程模型 | 第43-45页 |
| ·作战仿真VV&A机制 | 第45-51页 |
| ·作战仿真VV&A人员机制 | 第45-49页 |
| ·作战仿真VV&A任务分解机制 | 第49-51页 |
| ·本章小结 | 第51-52页 |
| 第三章 作战仿真VV&A过程的形式化建模 | 第52-68页 |
| ·引言 | 第52页 |
| ·作战仿真VV&A过程形式化建模的必要性 | 第52-53页 |
| ·基于UML的作战仿真VV&A过程建模 | 第53-59页 |
| ·基于UML的VV&A过程用例建模 | 第54-55页 |
| ·基于UML的VV&A过程静态建模 | 第55-57页 |
| ·基于UML的VV&A过程行为建模 | 第57-58页 |
| ·基于UML的VV&A过程交互建模 | 第58-59页 |
| ·基于UML的作战仿真VV&A过程管理建模 | 第59-64页 |
| ·VV&A过程管理的用例建模 | 第59-60页 |
| ·VV&A过程管理的静态建模 | 第60页 |
| ·VV&A过程管理的动态建模 | 第60-61页 |
| ·基于活动代理的VV&A过程管理建模 | 第61-64页 |
| ·基于IDEF0 的作战仿真VV&A过程建模 | 第64-67页 |
| ·基于IDEF0 的VV&A过程分析 | 第64-65页 |
| ·基于IDEF0 的VV&A过程建模 | 第65-66页 |
| ·基于IDEF0 的VV&A过程模型的形式化描述 | 第66-67页 |
| ·本章小结 | 第67-68页 |
| 第四章 作战仿真系统需求校核与军事概念模型验证 | 第68-91页 |
| ·引言 | 第68-69页 |
| ·作战仿真系统需求校核 | 第69-79页 |
| ·问题的提出 | 第69-70页 |
| ·作战仿真系统需求校核的方法与策略 | 第70-75页 |
| ·作战仿真系统需求校核指标 | 第75-76页 |
| ·作战仿真系统需求一致性校核 | 第76-79页 |
| ·作战仿真系统军事概念模型验证 | 第79-90页 |
| ·问题的提出 | 第80-81页 |
| ·军事概念模型验证的形式化定义 | 第81-82页 |
| ·军事概念模型验证步骤 | 第82-83页 |
| ·军事概念模型验证方法 | 第83-86页 |
| ·军事概念模型验证指标 | 第86-90页 |
| ·本章小结 | 第90-91页 |
| 第五章 作战仿真系统数学模型及软件模型校核与验证 | 第91-123页 |
| ·引言 | 第91-92页 |
| ·作战仿真系统数学模型校核与验证 | 第92-103页 |
| ·问题的提出 | 第92页 |
| ·作战仿真系统数学模型分类及其形式化描述 | 第92-95页 |
| ·作战仿真系统数学模型校核 | 第95-99页 |
| ·作战仿真系统数学模型验证 | 第99-103页 |
| ·作战仿真系统软件模型校核与验证 | 第103-122页 |
| ·作战仿真系统软件模型的层次结构 | 第103-104页 |
| ·作战仿真系统软件模型校核与验证的方法与技术 | 第104-110页 |
| ·软件模型校核与验证研究 | 第110-122页 |
| ·本章小结 | 第122-123页 |
| 第六章 作战仿真系统可信性评估研究 | 第123-144页 |
| ·引言 | 第123页 |
| ·作战仿真系统可信性评估与VV&A的关系 | 第123-124页 |
| ·作战仿真系统可信性评估的类型与方式 | 第124-128页 |
| ·作战仿真系统可信性评估的类型 | 第124-125页 |
| ·作战仿真系统可信性评估的方式 | 第125-128页 |
| ·作战仿真系统可信性评估指标体系 | 第128-132页 |
| ·作战仿真系统可信性评估方法研究 | 第132-143页 |
| ·已有的可信性评估方法分析与比较 | 第132-137页 |
| ·主观综合评判法 | 第137-140页 |
| ·灰色关联综合法 | 第140-143页 |
| ·本章小结 | 第143-144页 |
| 第七章 XX作战仿真系统VV&A实例 | 第144-164页 |
| ·引言 | 第144-145页 |
| ·XX作战仿真系统的VV& A总体设计 | 第145-146页 |
| ·需求校核 | 第146-150页 |
| ·执行需求校核 | 第147-148页 |
| ·军事需求可信性评估 | 第148-150页 |
| ·需求确认 | 第150页 |
| ·军事概念模型验证 | 第150-152页 |
| ·执行军事概念模型验证 | 第150-152页 |
| ·军事概念模型评估 | 第152页 |
| ·军事概念模型确认 | 第152页 |
| ·数学模型校核与验证 | 第152-154页 |
| ·执行数学模型校核与验证 | 第152-153页 |
| ·数学模型校核与验证 | 第153-154页 |
| ·数学模型确认 | 第154页 |
| ·软件模型校核与验证 | 第154-162页 |
| ·仿真软件单元校核与验证 | 第154-155页 |
| ·仿真软件部件校核与验证 | 第155-160页 |
| ·仿真系统校核与验证 | 第160-162页 |
| ·仿真系统确认 | 第162-163页 |
| ·本章小结 | 第163-164页 |
| 第八章 总结与展望 | 第164-169页 |
| ·论文工作总结 | 第164-166页 |
| ·未来工作展望 | 第166-169页 |
| 致谢 | 第169-171页 |
| 参考文献 | 第171-188页 |
| 攻读博士学位期间发表的论文 | 第188-189页 |
| 攻读博士学位期间参加的科研工作 | 第189页 |
