Flux Jumps and H-T Diagram of Instability for MgB2

We present a study of magneto-thermal instabilities in polycrystalline MgB₂ superconductor, by magnetic hysteresis loop measurements and by investigations of magnetic flux dynamics with a miniature Hall probe. Temperature and magnetic field ranges where the flux jumps may be observed have been determined. On the basis of measurements of the magnetic flux dynamics, an average magnetic diffusivity describing the process of the flux jump is estimated. This parameter is compared with the thermal and magnetic diffusivities calculated on the basis of available data for thermal conductivity, heat capacity and resistivity. It is shown that the estimated value of the field of the first flux jump is influenced significantly by the field dependence of specific heat. In order to explain the observed phenomenon, the temperature reached by the sample during the flux jump at different magnetic fields is calculated.     

Simulation of Temperature Distribution in Stored Wheat without Aeration

A neural-deterministic simulation model applied for calculating distributions of temperatures and moisture content in a bed of wheat stored in a steel silo without aeration is presented in the article. The model consists of differential equations of heat and moisture transfer, initial and boundary conditions, and three artificial neural networks used during simulated ambient air conditions. Experiments and computer simulations were carried out in order to determine temperature fields in wheat grain stored in a steel silo for two months. The computer simulations were carried using MATLAB and FEMLAB software. The difference between measured and simulated temperature in grain near the silo wall at a height of 2.5 m from the bottom was less than 3.0°C. On the basis of the analysis performed it was concluded that the temperature distributions obtained with the model were consistent with the measured results obtained for grain stored in a steel silo without aeration.     

Inverse Analysis of Axisymmetrical Compression of HSLA Steel

The objective of the present work is to further explore the problem of selection of the flow stress function which will give the best agreement with experiments for a wide range of the Zener‐Hollomon parameter. Analysis of various flow stress functions was performed, with particular emphasis on the Zerilli‐Armstrong model. Inverse analysis was successfully applied to identify the flow stress model for microalloyed steels deformed in ferrite, two‐phase and austenite regions. Inverse method is applied to interpret the results of the axisymmetrical compression tests performed for HSLA steel samples on a Gleeble 3800 and Split Hopkinson Pressure Bar. Sensitivity analysis is performed based on local and global methods. The objective of the sensitivity analysis in the present study is the evaluation to what extent the selected coefficients in the rheological model influence the result of simulations. In the considered tests this result is represented by two dependent variables, the load and the shape of the sample (barrelling). It is confirmed that the Zerilli‐Armstrong equations should be applied at very high strain rates. Physical meaning is an advantage of this model. Difficulties with identification are the main disadvantage.     

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.     

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.     

Long short-term cognitive networks

Neural Computing and Applications - In this paper, we present a recurrent neural system named long short-term cognitive networks (LSTCNs) as a generalization of the short-term cognitive network...     

On elastic response of inelastic structures

Summary Convexity of elastic response regions in external load space for inelastic structures has been analyzed. Theoretical considerations have been carried out using the discrete matrix notation and piece-wise linear approximation proposed by Maier (cf. [10]). A necessary condition for the non-convexity of the elastic surface has been derived. Several examples including nonlinear elastic-plastic materials, linear elastic-plastic structures with unilateral constraints, and also slackened-linear elastic-plastic structures are presented and discussed.     

Modelling and solving grid resource allocation problem with network resources for workflow applications

A problem of allocating resources of a grid to workflow applications is considered. The problem consists, generally, in allocating distributed grid resources to tasks of a workflow in such a way that the resource demands of each task are satisfied. Grid resources are divided into computational resources and network resources. Computational tasks and transmission tasks of a workflow are distinguished. We present a model of the problem, and an algorithm for finding feasible resource allocations. A numerical example is included, showing the importance of the resource allocation phase on a grid. Some conclusions and directions for future research are given.