A compact lightweight multipurpose ground-penetrating radar for glaciological applications

We describe a compact lightweight impulse radar for radio-echo sounding of subsurface structures designed specifically for glaciological applications. The radar operates at frequencies between 10 and 75 MHz. Its main advantages are that it has a high signal-to-noise ratio and a corresponding wide dynamic range of 132 dB due mainly to its ability to perform real-time stacking (up to 4096 traces) as well as to the high transmitted power (peak voltage 2800 V). The maximum recording time window, 40 ?s at 100 MHz sampling frequency, results in possible radar returns from as deep as 3300 m. It is a versatile radar, suitable for different geophysical measurements (common-offset profiling, common midpoint, transillumination, etc.) and for different profiling set-ups, such as a snowmobile and sledge convoy or carried in a backpack and operated by a single person. Its low power consumption (6.6 W for the transmitter and 7.5 W for the receiver) allows the system to operate under battery power for mayor que7 hours with a total weight of menor que9 kg for all equipment, antennas and batteries.

Moving Object Detection for Real-Time High-Quality Lightweight Applications on Smart Cameras

Here, a novel and efficient strategy for moving object detection by non-parametric modeling on smart cameras is presented. Whereas the background is modeled using only color information, the foreground model combines color and spatial information. The application of a particle filter allows the update of the spatial information and provides a priori information about the areas to analyze in the following images, enabling an important reduction in the computational requirements and improving the segmentation results

A Reuse-based Lightweight Method for Developing Linked Data Ontologies and Vocabularies

The uptake of Linked Data (LD) has promoted the proliferation of datasets and their associated ontologies for describing different domains. Par-ticular LD development characteristics such as agility and web-based architec-ture necessitate the revision, adaption, and lightening of existing methodologies for ontology development. This thesis proposes a lightweight method for ontol-ogy development in an LD context which will be based in data-driven agile de-velopments, existing resources to be reused, and the evaluation of the obtained products considering both classical ontological engineering principles and LD characteristics.

Lightweight compilation of (C)LP to JavaScript

We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and its rich language extension mechanism based on packages. We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.

Limiting properties in the characterisation of mixed recycled aggregates for use in the manufacture of concrete

El objetivo principal de este trabajo de investigación es estudiar las propiedades del árido reciclado mixto para la fabricación de hormigón reciclado en aplicaciones no estructurales. Se ha realizado la caracterización completa de 35 muestras de áridos reciclados mixtos gruesos de distinta calidad, procedentes de 13 plantas de tratamiento diferentes de la geografía española. Se han estudiado las correlaciones que existen entre las diferentes propiedades, en particular, con la absorción de agua, el contenido de sulfatos y la composición. Se propone una clasificación de los áridos reciclados y se limita de forma indicativa el contenido de yeso para que una muestra de árido reciclado mixto cumpla con la limitación del 0,8% de los sulfatos solubles en ácido de la Instrucción EHE-08. Recycling of construction and demolition waste (CDW) has become a widespread concern in Spain for the last years, as a way to preserve natural resources and achieve a better control of waste disposal sites.Specific applications which make use of mixed recycled aggregates are of great importance, as this types of aggregates constitute the majority of the total production. Structural and non-structural concrete is one of the possible applications, being this the main goal of our study. This paper presents a study on the physical and chemical characteristics of mixed recycled aggregates which have been obtained from different CDW treatment plants of Spain. Correlations between the different properties were investigated in order to find criterions of acceptance for recycled aggregates to be used in concrete. The comparison between the properties offers the possibility of pre-selecting a great quantity of mixed recycled aggregates, these being suitable for either structural and non-structural concrete. The determination of water absorption and the gypsum content are good indicators in order to evaluate the quality of the mixed recycled aggregates for its application in the production of concrete.

Estudio de hormigones reciclados no estructurales fabricados con árido reciclado mixto : propiedades mecánicas y expansión debida al contenido de sulfatos

