针对数控机床控制系统中传感器和执行机构故障,给出了一种基于Petri网的故障诊断方法:首先,根据数控机床各单元之间的运行逻辑和动态特性,得到了数控机床控制系统的标签Petri网模型;其次,根据各故障类型的行为特征,采用不可观变迁模拟故障;再次,给定任何传感器信号序列,利用Petri网的状态方程推理全部可能的系统行为,从而判断系统是否可能发生故障,并推理故障元件;最后利用一个示例演示验证了本文的方法。,m)为普通Petri网；Σ={a,b,}是一个标签（label）集合；L:T→Σ{λ}为标记函数，能够将系统中任意的变迁贴上标签集合Σ中的一个标签或空标签λ。值得注意的是，一个标签可以同时标记一个或多个可观测变迁，而不可观测的变迁用空标签λ来标记。如果任意一个标签a(a∈Σ)同时标记了Petri网中的多个变迁，我们将这种类型的标签称为不确定性标签，反之则称为确定性标签。当贴有标签a(a∈Σ)的变迁激发后，我们能够观测到标签a。相应的，当变迁的激发序列为12kS=ttt时数控机床控制系统-电动数控滚圆机滚弧机张家港切管机液压切管机倒角机，我们观测到的标签序列为。2问题描述如图1所示，一个典型的数控机床控制系统可以分成驱动装置模块、限位保护模块、报警模块和上位装置模块。数控机床同时拥有多个独立的轴本文由公司网站张家港切管机网站采集转载中国知网网络资源整理! http://www.qieguanji.cc，但每一轴的工作原理都相同，并且其中的驱动装置和限位传感器也都相互独立，因此本文只对数控机床的其中一轴进行研究。图1数控机床控制系统的分块示意图在一般的数控机床控制系统中，伺服电机构成该系统中的驱动装置模块，限位传感器构成该系统中的限位保护模块，报警模块也是由传感器构成，而上位装置模块则是由PLC或运动控制卡构成的。通过编写上位机指令，上位装置发送脉冲和方向信号给驱动装置，使伺服电机开始运动。脉冲信号决定电机运行的距离，方向信号决定电机运行的方向。数控机床的每一轴的两端都有一个极限位置，在伺服电机运行的过程中，可能会达到某一个极限位置，此时限位传感器会发送限位信号，使伺服电机停止运行。在每一轴的中点处也有一个传感器，初始时刻伺服电机位于该中点处，即原点位置。每一台伺服电机的后端都有一个编码器，其作用是用来反馈伺服电机的位置和速度信号。在数控机床中，可以将伺服电机运动的距离，转换为用脉冲个数来表示。因此可以假设?数控机床控制系统-电动数控滚圆机滚弧机张家港切管机液压切管机倒角机本文由公司网站张家港切管机网站采集转载中国知网网络资源整理! http://www.qieguanji.cc