国家教育部博士点基金(20050359012)
- 作品数：27 被引量：103H指数：6
- 相关作者：张佑生汪荣贵程玉胜胡学钢王浩更多>>
- 相关机构：合肥工业大学安庆师范学院安徽建筑工业学院更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于特征和基于图像相结合的快速人脸检测被引量：3
- 2008年
- 为了提高人脸检测的速度,提出了一种基于特征和基于图像相结合的快速人脸检测方法。该方法对训练样本图像进行离散小波变换(DWT),使用低频逼近系数来训练支持向量机(SVM)分类器;在检测时,首先利用双眼区域的亮度关系和脸部的对称特征来快速过滤掉大量的背景区域,再利用SVM对余下的区域进行进一步的验证,以确认是否为人脸。实验结果证明了该方法的正确性和有效性。
- 孙见青汪荣贵胡琼李守毅
- 关键词：人脸检测基于图像小波变换支持向量机
- 多Agent动态影响图及其概率分布的近似方法被引量：3
- 2007年
- 将多 Agent 影响图(MAIDs)在时间上进行扩展,提出一种决策模型:多 Agent 动态影响图(MADIDs),用于表示动态环境中多 Agent 协作的结构关系.为了有效计算 MADIDs 的概率分布,以 Agents 之间的策略偏序关系为指导,给出概率分布的一种分解近似方法,进而讨论概率分布在推理中的近似.对 MADIDs 概率分布计算的复杂性、误差以及误差在时间上的传播进行分析,进而基于 KL 差分,给出一个可对近似分布的精度和复杂性进行均衡的函数.最后,针对一个表示协作关系的 MADID 模型,进行实验和算法比较,实验结果显示该概率分布近似方法的有效性.
- 姚宏亮王浩张佑生俞奎
- 关键词：联合树
- 两类决策系统中规则获取的联合决策矩阵算法被引量：3
- 2008年
- 提出了联合决策矩阵的概念以及基于联合决策矩阵的两类决策系统规则获取算法.将条件属性等价矩阵和决策属性等价矩阵合并到一个矩阵中,大大减少了矩阵生成过程的比较次数,能有效提高算法的效率.用一个实例说明了算法的执行过程,并通过算法复杂度分析与实验结果对比,进一步说明了该方法的有效性.
- 程玉胜张佑生胡学钢
- 关键词：粗集理论分辨矩阵决策函数
- 图元的子句时新性
- 2008年
- 为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体角色消息语句的子句测试关系,且出现在图元中的消息事件满足通信关系和前驱关系约束.由图元生成的事件图涵盖了由子句测试关系构造的未知主体角色串,且通过定义图元互模拟刻画事件图的互模拟等价关系可实现并发密码协议系统安全性验证.
- 王焕宝张佑生
- 关键词：图元时新性事件图密码协议
- 基于自适应粒子滤波的动态贝叶斯网推理算法被引量：3
- 2007年
- 提出一种基于自适应粒子滤波的动态贝叶斯网推理算法,该算法能随着动态贝叶斯网状态演化的不确定性动态改变抽样粒子数目,其根据是通过给定抽样误差界限来确定粒子数。当状态空间不确定性较低时,算法使用较少的粒子数;当状态空间不确定性很大时,将使用较多的粒子数。模拟实验表明该算法很好地兼顾了推理精度和推理时间,性能优于粒子滤波算法;与RBPF算法相比,该算法在稳定性和适用性方面也具有一定优势。
- 陈栋梁王浩姚宏亮俞奎
- 关键词：动态贝叶斯网络粒子滤波自适应粒子滤波
- 基于DC分量和AC分量相结合的数字水印技术被引量：5
- 2007年
- 文章提出了一种将DC分量与AC分量相结合的数字水印新方法,该方法将原始图像分块并根据人眼视觉系统纹理掩蔽特性,提取出原图像每块的纹理特征,由该纹理特征在原图像的每块DC系数和3个AC系数上嵌入水印。实验结果证明,该方案自适应性好、嵌入的水印的信息量大,并且对图像处理和常见的图像攻击具有很好的稳健性。
- 孙见青汪荣贵李守毅
- 关键词：数字水印DC分量AC分量纹理特征
- 一种改进的基于特征和基于图像相结合的人脸检测被引量：2
- 2007年
- 为了提高人脸检测的速度,提出了一种基于脸部特征和支持向量机的人脸检测方法。该方法对训练样本图像进行二维离散余弦变换(DCT),变换后选取重要的DCT系数来训练支持向量机(SVM)分类器;在检测时,首先利用双眼区域的亮度关系和脸部的对称特征来快速过滤掉大量的背景区域,再利用SVM对余下的区域进行进一步的验证,以确认是否是人脸。实现结果证明了该方法的正确性和有效性。
- 孙见青汪荣贵李守毅
- 关键词：计算机应用人脸检测基于图像离散余弦变换支持向量机
- 基于粗集模型的近似约简灰色区域表征法
- 2007年
- 利用粗集理论,通过建模构造了数据集在约简前后的信息损失表达的灰色区域,将少数优先和多数优先的统计策略包含到灰色区域之中,并利用该区域,提出了一种灰色区域表征的σδ—近似约简方法,通过仿真实验,对提出的方法进行了验证。该方法按照人的要求调整阈值获得问题所需解的思想体现了人机结合以人为主的思想。
- 程玉胜江效尧张佑生胡学钢
- 关键词：近似约简属性约简
- 基于图元的事件图生成算法被引量：2
- 2007年
- 与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形,且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理论,提出用于并发运行密码协议安全属性验证的事件图模型。图元是事件图的构造单元,它满足消息事件之间的通信关系和前驱关系约束以及消息语句的新鲜性约束。定义消息事件之间、图元之间以及消息事件和图元之间的前缀、组合和选择运算,并给出事件图生成算法。
- 王焕宝张佑生
- 关键词：密码协议事件图图元
- 基于决策类分割的动态数据环境下的归纳学习被引量：4
- 2007年
- 深入分析了基于分辨矩阵和传统决策矩阵的归纳学习算法中存在的问题,提出了一种新的决策矩阵及基于它的归纳学习和动态数据环境下的递增式学习方法。其主要思想是基于决策类将决策系统分割为多个子系统,并构造其新的决策矩阵,然后将决策系统上的归纳学习转化为新决策矩阵下的递增式学习。这不仅解决了动态数据环境下归纳学习问题,而且能降低矩阵空间规模,避免了传统决策矩阵算法中的重复计算。实例分析和实验结果验证了基于分治策略算法的合理性和有效性。
- 程玉胜张佑生胡学钢
- 关键词：分辨矩阵决策矩阵决策函数
