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

• 作者: 刘彬 杜晓明 米东 顾闯
• 来源期刊: 计算机仿真
• 学科: 工学
• 关键词: 仿真系统 概念模型验证 方法选择
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 建模与验模
• 页码范围: 111-113,162
• 分类号: TP391.9
• 字数: 4397字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-9348.2012.05.026

摘要

概念模型是对真实世界的第一层次抽象,足仿真系统开发的基础.概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段.在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法,折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜晓明	军械工程学院装备指挥与管理系	63	321	10.0	14.0
2	米东	军械工程学院装备指挥与管理系	77	530	12.0	19.0
3	刘彬	军械工程学院装备指挥与管理系	26	67	5.0	6.0
4	顾闯	军械工程学院装备指挥与管理系	7	44	4.0	6.0