期刊文献+

任务空间概念模型执行机制初探 被引量:3

Preliminary Study on Execution of CMMS
下载PDF
导出
摘要 任务空间概念模型(CMMS)是建立作战模拟系统的根据,概念模型的错误,将直接导致作战模拟系统运行结果不可信。因此,任务空间概念模型的质量非常关键,如何对任务空间概念模型进行校核、验证与确认(VV&A)是一个非常值得研究的问题。该文在建立任务空间概念模型的形式化描述的基础上,建立了任务空间概念模型的执行机制,并提出了通过概念执行来对模型进行检查的方法。结果表明,通过概念执行,可以挖掘概念模型在结构上和逻辑上的一些错误。 Conceptual Model of Mission Space(CMMS) is the base of simulation system. Errors of CMMS will induce that the result of simulation executation becames unconfident. So the quality of CMMS itself is very important, and the research of verification,validation and accreditation(VV&A) of CMMS is very significative. This paper brings forward the formal representation of CMMS, then constructs the execution rules for CMMS on the basis of the representation, and brings forward the conceptual execution method (CEM) for CMMS VV&A. The execution result shows that CEM can discover the the faults of CMMS in its structure and logic.
出处 《计算机仿真》 CSCD 2005年第11期78-80,共3页 Computer Simulation
关键词 任务空间概念模型 校核、验证与确认 形式化 CMMS VV&A Formalization
  • 相关文献

参考文献5

  • 1黄健,黄柯棣,邱晓刚.任务空间概念模型研究[J].系统仿真学报,2000,12(1):1-5. 被引量:27
  • 2王杏林,郭齐胜,丁士拥.任务空间概念模型及其形式化抽象描述[J].系统仿真学报,2003,15(10):1408-1409. 被引量:29
  • 3Conceptual Models of the Mission Space[R]. DMSO,1998
  • 4Vincenzo Gervasi and Bashar Nuseibeh. Lightweight validation of natural language requirements[J]. Software Practice and Experience, 2002,32:113-133
  • 5Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide[M]. Addison-Wesley, 1999.

二级参考文献8

  • 1王杏林,郭齐胜.作战任务空间的一致性描述[J].系统仿真学报,2001,13(S2):190-192. 被引量:1
  • 2[2] Jack Sheehan, LTC Terry Prosser, Maj Harry Conley, LTC George Stone, Lt Kevin Yentz, Janet Morrow. Conceptual Models of the Mission Space(CMMS): Basic Concepts, Advanced Techniques, and Pragmatic Examples, 98S-SIW-127.
  • 3[3] Conceptual Models of the Mission Space(CMMS), Revision 0.2.1, DMSO, Feb 13,1997.
  • 4[4] DoD Modeling and Simnlation Master Plan, DMSO, Oct, 1995.
  • 5[5] Air & Space CMMS Project Overview, Air Force Domain Analysis Team, George Mason University, July 18,1996.
  • 6[1] M&S Data Engineering Technical Framework ( M&S DE-TF ), DMSO-DE-97-0002, Feb 13,1997.
  • 7Lee W Lacy. Developing a Consensus Perspective on Conceptual Models for Simulation Systems [A], Proceedings of the Simulation Interoperability Workshop [C], Spring 2001.
  • 8Mr. Jack Hale Sheehan. Conceptual Models of the Mission Space(CMMS): Basic Concepts, Advanced Techniques, and Pragmatic Examples [A], 98 Spring Simulation Interoperability Workshop Papers [C], March 1998, Volume 2, pp. 893-900.

共引文献52

同被引文献15

  • 1余鹏,周国富,屈婉玲,袁崇义.基于Petri网的工作流模式——工作流模式分析研究[J].系统仿真学报,2003,15(z1):119-122. 被引量:16
  • 2陈彩辉,姜汉龙.任务空间概念模型(CMM S)研究[J].计算机仿真,2005,22(9):80-84. 被引量:12
  • 3何晓晔,徐培德,沙基昌.任务空间概念模型轻量级形式化校核方法初探[J].系统仿真学报,2006,18(5):1108-1109. 被引量:6
  • 4王晔,张朴睿,孙红,甄明安.基于UML的弹道导弹攻防对抗仿真系统建模研究[J].系统仿真学报,2006,18(10):2712-2716. 被引量:10
  • 5Fowlkes J E, Dwyer D J, Oser R L, Salas E. Event-based Approach to Training (EBAT) [J]. International Journal of Aviation Psychology (S1532-7108), 1998, 8(3): 209-221.
  • 6Liao S H. An Intranet-based architecture for building military scenario training systems [J]. Journal of the Operational Research Society (S0160-5682), 2005, 56(5): 504-513.
  • 7Chapman Roger J, Ryder Joan, Bell Benjamin, Wischusen Derek, Benton Donald. An Integration of Cognitive Models and Virtual Environments for Mobile Scenario Based Training [C]// Human Factors and Ergonomics Society Annual Meeting Proceedings, Special Sessions, 2007. Santa Monica, USA: Human Factors and Ergonomics Society, 2004: 2094-2098.
  • 8W M P vander Aalst, A H M ter Hofstede, B Kiepuszewski, A P Barros. Workflow Patterns [J]. Distributed and Parallel Databases (S0926-8782), 2003, 14(3): 5-51.
  • 9Kristi D, Willbanks B S. Relationship of Team Training Components to Perceptions of Team Performance [D]. USA: University of North Texas. December 2003: 1-46.
  • 10Eduardo Salas, Katherine A Wilson, C Shaven Burke, Heather A Priest. Using Simulation-Based Training to Improve Patient Safety: What Does It Take? [J]. Jt Comm J Qual Saf (S1553-7250), 2005, 31(7): 363-371.

引证文献3

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部