Optimización de voladuras en cantera de caliza

La optimización, es el proceso de buscar la mejor solución para un problema dado. En el ámbito de los explosivos, la optimización de voladuras es el proceso de obtener los mejores resultados para alcanzar una serie de objetivos, como pueden ser una fragmentación determinada, un vuelco específico, etc., buscando la eficiencia económica. El objetivo de este proyecto es optimizar las voladuras de una cantera de caliza en la provincia de Sevilla, que abastece a una planta de tratamiento que necesita materiales con un rango de tamaños específico. Esta planta de tratamiento obtiene un producto terminado de cal y otro de árido de caliza. Actualmente el todo-uno obtenido de la cantera no cumple estrictamente con este rango de tamaños, por lo que se han propuesto una serie de cambios en las voladuras que optimicen el proceso general de arranque, carga y transporte, con el objetivo final de aumentar el beneficio económico de la empresa. Por último, para tener una idea de los resultados esperados se ha realizado una comparativa de la fragmentación esperada utilizando el Modelo de Kuz-Ram, que nos indica la homogeneidad o la heterogeneidad de los fragmentos de roca volada y de esta forma tener una medida del éxito de la optimización. ABSTRACT The optimization is the process to find the best solution for a problem. In the explosive´s area, the blasting optimization is the process to search the best results to reach defined objectives (like a specified fragmentation or determined roll-over) looking for the economic efficiency. The objective of this project is the optimized blasting in a limestone quarry situated in the province of Seville. This quarry supplies a treatment plant that requires materials with a determined range of sizes. This plant gets two different types of products: a product of cal and a product of limestone. Currently, the materials retrieved in the quarry doesn´t achieve the range of size necessary. Because of this is the reason have been proposed several changes in the blasting for optimizing the results; the final objective is increase the economic benefit of the company. Finally, for checking the results have been realized a fragmentation comparative using the Kuz-Ram model. This model show homogeneity or heterogeneity the rock fragments and sample the exit or the failure of the optimization

Safety assessment of underground vehicles passing over highly resilient straight tracks in the presence of a broken rail

In this paper, vehicle-track interaction for a new slab track design, conceived to reduce noise and vibration levels has been analyzed, assessing the derailment risk for trains running on curved track when encountering a broken rail. Two different types of rail fastening systems with different elasticities have been analysed and compared. Numerical methods were used in order to simulate the dynamic behaviour of the train-track interaction. Multibody system (MBS) modelling techniques were combined with techniques based on the finite element method (FEM). MBS modelling was used for modelling the vehicle and FEM for simulating the elastic track. The simulation model was validated by comparing simulated results to experimental data obtained in field testing. During the simulations various safety indices, characteristic of derailment risk, were analysed. The simulations realised at the maximum running velocity of 110 km/h showed a similar behaviour for several track types. When reducing the running speed, the safety indices worsened for both cases. Although the worst behaviour was observed for the track with a greater elasticity, in none of the simulations did a derailment occur when running over the broken rail.

Safety assessment of underground vehicles passing over highly resilient curved tracks in the presence of a broken rail

Vehicle–track interaction for a new resilient slab track designed to reduce noise and vibration levels was analysed, in order to assess the derailment risk on a curved track when encountering a broken rail. Sensitivity of the rail support spacing of the relative position of the rail breakage between two adjacent rail supports and of running speed were analysed for two different elasticities of the rail fastening system. In none of the cases analysed was observed an appreciable difference between either of the elastic systems. As was expected, the most unfavourable situations were those with greater rail support spacing and those with greater distance from the breakage to the nearest rail support, although in none of the simulations performed did a derailment occur when running over the broken rail. When varying the running speed, the most favourable condition was obtained for an intermediate speed, due to the superposition of two antagonistic effects.

