训练支持向量机的四重序列解析优化算法

为了提高训练支持向量机的序列最小优化算法的学习性能, 依据 在每次迭代中选取多个变量同时优化可能会减少迭代次数和缩短训练时间的这一想法, 提出了一个训练支持向量机的快速算法-四重序列解析优化方法, 并给出了一个重要定理, 使得相应的子问题有解析解, 从而能够更加精确和快速地逼近最优解. 在两个公共数据集上的仿真结果表明: 该方法比其它算法有较好的学习性能-在相同训练精度的条件下,不仅缩短了训练时间, 而且计算复杂度减小.     

科学发现优先权是一把双刃剑

本文以物理学史上科学家们之间为获科学发现优先权竞争的真实事件,探讨并阐释了科学发现优先权如同一把双刃剑。它既能维护科学家们的权益,激励科学家们的研究热情,加速加快在一个特定领域的科学知识发展,但它也能加剧科学家们相互间的争执,甚至导致个别科学家采取不适当、不合理的方法侵犯他人科学发现优先权。     

单目视觉SLAM车载摄像机快速位姿估计及景物重构

针对单目视觉同时定位与地图构建(simultaneous localization and mapping, SLAM)应用,提出一种快速车载摄像机位姿估计及景物结构3D重构算法。在无具体标定物的情况下,利用移动机器人二自由度运动导致摄像机采集视图中对应极点的特殊性质,标定出真实摄像机与虚拟摄像机间的相对姿态,并利用主动视觉方法进一步标定出移动机器人坐标系与虚拟摄像机坐标系间的相对位移;构造无穷单应变换,将真实视图中通过SIFT算法得到的假设欧氏匹配点集转换为对应虚拟摄像机的虚拟假设欧氏匹配点集,并利用基于RANSAC的归一化三点算法快速地对本质矩阵进行估计和分解;利用已观测到的路标三维信息,递归地剔除本质矩阵分解出的平移量的尺度不确定性,并利用线性三角形法重构出景物结构。实验结果表明:该算法在保证运算精度的同时,具有更快的运算速度。     

一类方括号积多尺度分析的构造

根据Hilbert空间中多尺度逼近的定义,探讨了其上多尺度逼近对的性质.在此基础上,由L2(R)空间中1对满足方括号积关系的尺度函数φ和φ-,分析得到了构造方括号积多尺度分析Vj,V-j的方法,进一步讨论表明,双正交及半正交多尺度分析均为这类多尺度分析的特殊情形.特别地,将构造方法应用到基数B-样条,具体构造了1对具有一般性的方括号积多尺度分析.     

扩张竞赛图中的泛连通性点对

研究了扩张竞赛图中的泛连通性点对的存在性问题。证明了如果传递的扩张竞赛图D不是竞赛图,那么D中不包含泛连通性点对。研究了扩张竞赛图中存在泛连通性点对的充分条件：证明了（a）设D1,D2,…,D1是连通但非强连通的扩张竞赛图D的一个强分支无圈序。若Di（i=1,2,…,f）有1一路一圈因子,则D中必存在泛连通性点对。午且找到泛连通性点对的时间复杂度为0（n^0.5）．（b）设D是由连通但非强连通竞赛图r的强分支t（1y（t）1≥3）平衡扩张而成的,（当Iy（t）I=1时,Ti不变）,则D中必存在泛连通性点对。     

可证安全的无证书代理重签名方案

结合代理重签名体制的特征和无证书公钥密码系统的优点,提出了一种无证书的代理重签名方案,并研究了新方案的一种典型应用场合.该方案采用了无证书公钥密码体制,解决了基于证书方案的证书管理问题和基于身份方案的密钥托管问题.结果表明:该方案具有无证书密码体制和代理重签名体制的双重优点,不仅满足代理重签名所要求的安全性,而且避免了替换公钥攻击和恶意KGC(key generation center)攻击,具有更高的安全性.     

套代数上广义导子对的刻画

设τ（ N ）是复可分Hilbert空间H上的套代数,（φ,ψ）是套代数τ（ N ）上的线性映射对。若对任意A,B∈τ（N ）且AB＝0,有φ（AB）＝φ（A）B＋Aψ（B）成立,则（φ,ψ）是广义内导子对。     

有向轮图和有向多轮图的泛路问题

主要研究有向轮图W（项量）_t和有向多轮图W（项量）_k,t的泛路问题,得到有向轮图W（项量）_t和有向多轮图W（项量）_k,t是可迹的,也是泛路的和弧泛路的,并给出其泛路连通点对的数目和泛连通性点对的数目.     

实对称矩阵正交相似对角化的简便方法

将实对称矩阵正交相似对角化,需要经施密特正交化方法求出实对称矩阵的正交单位特征向量组。当特征值重数较高时,该方法计算量较大。本文通过简单的初等行变换便可求出实对称矩阵的两两正交的特征向量,从而得到将实对称矩阵正交相似对角化的简便方法。     

局部凸空间k-极凸性和k-极光滑性

引入了局部凸空间中k-极凸性和k-极光滑性这一对对偶概念,然后讨论与其它k-极凸性和k-极光滑性之间的关系,并给出了它们在P-自反的条件下的等价对偶定理.