高速列车浮式地板振动响应有限元分析

针对采用试验方法开发高速列车浮式地板耗时耗力,且试验规模小,不能反映整车的振动效果的问题,基于有限元法进行高速列车振动响应分析.对三明治夹芯理论、蜂窝板理论和等效板理论进行比较,确定采用等效板理论数值模拟某浮式地板中的蜂窝板;利用橡胶材料的超弹性理论拟合橡胶材料参数;建立完整模型模拟实际工况下浮式地板的振动响应,得到浮式地板的隔振效果.结果表明此浮式地板的隔振效果约为90%,满足设计要求.     

裂纹对石墨烯拉伸力学性能影响的数值仿真

为研究裂纹对石墨烯力学性能的影响,以锯齿型石墨烯为研究对象,基于分子动力学方法,采用Tersoff势函数分析裂纹长度对石墨烯拉伸力学性能的影响以及含有裂纹的石墨烯在不同应变率下的拉伸变形破坏过程.结果表明,裂纹长度的增加大大减小石墨烯的抗拉强度和抗拉应变,对弹性模量有一定影响;裂纹降低石墨烯的抗拉应变对应变率的敏感性,但对于含有裂纹的石墨烯,仍可以增大加载速率来提高石墨烯的抗拉性能.     

A λ-unifiability test for set theory

We present a semi-decision algorithm for the unifiability of two set-theoretic formulas modulo -reduction. The algorithm is based on the approach developed by G. Huet for type theory, but requires additional measures because formulas in set theory are not all normalizable. We present the algorithm in an Ada-like pseudocode, and then prove two theorems that show the completeness and correctness of the procedure. We conclude by showing that -unification is not a complete quantifier substitution method for set theory-unlile first-order unification and first-order logic. In this respect set theory is similar to type theory (higher-order logic).This material is based upon work supported by the National Science Foundation under award number ISI-8560438. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of the National Science Foundation.     

电除尘器出口烟气废热的利用

介绍了采用热管锅炉回收硫酸系统电除尘器出口烟气废热情况，可回收废热生产0．8MPa饱和蒸汽1．0t/h。通过严格控制饱和蒸汽压力、炉气的三氧化硫含量及入炉原料的水分含量，热管锅炉连续运行两年未发生泄漏。运行一年即可收回成本，经济效益显著。     

MDEA法脱碳塔的扩产改造

通过对现有脱碳装置和运行条件的分析核算，提出了改造方案和实施措施，对改造前后参数和生产数据进行了对比和总结。     

稀土顺丁橡胶／SBR体系的力学性能

稀土顺丁橡胶与丁苯橡胶（ＳＢＲ）共混，可以改善ＳＢＲ的耐低温性能。当稀土顺丁橡胶／ＳＢＲ（质量比）这２０／８０时，－３０℃的ｔａｎδ仅小于ＳＢＲ，６０℃的ｔａｎδ最小。其共混胶的应力－应变性能、湿滑指数、磨耗及生热性能均优于镍系顺丁橡胶／ＳＢＲ共混体系。     

稀土BR／SBR共混胶的性能

研究了４种共混比的ＬｎＢＲ／ＳＢＲ共混生胶、混炼胶及硫化胶的性能，并与ＮｉＢＲ／ＳＢＲ共混胶进行了对比。结果表明，共混生胶的ＭＬ均低于ＬｎＢＲ及ＳＢＲ；当ＬｎＢＲ／ＳＢＲ共混混炼胶的ＭＬ、剪切应力、出口膨胀及硫化速度均低于ＮｉＢＲ／ＳＢＲ共混胶，挤出物外观优于后者；共混硫化胶的拉伸强度、热空气老化、拉伸疲劳、湿滑、耐磨等性能均明显优于后者，生热和透气率高于后者。     

基于纯声子散射模型的纳米薄膜热传导分析

起粘结作用的薄膜结构厚度达到纳米尺度时,应用由微尺度观点建立的非傅立叶热传导模型分析其性能。文章采用纯声子散射模型分析绝缘薄膜结构的温度场和热应力,并与用在宏观尺度下的傅立叶热传导模型所得结果进行比较,同时研究绝缘薄膜结构热物理性能参数对温度场和热应力的影响。研究表明：采用纯声子散射模型分析结果与傅立叶热传导模型所得结果有明显区别,绝缘薄膜结构热物理性能参数对温度场和热应力也有显著影响。     

基于部分加权损失函数的RefineDet

针对目标检测网络单阶改进目标检测器（RefineDet）对类间不平衡数据集中小样本类别检测性能差的问题,提出一种部分加权损失函数SWLoss。首先,以每个训练批量中不同类别样本数量的倒数作为启发式的类间样本平衡因子,对分类损失中的不同类别进行加权,从而提高对小样本类别学习的关注程度;然后引入多任务平衡因子对分类损失和回归损失进行加权,缩小两个任务学习速率的差异;最后,在目标类别样本数量存在大幅差异的Pascal VOC 2007数据集和点阵字符数据集上进行实验。结果表明,与原始RefineDet相比,基于SWLoss的RefineDet明显提高了小样本类别的检测精度,它在两个数据集上的平均精度均值（mAP）分别提高了1.01、9.86个百分点;与基于损失平衡函数和加权成对损失的RefineDet相比,基于SWLoss的RefineDet在两个数据集上的mAP分别提高了0.68、4.73和0.49、1.48个百分点。     

黄铜热变形流动应力的实验研究

采用恒变形率凸轮压缩试验机对５个黄铜品种的热变形流动应力进行了实验研究，分析了变形温度，变形速率，变形程度对流动应力的影响，同时对不同的数学模型结构形式进行了非线性回归，通过分析比较提出了拟合精度较高的流动应力数学模型．