您的位置: 专家智库 > >

金聪

作品数:81 被引量:283H指数:8
供职机构:华中师范大学计算机学院更多>>
发文基金:湖北省自然科学基金教育部人文社会科学研究基金中央高校基本科研业务费专项资金更多>>
相关领域:自动化与计算机技术电子电信文化科学理学更多>>

文献类型

  • 73篇期刊文章
  • 8篇会议论文

领域

  • 75篇自动化与计算...
  • 4篇电子电信
  • 2篇文化科学
  • 1篇政治法律
  • 1篇理学

主题

  • 33篇图像
  • 16篇水印
  • 12篇数字水印
  • 10篇水印算法
  • 10篇加密
  • 8篇手机
  • 8篇混沌
  • 7篇图像加密
  • 7篇网络
  • 6篇遗传算法
  • 6篇图像语义
  • 5篇智能手机
  • 5篇人脸
  • 5篇人脸识别
  • 5篇数字图像
  • 4篇信息安全
  • 4篇语义
  • 4篇特征提取
  • 4篇图像水印
  • 4篇小波

机构

  • 81篇华中师范大学
  • 7篇武汉大学
  • 1篇华南农业大学
  • 1篇华中科技大学
  • 1篇湖北大学
  • 1篇中国科学院研...
  • 1篇华北石油管理...

作者

  • 81篇金聪
  • 9篇叶俊民
  • 7篇张清国
  • 6篇刘金安
  • 6篇金枢炜
  • 5篇郭京蕾
  • 4篇李蓓
  • 4篇邓清华
  • 4篇王敬华
  • 4篇王伟
  • 3篇郑融
  • 3篇刘俊
  • 2篇张维
  • 2篇魏文芬
  • 2篇王珍
  • 2篇严盟
  • 2篇葛贺贺
  • 2篇陈曙
  • 2篇张晓亮
  • 2篇刘会

传媒

  • 18篇电子测量技术
  • 7篇计算机科学
  • 5篇计算机工程
  • 4篇计算机工程与...
  • 4篇计算机应用
  • 4篇小型微型计算...
  • 4篇计算机工程与...
  • 3篇计算机时代
  • 3篇武汉大学学报...
  • 3篇计算机工程与...
  • 2篇计算机教育
  • 2篇计算机与信息...
  • 1篇光学精密工程
  • 1篇图书情报工作
  • 1篇计算机学报
  • 1篇计算机应用研...
  • 1篇语言文字应用
  • 1篇测试技术学报
  • 1篇信号处理
  • 1篇计算机与数字...

年份

  • 1篇2020
  • 2篇2019
  • 3篇2018
  • 5篇2017
  • 5篇2016
  • 8篇2015
  • 9篇2014
  • 3篇2013
  • 8篇2012
  • 6篇2011
  • 6篇2010
  • 6篇2009
  • 2篇2008
  • 5篇2007
  • 3篇2006
  • 7篇2005
  • 2篇2004
81 条 记 录,以下是 1-10
排序方式:
适用于Android手机的像素异或图像分块加密算法被引量:2
2015年
为了克服Android手机上图像加密速度慢的缺点,提出了一种适用于Android手机的像素异或图像分块加密算法,该算法将密码学中经典的RC4算法应用于本文的加密算法中。首先,将原始图像分块,将改进的RC4算法运用到相邻的两个子块之间的运算上,从而改变像素值,最后,通过Logistic映射对图像置乱。实验结果表明,原始图像加密后的图像类似噪声,加密后的直方图变得更平滑,有足够大的密钥空间,对密钥有很高的敏感性,密文图像的随机性好,密文图像相邻像素之间相关性低,加密算法在Android手机上有更快的加密速度。
涂正武金聪
关键词:手机图像加密LOGISTIC图像分块
一种基于模型检验程序分析技术的前端工具研究被引量:2
2010年
提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。
叶俊民谢茜金聪李明张振方
人工智能教育在能力培养中的作用及改革设想被引量:17
2006年
结合我国人工智能教育的实际,讨论了人工智能课程体系在能力培养中的作用,分析了我国人工智能的教育现状,对各专业(含信息类专业)人工智能课程体系及其相关问题进行了较深入的探讨,并进一步提出了课程体系的改革设想。
金聪刘金安
关键词:课程体系人工智能
基于支持向量机的线条图像语义主题自动发现方法
2014年
提出了一种基于支持向量机分类器的线条图像语义主题自动发现方法。首先对训练图像进行分块,在对图像子块进行聚类后,得到由聚类中心构成的类集合;从每幅训练图像的注释文字中提取所有名词构成关键词集合。其次,对未标注的测试图像进行同样分块处理,计算子块与每个关键词的相关性,得到每个子块的标注词集合。最后,计算每个关键词在各个子块标注中出现的次数,取出现次数最多的关键词作为图像的语义主题。实验结果表明,所提出的方法对于线条图像的语义主题自动发现是有效的,具有比较好的性能。
金聪刘金安
关键词:数字图像支持向量机
基于MapReduce的序列模式挖掘算法被引量:4
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变换差分攻击
共9页<123456789>
聚类工具0