The boundary identification and quantitative thickness prediction of channel sand bodies are always difficult in seismic exploration.We present a new method for boundary identification and quantitative thickness predi...The boundary identification and quantitative thickness prediction of channel sand bodies are always difficult in seismic exploration.We present a new method for boundary identification and quantitative thickness prediction of channel sand bodies based on seismic peak attributes in the frequency domain.Using seismic forward modeling of a typical thin channel sand body,a new seismic attribute-the ratio of peak frequency to amplitude was constructed.Theoretical study demonstrated that seismic peak frequency is sensitive to the thickness of the channel sand bodies,while the amplitude attribute is sensitive to the strata lithology.The ratio of the two attributes can highlight the boundaries of the channel sand body.Moreover,the thickness of the thin channel sand bodies can be determined using the relationship between seismic peak frequency and thin layer thickness.Practical applications have demonstrated that the seismic peak frequency attribute can depict the horizontal distribution characteristics of channels very well.The ratio of peak frequency to amplitude attribute can improve the identification ability of channel sand body boundaries.Quantitative prediction and boundary identification of channel sand bodies with seismic peak attributes in the frequency domain are feasible.展开更多
Geophysical inversion under different stabilizers has different descriptions of the target body boundary,especially in complex geological structures.In this paper,we present an extremum boundary inversion algorithm ba...Geophysical inversion under different stabilizers has different descriptions of the target body boundary,especially in complex geological structures.In this paper,we present an extremum boundary inversion algorithm based on different stabilizers for electrical interface recognition.Firstly,we use the smoothest and minimum-support stabilizing functional to study the applicability of adaptive regularization inversion algorithm.Then,an electrical interface recognition method based on different stabilizers is developed by introducing extremum boundary inversion algorithm.The testing shows that the adaptive regularization inversion method does work for different stabilizers and has a low dependence on the initial models.The ratio of the smooth and focusing upper and lower boundaries obtained using the extremum boundary inversion algorithm can clearly demarcate electrical interfaces.We apply the inversion algorithm to the magnetotelluric(MT)data collected from a preselected area of a high-level-waste clay-rock repository site in the Tamusu area.We recognized regional structures with smooth inversion and the local details with focusing inversion and determined the thickness of the target layer combined with the geological and drilling information,which meets the requirement for the site of the high-level waste clay-rock repository.展开更多
By using fixed-point index theory,we study boundary value problems for systems of nonlinear second-order differential equation,and a result on existence and multiplicity of positive solutions is obtained.
By applying fixed point theorem, the existence of positive solution is considered for superlinear semipositone singular m-point boundary value problem -(Lφ)(x)=(p(x)φ′(x))′+q(x)φ(x) and ξi ∈ (0,...By applying fixed point theorem, the existence of positive solution is considered for superlinear semipositone singular m-point boundary value problem -(Lφ)(x)=(p(x)φ′(x))′+q(x)φ(x) and ξi ∈ (0,1)with 0〈ξ1〈ξ2……〈ξm-2〈1,αi ∈ R^+,f ∈C[(0,1)×R^+,R^+],f(x,φ) may be singular at x=0 and x=1,g(x):(0,1)→R is Lebesgue measurable, g may tend to negative infinity and have finitely many singularities.展开更多
Room and pillar sizes are key factors for safe mining and ore recovery in open-stope mining. To investigate the influence of room and pillar configurations on stope stability in highly fractured and weakened areas, an...Room and pillar sizes are key factors for safe mining and ore recovery in open-stope mining. To investigate the influence of room and pillar configurations on stope stability in highly fractured and weakened areas, an orthogonal design with two factors, three levels and nine runs was proposed, followed by three-dimensional numerical simulation using ANSYS and FLAC3~. Results show that surface settlement after excavation is concentrically ringed, and increases with the decrease of pillar width and distances to stope gobs. In the meantime, the ore-control fault at the ore-rock boundary and the fractured argillaceous dolomite with intercalated slate at the hanging wall deteriorate the roof settlement. Additionally, stope stability is challenged due to pillar rheological yield and stress concentration, and both are induced by redistribution of stress and plastic zones after mining. Following an objective function and a constraint function, room and pillar configuration with widths of 14 m and 16 m, respectively, is presented as the optimization for improving the ore recovery rate while maintaining a safe working environment.展开更多
The existence of solutions for second order three-point boundary value problems with nonlinear growth at resonance is studied by using Mawhin continuation theorem. The result shows that theorem 1 and 2 at least have o...The existence of solutions for second order three-point boundary value problems with nonlinear growth at resonance is studied by using Mawhin continuation theorem. The result shows that theorem 1 and 2 at least have one solution in c1[0,1]展开更多
Using a fixed point theorem in cones, the paper consider the existence of positive solutions for a class of second-order m-point boundary value problem. Sufficient conditions to ensure the existence of double positive...Using a fixed point theorem in cones, the paper consider the existence of positive solutions for a class of second-order m-point boundary value problem. Sufficient conditions to ensure the existence of double positive solutions are obtained. The associated Green function of this problem is also given.展开更多
By applying the fixed-point theorem of strict-set-contraction,this paper establishes the existence of one solution or one positive solution to the generalized Sturm-Liouville m-point boundary value problem in Banach s...By applying the fixed-point theorem of strict-set-contraction,this paper establishes the existence of one solution or one positive solution to the generalized Sturm-Liouville m-point boundary value problem in Banach spaces.展开更多
In the paper an inverse boundary value problem for a fourth order elliptic equation with an integral condition of the first kind is investigated. First, the given problem is reduced to an equivalent problem in a certa...In the paper an inverse boundary value problem for a fourth order elliptic equation with an integral condition of the first kind is investigated. First, the given problem is reduced to an equivalent problem in a certain sense. Then, using the Fourier method the equivalent problem is reduced to solving the system of integral equations. The existence and uniqueness of a solution to the system of integral equation is proved by the contraction mapping principle. This solution is also the unique solution to the equivalent problem. Finally, by equivalence, the theorem of existence and uniqueness of a classical solution to the given problem is proved.展开更多
Abstract: In this paper, we study the existence of a solution for fifth-order boundary value problem{u(5)(t)+f(t,u(t),u"(t)=0,0〈t〈1)/u(0)=u'(0)=u'(1)=u"(1)=u(4)(0)=0 Where f ∈ C([0,1] &...Abstract: In this paper, we study the existence of a solution for fifth-order boundary value problem{u(5)(t)+f(t,u(t),u"(t)=0,0〈t〈1)/u(0)=u'(0)=u'(1)=u"(1)=u(4)(0)=0 Where f ∈ C([0,1] × R2, R). By placing certain restrictions on the nonlinear term f, we prove the existence of at least one solution to the boundary value problem with the use of the lower and upper solution method and Schauder fixed-point theorem. The construction of lower or upper solution is also present.ed. Boundary value problems of very similar type are also considered.展开更多
This paper analyzes the stability of milling with variable pitch cutter and tool runout cases characterized by multiple delays,and proposes a new variable-step numerical integration method for efficient and accurate s...This paper analyzes the stability of milling with variable pitch cutter and tool runout cases characterized by multiple delays,and proposes a new variable-step numerical integration method for efficient and accurate stability prediction. The variable-step technique is emphasized here to expand the numerical integration method,especially for the low radial immersion cases with multiple delays. First,the calculation accuracy of the numerical integration method is discussed and the variable-step algorithm is developed for milling stability prediction for single-delay and multiple-delay cases,respectively. The milling stability with variable pitch cutter is analyzed and the result is compared with those predicted with the frequency domain method and the improved full-discretization method. The influence of the runout effect on the stability boundary is investigated by the presented method. The numerical simulation shows that the cutter runout effect increases the stability boundary,and the increasing stability limit is verified by the milling chatter experimental results in the previous research. The numerical and experiment results verify the validity of the proposed method.展开更多
This paper proves a Filippov type existence theorem for solutions of a boundary valueproblem for a Sturm-Liouville type differential inclusion defined by a nonconvex set-valued map.Themethod consists in application of...This paper proves a Filippov type existence theorem for solutions of a boundary valueproblem for a Sturm-Liouville type differential inclusion defined by a nonconvex set-valued map.Themethod consists in application of the contraction principle in the space of selections of the set-valuedmap instead of the space of solutions.展开更多
This paper describes the numerical simulation of unsteady flows due to incoming wakes and/or varying back pressure,The solution method is based upon the one-step finite-volume TVD Lax-Wendroff scheme.Dual time-step ap...This paper describes the numerical simulation of unsteady flows due to incoming wakes and/or varying back pressure,The solution method is based upon the one-step finite-volume TVD Lax-Wendroff scheme.Dual time-step approach and multigrid algorithm are adopted to improve the computational efficiency of the baseline scheme.Numerical results for the transonic unsteady flow in a channel bump and the unsteady flow in a flat plate cascade and the VKI cascade are presented.展开更多
In the present study, numerical simulations were conducted on thermocapillary convection in floating half zones of 5 cSt silicone oil of different scales in comparison with the experimental studies in the microgravity...In the present study, numerical simulations were conducted on thermocapillary convection in floating half zones of 5 cSt silicone oil of different scales in comparison with the experimental studies in the microgravity conditions. The effect of heating rate on the marginal instability boundaries is indicated as a possible explanation for the significant quantitative discrepancies between the experimental results in the terrestrial conditions and in the microgravity conditions.展开更多
This paper is set in the high-order finite-difference discretization of the Reynolds-averaged Navier-Stokes(RANS)equations,which are coupled with the turbulence model equations.Three alternative scale-providing variab...This paper is set in the high-order finite-difference discretization of the Reynolds-averaged Navier-Stokes(RANS)equations,which are coupled with the turbulence model equations.Three alternative scale-providing variables for the specific dissipation rate(o)are implemented in the framework of the Reynolds stress model(RSM)for improving its robustness.Specifically,g(=1/√ω)has natural boundary conditions and reduced spatial gradients,and a new numerical constraint is imposed on itω(=lnω)can preserve positivity and also has reduced spatial gradients;the eddy viscosity v,also has natural boundary conditions and its equation is improved in this work.The solution polynomials of the mean-flow and turbulence-model equations are both reconstructed by the weighted compact nonlinear scheme(WCNS).Moreover,several numerical techniques are introduced to improve the numerical stability of the equation system.A range of canonical as well as industrial turbulent flows are simulated to assess the accuracy and robustness of the scale-transformed models.Numerical results show that the scale-transformed models have significantly improved robustness compared to the w model and still keep the characteristics of RSM.Therefore,the high-order discretization of the RANS and RSM equations,which number 12 in total,can be successfully achieved.展开更多
基金supported by National Key Science and Technology Special Projects (Grant No.2008ZX05000-004)CNPC Key S and T Special Projects (Grant No.2008E-0610-10)
文摘The boundary identification and quantitative thickness prediction of channel sand bodies are always difficult in seismic exploration.We present a new method for boundary identification and quantitative thickness prediction of channel sand bodies based on seismic peak attributes in the frequency domain.Using seismic forward modeling of a typical thin channel sand body,a new seismic attribute-the ratio of peak frequency to amplitude was constructed.Theoretical study demonstrated that seismic peak frequency is sensitive to the thickness of the channel sand bodies,while the amplitude attribute is sensitive to the strata lithology.The ratio of the two attributes can highlight the boundaries of the channel sand body.Moreover,the thickness of the thin channel sand bodies can be determined using the relationship between seismic peak frequency and thin layer thickness.Practical applications have demonstrated that the seismic peak frequency attribute can depict the horizontal distribution characteristics of channels very well.The ratio of peak frequency to amplitude attribute can improve the identification ability of channel sand body boundaries.Quantitative prediction and boundary identification of channel sand bodies with seismic peak attributes in the frequency domain are feasible.
基金supported by the National Natural Science Foundation of China(Nos.41604104,41674077 and 41404057)PRC High-level Radioactive Waste Geological Disposal Project([2014] No.1578)+2 种基金Open Fund of State Key Laboratory of Marine Geology(Tongji University)(MGK1704)Jiangxi Province Youth Science Fund(No.20171BAB213031)Scientific Research Starting Foundation for Doctors of East China University of Technology(DHBK201403)
文摘Geophysical inversion under different stabilizers has different descriptions of the target body boundary,especially in complex geological structures.In this paper,we present an extremum boundary inversion algorithm based on different stabilizers for electrical interface recognition.Firstly,we use the smoothest and minimum-support stabilizing functional to study the applicability of adaptive regularization inversion algorithm.Then,an electrical interface recognition method based on different stabilizers is developed by introducing extremum boundary inversion algorithm.The testing shows that the adaptive regularization inversion method does work for different stabilizers and has a low dependence on the initial models.The ratio of the smooth and focusing upper and lower boundaries obtained using the extremum boundary inversion algorithm can clearly demarcate electrical interfaces.We apply the inversion algorithm to the magnetotelluric(MT)data collected from a preselected area of a high-level-waste clay-rock repository site in the Tamusu area.We recognized regional structures with smooth inversion and the local details with focusing inversion and determined the thickness of the target layer combined with the geological and drilling information,which meets the requirement for the site of the high-level waste clay-rock repository.
基金Sponsored by the NSF of Anhui Provence(2005kj031ZD,050460103)Supported by the Teaching and Research Award Program for Excellent Teachers in Higher Education Institutions of Anhui Provence and the Key NSF of Education Ministry of China(207047)
文摘By using fixed-point index theory,we study boundary value problems for systems of nonlinear second-order differential equation,and a result on existence and multiplicity of positive solutions is obtained.
基金Foundation item: Supported by the National Natural Science Foundation of China(10671167) Supported by the Research Foundation of Liaocheng University(31805)
文摘By applying fixed point theorem, the existence of positive solution is considered for superlinear semipositone singular m-point boundary value problem -(Lφ)(x)=(p(x)φ′(x))′+q(x)φ(x) and ξi ∈ (0,1)with 0〈ξ1〈ξ2……〈ξm-2〈1,αi ∈ R^+,f ∈C[(0,1)×R^+,R^+],f(x,φ) may be singular at x=0 and x=1,g(x):(0,1)→R is Lebesgue measurable, g may tend to negative infinity and have finitely many singularities.
基金Projects(50934002,51074013,51104100)supported by the National Natural Science Foundation of ChinaProject(IRT0950)supported by the Program for Changjiang Scholars and Innovative Research Team in University of China
文摘Room and pillar sizes are key factors for safe mining and ore recovery in open-stope mining. To investigate the influence of room and pillar configurations on stope stability in highly fractured and weakened areas, an orthogonal design with two factors, three levels and nine runs was proposed, followed by three-dimensional numerical simulation using ANSYS and FLAC3~. Results show that surface settlement after excavation is concentrically ringed, and increases with the decrease of pillar width and distances to stope gobs. In the meantime, the ore-control fault at the ore-rock boundary and the fractured argillaceous dolomite with intercalated slate at the hanging wall deteriorate the roof settlement. Additionally, stope stability is challenged due to pillar rheological yield and stress concentration, and both are induced by redistribution of stress and plastic zones after mining. Following an objective function and a constraint function, room and pillar configuration with widths of 14 m and 16 m, respectively, is presented as the optimization for improving the ore recovery rate while maintaining a safe working environment.
文摘The existence of solutions for second order three-point boundary value problems with nonlinear growth at resonance is studied by using Mawhin continuation theorem. The result shows that theorem 1 and 2 at least have one solution in c1[0,1]
文摘Using a fixed point theorem in cones, the paper consider the existence of positive solutions for a class of second-order m-point boundary value problem. Sufficient conditions to ensure the existence of double positive solutions are obtained. The associated Green function of this problem is also given.
基金Supported by the Research Project of Bozhou Teacher’s College(BSKY0805)Supported by the Natural Science Research Project of Anhui Province(KJ2009B093)
文摘By applying the fixed-point theorem of strict-set-contraction,this paper establishes the existence of one solution or one positive solution to the generalized Sturm-Liouville m-point boundary value problem in Banach spaces.
文摘In the paper an inverse boundary value problem for a fourth order elliptic equation with an integral condition of the first kind is investigated. First, the given problem is reduced to an equivalent problem in a certain sense. Then, using the Fourier method the equivalent problem is reduced to solving the system of integral equations. The existence and uniqueness of a solution to the system of integral equation is proved by the contraction mapping principle. This solution is also the unique solution to the equivalent problem. Finally, by equivalence, the theorem of existence and uniqueness of a classical solution to the given problem is proved.
文摘Abstract: In this paper, we study the existence of a solution for fifth-order boundary value problem{u(5)(t)+f(t,u(t),u"(t)=0,0〈t〈1)/u(0)=u'(0)=u'(1)=u"(1)=u(4)(0)=0 Where f ∈ C([0,1] × R2, R). By placing certain restrictions on the nonlinear term f, we prove the existence of at least one solution to the boundary value problem with the use of the lower and upper solution method and Schauder fixed-point theorem. The construction of lower or upper solution is also present.ed. Boundary value problems of very similar type are also considered.
基金supported by the National Key Basic Research Program (Grant No. 2011CB706804)the National Natural Science Foundation of China (Grant No. 50835004)the Ministry of Science and Technology of China (Grant No. 2010ZX04016-012)
文摘This paper analyzes the stability of milling with variable pitch cutter and tool runout cases characterized by multiple delays,and proposes a new variable-step numerical integration method for efficient and accurate stability prediction. The variable-step technique is emphasized here to expand the numerical integration method,especially for the low radial immersion cases with multiple delays. First,the calculation accuracy of the numerical integration method is discussed and the variable-step algorithm is developed for milling stability prediction for single-delay and multiple-delay cases,respectively. The milling stability with variable pitch cutter is analyzed and the result is compared with those predicted with the frequency domain method and the improved full-discretization method. The influence of the runout effect on the stability boundary is investigated by the presented method. The numerical simulation shows that the cutter runout effect increases the stability boundary,and the increasing stability limit is verified by the milling chatter experimental results in the previous research. The numerical and experiment results verify the validity of the proposed method.
文摘This paper proves a Filippov type existence theorem for solutions of a boundary valueproblem for a Sturm-Liouville type differential inclusion defined by a nonconvex set-valued map.Themethod consists in application of the contraction principle in the space of selections of the set-valuedmap instead of the space of solutions.
文摘This paper describes the numerical simulation of unsteady flows due to incoming wakes and/or varying back pressure,The solution method is based upon the one-step finite-volume TVD Lax-Wendroff scheme.Dual time-step approach and multigrid algorithm are adopted to improve the computational efficiency of the baseline scheme.Numerical results for the transonic unsteady flow in a channel bump and the unsteady flow in a flat plate cascade and the VKI cascade are presented.
基金supported by the National Natural Science Foundation of China (Grant Nos. 11032011 and 10872202)
文摘In the present study, numerical simulations were conducted on thermocapillary convection in floating half zones of 5 cSt silicone oil of different scales in comparison with the experimental studies in the microgravity conditions. The effect of heating rate on the marginal instability boundaries is indicated as a possible explanation for the significant quantitative discrepancies between the experimental results in the terrestrial conditions and in the microgravity conditions.
基金supported by the National Natural Science Foundation of China(Grant No.12002379)the Natural Science Foundation of Hunan Province in China(Grant No.2020JJ5648)+1 种基金the Scientific Research Project of National University of Defense Technology(Grant No.ZK20-43)the National Key Project(Grant No.GJXM92579).
文摘This paper is set in the high-order finite-difference discretization of the Reynolds-averaged Navier-Stokes(RANS)equations,which are coupled with the turbulence model equations.Three alternative scale-providing variables for the specific dissipation rate(o)are implemented in the framework of the Reynolds stress model(RSM)for improving its robustness.Specifically,g(=1/√ω)has natural boundary conditions and reduced spatial gradients,and a new numerical constraint is imposed on itω(=lnω)can preserve positivity and also has reduced spatial gradients;the eddy viscosity v,also has natural boundary conditions and its equation is improved in this work.The solution polynomials of the mean-flow and turbulence-model equations are both reconstructed by the weighted compact nonlinear scheme(WCNS).Moreover,several numerical techniques are introduced to improve the numerical stability of the equation system.A range of canonical as well as industrial turbulent flows are simulated to assess the accuracy and robustness of the scale-transformed models.Numerical results show that the scale-transformed models have significantly improved robustness compared to the w model and still keep the characteristics of RSM.Therefore,the high-order discretization of the RANS and RSM equations,which number 12 in total,can be successfully achieved.