A convenient method to exactly solve the quantum-nonautonomous systems with non-Hermitian Hamiltonians is proposed. It is shown that a nonadiabatic complete biorthonormal set can be easily obtained by the gauge transf...A convenient method to exactly solve the quantum-nonautonomous systems with non-Hermitian Hamiltonians is proposed. It is shown that a nonadiabatic complete biorthonormal set can be easily obtained by the gauge transformation method in which the algebraic structure of systems has been used. The nonunitary evolution operator is also found by choosing a special gauge function. All auxiliary parameters introduced in the present approach are only determined by some algebraic equations. The dynamics of two quantum-nonautonomous systems ruled by non-Hermitian Hamiltonians, including a two-photon ionization process involving two-state only and a mesoscopic RLC circuit with a source, are treated as the demonstration of our general approach.展开更多
In this paper we study the computational performance of variants of an algebraic additive Schwarz preconditioner for the Schur complement for the solution of large sparse linear systems.In earlier works,the local Schu...In this paper we study the computational performance of variants of an algebraic additive Schwarz preconditioner for the Schur complement for the solution of large sparse linear systems.In earlier works,the local Schur complements were computed exactly using a sparse direct solver.The robustness of the preconditioner comes at the price of this memory and time intensive computation that is the main bottleneck of the approach for tackling huge problems.In this work we investigate the use of sparse approximation of the dense local Schur complements.These approximations are computed using a partial incomplete LU factorization.Such a numerical calculation is the core of the multi-level incomplete factorization such as the one implemented in pARMS. The numerical and computing performance of the new numerical scheme is illustrated on a set of large 3D convection-diffusion problems;preliminary experiments on linear systems arising from structural mechanics are also reported.展开更多
For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametr...For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametric values the system has solutions and at the same time presents the solutions in the form of proper chains. By the refined cover, the author gives a complete classification of the number of solutions for this system, that is, the author divides the parameter space into several disjoint components, and on every component the system has a fix number of solutions. Moreover, the author develops a method of quantifier elimination for first order formulas in finite fields.展开更多
A robust nonlinear control method is presented for spacecraft precise formation flying.With the constraint forces and consid-ering nonlinearity and perturbations,the problem of the formation keeping is changed to the ...A robust nonlinear control method is presented for spacecraft precise formation flying.With the constraint forces and consid-ering nonlinearity and perturbations,the problem of the formation keeping is changed to the Lagrange systems with the holonomic constraints and the differential algebraic equations (DAE).The nonlinear control laws are developed by solving the DAE.Because the traditional numerical solving methods of DAE are very sensitive to the various errors and the resulting con-trol laws are not robust in engineering application,the robust control law designed method is further developed by designing the correct coefficients to correct the errors of the formation array constraints.A numeral study simulated the robustness of this method for the various errors in the formation flying mission,including the initial errors of spacecraft formation,the reference satellite orbit determination errors,the relative perturbation forces model errors,and so on.展开更多
The preconditioned iterative solvers for solving Sylvester tensor equations are considered in this paper.By fully exploiting the structure of the tensor equation,we propose a projection method based on the tensor form...The preconditioned iterative solvers for solving Sylvester tensor equations are considered in this paper.By fully exploiting the structure of the tensor equation,we propose a projection method based on the tensor format,which needs less flops and storage than the standard projection method.The structure of the coefficient matrices of the tensor equation is used to design the nearest Kronecker product(NKP) preconditioner,which is easy to construct and is able to accelerate the convergence of the iterative solver.Numerical experiments are presented to show good performance of the approaches.展开更多
文摘A convenient method to exactly solve the quantum-nonautonomous systems with non-Hermitian Hamiltonians is proposed. It is shown that a nonadiabatic complete biorthonormal set can be easily obtained by the gauge transformation method in which the algebraic structure of systems has been used. The nonunitary evolution operator is also found by choosing a special gauge function. All auxiliary parameters introduced in the present approach are only determined by some algebraic equations. The dynamics of two quantum-nonautonomous systems ruled by non-Hermitian Hamiltonians, including a two-photon ionization process involving two-state only and a mesoscopic RLC circuit with a source, are treated as the demonstration of our general approach.
基金developed in the framework of the associated team PhyLeas(Study of parallel hybrid sparse linear solvers) funded by INRIA where the partners are INRIA,T.U.Brunswick and University of Minnesotasupported by the US Department of Energy under grant DE-FG-08ER25841 and by the Minnesota Supercomputer Institute.
文摘In this paper we study the computational performance of variants of an algebraic additive Schwarz preconditioner for the Schur complement for the solution of large sparse linear systems.In earlier works,the local Schur complements were computed exactly using a sparse direct solver.The robustness of the preconditioner comes at the price of this memory and time intensive computation that is the main bottleneck of the approach for tackling huge problems.In this work we investigate the use of sparse approximation of the dense local Schur complements.These approximations are computed using a partial incomplete LU factorization.Such a numerical calculation is the core of the multi-level incomplete factorization such as the one implemented in pARMS. The numerical and computing performance of the new numerical scheme is illustrated on a set of large 3D convection-diffusion problems;preliminary experiments on linear systems arising from structural mechanics are also reported.
基金supported by the National 973 Program of China under Grant No.2011CB302400the National Natural Science Foundation of China under Grant No.60970152
文摘For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametric values the system has solutions and at the same time presents the solutions in the form of proper chains. By the refined cover, the author gives a complete classification of the number of solutions for this system, that is, the author divides the parameter space into several disjoint components, and on every component the system has a fix number of solutions. Moreover, the author develops a method of quantifier elimination for first order formulas in finite fields.
基金supported by the China Postdoctoral Foundation (Grant Nos. 20080440217, 200902666)
文摘A robust nonlinear control method is presented for spacecraft precise formation flying.With the constraint forces and consid-ering nonlinearity and perturbations,the problem of the formation keeping is changed to the Lagrange systems with the holonomic constraints and the differential algebraic equations (DAE).The nonlinear control laws are developed by solving the DAE.Because the traditional numerical solving methods of DAE are very sensitive to the various errors and the resulting con-trol laws are not robust in engineering application,the robust control law designed method is further developed by designing the correct coefficients to correct the errors of the formation array constraints.A numeral study simulated the robustness of this method for the various errors in the formation flying mission,including the initial errors of spacecraft formation,the reference satellite orbit determination errors,the relative perturbation forces model errors,and so on.
基金supported by National Natural Science Foundation of China (Grant No.10961010)Science and Technology Foundation of Guizhou Province (Grant No. LKS[2009]03)
文摘The preconditioned iterative solvers for solving Sylvester tensor equations are considered in this paper.By fully exploiting the structure of the tensor equation,we propose a projection method based on the tensor format,which needs less flops and storage than the standard projection method.The structure of the coefficient matrices of the tensor equation is used to design the nearest Kronecker product(NKP) preconditioner,which is easy to construct and is able to accelerate the convergence of the iterative solver.Numerical experiments are presented to show good performance of the approaches.
