巨型机求解大型稀疏问题的Krylov子空间法

求解大型稀疏问题最流行的方法是建立在子空间投影技术之上的。这类方法的主要吸引力是仅需要使用矩阵向量乘法。我们给出PCG、GMRES、Lanczos和Davidson算法及在YH-I上的实现,然后比较每一方法的优缺点,并尽可能讨论其并行执行。     

矢量偏差小波函数（Ⅰ）

在文献[1-6]的基础上提出了一种新的信号表示方法,并用最优控制理论实现了数值测试,结果表明该方法明显优于传统方法。     

基于主因素的近似推理的矩阵表示

提出了一个主因素近似推理方法 ,并以一个算例说明了该推理策略的矩阵表示形式。     

谈充分条件假言判断逻辑性质

在形式逻辑的判断中,假言判断分为充分条件假言判断、必要条件假言判断和充分必要条件(简称充要条件)假言判断。一个假言判断它通常由前件、后件和联结项三个部分组成,不同的联结词表示了前件和后件不同的逻辑关系。     

三维静磁场Lipschitz区域上Robin问题广义解的存在与唯一性

近年来,电磁场边值问题的数值解法取得了飞速的发展．由于电磁场边值问题是一类非线性偏微分方程,研究解的存在性、唯一性具有较大的困难．前人已讨论了B-H间的几个基本不等式,并由之证明了三雏静磁场带零边值问题广义解的存在与唯一性,作者也曾利用给出的B-H间的不等式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性．由于在一般区域讨论存在困难,作者利用Sobolev空间理论及单调算子理论证明了三雏静磁场Lipschitz区域上Robin问题广义解的存在与唯一性．     

多参数捷变雷达快速MTD算法

相比于传统的脉冲-多普勒体制雷达,多参数捷变雷达具有十分优秀的抗干扰能力,这使得其在复杂电磁环境下被广泛应用。然而,脉间参数的变化会严重破坏回波脉冲的相干性,导致动目标检测（moving target detection,MTD）等相干处理难以实现。针对以上问题,提出一种针对多参数捷变雷达的快速MTD算法。该算法对多参数捷变信号进行建模和稀疏表示,采用快速傅里叶匹配追踪（fast fourier matching pursuit,FFMP）对回波信号进行重构以实现MTD。仿真结果证明了本方法的有效性、优越性以及该方法在运算量上的优势。     

基于稀疏表示的数字调制模式识别

通过分析稀疏表示在模式识别应用的基础上,提出了一种基于稀疏表示的特征提取方法。该方法首先引入主成分分析对新的样本进行降维,然后利用降维后的训练样本构建稀疏线性模型,通过范数最优化求解测试样本的稀疏系数,根据稀疏系数的分布提取特征值。最后利用支持向量机分类器进行信号的分类识别。并在求解最小范数优化问题中,提出一种通用的解决方案,利用粒子群算法确定最优惩罚系数。新方法提取的特征值经计算机仿真研究证明,该算法具有较好的有效性和一定的工程应用性。     

基于FOCUSS改进算法的DOA估计方法

传统的DOA估计方法不能有效分辨相干源目标;稀疏重构方法能够处理相干源的DOA估计问题,但现有稀疏重构方法大都是针对无噪声或仅存在观测噪声系统提出的,估计性能有待提高。对于同时存在观测噪声和模型噪声的多观测量模型,提出了一种基于FOCUSS稀疏重构的改进算法,可鲁棒地处理相干源、非相干源的DOA估计问题,有效提高分辨力和估计精度等估计性能。给出了DOA估计的稀疏信号模型以及新算法的推导过程,仿真实验证明了新算法在与其他算法对比时的优越性。     

基于四阶累积量阵列扩展的稀疏分解方法

提出了一种基于四阶累积量稀疏表示的估计方法,解决信号数多于阵元数时的DOA估计问题。该方法首先构造了包含所有DOA信息的最小冗余矢量,利用扩展阵列的最小冗余导向矢量构造完备字典减小完备字典的复杂度;然后利用L1范数作为稀疏约束条件建立稀疏模型进行DOA估计。理论分析和仿真实验,验证了该方法能够估计出的信号个数大于阵元数目,可直接应用于相干信号,比MUSIC-like算法具有更好的性能。     

多任务时间规划冲突检测方法

摘要：针对多任务的时间规划问题,基于Simple Temporal Networks(STN)时态表示模型和时态推理方法,提出了一种时间冲突检测的智能方法,并对该方法给予了数学证明。实验表明,该方法能够检测出基于STN表示的作战方案的时间冲突,并对任务时间规划提供参考范围,可有效辅助指挥员快速制定作战方案的时间规划。