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

doi:10.3969/j.issn.0438-1157.2013.12.040

化工学报 ›› 2013, Vol. 64 ›› Issue (12): 4536-4543.DOI: 10.3969/j.issn.0438-1157.2013.12.040

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

张贝克, 许欣, 高东, 马昕, 吴重光

北京化工大学信息科学与技术学院, 北京 100029

收稿日期:2013-07-26 修回日期:2013-08-06 出版日期:2013-12-05 发布日期:2013-12-05
通讯作者: 高东
作者简介:张贝克（1976- ），男，副教授。

Model verification based on qualitative trend and SDG

ZHANG Beike, XU Xin, GAO Dong, MA Xin, WU Chongguang

College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, China

Received:2013-07-26 Revised:2013-08-06 Online:2013-12-05 Published:2013-12-05

摘要/Abstract

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

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

Abstract: 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.

Key words: model verification, qualitative trend, signed directed graph, system simulation

中图分类号:

TP391.9

张贝克, 许欣, 高东, 马昕, 吴重光. 基于定性趋势与符号有向图的模型校核方法[J]. 化工学报, 2013, 64(12): 4536-4543.

ZHANG Beike, XU Xin, GAO Dong, MA Xin, WU Chongguang. Model verification based on qualitative trend and SDG[J]. CIESC Journal, 2013, 64(12): 4536-4543.

参考文献 20

[1]	Wu Chongguang (吴重光).System Modeling and Simulation (系统建模与仿真)[M].Beijing:Tsinghua University Press, 2008
[2]	Sargent P.Verification and validation of simulation models//Proceedings of the 2009 Winter Simulation Conference[C].Washington DC, 2009
[3]	Goalwin P W, Feinberg J M, Mayne P L.A detailed look at verification, validation, and accreditation (VV&A) automated support tools//Proceedings of the 2001 Fall Simulation Interoperability Workshop[C].Orlando, 2001
[4]	Min Feiyan, Yang Ming, Wang Zicai.Knowledge-based method for the validation of complex simulation models[J].Simulation Modeling Practice and Theory, 2010, 18:500-515
[5]	Kleijnen J P C.Verification and validation of simulation models:theory and methodology[J].European Journal of Operational Research, 1995, 82:145-162
[6]	Oberkampf William L, Timothy G Trucano.Verification and validation benchmarks[J].Nuclear Engineering and Design, 2008, 238 (3):716-743
[7]	Shi Aifen (史爱芬), Wu Qizong (吴祈宗), Wu Zhihui (武智晖), Zheng Heng (郑恒).Method for verification of complex systems simulation models and software[J].Computer Simulation (计算机仿真), 2006, 10:138-140
[8]	Wang Wenyuan (汪文元), Sha Jichang (沙基昌).Research on workflow model verification based on UML activity diagrams reduction method[J].Computer Engineering (计算机工程), 2006, 32 (15):41-43
[9]	Li Lizhou (李立州), Wang Jingchao (王靖超), Wang Xinmei (王心美), Yue Zhufeng (岳珠峰), LÜ Zhenzhou (吕震宙).Model identification with optimization method[J].Chinese Quarterly of Mechanics (力学季刊), 2005, 26 (2):299-304
[10]	Tang Jun (唐俊), Zhang Mingqing (张明清), Ye Lijun (叶丽君).Research on verification and validation of requirement analysis model in process of M&S[J].Acta Simulata Systematica Sinica (系统仿真学报), 2008, 20 (18):4806-4808
[11]	Wu Chongguang (吴重光), Xia Tao (夏涛), Zhang Beike (张贝克).The qualitative simulation based on deep knowledge model of signed directed graph[J].Acta Simulata Systematica Sinica (系统仿真学报), 2003, 15 (10):1351-1355
[12]	Na Yongliang (纳永良), Wu Chongguang (吴重光), Xia Yingchun (夏迎春), Zhang Weihua (张卫华).Classification of process hazard scenario and SDG qualitative identification method[J].CIESC Journal (化工学报), 2009, 60 (10):2503-2508
[13]	Zhang Beike (张贝克), Xu Xin (许欣), Ma Xin (马昕), Wu Chongguang (吴重光).Safety assessment on the key equipment of coal gasification based on SDG-HAZOP method[J].Journal of China Coal Society (煤炭学报), 2008, 33 (7):816-821
[14]	Lu Bingnan (卢秉南), Zhang Beike (张贝克), Ma Xin (马昕), Xu Xin (许欣), Gao Dong (高东).Fault diagnosis of control system based on signed directed graph model[J].CIESC Journal (化工学报), 2009, 60:2243-2251
[15]	Gao Dong, Wu Chongguang, Zhang Beike, Ma Xin. Signed directed graph and qualitative trend analysis based fault diagnosis in chemical industry[J].Chinese Journal of Chemical Engineering, 2010, 18 (2):265-276
[16]	Maurya M R, Rengaswamy R, Venkatasubramanian V.A signed directed graph and qualitative trend analysis-based framework for incipient fault diagnosis[J].Chem. Eng. Res.Des., 2007, 85 (A10):1407-1422
[17]	Yang Fan (杨帆), Xiao Deyun (萧德云).SDG-based analysis of fault propagation principals for complex systems[J].High Technology Letters (高技术通讯), 2005, 10 (15):33-36
[18]	Shi Yu (石宇), Qiu Tong (邱彤), Chen Bingzhen (陈丙珍).Fault analysis using process signed directed graph model[J].Chemical Industry and Engineering Progress (化工进展), 2006, 12 (25):1484-1488
[19]	Li Anfeng (李安峰), Xia Tao (夏涛), Zhang Beike (张贝克), Zhang Zhaoqian (张钊谦), Wu Chongguang (吴重光).SDG modeling approach for chemical engineering process[J].Acta Simulata Systematica Sinica (系统仿真学报), 2003, 15 (10):1364-1368
[20]	Downs J J, Vogel E F.A plant-wide industrial process control problem[J].Computer Chemical Engineering, 1993, 17 (3):245-255

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

Model verification based on qualitative trend and SDG

PDF (PC)

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献 20

相关文章 5

编辑推荐

Metrics

本文评价

[1]	李传坤，王春利，高新江. 己内酰胺装置安全运行指导系统研发与应用[J]. 化工进展, 2014, 33(04): 1060-1066.
[2]	郭宇晴，邹志云，任夫健，桂新军. 一种间歇过程HAZOP危险性分析方法及其应用[J]. CIESC Journal, 2011, 30(11): 2569-.
[3]	王杭州, 陈丙珍, 何小荣, 赵劲松, 邱彤. 基于开源组件的SDG推理平台 [J]. 化工学报, 2010, 61(7): 1829-1836.
[4]	黄道平, 龚婷婷, 曾辉. 基于非线性主元分析和符号有向图的故障诊断方法 [J]. 化工学报, 2009, 60(12): 3058-3062.
[5]	石宇，邱彤，陈丙珍. 用于化工过程的SDG故障分析方法 [J]. CIESC Journal, 2006, 25(12): 1484-.