Abstraction-carrying code: a model for mobile code safety

Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The intended benefit is that the program consumer can locally validate the certificate w.r.t. the "untrustcd" program by means of a certificate checker a process which should be much simpler, efficient, and automatic than generating the original proof. The practical uptake of PCC greatly depends on the existence of a variety of enabling technologies which allow both proving programs correct and replacing a costly verification process by an efficient checking proceduri on th( consumer side. In this work we propose Abstraction- Carrying Code (ACC), a novel approach which uses abstract interpretation as enabling technology. We argue that the large body of applications of abstract interpretation to program verification is amenable to the overall PCC scheme. In particular, we rely on an expressive class of safely policies which can be defined over different abstract domains. We use an abstraction (or abstract model) of the program computed by standard static analyzers as a certificate. The validity of the abstraction on ihe consumer side is checked in a single pass by a very efficient and specialized abstract-interpreter. We believe that ACC brings the expressiveness, flexibility and automation which is inherent in abstract interpretation techniques to the area of mobile code safety.

Differences into HT and HTO concentrations in air into the Western Mediterranean Basin and Continental Europe and Safety Related Issues.

Real time Tritium concentrations in air in two chemical forms, HT and HTO, coming from an ITER-like fusion reactor as source were coupled the European Centre Medium Range Weather Forecast (ECMWF) numerical model with the Lagrangian Atmospheric-particle dispersion model FLEXPART. This tool was analyzed in nominal tritium discharge operational reference and selected incidental conditions affecting the Western Mediterranean Basin during 45 days during summer 2010 together with surface “wind observations” or weather data based in real hourly observations of wind direction and velocity providing a real approximation of the tritium behavior after the release to the atmosphere from a fusion reactor. From comparison with NORMTRI - a code using climatologically sequences as input - over the same area, the real time results have demonstrated an apparent overestimation of the corresponding climatologically sequence of Tritium concentrations in air outputs, at several distances from the reactor. For this purpose two development patterns were established. The first one was following a cyclonic circulation over the Mediterranean Sea and the second one was based on the plume delivered over the Interior of the Iberian Peninsula and Continental Europe by another stabilized circulation corresponding to a High Pressure System. One of the important remaining activities defined then, was the qualification tool. In order to validate the model of ECMWF/FLEXPART we have developed of a new complete data base of tritium concentrations for the months from November 2010 to March 2011 and defined a new set of four patterns of HT transport in air, in each case using real boundary conditions: stationary to the North, stationary to the South, fast and very fast displacement. Finally the differences corresponding to those four early patterns (each one in assessments 1 and 2) has been analyzed in terms of the tuning of safety related issues and taking into account the primary phase o- - f tritium modeling, from its discharge to the atmosphere to the deposition on the ground, will affect to the complete tritium environmental pathway altering the chronic dose by absorption, reemission and ingestion both from elemental tritium, HT and from the oxide of tritium, HTO

An abstract interpretation-based approach to mobile code safety

Recent approaches to mobile code safety, like proof- arrying code, involve associating safety information to programs. The code supplier provides a program and also includes with it a certifícate (or proof) whose validity entails compliance with a predefined safety policy. The intended benefit is that the program consumer can locally validate the certifícate w.r.t. the "untrusted" program by means of a certifícate checker—a process which should be much simpler, eflicient, and automatic than generating the original proof. We herein introduce a novel approach to mobile code safety which follows a similar scheme, but which is based throughout on the use of abstract interpretation techniques. In our framework the safety policy is specified by using an expressive assertion language defined over abstract domains. We identify a particular slice of the abstract interpretation-based static analysis results which is especially useful as a certifícate. We propose an algorithm for checking the validity of the certifícate on the consumer side which is itself in fact a very simplified and eflicient specialized abstract-interpreter. Our ideas are illustrated through an example implemented in the CiaoPP system. Though further experimentation is still required, we believe the proposed approach is of interest for bringing the automation and expressiveness which is inherent in the abstract interpretation techniques to the área of mobile code safety.

Wind-induced loads over double cantilever bridges under construction

Within the last century the interest in wind-induced loads over civil engineering structures has become more and more important, the reason being that the development of new construction techniques and materials has allowed engineers and architects to design new structures far from the traditional concepts, and in many cases wind actions over these singular structures are not included in the existing codes of practice. In this paper the windinduced static loads over bridges constructed by the double cantilever method during erection stages are considered. The aerodynamic load over a double cantilever bridge under a yawing-angled wind produces a yawing (torsional) moment on the bridge deck, which can lead to undesirable rotation of the deck about the supporting pier. The effects of the wind yaw angle and the length of the deck are analysed. The wind action caused by the presence of sliding concrete forms at the ends of the deck is also studied.