摘要：针对传统的沿空留巷技术多是采用靠采空区一侧巷旁充填等方法进行护巷,存在成本较高、施工工艺复杂、施工进度较慢等问题,以杜儿坪煤矿高瓦斯煤层62711工作面为研究对象,研究了切顶卸压无煤柱自成巷技术,从预裂切缝关键参数设计、留巷补强加固支护、采空区挡矸支护、瓦斯安全管理方法等方面详细分析了切顶卸压无煤柱自成巷工艺流程,并在工作面进行了矿压监测分析。分析结果表明,杜儿坪煤矿采用切顶卸压无煤柱自成巷技术实现了对采场的卸压作用,成功保留了62711工作面轨道运输巷作为下一邻近工作面的胶带运输巷使用,明显提高了煤炭回采率,缓解了煤矿采掘衔接紧张,避免了残留煤柱导致的相关矿山灾害;“Y”型通风方式的使用有效地解决了工作面上隅角瓦斯积聚问题。

摘要：采用两只总栅宽100 mm的0.5μm工艺GaN HEMT功率管芯,通过合理选择目标阻抗、合理设计输出匹配网络,实现了一款输出功率达到600 W的L波段内匹配功率管。在+36 V、-2 V工作电压下,1.14~1.26 GHz内,功率管输出功率≥600 W,功率增益≥12 dB,功率附加效率≥55%,体积仅为33 mm×17 mm×2 mm,重量仅为3.5 g,显示出卓越的性能,具有广泛的工程应用前景。

摘要：在钻孔施工过程中经常由于钻杆自重、地质条件及钻进工艺的影响,造成钻孔实际成孔轨迹较设计轨迹偏差较大,钻孔的轨迹偏差导致瓦斯抽采钻孔覆盖区域空白带出现,影响瓦斯抽采效果。为掌握瓦斯预抽钻孔空白带分布情况,利用钻孔轨迹测量系统测量瓦斯预抽钻孔的轨迹,轨迹测量系统数据处理后可实现钻孔三维展示,可以从三维空间不同视角观测钻孔在不同方向上的偏移量,为钻孔空白带补孔提供数据支持;根据三维数据及三维成果展示钻孔空白带的分布,进行针对性补孔,提高瓦斯消突准确性,保证矿井安全生产。

摘要：陈洪先生早期文论中有不少篇目谈及他对“国乐”(有时又称“新国乐”或“新音乐”)的看法。陈洪先生站在振兴中华文化的高度看待“国乐”的前途命运,又以唯物主义的眼光审视当时的国乐实际,得出了“其有待改革,是很急迫的了”之结论。他将音乐分成“内容”“形式”“演出”三个“元素”,并认为“音乐的生命寄托在内容上面”。因此,理想中的“国乐”是“能够代表中华民族灵魂”“能够表现中国人现阶段的时代精神和中国的地方色彩”的音乐。以此为出发点,他认为“国乐”必须反映民族精神,而形式上尽可大胆吸取一切外来的优秀文化传统。在“国乐”的改革建设上,他提出具体改革措施,涉及音律、乐谱、音阶、和声、曲式、乐器与乐队、标准音等诸多方面。他还针对中国新歌剧的建设提出了自己的改进设想。这些建议被其后的时代发展证明是极富远见的。陈洪先生认为在他议论这些问题的当时,新“国乐”还不可能诞生,当时的首要任务是引入西方先进的音乐文化。陈洪先生早期“国乐观”自成体系,是一笔重要的中国音乐理论遗产。

