Search results for " method"

Post‐processing of Gauss–Seidel iterations

1999

Multiplicity results for a class of asymmetric weakly coupled systems of second order ordinary differential equations

2005

We prove the existence and multiplicity of solutions to a two-point boundary value problem associated to a weakly coupled system of asymmetric second-order equations. Applying a classical change of variables, we transform the initial problem into an equivalent problem whose solutions can be characterized by their nodal properties. The proof is developed in the framework of the shooting methods and it is based on some estimates on the rotation numbers associated to each component of the solutions to the equivalent system.

Parallel fictitious domain method for a non‐linear elliptic neumann boundary value problem

1999

Parallelization of the algebraic fictitious domain method is considered for solving Neumann boundary value problems with variable coefficients. The resulting method is applied to the parallel solution of the subsonic full potential flow problem which is linearized by the Newton method. Good scalability of the method is demonstrated on a Cray T3E distributed memory parallel computer using MPI in communication. Copyright © 1999 John Wiley & Sons, Ltd.

Stubborn sets, frozen actions, and fair testing

2021

Many partial order methods use some special condition for ensuring that the analysis is not terminated prematurely. In the case of stubborn set methods for safety properties, implementation of the condition is usually based on recognizing the terminal strong components of the reduced state space and, if necessary, expanding the stubborn sets used in their roots. In an earlier study it was pointed out that if the system may execute a cycle consisting of only invisible actions and that cycle is concurrent with the rest of the system in a non-obvious way, then the method may be fooled to construct all states of the full parallel composition. This problem is solved in this study by a method tha…

Mixed Parallelism for Single Alternating Group Explicit Method

1991

The paper deals with parallel implementation policies for D.J. Evans S_AGE (Single Alternating Group Explicit) unconditionally stable methods concerning the solution of parabolic problems in two space dimensions.

New Families of Symplectic Runge-Kutta-Nyström Integration Methods

2001

We present new 6-th and 8-th order explicit symplectic Runge-Kutta-Nystrom methods for Hamiltonian systems which are more efficient than other previously known algorithms. The methods use the processing technique and non-trivial flows associated with different elements of the Lie algebra involved in the problem. Both the processor and the kernel are compositions of explicitly computable maps.

Comparison between the shifted-Laplacian preconditioning and the controllability methods for computational acoustics

2010

Processes that can be modelled with numerical calculations of acoustic pressure fields include medical and industrial ultrasound, echo sounding, and environmental noise. We present two methods for making these calculations based on Helmholtz equation. The first method is based directly on the complex-valued Helmholtz equation and an algebraic multigrid approximation of the discretized shifted-Laplacian operator; i.e. the damped Helmholtz operator as a preconditioner. The second approach returns to a transient wave equation, and finds the time-periodic solution using a controllability technique. We concentrate on acoustic problems, but our methods can be used for other types of Helmholtz pro…

An algebraic multigrid based shifted-Laplacian preconditioner for the Helmholtz equation

2007

A preconditioner defined by an algebraic multigrid cycle for a damped Helmholtz operator is proposed for the Helmholtz equation. This approach is well suited for acoustic scattering problems in complicated computational domains and with varying material properties. The spectral properties of the preconditioned systems and the convergence of the GMRES method are studied with linear, quadratic, and cubic finite element discretizations. Numerical experiments are performed with two-dimensional problems describing acoustic scattering in a cross-section of a car cabin and in a layered medium. Asymptotically the number of iterations grows linearly with respect to the frequency while for lower freq…

A damping preconditioner for time-harmonic wave equations in fluid and elastic material

2009

A physical damping is considered as a preconditioning technique for acoustic and elastic wave scattering. The earlier preconditioners for the Helmholtz equation are generalized for elastic materials and three-dimensional domains. An algebraic multigrid method is used in approximating the inverse of damped operators. Several numerical experiments demonstrate the behavior of the method in complicated two-dimensional and three-dimensional domains. peerReviewed

Linear chain surfactants at a planar interface: a comparative Monte Carlo study of several lattice models

1993

Linear chain surfactants in a densely packed arrangement (such as alkane chains in lipid monolayers in the “uniform tilt” structures) are described by a crude coarse-grained model where the endgroups grafted on the interface form a regular lattice and the chains are described by the bond fluctuation model with chains containing N = 4 effective monomers only. Square-well interactions between the monomers are studied for both the attractive and repulsive case for three choices of the interaction range. None of these models exhibits a structure with uniform tilt. For attractive interactions the last bond has a strong tendency to fold back thus leading to a very high density close to the interf…