陈 卓,颜学龙
(桂林电子科技大学电子工程与自动化学院,广西桂林 541004)
近年来,故障预测与健康管理 (PHM)[1]彻底改变了电子设备的可靠性,并且广泛应用于航空航天与军事系统、医疗器械、汽车电子、云计算、智能电网、制造业等诸多领域。其目的是建立一个软硬件相结合的集成环境,帮助系统实现提高可靠性、健康评估、实时性预测、主动维护等。PHM系统一般具备故障探测、故障诊断、故障预测等功能[1],而电子设备集成度增加使得模拟电路的复杂性增强。伴随模拟电路密集度、元件容差、非线性等问题的出现,对模拟电路故障定位和实时性,准确性要求越来越高[23],因此有必要对模拟电路进行故障预测与健康管理的研究。
PHM核心技术在于故障诊断及预测,其中的关键研究方法主要分为三大类[4-5]: 基于物理模型[6]、基于数据驱动[67]、基于概率统计[5]。模拟电路的诊断的方法一直迭代更新,从故障字典法,原件参数识别,故障验证,到当前研究最多的基于机器学习的神经网络[8]方法、支持向量机(SVM)[9]、超限学习机 (ELM)[10]。国内外虽然有些不少研究成果,但依旧有些限制和不足。
相关向量机 (RVM)是基于稀疏贝叶斯框架理论的机器学习模型[11-13]。由美国学者Tipping于2001年提出的一种分类、回归的新模型。基于SVM方法,将核函数与贝叶斯推理结合,具有SVM不具备的核函数选择不受Mercer条件的限制,稀疏性强,同时有后验概率分布等特点[14],还保持了SVM原有特性,较神经网络方法在小样本训练,全局最优,泛化能力上有明显的优势。已成功应用在如机械故障预测[15],电池寿命预测[16],交通流预测[17]等领域。
RVM在模拟电路故障诊断及预测中优势在于小样本计算,适合对电路进行实时预测与健康管理。分别对基于RVM的模拟电路故障诊断及预测模型进行了仿真研究。
模拟电路的电阻,电容等元件由于性能下降,发生表现为偏离标准值的软故障,针对故障诊断采用小波变换提取故障特,故障预测采用频域响应作为特征量,利用欧氏距离表征元件偏离标准值程度,通过简单转换,即可表征元件的健康值。
小波方法是在时频分析上的成熟工具,广泛应用在信号处理领域中,其中小波分解主要用于故障特征提取方面,以haar小波为例,采用的分解方法步骤如下:
1)采用haar小波对信号进行n层分解,得到每层高频系数序列Dn;
2)求取高频能量En=DnT*Dn.;
3) 将 [E1E2… En] 中取出 [ExEy] 作为特征向量。
为了便于对模拟电路健康状态进行预测,需要计算故障阈值,即故障指示值 (FI),文献 [18]通过马氏距离计算故障指示值,来对模拟电路剩余寿命进行预测。马氏距离中协方差矩阵会导致计算的不稳定性。在特征微小变化的反映过于强,会放大引入的容差影响,降低预测信息的完整性和准确性[19],而文献 [20]用了余弦距离计算元件退化度,但余弦距离主要从方向上区分差异,对数值大小不敏感,即在同方向上任意长度的向量的余弦距离值为1,在实验过程中得到的健康值几乎都是1,量纲在10-6~10-16之间,不利于实时计算。文献 [21]提出的利用皮尔逊相关系数表征健康值计算复杂。利用欧氏距离[22]方法,计算公式简单,表征n维空间的两点的真实距离,与方向和大小均有关。
两个向量的欧氏距离代表的是他们之间的相似程度,在元件退化时,元件值发生变化,分析其输出的频域响应分别与标准响应作欧氏距离计算,得到元件的失效程度,即故障特征,进而定义健康值H来作为预测指标。公式如下:
相空间重构是为了找到RVM模型下的输入输出之间的对应关系[23]。给定 l个时间点的序列值 {x1,x2,…,xl},假设xn与前d个序列值之间存在某种非线性映射关系:
式中,n=(d+1,d+2,…,l),d为嵌入维数,f(.)是非线性映射模型,则可以得到RVM模型输入输出的训练集{x,t}如下:
其中:N=l-d为训练集中样本个数,利用其训练RVM模型,可以实现对未来时间点的序列值的预测。
它的基本原理是借助贝叶斯推断获得满足标准高斯分布的模型最优权值ω。通过定义ω的超参数的先验概率,在贝叶斯框架下学习,利用自相关判定理论移除不相关的点,得到稀疏模型,在样本迭代训练过程中,大部分参数的后验分布趋于零,而非零权值对应的样本即为相关向量,体现了样本的核心特征。
对于二元分类情况,目标值{ti}Ni=1只可能是0或1,分类问题时习惯使用sigmod函数:
不同于回归模型,此处无数据噪声,得到:
该分布并不是标准高斯分布,因此估计权值不能用回归模型方法,采用Laplace方法找到ω最大值处,即:
而p(t|ω)和p(ω|α)分布已知,则:
式中,A=diag(α)=diag(α0,α1,...αN);yi= σ[y(xi,ω)],利用Newton方法可以找到ωMP,即:
式中,y= [y1,y2,...yN]T;B=diag(y1(1 - y1),y2(1 -y2)..yN(1 - yN))。
而协方差矩阵 ∑ =(- H|ωMP)-1=(ΦTBΦ +A)-1。
更新超参数方法类似回归模型,将ωMP代替μ:
式中,∑i,i是∑中第i项在对角线上的元素给出α的初始猜测值,按上式步骤更新迭代,可以逼近ωMP。
假设{xi}是训练样本集的特征值,目标值为t=[t1,t2,..,tN]T且互相独立,则带有噪声的模型为:
式中,ω是ωi组成的模型权值向量,噪声εi~N(0,σ2)而RVM模型输出为:
则在已知 {ωi}与σ2的条件下可以得到t的概率分布:
式中,Φ是由各特征向量代入核函数k(x,y)所得的N×N+1维设计矩阵。
由于直接使用最大似然函数解ω和σ2,通常会导致ω中元素大部分不是0,即过多支持向量导致了过拟合,因此采用在贝叶斯框架下,定义的先验条件概率分布为:
式中,α =(α0,α1,..αN)T含有N+1个超参数,超参数αi调节与之对应着权值ωi,由贝氏定理及上述公式,可以推导出权值ω的后验概率分布为:
后验协方差和均值分别为:
式中,A=diag(α)=diag(α0,α1,..αN) 而超参数的边缘似然函数分布为:
式中,Ω =σ2I+ΦA-1ΦT,权值参数ω的最大后验估计直接受超参数α,σ2的影响,通过最大化边缘似然函数p(t|α,σ2)可以实现超参数优化,最大似然参数估计值为αMP,,把式(23)对α和σ2求偏微分值等于零,可以得到迭代公式:
式中,∑i,i是∑中第i项在对角线上的元素,先给出α和σ2的初始猜测值,再由上式不断更新来逼近αMP,。
在给定一个新的输入样本数据x*条件下,相应预测输出的概率分布为:
其中:预测均值和方差为:
通常,模拟电路的故障以单一元件故障为主[18],如图1为leapfrog滤波器电路。元件无故障情况下,C1=10 nF,C2=20 nF,R4=10 kΩ,研究此3个元件做故障诊断研究。
图1 跳蛙滤波器电路
分别设置电阻和电容元件的容差为5%和10%[24],用均匀分布U(0.1Xn,Xn-2t)和U(Xn+2t,2Xn)分别表示元件正反向软故障偏差范围,其中t为元件容差值[25]。因此假设元件发生软故障的参数值为偏离标准值的30%。
诊断步骤如下:首先,根据设置的故障参数30%分别对C1,C2,R4设置正向软故障发生时对应的值即分别为13 nF,26 nF,13 kΩ,其他元件值为正常标准值。然后在Pspice里将电路的激励源扫频率范围设置为10 Hz~10 Mhz,随后分别进行100次蒙特卡罗分析,得到输出端的频域响应信号,然后均匀采集响应信号61个频率点的电压值,由此获得原始故障数据,接着故障特征提取采用2层haar小波分解方法,得到 [E1E2]作为故障二维特征,这样,三类单故障经过特征提取一共得到300组故障特征数据;分别对C2、R4做二分类诊断:各取75组数据,即150组数据作为训练样本,故障特征作为RVM的输入,故障样本类别标签为[1 0]作为RVM的输出,分类模型做故障诊断剩余50组数据作为测试样本,其中RVM核函数选为高斯核函数,核参数σker选取采用交叉验证获取,如图2,平衡稀疏性和诊断误差将核参数设为3,随后用相同的方法分别对C1、C2和C1、R4作二分类故障诊断。
图2 交叉验证选取核参数
对于不同元件的单故障诊断,传统做法是构造多分类器,复杂度较高,采用文献[26]提出的方法,将Multinomial probit函数代替传统RVM中的logistic sigmod函数从而将单个元件的二分类RVM模型推广到多分类。用上述的采集故障数据和特征提取方法得到C1、C2、R4的225组故障数据作为训练样本,故障样本类别标签为 [3 2 1],分别作为RVM的输入输出进行训练学习,进行RVM单故障一次多分类故障诊断。
对于多个元件同时发生故障的诊断,假设2个元件同时发生正向软故障,以C1、C2、R4三个元件组合为例,其他元件为正常值,诊断步骤为:设置C1、C2发生软故障的值,保持R4正常标准值,此时同样对电路作100次蒙特卡罗分析,接着设置C1、R4发生故障,C2保持正常,最后设置C2、R4发生故障,C1保持正常,作100次蒙特卡罗分析。进而得到三种双故障组合类型,分别为C1C2+,C1R4+,C2R4+,将上述分析后的数据同样采集61个频率对应的输出电压值,再用2层小波分解方法提取故障特征,原始故障特征数据有300个,,225故障特征样本用于训练输入,故障样本类别标签为 [3 2 1]作为输出,经过RVM学习后,剩下75个用于测试诊断效果。
上述的某二类单故障诊断和单故障多分类诊断、双故障多分类诊断的结果分别如图3、图4、图5。测试集诊断的实验结果见表1。
图3 二类单故障诊断仿真实验
图4 多类单故障诊断仿真实验
图5 多元件组合故障诊断仿真实验
表1 诊断仿真实验结果
结果显示,在单故障的二分类诊断效果主要受故障二维特征区分度影响,整体诊断率可以达94%以上,而多分类器的构造的诊断效果也有96%,而对于多类双故障诊断,RVM的诊断效果达94.67%,整体诊断效果较为优秀,并且诊断的模型中使用的相关向量个数少,较为稀疏,为大数据,实时在线应用场景的诊断问题节约了计算存储资源。
元件在随时间退化下其标称值发生改变,这种状态趋势需要在其失效之前被预见,从而预测出元件值失效的时间点。Sallen-Key带通滤波器[21,24]是很多文献进行仿真验证的标准电路之一,设置与文献[21]相同的元件失效偏差值,同样设置各元件的容差,用Pspice对待测元件作参数分析,观测其输出在元件值线性变化下的频域响应,采集61个响应点用欧氏距离计算每次变化下的失效程度,进而计算出每个时间点的健康值,在软故障发生时间点下的健康值即为故障阈值。如图6为Sallen-Key带通滤波器电路。
图6 Sallen-Key带通滤波器电路
研究R3的失效故障,设置其阻值在2~3.2 KΩ线性变化,每个时间点变化20 Ω;对电容C2设置5~2 nF按每个时间点减少0.05 nF线性变化,初始0时刻元件健康值h1为1,根据设置的元件偏差值,时刻50即第51个时间点发生软故障。
对R3,利用相空间重构方法,取其0~40时间段的41个真实健康值h1~h41构造训练集:即l=41,设置嵌入维数为d=21,则训练集样本个数为20;可以得到训练集为 {x,t},其中:{x1|t1}=[h1,h2,…h21|h22];{x2|t2}=[h2,h3,…h22|h23],…,{x20|t20}=[h20,h21,…,h40|h41]。 训练完得到RVM回归模型f(.),进而得到训练集的健康预测值T=[H22,H23,…H41]。接下来是预测第41个时间点以后的健康值:由x21=[h21,h22,…h41]和f(.) 计算出第42个时间点的健康预测值H42,并得到新输入x22=[h22,h23,…h41,H42],计算出第43个时间点的预测值H43,再将H42和H43代入新输入 x23= [h23,h24,…h41,H42,H43],反复一直更新输入,得到一系列时间点的健康预测值。同样对C2进行故障预测,根据先前计算得到的故障阈值可以预测出故障发生的时间点,便于PHM的视情维护。如图7,图8分别是R3和C2发生退化故障的状态曲线。
图7 R3故障预测仿真实验
图8 C2故障预测仿真实验
对R3和C2进行障预测仿真实验结果见表2,其中训练MSE 分别达了 6.32842E-09、1.92347E-11。
表2 预测仿真实验结果
由表3可以看出,在小样本情况的预测中,应用相空间重构的RVM算法可以对模拟电路进行较为精准的预测。
将提出的方法和文献[21]的预测效果比较,对比预测部分的MSE见表3。
表3 方法对比
当改变嵌入维数进行相同的实验得到的预测结果见表4。
表4 不同嵌入维数实验结果对比对比
由表4可以得到当嵌入维数为31对R3进行实验时,预测MSE为7.00596E-07,发现增加嵌入维数可进一步提高预测效果,也侧面说明了预测值与历史时段预测值的相关性。
目前RVM在模拟电路故障预测中的应用较少,提出一种基于相空间重构和RVM的模拟电路健康管理核心功能的研究方法,特征提取提取方法对比之前的文献更加简单,能在小样本情况下进行故障诊断和预测,且预测效果具有一定优越性,符合实际场景监测要求,适用于PHM领域中大样本的实时预测,通用性良好。需要指出的是,在尚未优化各个参数情况下,在故障诊断精度有待提高,预测精度也受嵌入维数的影响,因此下一步研究工作可集中在包括嵌入维数在内的各个参数优化的方法的研究上。