利用形式化方法的机电系统概率失效模式及影响分析

杨培林; 侯翌; 徐凯; 贾焕如

doi:10.7652/xjtuxb201801001

您当前的位置：

首页 >

文章列表页 >

利用形式化方法的机电系统概率失效模式及影响分析

更新时间：2025-07-09

- 利用形式化方法的机电系统概率失效模式及影响分析
- Probabilistic Failure Modes and Effects Analysis for Electromechanical Systems Based on Formal Method
- 西安交通大学学报 2018年52卷第1期页码：1-7
- 作者机构：
  
  西安交通大学机械工程学院,西安,710049
- 作者简介：
- 基金信息：
  
  : 2017-07-07。作者简介: 杨培林(1963—),男,教授。基金项目: 国家自然科学基金资助项目(51375365)
- DOI：10.7652/xjtuxb201801001
  中图分类号： TH122
- 网络首发：2018-01-10，
  
  纸质出版：2018
- 稿件说明：
移动端阅览
杨培林, 侯翌, 徐凯, 等. 利用形式化方法的机电系统概率失效模式及影响分析[J]. 西安交通大学学报, 2018,52(1):1-7.

Probabilistic Failure Modes and Effects Analysis for Electromechanical Systems Based on Formal Method[J]. 2018, 52(1): 1-7.
杨培林, 侯翌, 徐凯, 等. 利用形式化方法的机电系统概率失效模式及影响分析[J]. 西安交通大学学报, 2018,52(1):1-7. DOI： 10.7652/xjtuxb201801001.

Probabilistic Failure Modes and Effects Analysis for Electromechanical Systems Based on Formal Method[J]. 2018, 52(1): 1-7. DOI： 10.7652/xjtuxb201801001.

摘要

针对传统的失效模式及影响分析中依靠领域专家分析判断系统单元失效与系统故障之间的关系

分析烦琐、容易出错且难以计算故障概率的问题

将形式化技术引入机电系统失效模式及影响分析中

提出了基于概率模型检测的机电系统概率失效模式及影响分析方法。基于机电系统中的状态变迁

研究了机电系统行为过程的随机模型及其形式化表达

建立了面向概率失效模式及影响分析的系统形式化随机模型; 基于连续随机逻辑对系统的潜在故障进行了形式化规约

构建了潜在故障的概率形式化规约表达式; 利用概率模型检测器对系统的随机模型和潜在故障进行形式化验证

从而辨识单元失效与系统潜在故障之间的关系

并自动计算单元失效所导致的系统故障概率

提高了失效模式与影响分析的准确性和效率。该方法不仅可以借助概率模型检测迅速准确地识别单元失效与系统潜在故障之间的因果关系

还可以自动计算系统故障概率。将该方法应用于数控机床进给系统

成功辨识出了限位开关失效所导致的系统故障并计算出了故障概率

从而验证了方法的可行性。

Abstract

In conventional failure modes and effects analysis(FMEA)

the relations between component failures and system faults are analyzed and determined by domain experts

which is tedious

error-prone

and difficult to obtain the probabilities of the faults. In this paper

formal methods are introduced to FMEA for electromechanical systems and an approach to probabilistic FMEA(PFMEA)for electromechanical systems based on probabilistic model checking is proposed. Based on the state transitions in electromechanical systems

probabilistic model and its formal representation for the behavior process of the systems are studied and the formal probabilistic models for PFMEA are established. Continuous stochastic logic(CSL)formulas are employed to make formal specification of the potential faults in electromechanical systems

and the formal probabilistic specifications of potential fault are given. Formal verification is conducted for the system probabilistic models and potential faults

thereby the relations between the component failures and the potential system faults are identified. Moreover

the probabilities of the faults caused by component failures are calculated

so the efficiency and accuracy of the PFMEA are improved. By means of the approach presented in the paper

the causal relations between component failures and system faults are determined quickly and accurately

and the probabilities of the system faults are computed automatically. This approach is applied to the feed system of a CNC machine tool

and the system faults caused by limit switches and the probabilities of the faults are identified successfully

which demonstrates the feasibility of this approach.

关键词

Keywords

references

ALJAZZAR H, FISCHER M, GRUNSKE L, et al. Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples [C]∥Proceedings of International Conference on Quantitative Evaluation of Systems. Piscataway, New Jersey, USA: IEEE, 2009: 299-308.

KARA-ZAITRI C, KELLER A, FLEMING P. A smart failure mode and effect analysis package [C]∥Proceedings of Annual Reliability and Maintainability Symposium. Piscataway, New Jersey, USA: IEEE, 1992: 414-421.

赵廷弟, 孙琳玲, 屠庆慈. 计算机辅助FMECA软件模型 [J]. 北京航空航天大学学报, 2000, 26(1): 118-121.

