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

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

一种基于矩阵分裂的QC-LDPC码Log-BP译码方法

 针对高码率的准循环低密度奇偶校验码（QC-LDPC）提出了一种新的高效的log-BP部分并行译码结构,它通过矩阵分裂,将原监督矩阵分裂成多个小的矩阵,使原本的校验节点更新运算被拆分成多次处理,有效地降低了BP迭代运算的复杂度;通过组织不同小矩阵校验节点更新运算与变量节点更新运算的先后顺序,可以使不同小矩阵的校验节点更新运算与变量节点更新运算同时进行,从而提高译码器的译码速率。该方法既适用于非规则码,也适用于规则码。实验结果表明,与现有的log-BP译码方法相比,在相同的码速率下,校验节点更新单元（CNU）与变量节点更新单元（VNU）规模总量减小1/3;在相同的硬件资源下,译码速率提高1/3,另外该方法使CNU与VNU结构趋于对称,有利于设置更少的流水线级数,获得更好的时钟性能。     

离散系统LMI滤波技术

给出了一种离散系统最优滤波器的线性矩阵不等式（ＬＭＩ）设计方法。在系统干扰噪声能量有界情况下,将有约束的滤波问题转换为无约束的最优状态估计问题。利用ＬＭＩ方法给出了最优无偏滤波器存在的充分必要条件,所得滤波器的阶数小于系统状态个数。将ＬＭＩ方法应用于飞机飞行试验数据处理中,分析了实际飞行条件下飞机运动的模型,并对该模型进行扩展线性化处理,得到了一个较易实现的ＬＭＩ滤波算法。仿真结果表明,所提出的算     

连续纤维增强陶瓷基复合材料在航空发动机上的应用

阐述了连续纤维增强陶瓷(SiC)基复合材料的优势与存在的问题,重点介绍了国内外对与其相关的增强纤维、构件制备工艺、构件制备的研究进展。     

分散控制固定模态的存在性及其重数

对分散控制系统的固定模态进行了研究。基于固定模态的存在性,定性地分析了分散控制固定模态产生的原因;克服Ａｎｄｅｒｓｏｎ 等人的判别原则不足之处。通过闭环系统特征多项式,利用多项式矩阵左既约分解法,不仅能判别一个特征值是否为固定模态,还能确定其重数,同时给出了固定模态的新算法,把固定模态的计算归结为求解一个低维的多项式方程,避免了Ｄａｖｉｓｏｎ 的算法中求解高维特征方程的复杂性。     

关于几个二次矩阵方程的解

给出ＸＡＹ＝ＢＡ（ＡＢ或Ｃ）型二次乱阵方程的解法,讨论解的一般表达式。     

添加型聚酯复合材料阻燃性能及力学性能研究

研究了几种阻燃剂对聚酯复合材料阻燃性能及力学性能性能影响。结果表明 ,阻燃剂的种类及含量对材料阻燃性能及力学性能有显著影响 ,多种阻燃剂同时使用能产生协同阻燃效果     

电子封装用金属基复合材料的研究现状

本文介绍了电子封装用金属基复合材料的研究现状 ,分别从基体、增强体、制备工艺几方面讨论了其对复合材料性能的影响 ,着重介绍了作为电子封装材料应用前景较好的高比例SiC颗粒增强铝基复合材料及其已部分实现规模工业化生产的铸造法。并进一步提出了尚待解决的问题     

基于激光跟踪仪的多立方镜姿态标定方法

提出了使用激光跟踪仪测量系统对立方镜姿态进行测量的方法。首先,根据反射原理及平面镜光学成像原理对立方镜法线进行测量,然后建立立方镜的角度坐标系,并标定多个立方镜坐标系间的转换矩阵。通过单个立方镜姿态测量及2个立方镜间坐标系转换矩阵标定的实验,验证了方法的可行性。实验结果表明,最大标定误差优于5″,满足测量精度的要求。