基于概率模型检测的机电系统动态可靠性评价

侯翌1;杨培林1;徐凯1;刘青2;樊娟妮2

Dynamic Reliability Evaluation Approach for Electromechanical Systems Based on Probabilistic Model Checking

HOU Yi1;YANG Peilin1;XU Kai1;LIU Qing2;FAN Juanni2

中国机械工程 . 2019, (05): 549 -553 .