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

• 作者: 侯翌 刘青 徐凯 杨培林 樊娟妮
• 来源期刊: 中国机械工程
• 学科: 工学
• 关键词: 动态可靠性 可靠性评价 概率模型检测 机电系统
• 年，卷（期）: 2019,（5）
• 所属期刊栏目: 机械基础工程
• 页码范围: 549-553
• 页数: 5页
• 分类号: TH122
• 字数: 3930字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-132X.2019.05.007

摘要

为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法.介绍了概率模型检测的概念及概率模型检测工具PRISM.用形式化建模语言描述系统单元的状态变迁过程,建立了机电系统的形式化模型.利用连续随机逻辑对机电系统可靠性评价指标进行形式化描述,建立了可靠性指标的规约表达式,借助概率模型检测工具自动解算可靠性指标,实现了基于概率模型检测的机电系统动态可靠性评价.所提方法建模过程简单,能有效提高机电系统动态可靠性分析的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨培林	西安交通大学机械工程学院	33	455	12.0	20.0
2	徐凯	西安交通大学机械工程学院	19	183	8.0	13.0
3	刘青	西北工业集团有限公司计量理化一中心	7	21	1.0	4.0
4	侯翌	西安交通大学机械工程学院	4	6	1.0	2.0
5	樊娟妮	西北工业集团有限公司计量理化一中心	2	1	1.0	1.0