中国机械工程2019，Vol.30Issue(5)：549-553,5.DOI:10.3969/j.issn.1004-132X.2019.05.007
基于概率模型检测的机电系统动态可靠性评价
Dynamic Reliability Evaluation Approach for Electromechanical Systems Based on Probabilistic Model Checking
摘要
关键词
动态可靠性/可靠性评价/概率模型检测/机电系统分类
机械制造引用本文复制引用
侯翌,杨培林,徐凯,刘青,樊娟妮..基于概率模型检测的机电系统动态可靠性评价[J].中国机械工程,2019,30(5):549-553,5.基金项目
国家自然科学基金资助项目(51375365) （51375365）
