Estimating the upper limit of prehistoric peak ground acceleration using an in situ, intact and vulnerable stalagmite from Plavecka priepast cave (Detrekoi-zsomboly), Little Carpathians, Slovakia-first results

Earthquakes hit urban centres in Europe infrequently, but occasionally with disastrous effects. Obtaining an unbiased view of seismic hazard (and risk) is therefore very important. In principle, the best way to test probabilistic seismic hazard assessments (PSHAs) is to compare them with observations that are entirely independent of the procedure used to produce PSHA models. Arguably, the most valuable information in this context should be information on long-term hazard, namely maximum intensities (or magnitudes) occurring over time intervals that are at least as long as a seismic cycle. The new observations can provide information of maximum intensity (or magnitude) for long timescale as an input data for PSHA studies as well. Long-term information can be gained from intact stalagmites in natural caves. These formations survived all earthquakes that have occurred over thousands of years, depending on the age of the stalagmite. Their 'survival' requires that the horizontal ground acceleration (HGA) has never exceeded a certain critical value within that time period. Here, we present such a stalagmite-based case study from the Little Carpathians of Slovakia. A specially shaped, intact and vulnerable stalagmite in the Plavecka priepast cave was examined in 2013. This stalagmite is suitable for estimating the upper limit of horizontal peak ground acceleration generated by prehistoric earthquakes. The critical HGA values as a function of time going back into the past determined from the stalagmite that we investigated are presented. For example, at the time of Joko event (1906), the critical HGA value cannot have been higher than 1 and 1.3 m/s(2) at the time of the assumed Carnuntum event (similar to 340 AD), and 3000 years ago, it must have been lower than 1.7 m/s(2). We claimed that the effect of Joko earthquake (1906) on the location of the Plavecka priepast cave is consistent with the critical HGA value provided by the stalagmite we investigated. The approach used in this study yields significant new constraints on the seismic hazard, as tectonic structures close to Plavecka priepast cave did not generate strong earthquakes in the last few thousand years. The results of this study are highly relevant given that the two capitals, Vienna and Bratislava, are located within 40 and 70 km of the cave, respectively.Web of Science2151130111

From coinductive proofs to exact real arithmetic: theory and applications

Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs. The extracted programs construct and combine exact real number algorithms with respect to the binary signed digit representation of real numbers. The data type corresponding to the coinductive definition of continuous functions consists of finitely branching non-wellfounded trees describing when the algorithm writes and reads digits. We discuss several examples including the extraction of programs for polynomials up to degree two and the definite integral of continuous maps

Adsorption of benzene on Si(100) from first principles

Adsorption of benzene on the Si(100) surface is studied from first principles. We find that the most stable configuration is a tetra-$\sigma$-bonded structure characterized by one C-C double bond and four C-Si bonds. A similar structure, obtained by rotating the benzene molecule by 90 degrees, lies slightly higher in energy. However, rather narrow wells on the potential energy surface characterize these adsorption configurations. A benzene molecule impinging on the Si surface is most likely to be adsorbed in one of three different di-$\sigma$-bonded, metastable structures, characterized by two C-Si bonds, and eventually converts into the lowest-energy configurations. These results are consistent with recent experiments.Comment: 4 pages, RevTex, 2 PostScript gzipped figure

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs

Distributed optimization with arbitrary local solvers

With the growth of data and necessity for distributed optimization methods, solvers that work well on a single machine must be re-designed to leverage distributed computation. Recent work in this area has been limited by focusing heavily on developing highly specific methods for the distributed environment. These special-purpose methods are often unable to fully leverage the competitive performance of their well-tuned and customized single machine counterparts. Further, they are unable to easily integrate improvements that continue to be made to single machine methods. To this end, we present a framework for distributed optimization that both allows the flexibility of arbitrary solvers to be used on each (single) machine locally, and yet maintains competitive performance against other state-of-the-art special-purpose distributed methods. We give strong primal-dual convergence rate guarantees for our framework that hold for arbitrary local solvers. We demonstrate the impact of local solver selection both theoretically and in an extensive experimental comparison. Finally, we provide thorough implementation details for our framework, highlighting areas for practical performance gains

Loading

The subject of the paper is a comment on the representation of loads in the structural reliability assessment method considering the transition from the current methods (such as the Partial factors method applied in Eurocodes and in AISC-ASCE code) to fully probabilistic reliability assessment methods (such as Simulation-Based Reliability Assessment Metod, SBRA, Probabilistic model code and others)

Development of Wax Fuel Grain for Hybrid Rocket Motor

Abstract: The paper deals with development of wax fuel grain for testing of small hybrid rocket motor. The possible wax composition is selected as solid fuel which in combination with nitrous oxide as oxidizer creates hybrid propellant. Rotary casting system specially developed for this case and wax grain manufacturing is described. The first practice with such hybrid rocket motor testing is introduced