The performance of double gate GaSb nMOSFETs with surface orientations of(100) and(111) are compared by deterministically solving the time-dependent Boltzmann transport equation(BTE).Results show that the on-sta...The performance of double gate GaSb nMOSFETs with surface orientations of(100) and(111) are compared by deterministically solving the time-dependent Boltzmann transport equation(BTE).Results show that the on-state current of the device with(111) surface orientation is almost three times larger than the(100) case due to the higher injection velocity.Moreover,the scattering rate of the(111) device is slightly lower than that of the(100) device.展开更多
Thompson's theorem indicates that a finite group with a nilpotent maximal subgroup of odd order is solvable. As an important application of Thompson's theorem, a finite group is solvable if it has an abelian maximal...Thompson's theorem indicates that a finite group with a nilpotent maximal subgroup of odd order is solvable. As an important application of Thompson's theorem, a finite group is solvable if it has an abelian maximal subgroup. In this paper, we give some sufficient conditions on the number of non-abelian subgroups of a finite group to be solvable.展开更多
A Cayley graph F = Cay(G, S) of a group G with respect to S is called a circulant digraph of order pk if G is a cyclic group of the same order. Investigated in this paper are the normality conditions for arc-transit...A Cayley graph F = Cay(G, S) of a group G with respect to S is called a circulant digraph of order pk if G is a cyclic group of the same order. Investigated in this paper are the normality conditions for arc-transitive circulant (di)graphs of order p^2 and the classification of all such graphs. It is proved that any connected arc-transitive circulant digraph of order p^2 is, up to a graph isomorphism, either Kp2, G(p^2,r), or G(p,r)[pK1], where r|p- 1.展开更多
An a posteriori error estimator is obtained for a nonconforming finite element approximation of a linear elliptic problem, which is derived from a corresponding unbounded domain problem by applying a nonlocal approxim...An a posteriori error estimator is obtained for a nonconforming finite element approximation of a linear elliptic problem, which is derived from a corresponding unbounded domain problem by applying a nonlocal approximate artificial boundary condition. Our method can be easily extended to obtain a class of a posteriori error estimators for various conforming and nonconforming finite element approximations of problems with different artificial boundary conditions. The reliability and efficiency of our a posteriori error estimator are rigorously proved and are verified by numerical examples.展开更多
By extending the classical analysis techniques due to Samokish, Faddeev and Faddee- va, and Longsine and McCormick among others, we prove the convergence of the precon- ditioned steepest descent with implicit deflati...By extending the classical analysis techniques due to Samokish, Faddeev and Faddee- va, and Longsine and McCormick among others, we prove the convergence of the precon- ditioned steepest descent with implicit deflation (PSD-id) method for solving Hermitian- definite generalized eigenvalue problems. Furthermore, we derive a nonasymptotie estimate of the rate of convergence of the PSD-id method. We show that with a proper choice of the shift, the indefinite shift-and-invert preconditioner is a locally accelerated preconditioner, and is asymptotically optimal which leads to superlinear convergence Numerical examples are presented to verify the theoretical results on the convergence behavior of the PSD- id method for solving ill-conditioned Hermitian-definite generalized eigenvalue problems arising from electronic structure calculations. While rigorous and full-scale convergence proofs of preconditioned block steepest descent methods in practical use still largely eludes us, we believe the theoretical results presented in this paper shed light on an improved understanding of the convergence behavior of these block methods.展开更多
Motivated by the idea of Shen, et al.'s work, which proposed a hybrid procedure for real root isolation of polynomial equations based on homotopy continuation methods and interval analysis,this paper presents a hy...Motivated by the idea of Shen, et al.'s work, which proposed a hybrid procedure for real root isolation of polynomial equations based on homotopy continuation methods and interval analysis,this paper presents a hybrid procedure to compute sample points on each connected component of a real algebraic set by combining a special homotopy method and interval analysis with a better estimate on initial intervals. For a real algebraic set given by a polynomial system, the new method ?rst constructs a square polynomial system which represents the sample points, and then solve this system by a special homotopy continuation method introduced recently by Wang, et al.(2017). For each root returned by the homotopy continuation method, which is a complex approximation of some(complex/real) root of the polynomial system, interval analysis is used to verify whether it is an approximation of a real root and ?nally get real points on the given real algebraic set. A new estimate on initial intervals is presented which helps compute smaller initial intervals before performing interval iteration and thus saves computation. Experiments show that the new method works pretty well on tested examples.展开更多
The extended magnetohydrodynamic models are derived based on the moment closure of the Vlasov-Maxwell (VM) equations. We adopt the Grad type moment expansion which was firstly proposed for the Boltzmann equation. A ...The extended magnetohydrodynamic models are derived based on the moment closure of the Vlasov-Maxwell (VM) equations. We adopt the Grad type moment expansion which was firstly proposed for the Boltzmann equation. A new regularization method for the Grad's moment system was recently proposed to achieve the globally hyperbolicity so that the local well-posedness of the moment system is attained. For the VM equations, the moment expansion of the convection term is exactly the same as that in the Boltzmann equation, thus the new developed regularization applies. The moment expansion of the electromagnetic force term in the VM equations turns out to be a linear source term, which can preserve the conservative properties of the distribution function in the VM equations perfectly.展开更多
Let T(S) be the Teichmuller space of a Riemann surface S. By definition, a geodesic disc in T(S) is the image of an isometric embedding of the Poincare disc into T(S). It is shown in this paper that for any non-Strebe...Let T(S) be the Teichmuller space of a Riemann surface S. By definition, a geodesic disc in T(S) is the image of an isometric embedding of the Poincare disc into T(S). It is shown in this paper that for any non-Strebel point τ ∈ T(S), there are infinitely many aeodesic discs containina [0] and τ.展开更多
A Fourier-Chebyshev spectral method is proposed in this paper for solving the cavitation problem in nonlinear elasticity. The interpolation error for the cavitation solution is analyzed, the elastic energy error estim...A Fourier-Chebyshev spectral method is proposed in this paper for solving the cavitation problem in nonlinear elasticity. The interpolation error for the cavitation solution is analyzed, the elastic energy error estimate for the discrete cavitation solution is obtained, and the convergence of the method is proved. An algorithm combined a gradient type method with a damped quasi-Newton method is applied to solve the discretized nonlinear equilibrium equations. Numerical experiments show that the Fourier-Chebyshev spectral method is efficient and capable of producing accurate numerical cavitation solutions.展开更多
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61674008,61421005,and 61404005)
文摘The performance of double gate GaSb nMOSFETs with surface orientations of(100) and(111) are compared by deterministically solving the time-dependent Boltzmann transport equation(BTE).Results show that the on-state current of the device with(111) surface orientation is almost three times larger than the(100) case due to the higher injection velocity.Moreover,the scattering rate of the(111) device is slightly lower than that of the(100) device.
基金Supported by National Natural Science Foundation of China (Grant No. 10871032), China Postdoctoral Science Foundation (Grant No. 20100470136) the second author is supported in part by "Agencija za raziskovalno dejavnost Republike Slovenije", proj. mladi raziskovalci, "Agencija za raziskovalno dejavnost Republike Slovenije", Research Program P1-0285
文摘Thompson's theorem indicates that a finite group with a nilpotent maximal subgroup of odd order is solvable. As an important application of Thompson's theorem, a finite group is solvable if it has an abelian maximal subgroup. In this paper, we give some sufficient conditions on the number of non-abelian subgroups of a finite group to be solvable.
基金Research supported by the National Natural Science Foundation of China under Grant No.103710003
文摘A Cayley graph F = Cay(G, S) of a group G with respect to S is called a circulant digraph of order pk if G is a cyclic group of the same order. Investigated in this paper are the normality conditions for arc-transitive circulant (di)graphs of order p^2 and the classification of all such graphs. It is proved that any connected arc-transitive circulant digraph of order p^2 is, up to a graph isomorphism, either Kp2, G(p^2,r), or G(p,r)[pK1], where r|p- 1.
基金supported by the Special Funds for Major State Basic Research Projects(2005CB321701)NSFC(10431050, 10571006 and 10528102)RFDP of China
文摘An a posteriori error estimator is obtained for a nonconforming finite element approximation of a linear elliptic problem, which is derived from a corresponding unbounded domain problem by applying a nonlocal approximate artificial boundary condition. Our method can be easily extended to obtain a class of a posteriori error estimators for various conforming and nonconforming finite element approximations of problems with different artificial boundary conditions. The reliability and efficiency of our a posteriori error estimator are rigorously proved and are verified by numerical examples.
文摘By extending the classical analysis techniques due to Samokish, Faddeev and Faddee- va, and Longsine and McCormick among others, we prove the convergence of the precon- ditioned steepest descent with implicit deflation (PSD-id) method for solving Hermitian- definite generalized eigenvalue problems. Furthermore, we derive a nonasymptotie estimate of the rate of convergence of the PSD-id method. We show that with a proper choice of the shift, the indefinite shift-and-invert preconditioner is a locally accelerated preconditioner, and is asymptotically optimal which leads to superlinear convergence Numerical examples are presented to verify the theoretical results on the convergence behavior of the PSD- id method for solving ill-conditioned Hermitian-definite generalized eigenvalue problems arising from electronic structure calculations. While rigorous and full-scale convergence proofs of preconditioned block steepest descent methods in practical use still largely eludes us, we believe the theoretical results presented in this paper shed light on an improved understanding of the convergence behavior of these block methods.
基金supported by the National Natural Science Foundation of China under Grant Nos.61732001 and 61532019
文摘Motivated by the idea of Shen, et al.'s work, which proposed a hybrid procedure for real root isolation of polynomial equations based on homotopy continuation methods and interval analysis,this paper presents a hybrid procedure to compute sample points on each connected component of a real algebraic set by combining a special homotopy method and interval analysis with a better estimate on initial intervals. For a real algebraic set given by a polynomial system, the new method ?rst constructs a square polynomial system which represents the sample points, and then solve this system by a special homotopy continuation method introduced recently by Wang, et al.(2017). For each root returned by the homotopy continuation method, which is a complex approximation of some(complex/real) root of the polynomial system, interval analysis is used to verify whether it is an approximation of a real root and ?nally get real points on the given real algebraic set. A new estimate on initial intervals is presented which helps compute smaller initial intervals before performing interval iteration and thus saves computation. Experiments show that the new method works pretty well on tested examples.
基金The research of Y. Di was supported in part by the National Magnetic Confinement Fusion Science Program (2011GB105003) and the National Natural Science Foundation of China (Grant No. 11271358). The research of R. Li was supported in part by the Sci-Tech Interdisciplinary Innovation and Cooperation Team Program of the Chinese Academy of Sciences and the National Natural Science Foundation of China (Gra~t Nos. 11325102, 91330205).
文摘The extended magnetohydrodynamic models are derived based on the moment closure of the Vlasov-Maxwell (VM) equations. We adopt the Grad type moment expansion which was firstly proposed for the Boltzmann equation. A new regularization method for the Grad's moment system was recently proposed to achieve the globally hyperbolicity so that the local well-posedness of the moment system is attained. For the VM equations, the moment expansion of the convection term is exactly the same as that in the Boltzmann equation, thus the new developed regularization applies. The moment expansion of the electromagnetic force term in the VM equations turns out to be a linear source term, which can preserve the conservative properties of the distribution function in the VM equations perfectly.
基金supported by the 973-Project Foundation(Grant No.TG199075105)the Research Fund for Doctoral Program of Higher Education,
文摘Let T(S) be the Teichmuller space of a Riemann surface S. By definition, a geodesic disc in T(S) is the image of an isometric embedding of the Poincare disc into T(S). It is shown in this paper that for any non-Strebel point τ ∈ T(S), there are infinitely many aeodesic discs containina [0] and τ.
文摘A Fourier-Chebyshev spectral method is proposed in this paper for solving the cavitation problem in nonlinear elasticity. The interpolation error for the cavitation solution is analyzed, the elastic energy error estimate for the discrete cavitation solution is obtained, and the convergence of the method is proved. An algorithm combined a gradient type method with a damped quasi-Newton method is applied to solve the discretized nonlinear equilibrium equations. Numerical experiments show that the Fourier-Chebyshev spectral method is efficient and capable of producing accurate numerical cavitation solutions.