ZHAO Tingdi, SUN Linling, TU Qingci. Software model for computer-aided FMECA [J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(1): 118-121.

石真真, 刘更, 吴立言. 计算机辅助故障模式、影响及危害性分析研究 [J]. 机械与电子, 2011(6): 11-15.

SHI Zhenzhen, LIU Geng, WU Liyan. Research on computer assisted failure mode effect and criticality analysis [J]. Machinery Electronics, 2011(6): 11-15.

LEE M H, ORMSBY A R T. Qualitatively modelling the effects of electrical circuit faults [J]. Artificial Intelligence in Engineering, 1993(8): 293-300.

PRICE C J, HUNT J E, LEE M H, et al. A model-based approach to the automation of failure mode effects analysis for design [J]. Journal of Automobile Engineering, 1992, 206(44): 285-291.

赵廷弟. 故障模式影响分析专家系统 [J]. 北京航空航天大学学报, 1999, 25(5): 611-614.

ZHAO Tingdi. Failure model effect analysis expert system [J]. Journal of Beijing University of Aeronautics and Astronautics, 1999, 25(5): 611-614.

MONTGOMERY T A, MARKO K A. Quantitative FMEA automation [C]∥Proceedings of Annual Reliability and Maintainability Symposium. Piscataway, New Jersey, USA: IEEE, 1997: 226-228.

沈颂华, 李瑛, 康锐. 航空电源系统FMEA自动化技术研究 [J]. 北京航空航天大学学报, 1997, 23(6): 805-809.

SHEN Songhua, LI Ying, KANG Rui. Study of FMEA automation technique for airborne power system [J]. Journal of Beijing University of Aeronautics and Astronautics, 1997, 23(6): 805-809.

THROOP D R, MALIN J T, FLEMING L D. Automated incremental design FMEA [C]∥Proceedings of Aerospace Conference. Piscataway, New Jersey, USA: IEEE, 2001: 3451-3458.

HAWKINS P G, WOOLLONS D J. Failure modes and effects analysis of complex engineering systems using functional models [J]. Artificial Intelligence in Engineering, 1998(12): 375-397.

王明凯, 邱静, 钱彦岭, 等. 用于自动故障模式影响分析的系统功能角色模型 [J]. 兵工自动化, 2003, 22(2): 40-44.

WANG Mingkai, QIU Jing, QIAN Yanling, et al. Role model of system function for automated failure mode and effect analysis [J]. Ordnance Industry Automation, 2003, 22(2): 40-44.

张海, 钱彦岭, 邱静. 基于功能角色模型的反馈系统故障模式影响 [J]. 国防科技大学学报, 2004, 26(1): 99-102.

ZHANG Hai, QIAN Yanling, QIU Jing. Analysis of the failure modes and effects of the feedback systems using functional role models theory [J]. Journal of National University of Defense Technology, 2004, 26(1): 99-102.

KWIATKOWSKA M. Model checking for probability and time: from theory to practice [C]∥Proceedings of 18th Annual IEEE Symposium on Logic in Computer Science. Piscataway, New Jersey, USA: IEEE, 2003: 351-360.

UMEDA Y, ISHII M, YOSHIOKA M, et al. Supporting conceptual design based on the function-behavior-state modeler [J]. Artificial Intelligence for Engineering Design Analysis and Manufacturing, 1996, 10(4): 275-288.

杨培林, 徐凯, 薛冲冲, 等. 基于IDEF的复杂机电系统状态解析 [J]. 机械设计与制造, 2015(9): 49-51.

YANG Peilin, XU Kai, XUE Chongchong, et al. State analysis of complex electrical mechanical system based on IDEF [J]. Machinery Design Manufacture, 2015(9): 49-51.

KWIATKOWSKA M, NORMAN G, PARKER D. PRISM 4.0: verification of probabilistic real-time systems [C]∥Proceedings of the 23rd International Conference on Computer Aided Verification. Berlin, Germany: Springer, 2011: 585-591.

ALUR R, HENZINGER T A. Reactive modules [J]. Formal Methods in System Design, 1999, 15(1): 7-48.

AZIZ A, SANWAL K, SINGHAL V, et al. Verifying continuous time Markov chains [C]∥Proceedings of the 8th International Conference on Computer Aided Verification. Berlin Germany: Springer, 1996: 269-276.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

三塔合一间接空冷系统结构参数对夏季运行特性的影响研究

电子级超纯氮深冷空分流程节能优化研究

扇贝仿生密封腔室内超临界二氧化碳泄漏流湍动能耗散机理研究

不同板叠材料热声热机能量转换过程数值模拟研究

张角凹坑气膜孔对双层壁气膜冷却特性的影响