直接不交化方法在故障树定量分析中的应用

在布尔集合运算方法和不交化方法基础上，提出了单调关联故障树系统定量分析优化方法，通过故障树定量分析优化方法，可以方便地得到系统的可靠度、不可靠度、最小割集、最小路集、关键重要度等指标。     

基于参数矩阵计算全体极小碰集的方法

极小碰集计算是基于模型诊断的关键步骤之一.针对参数化求解方法的局限性,以及大型系统诊断中由于状态空间规模增加导致诊断能力下降甚至无法诊断等问题,研究了一种非参数化极小碰集求解算法M-MHS(Matrix-based Minimal Hitting Set)算法.该算法利用参数矩阵描述元素与集合的关系,通过矩阵分解将原始问题逐步分解为多个子问题,并采用有效的剪枝规则避免对无解子问题的计算.仿真结果表明:该算法能够计算全体极小碰集,且在进行较大规模碰集计算时性能优于HSSE(Hitting Set-Set Enumeration)算法和去参数化后的BNB-HSSE(Branch and Bound-HSSE)算法,并对不同规律数据能够维持性能稳定,从而为大型系统基于模型诊断提供了可行方法.     

基于降维观测器的最优故障诊断算法研究

为降低诊断算法的计算量,优化算法参数,设计了一种基于降维观测器的最优故障诊断算法。首先,利用正交原理,将故障状态与系统状态进行解耦,从而构造了用于故障估计且无需进行矩阵分块运算的降维观测器。其次,基于对偶原理,将诊断算法的增益优化问题转化为诊断误差方程对偶系统的最优控制律设计问题,从而实现了对故障的最小方差估计。然后,利用诊断结果设计了基于故障补偿思想的容错控制律,以此实现了系统与故障的隔离。最后,通过数值仿真验证了所提方法的有效性。结果表明,对于二阶系统,该诊断算法可在7s内快速收敛到故障真实值。     

混合电路故障诊断中的状态分割法

在故障字典法和离散事件系统(DES, Discrete Event System)离线诊断模型的基础上,提出一种对混合电路统一建模的方法:状态分割法.围绕系统状态和状态的划分之间的关系,以数学分析为主,提出交叉交运算的定义,证明了交叉交运算在划分集上的封闭性以及该运算是划分集上的划分积等性质.借用DES离线诊断模型的建模思想,提出系统的可诊断性定义,利用交叉交运算的性质证明了最小现象集存在并可达的结论.以故障现象分割系统状态集合的方式来定位系统所处的故障状态,把故障字典法和DES离线诊断模型统一起来,指出了状态分割法的通用性.      

关于大系统可靠性的逻辑描述与解法

本文提出了一种应用集合概念设计计算大系统可靠度的方法。用这种方法可以处理具有表决器和相关部件的系统可靠度计算的问题。系统的结构特征采用逻辑联词“与”、“或”描述。而系统状态和部件状态之间的关系采用集合映射的概念描述。本文给出了算法的要点和一个算例。算例的源程序是用FORTRANⅣ编写的,并在FELIX C—256计算机上调试通过。     

椭球状态定界的鲁棒算法

提出了一种计算鲁棒的线性离散时间系统的椭球状态定界算法.算法假设系统的过程和量测噪声以及初始状态由已知椭球来定界,然后利用椭球集合来描述系统真实状态的可行集.算法的时间更新和量测更新过程分别产生两个椭球的向量和与交.算法对椭球形状矩阵进行Cholesky分解,使得当存在舍入误差时椭球形状矩阵保持正定.为了不受病态矩阵求逆的影响,算法的量测更新过程采用了求次最小容积椭球的方法.采用在数字计算机上进行蒙特卡洛仿真来检验算法的性能.结果表明算法的精度与最优算法十分接近,并且具有很好的计算鲁棒性.算法同时具有易于在并行计算机上运行的优点.      

通断式多态系统扩展测试性建模方法

现有测试性建模方法有一定的约束条件,包括故障判据的一致性、故障传递关系的一致性、测试的逻辑值判据一致性.针对通断式多态系统具有的状态差异性的特点,提出了一种扩展测试性建模方法.在引入状态集合的基础上,对故障、测试、 D 矩阵和诊断树进行了扩展定义,最后定义了扩展测试性模型.介绍了扩展测试性建模分析的算法,主要有模型建立算法、扩展 D 矩阵生成算法、扩展诊断树生成算法.以某液压操纵系统为例进行了应用,结果验证了方法的可行性和有效性.     

网络可靠度的简捷计算法

网络可靠度的计算和任意失效树概率的计算一样,都是NP问题,即其计算量随网络或失效树的规模成指数增长。现有的计算方法大多比较复杂、繁琐、需要编成算法,借助于电子计算机运算。本文介绍一种通过建造树来直接求得网络成功的不交型路集,从而计算网络可靠度的方法。此法比较直观、简便易行,按照一定的规则可以方便地找出不交型表达式。这一方法可用于人造卫星分系统的可靠性分析和通信网络、交通网络的可靠度计算。     

基于粒子滤波和不确定图的动态系统诊断方法

在动态系统基于模型诊断中,状态空间大小与元件个数、时间是双指数关系.K-Best枚举方法每个时刻只考虑K个可能性最大的状态,有效减小了枚举空间,但当系统复杂庞大或诊断周期长时,状态更新仍是一项巨大工程.提出一种结合粒子滤波和不确定图的动态系统诊断方法PF_LUG,利用粒子在状态空间的分布近似其概率,并用不确定图标签的反向匹配代替传统的正向轨迹枚举.算法有效解决了由时间导致的计算量增长问题,使时间对复杂度的影响由指数运算降为乘积运算.仿真结果表明该算法的运行时间相对诊断周期线性增长,比K-Best枚举有明显优势.     

