On the numerical solution to linear problems using stochastic arithmetic

It has been recently shown that computation with stochastic numbers as regard to addition and multiplication by scalars can be reduced to computation in familiar vector spaces. This result allows us to solve certain practical problems with stochastic numbers and to compare algebraically obtained results with practical applications of stochastic numbers, such as the ones provided by the CESTAC method. Such comparisons give additional information related to the stochastic behavior of random roundings in the course of numerical computations. A number of original numerical experiments are presented that agree with the expected theoretical results.

[1]  J.-M. Chesneaux,et al.  Les fondements de l'arithmétique stochastique , 1992 .

[2]  Jean Vignes,et al.  A stochastic arithmetic for reliable scientific computation , 1993 .

[3]  Svetoslav Markov.  Towards an Axiomatization of Interval Arithmetic , 2006 .

[4]  L Venkov,et al.  Dynamical model of cholinergic synapse transmission. , 1980, Cellular and molecular biology, including cyto-enzymology.

[5]  Svetoslav Markov,et al.  On the algebraic properties of convex bodies and some applications. , 2000 .

[6]  Svetoslav Markov,et al.  Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation , 2007, IFSA.

[7]  Svetoslav Markov,et al.  Some Interpolation Problems Involving Interval Data , 1993 .

[8]  Svetoslav Markov.  On the Algebraic Properties of Errors , 2002 .

[9]  Roumen Anguelov,et al.  On the Normed Linear Space of Hausdorff Continuous Functions , 2005, LSSC.

[10]  Svetoslav Markov,et al.  Numerical Study of Algebraic Solutions to Linear Problems Involving Stochastic Parameters , 2005, LSSC.

[11]  Svetoslav Markov,et al.  On quasilinear spaces of convex bodies and intervals , 2004 .

[12]  Svetoslav Markov,et al.  On directed interval arithmetic and its applications , 1996 .

[13]  Svetoslav Markov,et al.  Mathematical Modelling of Dynamical Processes Under Interval Experimental Data , 1991 .

[14]  Svetoslav Markov,et al.  Computation of Algebraic Solutions to Interval Systems Via Systems of Coordinates , 2001 .

[15]  Svetoslav Markov,et al.  On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic , 2001 .

[16]  J. Vignes,et al.  Validation of results of collocation methods for ODEs with the CADNA library , 1996 .

[17]  Svetoslav Markov.  On the Algebra of Intervals and Convex Bodies , 1998, J. Univers. Comput. Sci..

[18]  Svetoslav Markov,et al.  On linear interpolation under interval data , 1996 .

[19]  Svetoslav Markov.  On Quasivector Spaces of Convex Bodies and Zonotopes , 2004, Numerical Algorithms.

[20]  Svetoslav Markov,et al.  On the numerical algorithms formulated in computer arithmetic , 1983, 1983 IEEE 6th Symposium on Computer Arithmetic (ARITH).

[21]  N. S. Dimitrova,et al.  Extended interval arithmetics : new results and applications , 2004 .

[22]  Svetoslav Markov,et al.  On the Solution of Linear Algebraic Equations Involving Interval Coefficients , 1996 .

[23]  N Tsaneva,et al.  A model of fatigue. , 1971, Ergonomics.

[24]  Kohshi Okumura,et al.  The Contribution of T. Sunaga to Interval Analysis and Reliable Computing , 1998, SCAN.

[25]  Neli S. Dimitrova,et al.  Verified Computation of Fast Decreasing Polynomials , 1999, Reliab. Comput..

[26]  S. Markov,et al.  Curve Fitting and Interpolation of Biological Data Under Uncertainties , 1996, J. Univers. Comput. Sci..

[27]  Roumen Anguelov,et al.  The Set of Hausdorff Continuous Functions— The Largest Linear Space of Interval Functions , 2006, Reliab. Comput..

[28]  Svetoslav Markov,et al.  Linear Interpolation and Estimation Using Interval Analysis , 1996 .

[29]  Svetoslav Markov,et al.  Numerical Study of Algebraic Problems Using Stochastic Arithmetic , 2007, LSSC.

[30]  Svetoslav Markov.  Isomorphic Embeddings of Abstract Interval Systems , 1997, Reliab. Comput..

[31]  Svetoslav Markov.  On the Algebraic Properties of Intervals and Some Applications , 2001, Reliab. Comput..

[32]  A. Sydow,et al.  Tawards Credible Implementation of Inner Interval Operations , 1997 .

[33]  Svetoslav Markov,et al.  Stochastic Arithmetic: s-spaces and Some Applications , 2004, Numerical Algorithms.

[34]  Svetoslav Markov.  On the Quasivector Space of Zonotopes in the Plane , 2005 .

[35]  Dalcidio Moraes Claudio,et al.  On the Approximation of Centered Zonotopes in the Plane , 2003, LSSC.

[36]  Christian Ullrich.  Contributions to computer arithmetic and self-validating numerical methods , 1990 .

[37]  Roumen Anguelov,et al.  An Interval Method for System of ODE , 1985, Interval Mathematics.

[38]  S. Markov.  The k-calculus Approach and the Generalized Lorentz Transformations , 2005 .

[39]  Pavel B. Bochev,et al.  A self-validating numerical method for the matrix exponential , 1989, Computing.

[40]  J. Vignes,et al.  An Efficient Stochastic Method for Round-Off Error Analysis , 1985, Accurate Scientific Computations.

[41]  Gracaliz P. Dimuro,et al.  МАТЕМАТИКА И МАТЕМАТИЧЕСКО ОБРАЗОВАНИЕ, 2005 MATHEMATICS AND EDUCATION IN MATHEMATICS, 2005 Proceedings of the Thirty Fourth Spring Conference of the Union of Bulgarian Mathematicians Borovets, April 6–9, 2005 ON THE RELATION INCLUSION OF ZONOTOPES IN THE PLANE , 2005 .

[42]  R. Alt,et al.  On the solution to numerical problems using stochastic arithmetic , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[43]  Svetoslav Markov,et al.  Abstract structures in stochastic arithmetic , 2006 .

[44]  Svetoslav Markov,et al.  An iterative method for algebraic solution to interval equations , 1999 .

[45]  Svetoslav Markov,et al.  Stochastic arithmetic: addition and multiplication by scalars , 2004 .

[46]  Svetoslav Markov,et al.  On the Use of Computer Algebra Systems and Enclosure Methods in the Modelling and Optimization of Biotechnological Processes , 2005 .

[47]  Jean Vignes,et al.  Review on stochastic approach to round-off error analysis and its applications , 1988 .

[48]  RONALD ROSS.  A Method of Solving Algebraic Equations , 1908, Nature.

[49]  Svetoslav Markov,et al.  of Thirty Third Spring Conference of the Union of Bulgarian Mathematicians Borovets , April 1 – 4 , 2004 ON THE INTERVAL ARITHMETIC IN MIDPOINT-RADIUS FORM , 2004 .

[50]  Roumen Anguelov,et al.  Wrapping Effect and Wrapping Function , 1998, Reliab. Comput..

[51]  Zenon Kulpa,et al.  On the Inclusion Properties of Interval Multiplication: A Diagrammatic Study , 2003 .