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

Model verification based on qualitative trend and SDG

作　　者：张贝克[1] 许欣[1] 高东[1] 马昕[1] 吴重光[1] 

机构地区：[1]北京化工大学信息科学与技术学院,北京100029

出　　处：《化工学报》2013年第12期4536-4543,共8页CIESC Journal

摘　　要：模型校核的首要目标是建立一个完备的测试剧情集。针对现有模型校核方法存在的问题,提出了基于定性趋势与符号有向图的模型校核方法。首先,在总结前人多种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

关 键 词：模型校核 定性趋势 符号有向图 系统仿真 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]