为了研究系统事故机理,建立有效的事故过程模型,分析了事故过程的特征,指出其呈现离散与连续动态行为交互的混合特性。针对现有事故过程建模方法在描述该混合特性时的不足,提出了基于混合动态系统理论的建模方法,建立了事故过程的混合自动机模型,在Simulink/Stateflow环境下进行仿真。实现了事故过程的连续机理与状态运转及其交互影响的有效融合,为制定应急预案提供了依据。通过案例模拟了系统从危险经应急操作,直至事故或安全的过程,验证了该方法的有效性。
An analysis of the accident characteristics in a system is proposed to research its accident process mechanism. The analysis indicates that there are hybrid characteristics which contain both discrete and continuous dynamic behaviors during an accident process. In view of the deficiency of simulating these hybrid characteristics with the current accident model, this paper presents a modeling method for accident processes based on hybrid system theory. The hybrid automata model of an accident process is provided, and the modeling and simulation is developed in the environment of Simulink/Stateflow. The combination of the system continuous mechanism with discrete state operation and their influence on each other can be achieved in this model. Then the simulation can provide the establishment of emergency treatment. Finally an example is discussed. The model simulates a dynamic process which starts at hazard and ends in accident or safety through emergency treatment. This example proves the validity of the proposed method.
[1] Hollnagel E. Understanding accidents—from root causes to performance variability//Proceedings of the 2002 IEEE 7th Conference on Human Factors and Power Plants: New Century, New Trends. Scottsdale Arizona, USA: Institute of Electrical and Electronics Engineers Inc., 2002: 1-6.
[2] Leveson N. A new accident model for engineering safer systems[J]. Safety Science, 2004, 42(4): 237-270.
[3] NASA. Probabilistic risk assessment procedures guide for NASA managers and practitioners[M]. Washington, D.C.: NASA, 2002.
[4] Hakata T. Seismic PSA method for multiple nuclear power plants in a site[J]. Reliability Engineering and System Safety, 2007, 92(7): 883-894.
[5] 罗鹏程. 基于Petri网的系统安全性建模与分析技术研究. 长沙: 国防科学技术大学信息系统与管理学院, 2001. Luo Pengcheng.A study on the modeling and analysis technique of system safety analysis based on Petri nets. Changsha: College of Information System and Management, National University of Defense Technology, 2001. (in Chinese)
[6] 王蓓. 基于PFMEA与SIMULINK的应急预案仿真技术研究 . 北京: 北京航空航天大学可靠性与系统工程学院, 2011. Wang Bei. Research on the simulation of emergency treatment based on PFMEA and SIMULINK. Beijing: School of System Engineering of Engineering Technology, Beihang University, 2011. (in Chinese)
[7] Devooght J, Smidts C. Probabilistic dynamics as a tool for dynamic PSA[J]. Reliability Engineering and System Safety, 1996, 52(3): 185-196.
[8] 陶俊勇, 王勇, 陈循. 复杂大系统动态可靠性与动态概率风险评估技术发展现状[J]. 兵工学报, 2009, 30(11): 1533-1539. Tao Junyong, Wang Yong, Chen Xun. A survey of the complex large system dynamic reliability and dynamic probabilistic risk assessment[J]. Acta Armamentarii, 2009, 30(11): 1533-1539. (in Chinese)
[9] Labeau P E. A Monte Carlo estimation of the marginal distributions in a problem of probabilistic dynamics[J]. Reliability Engineering and System Safety, 1996, 52(3): 65-75.
[10] Cojazzi G. The DYLAM approach for the dynamic reliability analysis of systems[J]. Reliability Engineering and System Safety, 1996, 52(3): 279-296.
[11] Antsaklis P J, Stiver J A, Lemmon M D. Hybrid system modeling and autonomous control systems. Lecture Notes in Computer Science: Hybrid Systems I. New York, USA: Springer-Verlag, 1993, 736: 366-392.
[12] Alur T, Courcoubetis C, Henzinger T A, et al. Hybrid automata, an algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science: Hybrid Systems I. New York, USA: Springer-Verlag, 1993, 736: 209-229.
[13] Stiver J A, Antsaklis P J, Lemmon M D. Interface and controller design for hybrid control systems. Lecture Notes in Computer Science: Hybrid Systems II. New York, USA: Springer-Verlag, 1995, 999: 462-492.
[14] Shi P, Zhao Y W, Cui Y J. Modeling and control of wheeled mobile robot based on hybrid automata//2010 Chinese Control and Decision Conference. Piscataway, USA: IEEE Computer Society, 2010: 3375-3379.
[15] Verma R, Vecchio D D. Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control//Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference. Piscataway, USA: Institute of Electrical and Electronics Engineers Inc., 2009: 3175-3181.
[16] Mitra S, Wang Y, Lynch N, et al. Safety verification of model helicopter controller using hybrid input/output automata. Lecture Notes in Computer Science: Hybrid Systems—Computation and Control, 2003, 2623: 343-358.
[17] Law A M, Kelton W D. Simulation modeling and analysis[M]. 3rd ed. New York:McGraw-Hill, 2000: 8-21.
[18] 林怡青, 毛宗源. 离散事件动态系统的结构[J]. 控制理论与应用, 2002, 19(5): 689-698. Lin Yiqing, Mao Zongyuan. Structure of the DEDS[J]. Control Theory and Applications, 2002, 19(5): 689-698. (in Chinese)
[19] 戎梅, 赵廷弟, 李晓磊. 事故推演建模技术研究[J]. 航空学报, 2008, 29(6): 1563-1569. Rong Mei, Zhao Tingdi, Li Xiaolei. Research on accident rehearsal modeling technique[J]. Acta Aeronautica et Astronautica Sinica, 2008, 29(6): 1563-1569. (in Chinese)
[20] 康立山, 曹宏庆, 陈毓屏. 动态系统的演化建模[J]. 计算机研究与发展, 1999, 36(8): 923-931. Kang Lishian, Cao Hongqing, Chen Yuping. A hybrid evolutionary modeling algorithm for dynamic systems[J]. Journal of Computer Research and Development, 1999, 36(8): 923-931. (in Chinese)
[21] Agrawall A, Simon G, Karsai G. Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations[J]. Electronic Notes in Theoretical Computer Science, 2001, 109: 43-56.
[22] 张威. Stateflow逻辑系统建模[M]. 西安: 西安电子科技大学出版社, 2007: 56-124. Zhang Wei. Stateflow logic system modeling[M]. Xi'an: Xidian University Publishing House, 2007: 56-124. (in Chinese)
[23] 肖业伦. 大气扰动中的飞行原理[M]. 北京: 国防工业出版社, 1993: 107-164. Xiao Yelun. Flight principle in atmospheric disturbance[M]. Beijing: National Defense Industry Press, 1993: 107-164. (in Chinese)
CJA