深部松软煤层钻孔孔周煤体变形产渣特征研究

针对煤矿井下高瓦斯软煤顺层长钻孔排渣困难、成孔率低、施工困难等问题,通过数值模拟实验研究了井下深部软煤体变形破坏特征,分析了顺层长钻孔孔周松软煤体变形特征及应力变化,以揭示顺层长钻孔孔周松软煤体变形产渣规律。研究表明:深部高瓦斯软煤顺层钻孔孔周煤体的应力平衡临界条件破坏后将发生大体积突然垮落;钻孔水平最大变形位移为1.22mm,垂直方向最大变形位移为10.7mm;径向孔周煤体垂向变形呈现逐渐减小趋势,且垂向变形明显大于钻孔水平变形。在水平方向上,钻孔孔周煤体应力分布呈现先增大再逐渐减小的变化规律,径向距离对水平应力分布的影响逐渐减小;随着径向距离的增加,钻孔孔周煤体应力分布逐渐降低,钻孔孔壁处煤体的应力出现最大值,且垂直方向处应力值最大。     

基于二分比较法的架空线路故障判断原理及其应用

针对架空线路故障判断问题,文章介绍了二分比较法的原理及二分巡线器,并通过实例阐述其现场应用     

FHY150新型复合式自救器

阐述了一种新型复合式自救器的设计原理、基本结构、装药量计算及其控制,经实验室性能检测和现场实际人工佩戴试验,自救器均取得了良好的使用效果,对自救器的设计和生产有一定的参考价值。     

满足排放要求的苯乙烯废气处理工艺及应用

针对苯乙烯装卸车及罐区产生的苯乙烯废气浓度高、流量变化大、间断发生的特点,开发了冷凝+氧化的组合工艺。研究结果表明:在氧化温度T4～T5℃、气液体积比为V3∶1条件下,当苯乙烯废气浓度在3 000 mg/m~3以下时,采用KMnO_4氧化法处理;当苯乙烯废气浓度3 000 mg/m~3以上时,采用冷凝+氧化的组合工艺,两者皆可实现苯乙烯废气的环保达标排放。采用KMnO_4氧化法处理丁苯橡胶装置产生的浓度约1 000 mg/m~3的苯乙烯废气,其工业运行结果表明:出口苯乙烯浓度降至10 mg/m~3左右。     

碳脱氧在钢包顶渣改质中的应用

 为了进一步降低夹杂物缺陷并提高产品质量,基于碳脱氧进行了钢包顶渣改质的研究。冷轧产品的生产工艺为铁水预处理→转炉→RH精炼→连铸,为减少钢中夹杂物质量分数,需要进行钢包顶渣改质,同时降低钢包顶渣TFe质量分数。采用粒碳部分替代铝渣球的方法进行基于碳脱氧工艺的钢包顶渣改质,试验结果表明,顶渣改质效果良好,在顶渣TFe质量分数、中间包钢水游离氧明显降低的同时铸坯中Al₂O₃夹杂物得到优化;“30 kg粒渣+铝渣球”工艺降低生产成本5.16元/t(钢)。     

电石渣干燥系统的技术改造

<正>我公司是新疆天业集团年产120万吨联合化工项目三期天伟化工年产40万吨PVC项目的配套工程,于2013年12月正式投产,设计产量2×2 500t/d,日消耗各类废渣4 500t。1生料制备工艺生料制备系统有2台Φ3.8m×13m烘干中卸磨,实际产能130t/h,主要工艺流程如下:辅助原料(硅石、炉渣、钢渣、电石收尘灰等)入磨粉磨;初步粉磨物料入高效选粉机与干燥过的电石渣混合,经过选粉,     

膨胀悬挂器本体膨胀性能试验研究

膨胀悬挂器依靠硫化橡胶的本体膨胀发生塑性变形,并与上层套管形成摩擦力悬挂尾管,橡胶起到密封和增大摩擦力的作用。悬挂较重的尾管需要增加本体长度,导致悬挂器整体结构增加,增大了悬挂器入井和施工风险。针对该问题优化本体设计,在本体外壁镶嵌金属块并硫化橡胶,通过膨胀试验验证了该方法的可行性,为掌握本体膨胀后与上层套管的接触应力,采用应力测试方法对本体膨胀过程中上层套管的应变进行了测量并计算得到接触应力,试验数据表明膨胀悬挂器经过结构优化在保证悬挂、密封性能的前提下使膨胀本体缩短,从而提高了现场施工的可靠性。     

锌冶炼铅银渣还原焙烧挥发铅锌试验研究

研究了铅银渣还原焙烧挥发铅、锌,考察了升温制度、焙烧温度、焙烧时间、焦粉用量、添加剂用量等对铅锌挥发率的影响。结果表明:在1 200℃下恒温焙烧60 min,控制焦粉用量40%、添加剂氧化钙用量4%,铅、锌挥发率分别高达98.85%和97.6%,挥发效果较好。     

氧气转炉“留渣+双渣”炼钢工艺技术分析

氧气转炉"留渣+双渣"炼钢工艺技术属于一种新型工艺,SGRS工艺利用转炉终渣在下一炉脱磷阶段重复使用的特点,能够达到降低原辅料消耗的目的。在使用该种工艺时,需要对炉底的液态渣进行固化处理,在完成固化工作之后,即可将铁水与废钢装入其中,开展脱磷吹炼,这一步骤完成后即可开展倒渣工作,并步入到脱碳环节中,结束出钢与留渣工作,循环往复。本文主要分析氧气转炉"留渣+双渣"炼钢工艺技术的应用。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.