您的位置: 专家智库 > >

杨庆红

作品数:41 被引量:132H指数:8
供职机构:江西师范大学计算机信息工程学院更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划江西省高等学校教学改革研究课题更多>>
相关领域:自动化与计算机技术文化科学经济管理理学更多>>

文献类型

  • 35篇期刊文章
  • 4篇会议论文
  • 1篇学位论文
  • 1篇科技成果

领域

  • 33篇自动化与计算...
  • 8篇文化科学
  • 1篇经济管理
  • 1篇理学

主题

  • 7篇教学
  • 7篇程序设计
  • 6篇递归
  • 6篇循环不变式
  • 6篇教学改革
  • 5篇递推
  • 5篇数据结构
  • 5篇课程
  • 4篇递归问题
  • 4篇递推关系
  • 4篇形式化
  • 4篇可重用
  • 4篇规约
  • 4篇程序规约
  • 3篇形式化方法
  • 3篇形式化推导
  • 3篇人脸
  • 3篇人脸识别
  • 3篇人脸识别系统
  • 3篇软件工程

机构

  • 41篇江西师范大学
  • 1篇南昌航空大学
  • 1篇深圳职业技术...
  • 1篇江西电力职业...
  • 1篇天津市教育招...

作者

  • 41篇杨庆红
  • 10篇李云清
  • 9篇薛锦云
  • 8篇揭安全
  • 6篇王岚
  • 6篇化志章
  • 5篇叶继华
  • 4篇王仕民
  • 3篇黄亮
  • 3篇余敏
  • 3篇丁树良
  • 2篇郭帆
  • 2篇李建莲
  • 2篇刘超
  • 2篇罗坚
  • 2篇王萍
  • 2篇齐蕾蕾
  • 1篇单学广
  • 1篇吴帅
  • 1篇应德全

传媒

  • 9篇江西师范大学...
  • 8篇计算机与现代...
  • 4篇计算机教育
  • 3篇计算机工程
  • 2篇计算机时代
  • 1篇计算机研究与...
  • 1篇东南大学学报...
  • 1篇计算机应用与...
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇江西科学
  • 1篇计算机与数字...
  • 1篇江西金融职工...
  • 1篇金融教育研究
  • 1篇2010年中...
  • 1篇第二届全国高...
  • 1篇第二届中国计...
  • 1篇第四次全国软...

年份

  • 1篇2022
  • 1篇2020
  • 1篇2019
  • 1篇2018
  • 1篇2017
  • 2篇2012
  • 6篇2011
  • 6篇2010
  • 1篇2009
  • 6篇2008
  • 1篇2007
  • 3篇2006
  • 3篇2005
  • 1篇2003
  • 2篇2001
  • 1篇2000
  • 1篇1998
  • 1篇1995
  • 1篇1993
  • 1篇1991
41 条 记 录,以下是 1-10
排序方式:
3个变形背包问题的形式化推导被引量:1
2017年
在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可将采用的推导方法在子集和问题、船装载等问题中加以推广应用.
游颖杨庆红齐蕾蕾
关键词:形式化推导程序规约递推关系
数据结构实践教学体系的设计与实施被引量:8
2010年
数据结构是一门理论性与实践性都很强的课程,数据结构实践教学体系的建设对于学生实践能力和创新能力的培养起着重要的作用。该文结合数据结构课程的特点,从实践内容的设计优化、教学模式和教学手段几个方面出发,探讨了数据结构实践体系的建设思路、建设过程和取得的主要成效。
揭安全李云清杨庆红化志章王岚
关键词:数据结构实践教学体系教学改革教学模式
程序规约变换技术在程序设计中的应用
2006年
算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。
黄海飞杨庆红薛锦云
关键词:程序规约
基于ARM的人脸识别系统的研究与实现被引量:1
2010年
使用人脸类Haar特征进行人脸检测,采用Daubechies小波去噪变换和PCA降维算法提取人脸特征,将经过PC机变换后的训练样本特征子空间文件通过网络传输到嵌入式平台,并结合最近邻算法识别人脸.实现了一种嵌入式人脸识别系统,解决了嵌入式人脸识别系统由于图像处理数据巨大而造成处理效率低的难点.基于MagicARM2410开发板实现了该系统,结合实际图片进行了人脸识别测试,实践结果表明系统效果良好.
王仕民叶继华黄亮杨庆红余敏
关键词:嵌入式操作系统人脸识别HAAR
2类组合数学问题的算法形式化推导被引量:1
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
共5页<12345>
聚类工具0