In this paper, we present a generic validation tool, called FMona. We illustrate its use through the expression of iterative and abstraction methods. These methods are applied for the validation of infinite or parameterized space problems. We propose two techniques to enhance iterative methods by accelerating their convergence. These techniques are expressed in FMona and applied on some examples.

Copyright q 2012 Jiancai Huang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We introduce an implicit and explicit iterative schemes for a finite family of nonexpansive semi-groups with the Meir-Keeler-type contraction in...

The S0-pairing gap in semi-infinite nuclear matter is evaluated microscopically using the effective pairing interaction recently found explicitly in the coordinate representation starting from the separable form of the Paris NN -potential. Instead of direct iterative solution of the gap equation, a new method proposed by V. A. Khodel, V. V. Khodel and J. W. Clark was used which simplifies the p...

We design and analyse an iterative method, which uses a specific block smoother for the multigrid cycle. Among many possibilities we choose a few multigrid iterations as the smoother’s blocks. The result is a multilevel procedure that works for regular saddle point problems and features all good properties of the classical multigrid for elliptic problems, such as the optimal complexity and conv...

In this paper, we present a four order unconditionally stable implicit scheme for hyperbolic equations. Based on the scheme and the concept of decomposition a class of parallel alternating group explicit (AGE) iterative method is derived, and convergence analysis is given. In order to verify the AGE iterative method, we give an example at the end of the paper.

In this paper we introduce a new concept of solution for games with fuzzy coalitions, which we call an enlarged core. The enlarged core captures an idea that various groups of fuzzy coalitions can have different bargaining power or influence on the final distribution of wealth resulting from the cooperation process.We study a bargaining scheme for the enlarged core, which is an iterative proced...