任务空间概念模型轻量级形式化校核方法初探

TP391.9; 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	系统仿真学报 2006, Vol.18 (5), p.1108-1109
Hauptverfasser:	何晓晔, 徐培德, 沙基昌
Format:	Artikel
Sprache:	chi
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	TP391.9; 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型.
ISSN:	1004-731X
DOI:	10.3969/j.issn.1004-731X.2006.05.006