%0 Journal Article %T 军事概念模型分层次验证方法研究 %A 顾闯? %A 杜晓明? %A 刘彬? %A 王桂起? %J 计算机科学 %D 2014 %R 10.11896/j.issn.1002-137X.2014.05.053 %X 概念模型验证是建模与仿真校核、验证与确认中的重点和难点。军事概念模型的内涵丰富、层次多、种类多,因而难以在一个层次上验证其全部内容。鉴于此,提出了军事概念模型分层次验证方法,将其划分为系统层、模型层、设计层3个层次,然后分析了各个层次的验证内容、验证指标、验证过程和验证方法。该方法的优点是明确了概念建模各个阶段的验证内容和验证方法,分解了验证工作的复杂性,增强了验证工作的阶段性、层次性、针对性和可操作性。 %K 军事概念模型 %K 分层次验证 %K 本体 %K 规则推理 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140553&flag=1