Search results for "Method"

Post‐processing of Gauss–Seidel iterations

1999

On stability issues for IMEX schemes applied to 1D scalar hyperbolic equations with stiff reaction terms

2011

The application of a Method of Lines to a hyperbolic PDE with source terms gives rise to a system of ODEs containing terms that may have very different stiffness properties. In this case, Implicit-Explicit Runge-Kutta (IMEX-RK) schemes are particularly useful as high order time integrators because they allow an explicit handling of the convective terms, which can be discretized using the highly developed shock capturing technology, together with an implicit treatment of the source terms, necessary for stability reasons. Motivated by the structure of the source term in a model problem introduced by LeVeque and Yee in [J. Comput. Phys. 86 (1990)], in this paper we study the preservation of ce…

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…

Algebras of unbounded operators and physical applications: a survey

2009

After a historical introduction on the standard algebraic approach to quantum mechanics of large systems we review the basic mathematical aspects of the algebras of unbounded operators. After that we discuss in some details their relevance in physical applications.

Designed Examples as Mediating Tools: Introductory Algebra in Two Norwegian Grade 8 Classrooms

2019

A critical element in the introduction of algebra is to focus student attention on the basic ideas of algebraic reasoning including the use of concepts such as variable and algebraic expression. In the Norwegian classrooms, representing a student-centered instructional philosophy, the teachers utilized examples and problems that they themselves had designed, and the examples involved resources such as concrete objects and body movements in order to make algebra accessible to students. When designing these examples, teachers thus used their own previous experiences of teaching algebra in an attempt to articulate the passage from arithmetic to algebra.

Applications of the Connection between Approximation Theory and Algebra

2009

The aim of this paper is to illustrate a possibility of obtaining various theoretical results using the connection between multivariate interpolation and reduction process with respect to a H-basis of an ideal. Using this connection we can switch between interpolation theory and the theory of ideals. As a application of this connection, we found and proved an interesting identity, which is satisfied for all polynomials in d variables from an interpolation polynomial subspace.

Properties of Generalized Polynomial Spaces in Three Variables

2009

Multivariate interpolation is a topic which often appears in practical modeling problems. Different type of spaces of functions are used for solving interpolation problems. When the interpolation conditions are of different kind, by example, spacial and temporal, one possibility for modeling the problem is to use a generalize degree, in which the monomials exponents are weighted with a weight vector with integer components. In order to use such a generalize polynomial space as interpolation space, it is necessary to know the dimension and a basis of it. The aim of this article is to study and prove many properties of the generalize polynomial spaces in three variables.

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.