仿真模型离散状态的验证

文中对验证指标重新给出三种分类：实体连续动态特性，实体交互特性和实体离散状态特性。针对实体离散状态特性，提出用配对集描述离散状态问题，借助状态树分析其需要验证的三方面因素，给出验证方法及方法有效性的分析。

Validation of Discrete Event State of Simulation Model

Validation effort can be classified into three categories, which are validation of entity dynamic character, entity static character and entity discrete even status. The last one can be described by a set of double cooperate element, which can be decomposed into three factors necessary to validate, by using status tree. Furthermore, these factors can be validated by different techniques and their effectiveness is analyzed in this context.