基于隐马尔科夫度量场模型的车辆检测和跟踪

针对多目标检测和跟踪过程中常发生的合并和分裂现象,提出一种对不同运动目标假设不同的运动模型,并基于隐马尔科夫度量场(HMMF)的检测和跟踪算法.为了更准确地估计目标的运动参数,还提出了一种简单有效的单目相机标定算法.仿真结果表明,文中算法对遮挡不敏感,即使在发生遮挡、合并或分裂情况时也能很好地跟踪运动目标.     

弱紧型条件下Banach空间中一类非线性Volterra型积分方程解的存在性

主要考虑Banach空间中一类非线性volterra型积分方程在弱拓扑下逼近解与精确解之间的关系,并由此通过比较定理在弱紧型条件下获得方程解的存在性结果。由于非线性项中含有非线性积分算子,相对于线性积分算子。文章所得结论推广并丰富了已有文献的一些结果。     

NA变量Esseen不等式的推广

在一定的条件下 ,推广了NA变量的Esseen不等式 ,给出了一个较为一般的结论 ,所得结果与独立情形一致 .     

椭圆方程非平凡解的存在性

证明了一个重要的Sobolev-Hardy型不等式：∫Ω（ｕ２）/（｜ｙ｜２ｌｎ２｜R/y｜）≤４∫Ω｜Δｕ｜２,而且证明了不等式中的常数4是最佳的.最后,利用Sobolev-Hardy不等式和山路引理证明了一类含临界指数的椭圆问题非平凡解的存在性.     

非线性复系统Xm-BX-C=0的Hermite正定解

非线性矩阵方程在控制理论、动态规划、梯形网络和随机过滤等领域有广泛应用.在一定条件下讨论了m次非对称复系统X^m-BX-C=0(m≥2)的Hermite正定解问题.给出了该系统存在正定解的充要条件,并利用系数矩阵的极大极小特征值所构成代数方程的根以及Brouwer不动点定理,获得了其正定解的存在区间.为迭代求出该系统的正定解,给出了与原方程同解且具对称结构的非线性系统.然后针对系数矩阵B分别为正定、负定、不定3种情况构造出相应的迭代格式,并根据相关代数方程的特征性质,分别证明了所建立的3种迭代格式的收敛性.与此同时根据每种迭代的特点,给出了迭代初始矩阵的选取方法.运用一个5次复系统的数值算例,检验了所给方法的有效性及可行性.     

Diophantine方程(m+n)~2=m+n!的正整数解

利用二次剩余理论,证明了Diophantine方程(m+n)2=m+n!仅有正整数解(m,n)=(1,4).     

不定方程x3-8=65y2的解

利用同余式和递归数列的方法,证明了不定方程x3 -8=65y2无适合(x,y)=1的整数解.     

对数频率特性的解析法串联综合校正(Ⅰ)

提出了不需要作波德图 ,就能设计出超前、迟后校正装置参数的对数频率校正解析法 .