Preliminary Research on Verification and Validation for CGF Behavioral Modeling

doi:10.16182/j.issn1004731x.joss.20-0949

Abstract

Abstract: Building computer generated force model is a very important job in combat simulation. Its core content is modeling of complicated human behavior, including cognition behavioral modeling and physical behavioral modeling. The credibility is vital for behavioral model. Verification and validation (V&V) in all life circle of behavioral modeling can insure the credibility of behavioral model. On the basis of explaining V&V of behavioral modeling and other conceptions, the process model of behavioral modeling is proposed. The V&V process of CGF behavioral modeling is studied emphasizly. Many effective V&V methods for CGF behavioral modeling are explored.

Key words: behavioral modeling, Verification and Validation (V&V), behavioral model, Computer Generated Forces (CGF), verification, validation

CLC Number:

TP391.9

Tang Jianbing, Zhang Qi, Jiao Peng, Zha Yabing. Preliminary Research on Verification and Validation for CGF Behavioral Modeling[J]. Journal of System Simulation, 2021, 33(2): 288-294.

References

[1] Vishwakarma S, Agrawal A.A Survey on Activity Recognition and Behavior Understanding in Video Surveillance[J]. The Visual Computer (S0178-2789), 2013, 29(10): 983-1009.
[2] 王昌金, 龚光红. 计算机生成兵力[M]. 北京: 国防工业出版社, 2013.
Wang Changjin, Gong Guanghong.Computer Generate Forces[M]. Beijing: National Defense Industry Press, 2013.
[3] 刘博, 李蜀瑜. 基于NuSMV的AADL行为模型验证的探究[J]. 计算机技术与发展, 2012, 22(2): 110-113.
Liu Bo, Li Shuyu.Research on Verification Method of AADL Behavior Model Based on NuSMV[J]. Computer Technology and Development, 2012, 22(2): 110-113.
[4] U.S DoD, Defense Modeling and Simulation Office (DMSO). Verification, Validation and Accreditation Recommended Practice Guides (RPG)[EB/OL]. (2016-08-10) [2020-10-20]. http://www.dmso.mil.
[5] Balci O, Ormby W F, Carr, et al. Planning for verification, validation, and accreditation of modeling and simulation applications[C]// 32nd conference on Winter simulation. San Diego, CA, USA: Society for Computer Simulation International, 2000.
[6] IEEE 1278.EEE 1278.4. IEEE Trial-Use Recommended Practice for Distributed Interactive Simulation Verification, Validation, and Accreditation[Z]. 1997.
[7] 总装备部电子信息基础部. 美国校核、验证与确认实践指南(上、下册)[M]. 徐学文, 译. 北京: 海潮出版社, 2001.
Electronic Information Foundation Department of General Equipment Department. Verification, Validation and Accreditation (VV＆A) recommended practices guide[M]. Xu Xuewen, translated. Beijing: Haichao Press, 2001.
[8] 张琪. 学习驱动的CGF决策行为建模方法研究[D]. 长沙: 国防科技大学, 2019.
Zhang Qi.Learning Driven Behavior Modeling Methods for Decision Making of CGFs[D]. Changsha: National University of Defense Technology, 2019.
[9] 郭齐胜. 计算机生成兵力导论[M]. 北京: 国防工业出版社, 2006.
Guo Qisheng.An Introduction of Computer Generated Forces[M]. Beijing: National Defense Industry Press, 2006.
[10] 唐见兵, 查亚兵. 作战仿真校核、验证与确认及可信度评估[M]. 北京: 国防工业出版社, 2013.
Tang Jianbing, Zha Yabing.Verification, Validation and Accreditation and Credibility Evaluation for Warfare Simulation System[M]. Beijing: National Defense Industry Press, 2013.
[11] 唐见兵. 作战仿真系统可信性研究[D]. 长沙: 国防科技大学, 2009.
Tang Jianbing.Research on the credibility for warfare simulation system[D]. Changsha: National University of Defense Technology, 2009.
[12] 唐见兵, 查亚兵. 基于UML的作战仿真VV&A过程形式化建模[J]. 系统仿真技术, 2013, 9(1): 14-20, 44.
Tang Jianbing, Zha Yabing.Formalization Modeling on VV＆A Process for Warfare Simulation by UML[J]. System Simulation Technology, 2013, 9(1): 14-20, 44.
[13] 叶丽君. 基于UML描述的概念模型校验技术研究[D]. 郑州: 解放军信息工程大学, 2008.
Ye Lijun.Research on the V&V Technology of the Conceptual Model Described by UML[D]. Zhengzhou: PLA Information Engineering University, 2008.
[14] 李振松, 顾斌. 基于UPPAAL的AADL行为模型验证方法研究[J]. 计算机科学, 2012, 39(2): 159-161.
Li Zhensong, Gu Bin.Research on Verification Method of AADL Behavior Model Based on UPPAAL[J]. Computer Science, 2012, 39(2): 159-161.