多分辨率重采样压缩算法硬件系统体系结构研究

主要介绍基于多分辨率重采样算法的图像实时压缩系统体系结构设计。文章首先简要描述多分辨率重采样图像压缩算法 ,然后探讨以硬件系统实现该算法所可能采取的多种不同体系结构。在分析比较各种体系结构特点基础上 ,重点阐述以大规模专用集成电路作为系统核心的体系结构 ;为完成多分辨率重采样图像压缩专用集成电路设计 ,对压缩算法进行了并行化、模块化、层次化处理 ,提出实现多分辨率重采样图像压缩算法的超大规模集成电路结构 ,并且以可编程序门阵列实现。实验结果表明 ,以该结构实现的硬件压缩系统 ,在保证恢复图像质量前提下 ,体积小、质量轻、功耗低、数据处理速度快 ,在原理上 ,满足星载环境对图像压缩系统的质量与处理速度要求     

多状态系统元件重要度定义

重要度是反映系统中各单元重要程度的一种度量准则,文章研究多状态系统单元重要度分析方法。文章首先阐述了二态系统元件重要度的一般性结论;然后结合多状态系统的有关特点,提出多状态系统元件重要度的相关定义;并建立了其与二态系统元件重要度和多状态单调关联系统元件重要度的相互关系。     

Multifractal Spectrum and Calculation

多重分形理论是进行信号奇异性处理的有用工具 ,由于只有少数集合的多重分形谱可以有解析表达式 ,多重分形谱的计算是其中重要而又较难处理的问题 .简要介绍了多重分形理论的一种形式体系 ,提出了一种采用动态链表来进行多重分形谱计算的方法 ,大幅度地降低了对存储器容量的要求 .用所提出的方法对康托集进行了计算 ,计算结果与理论结果相符 ,表明了算法的有效性 .     

多重分形谱及其计算

多重分形理论是进行信号奇异性处理的有用工具,由于只有少数集合的多重分形谱可以有解析表达式,多重分形谱的计算是其中重要而又较难处理的问题.简要介绍了多重分形理论的一种形式体系,提出了一种采用动态链表来进行多重分形谱计算的方法,大幅度地降低了对存储器容量的要求.用所提出的方法对康托集进行了计算,计算结果与理论结果相符,表明了算法的有效性.     

捷联惯导系统中一种高精度姿态更新算法的推证

在捷联惯导系统中 ,姿态更新的计算是捷联惯导系统的关键问题之一。文章对四元数更新算法进行了研究 ,提出了一种新的四元数四阶泰勒展开高精度航姿算法 ,并在理论上给出了详细的数学推导和证明 ;为改进捷联惯导系统算法提供了重要的参考依据     

无人机全包线模糊T-S建模

针对无人机大包线一体化飞行控制要求,提出全包线模糊T-S(Takagi-Sugeno)建模方法.该方法根据非仿射系统的局部线性化原理,将模糊T-S建模转化为仅对模糊规则中隶属度函数的中心和宽度的优化过程,优化的代价函数为模糊T-S模型对无人机全包线稳定性和操纵性的逼近误差的加权值.基于敏感度逐步扩展前件变量的模糊集以实现全局优化,确定模糊规则的数量和隶属度函数的初值.采用对正则因子启发式调整的Levenberg-Marquardt算法进行快速的局部优化.算例表明,建模算法收敛迅速,所建立的模糊T-S模型采用少量模糊规则实现了对无人机全包线稳定性和操纵性的高精度逼近,适用于无人机全包线一体化控制.     

基于二型模糊系统多源异质信息目标身份类别推理方法

针对前件推理规则未知的目标身份识别问题,考虑到目标信息量测的多源异质特点,利用模糊集对目标速度、图像等多维度特征信息进行统一的抽象化描述,借助遗传算法对模糊推理规则进行优化,在确定模糊划分区间的前提下训练得到最优隶属度函数,建立最优推理规则库。此外,针对由传感器探测精度有限带来的量测不确定性问题,引入区间型样本数据的模糊分类思想,在完成一型模糊系统构建的基础上,提出一种基于二型模糊推理系统的遗传优化算法,给出由三角型隶属度函数嵌入构造对应二型模糊集的推导过程,设计了满足点值与区间型数值复合输入的二型模糊推理系统,并通过仿真验证该推理系统的可行性。     

非接触位移测量中参考点抖动影响的补偿方法

针对用非接触3D光学位移测试系统进行结构动位移形变测试时,测试参考点会发生抖动而影响测试结果的现实难题,提出在用光学位移测试系统测试结构动位移的同时,利用3D加速度传感器同步测试参考点的振动加速度进而获得参考点的3D振动位移,然后用参考点的3D振动位移去修正光学位移测试系统的测量结果,从而提高测量精度的测试和处理方法。论文重点对如何通过振动加速度获得准确的参考点3D振动位移和如何通过参考点的3D振动位移来修正3D光学位移测试系统测量输出的方法和算法进行了研究、仿真和实际测试验证。仿真和实验结果表明,本文提出的测试方法和算法可以有效补偿动位移直接测量中因参考点抖动而引入的测量误差,显著提高测量精度。