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.
@article{bwmeta1.element.bwnjournal-article-amcv25i4p961bwm,
author = {Marcin Kami\'nski},
title = {Symbolic computing in probabilistic and stochastic analysis},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {25},
year = {2015},
pages = {961-973},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv25i4p961bwm}
}
Marcin Kamiński. Symbolic computing in probabilistic and stochastic analysis. International Journal of Applied Mathematics and Computer Science, Tome 25 (2015) pp. 961-973. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv25i4p961bwm/
[000] Binder, K. and Heermann, D. (1997). Monte Carlo Simulation in Statistical Physics, Springer Verlag, Berlin/Heidelberg. | Zbl 0884.65003
[001] Bjorck, A. (1996). Numerical Methods for Least Squares Problems, SIAM, Philadelphia, PA. | Zbl 0847.65023
[002] Brandt, S. (1999). Data Analysis Statistical and Computational Methods for Scientists and Engineers, Springer-Verlag, New York, NY.
[003] Burczyński, T. (1995). Boundary element method in stochastic shape design sensitivity analysis and identification of uncertain elastic solids, Engineering Analysis with Boundary Elements 15(2): 151-160.
[004] Chakraverty, S. (2014). Mathematics of Uncertainty Modeling in the Analysis of Engineering and Science Problems, IGI Global, Hershey. | Zbl 1326.65010
[005] Falsone, G. (2005). An extension of the Kazakov relationship for non-Gaussian random variables and its use in the non-linear stochastic dynamics, Probabilistic Engineering Mechanics 20(1): 45-56.
[006] Feller, W. (1965). An Introduction to Probability Theory and Its Applications, Wiley, New York, NY. | Zbl 0039.13201
[007] Grigoriu, M. (2000). Stochastic mechanics, International Journal of Solids and Structures 37(1-2): 228-248. | Zbl 1075.74031
[008] Hurtado, J. and Barbat, A. (1998). Monte-Carlo techniques in computational stochastic mechanics, Archives of Computer Methods in Engineering 37(1): 3-30.
[009] Kamiński, M. (2005). Computational Mechanics of Composite Material, Springer-Verlag, London/New York, NY.
[010] Kamiński, M. (2013). The Stochastic Perturbation Method for Computational Mechanics, Wiley, Chichester. | Zbl 1275.74002
[011] Kleiber, M. and Hien, T. (1992). The Stochastic Finite Element Method, Wiley, Chichester. | Zbl 0902.73004
[012] Kwiatkowska, M., Norman, G., Sproston, J. and Wang, F. (2007). Symbolic model checking for probabilistic timed automata, Information and Computation 205(7): 1027-1077. | Zbl 1122.68075
[013] Kwiatkowska, M., Parker, D., Zhang, Y. and Mehmood, R. (2004). Dual-processor parallelisation of symbolic probabilistic model checking, 12th International Symposium Modeling, Analysis and simulation of Computer and Telecommunication Systems MASCOTS'04, Volendaam, The Netherlands, pp. 123-130.
[014] López, N., Nunez, M. and Rodriguez, I. (2006). Specification, testing and implementation relations for symbolic-probabilistic system, Theoretical Computer Science 353(1-3): 228-248. | Zbl 1088.68021
[015] Melchers, R. (2002). Structural Reliability Analysis and Prediction, Wiley, Chichester.
[016] Moller, B. and Beer, M. (2004). Fuzzy Randomness. Uncertainty in Civil Engineering and Computational Mechanics, Springer-Verlag, Berlin/Heidelberg. | Zbl 1080.74003
[017] Nayfeh, A.H. (2000). Perturbation Method, Wiley-VCH Verlag GmbH, Weinheim. | Zbl 0995.35001
[018] Peng, X., Geng, L., Liyan, W., Liu, G. and Lam, K. (1998). A stochastic finite element method for fatigue reliability analysis of gear teeth subjected to bending, Computational Mechanics 21(3): 253-261. | Zbl 0918.73105
[019] Sakata, S., Ashida, F., Kojima, T. and Zako, M. (2008). Three-dimensional stochastic analysis using a perturbation-based homogenization method for elastic properties of composite material considering microscopic uncertainty, International Journal of Solids and Structures 45(3-4): 894-907. | Zbl 1167.74384
[020] Schueller, G. (2007). On the treatment of uncertainties in structural mechanics and analysis, Computers and Structures 85(5-6): 235-243.
[021] Shachter, R.D., D'Ambrosio, B. and Del Favero, B. (1990). Symbolic probabilistic inference in belief networks, Proceedings of the 8th National Conference on Artificial Intelligence AAAI-90, Boston, MA, USA, pp. 126-131.
[022] Shannon, C. (1948). A mathematical theory of communication, The Bell System Technical Journal 27(4): 623-656. | Zbl 1154.94303
[023] Sobczyk, K. and Spencer, B. (1992). Random Fatigue: From Data to Theory, Academic Press, Boston, MA. | Zbl 0768.73054
[024] Spanos, P. and Ghanem, R. (1991). Stochastic Finite Elements. A Spectral Approach, Springer-Verlag, Berlin/Heidelberg. | Zbl 0722.73080
[025] To, C. and Kiu, M. (1994). Random responses of discretized beams and plates by the stochastic central difference method with time co-ordinate transformation, Computers and Structures 53(3): 727-738. | Zbl 0875.73380
[026] Van Noortwijk, J. and Frangopol, D. (2004). Two probabilistic life-cycle maintenance models for deteriorating civil infrastructures, Probabilistic Engineering Mechanics 19(4): 345-359.
[027] Wiggins, J. (1987). Option values under stochastic volatility. Theory and empirical evidence, Journal of Financial Economics 19(2): 351-372.
[028] Zienkiewicz, O. and Taylor, R. (2005). Finite Element Method for Solid and Structural Mechanics, Elsevier, Amsterdam. | Zbl 1084.74001