[1]	Hongguang Yao, Huihui Xiao, Hang Zhang. Simulation on Critical Conditions of Delay Diffusion in Scale-free Logistics Network [J]. Journal of System Simulation, 2022, 34(4): 901-909.
[2]	Liu Yu, Xie Qiang. Technical Characteristics of Digital Twins and Application Prospects in the Field of Flight Testing [J]. Journal of System Simulation, 2021, 33(6): 1364-1373.
[3]	Xu Kai, Zeng Junjie, Yang Weilong, Qin Long, Yin Quanjun. Overview of CGF-oriented Cognitive Architecture [J]. Journal of System Simulation, 2021, 33(2): 239-248.
[4]	Hu Yue, Xu Kai, Qin Long, Yin Quanjun, Zha Yabing. Spatio-Temporal Memory Models in Spatial Cognitive Behavioral Modeling [J]. Journal of System Simulation, 2021, 33(2): 249-261.
[5]	Jia Lishan, Li Ang. Flight Simulation Modeling Method Based on Improved Euler Angle Formula [J]. Journal of System Simulation, 2021, 33(2): 339-345.
[6]	Xu Kai, Zeng Yunxiu, Wu Wansen, Yin Quanjun, Zha Yabing. Research on CGF-oriented Intention Recognition Behavioral Modeling Framework [J]. Journal of System Simulation, 2021, 33(10): 2344-2355.
[7]	Du Heng, Gao Chunhai, Huang Qing, Cang Huaiming. Simulation Research and Application on Urban Rail Transit Fully Automatic Operation System [J]. Journal of System Simulation, 2020, 32(2): 157-163.
[8]	Li Wei, Zhou Yuchen, Lin Shenglin, Ma Ping, Yang Ming. Review of Simulation Model Validation Methods [J]. Journal of System Simulation, 2019, 31(7): 1249-1256.
[9]	Jiao Peng, Zhang Qi, Wei Xiangyu, Zha Yabing. Some Problems and Countermeasures in Simulation Credibility Evaluation [J]. Journal of System Simulation, 2019, 31(7): 1257-1262.
[10]	Shi Ruijie, Zou Ping, Wu Xike, Liu Gang, Gao Chen, Zhang Junyuan, Li Lin, Guo Li. Cloud-end Cooperative Manufacturing and Simulation Application in Electrical Equipment Industry [J]. Journal of System Simulation, 2019, 31(4): 771-786.
[11]	Yin Meng, He Yun, Xu Zhigang, Zhang Shixuan. Simulation and Verification of Feasibility for the Torsional Vibration System Test Scheme [J]. Journal of System Simulation, 2018, 30(8): 3206-3212.
[12]	Ye Peng, Li Shan, Sun Feng, Han Yue, Zhang Tao, Li Jiajue. Research on Modeling and Simulation of AC/DC Hybrid Power Distribution System [J]. Journal of System Simulation, 2018, 30(7): 2689-2699.
[13]	Zhang Haolong, Liao Xin, Li Bin, Wei Wenshu, Pei Yin, Hui Junpeng. Research on Performance Validation of Aircraft Based on Air-table [J]. Journal of System Simulation, 2018, 30(10): 3739-3746.
[14]	Wang Yuhong, YangPu. Application of PWA-Based Safety Diagnosis Method in CSTR System [J]. Journal of System Simulation, 2018, 30(1): 292-297.
[15]	Zhang Hongxi, Zhang Jie. Application of Wavelet Transform in Simulation Model Validation of Outboard Active Decoy [J]. Journal of System Simulation, 2018, 30(1): 318-324.