Selected elements of rock burst state assessment in case studies from the Silesian hard coal mines

Exploitation of coal seams in the Upper Silesian Coal Basin is conducted in complex and difficult conditions. These difficulties are connected with the occurrence of many natural mining hazards and limitations resulting from the existing in this area surface infrastructure. One of the most important problems of Polish mining is the rock burst hazard and reliable evaluation of its condition. During long-years' mining practice in Poland a comprehensive system of evaluation and control of this hazard was de-veloped. In the paper the main aspects of rock burst hazard state evaluation will be presented, comprising: 1) rock mass inclination for rock bursts, I.e., rock strength properties investigation, comprehensive parametric evaluation of rock mass inclination for rock bursts, prognosis of seismic events induced by mining operations, methods of computer-aided modelling of stress and rock mass deformation parameters distribution, strategic rock mass classification under rock burst degrees; 2) immediate seismic and rock burst hazard state evaluation, I.e., low diameter test drilling method, seismologic and seismoacoustic method, comprehensive method of rock burst hazard state evaluation, non-standard methods of evaluation; 3) legal aspects of rock burst hazard state evaluation. Selected elements of the hazard state evaluation system are illustrated with specific practical examples of their applica-tion.     

Thermochemistry, lattice energetics and stability of hexahalogenohafnates

The enthalpies of thermal dissociation (Δ_dH) and formation (Δ_fH) found in the literature as well as the crystal lattice energies (E_c) of inorganic and organic hexahalogenohafnates (M^I₂(or M^{II)HfX2−₆}; M^I and M^II denote monovalent and divalent cations respectively and X denotes a halogen) are reviewed and discussed. The enthalpies of formation of the salts were evaluated using the above-mentioned Δ_dH values and known enthalpies of formation of products of decomposition. Combination of the enthalpies of formation of hexahalogenohafnates thus obtained or those of the literature with the literature values of the enthalpy of formation of cations and theoretically determined enthalpies of formation of HfX²⁻₆ (or electrostatic lattice energies of the salts) afforded lattice energies of the salts (or enthalpies of formation of gaseous HfX²⁻₆). Values of Δ_fH were also assessed taking theoretically obtained electrostatic lattice energies of the salts and enthalpies of formation of HfX²⁻₆ and literature or theoretically determined values of the enthalpy of formation of gaseous cations. The independent sets of crystal lattice energies and thermochemical radii for HfX²⁻₆ were obtained following the Kapustinskii—Yatsimirskii approach. Combination of the latter method with the thermochemical cycle afforded information on the influence of the dimensions of ions on the thermodynamic stability of hexahalogenohafnates with respect to dissociation and oxidation processes. The thermochemical quantities of experimental and theoretical origin correlate with each other reasonably well, thus increasing their reliability.     

Assessment of Numerical Models for Live Load Distribution in a Road Slab Bridge

This paper presents comparison of numerical models used in an analysis of a road bridge deck. The models were adapted for computing the live load distribution coefficients in composite concrete bridge deck. The load distribution method was chosen for assessment of the usability of different numerical model in slab bridge deck analysis. The goal of the study is to determine a simplest but still accurate numerical model to estimate live load effects on composite slab bridge. In the analysis, the well-established grillage approach was adapted for representation of the bridge deck as a basic model as well as more sophisticated three-dimensional models which was supposed to better represent the real behavior of the deck under concentrated wheel loads. The bridge deck was effectively modeled using beam and shell elements. The grillage method compares well with the finite-element method. This finding is allowed to establish simplification in numerical modeling of slab bridge decks for live load effect computations.     

Clonal variation in reproductive response to temperature by a potential bulking control agent, Lecane inermis (Rotifera)

The novel idea of using rotifers Lecane inermis (Rotifera, Monogononta) as a tool to overcome activated sludge bulking generates an on-going need to study rotifer biology. The results of biological research on rotifers can serve to improve the method so that it can be most effective when applied in treatment plants. The aim of this study was to test the effect of temperature on four selected rotifer clones originating from different treatment plants. The rate of population development from a single individual (parthenogenetic female) during a 10-day experiment was measured at three temperatures: 8, 15 and 20 degrees C. The temperatures used reflect the annual temperature distribution in the majority of municipal wastewater treatment plants in the temperate zone. The growth rate coefficient (r) and doubling time (tD) were calculated for each clone. Under the most favourable conditions (20 degrees C), rvalues varied between 0.41 and 0.47 d and doubling time between 1.5 and 1.7 d. At a temperature of 15 degrees C, the doubling time was approximately two times longer (2.5-3.4 d). The strongest intraspecific variations were observed at the lowest temperature of 8 degrees C. At this temperature, one of the clones almost failed to proliferate, and another exhibited a doubling time of 7.9 d. The doubling times were a few times greater for the remaining two clones (60 d for Lk1, 33.3 d for Lk4). These results could be very useful in predicting the chances that the rotifers would survive in a biological reactor in a wastewater treatment plant at the temperatures used in these reactors.     

