王红力

2023-04-15作者：安全工程学院 出处：安全工程学院

       

         

职务/ 职称/系别：讲师/公共安全系

办 公 室：

电  话：

邮  箱：whl1011@126.com

教育背景：

王红力，讲师，北京航空航天大学系统工程专业工学博士，目前从事公共安全、应急管理等方面的教学与科研工作。主要研究方向是系统安全性与可靠性工程、安全预测与风险评价技术、复杂系统安全性等。参与国家重点研发计划、国家自然科学基金项目、预先研究、技术基础等国家级、省部级、校级相关科研项目10余项。在国内外学术刊物、国内学术期刊及学术会议等上发表了20余篇学术论文，其中SCI/EI收录11篇，中文核心收录1篇。

研究方向：

系统安全与可靠性工程；安全预测与风险评价技术；复杂系统可靠性、安全性、状态监测与健康管理

代表性成果：

[1] 王红力，杨鑫刚. 基于安全控制结构模型的高校实验室安全风险动态评估. 中国安全科学学报. 2024.

[2] Wang Hongli, Zhong Deming. Fault Associated Propagation Hazard Analysis for Shared Resource Based on Model Checking, 2022 Annual Reliability and Maintainability Symposium. (EI)

[3] Wang Hongli, Zhong Deming, Zhao Tingdi, Ren Fuchun. Integrating model checking with SysML in complex system safety analysis. IEEE Access, 2019, 7(1): 16561-16571. (SCI, Q1)

[4] Wang Hongli, Zhong Deming, Zhao Tingdi. Avionics system failure analysis and verification based on model checking. Engineering Failure Analysis, 2019, 105:373-385.（SCI, Q2）

[5] Wang Hongli, Zhong Deming, Zhao Tingdi. Aircraft system safety analysis based on failure propagation model. 27th European Safety and Reliability Conference , 2017. (EI)

[6] Wang Hongli, Zhong Deming, Zhao Tingdi, Ren Fuchun. Safety analysis to integrated complex system considering correlation relationship. International Conference on Reliability Systems Engineering. 2017. (EI)

[7] Wang Hongli, Zhao Tingdi, Ren Fuchun, Jiang Zeyong. Integrated Modular Avionics System Safety Analysis Based on Model Checking. Reliability and Maintainability Symposium, 2017 Annual. IEEE, 2017. (EI)

[8] Wang Hongli, Zhong Deming, Zhao Tingdi. Application of Bayesian network in safety analysis on civil aircraft systems. 26th European Safety and Reliability Conference, 2016. (EI)

代表性荣誉称号，主要学术兼职：