基于模型的故障诊断在空间电源系统中的应用研究

空间电源系统工作时间长、运行环境特殊,在执行任务期间不可避免发生故障。为保障任务完成,需建立起空间电源系统在线故障诊断系统,实现在线故障检测、诊断和修复（FDIR）,防止故障传播和灾难性事故发生。在分析空间电源系统电路结构和故障特征基础上,建立起基于模型在线故障诊断系统。通过分析和论证,该诊断系统能够很好的诊断出空间电源系统电路的单点故障、多重故障及单传感器故障,并具有较好的诊断推理速度和较高的准确性。     

递归建立HS-树计算最小碰集

在基于模型的诊断中，广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS－树，HST－树，BHS－树等算法普遍存在实现的困难。文章提出用递归算法建立平衡的二叉HS－树（Recursive hitting set-树，简记为RHS－树）计算最小碰集的方法，在空间复杂性与时间复杂性上能够满足大多数诊断系统中的要求。     

极小碰集求解算法的性能分析与比较

基于模型的诊断为人工智能领域中一个重要的研究分支,极小碰集即候选诊断的求解过程极大影响最终的诊断效率.本文关注当前主要的极小碰集求解算法,简要介绍了它们的基本思想,从算法描述和实例比较了它们的异同和复杂性,并设计实现了一个统一的实验平台,测试并比较了它们的实际执行效率,为实际选择合适的算法提供了重要参考依据.     

IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分支增量产生右分支极小碰集提供了理论基础;另外,在自底向上增量归并元素的过程中,结合局部独立覆盖策略可以直接增量产生所有的极小碰集,从而避免非极小碰集和相同极小碰集的冗余产生.理论上,右分支解集可由左分支解集增量方法产生,避免了碰集中大量元素的重复计算.大量实验结果表明：本文提出的算法比之前的布尔算法及相关改进算法都具有显著的效率提升,最高可达约5倍.     

Apriori算法在通信增值业务中的应用

本文在研究Apriori算法的基础上,结合实际油田通信业务套餐现状作为关系数据库,运用该算法挖掘业务套餐之间的关联性,为运营商合理安排业务套餐作有力依据。     

结合问题特征利用SE-Tree反向深度求解冲突集的方法

基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索求解冲突集的方法.针对CSISE-Tree方法求解时占用内存空间与元件总数指数级相关的缺点,构建反向深度搜索方法减小求解时所占用内存空间;针对CSISE-Tree方法不能对部分非极小的冲突集进行剪枝的问题,给出对非冲突集和更多非极小的冲突集进行剪枝的方法,有效减少了求解时调用SAT(Boolean SATisfiability problem)求解器的次数;实验结果表明,与CSISE-Tree方法相比,本文提出的方法求解效率有明显的提升,并避免了求解时的内存爆炸问题.     

层次支持向量机在数字电路故障诊断中的应用

针对在数字电路故障诊断过程中存在的样本不平衡度严重的问题,采用层次式支持向量机实现对其故障诊断,通过考虑各类样本的数据量来构造以支持向量为叶节点的树,该方法可有效地解决样本不平衡所带来的问题,同时能够减少计算SVM分类器的个数,提高了训练和诊断速度及准确率.针对故障样本集不可能覆盖所有故障状态而出现的未知故障状态的问题...     

MBD环境下雷达生命周期质量管理技术研究

为了提高雷达制造企业的质量管理水平,在分析基于模型的定义技术基础上,提出了基于模型定义的雷达生命周期质量管理技术。以雷达生命周期中的BOM转化为核心,建立了基于模型定义的雷达质量数据管理模型。分析了雷达生命周期内各阶段BOM的转化过程,建立了基于xBOM的雷达质量过程管理模型。建立了雷达生命周期质量数据管理体系结构,并对基于模型的雷达质量数据定义技术、基于模型成熟度的雷达协同质量管理技术、以MBD为核心的雷达质量管理标准等关键技术进行了论述。     

使用SAT求解器产生所有极小冲突部件集

 产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%).     

Livingstone用于航天器推进系统故障诊断

