252 research outputs found

    Social vulnerability to climate in the "Little Ice Age"?: an example from Central Europe in the early 1770s

    No full text
    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

    Get PDF
    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

    Full text link
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Full text link
    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 ε\varepsilon-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

    Get PDF
    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

    Full text link
    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
    corecore