STE355钢焊后显微组织中的粒贝及其对韧性的影响

研究焊接热模拟工艺参数(峰值温度Tmax和焊后冷却时间t8/5)对低碳微合金Ti—Nb钢(STE355钢)热影响区(HAZ)显微组织及冲击韧度的影响。选用干涉层腐蚀法，在光学金相显微镜下清晰显示出了显微组织中的粒贝及M—A组元。观察了Tmax和t8/5不同的热模拟试样中粒贝及M—A组元的形态及分布特征，研究了不同Tmax及t8/5参数对显微组织及冲击韧度的影响，并用电子显微镜进行了观察和验证。结果表明，热模拟峰值温度的升高，或冷却趋缓，都使显微组织变粗、韧性降低。沿晶铁素体和晶内铁素体片的长大、增厚，粒贝中块状M—A岛的长大，都对韧性的改善不利。     

Al2O3/Al基复合材料与基体结合强度物理意义分析

测定了Al2 O3 /Al基复合材料与基体材料间的结合强度 ,探讨了结合强度的物理意义。其物理意义是 :界面抗拉强度与试样达到断裂应变时基体中的应力分别与纤维体积分数和基体体积分数的加权平均值。并根据测定的结合强度的值结合有限元分析得出几种Al2 O3 /Al基复合材料的界面抗拉强度值     

高Co稀土热作模具钢析出相沉淀析出的研究

采用X射线衍射和透射电镜对新研制的高Co稀土热作模具钢的析出相及析出动力学进行了分析和探讨。结果表明 ,经过固溶和时效处理后合金中同时析出大量金属间化合物和碳化物。金属间化合物主要为 μ相和Laves相 ,碳化物主要为MC、M2 3 C6和M6C。在 70 0℃时效不同时间后 ,析出相的总量随时效时间的延长而不断增大 ,但 μ相增加的速度比较缓慢 ;M2 3 C6、M6C、Laves相增加较快 ;而MC逐渐减少。M2 3 C6、M6C是通过基体中的M和C原子的直接反应的形式析出长大的。     

Molecular dynamics of structural properties of molten CaO-SiO2 with varying composition

1　ＩＮＴＲＯＤＵＣＴＩＯＮＴｈｅｓｔｕｄｙｏｆｍｏｌｔｅｎｓｔｒｕｃｔｕｒｅｏｆＣａＯ ＳｉＯ2 ,ｗｈｉｃｈａｃｔａｓｔｈｅｂａｓｉｃｆａｃｔｏｒｉｎｆｌｕｅｎｃｉｎｇｔｈｅｐｈｙｓｉｃａｌａｎｄｃｈｅｍｉｃａｌｐｒｏｐｅｒｔｉｅｓｏｆｔｈｅｓｉｌｉｃａｔ     

TC4钛合金高温变形时微观组织变化的计算

运用定量金相分析技术研究了TC4钛合金在高温变形过程中的微观组织演变。在此基础上 ,探索利用模糊集理论中的模糊动态线性模型描述TC4钛合金高温变形时的显微组织变化。在建立预报模型时 ,以实验测定的TC4钛合金在高温变形过程中组织参数 (α相的体积分数和尺寸 )随工艺参数 (变形温度、变形程度和变形速率 )的变化为训练样本 ,用线性回归法确定结论参数 ,获得了TC4钛合金高温变形时微观组织演变的预报模型。将训练样本及测试样本的实验结果与预报模型的计算结果进行比较 ,本文模型的计算结果可靠     

高强度铸造铝合金凝固过程中的元素偏析

通过液淬的方法，研究Al-4.5Cu合金及添加Si,Mn,Ni,Zr元素后合金的凝固过程及溶质分布。结果表明，将Si,Mn,Ni,Zr元素的加入，都能使Al-Cu合金的结晶温度间隔不同程度地减少，其中Al4.5Cu3Si的结晶温度间隔最小，Cu的分布,特点是：晶界高于晶内，一次晶界高于二次晶界”，并随着温度的降低Cu向晶界偏析的趋势加剧，Ni的分布，晶界高于晶内，Mn的分布，晶界高于晶内，但差别不大，Zr在晶界与枝晶间的偏析处的含量较高。     

C02/H2S对油气管材的腐蚀规律及研究进展

综述了CO2、H2S在单独作用和共存条件下对油气管材的腐蚀机理及影响因素，提出了针对CO2／H2S腐蚀开发经济型油管的设想。     

砧座振动特性的Simulink仿真分析

以单自由度系统为力学模型，以MATLAB的组件Simulink为工具，对电动液压锻锤砧座的振动过程进行动态模拟，从而分析了砧座的振动特性。由仿真得到的振幅值与实测值较为接近。     

基于抽象和组合方法的网络协议验证

由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根据所需验证的LTL性质,建立各个通信主体的Kripke结构,再对该Kripke结构进行抽象;然后组合抽象模型;最后运用Spin对组合抽象模型进行检验。为验证该方法的有效性,对NSPK协议进行了检测,结果表明,该方法所需的状态空间向量长度、搜索深度、存贮和遍历的状态数都有明显减少,有利于缓解状态爆炸问题。     

基于硬件可编程逻辑的SAT求解算法研究与进展

布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速SAT求解过程已成为验证领域的一个研究热点。归纳总结了在SAT求解过程中,利用硬件现场可编程门逻辑FPGA的并行性和灵活性加速求解过程的各种算法研究,着重总结分析了应用型SAT求解器的加速策略。通过对各种方法的深入分析,指出它们的优缺点,为未来的研究提供了思路。