Based on the research on rock burst phenomenon induced by the breakage of thick and hard roof around roadways and working faces in coal mines, a criterion of rock burst induced by roof breakage （RBRB） was proposed a...Based on the research on rock burst phenomenon induced by the breakage of thick and hard roof around roadways and working faces in coal mines, a criterion of rock burst induced by roof breakage （RBRB） was proposed and the model was built. Through the model, a method calculating the varied stresses induced by roof breakage in support objects and coal body was proposed and a unified formula was derived for the calculation of stress increment on support objects and coal body under different breaking forms of roof. Whilst the formula for calculating dynamic load was derived by introducing dynamic index Kd. The formula was verified in Huating Mine by stress measurement. According to the formula for stress increment calculating, the sensitivities of dynamic load parameters were further studied. The results show that the thickness and breaking depth of roof, width of support objeet are the sensitive factors. Based on the discussion of the model, six associated effective methods for rock burst prevention are obtained.展开更多
Cave roofs are used to support pile foundation in many engineering projects. Accurate stability analysis method of cave roof under pile tip is important in order to ensure the safety of the pile foundation structure. ...Cave roofs are used to support pile foundation in many engineering projects. Accurate stability analysis method of cave roof under pile tip is important in order to ensure the safety of the pile foundation structure. Firstly the mechanical model to analysis the stability of cave roof under pile tip is founded aiming to solve the problems that the simplified mechanical model has. Secondly, the boundary of cave roof is simply supposed to be supported according to the integrity of the rock mass in the boundary of cave roof. Thirdly, based on the theory of plates and shells, the simplified model is calculated and the theoretical calculation formula to determine the safe thickness of cave roof under pile tip can be obtained when the edges of the cave roof are simply supported. In the end, the analysis of the practical engineering project proves the feasibility and the rationality of the method which can be a new method to calculate the safe thickness of cave roof under pile tip.展开更多
A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance ...A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance in QBF parallel solving system,and the experimental evaluation scheme was also designed.It shows that the characterization factor of clause and cube influence the solving performance markedly in our experiment.At the same time,the heuristic machine learning algorithm was applied,support vector machine was chosen to predict the performance of QBF parallel solving system based on clause sharing and cube sharing.The relative error of accuracy for prediction can be controlled in a reasonable range of 20%30%.The results show the important and complex role that knowledge sharing plays in any modern parallel solver.It shows that the parallel solver with machine learning reduces the quantity of knowledge sharing about 30%and saving computational resource but does not reduce the performance of solving system.展开更多
基金Supported by the National Natural Science Foundation of China under Grant No.60275220 (国家自然科学基金)the Science Development Foundation of Shanghai of China under Grant No.012112027 (上海市科技发展基金)
文摘在分析了基于遗传原理的公式发现方法的优势与不足的基础上,根据免疫原理和MHC(major histocompatibility complex)在免疫系统中的调控作用,提出了一种应用于公式发现领域的算法IFDA(immune formula discovering algorithm)来解决公式进化中优良结构不易保护的问题.该算法将公式翻译成树状图,并按深度优先的编码方法形成抗体的恒定区和可变区代码,把公式片段编码成为MHC代码,借鉴MHC调控原理指导抗体进化,寻找出数据集合中蕴涵的规律,并用公式的形式表示.通过对多组基准数据的实验说明,此方法在公式复杂度和收敛速度方面比基因表达式算法有更好的性能.
基金Project(2010CB226805) supported by the National Basic Research Program of ChinaProjects(30370412,30670558) supported by the National Natural Science Foundation of ChinaProject(SKLCRSM10X05) supported by the Self-research Program of the Key Laboratory of Coal Resources and Safe Mining,China
文摘Based on the research on rock burst phenomenon induced by the breakage of thick and hard roof around roadways and working faces in coal mines, a criterion of rock burst induced by roof breakage （RBRB） was proposed and the model was built. Through the model, a method calculating the varied stresses induced by roof breakage in support objects and coal body was proposed and a unified formula was derived for the calculation of stress increment on support objects and coal body under different breaking forms of roof. Whilst the formula for calculating dynamic load was derived by introducing dynamic index Kd. The formula was verified in Huating Mine by stress measurement. According to the formula for stress increment calculating, the sensitivities of dynamic load parameters were further studied. The results show that the thickness and breaking depth of roof, width of support objeet are the sensitive factors. Based on the discussion of the model, six associated effective methods for rock burst prevention are obtained.
基金Project(14JJ4003) supported by the Natural Science Foundation of Hunan Province,ChinaProject(2013M531812) supported by China Postdoctoral Science Foundation+1 种基金Project supported by the Postdoctoral Foundation of Central South UniversityProject(14JJ4003) Project(2013SCEEKL001) supported by Foundation of Tianjin Key Laboratory of Soft Soil Characteristics and Engineering Environment,China
文摘Cave roofs are used to support pile foundation in many engineering projects. Accurate stability analysis method of cave roof under pile tip is important in order to ensure the safety of the pile foundation structure. Firstly the mechanical model to analysis the stability of cave roof under pile tip is founded aiming to solve the problems that the simplified mechanical model has. Secondly, the boundary of cave roof is simply supposed to be supported according to the integrity of the rock mass in the boundary of cave roof. Thirdly, based on the theory of plates and shells, the simplified model is calculated and the theoretical calculation formula to determine the safe thickness of cave roof under pile tip can be obtained when the edges of the cave roof are simply supported. In the end, the analysis of the practical engineering project proves the feasibility and the rationality of the method which can be a new method to calculate the safe thickness of cave roof under pile tip.
基金Project(61171141)supported by the National Natural Science Foundation of China
文摘A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance in QBF parallel solving system,and the experimental evaluation scheme was also designed.It shows that the characterization factor of clause and cube influence the solving performance markedly in our experiment.At the same time,the heuristic machine learning algorithm was applied,support vector machine was chosen to predict the performance of QBF parallel solving system based on clause sharing and cube sharing.The relative error of accuracy for prediction can be controlled in a reasonable range of 20%30%.The results show the important and complex role that knowledge sharing plays in any modern parallel solver.It shows that the parallel solver with machine learning reduces the quantity of knowledge sharing about 30%and saving computational resource but does not reduce the performance of solving system.
