基于压缩感知的GPR成像算法

传统的探地雷达(ground penetrating radar, GPR)数据采集需要满足Nyquist采样定理,严重影响了GPR成像效率。基于压缩感知理论,稀疏信号可以在远低于Nyquist采样率的情况下通过求解l₁范数约束下的凸最优化问题得到精确恢复,克服了传统算法中数据采集的局限。将压缩感知理论应用于GPR成像,利用仿真数据系统分析了测量矩阵维度、信噪比、数据损失程度和目标密集度等因素对成像结果的影响。实验结果表明,与传统的GPR成像算法相比,压缩感知成像算法成像精度高,虚警少,对噪声和数据损失有一定的鲁棒性,可以大大节省数据存储空间和采集时间。     

农业强省的内涵特征、初步评价及发展策略

加快建设农业强国,要以农业大省为主要载体。根据农业强省的丰富内涵和特征,构建51个三级指标的综合评价体系,采用熵权TOPSIS法和耦合协调模型分析各省份农业强省的建设程度和子系统的协调发展程度。结果发现,目前农业强省发展程度普遍较低,且区域差异较大,东部地区优于西部地区;大多省份的子系统之间发展不够协调。因此,在建设农业强省时,要因地制宜发展特色农业产业,也要更加注重农业农村和农民的协调建设。     

基于当前统计模型的机动目标自适应强跟踪算法

在当前统计模型卡尔曼滤波算法的基础上,结合升半正态形模糊分布函数特性,提出了一种加速度方差两段函数自适应调整方法,该方法能自适应逼近目标真实机动并进行准确跟踪。给出了最大加速度自调整方法,克服了模型对目标最大加速度的依赖。引入强跟踪滤波算法,增强了模型对突发机动自适应跟踪的能力。理论分析和仿真结果表明,该算法提高了机动模型和系统模式的匹配程度,增强了系统对强机动目标的跟踪能力,并保持对弱机动和非机动目标良好的跟踪性能,且具有运算量小、跟踪精度高、易于工程化实现等优点。     

偏Doi-Hopf模的Maschke型定理

通过引入偏Doi-Hopf模积分映射的概念, 证明了经典表示理论中的Maschke型定理在偏Doi Hopf模条件下仍成立, 即如果(H,A,C)是带有正规积分映射的偏Doi-Hopf数据, 映射f: M→N是偏Doi Hopf模同态, 则只要f作为右A 模映射存在截面映射（收缩映射）, 则f作为偏Doi-Hopf模映射也存在截面映射（收缩映射）.     

非线性微分方程三阶三点边值问题正解的存在性

三阶微分方程有着广泛的应用背景和重要的理论价值,格林函数在三阶三点边值问题的正解存在性理论中有着重要作用,考虑三阶三点边值问题{u(t)+a(t)f(u(t))=0, t∈(0,1),u(0)=u″(0)=0, u'(1)=αu(η),其中0<η<1, 0<α<1/η。 通过建立相关线性边值问题的格林函数得到解的形式,运用不动点指数理论建立上述边值问题至少两个正解的若干存在性准则。     

算子立方的Weyl定理及其紧摄动

若σ(T)\σw(T)=π₀₀(T), 则称T∈B(H)满足Weyl定理。 T∈B(H)满足Weyl定理的紧摄动: 如果对任意的紧算子K∈B(H), T+K都满足Weyl定理。本文给出了一种Weyl谱的变体, 根据该变体讨论了T ³和T满足Weyl定理的紧摄动的关系。     

数据的动态挖掘与P-增广矩阵关系

P-增广矩阵是通过利用P-集合的结构与动态特征,改进普通增广矩阵A^*提出的。P-增广矩阵是由内P-增广矩阵A^(-overF)与外P-增广矩阵A^F构成的矩阵对,或者(A^(-overF),A^F)是P-增广矩阵。在一定条件下,P-增广矩阵(A^(-overF),A^F)被还原成普通增广矩阵A^*。利用P-增广矩阵的结构与动态特征,给出数据的动态挖掘研究及其与P-增广矩阵的关系。提出数据的动态挖掘的内P-增广矩阵判定定理,外P-增广矩阵判定定理与P-增广矩阵判定定理,给出数据的动态挖掘的P-增广矩阵准则,利用这些理论结果,给出一个简单应用。     

函数列广义积分的极限定理及其应用

考虑函数列在广义积分下的极限问题,运用函数列的极限理论,在函数列一致有界和内闭一致收敛条件下,给出黎曼可积函数列积分的极限定理结果;在函数列广义积分一致收敛条件下,给出广义积分下函数列积分的极限定理结果,以及广义积分下的函数列积分的控制收敛定理.     

四色定理证明的探讨

目前四色定理的证明还没有简短的数学推理方法,必须借助于计算机才能够完成.在没有借助计算机的情况下,基于极大平面图的性质,通过结点合并的方式,研究了四色定理的证明方法,为该定理的进一步证明提供了重要参考.     

一类四阶非线性椭圆型问题解的存在性

研究了一类四阶非线性椭圆型超线性边值问题,对任意的参数λ,应用山路定理得到了问题存在非平凡解.