概率行为树模型转化为模型检测模型方法研究

• 作者: 侯翌 徐凯 杨培林
• 来源期刊: 机械设计与制造
• 学科: 工学
• 关键词: 机电系统 概率行为树建模 概率模型检测 模型转换
• 年，卷（期）: 2020,（8）
• 所属期刊栏目: 先进制造技术
• 页码范围: 94-98
• 页数: 5页
• 分类号: TH16|TH122
• 字数: 2239字
• 语种: 中文

摘要

将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率.利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大.对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换.以数控机床工作台系统为例验证了转换方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨培林	西安交通大学机械工程学院	33	455	12.0	20.0
2	徐凯	西安交通大学机械工程学院	19	183	8.0	13.0
3	侯翌	西安交通大学机械工程学院	4	6	1.0	2.0