您的位置: 专家智库 > >

孔娟

作品数:17 被引量:37H指数:3
供职机构:安阳工学院计算机科学与信息工程学院更多>>
发文基金:国家自然科学基金河南省基础与前沿技术研究计划项目国家科技重大专项更多>>
相关领域:自动化与计算机技术电子电信文化科学经济管理更多>>

文献类型

  • 15篇期刊文章
  • 2篇科技成果

领域

  • 10篇自动化与计算...
  • 4篇电子电信
  • 2篇文化科学
  • 1篇经济管理
  • 1篇机械工程
  • 1篇理学

主题

  • 3篇图像
  • 2篇电视
  • 2篇电子商务
  • 2篇形式化
  • 2篇商务
  • 2篇视频
  • 1篇代理
  • 1篇代理技术
  • 1篇递推
  • 1篇递推公式
  • 1篇电视技术
  • 1篇电子枪
  • 1篇电子商务产业
  • 1篇多媒体
  • 1篇多媒体技术
  • 1篇形式化分析
  • 1篇形式化验证
  • 1篇学生学习效果
  • 1篇遗传算法
  • 1篇移动代理

机构

  • 17篇安阳工学院
  • 1篇华东师范大学
  • 1篇河南理工大学
  • 1篇上海交通大学
  • 1篇武汉大学
  • 1篇新乡学院
  • 1篇平顶山学院

作者

  • 17篇孔娟
  • 2篇韩翠英
  • 2篇曹利培
  • 2篇王卫华
  • 2篇张长春
  • 2篇刘伟
  • 1篇李爱玲
  • 1篇王瑞
  • 1篇宋强
  • 1篇赵爱玲
  • 1篇冯慧玲
  • 1篇王志杰
  • 1篇梁为民
  • 1篇苏百顺
  • 1篇刘栓江
  • 1篇田丽
  • 1篇刘家磊
  • 1篇王海灵
  • 1篇郑桂梅
  • 1篇李建新

传媒

  • 3篇真空电子技术
  • 2篇计算机工程与...
  • 2篇安阳工学院学...
  • 1篇职教论坛
  • 1篇机床与液压
  • 1篇微电子学与计...
  • 1篇计算机仿真
  • 1篇微计算机信息
  • 1篇计算机测量与...
  • 1篇安阳大学学报...
  • 1篇中国管理信息...

年份

  • 1篇2016
  • 2篇2015
  • 1篇2011
  • 2篇2010
  • 3篇2009
  • 1篇2008
  • 2篇2007
  • 1篇2006
  • 1篇2005
  • 1篇2004
  • 2篇2003
17 条 记 录,以下是 1-10
排序方式:
投影CRT的新进展被引量:1
2006年
尽管投影CRT在投影TV市场中仍然占有优势,但是为了保持其优势地位,CRT工程技术人员就必须在设计方面持续不断地有所创新。本文就投影CRT的新进展作了评述。
孔娟
关键词:CRT投影CRT阴极电子枪荧光屏
平板显示器的生产工艺
2005年
选取有机发光二极管作为一种抽样技术,就平板显示器生产中所涉及的材料,设备和工艺作了简要的原理性评述。
孔娟
关键词:平板显示器有机发光二极管生产工艺
一种基于EZW编码的数字图像加密算法
2008年
考虑到了图像数据量大会给网络传输带来巨大压力的问题,本文提出基于压缩编码技术的数字图像加密算法,将加密解密过程嵌入到图像的压缩编码与解压缩解码过程中,大大提高了加密解密速度,同时又可以利用较少的存储空间来存储这些图像文件,利用现有的网络带宽来传输它们。
孔娟黄楠
关键词:小波变换图像加密
CAN总线技术在车床企业智能节能控制系统中的应用被引量:1
2015年
基于车床企业的特点与CAN总线的诸多优点研制出该智能节能控制系统。介绍了系统的总体设计思想以及硬件设计方案,并介绍了系统的软件设计及实现过程。该系统具有成本低、可靠性高、施工难度低、灵活性高以及电磁污染低等优越性,有着广阔的应用前景。
刘家磊侯贵法孔娟刘保菊苏百顺
关键词:CAN总线
TLS协议认证测试模型与形式化分析被引量:2
2009年
TLS协议是一种重要的传输层安全协议,得到了广泛的应用。在结合串空间理论和方法的基础上,通过构造TLS握手协议的认证测试模型,提出了TLS协议的DH参数签名认证测试方案,分析和证明了协议的保密性和认证性等关键属性。结果表明TLS协议满足其安全性说明。
孔娟曹利培
关键词:串空间形式化分析
关于图像分割算法的优化仿真研究被引量:12
2011年
Otsu图像分割法是常用的图像阈值分割方法,其最佳阈值选取直接影响到图像分割的质量。传统的最佳阈值的寻找采用穷尽式搜索方法,计算复杂度大,耗时较多,分割的精度低,易产生图像误分割。为了提高图像分割准确性,提出一种遗传算法与O tsu相结合的图像分割方法。新方法将图像分割问题看作为一个全局数值优化问题,将图像灰度信息转换成遗传算法的种群,每个个体代表一个可行的阈值向量,以灰度图像的灰度最大类间方差作为适应度值,通过选择、交叉和变异等遗传操作获得图像最佳分割阈值,以获得的最佳阈值对图像进行分割。用实例对新方法进行验证实验,结果表明,相对于传统Ostu图像分割算法,改进的O tsu分割方法提高了图像分割准确性,运算量减少,加快了分割速度,非常适应于图像实时处理。
韩翠英孔娟
关键词:最大类间方差图像分割阈值遗传算法
Web服务组合形式化验证方法研究被引量:2
2009年
Web服务组合验证是确保组合服务正常执行的关键,现有的许多Web服务组合描述都是半形式化的,容易出错和不容易检测,因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题,并采用关联矩阵的方法确认组合的可达性。利用模糊推理Petri网算法进行可信度验证、计算服务组合的可信度及可达性,对于Web服务组合是一种可以推理的形式化验证方法。实验结果表明这种方法是一种很好的验证方法。
曹利培孔娟刘静
关键词:PETRI网关联矩阵转移矩阵
学生学习效果跟踪比较评价系统
张长春刘伟李建新王海灵郭自兰石蔚云孔娟王志杰梁为民崔亚量
该系统通过长期的教学及管理实践,利用数学与计算机相关知识总结创造出一种新的评价系统—学生学习效果跟踪比较评价系统。该系统在创新方面有两大特点:一是创建了累积人数、累积比例等指标。二是增添了跟踪、比较的功能。该系统只需将反...
关键词:
关键词:评价指标
基于互信息量的视频关键帧提取算法被引量:3
2010年
关键帧提取技术是基于内容检索和视频分析的基础。关键帧的使用减少了视频索引的数据量,同时也为视频摘要和检索提供了一个组织框架。首先介绍了目前关键帧提取技术,然后提出了一种基于互信息量的关键帧提取方法,该算法以帧间互信息量来衡量两帧图像内容的相似性,可以对具体镜头按其特点自动提取出一个或多个关键帧。实验结果表明这种方法可以较好地概括视频内容。
孔娟田丽
关键词:视频检索互信息量关键帧提取镜头
移动代理在智能电子商务中的应用研究被引量:1
2007年
本文从移动代理和智能电子商务的概念出发,通过研究两者的相互关系,提出使用代理技术的电子商务概念模型和一个以Aglet为代理平台的网上交易系统的实现模型,最后对移动代理在电子商务应用中存在的问题进行了分析。
宋强孔娟
关键词:移动代理智能电子商务代理技术
共2页<12>
聚类工具0