综放工作面防治水技术应用实践

为解决21000工作面采空区及顶板涌水问题,根据工作面出水点的不同情况,采取了集水器导水、老塘设挡水堰截水、挖排水沟疏水等多项治水措施,经统计排水量达33~42m3/h,有效控制了水情,确保了工作面正常生产。     

屋顶绿化配套技术研究

从绿化植物选择、种植土的配制、防排水措施，养护管理等方面介绍了“屋顶绿化配套技术研究课题”的主要成果。     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

排汽屋面施工——探讨屋面防水施工的一种新方法

探讨了采用排汽屋面的施工方法解决屋面渗水的问题。     

某炼油厂一级浮床除盐系统阳床工艺特性及调整试验

论述了某厂一级除盐系统阳床工艺特性及调整试验过程，对存在问题进行分析并改进，得到了实际运行最佳方式和参数，取得良好效果。     

利用大流量液压支架控制顶板事故的发生

通过对工作面端面冒顶原因及支护系统的分析得出，加大液压支架的流量可以加快移架速度，降低冒顶事故率，提高生产效率。     

水乳型丙烯酸酯建筑防水胶的研制(Ⅱ)

摘 要 研究水乳型丙烯酸酯建筑防水胶与水泥的配比及共混性能、共混固化物胶膜的力学性能、耐冷热性能及老化性能。     

全面留矿法采场顶板支护和落矿爆破工艺的研究

本文介绍的接杆锚杆护顶技术和上向眼大孔距多排微差爆破落矿技术，解决了逐昌金矿全面留矿法采矿工艺中存在的采场顶盘围在面积冒落和采场落矿爆破效果差、效率低这两个问题。     

国家粮储库屋面防水APP卷材施工技术

针对国家粮食储备库的特点，就屋面防水APP卷材热熔法施工的施工准备及工艺流程进行了介绍，提出了具体的施工技术要点及质量通病的防治措施，取得了良好的施工效果。     

高档工作面顶板管理的几点做法

介绍了9号、10号、11号煤层开采中顶板管理的具体做法，对特殊时期的初采初放和末采回收也做了阐述，并对特殊地质条件下的顶板管理提出了可行的方法。