您的位置: 专家智库 > >

山西省科技攻关计划项目(20080322008)

作品数:11 被引量:87H指数:4
相关作者:段富常晓明乔冰琴张杨张靖更多>>
相关机构:太原理工大学山西省财政税务专科学校更多>>
发文基金:山西省科技攻关计划项目山西省自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 11篇自动化与计算...

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇人脸
  • 2篇Z
  • 1篇单样本
  • 1篇单样本人脸识...
  • 1篇调度
  • 1篇调度算法
  • 1篇形式化方法
  • 1篇形式化分析
  • 1篇形式化描述
  • 1篇语法
  • 1篇院校
  • 1篇云计算
  • 1篇人脸检测
  • 1篇人脸检索
  • 1篇人脸识别
  • 1篇任务调度
  • 1篇任务调度算法
  • 1篇神经网

机构

  • 11篇太原理工大学
  • 2篇山西省财政税...

作者

  • 8篇段富
  • 2篇乔冰琴
  • 2篇张杨
  • 2篇常晓明
  • 1篇李钢
  • 1篇尹雪梅
  • 1篇武亚昆
  • 1篇张玲
  • 1篇张建利
  • 1篇田玉玲
  • 1篇高燕飞
  • 1篇张靖
  • 1篇张耀宗
  • 1篇薛景文
  • 1篇梁斌

传媒

  • 4篇计算机工程与...
  • 2篇太原理工大学...
  • 2篇电脑开发与应...
  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇信息技术

年份

  • 6篇2013
  • 2篇2012
  • 2篇2011
  • 1篇2010
