仿真系统概念模型验证方法的分析与选择  

Analysis and Selection of Simulation System Conceptual Model Validation Methods

作　　者：刘彬[1] 米东[1] 杜晓明[1] 顾闯[1] 

机构地区：[1]军械工程学院装备指挥与管理系,河北石家庄050003

出　　处：《计算机仿真》2012年第5期111-113,162,共4页Computer Simulation

基　　金：国家自然科学基金项目(60904071)

摘　　要：概念模型是对真实世界的第一层次抽象,是仿真系统开发的基础。概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段。在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法、折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考。Conceptual model is the first Abstract of the real world and the basic of the development of simulation system.Therefore,the conceptual model＇s quality has important effect on the simulation system＇s quality.The conceptual model＇s validation is an important method for increasing conceptual model＇s quality.In this paper,the conceptual model validation（CMV）＇s definition,levels and contents were analyzed first.Then,the current main CMV＇s methods were introduced,which were divided into the following four kinds： Expert Validation Method,Eclectic Analysis Method,Formalization Validation Method and Executive Validation Method.Finally,the selection problem of CMV method was studied in syntax,semantic and pragmatics,which may provide the reference for conceptual model Verifiers.

关 键 词：仿真系统 概念模型验证 方法选择 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]