机电系统的概率行为树建模及可靠性评价

• 作者: 侯翌 刘青 杨培林 樊娟妮
• 来源期刊: 中国机械工程
• 学科: 工学
• 关键词: 概率行为树 概率模型检测 可靠性评价 机电系统
• 年，卷（期）: 2020,（14）
• 所属期刊栏目: 机械基础工程
• 页码范围: 1639-1646
• 页数: 8页
• 分类号: TH122
• 字数: 4817字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-132X.2020.14.001

摘要

直接利用模型检测工具提供的形式化语言对系统进行形式化建模直观性较差、建模难度大,因此利用概率行为树对机电系统进行形式化建模,并通过概率模型检测对机电系统进行可靠性评价.对机电系统功能执行过程中功能载体的状态及其变迁进行了研究.基于概率行为树的语义和句法,提出了机电系统状态变迁过程的概率行为树建模方法,开发了建模支持工具.利用该建模工具可实现机电系统的概率行为树建模并能将其转换为基于PRISM语言的形式化模型.基于机电系统的潜在故障,用连续随机逻辑对机电系统可靠性评价指标进行形式化规约.基于概率行为树模型和可靠性评价指标的形式化规约,利用模型检测工具PRISM实现了对机电系统的可靠性评价.该方法比直接使用形式化语言建模更直观、易于理解和掌握.

作者信息

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