11 条 记 录,以下是 1-10
排序方式:
基于分维搜索和环状描述符的SIFT改进算法被引量:1
2010年
针对SIFT算法在极值点搜索和特征计算方面的低效,提出一种基于分维搜索和环状描述符的SIFT匹配算法(SC-SIFT)。该算法将SIFT算法中的三维极值点搜索策略分解(separate)为两个维度上的逐维搜索,同时引入了一种新的环状(cricoid)特征描述算子来代替原来高维低效的特征。实验证明,该方法不仅能够提高SIFT算法的执行效率,而且提高匹配正确率,实现了对SIFT算法的优化。
段富张耀宗
关键词:SIFT
分域直方图镜头突变检测算法研究被引量:1
2011年
针对传统分块直方图镜头突变检测技术存在分块帧差计算的有序性、分块的无区分性、计算量大等缺陷,提出一种新的分域直方图镜头突变检测算法,给出阈值核TK(Threshold Kernel),视觉因子VF(Visual Factor)等定义。实验证明,与传统算法相比平均查全率和查准率分别提高了6.5和11.8个百分点,性能明显优于传统的无区分性的彩色直方图的镜头突变检测算法。
李钢张玲段富
关键词:突变检测
改进粒子群算法在BP神经网络拟合非线性函数方面的应用被引量:10
2012年
为解决BP神经网络拟合非线性函数的预测结果误差较大问题,笔者将标准粒子群算法进行改进,形成基于免疫接种的粒子群算法(IPSO);然后将该算法与BP神经网络理论相结合,实现基于IPSO算法优化的BP神经网络非线性函数拟合算法。新的拟合算法首先确定BP神经网络结构,然后用IPSO算法优化初始权值和阈值,最后进行BP神经网络预测。数值实验表明,本文提出的IPSO算法提高了BP神经网络的拟合能力,减小了拟合误差,提高了拟合精度。
乔冰琴常晓明
关键词:BP神经网络粒子群算法函数拟合免疫接种
基于Z规格的LR(k)形式化分析及验证
2013年
在编译器的构造中,常由于语义的二义性等问题导致不正确的目标程序。为解决此问题,提出了一种新型的语法及语义正确性验证方案,即建立LR(k)文法和Z规格说明的联系,以此构造LR(k)文法的形式化描述及其形式化验证。实验结果表明,该方案能有效描述并检测LR(k)文法分析器中的语法错误及语义二义性,有助于提高分析器的有效性。
张杨段富
关键词:形式化描述形式化验证语法
基于面部特征的学习状态的研究被引量:7
2013年
针对现今网络在线自主学习过程中学习者与系统交互能力差导致无法调动学习者积极主动性等的问题,结合面部特征识别与图像识别技术,定义了注意力不集中、疲劳、学习、无人、多人和时间过长6种状态,利用摄像头实现了基于视频流实时采集学习者学习状态,并通过3个阶段分析学习者面部眼睛、嘴唇的特征以及各种环境特征,从而对计算机前无人、多人或者学习者出现注意力不集中、疲劳、学习时间过长等的状态时对学习者做出提醒、提供服务。实验结果表明,该方法可以快速检测学习者的实时状态,并提供主动服务,提高了人机交互性。
张建利段富
关键词:人脸检测
基于改进克隆选择算法的云计算任务调度算法被引量:8
2013年
在云计算中,系统要面对庞大的用户群,处理大量任务以及数据。如何对云环境中的大量任务进行高效的调度、满足用户需求成为了云计算中所要解决的重要问题。针对云计算的并行编程模型,借鉴生物免疫系统的克隆选择机制,利用生物工程中基因重组技术,提出一种基于基因重组的克隆选择算法,将此算法应用到云环境的任务调度问题中,可以确定最佳的任务调度方案。通过仿真实验将此算法与传统克隆选择算法进行比较,结果证明此算法的收敛速度与收敛精度均优于传统克隆选择算法,并且通过此算法可以确定较优的任务调度策略,是一种云计算环境中有效的任务调度算法。
薛景文田玉玲
关键词:云计算克隆选择基因重组任务调度
基于Z规格的UML模型形式化转换及验证
2013年
统一建模语言(UML)所建立的模型的正确性无法通过其本身进行形式化验证,为解决这个问题,根据UML模型的静态性质和动态模块行为两个方面提出结合形式化规格说明语言的模型形式化方案,以此为基础提出将UML目标模型转化为Z规格说明的形式化方法,并用Z-EVES工具形式化检测Z规格描述的正确性。通过实例分析验证了该方法的可行性。
张杨段富
关键词:形式化方法形式化验证统一建模语言
高职院校数据监控平台的数据质量评估方法
2012年
高职院校人才培养工作状态通过数据采集平台进行人工采集,其数据的真实性、有效性、一致性对国家及社会民众公平地评价该校起着非常重要的作用。文中提出一种对该数据平台中的监控数据进行质量评估的方法,并以就业数据质量评估为例,建立层次数据评估模型,分配模型权重,计算就业数据质量,从而确保数据的完整、及时和高质量,增强高职院校评估的科学性、高效性。
乔冰琴常晓明高燕飞
关键词:数据质量评估层次分析法数据采集高校评估
优化初始聚类中心的改进k-means算法被引量:56
2013年
传统k-means算法随机选取初始聚类中心使聚类结果不稳定,诸多优化算法的时间复杂度较高,为了提高聚类稳定性并降低时间复杂度,提出了基于个体轮廓系数自适应地选取优秀样本以确定初始聚类中心的改进k-means算法。该算法多次调用传统k-means算法聚类,根据k个类中心的个体轮廓系数以及各样本与类中心的距离,自适应地选取优秀样本,求其均值作为初始聚类中心。在多个UCI数据集上的实验表明,该算法聚类时间短,具有较高的轮廓系数和准确率。
张靖段富
关键词:聚类K均值算法初始聚类中心自适应
奇异值分解和改进PCA的视频人脸检索方法
2013年
针对视频中人脸检索问题,提出一种基于奇异值分解和改进PCA相结合的视频中单样本人脸检索方法,其中通过融合局部均值和标准差的图像增强处理来实现PCA算法的改进,从而克服光照对目标的影响。通过AdaBoost人脸检测算法对人脸图像和视频进行人脸检测;通过奇异值分解增加训练样本,在原样本和新样本的基础上采用改进的PCA人脸识别算法提取待检测人脸和视频中的人脸代数特征;采用最近邻分类器进行特征匹配,判断视频中检测出的人脸是否为要检索的目标人脸。实验结果表明,该方法在简单背景的视频环境下可以较准确地检索出目标人脸。
梁斌段富
关键词:单样本人脸识别奇异值分解主分量分析
共2页<12>
聚类工具0