杨庆红
- 作品数：41 被引量：130H指数：7
- 供职机构：江西师范大学计算机信息工程学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划江西省高等学校教学改革研究课题更多>>
- 相关领域：自动化与计算机技术文化科学经济管理理学更多>>
- 3个变形背包问题的形式化推导被引量：1
- 2017年
- 在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可将采用的推导方法在子集和问题、船装载等问题中加以推广应用.
- 游颖杨庆红齐蕾蕾
- 关键词：形式化推导程序规约递推关系
- 数据结构实践教学体系的设计与实施被引量：7
- 2010年
- 数据结构是一门理论性与实践性都很强的课程,数据结构实践教学体系的建设对于学生实践能力和创新能力的培养起着重要的作用。该文结合数据结构课程的特点,从实践内容的设计优化、教学模式和教学手段几个方面出发,探讨了数据结构实践体系的建设思路、建设过程和取得的主要成效。
- 揭安全李云清杨庆红化志章王岚
- 关键词：数据结构实践教学体系教学改革教学模式
- 程序规约变换技术在程序设计中的应用
- 2006年
- 算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。
- 黄海飞杨庆红薛锦云
- 关键词：程序规约
- 基于ARM的人脸识别系统的研究与实现被引量：1
- 2010年
- 使用人脸类Haar特征进行人脸检测,采用Daubechies小波去噪变换和PCA降维算法提取人脸特征,将经过PC机变换后的训练样本特征子空间文件通过网络传输到嵌入式平台,并结合最近邻算法识别人脸.实现了一种嵌入式人脸识别系统,解决了嵌入式人脸识别系统由于图像处理数据巨大而造成处理效率低的难点.基于MagicARM2410开发板实现了该系统,结合实际图片进行了人脸识别测试,实践结果表明系统效果良好.
- 王仕民叶继华黄亮杨庆红余敏
- 关键词：嵌入式操作系统人脸识别HAAR
- 2类组合数学问题的算法形式化推导
- 2019年
- 组合数学问题算法的研究是计算机科学的重要研究内容,但在许多相关文献中,许多组合数学问题的算法只是经过简单分析得到,并未给出算法程序的详细设计过程,导致读者无法理解算法本质,更无法保证算法程序的正确性.该文在以组合数学中连续子序列最大乘积和第2类斯特林数变形问题为例的基础上,通过形式化描述问题的程序规约,使用规约变换规则,对程序规约进行一系列等价变换,获得问题求解序列的递推式,并以此为基础得到问题求解的算法程序,清晰地展示了从问题的需求到算法程序的详细推导过程.通过对相关组合数学问题的进一步深入研究,提炼了2类组合数学问题的求解策略,为提高组合数学问题算法程序的正确性提供了有效途径.
- 熊小超杨庆红
- 关键词：形式化方法程序规约组合数学
- 一种高效的算法程序设计方法—PAR方法被引量：10
- 2000年
- 利用在长期的算法研究中提出的分划递推法 (简称 PAR方法 )开发了三个问题的算法程序 ,说明 PAR方法不仅为算法设计提供了统一而有效的途径 ,也为开发循环不变式奠定了基础。
- 杨庆红肖燕娟
- 关键词：PAR方法循环不变式递推关系
- 使用递推解决递归问题的研究与应用被引量：4
- 2011年
- 使用递推技术实现递归问题的算法,不仅可以节省存储空间,而且可以极大地提高算法的执行效率。在对递归问题进行研究的基础上,给出了使用递推技术将递归问题的递归算法转换成非递归算法的具体方法,并通过具体实例加以了说明。
- 陈瑞环杨庆红姚兴
- 关键词：递归问题递推关系
- Gabor特征融合的嵌入式人脸识别系统的研究被引量：2
- 2012年
- 在嵌入式人脸识别系统中,由于多尺度Gabor抽取特征的维数和数据量过大,不适合在ARM板上实现,提出了多尺度Gabor特征加权融合的方法,很好地解决了图像维数和数据量过大的难点。加权融合过程包括多尺度Gabor特征的提取、特征权值的计算和加权融合过程。同时使用了类Haar特征提取人脸、2DPCA对人脸图像进行降维。基于EELiod 270嵌入式开发平台实现了一个嵌入式系统,结合典型图片库和实际图片进行了人脸识别测试,实践结果表明,系统在保证一定的识别率的同时,大幅度降低了运行时间,实时识别效果良好。
- 叶继华王仕民郭帆杨庆红余敏
- 关键词：GABORHAAR嵌入式系统
- B方法规格说明的构造及应用被引量：2
- 2007年
- B方法是一种软件形式化方法,支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化。
- 吴帅杨庆红樊艳芬
- 关键词：B方法抽象机精化
- 基于JCE的数字签名中间件研究与实现被引量：1
- 2006年
- 在介绍中间件及安全中间件的基础上,重点分析了数字签名中间件的原理,并针对电子政务中公文传输的安全性要求,提出了一种基于JCE实现的数字签名中间件的设计与实现。
- 廖春华陈勇光杨庆红薛锦云
- 关键词：中间件数字签名非对称加密JCE
