复杂仿真系统概念模型建立与评估方法研究
| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-11页 |
| Contents | 第11-14页 |
| 第1章 绪论 | 第14-32页 |
| ·课题背景和意义 | 第14-17页 |
| ·国内外研究现状 | 第17-30页 |
| ·概念模型研究综述 | 第17-19页 |
| ·概念模型建模方法研究现状 | 第19-25页 |
| ·概念模型评估方法研究现状 | 第25-30页 |
| ·主要研究内容 | 第30-32页 |
| 第2章 CMCSS技术框架研究 | 第32-49页 |
| ·引言 | 第32页 |
| ·CMCSS建模与评估过程 | 第32-38页 |
| ·CMCSS的建模过程 | 第35-36页 |
| ·CMCSS的建模原则 | 第36页 |
| ·CMCSS的评估过程 | 第36-37页 |
| ·CMCSS的评估原则 | 第37-38页 |
| ·CMCSS技术框架 | 第38-41页 |
| ·CMCSS技术框架的构成 | 第39-40页 |
| ·CMCSS的关键技术和方法 | 第40-41页 |
| ·CMCSS元模型 | 第41-48页 |
| ·CMCSS的构成 | 第41-42页 |
| ·CMCSS元模型的结构 | 第42-43页 |
| ·CMCSS元模型的语法 | 第43-48页 |
| ·本章小结 | 第48-49页 |
| 第3章 CMCSS一体化建模方法研究 | 第49-75页 |
| ·引言 | 第49页 |
| ·CMCSS建模方法需求分析 | 第49-50页 |
| ·CMCSS一体化建模方法原理 | 第50-52页 |
| ·基于XML的CMCSS数据建模方法 | 第52-57页 |
| ·CMCSS数据类型定义 | 第53-56页 |
| ·基于XML的CMCSS数据结构 | 第56-57页 |
| ·基于图形的CMCSS可视化建模方法 | 第57-62页 |
| ·基本的CMCSS图元 | 第58页 |
| ·不同类型关系的图元 | 第58-62页 |
| ·基于集合的CMCSS形式化建模方法 | 第62-69页 |
| ·CMCSS的形式化定义 | 第63-65页 |
| ·不同类型关系的形式化定义 | 第65-68页 |
| ·CMCSS的性质分析 | 第68-69页 |
| ·不同形式的CMCSS之间的转化关系 | 第69-71页 |
| ·CMCSS层次结构的形式化描述方法 | 第71-73页 |
| ·CMCSS层次运算符定义 | 第71页 |
| ·CMCSS层次结构的形式化描述 | 第71-73页 |
| ·基于CMCSS的时间消耗分析 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 第4章 CMCSS形式化评估方法研究 | 第75-116页 |
| ·引言 | 第75-76页 |
| ·CMCSS评估方法需求分析 | 第76-77页 |
| ·CMCSS形式化评估方法原理 | 第77-78页 |
| ·CMCSS评估指标的形式化描述及获取方法 | 第78-102页 |
| ·追溯性指标的形式化描述及获取方法 | 第79-81页 |
| ·完备性指标的形式化描述及获取方法 | 第81-88页 |
| ·合理性指标的形式化描述及获取方法 | 第88-93页 |
| ·一致性指标的形式化描述及获取方法 | 第93-100页 |
| ·清晰性指标的形式化描述及获取方法 | 第100-102页 |
| ·CMCSS评估指标的评估过程模型 | 第102页 |
| ·CMCSS的评估结果及问题追溯 | 第102-109页 |
| ·CMCSS评估指标分配及计算 | 第104-106页 |
| ·CMCSS评估指标的满足程度 | 第106-109页 |
| ·CMCSS评估报告规范 | 第109-110页 |
| ·CMCSS状态可达性分析 | 第110-114页 |
| ·CMCSS的状态可达性 | 第110-111页 |
| ·CMCSS的状态网模型 | 第111-112页 |
| ·状态网模型的图形化表示方法 | 第112-114页 |
| ·本章小结 | 第114-116页 |
| 第5章 CMCSS建模与评估辅助工具设计与实现 | 第116-131页 |
| ·引言 | 第116页 |
| ·CMCSS辅助工具需求分析 | 第116-117页 |
| ·CMCSS辅助工具的体系结构 | 第117-118页 |
| ·CMCSS辅助工具的总体设计方案 | 第118-119页 |
| ·CMCSS辅助工具的实现方法 | 第119-121页 |
| ·CMCSS辅助工具的原型系统 | 第121-130页 |
| ·CMCSS建模辅助模块的设计与实现 | 第121-124页 |
| ·CMCSS评估辅助模块的设计与实现 | 第124-128页 |
| ·CMCSS管理辅助模块的设计与实现 | 第128-130页 |
| ·本章小结 | 第130-131页 |
| 第6章 某攻防对抗系统的CMCSS的建立与评估 | 第131-142页 |
| ·引言 | 第131页 |
| ·系统背景 | 第131页 |
| ·建立对抗系统的CMCSS | 第131-137页 |
| ·生成对抗系统的CMCSS的基本框架 | 第132-133页 |
| ·建立对抗系统的可视化CMCSS | 第133-135页 |
| ·收集对抗系统的CMCSS的相关数据 | 第135-136页 |
| ·生成对抗系统的形式化CMCSS | 第136-137页 |
| ·评估对抗系统的CMCSS | 第137-141页 |
| ·定义对抗系统CMCSS指标体系 | 第138页 |
| ·定义对抗系统CMCSS评估方法 | 第138页 |
| ·对抗系统CMCSS评估结果计算 | 第138-141页 |
| ·本章小结 | 第141-142页 |
| 结论 | 第142-145页 |
| 参考文献 | 第145-153页 |
| 附录 CMCSS类型定义 | 第153-178页 |
| 攻读博士学位期间发表的学术论文 | 第178-180页 |
| 致谢 | 第180-181页 |
| 作者简历 | 第181页 |
