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

作     者：侯翌 杨培林 徐凯 HOU Yi;YANG Pei-lin;XU Kai

作者机构：西安交通大学机械工程学院陕西西安710049 

基　　金：国家自然科学基金—基于形式化技术的复杂机电系统可靠性评价方法研究(51375365) 

出 版 物：《机械设计与制造》 (Machinery Design & Manufacture)

年 卷 期：2020年第8期

页      码：94-98页

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

主 题 词：机电系统 概率行为树建模 概率模型检测 模型转换 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 080203[080203] 0802[工学-机械学] 080201[080201] 

D　O　I：10.19356/j.cnki.1001-3997.2020.08.022

馆 藏 号：203958867...