北京市自然科学基金(KZ201210028036)
- 作品数：2 被引量：7H指数：2
- 相关作者：李晓娟宋家东周明全叶世伟张杰更多>>
- 相关机构：首都师范大学哈尔滨工业大学北京师范大学更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国际科技合作与交流专项项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于广义2DLDA算法在人脸识别的应用被引量：4
- 2015年
- 提出一种基于广义的2DLDA算法,简称:G2DLDA.首先,由于2DLDA算法提取的特征向量矩阵S-1wSb通常不是标准正交特征向量矩阵,因此该方法会严重影响特征提取的质量.本文根据Sw矩阵是对称正定的,即:具有Sw=S1/2w×S1/2w性质,将2DLDA算法的特征向量矩阵转化成基于标准正交特征向量矩阵,即:S-1/2wSbS-1/2w.其次,G2DLDA算法与2DLDA一样不会产生小样本事件,因为方程式S-1/2wSbS-1/2wv=λv的右端为单位矩阵,是满秩的.最后,G2DLDA算法采用基于Cosine-范数度量方式进行分类,实验证明该度量方式优于其他度量方式,如:欧氏距离度量方式以及F-范数度量方式.在实验阶段,本文采用Yale、ORL和JAFFE三个数据库对该算法进行测试与分析,实验结果证明该算法具有较好的鲁棒性,同时能够获得较高的识别率.
- 宋家东周明全卢金环刘一丹李晓娟
- 关键词：维度灾难
- GJK算法的一种特殊情形的形式化验证和应用被引量：3
- 2015年
- 计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.
- 安育龙施智平叶世伟李晓娟张杰魏洪兴
- 关键词：形式化方法机器人规划定理证明HOL
