BUBBLE FORMATION FROM NON-WETTED ORIFICES UNDER CONSTANT FLOW RATE

<正> 通过透气砖向金属液中鼓入惰性气体是一种重要的精炼工艺,具有搅拌熔池、提高反应速率以及去气去夹杂等作用,其应用日趋广泛。根据冶金动力学理论,精炼效率与气体在金属液中的行为密切相关。为此,有必要研究这类工艺的基础——恒流率条件下非润湿喷孔上气泡的形成及诸因素对气泡尺寸的影响.实验工作     

混合室分配板成形工艺及模具设计

对混合室分配板零件介绍了一种落料拉伸成形和立体切沿分割的工艺思路以及模具结构和相关的理论计算 ,在实际应用中获得了好的效果。对同类形状产品 ,尤其是涉及到需要进行立体切沿分割的制件 ,可提供借鉴。     

表用步进电机铁芯冲压工艺及模具设计

介绍了几种进口生产线的铁芯冲压工艺和模具结构 ,对进口铁芯的冲压工艺和模具结构进行了分析,给出了适合国内中小企业使用的模具结构和制造工艺     

Influencing factors on elastic-plastic deformation of multi-layered surfaces under sliding contact

Stress distribution in the gradient multi-layered surface under a sliding contact was investigated using finite element method(FEM). The main structure parameters of layered surface discussed are total layer thickness,layer number and elastic modulus ratio of layer to the substrate. A model of multi-layered surface contact with rough slider was studied. The effect of the surface structure parameters on the elastic-plastic deformation was analyzed.     

软黏土不排水循环应力应变关系的数值模拟

对程星磊等提出的总应力形式增量弹塑性本构模型进行二次开发,以模拟复杂应力状态下软黏土的响应。通过Newton-Raphson算法,对材料非线性问题进行迭代求解;针对本构模型中应力反向等一系列关键性问题,应用欧拉切线算法编写了有限元程序,并结合子增量方法提高了计算精度。预测了软黏土在轴对称应力状态下的响应,得到了应力应变关系曲线,将其与单元预测结果进行比较,二者趋于一致,从而验证了有限元程序编写的合理性。利用该程序模拟三轴不固结不排水试验,模拟结果与试验吻合良好,表明该本构模型有限元程序可以反映轴对称应力状态下软黏土的不排水应力应变特性,可应用于更加复杂边值问题的模拟计算。     

双弯管法煤粉质量流量检测

双弯管法是一种基于弯管单相流测量原理的气固两相流固相质量流量测量方法,其测量结果与输入参数间非线性关系非常复杂,直接影响其测量精度.在双弯管法固相质量流量测量原理基础上,利用人工神经网络优良的非线性映射能力,建立了一种带有附加动量项的BP神经网络软测量模型,并在气固两相流测量实验平台上进行了实验研究.以实验数据为样本对双弯管法软测量模型进行训练,仿真结果与实验数据一致性较好,测量误差小于6％,为煤粉质量流量实时在线测量提供了一种行之有效的方法.     

基于高斯变异的人工萤火虫算法在云计算资源调度中的研究

如何合理地分配云计算资源一直都是研究的热点.建立云计算环境下的资源调度模型,通过人工萤火虫算法个体最优与云计算节点资源分配对应起来,在算法中引入高斯变异算法,通过与经典函数比较,优化后的算法在搜索精度上以及收敛速度上有了很大的提高.通过在CloudSim平台上与经典智能算法的比较,该算法能够有效地提高云计算中的资源调度性能,缩短任务完成的时间,提高系统整体处理能力.     

基于文本特征的短文本倾向性分析研究

语篇倾向性分析是倾向性分析的较高层次领域。根据文本篇幅和结构可以将语篇分为短文本和长文本。该文以网络商品评论作为样本研究短文本倾向性分析的特点和策略。根据倾向极性在文中的决定性因素的不同表现,短文本可以分为含显性归总句、含隐性归总句、含特征词以及一般文本四类,针对不同类别文本采用不同的处理策略。在此基础上,运用词典、规则的方法构建了语篇倾向性分析系统CUCsas,该方法在第四届中文倾向性分析评测(COAE2012)中取得了较好成绩。     

基于文本分析的自动化疾病编码方法

对疾病进行编码是将疾病诊断名称转化为标准ICD(国际疾病分类)编码的过程.鉴于编码量庞大和人工编码效率低等原因,有必要实现疾病编码的自动化.提出一种自动化的疾病编码方法,使用一种文本建模方法将ICD表示为文本集,然后借助文本相关性度量,获取与待编码疾病诊断名称最相关的ICD编码.经实验验证,本文提出的自动化疾病编码方法准确率较高、效率优秀、分类层次变换灵活,可广泛应用于各种类型的数据分析场景.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。