一种保持种群多样性的改进混洗蛙跳算法

针对经典混洗蛙跳算法在函数优化中易陷入局部最优和早熟收敛等缺点,提出一种保持种群多样性的改进型混洗蛙跳算法。其思想是通过反向学习机制初始化种群,并动态改变多样性比例来计算所有分组的最优值的多样性密度,来改进个体进化方式。典型复杂函数测试表明,该算法能有效找出全局最优解。     

输电线雾凇覆冰过程的二维数值模拟

基于拉格朗日法提出了一种输电线表面雾凇覆冰过程的二维数值模拟方法.采用同位网格上的SIMPLE算法求解非定常不可压缩流动的RANS方程和SST-κ-ω湍流模型以获得空气流场;采取拉格朗日法跟踪流场中过冷水滴的运动轨迹得到输电线表面各控制体的瞬时局部碰撞率;求解基于Messinger控制容积法建立的覆冰热力学方程以获得各...     

模糊空间描述逻辑及应用

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。     

S550 MC高强度钢薄板焊接工艺简述

S550MC是一种国内近年成功生产出的高强度钢,强化机理主要为细晶强化,辅以沉淀强化、固溶强化,尤其适用于汽车大梁.某型车车架大梁采用S550MC薄板焊接而成,车架横梁采用Q355B钢.根据此车架结构的特点,以及对母材焊接性的分析,决定采用MAG工艺,进行S550MC高强度钢同种材质之间、S550M C与Q355B钢异...     

适用镀锌钢丝生产的超声波复合清洗剂

在超声波条件下,试验确定了钢丝除油除锈技术的清洗介质配方以及运行条件,并对超声波、化学（声化）协同除油除锈的机理进行了分析讨论。在超声波声化条件下,研究确定的低浓度酸性除油除锈清洗介质可在较低温度下,快速有效地去除钢丝表面的油污、铁锈和磷化膜;适当升高清洗液温度,可提高清洗效率。     

基于边缘检测的生产线手机膜缺陷识别方法

目前国内手机保护膜的产量和销量巨大,但手机膜生产线上的缺陷检验仍采用目检法,检测效率与准确率较低.针对生产线上手机膜缺陷检测的4个关键问题(正常与缺陷类别不平衡、高信噪比去噪、边缘特征提取以及缺陷样本检测效率)进行研究.采用RST和图像剪切方法实现缺陷样本扩充,解决缺陷样本少,缺陷位置和形式不足问题;提出自适应小波阈值...     

自润滑关节轴承衬垫弹性参数的计算

为准确预测自润滑关节轴承衬垫的弹性参数,结合衬垫的压紧预处理过程,建立了修正的衬垫特征体元(RVE)细观几何模型。结合桥联理论建立了相应的轴承衬垫弹性性能分析模型。用解析法分别计算了平纹、斜纹、五枚二飞缎纹3种衬垫的弹性参数。通过与其他实验数据比较得知,平纹衬垫、斜纹衬垫、五枚二飞缎纹衬垫弹性参数计算值与实验值最大相对误差分别为4.76%、5.47%、4.39%。对用于计算不同纤维束弹性常数时,若纤维束中纤维和基体沿轴线方向弹性模量比值较大,则桥联参数α取值比β小,所得结果较为准确。若实验条件允许,可通过对纤维束进行简单拉压剪切实验确定α、β值。     

步进索引模型下的语义及其形式化

霍尔逻辑作为计算机程序的逻辑基础,可以用于描述一般程序的验证.分离逻辑作为霍尔逻辑的扩展,可以支持很多现代程序语言中的高阶特性.步进索引模型被用于定义自递归谓词.步进索引逻辑被广泛应用于各种基于交互式定理证明器的程序验证工具中,然而,基于步进索引逻辑的推理却比经典逻辑复杂、繁琐.事实上,也可以在步进索引模型上定义更加简洁清晰的、与“步数”无关的经典逻辑体系下的非步进索引程序语义.人们希望找到步进索引逻辑和非步进索引逻辑之间的关系,但发现两种逻辑并不等价.对实际的程序验证工作中涉及的命题进行归纳总结,找出它们共同的特征,给出关于程序状态的断言的约束条件;分别定义步进索引逻辑和非步进索引逻辑体系中断言的语义,并证明在该约束条件下两种语义的等价性;在Coq中,形式化以上所有定义和证明;最后,对未来值得关注的研究方向进行初步探讨.     

FBG传感技术在工程结构监测中的应用研究

简要介绍了FBG传感器的工作原理,对FBG传感器在桥梁、铁路及隧道等工程结构监测中的应用做了重点阐述,同时对FBG传感器的应用前景及限制其应用的主要障碍进行了分析,并针对应用中存在的问题提出了新的具体研究方向。     

基于风险检验的电站锅炉安全综合评价研究

结合基于风险的检验技术(RBI)的特点,介绍了基于风险检验的电站锅炉安全综合评价技术的研究步骤、研究对象和内容、风险分析方法的具体应用过程等,以提高电站设备的安全性和可靠性;最后,分析了该项技术在我国火电站的应用前景.