Tingdi Zhao
Tingdi Zhao
Professor, Beihang University
Verified email at stu.ccit.edu.cn - Homepage
Cited by
Cited by
曾声奎, 赵廷弟, 张建国, 康锐
北京: 北京航空航天大学出版社 1, 158-193, 2001
Risk assessment of railway transportation systems using timed fault trees
Z Peng, Y Lu, A Miller, C Johnson, T Zhao
Quality and Reliability Engineering International 32 (1), 181-194, 2016
Epidemic spreading model of complex dynamical network with the heterogeneity of nodes
S Hong, H Yang, T Zhao, X Ma
International Journal of Systems Science 47 (11), 2745-2752, 2016
Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification
Q Yang, J Tian, T Zhao
Safety science 93, 162-177, 2017
FRAMA: A safety assessment approach based on Functional Resonance Analysis Method
J Tian, J Wu, Q Yang, T Zhao
Safety science 85, 41-52, 2016
Failure cascade in interdependent network with traffic loads
S Hong, B Wang, X Ma, J Wang, T Zhao
Journal of Physics A: Mathematical and Theoretical 48 (48), 485101, 2015
Cascading failure and recovery of spatially interdependent networks
S Hong, J Zhu, LA Braunstein, T Zhao, Q You
Journal of Statistical Mechanics: Theory and Experiment 2017 (10), 103208, 2017
Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging
Z Zheng, J Tian, T Zhao
Cognition, Technology & Work 18 (4), 777-791, 2016
Bearing remaining life prediction using Gaussian process regression with composite kernel functions
S Hong, Z Zhou, C Lu, B Wang, T Zhao
Journal of Vibroengineering 17 (2), 695-704, 2015
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification
Y Lu, Z Peng, A Miller, T Zhao, C Johnson
Reliability Engineering & System Safety, 2015
石荣德, 赵廷弟, 屠庆慈, 常文兵
北京航空航天大学学报 21 (004), 7-12, 1995
Hybrid safety analysis method based on SVM and RST: An application to carrier landing of aircraft
Y Dai, J Tian, H Rong, T Zhao
Safety science 80, 56-65, 2015
A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system
Z Peng, Y Lu, A Miller, C Johnson, T Zhao
Proceedings of the 7th European Symposium on Computer Modelling and …, 2013
Safety design analysis and verification
Z Tingdi
National Defense Industry Press, 2011
A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint
Z Li, S Wang, T Zhao, B Liu
Chinese Journal of Aeronautics 29 (4), 1027-1041, 2016
Temporal uncertainty analysis of human errors based on interrelationships among multiple factors: a case of Minuteman III missile accident
H Rong, J Tian, T Zhao
Applied ergonomics 52, 196-206, 2016
Formal specification and quantitative analysis of a constellation of navigation satellites
Z Peng, Y Lu, A Miller, T Zhao, C Johnson
Quality and Reliability Engineering International 32 (2), 345-361, 2016
Resilience optimization for complex engineered systems based on the multi-dimensional resilience concept
F Ren, T Zhao, J Jiao, Y Hu
IEEE Access 5, 19352-19362, 2017
Reliability Centered Preliminary Hazard Analysis
N Zhao, T Zhao, J Tian
Proceedings of the 55th Annual Reliability and Maintainability Symposium …, 2009
计算机辅助 FMECA 软件模型
赵延弟, 孙琳玲
北京航空航天大学学报 26 (001), 118-121, 2000
The system can't perform the operation now. Try again later.
Articles 1–20