粘钢加固钢筋混凝土梁斜截面承载能力的试验研究

通过10根外部粘钢加固钢筋混凝土梁的斜截面抗剪试验,研究了外贴U型钢板、梁侧竖直钢板、梁侧斜钢板和梁侧钢丝网对梁的加固效果.试验结果表明:梁侧钢板角度对粘钢加固效果有明显的影响,采用45°斜向粘钢效果最好;由于锚固长度较短,易产生锚固破坏,应用时必须采取可靠的附加锚固措施;外部粘贴钢丝网无论是对提高抗裂能力还是承载能力都有明显的效果.通过理论分析,提出了粘钢加固梁斜截面的抗剪计算公式,与试验值吻合较好.     

松软破碎煤体瓦斯抽采钻场预加固技术研究与应用

针对松软破碎煤体施工大直径长距离瓦斯抽采钻孔容易出现塌孔、卡钻导致钻孔失效的难题，采用理论分析、现场测试和井下试验的方法，通过煤岩体强度和结构探测，得出了煤岩体的结构完整性和强度，并根据围岩特点确定了注浆机理以粘结松软煤体、增强松软煤体整体性为主，适当增加煤体强度，达到防止钻孔塌孔的目的，在此基础上设计了注浆加固参数和单孔全长分段注浆工艺，该工艺施工工程量小，工艺简单，加固速度快。井下试验表明，煤岩体注浆加固后围岩强度增加57%，完整性提高58.8%，钻孔无塌孔出现，有效保证了长钻孔的顺利实施。     

我国液压支架技术新进展

液压支架是煤矿安全生产的顶梁柱,我国与此相关的研制工作也取得了显著成就。文章介绍了6种具有典型意义和引领作用的液压支架,对液压支架在行业内的推广有一定的指导价值。     

保卫绿色——全省首次森林消防演练纪实

森林火灾是我省林业建设的一大隐忧.随着“五年消灭荒山、八年绿化安徽”规划的全面完成,森林防火任务越来越重,要求越来越高.为改变过去临时发动群众被动扑火的局面,实行森林消防队专业扑火为主,专业队与群众扑火相结合,打早打小打了,我省先后在重点森林防火县(市、区)组建了27支专业、400余支义务森林消防队.为了检验、锻炼森林消防队     

预应力混凝土空心板加固工程实例分析

采用在板面叠合钢筋混凝土层并结合板底粘贴碳纤维布方法加固预应力混凝土空心板,根据现行规范对这种加固方法进行分析讨论.     

中国恩菲总承包的中冶新材料项目正式投产

<正>【本刊讯】近日,中国恩菲工程技术有限公司EPC总承包的中冶新材料项目正式投产,三元材料前驱体产品成功下线,标志着项目提前合同工期1个月实现既定目标。中国有色金属工业协会常务副会长任旭东,中国五矿集团党组成员、副总经理、中冶集团党委书记、总经理张兆祥,唐山市委常委、曹妃甸区委书记孙贵石,中国稀土行业协会秘书长杨文浩,中冶瑞木新能源科技有限公司党委书记、董事长宗绍兴,中国有色暨中国恩菲党委书记、董事长陆志方,中国有色暨中国恩菲党委委员、副总经理刘诚,中国二十二冶集团有限公司党委书记、董事长张会清,中冶天工集团有限公司董事长周青及相关单位部门领导出席项目投产及产品下线仪式。     

七层砖混结构整体降坡平移设计

江苏省东台市卫生局住宅楼主体为7层砖混结构(局部5层,见图1),底层层高2．2m,其余均为2．8m,总建筑面积约3200m^2,建筑物总重量约3600t,基础为整板基础,1998年建成并投入使用。     

基于粗糙集-遗传算法的山岭隧道坍塌易发性评价

为了解决风险评价权重过于依赖主观赋值的问题,减少冗余属性对风险评价的影响,在传统的隧道施工坍塌风险评价的研究基础上,运用层次分析法构建指标体系,提出一种基于粗糙集-遗传算法的属性约简算法,根据现场调查和案例分析确定了21项原始评价指标并建立相应的风险评价模型。以陈家庄隧道F6断层破碎带为风险段建立山岭隧道坍塌易发性评价模型,引入粗糙集理论和条件信息熵理论确定6项属性核指标,利用遗传算法实现了属性约简,删除9项对评价结果影响较小的条件属性,最后结合模糊评价法构建风险评价模型,其评价结果为“潜在风险”。与现场实测结果对比表明以粗糙集理论和遗传算法作为指标优选策略建立的评价模型可靠实用。该风险评价方法可有效提高山岭隧道坍塌易发性评价的准确性。     

浅埋煤层工作面矿山压力分区显现机理及其控制

为解决浅埋煤层工作面过沟谷地形上坡段期间的强矿压显现问题,以朱家峁煤矿1305-2工作面为工程背景,采用现场实测的方法对来压前后工作面来压步距和来压强度进行分析,确定工作面各区域矿压显现特征,并且采用爆破预裂技术进行顶板卸压,现场应用后效果良好,保证了后续回采工作面的安全稳定。结果表明,1305-2工作面过沟谷区上坡段期间来压频繁并且发生2次较大的强矿压显现现象。工作面正常回采来压步距为8～16 m,来压期间减小为4～6 m,来压强度达到45 MPa,超过支架额定工作阻力的80%。工作面呈现“两端弱中部强”的矿压显现特征,地表也相应的出现台阶下沉。采用顶板水压致裂技术措施后,工作面来压强度明显降低,实现了工作面的安全生产。     

描述逻辑的动态时序扩展*

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。