航天器通常造价昂贵且无法批量生产,对其进行故障检测和诊断研究实用且必要。由美国宇航局 NASA 开发的 Livingstone 软件系统,使用一组多层次的定性逻辑模型来描述系统的行为,通过比较模型预测数据和传感器实测数据来检测和诊断系统故障。本文旨在说明 Livingstone软件能够应用于航天器故障检测和诊断领域。通过对 Livingstone 工作原理和过程的详细阐述,并利用 Livingstone 对航天器推进系统简化模型做仿真实验,给出可能的故障原因及可能性大小,说明 Livingstone 是一种有效而可靠的故障检测和诊断工具,能够快速、准确地诊断出航天器系统故障所在。     

数字仿真软件在数字电路设计中的应用

介绍了CADENCE公司的数字电路、系统仿真软件LWB的基本组成,并根据一实例给出了数字仿真的基本过程,主要命令及一些设计数据和仿真结果。     

MBD工艺技术研究

文章对MBD工艺技术的结构化工艺、工艺模型创建、模型视图命名、PMI标注和加工特征标识、MBD工艺输出等内容进行了研究,对企业应用MBD工艺技术有指导意义。     

故障树在无人机发射机故障诊断中的应用

无人机发射机的电子设备组成系统复杂度高,各组成部分之间的影响因素复杂,在故障诊断过程中通常难以做到快速、准确定位。针对无人机发射机在故障诊断中的上述缺点,结合故障树诊断中的最小割集法,通过定量分析给出了一套常用的诊断流程,该诊断流程提高了诊断效率,可以用于发射机的快速诊断。     

故障树分析法在工控故障诊断中的应用

论述了工业控制系统故障诊断的意义,研究了故障树分析法的基本原理,并结合某挖泥船柴油机供给系统故障实例,应用故障树分析法构筑相应的故障树,然后对故障树模型进行定性和定量的分析。在成功排除故障的基础上,总结了应用故障树分析法分析排除故障的特点。     

模糊数学在电视机故障诊断中的应用

本文介绍了应用模糊数学方法进行计算机辅助诊断电视机的故障原因,这种方法有效性在于建立模型的因果关系正确性和自动搜索范围及速度。     

故障树分析法在半导体设备故障诊断中的应用

介绍了故障树分析法的原理.以反应离子刻蚀(RIE)设备的典型故障为例,建立故障树,通过求解最小实际故障来进行定性分析.尝试扩展故障树在故障判断和改进真空系统可靠性方面的应用,得出几个有针对性的结论.该方法能提高故障诊断的效率和准确性.     

支路集类故障诊断的研究

本文系统地研究了支路集类故障诊断问题,提出了k支路集的拓扑分类定理和方法,给出了类表形成和故障类辨识的算法,并讨论了有关问题。由电路的拓扑图直接分类k支路集并形成完整的类表是本文工作之核心。     

基于网格的最小交叉熵算法在PET图像重建中的应用

基于内容的自适应三角形网格模型是描述图像的一种有效方法,本文将网格模型与最小交叉熵算法相结合,并加入先验解剖信息,用于PET图像重建.在本文提出的新算法中,先将投影数据用滤波反投影方法(FBP)生成参考图像,再对参考图像提取网格节点,用加入先验解剖信息的最小交叉熵算法对网格节点灰度值进行迭代计算,最后利用迭代后的网格节点灰度值对象素点进行插值得到重建后的图像.在仿真实验中,将该算法与最大似然方法(MLEM)等算法作比较,并分析了参数对重建结果的影响.     

民用飞机飞控系统传感器故障诊断研究综述

飞控系统中的各类传感器对飞机稳定与操纵起着至关重要的影响,是飞机的重要安全机载设备之一.传统冗余方法具有"安全性高,经济性低"的特点,通过多余度设计来提升系统的安全性给飞机的重量与结构设计、系统综合集成、维修与检测成本都带来了一定的难题.针对民用飞机飞控系统中各类传感器故障,介绍了典型机载飞控传感器的故障模式,以及对故...     

数字电路故障定位技术研究

针对当前常用电路故障定位技术的局限性,提出了一种基于电路功能的数字电路故障定位方法。通过适当的电路建模和测试程序集设计,逐步缩小故障电路范围,并最终实现故障准确定位。该建模方法具有建模简便、通用性强、易于计算机实现、具备自学习功能等优点,经实际工程验证是一种有效的数字电路故障定位方法。