Monte Carlo Based Seismic Hazard Model for Southern Ghana
نویسندگان
چکیده
منابع مشابه
CyberShake: A Physics-Based Seismic Hazard Model for Southern California
CyberShake, as part of the Southern California Earthquake Center’s (SCEC) Community Modeling Environment, is developing a methodology that explicitly incorporates deterministic source and wave propagation effects within seismic hazard calculations through the use of physics-based 3D ground motion simulations. To calculate a waveform-based seismic hazard estimate for a site of interest, we begin...
متن کاملThe Use of Monte-Carlo Simulations in Seismic Hazard Analysis in Tehran and Surrounding Areas
Probabilistic seismic hazard analysis is a technique for estimating the annual rate of exceedance of a specified ground motion at a site due to the known and suspected earthquake sources. A Monte-Carlo approach is utilized to estimate the seismic hazard at a site. This method uses numerous resampling of an earthquake catalog to construct synthetic catalogs to evaluate the ground motion hazard a...
متن کاملSeismic Hazard Estimate from Background Seismicity in Southern California
We analyzed the historical seismicity in southern California to develop a rational approach for calculating the seismic hazard from background seismicity of magnitude 6.5 or smaller. The basic assumption for the approach is that future earthquakes will be clustered spatially near locations of historical mainshocks of magnitudes equal to or greater than 4. We analyzed the declustered California ...
متن کاملMonte Carlo Model Checking
We present MC, what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property specified in temporal logic holds of a system specification. Given a specification S of a finite-state system, an LTL (Linear Temporal Logic) formula φ, and parameters and δ, MC takes N = ln(δ)/ ln(1 − ) random samples (r...
متن کاملMC2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations
Agent-based simulation has shown great success for the study of complex adaptive systems and could in many areas show advantages over traditional analytical methods. Due to their internal complexity, however, agent-based simulations are notoriously difficult to verify and validate. This paper presents MCMABS, a Monte Carlo Model Checker for MultiagentBased Simulations. It incorporates the idea ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Civil Engineering Journal
سال: 2018
ISSN: 2476-3055
DOI: 10.28991/cej-0309191