Through system analysis of typical explosive trains in various fuses, physical and correspondent mathematical models of typical explosive trains are established, based on mass conservation, momentum conservation, ener...Through system analysis of typical explosive trains in various fuses, physical and correspondent mathematical models of typical explosive trains are established, based on mass conservation, momentum conservation, energy conservation and so on. MAZE and DYNA2D program is used to dispose these models and results of the simulating of elements of explosive trains in a typical fuse are obtained. It is helpful for designing fuses.展开更多
After the progressive collapse of Ronan Point apartment in UK in 1968, intensive research effort had been spent on developing guidelines for design of new or strengthening the existing structures to prevent progressiv...After the progressive collapse of Ronan Point apartment in UK in 1968, intensive research effort had been spent on developing guidelines for design of new or strengthening the existing structures to prevent progressive collapse. However, only very few building design codes provide some rather general guidance, no detailed design requirement is given. Progressive collapse of the Alfred P. Murrah Federal building in Oklahoma City and the World Trade Centre (WTC) sparked again tremendous research interest on progressive collapse of structures. Recently, US Department of Defence (DoD) and US General Service Administration (GSA) issued guidelines for structure progressive collapse analysis. These two guidelines are most commonly used, but their accuracy is not known. This paper presents numerical analysis of progressive collapse of an example frame structure to blast loads. The DoD and GSA procedures are also used to analyse the same example structure. Numerical results are compared and discussed. The accuracy and the applicability of the two design guidelines are evaluated.展开更多
To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic （PLTL） model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata （NA...To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic （PLTL） model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata （NA） in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms （NFs）, next constructs Normal Form Graphs （NFGs） for NF formulas, and it fi- nally transforms NFGs into the NA which ac- cepts both finite words and int-mite words. The experimental data show that the new algorithm re- duces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indi- cate that the PLTL model checking technique em- ploying the new algorithm generates a smaller state space in verification of concurrent systems.展开更多
Dynamic collapses of deeply mined coal rocks are severe. In order to explore new ideas for rock burst pre- vention, the relationship between entropy equations and dissipative structure was studied, and a con- cept-roc...Dynamic collapses of deeply mined coal rocks are severe. In order to explore new ideas for rock burst pre- vention, the relationship between entropy equations and dissipative structure was studied, and a con- cept-rock burst activity system （RAS） was proposed and its entropy was analyzed. The energy features of RAS were analyzed, and the relationship between electromagnetic radiation （EMR） intensity E and dis- sipated energy Ud was initially established. We suggest that rock burst normally happens only when d1S - 〈〈 -des in RAS; RAS is the dissipative structure before collapse, and after which it become a new orderly structure, i.e., a ＂dead＂, a statically orderly structure. We advanced that the effective way to prevent rock burst is to introduce entropy to the system for it keeps the system away from the dissipative structure. E and Ud of RAS are positively related, which is used as a bridge between dissipative structure theory and rock burst prevention engineering applications. Based on this, and using the data of rock burst prevention for working face No. 250205up of Yanbei coal mine, an engineering verification for the dissipative struc- ture of RAS was carried out. which showed good results.展开更多
In order to define the development direction of safe blasting technology in high-temperature coal seams in China, this paper presents a systematic, state-of-the-art review on safe blasting technology. Information such...In order to define the development direction of safe blasting technology in high-temperature coal seams in China, this paper presents a systematic, state-of-the-art review on safe blasting technology. Information such as high-temperature coal fire extinguishment and cooling, anti-high-temperature blasting supplies, heat insulation blasting setting, operation procedures for high-temperature blasting, and so on, are presented. Analysis shows that the development of effective technology for coal seam fire extinguishing and cooling, the manufacture of anti-high-temperature blasting supplies, especially priming materials, the development of heat insulation blasting setting, and the establishment of technical specifications suit large-scale blasting design and construction work at high-temperature coal seams, are the essential methods for safe blasting at high temperature coal seams.展开更多
The rockburst data of Huafeng and Da’anshan Mine were analysised in this paper. From the statistical results, we know that the relation between magnitude and frequency in rockburst is linear. Using this relation, the...The rockburst data of Huafeng and Da’anshan Mine were analysised in this paper. From the statistical results, we know that the relation between magnitude and frequency in rockburst is linear. Using this relation, the maximum magnitude and tendency of rockburst can be predicted.The theory can improve the quantitive prediction level in rockburst.展开更多
To deal with the construction difficulties of Xiangjiaba underground hydropower station,such as complex geological conditions,narrow rock bench,high loading,high quality requirements and urgent time limit,the project ...To deal with the construction difficulties of Xiangjiaba underground hydropower station,such as complex geological conditions,narrow rock bench,high loading,high quality requirements and urgent time limit,the project adopted the concept of precision blasting.The explosive energy and rock mass fragmentation were well controlled by taking reasonable excavation sequence,designing steel pipe drilling frame,the additional techniques of double layer smooth blasting,evenly micro charge,staggered arrangement of boreholes and pre-stressed anchors.These technologies ensured the excavation quality of the rock face beam,achieving successful blasting results:Semi hole ratio was 100%in Ⅱ surrounding rock,99.2%in Ⅲ surrounding rock and 90%~ 97.3%in Ⅳ surrounding rock;underbreak was avoided and the average backbreak was only2.9 cm;the unevenness was 0 ~ 4 cm;the influence depth of blasting and unloading was 0.2 ~ 0.7 cm.展开更多
Rational rock-explosive matching is of great importance to enhancing explosive energy effective utilization and improving rock fragmentation effect.The traditionally emphasized method of acoustic impedance matching is...Rational rock-explosive matching is of great importance to enhancing explosive energy effective utilization and improving rock fragmentation effect.The traditionally emphasized method of acoustic impedance matching is not rational.Based on blasting breakage mechanism,a new theory of rock-explosive matching in drilling and blasting is proposed.The new approach chooses explosive parameters by reasonable control of the size of crushed zone under the condition of fully fragmentation between adjacent blast holes.This method can directly reflect the blasting fragmentation effect and energy effective utilization,which is easy to implement.Also,a modified model is developed,taken adjacent blast hole blasting loading into account.As a result,explosive parameters of different grades of rock are given in full coupling on-site mixed explosive charge for different project objectives.展开更多
The accidents at the Fukushima Daiichi nuclear power station stunned the world as the sequences played out over severals days and videos of hydrogen explosions were televised as they took place. The accidents all resu...The accidents at the Fukushima Daiichi nuclear power station stunned the world as the sequences played out over severals days and videos of hydrogen explosions were televised as they took place. The accidents all resulted in severe damage to the reactor cores and releases of radioactivity to the environment despite heroic measures had taken by the operating personnel. The following paper provides some background into the development of these accidents and their root causes,chief among them,the prolonged station blackout conditions that isolated the reactors from their ultimate heat sink - the ocean. The interpretations given in this paper are summarized from a recently completed report funded by the United States Department of Energy (USDOE).展开更多
文摘Through system analysis of typical explosive trains in various fuses, physical and correspondent mathematical models of typical explosive trains are established, based on mass conservation, momentum conservation, energy conservation and so on. MAZE and DYNA2D program is used to dispose these models and results of the simulating of elements of explosive trains in a typical fuse are obtained. It is helpful for designing fuses.
基金Supported by National Natural Science Foundation of China(No.50528808)Australian Research Council(No. DP0451966)
文摘After the progressive collapse of Ronan Point apartment in UK in 1968, intensive research effort had been spent on developing guidelines for design of new or strengthening the existing structures to prevent progressive collapse. However, only very few building design codes provide some rather general guidance, no detailed design requirement is given. Progressive collapse of the Alfred P. Murrah Federal building in Oklahoma City and the World Trade Centre (WTC) sparked again tremendous research interest on progressive collapse of structures. Recently, US Department of Defence (DoD) and US General Service Administration (GSA) issued guidelines for structure progressive collapse analysis. These two guidelines are most commonly used, but their accuracy is not known. This paper presents numerical analysis of progressive collapse of an example frame structure to blast loads. The DoD and GSA procedures are also used to analyse the same example structure. Numerical results are compared and discussed. The accuracy and the applicability of the two design guidelines are evaluated.
基金The first author of this paper would like to thank the follow- ing scholars, Prof. Joseph Sifakis, 2007 Turing Award Winner, for his invaluable help with my research and Dr. Kevin Lu at Brunel University, UK for his excellent suggestions on this paper. This work was supported by the National Natural Sci- ence Foundation of China under Grant No.61003079 the Chi- na Postdoctoral Science Foundation under Grant No. 2012M511588.
文摘To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic （PLTL） model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata （NA） in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms （NFs）, next constructs Normal Form Graphs （NFGs） for NF formulas, and it fi- nally transforms NFGs into the NA which ac- cepts both finite words and int-mite words. The experimental data show that the new algorithm re- duces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indi- cate that the PLTL model checking technique em- ploying the new algorithm generates a smaller state space in verification of concurrent systems.
基金supported by the Independent Research Project of State Key Lab of Coal Resources and Mine Safety (CUMT) (No.SKLCRSM09X01)the Youth Science Foundation of the National Natural Science Foundation of China (No. 50904067)the Foundation for the Author of National Excellent Doctoral Dissertation of PR China (No. 201055)
文摘Dynamic collapses of deeply mined coal rocks are severe. In order to explore new ideas for rock burst pre- vention, the relationship between entropy equations and dissipative structure was studied, and a con- cept-rock burst activity system （RAS） was proposed and its entropy was analyzed. The energy features of RAS were analyzed, and the relationship between electromagnetic radiation （EMR） intensity E and dis- sipated energy Ud was initially established. We suggest that rock burst normally happens only when d1S - 〈〈 -des in RAS; RAS is the dissipative structure before collapse, and after which it become a new orderly structure, i.e., a ＂dead＂, a statically orderly structure. We advanced that the effective way to prevent rock burst is to introduce entropy to the system for it keeps the system away from the dissipative structure. E and Ud of RAS are positively related, which is used as a bridge between dissipative structure theory and rock burst prevention engineering applications. Based on this, and using the data of rock burst prevention for working face No. 250205up of Yanbei coal mine, an engineering verification for the dissipative struc- ture of RAS was carried out. which showed good results.
文摘In order to define the development direction of safe blasting technology in high-temperature coal seams in China, this paper presents a systematic, state-of-the-art review on safe blasting technology. Information such as high-temperature coal fire extinguishment and cooling, anti-high-temperature blasting supplies, heat insulation blasting setting, operation procedures for high-temperature blasting, and so on, are presented. Analysis shows that the development of effective technology for coal seam fire extinguishing and cooling, the manufacture of anti-high-temperature blasting supplies, especially priming materials, the development of heat insulation blasting setting, and the establishment of technical specifications suit large-scale blasting design and construction work at high-temperature coal seams, are the essential methods for safe blasting at high temperature coal seams.
文摘The rockburst data of Huafeng and Da’anshan Mine were analysised in this paper. From the statistical results, we know that the relation between magnitude and frequency in rockburst is linear. Using this relation, the maximum magnitude and tendency of rockburst can be predicted.The theory can improve the quantitive prediction level in rockburst.
文摘To deal with the construction difficulties of Xiangjiaba underground hydropower station,such as complex geological conditions,narrow rock bench,high loading,high quality requirements and urgent time limit,the project adopted the concept of precision blasting.The explosive energy and rock mass fragmentation were well controlled by taking reasonable excavation sequence,designing steel pipe drilling frame,the additional techniques of double layer smooth blasting,evenly micro charge,staggered arrangement of boreholes and pre-stressed anchors.These technologies ensured the excavation quality of the rock face beam,achieving successful blasting results:Semi hole ratio was 100%in Ⅱ surrounding rock,99.2%in Ⅲ surrounding rock and 90%~ 97.3%in Ⅳ surrounding rock;underbreak was avoided and the average backbreak was only2.9 cm;the unevenness was 0 ~ 4 cm;the influence depth of blasting and unloading was 0.2 ~ 0.7 cm.
基金Foundation items： National Science Fund for Distinguished Young Scholars, China （No. 51125037） Natio- nal Basic Research Program of China （No. 2011CB013501） National Natural Science Foundation of China （No. 51279135）
文摘Rational rock-explosive matching is of great importance to enhancing explosive energy effective utilization and improving rock fragmentation effect.The traditionally emphasized method of acoustic impedance matching is not rational.Based on blasting breakage mechanism,a new theory of rock-explosive matching in drilling and blasting is proposed.The new approach chooses explosive parameters by reasonable control of the size of crushed zone under the condition of fully fragmentation between adjacent blast holes.This method can directly reflect the blasting fragmentation effect and energy effective utilization,which is easy to implement.Also,a modified model is developed,taken adjacent blast hole blasting loading into account.As a result,explosive parameters of different grades of rock are given in full coupling on-site mixed explosive charge for different project objectives.
文摘The accidents at the Fukushima Daiichi nuclear power station stunned the world as the sequences played out over severals days and videos of hydrogen explosions were televised as they took place. The accidents all resulted in severe damage to the reactor cores and releases of radioactivity to the environment despite heroic measures had taken by the operating personnel. The following paper provides some background into the development of these accidents and their root causes,chief among them,the prolonged station blackout conditions that isolated the reactors from their ultimate heat sink - the ocean. The interpretations given in this paper are summarized from a recently completed report funded by the United States Department of Energy (USDOE).
