孙王虎
- 作品数：5 被引量：6H指数：1
- 供职机构：中国人民解放军军械工程学院装备指挥与管理系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 概念模型验证方法研究综述
- 2013年
- 概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题.
- 顾闯贾希胜刘彬田书超孙王虎
- 关键词：形式化验证方法
- 基于规则推理的军事概念模型验证方法研究被引量：1
- 2013年
- 针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率。
- 顾闯刘彬张学民孙王虎田书超
- 关键词：语义验证语义网规则语言
- 军事概念模型的格式化描述方法研究被引量：4
- 2013年
- 概念模型是对真实世界的第一次抽象,是仿真系统开发中的一个重要环节。针对当前军事概念模型开发中存在的建模元语缺失,描述不规范的问题,提出了关于系统六元的概念模型的格式化描述的建模方法,按照系统相似性的原理对作战系统的内涵、要素、结构、状态、运行、功能六个方面进行抽象,通过图、表等形式,构建出完备的、规范的军事概念模型,为军事概念模型的开发、军事领域人员与仿真技术人员的交流提供一种可供参考的方法。
- 孙王虎柏彦奇张学民
- 军事概念模型的格式化描述方法研究
- 概念模型是对真实世界的第一次抽象，是仿真系统开发中的一个重要环节。针对当前军事概念模型开发中存在的建模元语缺失，描述不规范的问题，提出了关于系统六元的概念模型的格式化描述的建模方法，按照系统相似性的原理对作战系统的内涵、...
- 孙王虎柏彦奇张学民
- 基于系统六元本体的装备保障概念模型被引量：1
- 2014年
- 针对当前概念模型中存在的问题,运用系统六元本体建模方法构建概念模型的技术框架。运用本体建模技术,从系统环境、系统组元、系统结构、系统状态、系统运行和系统功能六个方面构建系统完备的、规范的概念模型。在此基础上,运用基于系统六元本体的概念建模方法构建装备保障概念模型。结果表明,构建的装备保障概念模型更接近于自然语言表述,有一定的实用及理论研究价值。
- 蒋建柏彦奇孙王虎
- 关键词：本体
