金聪 作品数:81 被引量:286 H指数:8 供职机构: 华中师范大学计算机学院 更多>> 发文基金: 湖北省自然科学基金 教育部人文社会科学研究基金 中央高校基本科研业务费专项资金 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 理学 更多>>
适用于Android手机的像素异或图像分块加密算法 被引量:2 2015年 为了克服Android手机上图像加密速度慢的缺点,提出了一种适用于Android手机的像素异或图像分块加密算法,该算法将密码学中经典的RC4算法应用于本文的加密算法中。首先,将原始图像分块,将改进的RC4算法运用到相邻的两个子块之间的运算上,从而改变像素值,最后,通过Logistic映射对图像置乱。实验结果表明,原始图像加密后的图像类似噪声,加密后的直方图变得更平滑,有足够大的密钥空间,对密钥有很高的敏感性,密文图像的随机性好,密文图像相邻像素之间相关性低,加密算法在Android手机上有更快的加密速度。 涂正武 金聪关键词:手机 图像加密 LOGISTIC 图像分块 一种基于模型检验程序分析技术的前端工具研究 被引量:2 2010年 提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。 叶俊民 谢茜 金聪 李明 张振方人工智能教育在能力培养中的作用及改革设想 被引量:17 2006年 结合我国人工智能教育的实际,讨论了人工智能课程体系在能力培养中的作用,分析了我国人工智能的教育现状,对各专业(含信息类专业)人工智能课程体系及其相关问题进行了较深入的探讨,并进一步提出了课程体系的改革设想。 金聪 刘金安关键词:课程体系 人工智能 基于支持向量机的线条图像语义主题自动发现方法 2014年 提出了一种基于支持向量机分类器的线条图像语义主题自动发现方法。首先对训练图像进行分块,在对图像子块进行聚类后,得到由聚类中心构成的类集合;从每幅训练图像的注释文字中提取所有名词构成关键词集合。其次,对未标注的测试图像进行同样分块处理,计算子块与每个关键词的相关性,得到每个子块的标注词集合。最后,计算每个关键词在各个子块标注中出现的次数,取出现次数最多的关键词作为图像的语义主题。实验结果表明,所提出的方法对于线条图像的语义主题自动发现是有效的,具有比较好的性能。 金聪 刘金安关键词:数字图像 支持向量机 基于MapReduce的序列模式挖掘算法 被引量:5 2015年 针对传统GSP算法需要多次扫描数据库、I/O开销巨大的缺点,提出了一种基于MapReduce编程框架的序列模式挖掘算法MR-GSP(GSP algorithm based on MapReduce)。MR-GSP算法将原序列数据库划分为多个子序列数据库并分发到多个Map节点,Map函数扫描存放在Map节点内存中的子序列数据库,产生局部序列模式,Reduce函数对所有局部序列模式合并,扫描原序列数据库,计算局部序列模式的支持度,得到最终的序列模式。相比于传统GSP算法,MR-GSP算法只需扫描两次原始数据库即可得到所有序列模式。实验结果表明,MRGSP算法在对大数据集进行序列模式挖掘时,可充分利用云计算技术的优势,提高挖掘效率。 余啸 马传香 李伟亮 金聪关键词:数据挖掘 MAPREDUCE 基于视觉语言模型的图像语义挖掘研究 被引量:3 2013年 针对图像的特性,给出一种图像的二元视觉语言模型,在此基础上提出一种新的图像语义挖掘方法。该方法将每幅图像表示成一个由视觉单词构成的矩阵,通过计算每个视觉单词的权重,按照权重的大小对视觉单词进行选择,利用选择后的视觉单词集合,构建图像的视觉语言模型;之后,按照贝叶斯公式,建立基于视觉语言模型的图像语义挖掘方法。实验结果表明,该方法在图像语义描述能力和区分性方面是有效的,能充分反映人对图像内容的理解,具有很好的应用价值。 金聪 刘金安 金枢炜关键词:图像语义 语义挖掘 离散数学移动端辅助教学系统的设计与实现 被引量:3 2015年 传统的课堂教育模式已不能满足大学生对于知识的需求。虽然许多高校都陆续推出了网络教育平台,但依旧不能有效帮助大学生对于碎片时间的利用。针对计算机专业的离散数学课程,研究了移动端辅助教学系统的设计与实现,包括:对基于Bmob云服务平台的系统开发、对Android的文件系统和数据储存系统的设计、对智能手机上离散数学教学辅助系统的设计与实现。 金聪 郭京蕾 张丽关键词:ANDROID系统 离散数学 辅助教学系统 一种源程序级软件验证方法研究 被引量:3 2014年 软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,用CTL描述期望程序具备的性质,然后利用NuSMV模型验证工具检验该模型是否满足所期望的性质公式,从而达到检验程序是否满足该性质的目的.基于这种思想,设计并实现了一个自动将C源程序和其待检验的性质转换为NuSMV的输入文件并对其进行验证的环境原型. 叶俊民 王珍 戴跃庭 金聪关键词:KRIPKE结构 控制流图 NUSMV 内存泄漏故障静态分析研究 被引量:5 2010年 目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务。为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析。实验证实,该方法取得了理想的效果。 叶俊民 魏鹏 金聪 王敬华 张清国 张维关键词:内存泄漏 故障检测 控制流图 量子混沌与折叠算法的图像加密系统 被引量:4 2017年 本文提出一种量子混沌与折叠算法相结合的图像加密系统。该系统的主要思想是通过量子混沌映射和二维Logistic映射分别进行Arnold变换,得到两个由伪随机数组成的与灰度图像大小相等的矩阵Q、E,然后利用这两个矩阵对图像分别进行以下操作:一是利用矩阵Q对图像从4个方向进行"折叠操作",二是使用前一个像素值与当前像素值进行异或,然后将异或得到的值加上E对应的值,以对当前像素值进行修改,从而达到图像扩散的效果,增加差分攻击的难度。利用MATLAB对测试图像进行模拟仿真分析,结果显示,经该加密系统加密后的图像,其水平、竖直和对角线方向像素值的相关性分别为0.001 006、0.000 152、0.000 789,信息熵H(s)=7.997 3。一系列的实验结果表明该加密系统具有很高的安全性和随机性。 金聪 刘会关键词:LOGISTIC映射 ARNOLD变换 差分攻击