基于改进OMP算法的稀疏目标微波关联成像方法

利用稀疏重构类方法进行雷达微波关联成像时,传统的正交匹配追踪(orthogonal matching pursuit,OMP)算法在每一次迭代过程中均需要求解目标函数的最小二乘解,导致成像算法计算复杂度随矩阵规模和迭代次数增加而急剧攀升.针对此问题,结合频率捷变思想,提出了一种改进OMP算法的稀疏目标微波关联成像方法....     

Ostrowski-Reich定理在GETOR方法中的应用

定义广义ETOR（记为GETOR）方法，同时对GETOR方法建立了Ostrowski-Reich型定理，扩充了巳有的结果。     

不可微泛函的一个临界点定理

本文把 Tersion 的一个临界点定理推广到 Lipschitz 泛函,并给出了在带间断非线性项的椭园方程中的应用。     

H－空间中的广义KKM定理

在Ｈ－空间中给出ＫＫＭ定理与匹配定理的一些推广、其中部分结果推广了Ｂａｒｄａｒｏ在文［５］和张石生在文［７］中的相应结果。     

非线性积分微分方程广义解的存在性与唯一性

在可测向量函数空间讨论了形如x(t)=F(t,x(t),T_x(t)),x(t_0)=x_0的积分微分方程所描述的不连续系统广义解的存在性,建立了较一般的唯一性的定理。进而讨论了广义解对参数和扰动的连续依赖性,对算子T的不同性态给出了一些实用的结果。     

广义多边形的一个构造定理

W·K·Kator于1986年在文献[2]中给出了构造广义多边形的一个定理,本文另外给出一个。并把构造广义多边形的问题归结到某个集合上建立一种特殊映射的问题。     

非线性约束条件下一个收敛的梯度投影法

本文提出了一个非线性约束条件下新的梯度投影方法。在较简单的假设之下,此算法是全局收敛的,且和现有的非线性约束条件下的一些梯度投影法相比较为简单。     

广义向量平衡问题解的通有稳定性

本文研究广义向量平衡问题,得到了广义向量平衡问题解的一个存在性结果,证明了在满足一定条件的问题构成的空间M中,大多数(在Baire分类意义下)问题的解集是稳定的.     

甘肃省第一批实测大地热流数据

本文报道了甘肃省第一批大地热流测试数据,并进行了初步分析。结果表明,热流值变化范围为56—86mW/m~2,平均值为67mW/m~2。     

对称广义特征值问题的一种算法

本文给出了一个化对称广义特征值问题为对称三对角特征值的一种算法。(A,B)A和B是对称阵,B是半正定阵;可以被化为(A,B),这里A是不可约对称三对角阵,B是正定对角阵。显然求解(A,B)是容易的。由(A、B)的特征伍和特征向量(y,λ),几乎不用什么算法就可得到(A,B)的特征值和特征向量(x,λ)。另外,我们给出了计算(A,B)特征值的个数公式。