Banach空间中拟φ-渐近非扩展映像不动点的迭代算法

在自反、严格凸、光滑Banach空间中给出了一种拟(ψ)-渐近非扩展映像不动点的杂交算法,并利用Lyapunov泛函,广义投影算子和性质(K)等技巧,证明了该算法的强收敛性.结果改进和推广了近期的相关结果.     

Sθ-连通性(I)

利用Sθ-闭包引入Sθ-连通集和Sθ-连通分支等概念,并研究了其等价条件,证明了Sθ-连通性是可积的和Sθ-同胚的.     

一类多目标半无限规划的Mond-Weir型对偶

在广义一致局部连通凸函数的约束下,讨论了一类多目标半无限规划的Mond-Weir型对偶,得到了相应的弱对偶、强对偶和逆对偶定理.     

一种抗姿态与表情变化的三维人脸识别方法

为了提高人脸在姿态和表情变化下的识别率,结合局部平面距离(DLP)对曲面局部凹凸性优良的判断能力,提出了一种采用人脸的等距不变表示形式来匹配的人脸识别方法。首先,对深度摄像头采集到的深度图像进行距离约束、位置约束、转换等操作,得到干净完整的三维人脸,利用三维人脸上每一点DLP值确定鼻尖点,利用聚类的思想确定鼻根点;其次,采用改进的快速推进算法计算人脸的测地距矩阵,设置阈值并切割出有效的人脸区域;最后,计算有效的人脸区域的高阶矩特征,作为人脸的特征向量进行匹配。实验结果表明,对于不同的数据库,本文算法的识别率接近97%;将本文算法与基于轮廓线特征的人脸识别算法以及基于Gabor特征的人脸识别算法进行比较,其识别率分别提高了14.1%和8.3%,同时有着较高的运算效率。     

Lω-空间中的拟ωδ-Lindel(o)ff性质

在Lω-空间中引入拟ωδ-Lindel(o)ff性质和拟ωδ-Lindel(o)ff空间的概念,研究了它们的基本性质.得到拟ωδ-Lindel(o)ff性质是ωδ-闭遗传的,是弱拓扑不变的等结论.     

增加两类算子的Goguen n值命题逻辑系统的t真度及性质

在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了命题之间的t相似度与t伪距离(t任取～,△).证明了t真度的MP规则、HS规则及运算性质.接着,在证明￡伪距离的基础上建立了度量空间,并论证了算子(→),V在逻辑度量空间(F(S...     

LF拓扑空间的Os-θ连通性(I)

利用θ-闭包引入LF拓扑空间的Os-θ连通性概念,并研究了其若干基本性质。     

C_0-半群拓扑(I)

利用有界线性算子半群,引入了一新的局部凸向量拓扑,并对其基本性质进行了讨论.     

LF相对乘积空间与近似良紧性

通过引入相对乘积空间证明了近似良紧性关于相对乘积运算而言хоновти乘积定理成立.     

修正的Product逻辑系统中的广义矛盾式

讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法.