基于改进的冲突A＊算法的卫星电源系统故障诊断方法研究.pdf

计算机测量与控制 ()C o m p u t e r M e a s u r e m e n t&C o n t r o l 测试与故障诊断 收稿日期:;修回日期:.基金项目:中国科学院空间科学战略性先导科技专项资助项目(X D A ).作者简介:王毅恒(),男,河南平顶山人,硕士生,主要从事故障诊断方向的研究.通讯作者:李俊麟(),男,四川中江人,博士,副研究员,主要从事空间机器人视觉伺服方向的研究.引用格式:王毅恒,李俊麟,张伟基于改进的冲突A算法的卫星电源系统故障诊断方法研究J计算机测量与控制,():文章编号:()D O I:/j c n k i /t p 中图分类号:T P 文献标识码:A基于改进的冲突A算法的卫星电源系统故障诊断方法研究王毅恒,李俊麟,张伟,(沈阳化工大学 信息工程学院,沈阳 ;中国科学院 沈阳自动化研究所机器人学国家重点实验室,沈阳 ;中国科学院 机器人与智能制造创新研究院,沈阳 )摘要:针对卫星电源系统的在轨故障诊断,提出了一种改进的冲突A算法故障诊断方法;改进的冲突A算法在冲突A算法基础上,增添了一个扩展节点消减模块,通过该模块可以达到故障隔离的目的,从而加快搜索速度;首先改进的冲突A算法会生成一个候选诊断,然后,在卫星电源系统模型中对应部件生成输出,当模型部件生成的输出与实际观测值不一致时,改进的冲突A算法会缩减可扩展的冲突节点,然后生成下一个候选诊断并进行循环,直到搜索结束;采用多组件受约束卫星电源系统模型开展验证实验,结果显示,多重故障诊断中改进的冲突A算法在搜索速度上相比冲突A算法提升,证明了该算法在卫星电源系统故障诊断中应用的有效性.关键词:故障诊断;A算法;定性模型;卫星电源;逻辑约束R e s e a r c ho nF a u l tD i a g n o s i sM e t h o do fS a t e l l i t eP o w e rS y s t e mB a s e do nI m p r o v e dC o n f l i c tA A l g o r i t h mWANGY i h e n g,L I J u n l i n,Z HANG W e i,(C o l l e g eo f I n f o r m a t i o nE n g i n e e r i n g,S h e n y a n gU n i v e r s i t yo fC h e m i c a lT e c h n o l o g y,S h e n y a n g ,C h i n a;S t a t eK e yL a b o fR o b o t i c s,S h e n y a n gI n s t i t u t eo fA u t o m a t i o n,C h i n e s eA c a d e m yo fS c i e n c e s,S h e n y a n g ,C h i n a;I n s t i t u t e s f o rR o b o t i c sa n dI n t e l l i g e n tM a n u f a c t u r i n g,C h i n e s eA c a d e m yo fS c i e n c e s,S h e n y a n g ,C h i n a)A b s t r a c t:F o r i n o r b i t f a u l t d i a g n o s i so f s a t e l l i t ep o w e r s y s t e m,a n i m p r o v e dc o n f l i c tAa l g o r i t h mf a u l t d i a g n o s i sm e t h o d i sp r o p o s e d;T h e i m p r o v e dc o n f l i c tA a l g o r i t h ma d d sa ne x t e n d e dn o d ea b a t e m e n tm o d u l eo n t h eb a s i so ft h ec o n f l i c tA a l g o r i t h m,s o t h e f a u l t i s o l a t i o n i su s e dt os p e e du pt h es e a r c h;F i r s t l y,t h e i m p r o v e dc o n f l i c tAa l g o r i t h mg e n e r a t e sac a n d i d a t ed i a g n o s i s,a n dt h e ng e n e r a t e s t h eo u t p u t c o r r e s p o n d i n g t o t h e c o m p o n e n t i n t h e s a t e l l i t ep o w e r s y s t e mm o d e l,w h e n t h eg e n e r a t e do u t p u t o f t h em o d e l c o m p o n e n t i s d i f f e r e n t f r o m t h ea c t u a l o b s e r v e dv a l u e,t h e i m p r o v e dc o n f l i c tA a l g o r i t h mr e d u c e s t h es c a l a b l ec o n f l i c tn o d e s,a n dt h e ng e n e r a t e s t h en e x t c a n d i d a t ed i a g n o s i sa n dc y c l e su n t i l t h ee n do f t h es e a r c h;am u l t i c o m p o n e n t c o n s t r a i n e ds a t e l l i t ep o w e r s y s t e m m o d e l i su s e dt oc a r r yo u t t h ev a l i d a t i o ne x p e r i m e n t,t h em u l t i p l e f a u l t e x p e r i m e n t a l r e s u l t ss h o wt h a t,c o m p a r e dw i t ht h ec o n f l i c t i n gA a l g o r i t h m,t h e i m p r o v e dc o n f l i c t i n gAa l g o r i t h mi m p r o v e s t h e s e a r c hs p e e db y,w h i c hp r o v e s t h e a p p l i c a t i o n e f f e c t i v e n e s so f t h ea l g o r i t h mi nt h es a t e l l i t ep o w e rs y s t e mf a u l td i a g n o s i s K e y w o r d s:f a u l td i a g n o s i s;A a l g o r i t h m:q u a l i t a t i v em o d e l;s a t e l l i t ep o w e r;l o g i c a l c o n s t r a i n引言在航天技术发展过程中,故障诊断逐渐成为航天器在轨道安全运行的重要保障.由于航天器身造价高昂、系统结构复杂,在轨运行期间需要面对特别恶劣的空间环境,从而导致航天器在轨运行期间会持续地发生故障.在已知的卫星系统故障中,卫星电源系统出现的故障在所有卫星分系统出现的故障中是最高的,占比 ,并且卫星电源系统的故障贯穿了整个卫星寿命阶段.如果卫星发生故障时不能有效的处理,其所产生的后果是不堪设想的,所以就需要故障诊断系统能够及时发现故障、隔离故障,并且为卫星故障处理提供决策依据.从而保障卫星在轨道安全运行,并延长卫星在轨时长.这就对故障诊断方法的投稿网址:w w wj s j c l y k z c o m第期王毅恒,等:基于改进的冲突A算法的卫星电源系统故障诊断方法研究 诊断效率提出比较高的要求,以此来保障卫星诊断系统的时效性.故障诊断包含了对系统健康状况的推理、异常行为的识别、故障组件的隔离,以及正常和异常条件下的系统行为预测.随着系统的规模化和复杂化,故障诊断变得更具有挑战性.基于定性模型的诊断是一种人工智能的方法,R D a v i s和R e i t e r共同奠定了基于定性模型诊断的基本理论体系,基于定性模型的诊断方法是通过系统的结构、行为、功能对系统进行诊断推理,通常需要建立系统的结构、行为、以及功能模型.基于结构与行为知识的诊断推理由冲突识别和候选产生组成,当冲突存在时,表示系统中至少有一个元素是有故障的,候选就是为了解释冲突,一个候选诊断可以解释所有的冲突.基于定性模型诊断的思路是,通过系统的内部结构、行为或功能模型来预测系统行为,当观测值与预测值不一致,表示存在差异,通过这些差异,来搜索到使预测模型与观测值相一致的状态假设.基于冲突的故障诊断一般需要解决两个问题:第一个是计算最小冲突,可能的冲突数量会随着系统组件的数量呈指数级增长,第二个问题是诊断的完整性,大多数基于冲突的故障诊断方法是无法发现所有的可能冲突.通用诊断引擎(G D E)在解决这种问题上是比较经典的方法之一,G D E使用ATM S 来管理和优化冲突的产生和最小化,但是在诊断复杂系统时,G D E产生的冲突和内核诊断的数量成指数增长,这一情况限制了G D E的使用.而后W i l l i a m s将G D E的工作扩展到对行为模式的推理,从而建立了结果系统S h e r l o c k,S h e r l o c k利用故障模式知识更平 等 地 查 明 故 障 并 确 定 组 件 在 何 种 模 式 下 运 行.R a g n o 提出了子句导向A(C I A)搜索诊断,它可以实现同时将搜索指向可行性和最优的分配,从而实现故障的快速检测.W i l l i a m和R a g n o提出了冲突导向A(C D A)搜索诊断 ,它结合了R e i t e r方法中的冲突集和最佳优先搜索方法,C D A根据先验概率和冲突信息可以快速给出解决问题的最佳候选者.S t e r n 通过利用冲突和诊断之间关系的二元性来扩展R e i t e r的诊断理论,利用二元性较差诊断搜索,从而比冲突导向A更快地找到最小基数诊断.上述介绍的方法基本都是基于弱故障模型,弱故障模型只有一个正常模式和一个未知的故障模式.但现实世界常见的故障是已知的,比如水下机器人的传感器故障有种故障模式,分别是传感器输出信息保持不变、发生跳变、在时间轴上振荡,那么它的模型就是强故障模型.在诊断强故障模型中,虽然检测模式与检测弱故障一样,但是在隔离故障组件和识别故障模式具有挑战性.通过C D A诊断强故障模型效率比较低下,是因为在弱故障模型中,n个变量具有n个搜索空间,但是在强故障模型中,平均m个强故障模式,共计m n个搜索空间.基于上述分析本文提出了一种基于冲突A算法的改进方法,该方法的优势在于增加了一个扩展节点消减模块,此模块可以隔离故障,并且缩小诊断对象的域的大小,减少搜索次数,提高搜索效率.基于神经网络的卫星电源系统故障诊断方法需要大量的故障数据进行训练,而卫星电源系统故障数据量较少,并且神经网络的故障诊断方法移植性较差,与神经网络的故障诊断方法相比,基于定性模型的改进的冲突A算法不需要大量的历史数据,并且在强故障模型诊断中,改进的冲突A算法移植性较强,可以适用于不同的卫星电源系统.所以改进的冲突A算法故障诊断方法可以更好地应用于卫星电源系统故障诊断.改进的冲突A算法原理 C S P原理解释冲突A算法,需要定义约束满足问题c o n s t r a i n ts a t i s f i e dp r o b l e m(C S P),C S P由(xD xC x)三部分组成,系统变量p r o b l e m由部件x组件成,D x表示部件x的域,在D x内包含部件x可能发生的状态,C x是部间的约束,约束C x由一组变量x组成,变量的行为状态范围是在D x内,对于约束C x:xt r u e,f a l s e.诊断结果应该需要满足约束C x内的任何x的赋值,即C xxt r u e.为C S P设定属性成本g的方法是通过多属性成本函数,它将属性成本g(x)与多个变量赋值X i的先验概率相关联从而建立全局成本.大多数实际的多属性决策问题 满足称为相互优先独立性的原则,即已被赋值的变量对余下的决策变量的特定赋值无关.在本文中对相互优先独立性的使用方法是对每个变量的属性成本最大化.C S P的示例就是布尔电路,如图所示,由或门O R和与门AN D组成.图布尔电路图输入和输出由图所示,即每个组件都处于种可能模式中的一种模式,正常的模式(G)满足正常的布尔元件的功能,坏的模式(U)表现为输出常为、坏的模式(U)输出常为.该示例采用的是候选的先验概率,并且假设组件的概率是相互独立的,布尔电路的部件状态全局成本g由公式()计算可得:g(y)ipi(yi)()式中,Pp,p,pi表示部件处于某种状态的概率,Yy,y,yi表示部件当前所处的状态,每个部件当前所处的状态Y与部件概率P是对应的.固定成本的代价由乘法组成,在该示例中O R门坏的时候且输出投稿网址:w w wj s j c l y k z c o m计算机测量与控制第 卷 常为的概率是 、输出常为的概率是 ,AN D门的输出常为的概率是 ,与门输出常为的概率是 ,满足图所示的布尔电路解决方案是或门O 的状态应该是处于故障U 输出常为,即 G,O G,O U,A G,A G,全局成本g为 ,为 .改进的冲突A算法在离散空间搜索问题的最佳方法首选就是A算法,A算法是通过启发式的方法去搜索解决方法.但在搜索速度上,伴随着节点数目的增多,A算法效率会有所减低.基于冲突的A算法可以实现A的加速,它的原理是通过选择满足冲突条件的节点来实现节点的删减,从而实现搜索进度的加速,通俗地说,冲突就是一组状态,这些状态被证明了不满足模型的约束.改进的冲突A算法首先生成一个候选,并通过约束函数去测试候选,当候选诊断方案不满足约束时,生成兄弟节点函数会生成多个可扩展节点,并且冲突函数会标记出不满足约束的冲突部件,以及对应的冲突部件当前状态,当被标记的冲突部件被确定为发生故障的部件,改进的冲突A算法会隔离故障部件的状态,减小发生故障部件的域,从而实现快速识别故障模式.改进的冲突A算法有五大模块组成,分别是节点预估代价函数f(x)、最佳子节点函数b e s t c h i l d(x)、扩展兄弟节点函 数b e s t s i b l i n g(x)、目 标测 试 函 数g o a l t e s t s t a t e(x)、冲突节点选择函数c o n f l i c t s e l e c t n o d e(x).改进的冲突A算法搜索过程是以生成搜索树的形式进行叶节点选取,改进的冲突A算法的如图所示.图改进的冲突A算法搜索树的生成从根节点开始,最开始的可扩展节点集合中只有根节点,节点预估代价函数从可扩展节点集合中选取全局成本g最大的节点,也就是根节点,并将根节点放入生成最佳子节点函数,然后最佳子节点函数从第一个部件状态中选取概率最大的状态,生成节点n,其中根节点n是节点n的父节点,然后递归使用生成最佳子节点函数,依次选择相应的部件状态,生成相应的节点,直至选择最后一个部件并生成叶节点,叶节点里面的信息包含了从根节点到叶节点的部件状态,因此叶节点可以作为候选诊断方案.扩展兄弟节点函数使用叶节点,采用递归的方式,依次生成叶节点的兄弟节点,以及叶节点的父节点的兄弟节点,直到根节点为止结束递归,其中叶节点的兄弟节点表示的是和叶节点同样的部件,但是是不同的部件状态,叶节点的兄弟节点部件状态概率仅小于叶节点的部件状态概率.目标测试函数是用于判断候选诊断方案是否满足部件输出约束,当满足部件输出约束时,候选诊断方案添加到解决方案集s o l u t i o n,搜索结束,并输出解决方案.当不满足输出约束时,相应的函数会生成冲突集,冲突集包含了不满足约束的部件状态,以及确定的故障部件及其部件状态.冲突节点选择函数包含了扩展节点消减模块,冲突节点选择函数在生成的扩展兄弟节点中选择包含冲突集的节点,然后将这些节点放入可扩展节点集合中,用于下一次的搜索树节点扩展.扩展节点消减模块主要作用就是隔离故障,并消减故障部件的域,从而减少搜索空间.冲突节点选择函数首先会标记出冲突部件,以及冲突部件的当前状态,当冲突部件被判断出是发生故障的部件时,选出用于扩展的冲突节点会移除含有发生故障部件状态的节点,故障部件的状态集会移除被标记出的故障部件状态,这些可以缩小搜索空间,从而加快搜索进度,冲突节点选择函数如下所示:f u n c t i o nc o n f l i c t s e l e c t n o d e(s i b l i n g n o d e s,l e a f n o d e,p r o b l e m)c o n f l i c t c o m p o n e n t g e n e r a t e c o n f l i c t(l e a f n o d e,p r o b l e m)c o n f l i c t c o m p o n e n t r e g i o n g e n e r a t e c o n f l i c t r e g i o n(l e a f n o d e,p r o b l e m)c o n f l i c t n o d e s c h o o s e c o n f l i c t n o d e(s i b l i n g n o d e s,p r o b l e m)i f t r u e c o n f l i c t c o m p o n e n t(c o n f l i c t c o m p o n e t)c o n f l i c t c o m p o n e n t n o d e s s e l e c t c o n f l i c t c o m p o n e n t n o d e(c o n f l i c t n o d e s,c o n f l i c t c o m p o n e n t r e g i o n)e l s er e t u r nc o n f l i c t n o d e sr e t u r nc o n f l i c t n o d e s卫星电源系统模型 模型基础定性模型建模的变量一般选取有限数目的定性值,投稿网址:w w wj s j c l y k z c o m第期王毅恒,等:基于改进的冲突A算法的卫星电源系统故障诊断方法研究 例如一些数值变量名称:l i t t l e l o w,l o w,m i d d l e,h i g h,组件状态也是有限数目的,比如:s t u c k h i g h,s t u c k m i d d l e,s t u c k o n,o n,o f f等等.每个组件状态表示了其输入与输出的约束关系.定性模型的建模过程可分为四步.第一步是知识获取,通过对系统的工作原理进行深入研究,明确工作部件之间的关系,并给出部件是否正常的判断依据;第二步是范围定义,通过系统的工作原理和故障判断依据,合理的设置部件的特征变量和特征信息;第三部是模型创建,大多数系统表现的都是连续行为,由于建立的电源系统的模型是离散的,所以就需要建立有用的系统的离散描述;第四步就是模型测试,确保可以对系统模型的故障场景进行测试.电源系统模型在文献 中,给出了典型的航天器电源系统结构图,该系统包含太阳能电池板(s o l a r A r r a y),并联调节器(S R),母线(B u s B a r),充电调节器(B C R),放电调节器(B D R),电池组(a c c u m u l a t o r),其中方框内表示的是电源系统组件,圆圈内表示的是各个测点的传感器,卫星电源系统模型 如图所示.图卫星电源系统模型本文通过组件化的方法对卫星电源系统进行建模,通过建立起各个组件的模型,然后按照电源系统的工作结构,将各个模型连接起来,形成整个电源系统的工作模型.如表所示,太阳能电池阵故障模式包含控制命令失效与电池阵短路,总共种故障状态,并联调节器的故障模式有种,母线、充电调节器、蓄电池、放电调节器的故障模式只有一种,因此卫星电源系统在光照区会有状态共计 种.本文通过组件化的方法对卫星电源系统进行建模,通过建立起各个组件的模型,然后按照卫星电源系统的工作结构,将各个模型连接起来,形成整个卫星电源系统的模型.以太阳能电池阵为例,在光照区内太阳电池阵有种状态,分别是正常模式、控制命令失效和电池阵短路,其中控制命令失效有种,包括一直输出微弱电流、一直输出小电流、一直输出中电流及一直输出大电流,太阳电池阵这个状态的程序设计为 s o l a r g o o d m o d e,s o l a r s t u c k h i g h,s o l a r s t u c k m i d d l e,s o l a r s t u c k l o w,s o l a r s t u c k l i t t l e,s o l a r s h o r t c i r c u i t,并且每个状态对应不同的概率.表光照区卫星电源系统故障组件太阳电池阵正常模式输出微小电流、小电流、中电流、大电流故障模式控制命令失效一直输出微弱电流一直输出小电流一直输出中电流一直输出大电流电池阵短路输出电流、电压为零并联调节器正常模式 按照控制命令以及太阳能电池输出对应电流故障模式输出状态与命令状态不同不能按照命令输出微小电流不能按照命令输出小电流不能按照命令输出中电流不能按照命令输出大电流母线正常模式输入电能等于输出电能故障模式故障未知充电调节器正常模式将母线电流传送给蓄电池故障模式不能为蓄电池充电蓄电池正常模式放电电流为零,需要充电故障模式对放电调节器的输出不为零放电调节器正常模式使蓄电池不对外放电,故障模式使蓄电池对外放电,放电调节器输出电流本文采用l i s p语言来建立卫星电源系统模型,卫星电源系统太阳电池阵部件状态模型如图所示,图(a)为太阳电池阵短路状态,图(b)为太阳电池阵处于一直输出大电流的故障状态.其中:p o s i t i o n表示的是部件当前的状态,用于解释部件的故障状态,:c u r r e n t表示的是部件当前状态输出电流值的大小,:b i a o s h i用于标识部件的名称,在搜索树中区分部件,:p r o b a b i l i t y表示当前部件状态发生的先验概率,本文的太阳电池阵发生短路的概率是 .太阳电池阵短路:(d e f p a r a m e t e rs o l a r s h o r t c i r c u i t(m a k e i n s t a n c e z h o n g:p o s i t i o n s h o r t c i r c u i t:c u r r e n t z e r o:b i a o s h i s o l a r:p r o b a b i l i t y )太阳电池阵一直输出大电流:(d e f p a r a m e t e rs o l a r s t u c k h i g h(m a k e i n s t a n c e z h o n g:p o s i t i o n s t u c k h i g h:c u r r e n t b i g:b i a o s h i s o l a r:p r o b a b i l i t y )太阳电池阵输出约束函数的输入为太阳电池阵所处的状态以及太阳电池阵的输出命令,当太阳电池阵处于正常模式时,太阳电池阵按照输出命令C m d I n输出需要的电流,当太阳电池阵处于发生故障的情况下,太阳电池阵输出当前状态的电流,并联调节器输出约束函数的输入为并联调投稿网址:w w wj s j c l y k z c o m计算机测量与控制第 卷 节器的当前状态、太阳电池阵的输出、并联调节器的控制命令v m e a n i n,当并联调节器处于正常状态,并且太阳电池阵输出不为零时,并联调节器按照控制命令输出相应电流,当不满足以上条件时,并联调节器按照故障模式输出相应状态的电流.太阳电池阵输出约束:(d e f u ns o l a r y u e s h u(s o l a rc m d i n)(l e t(o u t p u t(s l o t v a l u es o l a r o u t p u t)(i f(e q l o u t p u t G)(s l o t v a l u es o l a rc m d i n)(l e t(n q(s l o t v a l u es o l a r p o s i t i o n)(i f(n o t(e q ln qc m d i n)(s l o t v a l u es o l a r c u r r e n t)n i l)S R输出约束:(d e f u ns r y u e s h u(s rs o l a r yv m e a i n)(l e t(o u t p u t(s l o t v a l u es r o u t p u t)(i f(e q l o u t p u t G)(i f(e q l s o l a r y z e r o)s o l a r y(s r g o o d y u e s h us o l a r yv m e a i n)(i f(e q l s o l a r y z e r o)n i l(s r u n g o o d y u e s h us rs o l a r yv m e a i n)算法测试为了验证本算法的有效性,进行了卫星电源系统故障诊断测试,在测试中验证了多种故障模式的诊断,如表所示,给出了其中的种测试诊断结果,以故障为例,太阳电池阵的输出命令C m d I n是m i d d l e,并联调节器的输出命令Vm e a I n是m i d d l e,根据太阳电池阵的输出约束函数和并联调节器的输出约束函数、以及其他部件的约束输出函数,可以得到太阳电池阵、并联调节器、充电调节器、放电调节器的预测输出,当预测输出与传感器S、S、S、S 观测的数不一致,从而去判断测试模式中存在故障部件以及部件发生的故障状态.表测试模式故障模式控制命令C m d I nVm e a I n传感器观测值S S S S 故障诊断结果故障模式m i d d l e l o wm i d d l em i d d l em i d d l ez e r oS Rs m a l l b r o k e n故障模式m i d d l em i d d l eb i gb i gb i gz e r oS o l a r s t u c k h i g hS Rm i d d l e b r o k e n故障模式h i g hh i g hm i d d l l em i d d l em i d d l e l i t t l e s m a l lS o l a r s t u c k m i d d l eS Rb i g b r o k e nB D R f a u l t图是故障模式的搜索树展开,节点n 代表的是候选.S o l a r G,S RG,B u s B a r G,B C RG,A c c u m u G,B D RG候选中部件为G表示部件处于正常状态,电源系统部件输出函数根据候选可以得到S 至S 的预测传感器数据值 S m i d d l e,S m i d d l e,S m i d d l e,S z e r o,与传感器数据 S b i g,S b i g,S b i g,S z e r o不相同,表示候选不满足部件输出约束,得到冲突部件 S o l a r,S R和冲突集 S o l a r G,S RG,冲突部件集 S o l a r,S R被判断为故障部件,冲突节点选择函数在扩展的兄弟节点中提取出不包含冲突集 S o l a rG,S RG中这两个部件状态的节点,为节点n 和节点n ,因为节点n 的父节点中包含了故障部件s o l a r的状态s o l a r G,所以节点n 也被移除,只有节点n 被添加到扩展节点集中.冲突节点选择函数中的扩展节点消减模块将 故 障 部 件s o l a r的 状 态 集 G,U,U,U,U,U 移除不满足输出约束的状态s o l a rG,缩小为 U,U,U,U,U ,同样故障部件S R的状态集也移除不满足输出 约 束 的 状 态S RG,缩 小 为 U,U,U,U .通过节点预估代价函数,在扩展节点集中选择了预估代价最大的节点n ,然后通过递归使用生成最佳子节点函数,生成了叶节点n ,同时叶节点n 代表候选.S o l a r U,S RU,B u s B a r G,B C RG,A c c u m u G,B D RG候选中的太阳电池阵的状态为U,U 为s t u c k h i g h的故障状态,即太阳电池阵一直输出大电流,并联调节器的状态为U,U 为b i g b r o k e n的故障状态,即不能输出大电流,与传感器S 的观测值b i g发生冲突,所以候选不满足输出约束,得到冲突集 S RU ,将候选的冲突集与候选的冲突集合并得到 S o l a r G,S RG,S RU .冲突节点选择函数在扩展的兄弟节点中根据冲突集提取出节点n 和节点n ,因为候选诊中 S o l a r U 满足传感器S 的输出,所以节点n 被剔除,将节点n 添加到扩展节点集中.节点预估代价函数在扩展节点集中选择了预估代价最大的节点n ,然后生成叶节点n ,也就是候选.S o l a r U,S RU,B u s B a r G,B C RG,A c c u m u G,B D RG系统部件输出根据候选得到预测传感器数据 S b i g,S b i g,S b i g,S z e r o,与传感器测量值相同.所以候选满足输出约束,所以诊断结果为 S o l a r s t u c k h i g h,S Rm i d d l e b r o k e n,也就是太阳能电池处于一直输出大电流的故障状态,并联调节器处于不能输出中电流的故障状态.表表示的是在相同故障部件个数条件下,卫星电源系统模型故障诊断测试的平均次数.在单重故障诊断测试中,因为改进的冲突A算法相较于冲突A算法是增加了一个扩展节点消减模块,该模块的主要作用是隔离故障部件以及减小搜索空间,当发生故障的部件个数为一个时,投稿网址:w w wj s j c l y k z c o m第期王毅恒,等:基于改进的冲突A算法的卫星电源系统故障诊断方法研究 图卫星电源系统搜索树展开扩展节点消减模块无法起到作用,所以改进的冲突A算法和冲突A算法的搜索次数是相同的,在多重故障诊断测试中,扩展节点消减模块通过隔离故障部件并缩小故障部件的状态空间,因此改进的冲突A算法的搜索次数总是少于冲突A算法的搜索次数,改进的冲突A算法搜索效率相比冲突A算法提升 ,与子句导向A算法相比,在多重故障诊断中,改进的冲突A算法的搜索次数也是少于子句导向的A算法.在卫星电源系统模型故障诊断测试中,改进的冲突A算法的故障诊断准确率为,当注入的故障部件处有传感器时,改进的冲突A算法可以准确并快速的定位故障部件状态,若注入的故障部件处没有传感器,故障部件的输出会影响下一级部件的输出,改进的冲突A算法无法准确定位故障部件,因此降低了改进的冲突A算法的故障诊断准确率.表卫星电源故障测试次数组件故障个数 冲突A算法子句导向A算法改进的冲突A算法 结束语在对强故障模型的诊断中,针对强故障模型的搜索树节点过多、诊断效率低下的缺点,提出一种改进的冲突A算法诊断方法.在卫星电源系统模型故障诊断测试中,因为有较多的传感器检测部件输出,当发生故障时,改进的冲突A算法可以快速地确定出发生故障的部件,并且与冲突A算法相比,在发生多重故障的情况下,搜索效率提升了,有些部件处没有传感器进行检测,当这些部件发生故障时,改进的冲突A算法无法准确地定位故障部件,本文中部件故障模式均采用程序语言描述,部件故障状态无法可视化,后续可以增加传感器的数量,提高故障诊断效率,设计部件状态图像窗口实现部件故障状态可视化.参考文献:沈毅,李利亮,王振华航天器故障诊断与容错控制技术研究综述 J宇航学报,():王嘉轶,闻新航天器故障诊断技术的研究现状与进展 J航空兵器,():王亚坤,杨凯飞,张婕,等卫星在轨故障案例与人工智能故障诊断 J中国空间科学技术,():高家一,吴义田,徐文彬,等空间运输航天器故障诊断系统架构研究 J计算机测量与控制,():翟嘉琪,杨希祥,程玉强,等机器学习在故障检测与诊断领域应用综述 J计算机测量与控制,():袁利,王淑一航天器控制系统智能健康管理技术发展综述J航空学报,():D AV I SR D i a g n o s t i c r e a s o n i n gb a s e do ns t r u c t u r ea n db e h a v i o rJA r t i f i c i a l I n t e l l i g e n c e,():R E I T E RR At h e o r yo f d i a g n o s i s f r o mf i r s t p r i n c i p l e sJ A r t i f i c i a l I n t e l l i g e n c e,():罗浩,霍明夷,尹珅,等复杂工业系统故障诊断与安全控制方法 J信息与控制,():D E K L E E RJ,W I L L I AM SBCD i a g n o s i n g m u l t i p l ef a u l t sJA r t i f i c i a l I n t e l l i g e n c e,():D EK L E E RJ A na s s u m p t i o n b a s e dTM SJA r t i f i c i a l I n t e l l i g e n c e,():D E K L E E RJ,W I L L I AM SB CD i a g n o s i sw i t hb e h a v i o r a lm o d e sC/I J C A I,():R AG NO,R O B E R TJ S o l v i n go p t i m a l s a t i s f i a b i l i t yp r o b l e m st h r o u g hc l a u s e d i r e c t e dAD C a m b r i d g e:M a s s a c h u s e t t sI n s t i t u t