Within the roadway advanced detection methods, DC resistivity method has an extensive application because of its simple principle and operation. Numerical simulation of the effect of focusing current on advanced detec...Within the roadway advanced detection methods, DC resistivity method has an extensive application because of its simple principle and operation. Numerical simulation of the effect of focusing current on advanced detection was carried out using a three-dimensional finite element method (FEM), meanwhile the electric-field distribution of the point source and nine-point power source were calculated and analyzed with the same electric charges. The results show that the nine-point power source array has a very good ability to focus, and the DC focus method can be used to predict the aquifer abnormality body precisely. By comparing the FEM modelling results with physical simulation results from soil sink, it is shown that the accuracy of forward simulation meets the requirement and the artificial disturbance from roadway has no impact on the DC focus method.展开更多
A numerical simulation of the toroidal shock wave focusing in a co-axial cylindrical shock tube is inves- tigated by using discontinuous Galerkin (DG) finite element method to solve the axisymmetric Euler equations....A numerical simulation of the toroidal shock wave focusing in a co-axial cylindrical shock tube is inves- tigated by using discontinuous Galerkin (DG) finite element method to solve the axisymmetric Euler equations. For validating the numerical method, the shock-tube problem with exact solution is computed, and the computed results agree well with the exact cases. Then, several cases with higher incident Mach numbers varying from 2.0 to 5.0 are simulated. Simulation results show that complicated flow-field structures of toroidal shock wave diffraction, reflection, and focusing in a co-axial cylindrical shock tube can be obtained at different incident Mach numbers and the numerical solutions appear steep gradients near the focusing point, which illustrates the DG method has higher accuracy and better resolution near the discontinuous point. Moreover, the focusing peak pres- sure with different grid scales is compared.展开更多
In this paper, a numerical model is developed based on the High Order Spectral (HOS) method with a non-periodic boundary. A wave maker boundary condition is introduced to simulate wave generation at the incident bou...In this paper, a numerical model is developed based on the High Order Spectral (HOS) method with a non-periodic boundary. A wave maker boundary condition is introduced to simulate wave generation at the incident boundary in the HOS method. Based on the numerical model, the effects of wave parameters, such as the assumed focused amplitude, the central frequency, the frequency bandwidth, the wave amplitude distribution and the directional spreading on the surface elevation of the focused wave, the maximum generated wave crest, and the shifting of the focusing point, are numerically investigated. Especially, the effects of the wave directionality on the focused wave properties are emphasized. The numerical results show that the shifting of the focusing point and the maximum crest of the wave group are dependent on the amplitude of the focused wave, the central frequency, and the wave amplitude distribution type. The wave directionality has a definite effect on multidirectional focused waves. Generally, it can even out the difference between the simulated wave amplitude and the amplitude expected from theory and reduce the shifting of the focusing points, implying that the higher order interaction has an influence on wave focusing, especially for 2D wave. In 3D wave groups, a broader directional spreading weakens the higher nonlinear interactions.展开更多
In September 2013, the Translational Andrology and Urology (FAU) launched a focus issue on“Prostate Cancer”, which was guest-edited by Dr. Jer-Tsong Hsieh and Dr. Ganesh Raj from University of Texas Southwestern M...In September 2013, the Translational Andrology and Urology (FAU) launched a focus issue on“Prostate Cancer”, which was guest-edited by Dr. Jer-Tsong Hsieh and Dr. Ganesh Raj from University of Texas Southwestern Medical Center at Dallas, USA.展开更多
It was advocated that in 21st century, most of software will be developed with benefits of formal methods. The benefits include faults found in earlier stage of software development, automating, checking the certain p...It was advocated that in 21st century, most of software will be developed with benefits of formal methods. The benefits include faults found in earlier stage of software development, automating, checking the certain properties and minimizing rework. In spite of their recognition in academic world and these claimed advantages, formal methods are still not widely used by commercial software industry. The purpose of this research is to promote formal methods for commercial software industry. In this paper we have identified issues in use of formal methods for commercial applications and devised strategies to overcome these difficulties which will provide motivations to use formal methods for commercial applications.展开更多
Sudan Red are the chemosynthesis dyes of series of azo, which are mainly used as coloring additives in ma- nufacturing of some products, such as the wax, the oil-dyes, the petrol, and etc. In the process of food produ...Sudan Red are the chemosynthesis dyes of series of azo, which are mainly used as coloring additives in ma- nufacturing of some products, such as the wax, the oil-dyes, the petrol, and etc. In the process of food production, Sudan Dyes are banned to be used as food dyes in our country.展开更多
Accurate simulation of the horizontal-two-dimension(H2D)focused wave group in deep water requires high accuracy of a numerical model.The two-layer Boussinesq-type model(Liu and Fang,2016;Liu et al.,2018)with the highe...Accurate simulation of the horizontal-two-dimension(H2D)focused wave group in deep water requires high accuracy of a numerical model.The two-layer Boussinesq-type model(Liu and Fang,2016;Liu et al.,2018)with the highest spatial derivative of 2 has high accuracy in both linear and nonlinear properties.Based on the further development of the velocity equations(Liu et al.,2023),the H2D numerical model for water waves is established with the prediction-correction-iteration model in the finite difference method,and a composite fourth-order Adams-Bashforth-Moulton scheme is used for time integration.The wave generation method proposed by Hsiao et al.(2005)is applied and calibrated in this H2D model.The numerical calculations lead to the following three main conclusions:First,compared with the analytical solution of Stokes linear waves,the calculated velocity profiles show higher accuracy by using the improved velocity formulas.Second,the simulations of the focused multidirectional wave group are carried out,and good agreements are found,demonstrating that the present H2D numerical model shows high accuracy in simulating focused multidirectional wave groups,and the effectiveness of the improved velocity formulas is also validated.Furthermore,the velocity profiles throughout the computational domain at the time of maximum wave crest are given.Finally,the FFT method is used to obtain the amplitude with different frequencies for several locations,and the changes of the wavelet energy spectrum at different locations are presented for several cases.展开更多
Tight and unconventional reservoirs have become the focus with the progress of petroleum exploration and development.Micro-fractures in these reservoirs can effectively improve reservoir permeability,and well-develope...Tight and unconventional reservoirs have become the focus with the progress of petroleum exploration and development.Micro-fractures in these reservoirs can effectively improve reservoir permeability,and well-developed micro-fractures can serve to directly improve productivity.Compared with the centered electrical well logging method,the Micro Spherical Focused Logging(MSFL)is more suitable for microfracture identification due to its high resolution and near borehole wall measuring method.In this study,an anisotropic model is used to depict micro-fractured formation.First,a forward model with microfractured formation,borehole,logging instrument and surrounding rock is established.Subsequently,MSFL responses under different micro-fracture porosity,resistivity,dip angle and borehole radius,are calculated based on the finite element method(FEM).Finally,the MSFL responses under different microfracture parameters are analyzed with the response laws clarified.展开更多
基金Project(41174103)supported by the National Natural Science Foundation of ChinaProject(20110162130008)supported by the PhD Program Foundation of Ministry of Education of ChinaProject(2011BAB04B08)supported by the National Key Technology R&D Program during the 12th Five-Year Plan of China
文摘Within the roadway advanced detection methods, DC resistivity method has an extensive application because of its simple principle and operation. Numerical simulation of the effect of focusing current on advanced detection was carried out using a three-dimensional finite element method (FEM), meanwhile the electric-field distribution of the point source and nine-point power source were calculated and analyzed with the same electric charges. The results show that the nine-point power source array has a very good ability to focus, and the DC focus method can be used to predict the aquifer abnormality body precisely. By comparing the FEM modelling results with physical simulation results from soil sink, it is shown that the accuracy of forward simulation meets the requirement and the artificial disturbance from roadway has no impact on the DC focus method.
基金Supported by the National Natural Science Foundation of China(50976072,51106099,10902070)the Leading Academic Discipline Project of Shanghai Municipal Education Commission(J50501)the Science Foundation for the Excellent Youth Scholar of Higher Education of Shanghai(slg09003)~~
文摘A numerical simulation of the toroidal shock wave focusing in a co-axial cylindrical shock tube is inves- tigated by using discontinuous Galerkin (DG) finite element method to solve the axisymmetric Euler equations. For validating the numerical method, the shock-tube problem with exact solution is computed, and the computed results agree well with the exact cases. Then, several cases with higher incident Mach numbers varying from 2.0 to 5.0 are simulated. Simulation results show that complicated flow-field structures of toroidal shock wave diffraction, reflection, and focusing in a co-axial cylindrical shock tube can be obtained at different incident Mach numbers and the numerical solutions appear steep gradients near the focusing point, which illustrates the DG method has higher accuracy and better resolution near the discontinuous point. Moreover, the focusing peak pres- sure with different grid scales is compared.
基金financially supported by the National Natural Science Foundation of China(Grant Nos.51309050 and 51221961)the National Basic Research Program of China(973 Program,Grant Nos.2013CB036101 and 2011CB013703)
文摘In this paper, a numerical model is developed based on the High Order Spectral (HOS) method with a non-periodic boundary. A wave maker boundary condition is introduced to simulate wave generation at the incident boundary in the HOS method. Based on the numerical model, the effects of wave parameters, such as the assumed focused amplitude, the central frequency, the frequency bandwidth, the wave amplitude distribution and the directional spreading on the surface elevation of the focused wave, the maximum generated wave crest, and the shifting of the focusing point, are numerically investigated. Especially, the effects of the wave directionality on the focused wave properties are emphasized. The numerical results show that the shifting of the focusing point and the maximum crest of the wave group are dependent on the amplitude of the focused wave, the central frequency, and the wave amplitude distribution type. The wave directionality has a definite effect on multidirectional focused waves. Generally, it can even out the difference between the simulated wave amplitude and the amplitude expected from theory and reduce the shifting of the focusing points, implying that the higher order interaction has an influence on wave focusing, especially for 2D wave. In 3D wave groups, a broader directional spreading weakens the higher nonlinear interactions.
文摘In September 2013, the Translational Andrology and Urology (FAU) launched a focus issue on“Prostate Cancer”, which was guest-edited by Dr. Jer-Tsong Hsieh and Dr. Ganesh Raj from University of Texas Southwestern Medical Center at Dallas, USA.
文摘It was advocated that in 21st century, most of software will be developed with benefits of formal methods. The benefits include faults found in earlier stage of software development, automating, checking the certain properties and minimizing rework. In spite of their recognition in academic world and these claimed advantages, formal methods are still not widely used by commercial software industry. The purpose of this research is to promote formal methods for commercial software industry. In this paper we have identified issues in use of formal methods for commercial applications and devised strategies to overcome these difficulties which will provide motivations to use formal methods for commercial applications.
文摘Sudan Red are the chemosynthesis dyes of series of azo, which are mainly used as coloring additives in ma- nufacturing of some products, such as the wax, the oil-dyes, the petrol, and etc. In the process of food production, Sudan Dyes are banned to be used as food dyes in our country.
基金financially supported by the National Natural Science Foundation of China(Grant Nos.52171247,51779022,52071057,51709054)the National Key Research and Development Program of China(Grant No.2022YFC3106101)。
文摘Accurate simulation of the horizontal-two-dimension(H2D)focused wave group in deep water requires high accuracy of a numerical model.The two-layer Boussinesq-type model(Liu and Fang,2016;Liu et al.,2018)with the highest spatial derivative of 2 has high accuracy in both linear and nonlinear properties.Based on the further development of the velocity equations(Liu et al.,2023),the H2D numerical model for water waves is established with the prediction-correction-iteration model in the finite difference method,and a composite fourth-order Adams-Bashforth-Moulton scheme is used for time integration.The wave generation method proposed by Hsiao et al.(2005)is applied and calibrated in this H2D model.The numerical calculations lead to the following three main conclusions:First,compared with the analytical solution of Stokes linear waves,the calculated velocity profiles show higher accuracy by using the improved velocity formulas.Second,the simulations of the focused multidirectional wave group are carried out,and good agreements are found,demonstrating that the present H2D numerical model shows high accuracy in simulating focused multidirectional wave groups,and the effectiveness of the improved velocity formulas is also validated.Furthermore,the velocity profiles throughout the computational domain at the time of maximum wave crest are given.Finally,the FFT method is used to obtain the amplitude with different frequencies for several locations,and the changes of the wavelet energy spectrum at different locations are presented for several cases.
基金This research is funded by SINOPEC Group Project P20039-2.
文摘Tight and unconventional reservoirs have become the focus with the progress of petroleum exploration and development.Micro-fractures in these reservoirs can effectively improve reservoir permeability,and well-developed micro-fractures can serve to directly improve productivity.Compared with the centered electrical well logging method,the Micro Spherical Focused Logging(MSFL)is more suitable for microfracture identification due to its high resolution and near borehole wall measuring method.In this study,an anisotropic model is used to depict micro-fractured formation.First,a forward model with microfractured formation,borehole,logging instrument and surrounding rock is established.Subsequently,MSFL responses under different micro-fracture porosity,resistivity,dip angle and borehole radius,are calculated based on the finite element method(FEM).Finally,the MSFL responses under different microfracture parameters are analyzed with the response laws clarified.