深部高应力巷道支护设计与数值模拟研究

在理论分析和工程类比等的基础上对高应力巷道的支护方案进行了设计,利用FLAC3D数值软件对深部高应力巷道的开挖与支护的变形和破坏特点进行了模拟研究,得到了围岩的位移和塑性区分布等的情况,验证了锚喷支护方案的合理性和有效性。     

CodeSearcher:基于自然语言功能描述的代码查询

在项目开发过程中,开发者需要为实现某一功能而编写代码;在不确定如何使用特定编程语言来实现当前待开发功能时,其往往会在文档或网络资源中进行代码查询。因此,代码查询的有效性会直接影响软件开发的效率。目前,已有相当数量的工具可以用来辅助开发者进行代码查询,但这些工具普遍存在输入形式复杂或者匹配精确度低等问题。文中提出的CodeSearcher是一种基于自然语言功能描述的代码查询方法。CodeSearcher将软件开发垂直领域的问答网站Stack OverFlow的问答记录转换为〈自然语言描述,代码片段〉数据对,使用神经网络模型将"自然语言描述"和"代码片段"映射到相同的向量空间并进行匹配,从而能够支持开发者使用待开发功能的自然语言描述来查询相应代码。CodeSearcher不同于一般的代码查询系统,一方面,它只需要代码本身而不依赖于代码的注释或说明,因此可以支持更多代码查询的场景;另一方面,它拓展了代码查询的流程,使其不再局限于一次性的查询反馈流程,而是在这中间加入了代码询答的流程,利用返回代码片段之间的差异性元素帮助开发者挑选目标代码,使得开发者不需要详细阅读所有返回的代码片段。实验结果表...     

杨营煤矿地应力分布规律及其影响因素分析

杨营煤矿埋深大、断层破碎带发育,影响地应力分布规律的因素复杂。为指导杨营煤矿矿井建设及开采安全,应用钻孔应力解除法,对杨营煤矿不同埋深和位置进行了系统的地应力测量。根据实测数据,获得了杨营煤矿地应力分布规律,并对其影响因素进行了分析。分析结果表明,矿区主应力分布有其一般的共性且有其特殊性:1矿区主应力值随埋深的增加而增大,侧压力系数随埋深的增加而减小;2断层扰动下,地应力方向发生明显偏转,地应力值有明显应力集中现象;3向斜构造影响下,构造不同位置水平主应力集中程度有明显差异,相同位置水平主应力和垂直主应力的增加程度也有差异。     

条带开采煤柱稳定性数值模拟研究

为了研究条带开采过程中煤柱的稳定性,借助于数值模拟软件FLAC3D,对条带开采过程中不同开采宽度和留设宽度下煤柱内应力和塑性区分布情况进行了研究,研究结论对煤矿的条带开采优化设计有一定的指导意义。