李小薪
- 作品数：7 被引量：2H指数：1
- 供职机构：华南理工大学更多>>
- 发文基金：国家技术创新计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 命题公式的一种演绎判定方法
- 2008年
- 目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而演绎过程是许多推理性应用的重要依据.文中针对命题演算系统L,提出了一种可同时给出演绎过程的判定方法——演绎判定方法.首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P(F).P(F)的时间复杂度为O(n3),远远小于基于真值表法的O(2n)和基于策略方案HAL的O(n5).
- 齐德昱李小薪
- 关键词：命题逻辑自动定理证明
- 有遮挡人脸识别的加权误差编码方法
- 损坏和遮挡是现实的人脸识别中常见的问题。然而,目前前沿的鲁棒人脸识别方法处理损坏的能力远远超过了处理遮挡的能力,并且,一旦遮挡水平超过了某个临界点,这些方法的识别能力会迅速下降。本文深入探讨了导致有遮挡的人脸识别困难的原...
- 李小薪
- 关键词：人脸识别
- 稀疏表示的分段匹配寻踪方法
- 近年来，在信号处理领域中，随着各种变换域处理技术(如傅立叶变换、小波变换、奇异值分解等)的发展，信号的稀疏表示理论逐渐成为备受关注的课题，并被广泛应用于信号去噪、数据压缩、特征提取、模式分类和盲源分离等领域。特别是在高维...
- 李小薪
- 关键词：压缩感知
- 文献传递
- 基于结构化误差编码的人脸遮挡检测方法
- 本发明提供一种检测准确率高、可行性好的基于结构化误差编码的人脸遮挡检测方法，适合于处理图像维数较低或遮挡面积较大情况。具体步骤为：步骤1：将待检测人脸图像数据和训练样本数据拉伸为列向量；步骤2：定义误差支撑，并初始化；步...
- 李小薪戴道清
- 文献传递
- 孤立奇异性信号的分段脊寻踪
- 2009年
- 现有的稀疏过完备表示的贪婪寻踪方法(如匹配寻踪、正交匹配寻踪等)的原子选取策略大多是针对一般性信号和字典的,对于一些具有特殊结构的信号和字典,其保稀疏性和收敛性较差。针对孤立奇异性信号和多尺度字典,基于分段正交匹配寻踪方法和小波变换的模极大理论,提出了分段脊寻踪方法。由于分段脊寻踪使用伪逆计算残差在局部字典下的最小l2范数解,给出了最小l2范数解是最小l0范数解的充要条件。数值实验进一步表明了分段脊寻踪方法的保稀疏性、超分辨性和收敛性,在分析孤立奇异性信号时,优于现有方法。
- 李小薪齐德昱
- 关键词：多尺度分析
- 基于结构化误差编码的人脸遮挡检测方法
- 本发明提供一种检测准确率高、可行性好的基于结构化误差编码的人脸遮挡检测方法，适合于处理图像维数较低或遮挡面积较大情况。具体步骤为：步骤1：将待检测人脸图像数据和训练样本数据拉伸为列向量；步骤2：定义误差支撑，并初始化；步...
- 李小薪戴道清
- 基于三维Gabor滤波器的高光谱图像快速滤波方法
- 本发明公开了基于三维Gabor滤波器的高光谱图像快速滤波方法，包括如下步骤：获取三维高光谱图像立方体，预处理后在不同频率幅值，不同频率方法及尺度参数下构建三维Gabor滤波器；通过交叉验证方法确定三维Gabor滤波器的最...
- 贺霖余龙李小薪
- 文献传递
