摘要
任务空间概念模型(CMMS)是建立作战模拟系统的根据,概念模型的错误,将直接导致作战模拟系统运行结果不可信。因此,任务空间概念模型的质量非常关键,如何对任务空间概念模型进行校核、验证与确认(VV&A)是一个非常值得研究的问题。该文在建立任务空间概念模型的形式化描述的基础上,建立了任务空间概念模型的执行机制,并提出了通过概念执行来对模型进行检查的方法。结果表明,通过概念执行,可以挖掘概念模型在结构上和逻辑上的一些错误。
Conceptual Model of Mission Space(CMMS) is the base of simulation system. Errors of CMMS will induce that the result of simulation executation becames unconfident. So the quality of CMMS itself is very important, and the research of verification,validation and accreditation(VV&A) of CMMS is very significative. This paper brings forward the formal representation of CMMS, then constructs the execution rules for CMMS on the basis of the representation, and brings forward the conceptual execution method (CEM) for CMMS VV&A. The execution result shows that CEM can discover the the faults of CMMS in its structure and logic.
出处
《计算机仿真》
CSCD
2005年第11期78-80,共3页
Computer Simulation