近距离煤层重复采动对坡体稳定性的影响

为研究近距离多煤层重复开采对坡体稳定性的影响,以岔角滩煤矿二采区为研究背景,选取具有明显特征的V号坡体为研究对象,建立力学模型,在天然坡体稳定系数计算公式的基础上,修正给出了采动坡体的稳定系数计算公式。此外,结合数值模拟方法计算分析C19,C20煤层依次开采和一次性开采等厚煤层情况下对地表坡体稳定性的影响。结果表明,天然状态下处于稳定的地表坡体在受到C19,C20两层煤依次采动后,坡体稳定性系数分别为1. 03和0. 80.模拟开采等厚煤层结束后,覆岩破坏发育高度约为120 m,地表浅处松散层发生局部破坏;在C19煤层回采结束后,覆岩塑性破坏区发育高度约为80 m,未波及地表,坡体仍处于稳定状态;在C20煤层回采结束后,覆岩塑性破坏区发育高度为150 m,地表松散层和基岩风化带整体破坏,坡体稳定性差。当开采单一煤层时,覆岩裂缝发育最大高度为35～40倍采高,对坡体的影响相对较小。近距离两层煤依次开采后,加剧了覆岩破坏,使得坡体失稳。     

地下采动影响下滑坡稳定性及推力研究综述

目前针对采动滑坡的治理措施以抗滑桩等抗滑结构为主,而滑坡推力是抗滑桩研究中的热点问题。首先,从地下开采的影响效应、采动滑坡的破坏模式等方面对采动滑坡的研究现状进行了分析归纳,同时从理论研究和数值分析两方面总结了现有的采动滑坡稳定性分析方法。其次,对现有的两种主要滑坡推力计算方法(极限平衡法和数值计算方法)进行了总结梳理及对比分析,并指出了安全系数取值中存在的问题。再者,从理论分析、数值模拟、物理模型试验和现场监测等四个研究角度对滑坡推力分布进行了归纳总结。最后,在上述基础上提出对地下采动影响下滑坡推力的研究应从三个方向进行:采动滑坡推力的计算方法、推力分布形式和不同采动时期的滑坡推力变化情况。     

静水压力对采动斜坡破坏模式影响的研究

以贵州省黔东南苗族侗族自治州凯里市湾水镇山体为例崩塌,采用数值分析方法,研究采动斜坡在采空条件下受不同静水压力对坡体破坏模式的影响。结果表明:静水压力的大小对采动斜坡破坏模式影响较大,当静水压力等于或低于104 m,山体形成滑移式崩塌;高于104 m时,形成倾倒式崩塌。     

采动和降雨影响下含深大裂隙岩溶山体破坏机制

为阐明采动和降雨入渗条件下含深大裂隙岩溶山体变形和破坏规律,以贵州省纳雍县普洒滑坡为例,通过块体离散元数值分析,探讨煤层开挖扰动和降雨入渗作用下含深大裂隙岩溶山体失稳破坏机制。结果表明,随着M10和M14煤层开采,山体上覆岩层向采空区方向下移,新生裂隙向坡表发育。工作面上覆岩层裂隙带高度随采空区范围的增大而增加,M10和M14开采结束后,裂隙带分别发育至30倍和40倍采高,坡顶深大岩溶裂隙向坡下扩展。降雨入渗后,上覆岩层裂隙带与深大岩溶裂隙贯通,在孔隙水压力作用下深大岩溶裂隙向坡表扩展形成贯通滑动面,岩溶坡体发生崩滑破坏。研究发现,地下采动是普洒老鹰岩山体变形破坏的控制因素,后续降雨是山体失稳的主要诱发因素。     

基于FLAC3D数值模拟一次采动巷道地压显现及围岩破坏

以申南凹矿1021—20采场为模型,运用FLAC3D有限差分数值计算方法进行了数值计算,模拟分析了一次采动影响下30 m矿柱和20 m矿柱回采巷道围岩的应力分布、位移变化和塑性区分布,并对采动超前影响范围进行了模拟。通过现场监测、数值分析认为申南凹矿回采巷道的地压显现与围岩破坏与采场相似。     

