252 research outputs found
Social vulnerability to climate in the "Little Ice Age"?: an example from Central Europe in the early 1770s
International audienceThe paper is oriented on social vulnerability to climate in Switzerland and in the Czech Lands during the early 1770s. Documentary sources of climate related to man-made archives are discussed. Methods of temperature and precipitation reconstruction based on this evidence as well as climate impact analyses are presented. Modelling of Little Ice Age-type Impacts (LIATIMP) is applied to highlight climate impacts during the period 1750?1800 in the Swiss Plateau and in the Czech Lands. LIATIMP are defined as adverse climate situations affecting grain production, mainly in terms of rainy autumns, cold springs and rainy harvest-periods. The most adverse weather patterns according to this model occurred from 1769 to 1771 causing two, in the case of the Czech Lands even three successive harvest failures. The paper addresses the social and economic consequences of this accumulation of climatic stress and explores how the authorities and the victims dealt with this situation
Analyzing probabilistic pushdown automata
The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.V článku je podán přehled známých výsledků o pravděpodobnostních zásobníkových automatech a některých jejich podtřídách
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis
We consider parametric version of fixed-delay continuous-time Markov chains
(or equivalently deterministic and stochastic Petri nets, DSPN) where
fixed-delay transitions are specified by parameters, rather than concrete
values. Our goal is to synthesize values of these parameters that, for a given
cost function, minimise expected total cost incurred before reaching a given
set of target states. We show that under mild assumptions, optimal values of
parameters can be effectively approximated using translation to a Markov
decision process (MDP) whose actions correspond to discretized values of these
parameters
Three centuries of Slovakian drought dynamics
Tree-ring data from Slovakia are used to reconstruct decadal-scale fluctuations of the self-calibrated Palmer Drought Severity Index (scPDSI) over 1744-2006. The ring width chronology correlates at 0.58 (annual) and 0.88 (decadal) with regional-scale (48-50°N and 18-20°E) summer (June-August) scPDSI variations (1901-2002). Driest and wettest years common to the tree-ring and target data are 1947, 1948, 1964, and 1916, 1927, 1938, 1941, respectively. The model indicates decadal-scale drought ~1780-1810, 1850-1870, 1940-1960, and during the late twentieth century. The wettest period occurred ~1745-1775. Instrumental measurements and documentary evidence allow the reconstructed drought extremes to be verified and also provide additional insights on associated synoptic drivers and socioeconomic impacts. Comparison of anomalous dry conditions with European-scale fields of 500hPa geopotential height retains positive pressure anomalies centered over Central Europe leading to atmospheric stability, subsidence and dry conditions. Negative mid-tropospheric geopotential height anomalies over Western Europe are connected with anomalous wet conditions over Slovakia. Nine existing, annually resolved hydro-climatic reconstructions from Central Europe, which were herein considered for comparison with the Slovakian findings, reveal significant high- to low-frequency coherency among the majority of records. Differences between the Slovakian and the other reconstructions are most evident at the end of the nineteenth centur
Hydrometeorological extremes derived from taxation records for south-eastern Moravia, Czech Republic, 1751–1900 AD
Historical written records associated with tax relief at ten estates located in south-eastern Moravia (Czech Republic) are used for the study of hydrometeorological extremes and their impacts during the period 1751–1900 AD. At the time, the taxation system in Moravia allowed farmers to request tax relief if their crop yields had been negatively affected by hydrological and meteorological extremes. The documentation involved contains information about the type of extreme event and the date of its occurrence, while the impact on crops may often be derived. A total of 175 extreme events resulting in some kind of damage are documented for 1751–1900, with the highest concentration between 1811 and 1860 (74.9% of all events analysed). The nature of events leading to damage (of a possible 272 types) include hailstorm (25.7%), torrential rain (21.7%), flood (21.0%), followed by thunderstorm, flash flood, late frost and windstorm. The four most outstanding events, affecting the highest number of settlements, were thunderstorms with hailstorms (25 June 1825, 20 May 1847 and 29 June 1890) and flooding of the River Morava (mid-June 1847). Hydrometeorological extremes in the 1816–1855 period are compared with those occurring during the recent 1961–2000 period. The results obtained are inevitably influenced by uncertainties related to taxation records, such as their temporal and spatial incompleteness, the limits of the period of outside agricultural work (i.e. mainly May–August) and the purpose for which they were originally collected (primarily tax alleviation, i.e. information about hydrometeorological extremes was of secondary importance). Taxation records constitute an important source of data for historical climatology and historical hydrology and have a great potential for use in many European countries
Quantitative historical hydrology in Europe
Received: 27 Mar 2015 – Published in Hydrol. Earth Syst. Sci. Discuss.: 30 Apr 2015
Revised: 02 Jul 2015 – Accepted: 11 Jul 2015 – Published: 10 Aug 2015In recent decades, the quantification of flood hydrological characteristics (peak discharge, hydrograph shape, and runoff volume) from documentary evidence has gained scientific recognition as a method to lengthen flood records of rare and extreme events. This paper describes the methodological evolution of quantitative historical hydrology under the influence of developments in hydraulics and statistics. In the 19th century, discharge calculations based on flood marks were the only source of hydrological data for engineering design, but were later left aside in favour of systematic gauge records and conventional hydrological procedures. In the last two decades, there has been growing scientific and public interest in understanding long-term patterns of rare floods, in maintaining the flood heritage and memory of extremes, and developing methods for deterministic and statistical application to different scientific and engineering problems. A compilation of 46 case studies across Europe with reconstructed discharges demonstrates that (1) in most cases present flood magnitudes are not unusual within the context of the last millennium, although recent floods may exceed past floods in some temperate European rivers (e.g. the Vltava and Po rivers); (2) the frequency of extreme floods has decreased since the 1950s, although some rivers (e.g. the Gardon and Ouse rivers) show a reactivation of rare events over the last two decades. There is a great potential for gaining understanding of individual extreme events based on a combined multiproxy approach (palaeoflood and documentary records) providing high-resolution time flood series and their environmental and climatic changes; and for developing non-systematic and non-stationary statistical models based on relations of past floods with external and internal covariates under natural low-frequency climate variability.G. Benito and M. J. Machado were funded by the Spanish Ministry of Economy and Competitiveness through research projects CLARIES (CGL2011-29176) and PALEOMED (CGL2014-58127-C3-1-R), and by the CSIC PIE Intramural Project (ref. 201430E003).Peer reviewe
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events
that can be non-exponentially distributed. Within parametric ACTMCs, the
parameters of alarm-event distributions are not given explicitly and can be
subject of parameter synthesis. An algorithm solving the -optimal
parameter synthesis problem for parametric ACTMCs with long-run average
optimization objectives is presented. Our approach is based on reduction of the
problem to finding long-run average optimal strategies in semi-Markov decision
processes (semi-MDPs) and sufficient discretization of parameter (i.e., action)
space. Since the set of actions in the discretized semi-MDP can be very large,
a straightforward approach based on explicit action-space construction fails to
solve even simple instances of the problem. The presented algorithm uses an
enhanced policy iteration on symbolic representations of the action space. The
soundness of the algorithm is established for parametric ACTMCs with
alarm-event distributions satisfying four mild assumptions that are shown to
hold for uniform, Dirac and Weibull distributions in particular, but are
satisfied for many other distributions as well. An experimental implementation
shows that the symbolic technique substantially improves the efficiency of the
synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference
on Quantitative Evaluation of SysTems (QEST) 201
Long-term variability of drought indices in the Czech Lands and effects of external forcings and large-scale climate variability modes
While a considerable number of records document the temporal variability of
droughts for central Europe, the understanding of its underlying causes remains
limited. In this contribution, time series of three drought indices (Standardized Precipitation Index –
SPI; Standardized Precipitation Evapotranspiration Index – SPEI; Palmer Drought Severity Index – PDSI) are analyzed with regard to mid- to long-term drought variability
in the Czech Lands and its potential links to external forcings and internal
climate variability modes over the 1501–2006 period. Employing instrumental
and proxy-based data characterizing the external climate forcings (solar and
volcanic activity, greenhouse gases) in parallel with series representing the
activity of selected climate variability modes (El Niño–Southern
Oscillation – ENSO; Atlantic Multidecadal Oscillation – AMO; Pacific
Decadal Oscillation – PDO; North Atlantic Oscillation – NAO), regression
and wavelet analyses were deployed to identify and quantify the temporal
variability patterns of drought indices and similarity between individual
signals. Aside from a strong connection to the NAO, temperatures in the AMO
and (particularly) PDO regions were disclosed as one of the possible drivers
of inter-decadal variability in the Czech drought regime. Colder and wetter
episodes were found to coincide with increased volcanic activity, especially
in summer, while no clear signature of solar activity was found. In addition
to identification of the links themselves, their temporal stability and
structure of their shared periodicities were investigated. The oscillations
at periods of approximately 60–100 years were found to be potentially
relevant in establishing the teleconnections affecting the long-term
variability of central European droughts.</p
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
We present a practically appealing extension of the probabilistic model
checker PRISM rendering it to handle fixed-delay continuous-time Markov chains
(fdCTMCs) with rewards, the equivalent formalism to the deterministic and
stochastic Petri nets (DSPNs). fdCTMCs allow transitions with fixed-delays (or
timeouts) on top of the traditional transitions with exponential rates. Our
extension supports an evaluation of expected reward until reaching a given set
of target states. The main contribution is that, considering the fixed-delays
as parameters, we implemented a synthesis algorithm that computes the
epsilon-optimal values of the fixed-delays minimizing the expected reward. We
provide a performance evaluation of the synthesis on practical examples
- …