Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Stochastic models of uncertainties in computational mechanics [[electronic resource] /] / Christian Soize
| Stochastic models of uncertainties in computational mechanics [[electronic resource] /] / Christian Soize |
| Autore | Soize Christian |
| Pubbl/distr/stampa | Reston, Va., : American Society of Civil Engineers, : Engineering Mechanics Institute, 2012 |
| Descrizione fisica | 1 online resource (134 p.) |
| Disciplina | 003/.76 |
| Collana | Lecture notes in mechanics |
| Soggetto topico |
Stochastic models
Uncertainty (Information theory) Mechanics, Applied - Mathematical models |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-7844-7686-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Cover""; ""Contents""; ""1 Introduction""; ""2 Short overview of probabilistic modeling of uncertainties and related topics""; ""2.1 Uncertainty and variability""; ""2.2 Types of approach for probabilistic modeling of uncertainties""; ""2.3 Types of representation for the probabilistic modeling of uncertainties""; ""2.4 Construction of prior probability models using the maximum entropy principle under the constraints defined by the available information""; ""2.5 Random Matrix Theory""; ""2.6 Propagation of uncertainties and methods to solve the stochastic dynamical equations""
""2.7 Identification of the prior and posterior probability models of uncertainties""""2.8 Robust updating of computational models and robust design with uncertain computational models""; ""3 Parametric probabilistic approach to uncertainties in computational structural dynamics""; ""3.1 Introduction of the mean computational model in computational structural dynamics""; ""3.2 Introduction of the reduced mean computational model""; ""3.3 Methodology for the parametric probabilistic approach of modelparameter uncertainties"" ""3.4 Construction of the prior probability model of model-parameter uncertainties""""3.5 Estimation of the parameters of the prior probability model of the uncertain model parameter""; ""3.6 Posterior probability model of uncertainties using output-predictionerror method and the Bayesian method""; ""4 Nonparametric probabilistic approach to uncertainties in computational structural dynamics""; ""4.1 Methodology to take into account both the model-parameter uncertainties and the model uncertainties (modeling errors)""; ""4.2 Construction of the prior probability model of the random matrices"" ""4.3 Estimation of the parameters of the prior probability model of uncertainties""""4.4 Comments about the applications and the validation of the nonparametric probabilistic approach of uncertainties""; ""5 Generalized probabilistic approach to uncertainties in computational structural dynamics""; ""5.1 Methodology of the generalized probabilistic approach""; ""5.2 Construction of the prior probability model of the random matrices""; ""5.3 Estimation of the parameters of the prior probability model of uncertainties"" ""5.4 Posterior probability model of uncertainties using the Bayesian method""""6 Nonparametric probabilistic approach to uncertainties in structural-acoustic models for the low- and medium-frequency ranges""; ""6.1 Reduced mean structural-acoustic model""; ""6.2 Stochastic reduced-order model of the computational structuralacoustic model using the nonparametric probabilistic approach of uncertainties""; ""6.3 Construction of the prior probability model of uncertainties""; ""6.4 Model parameters, stochastic solver and convergence analysis"" ""6.5 Estimation of the parameters of the prior probability model of uncertainties"" |
| Record Nr. | UNINA-9910462559703321 |
Soize Christian
|
||
| Reston, Va., : American Society of Civil Engineers, : Engineering Mechanics Institute, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
| Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 470 p.) |
| Disciplina | 003/.76 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Probabilities
Computers Computer logic Software engineering Operating systems (Computers) Microprocessors Probability Theory and Stochastic Processes Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Operating Systems Processor Architectures |
| ISBN |
1-280-30787-0
9786610307876 3-540-24611-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems. |
| Record Nr. | UNISA-996465723403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Validation of Stochastic Systems : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
| Validation of Stochastic Systems : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 470 p.) |
| Disciplina | 003/.76 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Probabilities
Computers Computer logic Software engineering Operating systems (Computers) Microprocessors Probability Theory and Stochastic Processes Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Operating Systems Processor Architectures |
| ISBN |
1-280-30787-0
9786610307876 3-540-24611-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems. |
| Record Nr. | UNINA-9910767527203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||