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

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

Research on Conversion from Probabilistic Behavior Tree Model to Formal Model of Model Checking

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

侯翌、杨培林、徐凯

展开 >

西安交通大学机械工程学院,陕西 西安 710049

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

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

51375365

2020

机械设计与制造
辽宁省机械研究院

机械设计与制造

CSTPCD北大核心
影响因子：0.511
ISSN：1001-3997
年,卷(期)：2020.(8)
  • 2
  • 5