Rock mass classification systems are the very important part for underground projects and rock mass rating(RMR) is one of the most commonly applied classification systems in numerous civil and mining projects. The typ...Rock mass classification systems are the very important part for underground projects and rock mass rating(RMR) is one of the most commonly applied classification systems in numerous civil and mining projects. The type of rock mass consisting of an interbedding of strong and weak layers poses difficulties and uncertainties for determining the RMR. For this, the present paper uses the concept of rock bolt supporting factor(RSF) for modification of RMR system to be used in such rock mass types. The proposed method also demonstrates the importance of rock bolting practice in such rock masses. The geological parameters of the Shemshak Formation of the Alborz Tunnel in Iran are used as case examples for development of the theoretical approach.展开更多
In this paper we study the interaction of strong and weak singularities for hyperbolic system of conservation laws in multidimensional space. Under the assumption of transversal intersect of the shock front with the b...In this paper we study the interaction of strong and weak singularities for hyperbolic system of conservation laws in multidimensional space. Under the assumption of transversal intersect of the shock front with the bicharacteristics bearing weak singularities we proved a theorem on regularity propagation across the shock front.展开更多
In this work, we will discuss Caristi’s fixed point theorem for mapping results introduced in the setting of normed spaces. This work is a generalization of the classical Caristi’s fixed point theorem. Also, Caristi...In this work, we will discuss Caristi’s fixed point theorem for mapping results introduced in the setting of normed spaces. This work is a generalization of the classical Caristi’s fixed point theorem. Also, Caristi’s type of fixed points theorem was partial discussed in Reich, Mizoguchi and Takahashi’s and Amini-Harandi’s results, we developed ideas that many known fixed point theorems can easily be derived from the Caristi theorem.展开更多
This paper aims at treating a study of Banach fixed point theorem for mapping results that introduced in the setting of normed space. The classical Banach fixed point theorem is a generalization of this work. A fixed ...This paper aims at treating a study of Banach fixed point theorem for mapping results that introduced in the setting of normed space. The classical Banach fixed point theorem is a generalization of this work. A fixed point theory is a beautiful mixture of Mathematical analysis to explain some conditions in which maps give excellent solutions. Here later many mathematicians used this fixed point theory to establish their results, see for instance, Picard-Lindel of Theorem, The Picard theorem, Implicit function theorem etc. Also, we developed ideas that many of known fixed point theorems can easily be derived from the Banach theorem. It extends some recent works on the extension of Banach contraction principle to metric space with norm spaces.展开更多
The presented circular current loop model reveals that charged fundamental particles such as the electron consist essentially of electric and magnetic energy. The magnetic properties have the same order of magnitude a...The presented circular current loop model reveals that charged fundamental particles such as the electron consist essentially of electric and magnetic energy. The magnetic properties have the same order of magnitude as the electric ones. The electromagnetic field energy is the origin of the inertial mass. The Higgs boson, existing or not, is not needed to “explain” particle mass. The magnetic moment of fundamental particles is not anomalous! The “anomaly” indicates the existence of a small additional amount of kinetic energy. Thus, fundamental particles are not purely field-like such as photons and not (essentially) mass-like such as atoms, they represent a special kind of matter in between. Their kinetic energy is obviously not due to any relativistic effect but is related to an independent physical law that provides, together with the magnetic energy, the angular momentum exactly to be ħ/2. Fundamental particles are (at least) two-dimensional. In the simplest case their core consists of two concentric, nearly identical current loops. Their relative design details, the “anomaly” factor, and the rotational velocity of the uniformly distributed elementary charge follow from the stability condition, i.e. electric and magnetic force balance, and do not depend on the particle’s rest mass! Fundamental particles are objects of classical physics. Their magnetic forces are the true origin of the weak and strong nuclear interactions. For their explanation bosons and gluons are not needed.展开更多
In the past, researchers have applied Bender’s decomposition to distribution problem and used feasibility constraint to speed up the performance of Bender’s decomposition. Further, the application of Branch and Boun...In the past, researchers have applied Bender’s decomposition to distribution problem and used feasibility constraint to speed up the performance of Bender’s decomposition. Further, the application of Branch and Bound to single-stage multi-commodity single-period warehouse location problem (SSMCSPWLP) with strong constraints has shown that they are more effective. It was also shown in the previous research (in the context of Branch and Bound Methodology) that hybrid formulation for the single-stage single-period multi-commodity warehouse location problem yielded superior results. In this paper we apply Benders’ decomposition to strong and weak formulations of single-stage multi-commodity multi-period warehouse location problem (SSMCMPWLP). As suggested in the previous literature we put feasibility constraints in the pure integer sub- problem to speed up the performance of Benders’ decomposition. We also develop an additional cut (constraint that is again added to pure integer sub-problem) and show that it further speeded up Benders’ Decomposition. This research led to the possibility of applying Benders’ Decomposition to the hybrid formulation of SSMCMPWLP in future.展开更多
Based on the difference of wave impedance between sand layer and surrounding rock, the seismic wave numerical simulation software, Tesseral-2D is used to establish the sandstone formation model containing water, oil a...Based on the difference of wave impedance between sand layer and surrounding rock, the seismic wave numerical simulation software, Tesseral-2D is used to establish the sandstone formation model containing water, oil and gas respectively, and the three models are treated by post-stack time offset under the conditions of defined channel spacing, wavelet frequency and wave velocity of different rock mass, and the root means square amplitude difference attribute profile under the condition of water-filled oil-filled and gas-filled oil-filled is obtained. From this, it can be obtained that after oil-gas substitution occurs in weak non-mean reservoirs, the root-mean-square amplitude difference from the reservoir to the lower part of the reservoir experiences a mutation process from a positive maximum to a negative maximum, while after oil-water substitution, the root-mean-square amplitude difference from the reservoir to the lower part of the reservoir experiences a mutation process from zero to a positive maximum. For a strong heterogeneous reservoir. Therefore, for Weak inhomogeneous media similar to tight sandstone, the root-mean-square amplitude difference attribute can be used to detect the distribution of fluid in the actual gas drive or water drive oil recovery process.展开更多
Motivated by the seismic damage observed to reinforced concrete (RC) frame structures during the Wenchuan earthquake, the effect of infill walls on the seismic performance of a RC frame is studied in this paper. Inf...Motivated by the seismic damage observed to reinforced concrete (RC) frame structures during the Wenchuan earthquake, the effect of infill walls on the seismic performance of a RC frame is studied in this paper. Infill walls, especially those made of masonry, offer some amount of stiffness and strength. Therefore, the effect of infill walls should be considered during the design of RC frames. In this study, an analysis of the recorded ground motion in the Wenehuan earthquake is performed. Then, a numerical model is developed to simulate the infill walls. Finally, nonlinear dynamic analysis is carried out on a RC frame with and without infill walls, respectively, by using CANNY software. Through a comparative analysis, the following conclusions can be drawn. The failure mode of the frame with infill walls is in accordance with the seismic damage failure pattern, which is strong beam and weak column mode. This indicates that the infill walls change the failure pattern of the frame, and it is necessary to consider them in the seismic design of the RC frame. The numerical model presented in this paper can effectively simulate the effect of infill walls on the RC frame.展开更多
For a double array of independent random elements {Vmn,m ≥ 1,n ≥ 1} in a real separable Banach space,conditions are provided under which the weak and strong laws of large numbers for the double sums mi=1 nj=1Vij,m ...For a double array of independent random elements {Vmn,m ≥ 1,n ≥ 1} in a real separable Banach space,conditions are provided under which the weak and strong laws of large numbers for the double sums mi=1 nj=1Vij,m ≥ 1,n ≥ 1 are equivalent.Both the identically distributed and the nonidentically distributed cases are treated.In the main theorems,no assumptions are made concerning the geometry of the underlying Banach space.These theorems are applied to obtain Kolmogorov,Brunk–Chung,and Marcinkiewicz–Zygmund type strong laws of large numbers for double sums in Rademacher type p(1 ≤ p ≤ 2) Banach spaces.展开更多
Hierarchical porous carbon co-doped with heterogeneous atoms has attracted much attention thanks to sizable internal void space accommodating electrolyte,high-density microporous structure physically con-fining polysu...Hierarchical porous carbon co-doped with heterogeneous atoms has attracted much attention thanks to sizable internal void space accommodating electrolyte,high-density microporous structure physically con-fining polysulfides(LPS),and heterogeneous atoms serving as active sites to capture LPS.However,solely relying on carbon material defects to capture LPS proves ineffective.Hence,metal compounds must be introduced to chemisorb LPS.Herein,cobalt ions are in-situ grown on the polydopamine layer coated on the surface of biomass-derived S,N,P co-doped hierarchical porous carbon(SNP-PC).Then a layer of nitrogen-doped porous carbon(MPC)dotted with CoSe nanoparticles is acquired by selenizing.Thus,a strong-polar/weak-polar composite material of SNP-PC studded with CoSe nanoparticles is obtained(SNP-PC@MPC@CoSe).Button cells assembled with SNP-PC@MPC@CoSe-modified separator enable superb long-cycle stability and satisfactory rate performance.An excellent rate capacity of 796 mAh g^(−1)at a high current rate of 4 C with an ultra-low capacity fading of 0.06%over 700 cycles can be acquired.More impressively,even in a harsh test condition of 5.65 mg cm^(−2)sulfur loading and 4μL mg^(−1)ratio of electrolyte to active materials,the battery can still display a specific capacity of 980 mAh g^(−1)(area capacity of∼5.54 mAh cm^(−2))at 0.1 C.This work provides a promising route toward high-performance Li-S batteries.展开更多
The quasi-neutral limit of the Navier-Stokes-Poisson system modeling a viscous plasma with vanishing viscosity coefficients in the half-space■is rigorously proved under a Navier-slip boundary condition for velocity a...The quasi-neutral limit of the Navier-Stokes-Poisson system modeling a viscous plasma with vanishing viscosity coefficients in the half-space■is rigorously proved under a Navier-slip boundary condition for velocity and the Dirichlet boundary condition for electric potential.This is achieved by establishing the nonlinear stability of the approximation solutions involving the strong boundary layer in density and electric potential,which comes from the breakdown of the quasi-neutrality near the boundary,and dealing with the difficulty of the interaction of this strong boundary layer with the weak boundary layer of the velocity field.展开更多
The industry-standard constrained pressure residual(CPR)algorithm is often able to effectively improve the robustness behavior and the convergence speed of linear iterations for isothermal reservoir simulation.In this...The industry-standard constrained pressure residual(CPR)algorithm is often able to effectively improve the robustness behavior and the convergence speed of linear iterations for isothermal reservoir simulation.In this paper,we present and study an improved extension of CPR to the constrained pressure-temperature residual(CPTR)version for non-isothermal reservoir problems in heterogeneous porous media.In the proposed preconditioner,the corresponding approximations for the inverse of matrices are computed under a domain decomposition framework by using the restricted additive Schwarz(RAS)algorithm,to equally deal with the coupled thermalpressure-saturation reservoir system and highly exploit the parallelism of supercomputer platforms.Moreover,we introduce and develop a family of multilevel CPTR preconditioners with suitable coarse grid corrections,to further improve the applicability of this two-stage preconditioner for large-scale computation.Numerical results for strong heterogeneous flow problems show that the new approach can dramatically improve the convergence of linear iterations,and demonstrate the superiority of CPTR over the commonly used RAS preconditioners.The parallel scalability of the non-isothermal reservoir simulator is also studied versus a supercomputer with tens of thousands of processors.展开更多
文摘Rock mass classification systems are the very important part for underground projects and rock mass rating(RMR) is one of the most commonly applied classification systems in numerous civil and mining projects. The type of rock mass consisting of an interbedding of strong and weak layers poses difficulties and uncertainties for determining the RMR. For this, the present paper uses the concept of rock bolt supporting factor(RSF) for modification of RMR system to be used in such rock mass types. The proposed method also demonstrates the importance of rock bolting practice in such rock masses. The geological parameters of the Shemshak Formation of the Alborz Tunnel in Iran are used as case examples for development of the theoretical approach.
文摘In this paper we study the interaction of strong and weak singularities for hyperbolic system of conservation laws in multidimensional space. Under the assumption of transversal intersect of the shock front with the bicharacteristics bearing weak singularities we proved a theorem on regularity propagation across the shock front.
文摘In this work, we will discuss Caristi’s fixed point theorem for mapping results introduced in the setting of normed spaces. This work is a generalization of the classical Caristi’s fixed point theorem. Also, Caristi’s type of fixed points theorem was partial discussed in Reich, Mizoguchi and Takahashi’s and Amini-Harandi’s results, we developed ideas that many known fixed point theorems can easily be derived from the Caristi theorem.
文摘This paper aims at treating a study of Banach fixed point theorem for mapping results that introduced in the setting of normed space. The classical Banach fixed point theorem is a generalization of this work. A fixed point theory is a beautiful mixture of Mathematical analysis to explain some conditions in which maps give excellent solutions. Here later many mathematicians used this fixed point theory to establish their results, see for instance, Picard-Lindel of Theorem, The Picard theorem, Implicit function theorem etc. Also, we developed ideas that many of known fixed point theorems can easily be derived from the Banach theorem. It extends some recent works on the extension of Banach contraction principle to metric space with norm spaces.
文摘The presented circular current loop model reveals that charged fundamental particles such as the electron consist essentially of electric and magnetic energy. The magnetic properties have the same order of magnitude as the electric ones. The electromagnetic field energy is the origin of the inertial mass. The Higgs boson, existing or not, is not needed to “explain” particle mass. The magnetic moment of fundamental particles is not anomalous! The “anomaly” indicates the existence of a small additional amount of kinetic energy. Thus, fundamental particles are not purely field-like such as photons and not (essentially) mass-like such as atoms, they represent a special kind of matter in between. Their kinetic energy is obviously not due to any relativistic effect but is related to an independent physical law that provides, together with the magnetic energy, the angular momentum exactly to be ħ/2. Fundamental particles are (at least) two-dimensional. In the simplest case their core consists of two concentric, nearly identical current loops. Their relative design details, the “anomaly” factor, and the rotational velocity of the uniformly distributed elementary charge follow from the stability condition, i.e. electric and magnetic force balance, and do not depend on the particle’s rest mass! Fundamental particles are objects of classical physics. Their magnetic forces are the true origin of the weak and strong nuclear interactions. For their explanation bosons and gluons are not needed.
文摘In the past, researchers have applied Bender’s decomposition to distribution problem and used feasibility constraint to speed up the performance of Bender’s decomposition. Further, the application of Branch and Bound to single-stage multi-commodity single-period warehouse location problem (SSMCSPWLP) with strong constraints has shown that they are more effective. It was also shown in the previous research (in the context of Branch and Bound Methodology) that hybrid formulation for the single-stage single-period multi-commodity warehouse location problem yielded superior results. In this paper we apply Benders’ decomposition to strong and weak formulations of single-stage multi-commodity multi-period warehouse location problem (SSMCMPWLP). As suggested in the previous literature we put feasibility constraints in the pure integer sub- problem to speed up the performance of Benders’ decomposition. We also develop an additional cut (constraint that is again added to pure integer sub-problem) and show that it further speeded up Benders’ Decomposition. This research led to the possibility of applying Benders’ Decomposition to the hybrid formulation of SSMCMPWLP in future.
文摘Based on the difference of wave impedance between sand layer and surrounding rock, the seismic wave numerical simulation software, Tesseral-2D is used to establish the sandstone formation model containing water, oil and gas respectively, and the three models are treated by post-stack time offset under the conditions of defined channel spacing, wavelet frequency and wave velocity of different rock mass, and the root means square amplitude difference attribute profile under the condition of water-filled oil-filled and gas-filled oil-filled is obtained. From this, it can be obtained that after oil-gas substitution occurs in weak non-mean reservoirs, the root-mean-square amplitude difference from the reservoir to the lower part of the reservoir experiences a mutation process from a positive maximum to a negative maximum, while after oil-water substitution, the root-mean-square amplitude difference from the reservoir to the lower part of the reservoir experiences a mutation process from zero to a positive maximum. For a strong heterogeneous reservoir. Therefore, for Weak inhomogeneous media similar to tight sandstone, the root-mean-square amplitude difference attribute can be used to detect the distribution of fluid in the actual gas drive or water drive oil recovery process.
基金the partial financial support from Kwang-Hua Fund for College of Civil Engineering,Tongji Universitythe National Natural Science Foundation of China(Grant No.51078274,51021140006)
文摘Motivated by the seismic damage observed to reinforced concrete (RC) frame structures during the Wenchuan earthquake, the effect of infill walls on the seismic performance of a RC frame is studied in this paper. Infill walls, especially those made of masonry, offer some amount of stiffness and strength. Therefore, the effect of infill walls should be considered during the design of RC frames. In this study, an analysis of the recorded ground motion in the Wenehuan earthquake is performed. Then, a numerical model is developed to simulate the infill walls. Finally, nonlinear dynamic analysis is carried out on a RC frame with and without infill walls, respectively, by using CANNY software. Through a comparative analysis, the following conclusions can be drawn. The failure mode of the frame with infill walls is in accordance with the seismic damage failure pattern, which is strong beam and weak column mode. This indicates that the infill walls change the failure pattern of the frame, and it is necessary to consider them in the seismic design of the RC frame. The numerical model presented in this paper can effectively simulate the effect of infill walls on the RC frame.
基金supported by the Vietnam Institute for Advanced Study in Mathematics(VIASM)the Vietnam National Foundation for Sciences and Technology Development NAFOSTED(Grant No.101.01.2012.13)supported by NAFOSTED(Grant No.101.03.2012.17)
文摘For a double array of independent random elements {Vmn,m ≥ 1,n ≥ 1} in a real separable Banach space,conditions are provided under which the weak and strong laws of large numbers for the double sums mi=1 nj=1Vij,m ≥ 1,n ≥ 1 are equivalent.Both the identically distributed and the nonidentically distributed cases are treated.In the main theorems,no assumptions are made concerning the geometry of the underlying Banach space.These theorems are applied to obtain Kolmogorov,Brunk–Chung,and Marcinkiewicz–Zygmund type strong laws of large numbers for double sums in Rademacher type p(1 ≤ p ≤ 2) Banach spaces.
基金supported by the National Natural Science Foundation of China(No.52003110)the Natural Science Foundation of Jiangxi Province(Nos.20202ACB202002,20202ACB214002).
文摘Hierarchical porous carbon co-doped with heterogeneous atoms has attracted much attention thanks to sizable internal void space accommodating electrolyte,high-density microporous structure physically con-fining polysulfides(LPS),and heterogeneous atoms serving as active sites to capture LPS.However,solely relying on carbon material defects to capture LPS proves ineffective.Hence,metal compounds must be introduced to chemisorb LPS.Herein,cobalt ions are in-situ grown on the polydopamine layer coated on the surface of biomass-derived S,N,P co-doped hierarchical porous carbon(SNP-PC).Then a layer of nitrogen-doped porous carbon(MPC)dotted with CoSe nanoparticles is acquired by selenizing.Thus,a strong-polar/weak-polar composite material of SNP-PC studded with CoSe nanoparticles is obtained(SNP-PC@MPC@CoSe).Button cells assembled with SNP-PC@MPC@CoSe-modified separator enable superb long-cycle stability and satisfactory rate performance.An excellent rate capacity of 796 mAh g^(−1)at a high current rate of 4 C with an ultra-low capacity fading of 0.06%over 700 cycles can be acquired.More impressively,even in a harsh test condition of 5.65 mg cm^(−2)sulfur loading and 4μL mg^(−1)ratio of electrolyte to active materials,the battery can still display a specific capacity of 980 mAh g^(−1)(area capacity of∼5.54 mAh cm^(−2))at 0.1 C.This work provides a promising route toward high-performance Li-S batteries.
基金supported by National Natural Science Foundation of China(Grant Nos.12131007 and 12070144).supported by National Natural Science Foundation of China(Grant No.12001506)supported by a General Research Fund of Research Grants Council(Hong Kong)(Grant No.11306117)+1 种基金Natural Science Foundation of Shandong Province(Grant No.ZR2020QA014)supported by the Israel Science Foundation-National Natural Science Foundation of China Joint Research Program(Grant No.11761141008)。
文摘The quasi-neutral limit of the Navier-Stokes-Poisson system modeling a viscous plasma with vanishing viscosity coefficients in the half-space■is rigorously proved under a Navier-slip boundary condition for velocity and the Dirichlet boundary condition for electric potential.This is achieved by establishing the nonlinear stability of the approximation solutions involving the strong boundary layer in density and electric potential,which comes from the breakdown of the quasi-neutrality near the boundary,and dealing with the difficulty of the interaction of this strong boundary layer with the weak boundary layer of the velocity field.
基金supported by the National Natural Science Foundation of China(No.12131002 and No.11971006)Shenzhen Science and Technology Program(No.JCYJ20210324130801003)+2 种基金Guangdong Basic and Applied Basic Research Foundation(No.2022A1515010147)Changsha science and technology bureau(No.kh2301001)The fourth author also greatly thanks for the support from King Abdullah University of Science and Technology(KAUST)through the grants BAS/1/1351-01 and URF/1/4074-01.
文摘The industry-standard constrained pressure residual(CPR)algorithm is often able to effectively improve the robustness behavior and the convergence speed of linear iterations for isothermal reservoir simulation.In this paper,we present and study an improved extension of CPR to the constrained pressure-temperature residual(CPTR)version for non-isothermal reservoir problems in heterogeneous porous media.In the proposed preconditioner,the corresponding approximations for the inverse of matrices are computed under a domain decomposition framework by using the restricted additive Schwarz(RAS)algorithm,to equally deal with the coupled thermalpressure-saturation reservoir system and highly exploit the parallelism of supercomputer platforms.Moreover,we introduce and develop a family of multilevel CPTR preconditioners with suitable coarse grid corrections,to further improve the applicability of this two-stage preconditioner for large-scale computation.Numerical results for strong heterogeneous flow problems show that the new approach can dramatically improve the convergence of linear iterations,and demonstrate the superiority of CPTR over the commonly used RAS preconditioners.The parallel scalability of the non-isothermal reservoir simulator is also studied versus a supercomputer with tens of thousands of processors.