一种离散事件仿真模型验证方法

doi:10.16182/j.issn1004731x.joss.201709015

系统仿真学报 ›› 2017, Vol. 29 ›› Issue (9): 1984-1990.doi: 10.16182/j.issn1004731x.joss.201709015

一种离散事件仿真模型验证方法

牛帅, 林圣琳, 李伟, 杨明

哈尔滨工业大学控制与仿真中心,黑龙江哈尔滨 150001

收稿日期:2017-05-20 发布日期:2020-06-02
作者简介:牛帅(1992-),男,河南焦作,硕士生,研究方向为仿真可信度评估;林圣琳(1989-),男,黑龙江鹤岗,博士生,研究方向为仿真效能评估;李伟(1980-),男,黑龙江望奎,博士,副教授,研究方向为仿真分析和评估。
基金资助:
国家自然科学基金(61403097)

Model Validation Method for Discrete Event Simulation

Niu Shuai, Lin Shenglin, Li Wei, Yang Ming

Control and Simulation Center, Harbin Institute of Technology, Harbin 150001, China

Received:2017-05-20 Published:2020-06-02

摘要/Abstract

摘要： 针对离散事件系统运行流程不固定、实体状态切换灵活等特点,提出一种定性定量相结合的离散事件仿真模型综合验证方法。由仿真结果一致性、事件发生序列逻辑正确性、条件事件发生概率一致性及活动执行时间一致性4方面构成评估指标体系;提出定性定量相结合的底层评估指标计算方法,对事件发生序列逻辑正确性采用定性分析方法,对其他底层指标采用假设检验和向量相似性分析的定量分析方法;综合底层评估指标得到模型验证结果。通过实例分析,验证了方法的有效性。

关键词: 离散事件系统, 模型验证, 一致性分析, 向量相似性分析

Abstract: Due to the discrete event system with some characteristics like unfixed operation process, flexible entity state and other issues, a comprehensive validation method for discrete event simulation model based on qualitative and quantitative analysis was proposed. The evaluation index system was composed of four aspects that are the consistency of simulation results, logic correctness of events occurrence sequence, consistency of condition events occurrence probability and consistency of activity execution time respectively. A qualitative and quantitative calculation method for the bottom evaluation indexes was proposed. The qualitative analysis method was used to validate logic correctness of events occurrence sequence and the quantitative analysis methods including hypothesis test and vector similarity analysis were used to validate the other bottom indicators. The results of the bottom indexes calculation were integrated to obtain the ultimate model validation result and the effectiveness of the method was verified by an example.

Key words: discrete event system, model validation, consistency analysis, vector similarity analysis

中图分类号:

TP391.9

牛帅, 林圣琳, 李伟, 杨明. 一种离散事件仿真模型验证方法[J]. 系统仿真学报, 2017, 29(9): 1984-1990.

Niu Shuai, Lin Shenglin, Li Wei, Yang Ming. Model Validation Method for Discrete Event Simulation[J]. Journal of System Simulation, 2017, 29(9): 1984-1990.

参考文献

[1] 王子才. 仿真技术发展及应用[J]. 中国工程科学, 2003, 5(2): 40-44.
(Wang Zicai.Development and Application of Simulation Technology[J]. Engineering Sciences, 2003, 5(2): 40-44.)
[2] 乔剑锋, 胡骏. 仿真模型离散状态的验证[J]. 系统仿真学报, 2004, 16(4): 794-796.
(Qiao Jianfeng, Hu Jun.Validation of Discrete Event State of Simulation Model[J]. Journal of System Simulation, 2004, 16(4): 794-796.)
[3] 胡玉伟, 马萍, 杨明, 等. 基于改进灰色关联分析的仿真数据综合一致性检验方法[J]. 北京理工大学学报, 2013, 33(7): 711-715.
(Hu Yuwei, Ma Ping, Yang Ming, et al.A Comprehensive Consistency Test Method Based on Improved Grey Relational Analysis for Simulation Results[J]. Journal of Beijing Institute of Technology, 2013, 33(7): 711-715.)
[4] 张忠. 仿真系统可信度评估方法研究 [D]. 哈尔滨: 哈尔滨工业大学, 2014: 7-10.
(Zhang Zhong.Research on Evaluation Method for Credibility of Simulation System [D]. Harbin, China: Harbin Institute of Technology, 2014: 7-10.)
[5] 刘勇, 王德才, 冯正超. 离散事件系统仿真建模与仿真策略[J]. 西南师范大学学报(自然科学版), 2005, 30(6): 1019-1025.
(Liu Yong, Wang Decai, Feng Zhengchao.Discrete Event System Simulation Modeling and Simulation[J]. Journal of Southwest China Normal University (Natural Science Edition), 2005, 30(6): 1019-1025.)
[6] Tako A A, Robinson S.Comparing model development in discrete event simulation and system dynamics[C]// Winter Simulation Conference. USA: Winter Simulation Conference, 2009: 979-991.
[7] Raunak M, Olsen M.Quantifying validation of discrete event simulation models [C]// Winter Simulation Conference. USA: IEEE Press, 2014: 628-639.
[8] Dhananjayan A, Seow K T.A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs[J]. IEEE Transactions on Human-Machine Systems (S2168-2291), 2015, 45(3): 350-361.
[9] 周品. MATLAB概率与数理统计 [M]. 北京: 清华大学出版社, 2012: 206-212.
(Zhou Pin.MATLAB Probability and Mathematical Statistics [M]. Beijing, China: Tsinghua University Press, 2012: 206-212.)
[10] 郭运瑞, 谭德俊. 概率论与数理统计 [M]. 北京: 人民出版社, 2006: 120-123.
(Guo Yunrui, Tan Dejun.Probability Theory and Mathematical Statistics [M]. Beijing, China: People's Publishing House, 2006: 120-123.)

一种离散事件仿真模型验证方法

Model Validation Method for Discrete Event Simulation

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics

本文评价

[1]	林清泉, 杨佳然, 张和明. 一种基于离散事件系统规范的复杂产品行为模型描述方法[J]. 系统仿真学报, 2022, 34(4): 661-669.
[2]	李志华, 江德, 沈汉武, 樊志华. 基于量化状态的混合系统仿真方法[J]. 系统仿真学报, 2021, 33(8): 1775-1783.
[3]	贾立山, 李昂. 基于改进欧拉角公式的飞行仿真建模方法[J]. 系统仿真学报, 2021, 33(2): 339-345.
[4]	李伟, 周玉臣, 林圣琳, 马萍, 杨明. 仿真模型验证方法综述[J]. 系统仿真学报, 2019, 31(7): 1249-1256.
[5]	张鸿喜, 张洁. 小波变换在舷外有源诱饵仿真模型验证中的应用[J]. 系统仿真学报, 2018, 30(1): 318-324.
[6]	张安民, 崔连虎. 基于特征参数流的末制导雷达建模研究[J]. 系统仿真学报, 2017, 29(6): 1374-1379.
[7]	胡建鹏, 黄林鹏. 基于P-DEVS的可执行体系结构建模与仿真方法[J]. 系统仿真学报, 2016, 28(2): 283-291.
[8]	宁小磊, 吴颖霞, 陈战旗. 加权阵灰色关联理论及其在仿真模型验证中的应用[J]. 系统仿真学报, 2015, 27(6): 1159-1164.