Model verification based on qualitative trend and SDG

被引:0
作者
Zhang, Beike [1 ]
Xu, Xin [1 ]
Gao, Dong [1 ]
Ma, Xin [1 ]
Wu, Chongguang [1 ]
机构
[1] College of Information Science and Technology, Beijing University of Chemical Technology
来源
Gao, D. (gaodong@mail.buct.edu.cn) | 2013年 / Materials China卷 / 64期
关键词
Model verification; Qualitative trend; Signed directed graph; System simulation;
D O I
10.3969/j.issn.0438-1157.2013.12.040
中图分类号
学科分类号
摘要
The primary objective of the model verification is to establish a comprehensive test scenario set. In order to solve the problems of current existed model verification methods, a model verification method based on qualitative trend and signed directed graph(SDG) is proposed in this paper. First of all, by summarizing various SDG modeling methods studied in previous research, a modeling method of the SDG verification model is proposed. Secondly, the model verification method based on qualitative trend and SDG is presented, including the establishment of SDG verification model, generation of test scenarios, reasoning of standard trend, extraction and identification of simulation model data trend, and comparison of qualitative trends. Finally, this paper takes Tennessee Eastman process as an example to prove the validity of the aforementioned method. © All Rights Reserved.
引用
收藏
页码:4536 / 4543
页数:7
相关论文
共 20 条
  • [1] Wu C., System Modeling and Simulation, (2008)
  • [2] Sargent P., Verification and validation of simulation models, Proceedings of the 2009 Winter Simulation Conference, (2009)
  • [3] Goalwin P.W., Feinberg J.M., Mayne P.L., A detailed look at verification, validation, and accreditation(VV&A) automated support tools, Proceedings of the 2001 Fall Simulation Interoperability Workshop, (2001)
  • [4] Min F., Yang M., Wang Z., Knowledge-based method for the validation of complex simulation models, Simulation Modeling Practice and Theory, 18, pp. 500-515, (2010)
  • [5] Kleijnen J.P.C., Verification and validation of simulation models: theory and methodology, European Journal of Operational Research, 82, pp. 145-162, (1995)
  • [6] Oberkampf William L., Trucano T.G., Verification and validation benchmarks, Nuclear Engineering and Design, 238, 3, pp. 716-743, (2008)
  • [7] Shi A., Wu Q., Wu Z., Zheng H., Method for verification of complex systems simulation models and software, Computer Simulation, 10, pp. 138-140, (2006)
  • [8] Wang W., Sha J., Research on workflow model verification based on UML activity diagrams reduction method, Computer Engineering, 32, 15, pp. 41-43, (2006)
  • [9] Li L., Wang J., Wang X., Yue Z., Lu Z., Model identification with optimization method, Chinese Quarterly of Mechanics, 26, 2, pp. 299-304, (2005)
  • [10] Tang J., Zhang M., Ye L., Research on verification and validation of requirement analysis model in process of M&S, Acta Simulata Systematica Sinica, 20, 18, pp. 4806-4808, (2008)