El objetivo principal de este trabajo de investigación es estudiar las posibilidades de utilización del árido reciclado mixto para un hormigón reciclado en aplicaciones no estructurales, justificando mediante la experimentación la validez para esta aplicación, tanto del árido reciclado como del hormigón reciclado. Esta tesis se centró en los aspectos más restrictivos y limitativos en la utilización de los áridos mixtos en hormigón reciclado, basándose tanto en la normativa internacional existente como en los resultados obtenidos en los estudios bibliográficos consultados. La primera tarea realizada fue la caracterización completa de las propiedades del árido reciclado mixto, recogiendo especialmente los siguientes aspectos: granulometría, contenido de finos, absorción y densidades, composición del árido reciclado, índice de lajas, coeficiente de Los Ángeles, partículas ligeras y contenido de sulfatos. De este estudio de los áridos reciclados, se han destacado relaciones entre las propiedades. Las diferentes correlaciones permiten proponer criterios de calidad de un árido reciclado mixto para un hormigón reciclado. Se ha elegido un árido reciclado mixto entre los estudiados, de características límite admisibles, para obtener resultados conservadores sobre el hormigón reciclado fabricado con él. En una segunda etapa, se ha realizado un estudio de dosificación completo del hormigón reciclado, evaluando la consistencia del hormigón en estado fresco y la resistencia a compresión del hormigón en estado endurecido y se ha comparado con las mismas propiedades de un hormigón convencional. Se ha analizado la capacidad de absorción del árido conseguida con los métodos de presaturación empleados y en función de su estado de humedad, para poder evaluar las relaciones agua/cemento totales y efectivas del hormigón. Se ha estudiado el efecto de estos dos parámetros tanto en la consistencia como en la resistencia del hormigón reciclado. Finalmente, se ha estudiado el hormigón fabricado con un 50% y 100% de una partida de árido reciclado mixto de calidad admisible y se han ensayado las siguientes propiedades: consistencia, resistencia a compresión, resistencia a tracción indirecta, módulo de elasticidad dinámico, cambios de longitud, porosidad abierta y microscopía. Para analizar el efecto de los sulfatos, se han añadido artificialmente cantidades de yeso controladas en el hormigón reciclado. Se fabricaron hormigones con dos tipos de cemento, un cemento CEM I 42,5 R con elevado contenido de C3A, que debería dar lugar a expansiones mayores y un cemento con adiciones puzolánicas CEM II A-P 42,5 R, que atenuaría el comportamiento expansivo en el hormigón. Los resultados finales indican que la utilización del árido reciclado mixto en proporciones de hasta un 50%, permiten cubrir la gama de resistencias más exigentes dentro del hormigón no estructural. El contenido de sulfatos puede variar desde un 0,8% hasta un 1,9%, según el tipo de cemento y la proporción de sustitución del árido natural por árido reciclado mixto. Tanto en el caso del árido reciclado como en el hormigón, se ha realizado un estudio comparativo entre el conjunto de datos recopilados en la bibliografía y los obtenidos en este estudio experimental. En varias propiedades del hormigón reciclado, se han comparado los resultados con las fórmulas de la Instrucción EHE-08, para establecer unos coeficientes de corrección a aplicar a un hormigón reciclado con fines no estructurales. The main objective of this investigation work is to study the possibilities of using recycled mixed aggregate for a recycled concrete in non structural applications, justifying by means of experimentation both the validity of the recycled aggregate and recycled concrete. This thesis focused on the most restrictive and limiting aspects in the mixed aggregate use in recycled concrete, on the basis of the international standards as well on the results obtained in the bibliographic studies consulted. The first task achieved was the complete charcaterization of the mixed recycled aggregate properties, specially the following aspects: grain size analysis, fines content, absorption and densities, recycled aggregate composition, flakiness index, Los Angeles coefficient, lightweight particles and sulphate content. From this study, correlations between the properties were highlighted. The different correlations make possible to propose quality criterions for recycled mixed aggregate in concrete. Among the recycled aggregates studied, one of acceptable characteristics but near the limits established, was chosen to obtain conservative results in the recycled concrete made with it. In a second step, a complete recycled concrete mix design was made, to evaluate concrete consistency in the fresh state and concrete compressive strength in the hardened state and its properties were compared to those of a control concrete. The aggregate absorption capacity was analized with the presaturation methods achieved and in function of its state of humidity, to evaluate the total and effective water/cement ratios. The effect of these two parameters, both in consistency and compressive strength of recycled concrete, was studied. Finally, the concrete made with 50% and 100% of the elected recycled mixed aggregate was studied and the following concrete properties were tested: consistency, compressive strength, tensile strength, dynamic modulus of elasticity, length changes, water absorption under vacuum and microscopy. To analize the effect of sulphate content, some controlled quantities of gypsum were artificially added to the recycled concrete. Concretes with two types of cement were made, a cement CEM I 42,5 R with a high content of C3A, that would lead to major expansions and a cement with puzzolanic additions CEM II A-P 42,5 R that would lower the expansive behaviour of concrete. The final results indicate that the use of mixed recycled aggregate in proportions up to 50% make possible to cover the overall demanding strengths within the non structural concrete. Sulphates content can range between 0,8% and 1,9%, in function of the type of cement and the proportion of natural aggregate replacement by mixed recycled one. Both in the case of recycled aggregate and concrete, a comparative study was made between the data coming from the bibliography and those obtained in the experimental study. In several recycled concrete properties, the results were compared to the formulas of Spanish Instruction of Structural Concrete (Instruction EHE-08), to establish some correction coefficients to apply for a non structural recycled concrete.

Towards a lightweight mobile semantic-based approach for enhancing interaction with smart objects

This work describes a semantic extension for a user-smart object interaction model based on the ECA paradigm (Event-Condition-Action). In this approach, smart objects publish their sensing (event) and action capabilities in the cloud and mobile devices are prepared to retrieve them and act as mediators to configure personalized behaviours for the objects. In this paper, the information handled by this interaction system has been shaped according several semantic models that, together with the integration of an embedded ontological and rule-based reasoner, are exploited in order to (i) automatically detect incompatible ECA rules configurations and to (ii) support complex ECA rules definitions and execution. This semantic extension may significantly improve the management of smart spaces populated with numerous smart objects from mobile personal devices, as it facilitates the configuration of coherent ECA rules.

A theoretical study on the formation of iodine oxide aggregates and monohydrates

Biotic and abiotic emissions of molecular iodine and iodocarbons from the sea or the ice surface and the intertidal zone to the coastal/polar marine boundary layer lead to the formation of iodine oxides, which subsequently nucleate forming iodine oxide particles (IOPs). Although the link between coastal iodine emissions and ultrafine aerosol bursts is well established, the details of the nucleation mechanism have not yet been elucidated. In this paper, results of a theoretical study of a range of potentially relevant aggregation reactions of different iodine oxides, as well as complexation with water molecules, are reported. Thermochemical properties of these reactions are obtained from high level ab initio correlated calculations including spin–orbit corrections. The results show that the nucleation path most likely proceeds through dimerisation of I2O4. It is also shown that water can hinder gas-to-particle conversion to some extent, although complexation with key iodine oxides does not remove enough of these to stop IOP formation. A consistent picture of this process emerges from the theoretical study presented here and the findings of a new laboratory study reported in the accompanying paper (Gomez Martin et al., 2013).