Comprehensive Experimental Study on the Migration Law of the Floor at the Mining Face

Under the circumstance that deep mining is increasingly vulnerable to underlying limestone water, accurate detection of floor failure depth ranges at a mining face becomes rather critical to coal mine production in safety. Underground borehole fiber optic sensing technology is combined with 2-D parallel electrical surveying to comprehensively monitor and analyze development laws of floor deformation and failure. Moreover, a working face 1022 in a mine of Huaibei Mining Area was taken, for example, introducing the layout of monitoring borehole and installation of relevant sensing units. Based on the stope progress of a working face, data related to strain and geoelectric fields were collected regularly to analyze relationships of field source variation characteristics and strata deformation failures. In this way, the development mechanism of the floor deformation failure can be revealed. As demonstrated by results, the depth failure of the floor at coal seam 10 is calculated to be 15 m, while its disturbance depth turns out to be 22 m. Due to advanced stress, concentrated stope load and post-mining pressure relief, the floor experienced elastic deformation, shear deformation and swelling deformation successively. Without a doubt, testing results obtained have scientific guiding significance for mines with similar geological conditions.

Research on Surrounding Rock Stability Test of Tunneling Roadway under Complex Geological Conditions

Different geological conditions are often encountered in the excavation of coal mine roadways, with fault-fracture zone being the most commonly seen complex geological conditions. Fault-fracture zone is characterized by complex lithologic property and joint development and can easily cause safety accidents when excavation burrows through the fault. Therefore, grouting reinforcement of fault-fracture zone is often implemented to ensure coal mine safety production. Based on the tunnel excavation case of −530 - −650 m belt conveyor inclined roadway at Huainan Pan’er Coal Mine, borehole optical fiber and electrical testing technologies were applied to monitor and analyze the dynamics of the surrounding rock stability when roadway excavation passed through the F1 fault, and evaluate the effect of grouting reinforcement on fault-fracture zone. According to the results of optical fiber and electrical methods, the distributional characteristics and evolution patterns of strain and electric resistivity were analyzed. The research pointed out the distinct difference in variation characteristics of strain and electrical fields between grouted reinforced fault-fracture zone and normal rock strata sections. This indicates that the grouting reinforcement effectively improve physical properties of rock strata in the fractured section, the stability of the rock strata at the fault-fracture zone was effectively increased, the degree of fault activation and deformation was relatively small, and roadway surrounding rock basically retained its original properties, pointing to high stability.

Application of 3-D Parallel Electrical Technology Detecting the Water-Rich Areas

Coal working face is damaged more and more seriously by water below the coal face floor. Therefore, floor water detection is a must in the process of extraction. This article aims to introducing application and principle of the two-gateways parallel 3-D electrical technology and the arrangement of the observation system. The authors use this method to detect the water under the floor of a mine in north of Anhui. The results show that the two-gateways parallel 3-D electrical technology can accurately locate the water-rich areas, providing the basis for drilling drainage and grouting construction.

Cullin-RING Ubiquitin Ligase Family in Plant Abiotic Stress Pathways

The ubiquitin-proteasome system is a key mechanism that plants use to generate adaptive responses in coping with various en- vironmental stresses. Cullin-RING （CRL） complexes represent a predominant group of ubiquitin E3 ligases in this system. In this review, we focus on the CRL E3s that have been implicated in abiotic stress signaling pathways in Arabidopsis. By comparing and analyzing these cases, we hope to gain a better understanding on how CRL complexes work under various settings in an attempt to decipher the clues about the regulatory mechanism of CRL E3s.

基于Coq的第三代微积分机器证明系统

本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分|没有极限的微积分|理论构架的形式化验证,包括对张景中等发表的题为\微积分基础的新视角"论文中全部定义和定理的Coq描述.进而,对定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.本文是实践研究人员利用计算机学习、理解、构建乃至教育现代数学理论的一个尝试.

Machine learning in chronic obstructive pulmonary disease

The World Health Organization has projected that by 2030,chronic obstructive pulmonary disease(COPD)will be the third-leading cause of mortality and the seventh-leading cause of morbidity worldwide.[1]Acute exacerbations of chronic obstructive pulmonary disease(AECOPD)are associated with an accelerated decline in lung function,diminished quality of life,and higher mortality.[2]Accurate early detection of AECOPD contributes to better management and mortality reduction,and in the recent past there has been great progress in the development and application of machine learning(ML),which is an important part of predictive analytics incorporating predictive models that improve with increasing numbers of cases,in seeking ways to better tackle COPD.