Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the referred proceedings of the 11th International Workshop on Practical Applications of Stochastic Modelling, PASM 2022, was held in Alicante, Spain, in September 2022. The 7 full papers presented in this volume were carefully reviewed and selected from 9 submissions. The papers demonstrate a diverse set of applications and approaches of stochastic modelling.

Stochastic models. --- Stochastic processes. --- Application software. --- Stochastic Modelling in Statistics. --- Stochastic Modelling. --- Stochastic Networks. --- Computer and Information Systems Applications. --- Stochastic analysis --- Stochastic models

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This textbook investigates in detail the methods for stochastic dynamic response and stability analyses of nonlinear systems (especially ships and ocean engineering systems), elucidating the advantages and disadvantages of each of the methods (the statistical linearization method, the perturbation method, the Monte Carlo Simulation method, the numerical path integration method, the global geometric method and the first passage theory). Studies on stochastic dynamic analysis of nonlinear systems have attracted engineers and scientists from various disciplines, such as aeronautical, civil, mechanical and ocean engineering. Pursuing a systematic approach, this book establishes a fundamental framework for this topic, while emphasizing the importance of accurate and efficient analysis as well as the significant influence of choosing a suitable method in the design and optimization of various nonlinear engineering systems (especially ships and ocean engineering systems). The textbook is intended for upper undergraduate and graduate students who are interested in advanced dynamic analysis technologies, researchers investigating nonlinear systems under stochastic dynamic excitations, and civil/mechanical/structural/ocean engineers working on designing and optimization of real-world nonlinear engineering systems. The basis of English translation of this book from its Chinese original manuscript was done with the help of artificial intelligence. A subsequent human revision of the content was done by the author.

Mechanics, Applied. --- Mechanical engineering. --- Stochastic models. --- Engineering Mechanics. --- Mechanical Engineering. --- Stochastic Modelling in Statistics. --- Ships --- Hydrodynamics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides a compact and systematic overview of closure properties of heavy-tailed and related distributions, including closure under tail equivalence, convolution, finite mixing, maximum, minimum, convolution power and convolution roots, and product-convolution closure. It includes examples and counterexamples that give an insight into the theory and provides numerous references to technical details and proofs for a deeper study of the subject. The book will serve as a useful reference for graduate students, young researchers, and applied scientists.

Probabilities. --- Distribution (Probability theory). --- Stochastic models. --- Actuarial science. --- Applied Probability. --- Distribution Theory. --- Probability Theory. --- Stochastic Modelling in Statistics. --- Actuarial Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access proceedings volume brings selected, peer-reviewed contributions presented at the Third Stochastic Transport in Upper Ocean Dynamics (STUOD) 2022 Workshop, held virtually and in person at the Imperial College London, UK, September 26–29, 2022. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Computer Science and Automatic Control (INRIA) and the French Research Institute for Exploitation of the Sea (IFREMER). The project aims to deliver new capabilities for assessing variability and uncertainty in upper ocean dynamics. It will provide decision makers a means of quantifying the effects of local patterns of sea level rise, heat uptake, carbon storage and change of oxygen content and pH in the ocean. Its multimodal monitoring will enhance the scientific understanding of marine debris transport, tracking of oil spills and accumulation of plastic in the sea. All topics of these proceedings are essential to the scientific foundations of oceanography which has a vital role in climate science. Studies convened in this volume focus on a range of fundamental areas, including: Observations at a high resolution of upper ocean properties such as temperature, salinity, topography, wind, waves and velocity; Large scale numerical simulations; Data-based stochastic equations for upper ocean dynamics that quantify simulation error; Stochastic data assimilation to reduce uncertainty. These fundamental subjects in modern science and technology are urgently required in order to meet the challenges of climate change faced today by human society. This proceedings volume represents a lasting legacy of crucial scientific expertise to help meet this ongoing challenge, for the benefit of academics and professionals in pure and applied mathematics, computational science, data analysis, data assimilation and oceanography.

Geography --- Stochastic analysis. --- Stochastic models. --- Differential equations. --- Dynamics. --- Nonlinear theories. --- Mathematics of Planet Earth. --- Stochastic Analysis. --- Stochastic Modelling. --- Differential Equations. --- Applied Dynamical Systems. --- Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction. This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises. Among topics addressed: • In which order may actions may be generated and scheduled? • What states and configurations may be reached in a concurrent system? • Which interesting classes of systems can be analysed relatively efficiently? • Is it possible to synthesise a system of some class from its behaviour? • How can systems be represented algebraically, compositionally, and concisely? This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoretical—as well as in practical—aspects of Petri nets and related system models. Eike Best has been a full professor (now retired) affiliated to Carl von Ossietzky Universität Oldenburg, Germany. Raymond Devillers has been a full professor (now retired) affiliated to Université Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency.

Computer science --- Discrete mathematics. --- Dynamical systems. --- Mathematical models. --- Stochastic models. --- Discrete Mathematics in Computer Science. --- Dynamical Systems. --- Mathematical Modeling and Industrial Mathematics. --- Stochastic Modelling. --- Mathematics.