This paper is concerned with a class of degenerate and nondegenerate stable diffusion models.By using the upper and lower solution method and Schauder fixed point principle,the author studies the existence of positive...This paper is concerned with a class of degenerate and nondegenerate stable diffusion models.By using the upper and lower solution method and Schauder fixed point principle,the author studies the existence of positive solutions for these stable_diffusion models under some conditions.展开更多
Minor self conjugate (msc) and skewpositive semidefinite (ssd) solutions to the system of matrix equations over skew fields [A mn X nn =A mn ,B sn X nn =O sn ] are considered. Necessary and su...Minor self conjugate (msc) and skewpositive semidefinite (ssd) solutions to the system of matrix equations over skew fields [A mn X nn =A mn ,B sn X nn =O sn ] are considered. Necessary and sufficient conditions for the existence of and the expressions for the msc solutions and the ssd solutions are obtained for the system.展开更多
In this paper, a coupled elliptic-parabolic system modeling a class of engineering problems with thermal effect is studied. Existence of a weak solution is first established through a result of Meyers' theorem and Sc...In this paper, a coupled elliptic-parabolic system modeling a class of engineering problems with thermal effect is studied. Existence of a weak solution is first established through a result of Meyers' theorem and Schauder fixed point theorem, where the coupled functions σ(s),k(s) are assumed to be bounded in the C(IR×(0, T)). If σ(s),k(s) are Lipschitz continuous we prove that solution is unique under some restriction on integrability of solution. The regularity of the solution in dimension n ≤ 2 is then analyzed under the assumptions on σ(s) ∈w^1,∞(Ω×(0, T)) and the boundedness of σ'(s) and σ″(s).展开更多
In this paper,we will discuss smoothness of weak solutions for the system of second order differential equations eith non-negative characteristies.First of all,we establish boundary,and interior estimates and then we ...In this paper,we will discuss smoothness of weak solutions for the system of second order differential equations eith non-negative characteristies.First of all,we establish boundary,and interior estimates and then we prove that solutions of regularization problem satisfy Lipschitz condition.展开更多
Nitrogen content is an important parameter for petroleum refining processes. The combined use of mid-infrared attenuated total reflection spectroscopy and multivariate calibration allows accurate determination of nitr...Nitrogen content is an important parameter for petroleum refining processes. The combined use of mid-infrared attenuated total reflection spectroscopy and multivariate calibration allows accurate determination of nitrogen content in petroleum and its products. The calibration models of nitrogen content in crude oils have been established by partial least squares (PLS) method. The results predicted by this method were very close to those determined by standard methods. Compared with standard methods, this method is provided with advantages such as high-speed, simplicity and good-repeat- ability without any needs for pretreatment.展开更多
As an innovative software application mode,Software as a service(SaaS) shows many attractive advantages.Migrating legacy system to SaaS can make outdated systems revived.In the process of migration,the existing valuab...As an innovative software application mode,Software as a service(SaaS) shows many attractive advantages.Migrating legacy system to SaaS can make outdated systems revived.In the process of migration,the existing valuable components need to be discovered and reused in order that the target system could be developed/integrated more efficiently.An innovative approach is proposed in this paper to extract the reusable components from legacy systems.Firstly,implementation models of legacy system are recovered through reverse engineering.Secondly,function models are derived by vertical clustering,and then logical components are discovered by horizontal clustering based on the function models.Finally,the reusable components with specific feature descriptions are extracted.Through experimental verification,the approach is considered to be efficient in reusable component discovery and to be helpful to migrating legacy system to SaaS.展开更多
We study preconditioning techniques used in conjunction with the conjugate gradient method for solving multi-length-scale symmetric positive definite linear systems originating from the quantum Monte Carlo simulation ...We study preconditioning techniques used in conjunction with the conjugate gradient method for solving multi-length-scale symmetric positive definite linear systems originating from the quantum Monte Carlo simulation of electron interaction of correlated materials. Existing preconditioning techniques are not designed to be adaptive to varying numerical properties of the multi-length-scale systems. In this paper, we propose a hybrid incomplete Cholesky (HIC) preconditioner and demonstrate its adaptivity to the multi-length-scale systems. In addition, we propose an extension of the compressed sparse column with row access (CSCR) sparse matrix storage format to efficiently accommodate the data access pattem to compute the HIC preconditioner. We show that for moderately correlated materials, the HIC preconditioner achieves the optimal linear scaling of the simulation. The development of a linear-scaling preconditioner for strongly correlated materials remains an open topic.展开更多
The potential energy curves (PECs) of three low-lying electronic states (X^3∑, a^1△, and a^3△) of SO radical have been studied by ab initio quantum chemical method. The calcula- tions were carried out with the ...The potential energy curves (PECs) of three low-lying electronic states (X^3∑, a^1△, and a^3△) of SO radical have been studied by ab initio quantum chemical method. The calcula- tions were carried out with the full valence complete active space self-consistent field method followed by the highly accurate valence internally contracted multireference configuration in- teraction (MRCI) approach in combination with correlation-consistent basis sets. Effects of the core-valence correlation and relativistic corrections on the PECs are taken into account. The core-valence correlation correction is carried out with the cc-pCVDZ basis set. The way to consider the relativistic correction is to use the second-order Douglas-Kroll Hamiltonian approximation, and the correction is performed at the level of cc-pV5Z basis set. To obtain more reliable results, the PECs determined by the MRCI calculations are also corrected for size-extensivity errors by means of the Davidson modification (MRCI+Q). These PECs are extrapolated to the complete basis set limit by the two-point energy extrapolation scheme. With these PECs, the spectroscopic parameters are determined.展开更多
The mechanical behaviors near the interface crack tip for mode Ⅰ of orthotropic bimaterial are researched. With the help of the complex function method and the undetermined coefficient method, non-oscillatory field i...The mechanical behaviors near the interface crack tip for mode Ⅰ of orthotropic bimaterial are researched. With the help of the complex function method and the undetermined coefficient method, non-oscillatory field if the singularity exponent is a real number, and oscillatory field if the singularity exponent is a complex number are discussed, respectively. For each case, the stress functions are constructed which contain twelve undetermined coefficients and an unknown singularity exponent. Based on the boundary conditions, the system of non-homogeneous linear equations is obtained. According to the necessary and sufficient condition for the existence of solution for the system of non-homogeneous linear equations, the singularity exponent is determined under appropriate condition using bimaterial parameters. Both the theoretical formulae of stress intensity factors and analytic solutions of stress or displacement field near the interface crack tip are given. When the two orthotropic materials are the same, the classical results for orthotropic single material are deduced.展开更多
For the three-dimensional compressible multicomponent displacement problem we put forward the modified method of characteristics with finite element operator-splitting procedures and make use of operator-splitting,cha...For the three-dimensional compressible multicomponent displacement problem we put forward the modified method of characteristics with finite element operator-splitting procedures and make use of operator-splitting,characteristic method,calculus of variations,energy method,negative norm estimate,two kinds of test functions and the theory of prior estimates and techniques.Optimal order estimates in L^2 norm are derived for the error in the approximate solution.These methods have been successfully used in oil-gas resources estimation,enhanced oil recovery simulation and seawater intrusion numerical simulation.展开更多
Consider the system of integral equations with weighted functions in Rn,{u(x) =∫Rn|x-y|α-nQ(y)v(y)qdy1,v(x)=∫Rn|x-y|α-nK(y)u(y)pdy,where 0 < α < n,1/(p+1) + 1/(q+1)≥(n-α)/n1,α/(n-α) < p1q < ∞1,Q(...Consider the system of integral equations with weighted functions in Rn,{u(x) =∫Rn|x-y|α-nQ(y)v(y)qdy1,v(x)=∫Rn|x-y|α-nK(y)u(y)pdy,where 0 < α < n,1/(p+1) + 1/(q+1)≥(n-α)/n1,α/(n-α) < p1q < ∞1,Q(x) and K(x) satisfy some suitable conditions.It is shown that every positive regular solution(u(x)1,v(x)) is symmetric about some plane by developing the moving plane method in an integral form.Moreover,regularity of the solution is studied.Finally,the nonexistence of positive solutions to the system in the case 0 < p1q <(n+α)/(n-α) is also discussed.展开更多
A direct as well as iterative method(called the orthogonally accumulated projection method, or the OAP for short) for solving linear system of equations with symmetric coefficient matrix is introduced in this paper. W...A direct as well as iterative method(called the orthogonally accumulated projection method, or the OAP for short) for solving linear system of equations with symmetric coefficient matrix is introduced in this paper. With the Lanczos process the OAP creates a sequence of mutually orthogonal vectors, on the basis of which the projections of the unknown vectors are easily obtained, and thus the approximations to the unknown vectors can be simply constructed by a combination of these projections. This method is an application of the accumulated projection technique proposed recently by the authors of this paper, and can be regarded as a match of conjugate gradient method(CG) in its nature since both the CG and the OAP can be regarded as iterative methods, too. Unlike the CG method which can be only used to solve linear systems with symmetric positive definite coefficient matrices, the OAP can be used to handle systems with indefinite symmetric matrices. Unlike classical Krylov subspace methods which usually ignore the issue of loss of orthogonality, OAP uses an effective approach to detect the loss of orthogonality and a restart strategy is used to handle the loss of orthogonality.Numerical experiments are presented to demonstrate the efficiency of the OAP.展开更多
文摘This paper is concerned with a class of degenerate and nondegenerate stable diffusion models.By using the upper and lower solution method and Schauder fixed point principle,the author studies the existence of positive solutions for these stable_diffusion models under some conditions.
文摘Minor self conjugate (msc) and skewpositive semidefinite (ssd) solutions to the system of matrix equations over skew fields [A mn X nn =A mn ,B sn X nn =O sn ] are considered. Necessary and sufficient conditions for the existence of and the expressions for the msc solutions and the ssd solutions are obtained for the system.
基金Foundation item: Supported by the National Natural Science Foundation of China(40537034)
文摘In this paper, a coupled elliptic-parabolic system modeling a class of engineering problems with thermal effect is studied. Existence of a weak solution is first established through a result of Meyers' theorem and Schauder fixed point theorem, where the coupled functions σ(s),k(s) are assumed to be bounded in the C(IR×(0, T)). If σ(s),k(s) are Lipschitz continuous we prove that solution is unique under some restriction on integrability of solution. The regularity of the solution in dimension n ≤ 2 is then analyzed under the assumptions on σ(s) ∈w^1,∞(Ω×(0, T)) and the boundedness of σ'(s) and σ″(s).
文摘In this paper,we will discuss smoothness of weak solutions for the system of second order differential equations eith non-negative characteristies.First of all,we establish boundary,and interior estimates and then we prove that solutions of regularization problem satisfy Lipschitz condition.
文摘Nitrogen content is an important parameter for petroleum refining processes. The combined use of mid-infrared attenuated total reflection spectroscopy and multivariate calibration allows accurate determination of nitrogen content in petroleum and its products. The calibration models of nitrogen content in crude oils have been established by partial least squares (PLS) method. The results predicted by this method were very close to those determined by standard methods. Compared with standard methods, this method is provided with advantages such as high-speed, simplicity and good-repeat- ability without any needs for pretreatment.
基金supported by National Natural Science Foundation of China(No.61262082,No.61462066)Key Project of Chinese Ministry of Education(No.212025)+1 种基金Inner Mongolia Science Foundation for Distinguished Young Scholars(No.2012JQ03)Inner Mongolia Natural Science Foundation of Inner Mongolia(No.2012MS0922)
文摘As an innovative software application mode,Software as a service(SaaS) shows many attractive advantages.Migrating legacy system to SaaS can make outdated systems revived.In the process of migration,the existing valuable components need to be discovered and reused in order that the target system could be developed/integrated more efficiently.An innovative approach is proposed in this paper to extract the reusable components from legacy systems.Firstly,implementation models of legacy system are recovered through reverse engineering.Secondly,function models are derived by vertical clustering,and then logical components are discovered by horizontal clustering based on the function models.Finally,the reusable components with specific feature descriptions are extracted.Through experimental verification,the approach is considered to be efficient in reusable component discovery and to be helpful to migrating legacy system to SaaS.
基金supported in part by the US National Science Foundation grant 0611548in part by the US Department of Energy grant DE-FC02-06ER25793
文摘We study preconditioning techniques used in conjunction with the conjugate gradient method for solving multi-length-scale symmetric positive definite linear systems originating from the quantum Monte Carlo simulation of electron interaction of correlated materials. Existing preconditioning techniques are not designed to be adaptive to varying numerical properties of the multi-length-scale systems. In this paper, we propose a hybrid incomplete Cholesky (HIC) preconditioner and demonstrate its adaptivity to the multi-length-scale systems. In addition, we propose an extension of the compressed sparse column with row access (CSCR) sparse matrix storage format to efficiently accommodate the data access pattem to compute the HIC preconditioner. We show that for moderately correlated materials, the HIC preconditioner achieves the optimal linear scaling of the simulation. The development of a linear-scaling preconditioner for strongly correlated materials remains an open topic.
文摘The potential energy curves (PECs) of three low-lying electronic states (X^3∑, a^1△, and a^3△) of SO radical have been studied by ab initio quantum chemical method. The calcula- tions were carried out with the full valence complete active space self-consistent field method followed by the highly accurate valence internally contracted multireference configuration in- teraction (MRCI) approach in combination with correlation-consistent basis sets. Effects of the core-valence correlation and relativistic corrections on the PECs are taken into account. The core-valence correlation correction is carried out with the cc-pCVDZ basis set. The way to consider the relativistic correction is to use the second-order Douglas-Kroll Hamiltonian approximation, and the correction is performed at the level of cc-pV5Z basis set. To obtain more reliable results, the PECs determined by the MRCI calculations are also corrected for size-extensivity errors by means of the Davidson modification (MRCI+Q). These PECs are extrapolated to the complete basis set limit by the two-point energy extrapolation scheme. With these PECs, the spectroscopic parameters are determined.
基金supported by the Natural Science Foundation of Shanxi Province (Grant No. 2011011021-3)
文摘The mechanical behaviors near the interface crack tip for mode Ⅰ of orthotropic bimaterial are researched. With the help of the complex function method and the undetermined coefficient method, non-oscillatory field if the singularity exponent is a real number, and oscillatory field if the singularity exponent is a complex number are discussed, respectively. For each case, the stress functions are constructed which contain twelve undetermined coefficients and an unknown singularity exponent. Based on the boundary conditions, the system of non-homogeneous linear equations is obtained. According to the necessary and sufficient condition for the existence of solution for the system of non-homogeneous linear equations, the singularity exponent is determined under appropriate condition using bimaterial parameters. Both the theoretical formulae of stress intensity factors and analytic solutions of stress or displacement field near the interface crack tip are given. When the two orthotropic materials are the same, the classical results for orthotropic single material are deduced.
基金This research is supported by the Major State Research Program of China(Grant No.19990328),the National Natural Sciences Foundation of China(Grant Nos.19871051 and 19972039),the National Tackling Key Problems Program and the Doctorate Foundation of the S
文摘For the three-dimensional compressible multicomponent displacement problem we put forward the modified method of characteristics with finite element operator-splitting procedures and make use of operator-splitting,characteristic method,calculus of variations,energy method,negative norm estimate,two kinds of test functions and the theory of prior estimates and techniques.Optimal order estimates in L^2 norm are derived for the error in the approximate solution.These methods have been successfully used in oil-gas resources estimation,enhanced oil recovery simulation and seawater intrusion numerical simulation.
基金supported by Chinese National Science Fund for Distinguished Young Scholars (Grant No.10925104)National Natural Science Foundation of China (Grant No.11001221)+1 种基金the Foundation of Shaanxi Province Education Department (Grant No. 2010JK549)the Foundation of Xi’an Statistical Research Institute (Grant No.10JD04)
文摘Consider the system of integral equations with weighted functions in Rn,{u(x) =∫Rn|x-y|α-nQ(y)v(y)qdy1,v(x)=∫Rn|x-y|α-nK(y)u(y)pdy,where 0 < α < n,1/(p+1) + 1/(q+1)≥(n-α)/n1,α/(n-α) < p1q < ∞1,Q(x) and K(x) satisfy some suitable conditions.It is shown that every positive regular solution(u(x)1,v(x)) is symmetric about some plane by developing the moving plane method in an integral form.Moreover,regularity of the solution is studied.Finally,the nonexistence of positive solutions to the system in the case 0 < p1q <(n+α)/(n-α) is also discussed.
基金supported by National Natural Science Foundation of China (Grant Nos. 91430108 and 11171251)the Major Program of Tianjin University of Finance and Economics (Grant No. ZD1302)
文摘A direct as well as iterative method(called the orthogonally accumulated projection method, or the OAP for short) for solving linear system of equations with symmetric coefficient matrix is introduced in this paper. With the Lanczos process the OAP creates a sequence of mutually orthogonal vectors, on the basis of which the projections of the unknown vectors are easily obtained, and thus the approximations to the unknown vectors can be simply constructed by a combination of these projections. This method is an application of the accumulated projection technique proposed recently by the authors of this paper, and can be regarded as a match of conjugate gradient method(CG) in its nature since both the CG and the OAP can be regarded as iterative methods, too. Unlike the CG method which can be only used to solve linear systems with symmetric positive definite coefficient matrices, the OAP can be used to handle systems with indefinite symmetric matrices. Unlike classical Krylov subspace methods which usually ignore the issue of loss of orthogonality, OAP uses an effective approach to detect the loss of orthogonality and a restart strategy is used to handle the loss of orthogonality.Numerical experiments are presented to demonstrate the efficiency of the OAP.