摘要：为了实现盾构隧道衬砌表面渗水、裂缝、掉块、漏泥砂等病害的快速准确识别,提出一种基于深度学习模块化设计的盾构隧道衬砌多类表观病害检测模型。该模型分为数据加载、网络结构、损失函数与后处理、训练与评估4个模块,结合SSD(Single Shot MultiBox Detector)与YOLOv4(You Only Look Once)的检测原理和数据集特点,提出采用适应度和最大可能召回率两个指标来综合评估模型先验框与数据集的匹配度。根据数据集病害标注框分布,采用K-means方法聚类得到匹配度最高的一组先验框,并考虑YOLOv4模型结构特点对SSD模型结构进行优化。结果表明,优化后的模型检测准确度达到0.623,相较于原SSD模型的0.373提高了近70%,检测速度由40 FPS提升至50 FPS,充分证明了优化模型的合理性。

摘要：提出一种用于铸造链链节使用的稀土变质处理高强铸钢材料。研究了此材料的成分设计、金相组织、材料处理。通过分析表明,这种由稀土变质与热处理的复合作用构成的材料组织具有高强度铸钢材料性能,可作为铸造链链节的替代材料应用。

摘要：以马脊梁矿8113工作面下顺槽为例,进行了超前支护优化设计研究。对原有超前支护形式及存在的问题进行了分析,针对性提出了基于注浆锚索超前支护形式的3种优化支护方案。钻孔窥视结果表明:超前支护优化方案Ⅲ(注浆锚索+普通锚索)的效果最佳,顶板内部无裂缝发育,整体完整稳定,安全经济效益显著。

摘要：土石坝料压实特性对保证大坝施工质量至关重要。然而,当前坝料压实特性预测主要是对物理、力学和渗透压实特性的单输出回归预测,缺乏对各压实特性目标间相关性的考虑。针对上述问题,提出土石坝料压实特性的改进多输出高斯过程回归(IMO-GPR)预测模型。采用具有噪声的基于密度的聚类方法构建目标特定特征,对多输出高斯过程回归(MO-GPR)模型原始输入空间进行特征扩展,提高模型高维特征空间复杂映射关系解耦能力;同时,结合MO-GPR模型中的输出协方差系数矩阵,实现对多输出压实特性目标间相关性的有效考虑,以最终实现多输出压实特性精确预测。相比传统的高斯过程回归(GPR)、多输出极限学习机(MO-ELM)和MOGPR模型,所提IMO-GPR模型的预测精度分别提高了24%、20%和17%,且对噪声干扰、数据异常、数据量少等情况具有更强的鲁棒性,为土石坝料压实特性分析提供了新思路。

摘要：针对服务等级协议(SLA)的自动协商中用于协商的SLA元素及协商过程缺乏语义描述的问题,提出了一种基于语义网技术的SLA协商机制。首先提出一种协商本体Osn,该本体专门描述直接用于协商过程的SLA元素;设计了SLA协商元素的映射函数及协商评估函数并使用Osn描述这些函数,基于描述逻辑对Osn的主要概念及概念之间的关系给出了形式化描述,为Osn提供了可满足的语义模型。进而提出了一种针对SLA协商的讨价还价模型,通过对有关命题及定理的证明说明采用该模型可以形成帕累托最优的协商出价;采用该模型基于OWL-S与统一建模语言(UML)的映射关系设计了针对SLA协商的服务本体。实例研究的结果表明Osn描述的知识可以形成满足协商参与者利益最大化需求的出价序列。从而说明:Osn可以对服务本体提供针对任意SLA协商的参数类型支持;面向SLA协商的讨价还价模型可以形成双方可接受的SLA。

摘要：针对六子棋博弈比赛中基于"路"的全局扫描方式的博弈树生成算法效率较低问题,首先分析了基于"路"的全局扫描方式的计算规则和估值分析,然后将博弈树生成算法中的全局扫描方式改进为局部扫描方式,并给出其计算规则和估值分析,接着设计了基于局部扫描方式的博弈树生成算法,并集成到Alpha-Beta剪枝算法中。最后从搜索效率和博弈水平2个角度对全局扫描和局部扫描进行实验,实验结果表明,局部扫描方式在比赛时间要求的情况下,能够大幅度提高搜索效率,并且博弈水平显著优于全局扫描方式。