陶阳矿铁路下煤层群开采地表移动规律研究

本文根据多年来定期观测的大量数据。对铁路下煤层群重复开采的地表移动规律进行了分析、研究。主要是将各观测站所针对的主要开采工作面的基本条件和实际观测资料,利用参数识别的方法,求出各观测站的地表移动计算参数,并分析出计算参数的可靠性,同时,对各非充分采动条件下的观测站资料,利用求取的计算参数,模拟计算出具体地质开采条件下充分采动或接近充分采动时的地表移动变形。并分析计算出各种角值参数。     

平沟煤矿回采巷道采动影响下支护技术研究

针对平沟煤矿020902工作面回采巷道受020901工作面采动影响巷道围岩控制技术问题,通过合理的锚杆支护计算,确定了常规支护参数,对采动影响范围内采取单体液压支柱+π型钢梁的方式进行加强支护,能有效抵抗临近工作面采动支撑压力影响,保障回采巷道围岩控制稳定。煤矿加快生产、提高产量是当前追求生产效益的有效途径。     

煤层气井排采初期合理排采强度的确定方法

为了提高煤层气井产气稳定期和采收率,用微分几何学理论结合达西定律计算了沁南地区煤层气井初始排采强度。根据沁水盆地东南部单排3#煤层的排采井实测数据,用最小二乘法建立了实际初始产气压力与临界解吸压力关系,确定动液面下降高度;用微分几何理论结合达西定律计算了初始产气时的平均压力、影响体积,用于确定初始产气时的最佳影响半径;根据最佳影响半径与排采时间的联系,结合动液面下降高度计算出排采初期的排采强度。计算结果与现场实践吻合较好,初期合理排采强度的确定,既可防止储层激励,又可防止不必要的能源消耗,具有较好推广应用前景。     

厚黄土层矿区采动失水引起的地表沉降计算方法

西部厚黄土层覆盖矿区的采煤沉陷具有特殊性处于地下水位以下的饱和黄土层在开采沉陷过程中产生失水固结变形,将引起地表发生明显的附加沉降以渭北黄土覆盖矿区条件为模型,根据地下水位下降曲面特征分析了采动饱和黄土层失水固结的土力学机理,提出了采动黄土层压缩量的计算方法利用随机介质理论建立了采动黄土层失水固结引起的地表附加沉陷变形的计算模型实例计算表明,开采沉陷区黄土层的失水固结导致地表发生较大的沉陷,这种附加变形增大了地表变形程度和移动影响范围,对地面建筑物的保护造成不利影响     

采动影响下松藻矿区近地表溶洞的变形破坏规律

针对松藻矿区地质采矿条件,从弹性力学和随机介质理论出发,导出了采动地表溶洞顶板拉裂及稳定性计算模型;建立了溶洞跨距、埋藏深度及开采移动变形之间的数学关系;分析了在松藻矿区基岩裸露条件下,浅地表溶洞受采动影响的变形破坏规律。     

基于条件谓词逻辑的可信计算形式化分析

随着可信计算应用的不断发展,针对可信计算的形式化分析理论将成为可信计算领域研究的热点。在深入研究可信计算相关技术、信任链建立和信任传递过程影响因素的基础上,提出了基于条件谓词逻辑的可信计算形式化分析方法。通过定义不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验证。利用提出的方法举例对可信计算平台安全引导过程进行了分析,并且根据分析结果提出了委托受限的安全引导过程。结果表明,基于条件谓词逻辑的形式化验证方法,能够清晰、有效的实现对可信计算信任模型的形式化分析,为可信计算应用模型的设计和完善提供参考。形式化方法的提出,对于丰富可信计算信任评估理论,促进可信计算应用发展具有一定的意义。     

基于移动边缘计算的任务卸载策略研究

