任务空间概念建模技术及其VV&A研究

论文题目: 任务空间概念建模技术及其VV&A研究

论文类型: 博士论文

论文专业: 管理科学与工程

作者: 何晓晔

导师: 沙基昌

关键词: 任务空间概念建模,概念模型,校核,验证,确认,形式化,执行机制

文献来源: 国防科学技术大学

发表年度: 2005

论文摘要: 任务空间概念模型是现实世界军事知识的第一层抽象，是军事专家知识和经验的结晶，是军事专家之间相互交流的基础，也是模型质量检查的基础。任务空间概念模型也为军事人员和技术人员之间的沟通架起了一座桥梁，是整个作战模拟系统开发的根据。所以，高质量的任务空间概念模型，有助于提高作战模拟系统的逼真度和互操作性。需求的迫切性，驱动着作战模拟系统的开发和研究，同时也使越来越多的人认识到概念模型研究的必要性和重要性。本论文在总结任务空间概念模型实践经验的基础上，研究了我军任务空间概念建模的一系列问题，主要内容如下： 1) 借鉴通用本体的思想，建立了一种任务空间概念模型的元模型，并用通用本体语言(GOL)对该元模型进行检查。 2) 在元模型的基础上，借鉴多视图建模和可视化建模的思想，提出了任务空间概念建模语言(MSCML)，详细描述了每一种建模元素、关系及其可视化标记，提出了任务空间概念建模过程，形成了适合我军特点的任务空间概念建模方法。 3) 提出了任务空间概念模型的质量评估指标，并基于该指标集，提出了两阶段专家确认方法。 4) 建立了任务空间概念模型的形式化描述，提出了轻量级概念模型和规范概念模型的定义，并建立了轻量级概念模型的执行机制，提出了形式化校核方法和执行验证方法，引入了基于可拓学的任务空间概念模型质量评估方法。 5) 设计了任务空间概念建模支持工具，以支持论文所提出的任务空间概念建模方法，规范概念模型的开发，提高开发效率，并支持模型的管理。 6) 针对潜舰对抗案例进行了任务空间概念建模实践，以验证本文提出的任务空间概念建模方法。

论文目录:

摘要

Abstract

第一章绪论

1.1 任务空间概念建模概述

1.1.1 任务空间概念建模研究的必要性

1.1.2 任务空间概念建模的基本概念

1.1.3 任务空间概念建模的研究内容

1.2 国内外发展和研究现状

1.2.1 国外研究现状

1.2.2 国内研究现状

1.2.3 结论

1.3 论文的内容组织

第二章任务空间概念建模方法

2.1 任务空间概念模型元模型和建模语言

2.1.1 任务空间概念模型的元模型研究

2.1.2 MSCML的提出

2.1.3 元模型和建模语言的完备性分析

2.2 任务空间概念建模过程

2.2.1 仿真开发生命周期

2.2.2 任务空间概念建模过程

2.3 任务空间概念模型文档规范

第三章任务空间概念模型 VV&A技术

3.1 概述

3.1.1 VV&A的定义和意义

3.1.2 概念模型VV&A的关键角色和职责

3.1.3 概念模型VV&A的原则

3.2 任务空间概念模型VV&A过程

3.2.1 校核过程

3.2.2 验证过程

3.2.3 确认过程

3.3 领域专家与VV&A

3.4 VV&A方法

3.4.1 任务空间概念模型形式化

3.4.2 校核方法

3.4.3 规范概念模型

3.4.4 执行验证

3.4.5 专家法

3.4.6 基于可拓学的模型确认度评估方法

3.4.7 VV&A方法小结

3.5 任务空间概念模型质量评估指标

3.5.1 指标集的提出

3.5.2 指标集的分析

第四章任务空间概念建模支持工具研究

4.1 BS2002总体介绍

4.1.1 BS2002的设计目标

4.1.2 系统的运行环境

4.1.3 系统的体系结构

4.2 BS2002的设计与实现

4.2.1 界面设计

4.2.2 实现情况

4.2.3 应用情况

第五章案例研究

5.1 建模框架实例

5.1.1 建模背景概述

5.1.2 静态视图

5.1.3 动态视图

5.2 模型元素描述实例

5.2.1 行动

5.2.2 实体

5.3 模型规范化检查实例

5.4 概念执行实例

5.5 基于可拓学的确认方法案例

第六章结论

6.1 主要的贡献和创新点

6.2 进一步的工作

致谢

参考文献

附录A 作者在博士学习阶段发表的论文

附录B 元模型XML Schema描述

附录C MSCML 0.1版说明

发布时间: 2006-09-14

任务空间概念建模技术及其VV&A研究

猜你喜欢