排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
2.
直接利用模型检测工具提供的形式化语言对系统进行形式化建模直观性较差、建模难度大,因此利用概率行为树对机电系统进行形式化建模,并通过概率模型检测对机电系统进行可靠性评价。对机电系统功能执行过程中功能载体的状态及其变迁进行了研究。基于概率行为树的语义和句法,提出了机电系统状态变迁过程的概率行为树建模方法,开发了建模支持工具。利用该建模工具可实现机电系统的概率行为树建模并能将其转换为基于PRISM语言的形式化模型。基于机电系统的潜在故障,用连续随机逻辑对机电系统可靠性评价指标进行形式化规约。基于概率行为树模型和可靠性评价指标的形式化规约,利用模型检测工具PRISM实现了对机电系统的可靠性评价。该方法比直接使用形式化语言建模更直观、易于理解和掌握。 相似文献
3.
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大。对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换。以数控机床工作台系统为例验证了转换方法的可行性。 相似文献
1