基于单目视觉的横穿障碍物检测

提出一种基于单目视觉的横穿障碍物检测方法.首先,基于道路平面假设,根据特征点的位置约束以及逆透视投影变换下的性质,提取地面特征点对.其次,采用迭代加权最小二乘法估计自车平移和旋转运动参数.然后,利用估计的运动参数对图像光流进行旋转补偿,并基于道路C 速度空间生成障碍物的候选标记点.最后,对候选标记点进行分组聚类和验证,确定横穿障碍物区域.不同交通场景下的实验结果表明,上述方法能够适用于各种自车运动,有效检测横穿障碍物.     

集值优化局部Henig有效解的最优性条件

引进集值映射的Henig有效次微分的概念,并用它得到了集值向量优化问题局部Henig有效解在支撑函数和Lagrange乘子形式下的最优性必要条件.     

一类非线性抛物方程初值问题整体解的存在唯一性

利用压缩映射原理和解的延拓定理证明一类非线性抛物方程初值问题的整体广义解和整体古典解的存在唯一性.     

一类集合值算子方程的求解问题

本文给出集合值O-proper 0-eoi映射的概念,以及相应的同伦延拓原理,并利用这些结论讨论了集合值算子方程F(x)=λH(x)的求解问题。     

一种新颖的编辑距离限制下的相似性确认算法

针对相似性确认步骤中编辑距离计算的高复杂性问题,提出了一种在编辑距离限制下的基于鸽笼原理的字符串相似性确认算法.首先找到满足编辑距离片段映射的片段,以此片段为基准,将长度为500bp的read分段.然后对满足编辑距离片段映射的左右部分递归地进行编辑距离计算,将各段得到的编辑距离相加即为最后结果.最后根据最长公共子串的下限将需要验证的片段数目降到最低,得到优化方案.实验结果表明,基于鸽笼原理的分段递归计算编辑距离的确认算法减少了验证步骤的时间,并能保证假阳率和假阴率都为零.     

局部测地距离估计的增量等距特征映射算法

基于经典等距特征映射（ISOMAP）算法易受噪声干扰和邻域大小影响,采用局部测地距离估计输入数据点的初始邻域,并结合增量学习思想,提出一种基于局部测地距离估计的增量ISOMAP算法进行降维,以提高ISOMAP算法的分类能力.人脸识别试验表明,该算法识别性能优越,对噪声和几何形变具有鲁棒性.
     

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射,则Fix（f）是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f：L→L是稳定映射且max（L）CFix（f）,则Fix（f）是L的收缩等性质．     

交互式平行坐标多维电磁态势可视分析

针对传统分析手段难以满足综合快速感知多维战场电磁态势的需求,提出三维战场空间与交互式平行坐标联动表现的可视分析方法：改进平行坐标的交互式查询方法;提取战场电磁态势要素,将其定量映射到平行坐标中进行多维展现;通过平行坐标与三维场景联动,从不同角度对电磁态势进行可视分析;引入时间维展现电磁态势的动态变化趋势。实验表明,交互式平行坐标多维电磁态势可视分析方法能有效加快电磁态势感知过程,适合于复杂电磁环境下指挥作战应用。     

(1+1)维修正的Korteweg-deVries方程的对称精确解研究

利用改进的Riccati方程映射方程法,结合变量分离法,通过假设的对称形式解,借助Maple符号计算软件,分析计算(1+1)维修正的Korteweg-de Vries方程的精确解(包括孤波解、周期波解和有理函数解)。     

带ψ-强单调映象的广义非线性拟变分包含

引入了一类新的带ψ-强单调映象的广义非线性拟变分包含，在Hilbert空间中使用极大η-单调映象的预解算子方法建立了这类变分包含解的存在性定理，构造了求此类变分包含解具误差的新迭代算法，并讨论了算法的收敛准则。