概念模型验证方法研究综述  

Overview Research of Conceptual Models Validation Methods

作　　者：顾闯[1] 贾希胜[1] 刘彬[1] 田书超[1] 孙王虎[1] 

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

出　　处：《军械工程学院学报》2013年第6期19-24,共6页Journal of Ordnance Engineering College

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

摘　　要：概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题.Conceptual model validation is an important measure to guarantee and increase the simu- lation creditability. It is also an important and difficult problem in the modeling and simulation VV^A domain. In this paper, the conceptual model validation methods are classified into four cat- egories：informal, static, dynamic and formal validation methods and an conceptual model valida- tion based on ontology is proposed. Then the basic idea, basic principle, basic process, appropriate object,advantages and disadvantages of all kinds of validation methods are analyzed and summa- rized to clarify the advantages, disadvantages and appropriate scope of the validation methods. This provides reference for dhoosing validation method and set out the problems that need more research in the future.

关 键 词：概念模型验证 非形式化验证方法 静态验证方法 动态验证方法 形式化验证方法 

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