In this paper the computer code of AUTOUGH2 is used to carry out numerical simulation study on the Wuqing geothermal reservoir for evaluating reservoir performance upon different exploitation schemes.The simulating ca...In this paper the computer code of AUTOUGH2 is used to carry out numerical simulation study on the Wuqing geothermal reservoir for evaluating reservoir performance upon different exploitation schemes.The simulating calculation and analysis of two main cases,production without reinjection and production with reinjection,were carried out to illuminate and compare the temperature and pressure profiles with distance and time.The water level or pressure will decrease with the time of production,and the reinjection will cause the cooling effect of reinjection on the production zone.展开更多
Damage caused by underground coal mining is a serious problem in mining areas in China; therefore, studying and obtaining the rules of ground movement and deformation under different geological conditions is of great ...Damage caused by underground coal mining is a serious problem in mining areas in China; therefore, studying and obtaining the rules of ground movement and deformation under different geological conditions is of great importance. The numerical software ANSYS was used in this study to simulate mining processes under two special geological conditions： （1） thick unconsolidated soil layer and thin bedrock; （2） thin soil layer and thick bedrock. The rules for ground movement and deformation for different soil layer to bedrock ratios were obtained. On the basis of these rules, a prediction parameter modified model of the influence function was proposed, which is suitable for different values of unconsolidated soil layer thickness. The prediction results were verified using two sets of typical field data.展开更多
A new algorithm for symbolic computation of polynomial-type conserved densities for nonlinear evolution systems is presented. The algorithm is implemented in Maple. The improved algorithm is more efficient not only in...A new algorithm for symbolic computation of polynomial-type conserved densities for nonlinear evolution systems is presented. The algorithm is implemented in Maple. The improved algorithm is more efficient not only in removing the redundant terms of the genera/form of the conserved densities but also in solving the conserved densities with the associated flux synchronously without using Euler operator. Furthermore, the program conslaw.mpl can be used to determine the preferences for a given parameterized nonlinear evolution systems. The code is tested on several well-known nonlinear evolution equations from the soliton theory.展开更多
About 75% water-inrush accidents in China are caused by geological structure such as faults, therefore, it is necessary to investigate the water-inrush mechanism of faults to provide references for the mining activity...About 75% water-inrush accidents in China are caused by geological structure such as faults, therefore, it is necessary to investigate the water-inrush mechanism of faults to provide references for the mining activity above confined water. In this paper, based on the fluid-solid coupling theory, we built the stress-seepage coupling model for rock, then we combined with an example of water-inrush caused by fault, studied the water-inrush mechanism by using the numerical software COMSOL Mutiphysics, analyzed the change rule of shear stress, vertical stress, plastic area and water pressure for stope with a fault, and estimated the water-inrush risk at the different distances between working faces and the fault. The numerical simula- tion results indicate that： （1） the water-inrush risk will grow as the decrease of the distance between working face and the fault; （2） the failure mode of the rock in floor with fault is shear failure; （3） the rock between water-containing fault and working face failure is the reason for water-inrush.展开更多
A 3-D numerical simulation with CFX software on physical field of multi-air channel coal burner in rotary kiln was carried out. The effects of various operational and structural parameters on flame feature and tempera...A 3-D numerical simulation with CFX software on physical field of multi-air channel coal burner in rotary kiln was carried out. The effects of various operational and structural parameters on flame feature and temperature distribution were investigated. A thermal measurement was conducted on a rotary kiln (4.5m in diameter, 90m in length) with four-air channel coal burner to determine the boundary conditions and to verify the simulation results. The calculation result shows that the distribution of velocity near burner exit is saddle-like; recirculation zones near nozzle and wall are useful for mixture primary air with coal and high temperature fume. A little central airflow can avoid coal backing up and cool nozzle. Adjusting the ratio of internal airflow to outer airflow is an effective and major means to regulate flame and temperature distribution in sintering region. Large whirlcone angle can intensify disturbution range at flame root to accelerate ignition and mixture. Large coal size can reduce high temperature region and result in coal combusting insufficiently. Too much combustion air will lengthen flame and increase heat loss.展开更多
Gas extraction is one of the main measures of control and use of gas of coal mines. At present, the design method is under the experimental period and do not satisfy the need of practice. In this paper, the theory of ...Gas extraction is one of the main measures of control and use of gas of coal mines. At present, the design method is under the experimental period and do not satisfy the need of practice. In this paper, the theory of gas extraction of coal seams based upon Darcy law was studied. Mathematical model of gas extraction of coal seams was established and two kinds of solv- ing approaches based on computer software and linear approximation were given. The rightness and the validities of the model were examined with a practical example. Results obtained can be used to determine and optimize the parameters related etc.展开更多
Based on analyzing the overlap appearance of random winding, basic principles of ribbon-free random winding and parametric selections for anti-overlap are discussed. The ribbon-free random winding control system and i...Based on analyzing the overlap appearance of random winding, basic principles of ribbon-free random winding and parametric selections for anti-overlap are discussed. The ribbon-free random winding control system and its related hardware construction as well as its software design are introduced by applying PCC technology to high speed spinning machine of synthetic filament.展开更多
A software component must be tested every time it is reused in order to assure quality of component itself and system in which it is to be integrated.So how to increase testability of component has become a key techno...A software component must be tested every time it is reused in order to assure quality of component itself and system in which it is to be integrated.So how to increase testability of component has become a key technology in the software engineering community.Here a method is introduced to increase component testability.And meanings of component testability and relative effective ways to increase testability are summarized.Then definitions of component coupling testing criterion,DU-I(Definition-Use Information) and OP-Vs(Observation-Point Values)are given.Base on these,a definition-use table is introduced,which includes DU-A and OP-Vs item,to help component testers to understand and observe interior details about component under test better.Then a framework of testable component based on above DU-table is given.These facilities provide ways to detect errors,observe state variables by observation-points based monitor mechanism.Moreover,above methods are applied to our application developed by ourselves before,and some test cases are generated.Then our method is compared with Orso method and Kan method using the same example,presenting the comparison results.The results illustrate the validity of our method,effectively generating test cases and killing more mutants.展开更多
文摘In this paper the computer code of AUTOUGH2 is used to carry out numerical simulation study on the Wuqing geothermal reservoir for evaluating reservoir performance upon different exploitation schemes.The simulating calculation and analysis of two main cases,production without reinjection and production with reinjection,were carried out to illuminate and compare the temperature and pressure profiles with distance and time.The water level or pressure will decrease with the time of production,and the reinjection will cause the cooling effect of reinjection on the production zone.
文摘Damage caused by underground coal mining is a serious problem in mining areas in China; therefore, studying and obtaining the rules of ground movement and deformation under different geological conditions is of great importance. The numerical software ANSYS was used in this study to simulate mining processes under two special geological conditions： （1） thick unconsolidated soil layer and thin bedrock; （2） thin soil layer and thick bedrock. The rules for ground movement and deformation for different soil layer to bedrock ratios were obtained. On the basis of these rules, a prediction parameter modified model of the influence function was proposed, which is suitable for different values of unconsolidated soil layer thickness. The prediction results were verified using two sets of typical field data.
文摘A new algorithm for symbolic computation of polynomial-type conserved densities for nonlinear evolution systems is presented. The algorithm is implemented in Maple. The improved algorithm is more efficient not only in removing the redundant terms of the genera/form of the conserved densities but also in solving the conserved densities with the associated flux synchronously without using Euler operator. Furthermore, the program conslaw.mpl can be used to determine the preferences for a given parameterized nonlinear evolution systems. The code is tested on several well-known nonlinear evolution equations from the soliton theory.
基金Supported by the National Basic Research Program of China （2010CB226800） the National Natural Science Foundation of China （50904065） the Program for New Century Excellent Talents in University （NCET-09-0728）
文摘About 75% water-inrush accidents in China are caused by geological structure such as faults, therefore, it is necessary to investigate the water-inrush mechanism of faults to provide references for the mining activity above confined water. In this paper, based on the fluid-solid coupling theory, we built the stress-seepage coupling model for rock, then we combined with an example of water-inrush caused by fault, studied the water-inrush mechanism by using the numerical software COMSOL Mutiphysics, analyzed the change rule of shear stress, vertical stress, plastic area and water pressure for stope with a fault, and estimated the water-inrush risk at the different distances between working faces and the fault. The numerical simula- tion results indicate that： （1） the water-inrush risk will grow as the decrease of the distance between working face and the fault; （2） the failure mode of the rock in floor with fault is shear failure; （3） the rock between water-containing fault and working face failure is the reason for water-inrush.
文摘A 3-D numerical simulation with CFX software on physical field of multi-air channel coal burner in rotary kiln was carried out. The effects of various operational and structural parameters on flame feature and temperature distribution were investigated. A thermal measurement was conducted on a rotary kiln (4.5m in diameter, 90m in length) with four-air channel coal burner to determine the boundary conditions and to verify the simulation results. The calculation result shows that the distribution of velocity near burner exit is saddle-like; recirculation zones near nozzle and wall are useful for mixture primary air with coal and high temperature fume. A little central airflow can avoid coal backing up and cool nozzle. Adjusting the ratio of internal airflow to outer airflow is an effective and major means to regulate flame and temperature distribution in sintering region. Large whirlcone angle can intensify disturbution range at flame root to accelerate ignition and mixture. Large coal size can reduce high temperature region and result in coal combusting insufficiently. Too much combustion air will lengthen flame and increase heat loss.
文摘Gas extraction is one of the main measures of control and use of gas of coal mines. At present, the design method is under the experimental period and do not satisfy the need of practice. In this paper, the theory of gas extraction of coal seams based upon Darcy law was studied. Mathematical model of gas extraction of coal seams was established and two kinds of solv- ing approaches based on computer software and linear approximation were given. The rightness and the validities of the model were examined with a practical example. Results obtained can be used to determine and optimize the parameters related etc.
文摘Based on analyzing the overlap appearance of random winding, basic principles of ribbon-free random winding and parametric selections for anti-overlap are discussed. The ribbon-free random winding control system and its related hardware construction as well as its software design are introduced by applying PCC technology to high speed spinning machine of synthetic filament.
基金Natural Science Fund of Hubei Province (No2005ABA266)
文摘A software component must be tested every time it is reused in order to assure quality of component itself and system in which it is to be integrated.So how to increase testability of component has become a key technology in the software engineering community.Here a method is introduced to increase component testability.And meanings of component testability and relative effective ways to increase testability are summarized.Then definitions of component coupling testing criterion,DU-I(Definition-Use Information) and OP-Vs(Observation-Point Values)are given.Base on these,a definition-use table is introduced,which includes DU-A and OP-Vs item,to help component testers to understand and observe interior details about component under test better.Then a framework of testable component based on above DU-table is given.These facilities provide ways to detect errors,observe state variables by observation-points based monitor mechanism.Moreover,above methods are applied to our application developed by ourselves before,and some test cases are generated.Then our method is compared with Orso method and Kan method using the same example,presenting the comparison results.The results illustrate the validity of our method,effectively generating test cases and killing more mutants.
