期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
概率行为树模型转化为模型检测模型方法研究
被引量:
2
1
作者
侯翌
杨培林
徐凯
《机械设计与制造》
北大核心
2020年第8期94-98,共5页
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差...
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大。对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换。以数控机床工作台系统为例验证了转换方法的可行性。
展开更多
关键词
机电系统
概率行为树建模
概率
模型检测
模型转换
下载PDF
职称材料
题名
概率行为树模型转化为模型检测模型方法研究
被引量:
2
1
作者
侯翌
杨培林
徐凯
机构
西安交通大学机械工程学院
出处
《机械设计与制造》
北大核心
2020年第8期94-98,共5页
基金
国家自然科学基金—基于形式化技术的复杂机电系统可靠性评价方法研究(51375365)。
文摘
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大。对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换。以数控机床工作台系统为例验证了转换方法的可行性。
关键词
机电系统
概率行为树建模
概率
模型检测
模型转换
Keywords
Electromechanical System
Probabilistic Behavior Tree Modeling
Probability Model Checking
Model Conversion
分类号
TH16 [机械工程—机械制造及自动化]
TH122 [机械工程—机械设计及理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
概率行为树模型转化为模型检测模型方法研究
侯翌
杨培林
徐凯
《机械设计与制造》
北大核心
2020
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部