基于定性趋势与符号有向图的模型校核方法

模型校核的首要目标是建立一个完备的测试剧情集。针对现有模型校核方法存在的问题，提出了基于定性趋势与符号有向图的模型校核方法。首先，在总结前人多种SDG建模方法的基础上，提出了SDG校核模型的建模方法。其次，提出了基于定性趋势与符号有向图的模型校核方法，包括建立SDG校核模型、产生测试剧情、推理标准趋势序列、仿真模型数据趋势提取与识别和趋势对比分析5部分。最后，以TE模型为例进行分析，证明该方法的有效性。

Model verification based on qualitative trend and SDG

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.