66 research outputs found
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--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--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
Mineral-melt-fluid composition of carbonate-bearing cumulate xenoliths in Tertiary alkali basalts of southern Slovakia
- …