系统仿真技术
繫統倣真技術
계통방진기술
SYSTEM SIMULATION TECHNOLOGY
2013年
1期
14-20,44
,共8页
作战仿真%校核、验证与确认(VV＆A)过程%形式化建模%统一建模语言(UML)语言%可信性
作戰倣真%校覈、驗證與確認(VV＆A)過程%形式化建模%統一建模語言(UML)語言%可信性
작전방진%교핵、험증여학인(VV＆A)과정%형식화건모%통일건모어언(UML)어언%가신성
可信性是作战仿真的生命线,对作战仿真的全生命周期进行校核、验证与确认(Verification,Validation and Accreditation,VV&A)是确保其可信性的重要途径.建立合适的VV&A过程形式化模型是开展作战仿真VV&A过程研究的前提和基础.基于统一建模语言(Unified Modeling Language,UML)分别从用例、静态结构、动态行为及交互等方面对VV&A过程进行形式化建模,建立了作战仿真VV＆A过程的用例、类图、活动图及顺序图模型,并给出相应的形式化定义.实践表明:作战仿真VV&A过程形式化建模可以使VV&A的描述规范化、标准化及形式化,便于不同领域人员的相互沟通与交流,以及VV＆A工程化应用,促进了VV&A工作顺利开展.
可信性是作戰倣真的生命線,對作戰倣真的全生命週期進行校覈、驗證與確認(Verification,Validation and Accreditation,VV&A)是確保其可信性的重要途徑.建立閤適的VV&A過程形式化模型是開展作戰倣真VV&A過程研究的前提和基礎.基于統一建模語言(Unified Modeling Language,UML)分彆從用例、靜態結構、動態行為及交互等方麵對VV&A過程進行形式化建模,建立瞭作戰倣真VV＆A過程的用例、類圖、活動圖及順序圖模型,併給齣相應的形式化定義.實踐錶明:作戰倣真VV&A過程形式化建模可以使VV&A的描述規範化、標準化及形式化,便于不同領域人員的相互溝通與交流,以及VV＆A工程化應用,促進瞭VV&A工作順利開展.
가신성시작전방진적생명선,대작전방진적전생명주기진행교핵、험증여학인(Verification,Validation and Accreditation,VV&A)시학보기가신성적중요도경.건립합괄적VV&A과정형식화모형시개전작전방진VV&A과정연구적전제화기출.기우통일건모어언(Unified Modeling Language,UML)분별종용례、정태결구、동태행위급교호등방면대VV&A과정진행형식화건모,건립료작전방진VV＆A과정적용례、류도、활동도급순서도모형,병급출상응적형식화정의.실천표명:작전방진VV&A과정형식화건모가이사VV&A적묘술규범화、표준화급형식화,편우불동영역인원적상호구통여교류,이급VV＆A공정화응용,촉진료VV&A공작순리개전.
