Global analysis of standard prolog programs

Abstract interpretation-based data-flow analysis of logic programs is, at this point, relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Existing proposals generally restrict in one way or another the classes of programs which can be analyzed. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially the recent ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs which use the full power of the language.

Procedimiento para la medición y verificación de la directividad y la cobertura de una fuente sobre un elemento de fachada de acuerdo a la norma ISO 140-5

El apartado <4.2 Altavoz> de la Norma Internacional UNE-EN ISO 140-5 [1] especifica que la directividad del altavoz usado en el ensayo debe asegurar en todas las bandas de frecuencias de interés, unas diferencias de nivel locales inferiores a 5dB (o a 10 dB para fachadas de dimensiones mayores a 5m), medidas en campo libre, sobre una superficie del mismo tamaño y orientación que la pared o elemento a ensayar. Este requisito debe verificarse en unas bandas de frecuencia de interés que sean como mínimo los tercios de octava desde 100Hz hasta 3150Hz, y preferiblemente desde 50Hz hasta 5kHz. Desde hace unos años, en el Laboratorio de sonido de la EUIT de Telecomunicación de la Universidad Politécnica de Madrid, los autores han implementado un método en el que, a partir de las medidas de directividad en cámara anecoica de la fuente sonora a ensayar, se calcula el campo sonoro directo sobre una superficie ficticia que representa un elemento de fachada en la misma disposición que se indica en la norma ICO 140-5 y con unas dimensiones según se requieran en el procedimiento. También se estima la dimensión horizontal máxima ΔXmax de una fachada rectangular en relación de aspecto fija que permite verificar la norma con los criterios de 5dB y 10dB de diferencias máximas de niveles directos en dicha fachada. En esta ponencia se detalla el procedimiento anterior. ABSTRACT. The Section "4.2 loudspeaker" of the UNE-EN ISO 140-5 International Standard: "Field measurements of airborne sound insulation of façade elements and façades", specifies that the directivity of the loudspeaker used in the test must ensure in all frequency bands of interest, local level differences less than 5dB (or 10dB for façade dimensions greater than 5m), measured in free field over an area of the same size and orientation as the wall or element to be tested. This requirement must be verified in the frequency bands of interest which are, at least, the third octave bands from 100Hz to 3150Hz, preferably from 50Hz to 5kHz. In recent years, in the Laboratory of Sound of the EUIT Telecomunicación (Universidad Politécnica de Madrid), the authors have implemented a method that, from directivity measurements of loudspeakers performed in the anechoic room, the direct sound field on a surface in the same layout as indicated in the ISO standard is calculated. It is also estimated the maximum horizontal dimension Δxmax of a rectangular façade for each aspect ratio which verify the standard criteria of either 5dB or 10dB for the maximum differences of direct levels in the façade. This paper details the procedure above introduced.

Environmental risk assessment in open pit blasting operations: compliance with ISO 31010:2010

All activities of an organization involve risks that should be managed. The risk management process aids decision making by taking account of uncertainty and the possibility of future events or circumstances (intended or unintended) and their effects on agreed objectives. With that idea, new ISO Standard has been drawn up. ISO 31010 has been recently issued which provides a structured process that identifies how objectives may be affected, and analyses the risk in term of consequences and their probabilities before deciding on whether further treatment is required. In this lecture, that ISO Standard has been adapted to Open Pit Blasting Operations, focusing in Environmental effects which can be managed properly. Technique used is Fault Tree Analysis (FTA), which is applied in all possible scenarios, providing to Blasting Professionals the tools to identify, analyze and manage environmental effects in blasting operations. Also this lecture can help to minimize each effect, studying each case. This paper also can be useful to Project Managers and Occupational Health and Safety Departments (OH&S) because blasting operations can be evaluated and compared one to each other to determine the risks that should be managed in different case studies. The environmental effects studied are: ground vibrations, flyrock and air overpressure (airblast). Sometimes, blasting operations are carried out near populated areas where environmental effects may impose several limitations on the use of explosives. In those cases, where these factors approach certain limits, National Standards and Regulations have to be applied.

Caracterización del Acabado Superficial en la Industria Aeronautica y Aeroespacial - Desarrollo de Software Patrón de Referencia de Acuerdo a la Norma ISO 5436: VisualSR2D

This BSc thesis introduces the development of an independent, standalone software, VisualSR2D, for the characterization of software roughness. The software is written in Matlab, can be installed in any Windows OS as an standalone application and is available under request. It is intended to be an alternative for Softgauges (National Physical Laboratory, UK), RPTB (Physikalisch-Technische Bundesanstal, Germany) and SMATS (National Institute of Standards and Technology, USA) in the study of surface roughness. The standard ISO 5436-2 is presented, the above mentioned alternative developments are analyzed and compared, best practices are gathered, and finally, the development and functionality of VisualSR2D is presented.