计算机科学 ›› 2014, Vol. 41 ›› Issue (5): 250-253.doi: 10.11896/j.issn.1002-137X.2014.05.053
顾闯,杜晓明,刘彬,王桂起
GU Chuang,DU Xiao-ming,LIU Bin and WANG Gui-qi
摘要： 概念模型验证是建模与仿真校核、验证与确认中的重点和难点。军事概念模型的内涵丰富、层次多、种类多,因而难以在一个层次上验证其全部内容。鉴于此,提出了军事概念模型分层次验证方法,将其划分为系统层、模型层、设计层3个层次,然后分析了各个层次的验证内容、验证指标、验证过程和验证方法。该方法的优点是明确了概念建模各个阶段的验证内容和验证方法,分解了验证工作的复杂性,增强了验证工作的阶段性、层次性、针对性和可操作性。
| [1] 唐见兵．作战仿真系统可信性研究[D]．长沙:国防科学技术大学,2009 [2] 王勇．复杂仿真系统概念模型建立与评估方法研究[D]．哈尔滨:哈尔滨工业大学,2009 [3] 王杏林．概念建模[M]．北京:国防工业出版社,2007:125-131 [4] Pace D K．Ideas About Simulation Conceptual Model Development[J]．Johns Hopkins APL Technical Digest,2000,1(3):327-336 [5] Johnson,Thomas H.Mission Space Model Development,Reuse and the Conceptual Models of the Mission Space Toolset[C]∥Spring Simulation Interoperability Workshop Papers．2003:893-900 [6] 吴永波,何晓晔,谭东风．军事建模仿真中概念模型定义比较[J]．火力与指挥控制,2007,32(11):49-53 [7] 刘彬．仿真系统概念模型验证方法的分析与选择[J]．计算机仿真,2012,29(5):111-115 [8] 樊浩,黄树彩．基于Petri网的概念模型验证方法研究[J]．计算机应用研究,2010,7(3):999-1002 [9] 张琦,王达,黄柯棣．概念模型的描述方法和验证过程[J]．计算机仿真,2004,21(12):70-72 [10] 黄力．基于Statechart图的C4ISR系统体系结构验证方法研究[D]．长沙:国防科学技术大学,2004 [11] 付广胜．基于xUML可执行模型的C4ISR系统需求开发与验证方法研究[D]．长沙:国防科学技术大学,2007 [12] 陈健．基于本体的仿真想定校验方法研究[D].长沙:国防科学技术大学,2009 [13] 杨惠珍,李家宽,康凤举．联邦概念模型及其VV&A研究[J]．计算机仿真,2009,26(7):109-112 [14] 胡鹏,邵晨曦．一种军事仿真概念模型的完整性评估方法[J]．系统仿真学报,2008,20(16):4207-4210 |
| No related articles found! |
|
||
首页