摘要：为实现瓦斯隧道安全快速有效地揭煤,以正习高速公路天城坝隧道揭煤工程为背景,分析了水力压裂大范围增加煤层透气性原理与增透效果影响因素,基于水力压裂增透技术建立了多煤层瓦斯隧道揭煤防突技术体系,探讨了以超前探测、初探、精探、区域瓦斯防突及检验、工作面防突及检验、验证揭煤等为核心的揭煤防突流程,优化了瓦斯隧道水力压裂防突技术中压裂钻孔布置、压裂工艺、封孔工艺、破裂压力及用水量、抽采钻孔布置等关键工艺参数。C6—C8煤层原始瓦斯压力(1.62~4.12 MPa)、瓦斯放散初速度(18.2~34.0)、煤体坚固性系数(普遍小于0.5)和破坏类型(Ⅲ类)等指标综合表明C6—C8煤层具有突出危险性。对C6煤层进行水力压裂增透后,煤层平均单孔瓦斯抽采纯量0.009 m^(3)/min,抽采浓度在60%以上,抽采30 d后煤层残余瓦斯含量和瓦斯压力分别降为2.91~5.29 m^(3)/t和0.26~0.61 MPa,缩短揭煤时间2个月。研究结果表明,水力压裂技术能有效改善瓦斯隧道揭煤防突效果,为安全快速揭煤工作提供安全保障,对类似隧道揭煤施工具有借鉴意义。

摘要：国防科技大学自主研制的高性能加速器采用中央处理器(CPU)+通用数字信号处理器(GPDSP)的片上异构融合架构,使用超长指令集(VLIW)+单指令多数据流(SIMD)的向量化结构的GPDSP是峰值性能主要支撑的加速核。主流编译器在密集的数据计算指令排布、为指令静态分配硬件执行单元、GPDSP特有的向量指令等方面不能很好地支持高性能加速器。基于低级虚拟器(LLVM)编译框架,在前寄存器分配调度阶段,结合峰值寄存器压力感知方法(PERP)、蚁群优化(ACO)算法与GPDSP结构特点,优化代价模型,设计支持寄存器压力感知的指令调度模块;在后寄存器分配阶段提出支持静态功能单元分配的指令调度策略,通过冲突检测机制保证功能单元分配的正确性,为指令并行执行提供软件基础;在后端封装一系列丰富且规整的向量指令接口,实现对GPDSP向量指令的支持。实验结果表明,所提出的LLVM编译架构优化方法从功能和性能上实现了对GPDSP的良好支撑,GCC testsuite测试整体性能平均加速比为4.539,SPEC CPU 2017浮点测试整体性能平均加速比为4.49,SPEC CPU 2017整型测试整体性能平均加速比为3.24,使用向量接口的向量程序实现了平均97.1%的性能提升率。