铝合金化对超高碳钢先共析碳化物析出行为的影响

通过对不同铝含量超高碳钢的相平衡热力学计算、热处理工艺试验以及扫描电镜的微观组织观察，研究了铝合金化对超高碳钢先共析碳化物的数量和析出行为的影响。结果表明，对碳含量为1．6％的超高碳钢，添加2％以上的铝，可以显著抑制先共析网状碳化物的析出。铝的添加，导致平衡状态下的先共析碳化物数量减少，尤其在2％Al附近，更为显著，是铝合金化抑制超高碳钢网状碳化物的主要原因。     

一种新型活塞环内外圆车床的可行性分析

活塞环的内外圆都是异形表面,且尺寸精度要求高.本文首先从活塞环截面数据的特点入手,分析活塞环加工的技术难点,进而提出了采用交流伺服电机驱动滚珠丝杠的机械结构来完成活塞环的数控车削的方案,并对主要环节进行设计计算和仿真,最后还提出了数控编程时数据的补偿办法.理论计算和仿真表明该方案是可行的,可以达到活塞环生产对加工精度和效率的要求.     

Hot compression deformation behavior of MB26 magnesium alloy

The flow stress features of MB26 magnesium alloy were studied by isothermal compression at 300-450 ℃ and strain rate of 0.001^-1 s J with Gleeble 1500 thermal simulator. In addition, the deformation activation energy Q was calculated. The results show that the strain rate and deformation temperature have obvious effect on the true stress. The peak value of flow stress becomes larger with increasing strain rate at the same temperature, and gets smaller with the increasing deformation temperature at the same strain rate. The alloy shows partial dynamic recrystallization. The flow stress of MB26 magnesium alloy during high temperature deformation can be represented by Zener-Hollomon parameter including the Arrhemius term. The temperatt, re range of 350-400℃ is suggested for hot-forming of this alloy.     

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

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

基于无线数据采集的地震波定位系统设计

介绍了一种基于无线数据采集的地震波定位系统设计方法。该系统以C8051F020单片机为主控芯片,利用GPS模块提供的PPS信号实现分布式采集系统的同步,利用无线射频模块XBeePro实现数据的无线传输。整个系统通过上位机进行实时控制。实验证明,该系统能够实现严格同步采集,整个采集系统工作稳定、操作简单,具有较高的工程应用价值。     

基于IOS的高校课表查询系统设计与实现

针对高校传统课表查询方式的不足,设计了一个基于IOS移动平台的课表查询系统,可以支持教师、学生使用IOS移动设备与服务器进行通信,随时随地查询课表,管理备忘录和学习笔记经过测试表明,该系统为课程管理提供了更为快捷有效的方案,并且有助于提高工作、学习效率.     

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

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

膜孔灌自由入渗铵态氮运移特性试验研究

以铵态氮为入渗溶液,模拟研究了铵态氮在膜孔灌肥液自由入渗条件下的运移过程.结果表明:在水平和垂直方向上铵态氮浓度与灌施时间呈比较明显的相关关系,在相同深度,随着灌施铵态氮时间的延长,铵态氮浓度逐渐增大;同一灌施时间,铵态氮浓度随着距离膜孔中心距离的增大而减小,在膜孔中心铵态氮浓度最大,并且浓度峰值随着时间的延长而增大;土壤保持铵态氮的最大含量为土壤对铵态氮的吸附量,灌施180 min时吸附量达到饱和.     

变电站主变非电量保护防误动作分析与策略

通过对110kV金马变电站非电量保护动作情况的分析,总结了6个应对此种情况的方案,虽然每个方案都有相应的不足之处,但是,也给以后系统安全运行提供了有效的技术支持,并为类似性质的变电站运行值班人员日常工作提出了几项防范措施,以加强供电可靠性的保障。     

那比重力坝4号坝段坝基加固措施优化研究

文章采用三维非线性有限元法,对那比水电站工程4号坝段的坝基抗滑稳定性进行研究,对比分析加固前后变位及应力的变化和三种加固方案下4号埂段坝基超载稳定安全系数.优化研究表明:4号坝段采用锚筋桩和固结灌浆加固处理措施后可以满足坝基抗滑稳定性要求,推荐采用长6 m间排距1.5 m×1.5 m的锚筋加固方案.