由于传统云计算的高时延和处理能力有限,无法满足5G网络的发展要求。基于移动边缘计算网络框架,提出了一种结合通信时延和计算时延的联合优化卸载策略用于移动边缘计算网络。该策略通过移动边缘计算设备不同的计算能力和通信链路的不同传输速率,对移动用户任务进行决策。通过仿真分析该卸载方法对任务大小和时延的影响,验证了该方法的优越性。结果表明,相比于传统的卸载方法,该方法可以有效地降低卸载时间和提高数据处理能力,有一定的参考价值。     

利用EXCEL和VBA求解岩心相对渗透率的方法

计算相对渗透率时需要面对大量数据处理和繁多的求解模型以及复杂的计算过程.为了计算快捷、简便调用合适模型并提高求解效率,提出了用EXCEL结合VBA开发计算程序以批量处理实验数据并求解相对渗透率的方法.实例计算表明该方法能够快捷、准确地计算出结果并绘制相对渗透率曲线,简单易用,扩展性强.     

一个计算相关矩阵的快速算法

本文提出用数量化理论Ⅰ进行预测时计算相关矩阵的一种快速方法。在计算机上使用此法,比通常方法成量级地降低计算量,从而可大大提高运算速度。     

算力网络与交易风控

算力作为数字经济的核心生产力,已经成为全球战略竞争的新焦点。传统计算模式不足以满足网络环境下的业务对于自身敏捷构造需求和外部大数据应用需求。在对比分析了网格计算、云计算、边缘计算、多云与云际计算的优缺点后,提出了一种新型计算模式:方舱计算,并介绍了方舱计算系统的三大组成部分。在此基础上,进一步提出了基于方舱计算构建算网系统的设想。作为方舱计算的典型应用,介绍了当前网络交易风控遇到的难题,结合方舱计算模式,通过建立并发系统行为理论与流量计算方法,发明了业务流程网络横切并发的调度技术,提出网络交易风控的行为认证方法,设计并实现了系统高并发、高辨识、高时效的目标。     

桌面计算机上利用格子Boltzmann方法的GPU计算

介绍了在桌面计算机上利用格子Boltzmann方法(LBM)与图形处理器(GPU)计算的发展背景,分析了LBM的标准形式及其天生并行特性的成因,介绍了所采用的CUDA编程模型及Kepler计算架构.为了验证桌面计算机上利用LBM的GPU计算的应用能力,对二维方柱绕流问题进行了数值模拟,并将模拟结果与有限体积法的计算结果进行对比.结果表明:对于方柱绕流问题,GPU计算的模拟计算效率约为CPU计算的3.4倍,桌面计算机上利用LBM的GPU计算具有一定的通用科学计算能力.     

基于web service的NDVI计算模型服务的实现与应用

研究和总结了基于web service的空间信息集成技术,提出了基于web service的NDVI计算模型服务架构,该方法町以实现空间计算模型的跨平台性和互操作性,大大提高空间计算模型的共享.利用该方法对NDVI进行web service的封装和网络发布,很好地解决了传统植被指数计算模型的共享和互操作问题,也为其他窄间计算模型的web service集成与应用提供了参考.     

DNA计算原理与发展

DNA计算是一种摸拟生物分子DNA的结构并借助分子生物技术进行计算的新方法,为NP完全问题的解决提供了一种全新的途径,具有广阔的应用前景。本文首先介绍了DNA计算的基本思想;然后综述了DNA算例及其模型;指出了DNA计算的应用及目前存在的问题;最后对DNA计算的发展前景进行展望。     

漳州华联商厦结构分析与概念设计

结合漳州华联商厦结构设计,着重对结构概念设计及对不规则框剪结构中框架剪力的调整方法等问题进行探讨,提出了整体计算的两步计算法,采用本方法可使基础、地下室及上部结构的计算结果更具合理性,可供工程设计借鉴和参考。     

Integrated research of parallel computing: Status and future

In the past twenty years, the research group in University of Science and Technology of China has developed an integrated research method for parallel computing, which is a combination of ＂Architecture- Algorithm-Programming-Application＂. This method is also called the ecological environment of parallel computing research. In this paper, we survey the current status of integrated research method for parallel computing and by combining the impact of multi-core systems, cloud computing and personal high performance computer, we present our outlook on the future development of parallel computing.