Displaying 101 – 120 of 177

Showing per page

Max-min interval systems of linear equations with bounded solution

Helena Myšková (2012)

Kybernetika

Max-min algebra is an algebraic structure in which classical addition and multiplication are replaced by and , where a b = max { a , b } , a b = min { a , b } . The notation 𝐀 𝐱 = 𝐛 represents an interval system of linear equations, where 𝐀 = [ A ̲ , A ¯ ] , 𝐛 = [ b ̲ , b ¯ ] are given interval matrix and interval vector, respectively, and a solution is from a given interval vector 𝐱 = [ x ̲ , x ¯ ] . We define six types of solvability of max-min interval systems with bounded solution and give necessary and sufficient conditions for them.

Measures of fuzziness and operations with fuzzy sets.

Siegfried Gottwald, Ernest Czogala, Witold Pedrycz (1982)

Stochastica

We discuss the effects that the usual set theoretic and arithmetic operations with fuzzy sets and fuzzy numbers have with respect to the energies and entropies of the fuzzy sets connected and of the resulting fuzzy sets, and we also compare the entropies and energies of the results of several of those operations.

Measuring and maintaining consistency: a hybrid FTF algorithm

James Bunch, Richard Le Borne, Ian Proudler (2001)

International Journal of Applied Mathematics and Computer Science

Due to the versatility as well as its ease of implementation, the Fast Transversal Filters algorithm is attractive for many adaptive filtering applications. However, it is not widely used because of its undesirable tendency to diverge when operating in finite precision arithmetic. To compensate, modifications to the algorithm have been introduced that are either occasional (performed when a predefined condition(s) is violated) or structured as part of the normal update iteration. However, in neither...

Mixed precision GMRES-based iterative refinement with recycling

Oktay, Eda, Carson, Erin (2023)

Programs and Algorithms of Numerical Mathematics

With the emergence of mixed precision hardware, mixed precision GMRES-based iterative refinement schemes for solving linear systems A x = b have recently been developed. However, in certain settings, GMRES may require too many iterations per refinement step, making it potentially more expensive than the alternative of recomputing the LU factors in a higher precision. In this work, we incorporate the idea of Krylov subspace recycling, a well-known technique for reusing information across sequential invocations,...

Monotone interval eigenproblem in max–min algebra

Martin Gavalec, Ján Plavka (2010)

Kybernetika

The interval eigenproblem in max-min algebra is studied. A classification of interval eigenvectors is introduced and six types of interval eigenvectors are described. Characterization of all six types is given for the case of strictly increasing eigenvectors and Hasse diagram of relations between the types is presented.

Multiple-Precision Correctly rounded Newton-Cotes quadrature

Laurent Fousse (2007)

RAIRO - Theoretical Informatics and Applications

Numerical integration is an important operation for scientific computations. Although the different quadrature methods have been well studied from a mathematical point of view, the analysis of the actual error when performing the quadrature on a computer is often neglected. This step is however required for certified arithmetics.
We study the Newton-Cotes quadrature scheme in the context of multiple-precision arithmetic and give enough details on the algorithms and the error bounds to enable software...

Můžeme věřit numerickým výpočtům?

Michal Křížek (2011)

Pokroky matematiky, fyziky a astronomie

Nikdy neztotožnujme realitu s jejím matematickým či numerickým modelem. (Věnováno Emilu Vitáskovi k jeho 80. narozeninám.)

New sufficient convergence conditions for the secant method

Ioannis K. Argyros (2005)

Czechoslovak Mathematical Journal

We provide new sufficient conditions for the convergence of the secant method to a locally unique solution of a nonlinear equation in a Banach space. Our new idea uses “Lipschitz-type” and center-“Lipschitz-type” instead of just “Lipschitz-type” conditions on the divided difference of the operator involved. It turns out that this way our error bounds are more precise than the earlier ones and under our convergence hypotheses we can cover cases where the earlier conditions are violated.

Nonsingularity and P -matrices.

Jiří Rohn (1990)

Aplikace matematiky

New proofs of two previously published theorems relating nonsingularity of interval matrices to P -matrices are given.

Nonsingularity, positive definiteness, and positive invertibility under fixed-point data rounding

Jiří Rohn (2007)

Applications of Mathematics

For a real square matrix A and an integer d 0 , let A ( d ) denote the matrix formed from A by rounding off all its coefficients to d decimal places. The main problem handled in this paper is the following: assuming that A ( d ) has some property, under what additional condition(s) can we be sure that the original matrix A possesses the same property? Three properties are investigated: nonsingularity, positive definiteness, and positive invertibility. In all three cases it is shown that there exists a real number...

Object oriented design philosophy for scientific computing

Philippe R. B. Devloo, Gustavo C. Longhin (2002)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...

Object oriented design philosophy for scientific computing

Philippe R.B. Devloo, Gustavo C. Longhin (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...

Currently displaying 101 – 120 of 177