可信性是作战仿真的生命线,对作战仿真系统建设的全生命周期进行校核、验证与确认(Verification, Validation and Accreditation, ......

针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强，提出了一种基于规则推理的军事概念模型验证方法，并详细介......