山西省自然科学基金(2008011039)
- 作品数：13 被引量：80H指数：4
- 相关作者：段富张杨张靖薛景文田玉玲更多>>
- 相关机构：太原理工大学更多>>
- 发文基金：山西省自然科学基金山西省科技攻关计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Z规格的LR(k)形式化分析及验证
- 2013年
- 在编译器的构造中,常由于语义的二义性等问题导致不正确的目标程序。为解决此问题,提出了一种新型的语法及语义正确性验证方案,即建立LR(k)文法和Z规格说明的联系,以此构造LR(k)文法的形式化描述及其形式化验证。实验结果表明,该方案能有效描述并检测LR(k)文法分析器中的语法错误及语义二义性,有助于提高分析器的有效性。
- 张杨段富
- 关键词：形式化描述形式化验证语法
- 基于面部特征的学习状态的研究被引量：7
- 2013年
- 针对现今网络在线自主学习过程中学习者与系统交互能力差导致无法调动学习者积极主动性等的问题,结合面部特征识别与图像识别技术,定义了注意力不集中、疲劳、学习、无人、多人和时间过长6种状态,利用摄像头实现了基于视频流实时采集学习者学习状态,并通过3个阶段分析学习者面部眼睛、嘴唇的特征以及各种环境特征,从而对计算机前无人、多人或者学习者出现注意力不集中、疲劳、学习时间过长等的状态时对学习者做出提醒、提供服务。实验结果表明,该方法可以快速检测学习者的实时状态,并提供主动服务,提高了人机交互性。
- 张建利段富
- 关键词：人脸检测
- 基于改进克隆选择算法的云计算任务调度算法被引量：8
- 2013年
- 在云计算中,系统要面对庞大的用户群,处理大量任务以及数据。如何对云环境中的大量任务进行高效的调度、满足用户需求成为了云计算中所要解决的重要问题。针对云计算的并行编程模型,借鉴生物免疫系统的克隆选择机制,利用生物工程中基因重组技术,提出一种基于基因重组的克隆选择算法,将此算法应用到云环境的任务调度问题中,可以确定最佳的任务调度方案。通过仿真实验将此算法与传统克隆选择算法进行比较,结果证明此算法的收敛速度与收敛精度均优于传统克隆选择算法,并且通过此算法可以确定较优的任务调度策略,是一种云计算环境中有效的任务调度算法。
- 薛景文田玉玲
- 关键词：云计算克隆选择基因重组任务调度
- 视频存储中一种改进的镜头分割方法被引量：3
- 2009年
- 文中提出一种对现有的视频存储方案中视频源的分割方法。该方法是在基于二次帧差法和Twin Comparison算法的基础上,把视频帧进行分块分析,再以一定的区域作为帧间比较的对象,这样减少了每帧处理的时间。另外,Twin Comparison算法与二次帧差法的结合,可以有效地防止闪光或者镜头抖动引起的干扰。实验表明,该方法在镜头分割的查全率、查准率以及处理时间上有明显的提高。
- 段富朱伟
- 关键词：视频存储镜头分割颜色直方图阈值
- 求解随机机会约束规划的混合智能算法及应用被引量：4
- 2012年
- 为更有效地求解随机机会约束规划问题,提出一种基于克隆选择算法(CSA)、随机模拟技术及神经网络的混合智能算法。采用随机模拟技术产生随机变量样本矩阵训练反向传播(BP)网络以逼近不确定函数,之后在CSA中利用神经网络检验个体的可行性、计算适应度,从而得到优化问题的最优解。为保证算法搜索的快速性和有效性,CSA采用双克隆和双变异策略。仿真结果表明,与已有算法相比,混合智能算法在500代时已取得比较满意的结果,且其精度在单目标优化问题中提高了2.2%,在多目标优化问题中提高了65%;将该算法应用于求解水库优化调度的难题上,结果也表明所建立的模型及算法的可行性和有效性。
- 段富杨茸
- 关键词：克隆选择算法水库调度神经网络
- 基于Z规格的UML模型形式化转换及验证
- 2013年
- 统一建模语言(UML)所建立的模型的正确性无法通过其本身进行形式化验证,为解决这个问题,根据UML模型的静态性质和动态模块行为两个方面提出结合形式化规格说明语言的模型形式化方案,以此为基础提出将UML目标模型转化为Z规格说明的形式化方法,并用Z-EVES工具形式化检测Z规格描述的正确性。通过实例分析验证了该方法的可行性。
- 张杨段富
- 关键词：形式化方法形式化验证统一建模语言
- 混合算法求解随机期望值模型被引量：1
- 2012年
- 目标函数中由于受到一个或者多个随机变量的影响,求解期望值难度增加。因此,提出一种有效的求解期望值模型的混合算法。利用随机模拟计算期望值,RBF神经网络对目标函数进行逼近,差分进化算法寻优,从而形成求解随机期望值模型的混合算法。最后,通过仿真实验说明算法的有效性。
- 段富武文婧
- 关键词：差分进化RBF神经网络
- 基于免疫的神经网络数据挖掘
- 2009年
- 本文着重探讨数据挖掘算法在财务数据分析中的应用。以上市公司的财务信息为实验数据,将基于免疫的神经网络挖掘模型应用于财务风险识别。SAS在金融领域一直有着广泛的应用,鉴于其完美的企业数据挖掘的解决方案,本文采用SASEM来进行挖掘实验。
- 段富秦静
- 关键词：免疫神经网络数据挖掘SASENTERPRISEMINER
- 求解煤炭水运配船的免疫优化算法被引量：1
- 2012年
- 煤炭水运配船属于多约束混合整数线性规划问题。当问题规模大、约束条件多时很难获得最优解,并且求解时间过长。针对上述问题,提出一种基于免疫克隆算法的求解方案。通过构建相应的数学模型,设计了基于二维矩阵的抗体表示形式和混合整数编码方式,构造了罚函数处理不等式约束。算法使用克隆、变异和抗体浓度抑制等免疫操作,保持了抗体的多样性,避免陷入局部最优。算法仿真表明,该算法在全局最优解和运行速度方面优于遗传算法,优化结果验证了算法的有效性。
- 兰方鹏段富
- 关键词：航线配船免疫优化克隆选择
- 优化初始聚类中心的改进k-means算法被引量：55
- 2013年
- 传统k-means算法随机选取初始聚类中心使聚类结果不稳定,诸多优化算法的时间复杂度较高,为了提高聚类稳定性并降低时间复杂度,提出了基于个体轮廓系数自适应地选取优秀样本以确定初始聚类中心的改进k-means算法。该算法多次调用传统k-means算法聚类,根据k个类中心的个体轮廓系数以及各样本与类中心的距离,自适应地选取优秀样本,求其均值作为初始聚类中心。在多个UCI数据集上的实验表明,该算法聚类时间短,具有较高的轮廓系数和准确率。
- 张靖段富
- 关键词：聚类K均值算法初始聚类中心自适应
