PDF(1463 KB)
Verification and validation of SDG fault diagnosis model
WU ChongGuang1;ZHANG WeiHua2;XIA YingChun2;NA YongLian2;WANG ChunLi2;JIANG WeiWei2;LI ChuanKun3
Journal of Beijing University of Chemical Technology ›› 2009, Vol. 36 ›› Issue (6) : 105-110.
PDF(1463 KB)
PDF(1463 KB)
Verification and validation of SDG fault diagnosis model
WU ChongGuang1;ZHANG WeiHua2;XIA YingChun2;NA YongLian2;WANG ChunLi2;JIANG WeiWei2;LI ChuanKun3
In order to achieve a better completeness and identification performance, the verification and validation (V&V) technique for qualitative models is applied to the signed graph (SG or SDG) quantitative fault diagnosis model. Based on the SDG-HAZOP platform, four key V&V steps are proposed: informal verification, static check, dynamic test, and semi-quantitative risk analysis of diagnosis results. Two steps in the static check procedure, operational point reachability verification of abnormal reason and adverse consequence, are described in detail. Finally, application of these two steps is demonstrated using a heating furnace as an example.
［1］Iri M, Aoki K, O'shima E, et al. An algorithm for diagnosis of system failures in the chemical process［J］. Computers & Chemical Engineering, 1979, 3: 489-493.
［2］吴重光, 夏涛，张贝克. 基于符号定向图SDG）深层知识模型的定性仿真［J］. 系统仿真学报, 2003, 15(10): 1351-[JP]1355.Wu C G, Xia T, Zhang B K. The qualitative simulation based on deep knowledge model of signed directed graph［J］. Journal of System Simulation, 2003, 15(10): 1351-[JP]1355. (in Chinese)
［3］Maurya M R, Rengaswamyb R, Venkatasubramaniana V. A signed directed graphbased systematic framework for steadystate malfunction diagnosis inside control loops［J］. Chemical Engineering Science, 2006, 61(6):1790-1810.
［4］Cao W L, Wang B S, Ma L Y, et al. Fault diagnosis approach based on the integration of qualitative model and quantitative knowledge of singed directed graph［C］∥Proceedings of the Fourth International Conference on Machine Learning and Cybernetics, August18-21, 2005, Guangzhou, China: IEEE, 2005: 2251-2256.
［5］Harmelen F V, Aben M. Structurepreserving specification languages for knowledgebased systems［J］. International Journal of Human Computer Studies, 1996, 44(2):187-212.
［6］Roache P J. Verification of codes and calculations［J］. AIAA Journal, 1998, 36(5): 696-702.
［7］NelsonS, Pecheur C. Survey of NASA V&V processes/methods［R］. NASA ARC, 2001.
［8］Al Asaad H S. Lifetime validation of digital systems via fault modeling and test generation［D］. Lansing, USA: University of Michigan, 1998.
［9］Jacklin S, Schumann J, Gupta P, et al. Verification, validation, and certification challenges for adaptive flightcritical control system software［C］∥AIAA Guidance, Navigation, and Control Conference and Exhibit, August16-19, 2004, Providence, Rhode Island, USA: AIAA, 2004.
［10］Rodriguez E A, Pepin J E, Riha D S, et al. Validation and verification of a penetration model for the design of a blast containment vessel part Ⅱ: Model validation［C］∥The 1st Non-Deterministic Approaches (NDA) Conference, The 47th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference, May 1-4, 2006, Newport, Rhode Island, USA:AIAA, 2006.
［11］Oberkampf W L, Trucano T G, Hirsch C. Verification, validation, and predictive capability in computational engineering and physics［J］. Applied Mechanics Reviews, 2004, 57:345-384.
［12］Schmitz W, Hoffman J, Sithole H, et al. Validation and verification of CFD computer codes and the pbmr air ingress model［C］∥The Third International Topical Meeting on High Temperature Reactor Technology, October 1-4, 2006, Johannesburg, South Africa: Proceedings HTR2006, 2006.
［13］International Electrotechnical Commission. IEC 61882, Hazard and operability studies (HAZOP studies) Application guide［S］. Geneva: Switzerland, 2001.
PDF(1463 KB)
/
| 〈 |
|
〉 |
