For the large sparse block two-by-two real nonsingular matrices, we establish a general framework of structured preconditioners through matrix transformation and matrix approximations. For the specific versions such a...For the large sparse block two-by-two real nonsingular matrices, we establish a general framework of structured preconditioners through matrix transformation and matrix approximations. For the specific versions such as modified block Jacobi-type, modified block Gauss-Seidel-type, and modified block unsymmetric (symmetric) Gauss-Seidel-type preconditioners, we precisely describe their concrete expressions and deliberately analyze eigenvalue distributions and positive definiteness of the preconditioned matrices. Also, we show that when these structured preconditioners are employed to precondition the Krylov subspace methods such as GMRES and restarted GMRES, fast and effective iteration solvers can be obtained for the large sparse systems of linear equations with block two-by-two coefficient matrices. In particular, these structured preconditioners can lead to high-quality preconditioning matrices for some typical matrices from the real-world applications.展开更多
In this paper we give an overview of the present state of fast solvers for the solution of the incompressible Navier-Stokes equations discretized by the finite element method and linearized by Newton or Picard's m...In this paper we give an overview of the present state of fast solvers for the solution of the incompressible Navier-Stokes equations discretized by the finite element method and linearized by Newton or Picard's method.It is shown that block preconditioners form an excellent approach for the solution,however if the grids are not to fine preconditioning with a Saddle point ILU matrix(SILU) may be an attractive alternative. The applicability of all methods to stabilized elements is investigated.In case of the stand-alone Stokes equations special preconditioners increase the efficiency considerably.展开更多
In this article algebraic multigrid as preconditioners are designed, with biorthogonal wavelets, as intergrid operators for the Krylov subspace iterative methods. Construction of hierarchy of matrices in algebraic mul...In this article algebraic multigrid as preconditioners are designed, with biorthogonal wavelets, as intergrid operators for the Krylov subspace iterative methods. Construction of hierarchy of matrices in algebraic multigrid context is based on lowpass filter version of Wavelet Transform. The robustness and efficiency of this new approach is tested by applying it to large sparse, unsymmetric and ill-conditioned matrices from Tim Davis collection of sparse matrices. Proposed preconditioners have potential in reducing cputime, operator complexity and storage space of algebraic multigrid V-cycle and meet the desired accuracy of solution compared with that of orthogonal wavelets.展开更多
Explicit Exact and Approximate Inverse Preconditioners for solving complex linear systems are introduced. A class of general iterative methods of second order is presented and the selection of iterative parameters is ...Explicit Exact and Approximate Inverse Preconditioners for solving complex linear systems are introduced. A class of general iterative methods of second order is presented and the selection of iterative parameters is discussed. The second order iterative methods behave quite similar to first order methods and the development of efficient preconditioners for solving the original linear system is a decisive factor for making the second order iterative methods superior to the first order iterative methods. Adaptive preconditioned Conjugate Gradient methods using explicit approximate preconditioners for solving efficiently large sparse systems of algebraic equations are also presented. The generalized Approximate Inverse Matrix techniques can be efficiently used in conjunction with explicit iterative schemes leading to effective composite semi-direct solution methods for solving large linear systems of algebraic equations.展开更多
Finite difference type preconditioners for spectral element discretizations based on Legendre-Gauss-Lobatto points are analyzed. The latter is employed for the approximation of uniformly elliptic partial differential ...Finite difference type preconditioners for spectral element discretizations based on Legendre-Gauss-Lobatto points are analyzed. The latter is employed for the approximation of uniformly elliptic partial differential problems. In this work, it is shown that the condition number of the resulting preconditioned system is bounded independently of both of the polynomial degrees used in the spectral element method and the element sizes. Several numerical tests verify the h-p independence of the proposed preconditioning.展开更多
In this paper,we develop subspace correction preconditioners for discontinuous Galerkin(DG)discretizations of elliptic problems with hp-refnement.These preconditioners are based on the decomposition of the DG fnite el...In this paper,we develop subspace correction preconditioners for discontinuous Galerkin(DG)discretizations of elliptic problems with hp-refnement.These preconditioners are based on the decomposition of the DG fnite element space into a conforming subspace,and a set of small nonconforming edge spaces.The conforming subspace is preconditioned using a matrix-free low-order refned technique,which in this work,we extend to the hprefnement context using a variational restriction approach.The condition number of the resulting linear system is independent of the granularity of the mesh h,and the degree of the polynomial approximation p.The method is amenable to use with meshes of any degree of irregularity and arbitrary distribution of polynomial degrees.Numerical examples are shown on several test cases involving adaptively and randomly refned meshes,using both the symmetric interior penalty method and the second method of Bassi and Rebay(BR2).展开更多
In this paper,we design an efficient domain decomposition(DD)preconditioner for the saddle-point problem resulting from the mixed finite-element discretization of multiscale elliptic problems.By proper equivalent alge...In this paper,we design an efficient domain decomposition(DD)preconditioner for the saddle-point problem resulting from the mixed finite-element discretization of multiscale elliptic problems.By proper equivalent algebraic operations,the original saddle-point system can be transformed to another saddle-point system which can be preconditioned by a block-diagonel matrix efficiently.Actually,the first block of this block-diagonal matrix corresponds to a multiscale H(div)problem,and thus,the direct inverse of this block is unpractical and unstable for the large-scale problem.To remedy this issue,a two-level overlapping DD preconditioner is proposed for this//(div)problem.Our coarse space consists of some velocities obtained from mixed formulation of local eigenvalue problems on the coarse edge patches multiplied by the partition of unity functions and the trivial coarse basis(e.g.,Raviart-Thomas element)on the coarse grid.The condition number of our preconditioned DD method for this multiscale H(div)system is bounded by C(1+务)(1+log4(^)),where 6 denotes the width of overlapping region,and H,h are the typical sizes of the subdomain and fine mesh.Numerical examples are presented to confirm the validity and robustness of our DD preconditioner.展开更多
In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO （inputs, outputs） descriptions which may result in one-sidedness, a description-logic...In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO （inputs, outputs） descriptions which may result in one-sidedness, a description-logic-based IOPE （inputs, outputs, preconditions, effects） description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE（preconditions, effects）. TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising; ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication, four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact, perfect, side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.展开更多
In seismic data processing, blind deconvolution is a key technology. Introduced in this paper is a flow of one kind of blind deconvolution. The optimal precondition conjugate gradients (PCG) in Kyrlov subspace is als...In seismic data processing, blind deconvolution is a key technology. Introduced in this paper is a flow of one kind of blind deconvolution. The optimal precondition conjugate gradients (PCG) in Kyrlov subspace is also used to improve the stability of the algorithm. The computation amount is greatly decreased.展开更多
The Galerkin and least-squares methods are two classes of the most popular Krylov subspace methOds for solving large linear systems of equations. Unfortunately, both the methods may suffer from serious breakdowns of t...The Galerkin and least-squares methods are two classes of the most popular Krylov subspace methOds for solving large linear systems of equations. Unfortunately, both the methods may suffer from serious breakdowns of the same type: In a breakdown situation the Galerkin method is unable to calculate an approximate solution, while the least-squares method, although does not really break down, is unsucessful in reducing the norm of its residual. In this paper we first establish a unified theorem which gives a relationship between breakdowns in the two methods. We further illustrate theoretically and experimentally that if the coefficient matrix of a lienar system is of high defectiveness with the associated eigenvalues less than 1, then the restarted Galerkin and least-squares methods will be in great risks of complete breakdowns. It appears that our findings may help to understand phenomena observed practically and to derive treatments for breakdowns of this type.展开更多
在细观结构层次上将大坝混凝土作为骨料、固化水泥砂浆及其粘结界面组成的复合材料,建立了大坝混凝土三维细观力学数值模型。该模型既能够反映混凝土及其细观各相材料在荷载作用下的损伤演化过程,又考虑了动载作用的应变率强化效应。给...在细观结构层次上将大坝混凝土作为骨料、固化水泥砂浆及其粘结界面组成的复合材料,建立了大坝混凝土三维细观力学数值模型。该模型既能够反映混凝土及其细观各相材料在荷载作用下的损伤演化过程,又考虑了动载作用的应变率强化效应。给出了该数值模型求解方法,并编制出能够在普通PC机上运行的串行程序。加载过程既可按荷载控制又可按位移控制。同时,为了减少求解自由度应用了分尺度方法以使最小骨料和固化水泥砂浆混合后其力学性能与一种复合介质等效。通过混凝土湿筛和三级配试件的静、动(冲击)弯拉数值计算验证了本文计算方法和程序正确有效。另外,在串行程序的基础上,优化了刚度矩阵的存储方式,采用双门槛不完全Cholesky分解(ICT)预条件的共轭梯度法(CG),完成了能够在Sun Fire 6800服务器实现并行计算的并行程序改造,从而大大提高了计算效率。展开更多
文摘For the large sparse block two-by-two real nonsingular matrices, we establish a general framework of structured preconditioners through matrix transformation and matrix approximations. For the specific versions such as modified block Jacobi-type, modified block Gauss-Seidel-type, and modified block unsymmetric (symmetric) Gauss-Seidel-type preconditioners, we precisely describe their concrete expressions and deliberately analyze eigenvalue distributions and positive definiteness of the preconditioned matrices. Also, we show that when these structured preconditioners are employed to precondition the Krylov subspace methods such as GMRES and restarted GMRES, fast and effective iteration solvers can be obtained for the large sparse systems of linear equations with block two-by-two coefficient matrices. In particular, these structured preconditioners can lead to high-quality preconditioning matrices for some typical matrices from the real-world applications.
文摘In this paper we give an overview of the present state of fast solvers for the solution of the incompressible Navier-Stokes equations discretized by the finite element method and linearized by Newton or Picard's method.It is shown that block preconditioners form an excellent approach for the solution,however if the grids are not to fine preconditioning with a Saddle point ILU matrix(SILU) may be an attractive alternative. The applicability of all methods to stabilized elements is investigated.In case of the stand-alone Stokes equations special preconditioners increase the efficiency considerably.
文摘In this article algebraic multigrid as preconditioners are designed, with biorthogonal wavelets, as intergrid operators for the Krylov subspace iterative methods. Construction of hierarchy of matrices in algebraic multigrid context is based on lowpass filter version of Wavelet Transform. The robustness and efficiency of this new approach is tested by applying it to large sparse, unsymmetric and ill-conditioned matrices from Tim Davis collection of sparse matrices. Proposed preconditioners have potential in reducing cputime, operator complexity and storage space of algebraic multigrid V-cycle and meet the desired accuracy of solution compared with that of orthogonal wavelets.
文摘Explicit Exact and Approximate Inverse Preconditioners for solving complex linear systems are introduced. A class of general iterative methods of second order is presented and the selection of iterative parameters is discussed. The second order iterative methods behave quite similar to first order methods and the development of efficient preconditioners for solving the original linear system is a decisive factor for making the second order iterative methods superior to the first order iterative methods. Adaptive preconditioned Conjugate Gradient methods using explicit approximate preconditioners for solving efficiently large sparse systems of algebraic equations are also presented. The generalized Approximate Inverse Matrix techniques can be efficiently used in conjunction with explicit iterative schemes leading to effective composite semi-direct solution methods for solving large linear systems of algebraic equations.
文摘Finite difference type preconditioners for spectral element discretizations based on Legendre-Gauss-Lobatto points are analyzed. The latter is employed for the approximation of uniformly elliptic partial differential problems. In this work, it is shown that the condition number of the resulting preconditioned system is bounded independently of both of the polynomial degrees used in the spectral element method and the element sizes. Several numerical tests verify the h-p independence of the proposed preconditioning.
基金This work was performed under the auspices of the U.S.Department of Energy by Lawrence Livermore National Laboratory under Contract DE-AC52-07NA27344 and was partially supported by the LLNL-LDRD Program under Project No.20-ERD-002(LLNL-JRNL-814157).
文摘In this paper,we develop subspace correction preconditioners for discontinuous Galerkin(DG)discretizations of elliptic problems with hp-refnement.These preconditioners are based on the decomposition of the DG fnite element space into a conforming subspace,and a set of small nonconforming edge spaces.The conforming subspace is preconditioned using a matrix-free low-order refned technique,which in this work,we extend to the hprefnement context using a variational restriction approach.The condition number of the resulting linear system is independent of the granularity of the mesh h,and the degree of the polynomial approximation p.The method is amenable to use with meshes of any degree of irregularity and arbitrary distribution of polynomial degrees.Numerical examples are shown on several test cases involving adaptively and randomly refned meshes,using both the symmetric interior penalty method and the second method of Bassi and Rebay(BR2).
文摘In this paper,we design an efficient domain decomposition(DD)preconditioner for the saddle-point problem resulting from the mixed finite-element discretization of multiscale elliptic problems.By proper equivalent algebraic operations,the original saddle-point system can be transformed to another saddle-point system which can be preconditioned by a block-diagonel matrix efficiently.Actually,the first block of this block-diagonal matrix corresponds to a multiscale H(div)problem,and thus,the direct inverse of this block is unpractical and unstable for the large-scale problem.To remedy this issue,a two-level overlapping DD preconditioner is proposed for this//(div)problem.Our coarse space consists of some velocities obtained from mixed formulation of local eigenvalue problems on the coarse edge patches multiplied by the partition of unity functions and the trivial coarse basis(e.g.,Raviart-Thomas element)on the coarse grid.The condition number of our preconditioned DD method for this multiscale H(div)system is bounded by C(1+务)(1+log4(^)),where 6 denotes the width of overlapping region,and H,h are the typical sizes of the subdomain and fine mesh.Numerical examples are presented to confirm the validity and robustness of our DD preconditioner.
文摘In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO （inputs, outputs） descriptions which may result in one-sidedness, a description-logic-based IOPE （inputs, outputs, preconditions, effects） description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE（preconditions, effects）. TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising; ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication, four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact, perfect, side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.
基金With the support of the key project of Knowledge Innovation, CAS(KZCX1-y01, KZCX-SW-18), Fund of the China National Natural Sciences and the Daqing Oilfield with Grant No. 49894190
文摘In seismic data processing, blind deconvolution is a key technology. Introduced in this paper is a flow of one kind of blind deconvolution. The optimal precondition conjugate gradients (PCG) in Kyrlov subspace is also used to improve the stability of the algorithm. The computation amount is greatly decreased.
文摘The Galerkin and least-squares methods are two classes of the most popular Krylov subspace methOds for solving large linear systems of equations. Unfortunately, both the methods may suffer from serious breakdowns of the same type: In a breakdown situation the Galerkin method is unable to calculate an approximate solution, while the least-squares method, although does not really break down, is unsucessful in reducing the norm of its residual. In this paper we first establish a unified theorem which gives a relationship between breakdowns in the two methods. We further illustrate theoretically and experimentally that if the coefficient matrix of a lienar system is of high defectiveness with the associated eigenvalues less than 1, then the restarted Galerkin and least-squares methods will be in great risks of complete breakdowns. It appears that our findings may help to understand phenomena observed practically and to derive treatments for breakdowns of this type.
文摘在细观结构层次上将大坝混凝土作为骨料、固化水泥砂浆及其粘结界面组成的复合材料,建立了大坝混凝土三维细观力学数值模型。该模型既能够反映混凝土及其细观各相材料在荷载作用下的损伤演化过程,又考虑了动载作用的应变率强化效应。给出了该数值模型求解方法,并编制出能够在普通PC机上运行的串行程序。加载过程既可按荷载控制又可按位移控制。同时,为了减少求解自由度应用了分尺度方法以使最小骨料和固化水泥砂浆混合后其力学性能与一种复合介质等效。通过混凝土湿筛和三级配试件的静、动(冲击)弯拉数值计算验证了本文计算方法和程序正确有效。另外,在串行程序的基础上,优化了刚度矩阵的存储方式,采用双门槛不完全Cholesky分解(ICT)预条件的共轭梯度法(CG),完成了能够在Sun Fire 6800服务器实现并行计算的并行程序改造,从而大大提高了计算效率。
