There is no abstract available for this article.
This work was supported by National Natural Science Foundation of China (Grant No. 61703015).
[1] Mehta U B, Eklund D R, Romero V J, et al. Simulation Credibility: Advances in Verification, Validation, and Uncertainty Quantification. NASA Technical Report, NASA/TP-2016-219422, JANNAF/GL-2016-0001, ARC-E-DAA-TN35719, 2016. Google Scholar
[2] National Aeronautics and Space Administration. Standard for Models and Simulations. NASA-STD-7009, 2016. Google Scholar
[3] Babuska I, Oden J T. Verification and validation in computational engineering and science: basic concepts. Comput Methods Appl Mech Eng, 2004, 193: 4057-4066 CrossRef ADS Google Scholar
[4] Berard B, Bidoit M, Finkel A, et al. Systems and Software Verification: Model-Checking Techniques and Tools. Berlin: Springer, 2013. Google Scholar
[5] Tantithamthavorn C, McIntosh S, Hassan A E. An Empirical Comparison of Model Validation Techniques for Defect Prediction Models. IIEEE Trans Software Eng, 2017, 43: 1-18 CrossRef Google Scholar
[6] Liu H, Zhang J. High dynamic adaptive mobility network model and performance analysis. Sci China Ser F-Inf Sci, 2008, 51: 1154-1166 CrossRef Google Scholar
[7] Li B H, Song X, Zhang L. CoSMSOL: Complex system modeling, simulation and optimization language. Int J Model Simul Sci Comput, 2017, 08: 1741002 CrossRef Google Scholar
[8] Ao D, Hu Z, Mahadevan S. Dynamics Model Validation Using Time-Domain Metrics. J Verif Valid Uncert, 2017, 2: 011004 CrossRef Google Scholar
[9] Wu Y, Shen C, Jiang H. Strict pattern matching under non-overlapping condition. Sci China Inf Sci, 2017, 60: 012101 CrossRef Google Scholar
Figure 1
(Color online) The framework of the pattern-based validation scheme.
Download PDF
