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

Model verification based on qualitative trend and SDG

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

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 reasoning of standard trend, of qualitative trends. Finally validity of the aforementione the establishment extraction and [de this paper takes method. of SDG ntificatio verification model, gener n of simulation model data ation of test trend, and scenarios, comparison Tennessee Eastman process as an example to prove the