构造最小生成树的量子算法

图的最小生成树问题是网络优化中的一类基本问题。目前构造最小生成树的算法都是基于传统计算机的算法如Prim算法和Kruskal算法。该文提出了一个用于构造图的最小生成树的量子算法,它结合量子搜索的方法和经典Kruskal算法的思想,对于n个节点m条边的图,依次搜索出n-1条边使它们构成一棵最小生成树。这一算法的时间复杂性为O(nm√)。与经典Kruskal算法相比,在同等条件下,该文的算法有较快的加速。     

深立井大水工作面注浆堵水技术

结合山东菏泽龙固煤矿主井井筒在穿过高压、大水量含水层时的现场工程条件,提出了注浆堵水综合治理方案。方案采用“一个关键,四条原则”的设计施工方针。利用综合超前预报手段为先导,确定含水区域的位置、水量与裂隙通道的分布情况。为确保井壁和注浆安全,先进行井壁和止浆垫外围注浆,在井壁周围形成帷幕后再进行工作面注浆。对高压、大水情况下的注浆,采取“分次注浆,逐步降水”的方案。同时对分次注浆、钻孔布置等注浆技术参数的设计依据进行了阐述。总结了集“地质分析、综合探测、理论设计、施工反馈”于一体的注浆设计理念和技术经验,不仅成功封堵了涌水,而且对注浆施工期间的安全控制有显著效果。     

无煤柱自成巷三维地质力学模型试验系统研制与工程应用EI北大核心CSCD

切顶卸压无煤柱自成巷技术是一种新型煤炭开采方法,利用矿山压力做功与岩体碎胀特性自动形成巷道,实现了煤炭开采无巷道掘进、无煤柱留设。为深入研究无煤柱自成巷开采全过程的覆岩运动机制、矿压显现规律与自成巷变形破坏机制,自主研发了切顶卸压无煤柱自成巷三维地质力学模型试验系统,由反力液压加载系统、自动采煤成巷系统和高精实时监测系统组成。试验系统配备无煤柱自成巷推采、切缝、成巷等核心工艺的成套模拟试验装置,实现无煤柱自成巷采掘留一体化开采全过程的真实模拟与完整工作面矿压规律的监测分析,通过组合式反力装置,可开展5.5 m×2.4 m×3.0 m(长×高×宽)以内不同尺寸模型体的地质力学模型试验。以我国首个N00工法工作面——柠条塔煤矿S1201–II工作面为工程背景,利用该试验系统开展了无煤柱自成巷工艺中最复杂的N00工法的三维地质力学模型试验,揭示了N00工法开采的矿压显现规律,得到了自成巷围岩变形控制机制,明确了自成巷关键破坏部位,提出了相应的工程建议,指导了现场设计与应用。现场试验与模型试验结果相一致,验证了模型试验系统研发与应用的合理性与有效性。     

切顶自成巷约束混凝土支柱试验研究与应用

切顶自成巷技术通过顶板定向切缝与矿压做功,使采空区顶板垮落自动形成巷道(简称自成巷)。为保证切顶自成巷稳定,需要一种高强、高刚的支护结构控制顶板变形并抵抗采空区垮落岩体。轻型约束混凝土(简称CLC)结构是一种在约束材料中充填轻骨料混凝土的复合结构,具有高承载、高刚度、轻自重的特性。为明确CLC支护结构的承载性能,满足支顶护帮控制要求,开展不同截面形状、偏心距下CLC支护结构与常用型钢支护的室内和数值试验,分析各类试件的变形模式和承载性能,研究截面参数、偏心距对支柱承载性能的影响机制。结合上述试验结果,在特大型矿井柠条塔煤矿开展CLC支柱选型设计与现场应用,取得良好的自成巷围岩控制效果。