船用907A钢的动态力学性能和本构关系

为了得到船用907A钢的动态力学性能及本构关系,运用静态试验机及分离式Hopkinson压杆加载装置,在应变率为0.000 33~2 680 s-1范围内得到了准静态拉伸及动态压缩条件下的应力应变曲线,对比了Cowper-Symonds模型和Johnson-Cook模型,并基于CS模型对应变硬化效应进行了修正。结果表明,船用907A钢具有明显的应变率强化效应和非线性应变硬化效应;CS模型比JC模型更能准确描述其应变率强化效应。     

求解梁大变形问题的一种精细分析方法

在梁发生大变形后的平衡位置取一微段进行分析,从变形前后的几何关系与变形后的平衡方程出发建立计算模型,推导出求解梁大变形问题的一阶控制微分方程组,为处理梁大挠度变形问题提供了一种新的半数值半解析算法．为保证求解的精确与稳定,文中采用精细积分法与增量优化迭代的方法求解该一阶控制微分方程组．数值算例结果表明,本文的计算模型与求解方法精度高,稳定性好．     

大庆涠洲混合减二线脱蜡油糠醛精制

大庆涠洲混合减二线脱蜡油为原料,先后进行了工业装置理论塔板数标定、多级静态及中试规模的糠醛溶剂精制实验研究。结果表明,工业装置理论塔板数为2块。剂油体积比为5.47∶1的假二段实验与剂油体积比为3.2∶1的假四段实验精制油的黏度指数均可达到100,收率分别为64.07%与66.01%。具有4块理论板数的中试装置在剂油体积比为3.27∶1条件下得到的精制油黏度指数为101,收率为70.5%。精制油产品质量能够满足HVI150SN润滑油基础油的质量要求。     

限动芯棒连轧管机芯棒直径系列的设计方法

分析了通过调节辊缝获得期望的平均壁厚时钢管的横断面特性与辊缝调整量之间的关系，并由此推导出给定壁厚范围时满足某一附加公差率的芯棒直径计算公式。最后结合某西180mm连轧管机组提供的壁厚和芯棒直径系列，对芯棒直径系列的设计和选用方法进行了探讨。     

Calculation of temperature field near stagnation point in explosive welding

0IntroductionResearch of temperature field near stagnation pointquantificationally is of great importance to control the qual-ity of explosive welding. If the temperature at the weldinginterface is too high the material will melt in excess andthe metal plates can not be welded well and if the tempera-ture is too lowthe plates can not be well-knit. At the sametime to calculate the heat behavior in the flow field of ex-plosive welding quantificationally is the basis to analyze themetallurgic eff…     

热输入对双相不锈钢管接头力学和腐蚀性能的影响

采用两种焊接工艺对双相不锈钢管道进行全位置焊接，对比研究了不同热输入条件下焊接接头的组织、力学性能和抗腐蚀性能，并用扫描电镜分析了缝隙腐蚀后蚀坑的组织特征。结果表明，焊接热输入是影响焊接接头相比例的一个重要参数，焊接采用高热输入时，尽管会使凝固组织铁素体晶粒易长大，但却会促使较多的奥氏体转变。同时相比例又影响着焊接接头的拉伸、冲击韧度等力学性能。蚀坑扫描电镜结果显示铁素体相优先被腐蚀，露出管状的奥氏体组织，这是由于合金元素在两相中的分配比例不同造成的电化学势差，进而形成局部选择性腐蚀。     

优化变形工艺提高芯棒利用效率的探讨

芯棒是限动芯棒连轧钢管机组中最重要的热变形工具,其使用效果决定着钢管生产成本的高低。针对芯棒用H13型钢的材料特性,通过对机组变形工艺的分析,提出了使用附加孔型对芯棒使用工艺进行优化的办法,以解决报废芯棒再利用的问题。     

提高铝合金减震筒质量的金属型铸造工艺

为了确保铝合金摩托车减震筒质量，对铝液的熔炼、金属铸型的设计与制造，以及操作工艺均提出相应的技术要求。这些措施已经过生产实践的检验。     

GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.     

概率模型检测技术在机器人路径规划中的应用

在机器人路径规划的实际应用中,针对机器人移动行为可能会受到外界环境影响的难题,提出了一种采用概率模型检测技术进行路径规划的新方法。首先,分析环境中的主要影响因素,将机器人的移动行为看作一个不确定事件,构建马尔可夫决策过程(MDP)模型。然后,采用概率计算树逻辑(PCTL)公式描述模型属性,表达机器人复杂多样的目标任务。最后,运用PRISM平台对模型进行分析和验证,得到满足属性的全局优化路径和定量数据。仿真结果表明,上述方法不仅能够保障机器人在障碍物环境中无碰撞移动,而且可以避开环境相对复杂的区域,保证机器人以最大概率完成任务。对比试验证明上述方法的正确性和有效性。