【摘 要】
：
失效模式与影响分析(Failure modes and effects analysis,FMEA)是一种重要的设计评审和可靠性评估手段,但传统FMEA是非形式化的,分析烦琐且容易出错。将形式化技术引入机电
【基金项目】
：
国家自然科学基金资助项目(51375365)
论文部分内容阅读
失效模式与影响分析(Failure modes and effects analysis,FMEA)是一种重要的设计评审和可靠性评估手段,但传统FMEA是非形式化的,分析烦琐且容易出错。将形式化技术引入机电系统FMEA,提出基于模型检测的机电系统FMEA方法。基于机电系统中的状态和事件,研究机电系统行为过程的形式化建模,针对单元失效建立面向FMEA的系统形式化模型;基于计算树逻辑(Computation tree logic,CTL)对机电系统的潜在故障进行形式化规约,并以潜在故障的否定命题构建待验证的系统行为属性;借助于模型检测工具遍历系统状态空间来检验系统是否满足行为属性,从而辨识系统单元失效与系统潜在故障之间的关系,实现基于模型检测的机电系统FMEA;将上述方法应用到数控机床进给系统,通过模型检测成功辨识出限位开关失效所导致的系统故障,验证了该方法的可行性。
其他文献
对于沉淀的溶解和平衡,在化学中是一个难以理解和掌握的问题．一般认为沉淀就不能溶解了,能够溶解的就不叫沉淀。本文从沉淀物的溶解与沉淀的平衡和转化论述这个问题,以说明溶
<正>【课前慎思】三年级学生认识周长,总是伴随着面积的干扰。就像我们看到平面图形总是先关注到图形的面积,周长的认识也许并不是主动产生的。随着研究的深入,虽然有了平移
本文综述了环糊精衍生物的合成及对小分子的识别作用 ,环糊精在电极表面的自组装以及环糊精与冠醚、杯芳烃识别客体分子的协同作用
目的：探讨胃粘膜幽门螺杆菌（Ｈｐ）感染与人胃癌（ＨＧＣ）发生的相关性。方法：采用斑点金免疫渗滤试验、快速尿素酶试验、ＰＣＲ－Ｈｐ－ＤＮＡ法检测胃粘膜Ｈｐ。方法：对１４１例慢性胃炎患者和４２例胃癌患者作Ｈｐ现症感染的检测。结
网络空间作为一种特殊的空间在发展的过程中存在着很大的不安全性,为了使网络能够有一个更安全的环境,各国要加强对网络安全问题的分析,从而使人们上网的环境更加安全。
阐述了在大红山矿区的设计和建设中,用创新和前瞻的理念指导设计,通过工艺创新,设备创新,建成国内一流现代化矿山所取得的成就,以及在新的扩产设计中所面临的挑战和对策。
针对建筑构件中墙体裂缝修复方式进行分析,提出了建筑构件中不同墙体裂缝特点和产生原因。针对这些内容,分别介绍不同裂缝的治理方式。最后,阐述了墙体裂缝修复过程中应当注
通过对造成中学田径在中学课堂开展困境的原因分析及学生的体育课堂意向调查,总结出中学的田径课教学应从:准确科学的田径教学目标、提高教学内容的趣味性和健身性、建立科学
识别性标示是企业及其产品 (服务 )的表征 ,是一种起显示、甄别作用的商业符号 ,承载着商誉 ,是竞争中的优势资源。竞争法保护的基本功能在于防混淆和反淡化。识别性标示竞争
目的了解慢性肾脏病(CKD)患者自我管理状况和肾病专科移动医疗应用软件的需求,为CKD患者更好的自我管理提供有效途径。方法对合肥市主要三甲医院的肾内科病人进行问卷调查,内