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

几十年来，气动和液压驱动解决方案一直是工程师们执行快速动作、制造巨大动力或移动重物时的首选，而如今，来自线性技术领域的机电促动器已经成为气动和液压系统的强大竞争对手（图1）。

小微企业钻削铁芯内孔通常采用人工操作专用夹持工具在台钻上钻削,提高了生产效率但质量得不到保证。为了降低人工成本,提高生产效率,满足小型电机配件生产厂家的需求,研制了一种小型鼠笼式转子铁芯内孔自动钻孔专机。该专机基于自动钻孔机动作方案,完成了气动系统回路设计、电气控制系统的设计、PLC控制电路以及端口的设计。通过样机试制试钻表明,所设计的自动钻孔设备能完成预定的功能。

在自动化、智能化发展趋势下,闭环运动控制成为液压机电装备重要的底层控制算法。以直线运动液压缸推动关节回转运动这一典型机构为研究对象,开展其速度跟踪控制研究:首先建立其非线性动力学模型,进而设计了基于该模型的自适应鲁棒速度控制器,对其中非线性和不确定性等进行了有效补偿,并在理论层面证明其跟踪性能。通过与常用控制方法的对比,验证了所提出控制方法在控制精度方面的提升成效。

针对传统的失效模式及影响分析中依靠领域专家分析判断系统单元失效与系统故障之间的关系,分析烦琐、容易出错且难以计算故障概率的问题,将形式化技术引入机电系统失效模式及影响分析中,提出了基于概率模型检测的机电系统概率失效模式及影响分析方法。基于机电系统中的状态变迁,研究了机电系统行为过程的随机模型及其形式化表达,建立了面向概率失效模式及影响分析的系统形式化随机模型;基于连续随机逻辑对系统的潜在故障进行了形式化规约,构建了潜在故障的概率形式化规约表达式;利用概率模型检测器对系统的随机模型和潜在故障进行形式化验证,从而辨识单元失效与系统潜在故障之间的关系,并自动计算单元失效所导致的系统故障概率,提高了失效模式与影响分析的准确性和效率。该方法不仅可以借助概率模型检测迅速准确地识别单元...