Controllability of second-order infinite-dimensional systems

In the paper, the approximate controllability of linear abstract second-order infinite-dimensional dynamical systems is considered. It is proved using the frequency-domain method, that approximate controllability of second-order system can be verified by the approximate controllability conditions for the corresponding simplified first-order system. General results are then applied for approximate controllability investigation of a vibratory dynamical system modeling flexible mechanical structure. Some special cases are also considered. Moreover, remarks and comments on the relationships between different concepts of controllability are given. The paper extends earlier results on approximate controllability of second-order abstract dynamical systems.     

Certification of software for real-time safety-critical systems: state of the art

This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according to RTCA DO-178B “Software Considerations in Airborne Systems and Equipment Certification” and touches on tool qualification according to RTCA DO-254 “Design Assurance Guidance for Airborne Electronic Hardware.” Specifically, certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.     

A certain class of starlike functions

This paper presents a new class of functions analytic in the open unit disc, and closely related to the class of starlike functions. Besides being an introduction to this field, it provides an interesting connections defined class with well known classes. The paper deals with several ideas and techniques used in geometric function theory. The order of starlikeness in the class of convex functions of negative order is also considered here.     

On the distribution function of the complexity of finite sequences

Investigations of complexity of sequences lead to important applications such as effective data compression, testing of randomness, discriminating between information sources and many others. In this paper we establish formulae describing the distribution functions of random variables representing the complexity of finite sequences introduced by Lempel and Ziv in 1976. It is known that this quantity can be used as an estimator of entropy. We show that the distribution functions depend affinely on the probabilities of the so-called “exact” sequences.     

Integrated Data Management for a Fleet of Search‐and‐rescue Robots

Search‐and‐rescue operations have recently been confronted with the introduction of robotic tools that assist the human search‐and‐rescue workers in their dangerous but life‐saving job of searching for human survivors after major catastrophes. However, the world of search and rescue is highly reliant on strict procedures for the transfer of messages, alarms, data, and command and control over the deployed assets. The introduction of robotic tools into this world causes an important structural change in this procedural toolchain. Moreover, the introduction of search‐and‐rescue robots acting as data gatherers could potentially lead to an information overload toward the human search‐and‐rescue workers, if the data acquired by these robotic tools are not managed in an intelligent way. With that in mind, we present in this paper an integrated data combination and data management architecture that is able to accommodate real‐time data gathered by a fleet of robotic vehicles on a crisis site, and we present and publish these data in a way that is easy to understand by end‐users. In the scope of this paper, a fleet of unmanned ground and aerial search‐and‐rescue vehicles is considered, developed within the scope of the European ICARUS project. As a first step toward the integrated data‐management methodology, the different robotic systems require an interoperable framework in order to pass data from one to another and toward the unified command and control station. As a second step, a data fusion methodology will be presented, combining the data acquired by the different heterogenic robotic systems. The computation needed for this process is done in a novel mobile data center and then (as a third step) published in a software as a service (SaaS) model. The SaaS model helps in providing access to robotic data over ubiquitous Ethernet connections. As a final step, we show how the presented data‐management architecture allows for reusing recorded exercises with real robots and rescue teams for training purposes and teaching search‐and‐rescue personnel how to handle the different robotic tools. The system was validated in two experiments. First, in the controlled environment of a military testing base, a fleet of unmanned ground and aerial vehicles was deployed in an earthquake‐response scenario. The data gathered by the different interoperable robotic systems were combined by a novel mobile data center and presented to the end‐user public. Second, an unmanned aerial system was deployed on an actual mission with an international relief team to help with the relief operations after major flooding in Bosnia in the spring of 2014. Due to the nature of the event (floods), no ground vehicles were deployed here, but all data acquired by the aerial system (mainly three‐dimensional maps) were stored in the ICARUS data center, where they were securely published for authorized personnel all over the world. This mission (which is, to our knowledge, the first recorded deployment of an unmanned aerial system by an official governmental international search‐and‐rescue team in another country) proved also the concept of the procedural integration of the ICARUS data management system into the existing procedural toolchain of the search and rescue workers, and this in an international context (deployment from Belgium to Bosnia). The feedback received from the search‐and‐rescue personnel on both validation exercises was highly positive, proving that the ICARUS data management system can efficiently increase the situational awareness of the search‐and‐rescue personnel.