基于Sobel算子的红外运动目标检测算法

当前我国红外图像的处理办法是从20世纪80年代开始发展起来的,红外图像的检测算法有很多,都是依据其自身的特点而定的,对红外图像处理内容与平时可见光的处理方式是有所不同的,红外图像主要是对于变形的图像进行处理矫正,根据函数的不同进行改变,对于直流方向的校正,以及改变图像的亮度、对比度,处理图像的尖锐部分,让其变得平滑,这方面包括图像像素间的积累,像素的增加,直方图的处理等等,但是由于整个红外处理要求很高,因此,要想实现高质量的检测,并提升准确程度是有一定困难的。我国对于船舶的检验是从较简单的人工检验下发展起来的,现在适用于较为复杂的背景检测,人工背景检测一般包括天空、海洋、墙面等,目前检测技术就是通过现代的数字处理技术、红外图像理论进行检查,通过先进的技术对复杂的直观图进行分析和检测,增强人们对于图像的认识和识别。本文将首先介绍分析运动目标检测的方法,然后分析了Sobel算子的检测方法,整个实验都对于检测红外图像有着很好的效果,希望能为日后的推广运用起到作用。     

混合单调的u0-凹凸算子不动点的存在唯一性

在半序线性空间中讨论了混合单调的u0-凹凸算子的不动点的存在和唯一性,对所述算子没有作连续假设,算子的表达形式也更容易在实际中获得应用.     

Douglas-Rachford分裂法线性收敛性的新证明

结合临近算子和极大单调算子的关系,利用凸优化和压缩算子理论,证明了无约束优化问题的Douglas-Rachford分裂法对强凸且光滑的函数具有全局线性收敛性,并给出了相应的收敛率.     

Melnikov函数在含有两个幂零尖点的双异宿环附近的展开式（英文）

考虑未扰Liénard系统x=y,y=-g(x),其中deg g(x)=7,当该系统分别含有2,3,4和5个奇点时,给出了其所有的不同拓扑类型的相图,并给出了Melnikov函数在含有2个幂零尖点和1个双曲鞍点的双异宿环附近的展开式和得到极限环的条件.     

Altman型不动点定理

针对Altman型不动点定理,讨论了在第一个指数在0和1之间和第二个指数不大于0,以及只有一个小于0指数情形范数不等式条件下全连续算子不动点的存在性.证明了几个新的不动点定理.对应最近文献中第一个指数大于1,第二个指数不小于0在范数不等式条件下的不动点定理,推广和补充了这些文献中的结果.     

两类解析函数子类的包含关系和卷积性质

引入并研究了带有Carlson-Shaffer算子L(a,c)f(z)的两个函数子类P(a,c;;h)和T(a,c;;h)的一些性质.特别,证明了这两个子类的几个包含关系,积分算子和卷积性质.     

三阶微分方程边值问题的非平凡浇

利用Leray-Schauder连续定理研究了一类三阶方程边值问题非平凡解的存在性.     

非齐型空间上奇异积分算子高阶交换子的加权估计

在非齐型空间上讨论弱核奇异积分算子与RBMO(μ)函数的高阶交换子Tbm=[6,Tb(m-1)]在上的有界性和端点估计.     

基于SUSAN算子的边缘增强低比特率图像压缩

提出一种新的低比特率图像压缩算法,该算法首先利用SUSAN算子检测出输入图像的边缘信息,然后利用边缘增强方法对边缘信息进行增强,最后将增强后的边缘信息和解码后的输入图像相加形成最终的压缩图像.实验结果表明,和基于小波的传统编码方法相比,在低比特率下,该算法能减少图像的边缘模糊,提高压缩图像的识别度和峰值信噪比.     

强、弱随附性概念探析

随附性是个意蕴丰富的哲学概念,金在权依据不同的模态强度区分了强随附性和弱随附性。但是,金在权对随附性的双条件句描述犯有错误,而且他的必然性没有一致地给出弱随附性和强随附性的跨世界解释。区分强、弱随附性的关键是认识随附性的依赖与决定关系的不对称性,从这一角度可以对强、弱随附性中出现的"必然"给出合理说明,也能够以此修正强、弱随附性的划分。