Symbolic Computing in Probabilistic and Stochastic Analysis

Abstract The main aim is to present recent developments in applications of symbolic computing in probabilistic and stochastic analysis, and this is done using the example of the well-known MAPLE system. The key theoretical methods discussed are (i) analytical derivations, (ii) the classical Monte-Carlo simulation approach, (iii) the stochastic perturbation technique, as well as (iv) some semi-analytical approaches. It is demonstrated in particular how to engage the basic symbolic tools implemented in any system to derive the basic equations for the stochastic perturbation technique and how to make an efficient implementation of the semi-analytical methods using an automatic differentiation and integration provided by the computer algebra program itself. The second important illustration is probabilistic extension of the finite element and finite difference methods coded in MAPLE, showing how to solve boundary value problems with random parameters in the environment of symbolic computing. The response function method belongs to the third group, where interference of classical deterministic software with the non-linear fitting numerical techniques available in various symbolic environments is displayed. We recover in this context the probabilistic structural response in engineering systems and show how to solve partial differential equations including Gaussian randomness in their coefficients.

[1]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1967 .

[2]  Åke Björck,et al.  Numerical methods for least square problems , 1996 .

[3]  Marcin Marek Kaminski,et al.  The Stochastic Perturbation Method for Computational Mechanics , 2013 .

[4]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[5]  Yi Zhang,et al.  Dual-processor parallelisation of symbolic probabilistic model checking , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[6]  Michael Aichinger,et al.  Monte Carlo Simulation , 2013 .

[7]  G. I. Schuëller,et al.  On the treatment of uncertainties in structural mechanics and analysis , 2007 .

[8]  R. Ghanem,et al.  Stochastic Finite Elements: A Spectral Approach , 1990 .

[9]  G. Falsone An extension of the Kazakov relationship for non-Gaussian random variables and its use in the non-linear stochastic dynamics , 2005 .

[10]  Dan M. Frangopol,et al.  Two probabilistic life-cycle maintenance models for deteriorating civil infrastructures , 2004 .

[11]  Masaru Zako,et al.  Three-dimensional stochastic analysis using a perturbation-based homogenization method for elastic properties of composite material considering microscopic uncertainty , 2008 .

[12]  O. C. Zienkiewicz,et al.  The Finite Element Method for Solid and Structural Mechanics , 2013 .

[13]  Manuel Núñez,et al.  Specification, testing and implementation relations for symbolic-probabilistic systems , 2006, Theor. Comput. Sci..

[14]  K. Y. Lam,et al.  A stochastic finite element method for fatigue reliability analysis of gear teeth subjected to bending , 1998 .

[15]  Ross D. Shachter,et al.  Symbolic Probabilistic Inference in Belief Networks , 1990, AAAI.

[16]  M. Beer,et al.  Fuzzy Randomness: Uncertainty in Civil Engineering and Computational Mechanics , 2004 .

[17]  Marta Z. Kwiatkowska,et al.  Symbolic model checking for probabilistic timed automata , 2007, Inf. Comput..

[18]  Robert E. Melchers,et al.  Structural Reliability: Analysis and Prediction , 1987 .

[19]  C.W.S. To,et al.  Random responses of discretized beams and plates by the stochastic central difference method with time co-ordinate transformation , 1994 .

[20]  José G. Ramcrez Data Analysis: Statistical and Computational Methods for Scientists and Engineers , 2000, Technometrics.

[21]  Vimal Singh,et al.  Perturbation methods , 1991 .

[22]  Jonathan E. Cooper,et al.  Mathematics of Uncertainty Modeling in the Analysis of Engineering and Science Problems , 2013 .

[23]  Alex H. Barbat,et al.  Monte Carlo techniques in computational stochastic mechanics , 1998 .

[24]  Matthew A. Carlton,et al.  Data Analysis: Statistical and Computational Methods for Scientists and Engineers , 2020 .

[25]  Kurt Binder,et al.  Monte Carlo Simulation in Statistical Physics , 1992, Graduate Texts in Physics.

[26]  森山 昌彦,et al.  「確率有限要素法」(Stochastic Finite Element Method) , 1985 .

[27]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[28]  S. Winterstein,et al.  Random Fatigue: From Data to Theory , 1992 .