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.

Estimación de la resistencia in situ de un HAC mediante la resistencia de probetas testigo

El presente trabajo tiene como objetivo establecer algunos factores de corrección que afectan el resultado de la resistencia de las probetas testigo a fin de pronosticar la resistencia a compresión in situ. Para el cumplimiento de dicho objetivo se han fabricado 30 bloques de 500x500x1000 mm en Hormigón Autocompactante (HAC) cubriendo un amplio rango de resistencias de 20 MPa a 80 MPa. De estos bloques se han extraído 360 probetas testigo con variaciones en el diámetro (50 mm, 75 mm y 100 mm), en la dirección de extracción (horizontal y vertical) y en la condición de humedad secas y húmedas). Para el pronóstico de la resistencia in situ se ha considerado el principio de superposición de efectos establecido en normas como la ACI-214.4R-10. En este sentido, para las condiciones del ensayo, se han cuantificado mediante factores de corrección los efectos generados por el diámetro y la condición de humedad del testigo en el momento del ensayo y por el nivel resistente del hormigón. Además, se ha valorado de manera conjunta la influencia de las variables intrínsecas de las probetas testigo, tales como, microfisuración, efecto pared, condiciones de contorno, etc. Los resultados indicaron que algunos factores de corrección utilizados para pronosticar la resistencia in situ, inciden de forma muy diferente en los HAC con respecto a los hormigones vibrados tradicionalmente (HVT).

Investigaciones dendrogeomorfológicas aplicadas a la gestión de los impactos por erosión hídrica acelerada de suelos en las sendas del parque nacional de Monfragüe

En muchos espacios naturales protegidos, el flujo peatonal de visitantes se concentra en determinados sectores del área de uso público, sobre todo en la proximidad de las principales vías de acceso (carreteras, núcleos de población...) y en un reducido número de sendas y caminos peatonales que comunican los elementos más visitados. Es el caso del camino hacia la Cola de Caballo en el parque nacional de Ordesa y Monte Perdido; el camino a la ermita de San Frutos en el parque natural de las Hoces del río Duratón; o la senda que comunica el Salto del Gitano con el castillo y la ermita en el parque nacional de Monfragüe, por citar algunos ejemplos. Esta concentración de actividades de senderismo produce en determinados tramos de estos caminos y sendas (zonas con suelos arenosos o limosos y altas pendientes) una erosión hídrica acelerada por el efecto físico del pisoteo, compactación y continua fricción. En ocasiones se llegan a formar regueros, pequeños barrancos y se pierden grandes cantidades de suelos fértiles, que además fosilizan y aterran aquéllas zonas donde va a parar la escorrentía, produciendo importantes impactos en estos espacios singulares. Existen numerosos ejemplos de ingentes partidas económicas que los gestores de estos espacios protegidos tienen que destinar a la reparación y recuperación de estas sendas y su entorno. Para ayudar a los gestores es básico disponer de metodologías y herramientas que cuantifiquen esta erosión hídrica (en mm/año) delimitando qué tramos de estas sendas y caminos tienen los mayores problemas erosivos, para así determinar cuáles deben ser prioritarios en su corrección, o qué acciones de restricción de paso o determinación de capacidad de acogida, son necesarias adoptar. Para esta cuantificación son muy útiles, desde hace décadas, las técnicas dendrogeomorfológicas aplicadas a las raíces de árboles que han quedado expuestas a la intemperie por la erosión acelerada en las sendas. En este trabajo se propone una nueva metodología de medición del suelo denudado en relación con la raíz, basado en el estudio microtopográfico de la superficie utilizando moldes y réplicas de alta resolución realizados en diferentes tipos de siliconas, latex y escayolas, y su posterior escaneo tridimensional. La zona piloto donde se ha ensayado esta metodología son los senderos y caminos del parque nacional de Monfragüe (Cáceres), que presentan raíces expuestas debido a la intensa erosión hídrica acelerada como consecuencia de la elevada concentración de visitantes. Los estudios son financiados por el proyecto de investigación IDEA-GesPPNN, del OAPN (MAGRAMA).

Estudio de reconocimiento general de la cuenca de la rambla de Valdelobos y proyecto de correccion de la cuenca de la rambla de los Aguanaces y resto del monte del Mismo nombre

Latente en el ánimo del Ingeniero que suscribe, como en el de la Jefatura de esta División, la excepcional importancia, que "tiene dentro de la economía valenciana» y aun nacional, el debido aprovechamiento y regulación de las aguas del Rio Turia» figuraba en sus proyectos de Trabajos» como de los más destacados» el correspondiente al debido tratamiento y corrección de la cuenca de dicho Rio»

Proyecto de correccion y repoblacion forestal del torrente Casasdioses

A consecuencia de una solicitud elevada al Ministerio de Fomento en Agosto del año 1.931f por la Alcaldía de Castiello, en demanda de auxilio contra los daños causados por el torrente "Casasdioses", fué encargado al Ingeniero, Sr. Iturralde, afecto a la 6ª División, del Estudio y Redacción del Proyecto de corrección del mismo, trabajo sobre el que la Jefatura, informó en el sentido de que de poco o nada servirían las obras de corrección preconizadas en aquél, si antes o simultáneamente no se repoblaban la parte superior de la cuenca, cuya superficie se hallaba en su totalidad poseída por particulares vecinos del pueblo solicitante.

Proyecto de correccion y repoblacion forestal de las cuencas de las Ramblas de Belen, Librillas y Algeciras. Provincia de Murcia

El objeto del presente proyecto - la corrección y repoblación de las cuencas de las ramblas de Belén, Librilla y Algeciras, — afluentes del Guadalentín- constituye una pequeña pero importante pieza dentro del vasto plan de obras hidráulicas e hidrológico-forestales a realizar en la cuenca de aquel río y cuya última y al mismo tiempo fundamental misión, es el evitar las inundaciones que periódicamente azotan a la huerta murciana.

Sistema de instrumentação e controle para células a combustível

Este trabajo presenta un estudio sobre el funcionamiento y aplicaciones de las células de combustible de membrana tipo PEM, o de intercambio de protones, alimentadas con hidrógeno puro y oxigeno obtenido de aire comprimido. Una vez evaluado el proceso de dichas células y las variables que intervienen en el mismo, como presión, humedad y temperatura, se presenta una variedad de métodos para la instrumentación de tales variables así como métodos y sistemas para la estabilidad y control de las mismas, en torno a los valores óptimos para una mayor eficacia en el proceso. Tomando como variable principal a controlar la temperatura del proceso, y exponiendo los valores concretos en torno a 80 grados centígrados entre los que debe situarse, es realizado un modelo del proceso de calentamiento y evolución de la temperatura en función de la potencia del calentador resistivo en el dominio de la frecuencia compleja, y a su vez implementado un sistema de medición mediante sensores termopar de tipo K de respuesta casi lineal. La señal medida por los sensores es amplificada de manera diferencial mediante amplificadores de instrumentación INA2126, y es desarrollado un algoritmo de corrección de error de unión fría (error producido por la inclusión de nuevos metales del conector en el efecto termopar). Son incluidos los datos de test referentes al sistema de medición de temperatura , incluyendo las desviaciones o error respecto a los valores ideales de medida. Para la adquisición de datos y implementación de algoritmos de control, es utilizado un PC con el software Labview de National Instruments, que permite una programación intuitiva, versátil y visual, y poder realizar interfaces de usuario gráficas simples. La conexión entre el hardware de instrumentación y control de la célula y el PC se realiza mediante un interface de adquisición de datos USB NI 6800 que cuenta con un amplio número de salidas y entradas analógicas. Una vez digitalizadas las muestras de la señal medida, y corregido el error de unión fría anteriormente apuntado, es implementado en dicho software un controlador de tipo PID ( proporcional-integral-derivativo) , que se presenta como uno de los métodos más adecuados por su simplicidad de programación y su eficacia para el control de este tipo de variables. Para la evaluación del comportamiento del sistema son expuestas simulaciones mediante el software Matlab y Simulink determinando por tanto las mejores estrategias para desarrollar el control PID, así como los posibles resultados del proceso. En cuanto al sistema de calentamiento de los fluidos, es empleado un elemento resistor calentador, cuya potencia es controlada mediante un circuito electrónico compuesto por un detector de cruce por cero de la onda AC de alimentación y un sistema formado por un elemento TRIAC y su circuito de accionamiento. De manera análoga se expone el sistema de instrumentación para la presión de los gases en el circuito, variable que oscila en valores próximos a 3 atmosferas, para ello es empleado un sensor de presión con salida en corriente mediante bucle 4-20 mA, y un convertidor simple corriente a tensión para la entrada al sistema de adquisición de datos. Consecuentemente se presenta el esquema y componentes necesarios para la canalización, calentamiento y humidificación de los gases empleados en el proceso así como la situación de los sensores y actuadores. Por último el trabajo expone la relación de algoritmos desarrollados y un apéndice con información relativa al software Labview. ABTRACT This document presents a study about the operation and applications of PEM fuel cells (Proton exchange membrane fuel cells), fed with pure hydrogen and oxygen obtained from compressed air. Having evaluated the process of these cells and the variables involved on it, such as pressure, humidity and temperature, there is a variety of methods for implementing their control and to set up them around optimal values for greater efficiency in the process. Taking as primary process variable the temperature, and exposing its correct values around 80 degrees centigrade, between which must be placed, is carried out a model of the heating process and the temperature evolution related with the resistive heater power on the complex frequency domain, and is implemented a measuring system with thermocouple sensor type K performing a almost linear response. The differential signal measured by the sensor is amplified through INA2126 instrumentation amplifiers, and is developed a cold junction error correction algorithm (error produced by the inclusion of additional metals of connectors on the thermocouple effect). Data from the test concerning the temperature measurement system are included , including deviations or error regarding the ideal values of measurement. For data acquisition and implementation of control algorithms, is used a PC with LabVIEW software from National Instruments, which makes programming intuitive, versatile, visual, and useful to perform simple user interfaces. The connection between the instrumentation and control hardware of the cell and the PC interface is via a USB data acquisition NI 6800 that has a large number of analog inputs and outputs. Once stored the samples of the measured signal, and correct the error noted above junction, is implemented a software controller PID (proportional-integral-derivative), which is presented as one of the best methods for their programming simplicity and effectiveness for the control of such variables. To evaluate the performance of the system are presented simulations using Matlab and Simulink software thereby determining the best strategies to develop PID control, and possible outcomes of the process. As fluid heating system, is employed a heater resistor element whose power is controlled by an electronic circuit comprising a zero crossing detector of the AC power wave and a system consisting of a Triac and its drive circuit. As made with temperature variable it is developed an instrumentation system for gas pressure in the circuit, variable ranging in values around 3 atmospheres, it is employed a pressure sensor with a current output via 4-20 mA loop, and a single current to voltage converter to adequate the input to the data acquisition system. Consequently is developed the scheme and components needed for circulation, heating and humidification of the gases used in the process as well as the location of sensors and actuators. Finally the document presents the list of algorithms and an appendix with information about Labview software.

Proyecto de correccion de las ramblas de Periago y Turilla

Las ramblas de Periago y Turrilla son dos afluentes del rio Luchena o Guadalentin, al cual vierten sus aguas por la margen izquierda del mismo. Anteriormente a la orden de redacción del presente Proyecto de Corrección de dichas ramblas, fue elevada a la Superioridad un «Informe sobre la inundación de la huerta de Murcia de Diciembre de 1.944», informe, que, en profundo estudio, no solo se limita a concretar los hechos referentes a esta inundación, sino que hace una amplísima descripción de las habidas desde el año 1.258, de las medidas tomadas por los poderes públicos y del estado actual de los trabajos que, como remedio a tales inundaciones, se propusieron.

Ingeniería de la conservación: Investigación aplicada para la conservación de la fauna mediterránea amenazada

El ser humano nunca ha tenido una capacidad semejante a la actual para alterar el medio en el que vive. A través fundamentalmente de cambios en el uso del hábitat, alteración de los ciclos biogeoquímicos, cambio climático y presencia de especies invasoras, la tasa de extinción de especies se ha acelerado enormemente. Al crecer más rápido la población humana dentro de las áreas en las que se concentra una mayor biodiversidad (biodiversity hotspots), las tasas de transformación son mayores, por lo que dicha biodiversidad se encuentra más amenazada. Entre los principales 25 biodiversity hotspots globales se encuentra la cuenca mediterránea. Las afecciones a la biodiversidad hacen por tanto que en dicha cuenca mediterránea sea necesario poner en práctica iniciativas innovadoras para su conservación. Pero además de una cuidadosa selección, es necesario el seguimiento y la evaluación de la eficacia y la eficienca de dichas medidas, para comprobar su idoneidad y mejorarlas cuando sea posible. Esta es la tarea de la ingeniería de la conservación. Esta Memoria busca analizar y proponer mejoras en cuatro acciones experimentales de conservación de la biodiversidad que tienen un marco común, la conservación de especies subrogadas del monte mediterráneo. En concreto de cinco especies amenazadas: conejo de monte (Oryctolagus cuniculus, especie llave), águila imperial ibérica (Aquila adalberti), águila perdicera (Aquila fasciata), cigüeña negra (Ciconia nigra) y lince ibérico (Lynx pardinus), todas ellas especies paraguas y bandera. Casi todas estas especies se enfrentan a amenazas comunes, como son la pérdida de la calidad del hábitat, la mortalidad de origen humano, la escasez de alimento o la falta de eficiencia en las técnicas de seguimiento. Las acciones destinadas a revertir o minimizar estas amenazas han tenido un marco geográfico y ecológico común, 49 fincas privadas de monte mediterráneo situadas en 9 espacios de la Red Natura 2000 del centro-occidental peninsular, en las que se ha podido trabajar merced a acuerdos de custodia del territorio. Dichas actividades han sido financiadas casi por completo con cargo a fondos LIFE Naturaleza de la Comisión Europea. El presente documento contribuye a aportar el conocimiento científico imprescindible para mejorar la eficacia y eficiencia de las medidas técnicas de gestión y conservación: la ingeniería de la conservación. Como resultados más relevantes se pueden citar que la selección del conejo de las zonas sembradas aumenta con la presencia tanto de isletas de matorral como de refugios y resulta inferior en las zonas de matorral más cerrado; que la electrocución es una de las principales causas de mortalidad de las rapaces amenazadas, así como que se ha detectado que la mortalidad se concentra en determinadas zonas que deben ser prioritarias para su corrección y que éstas deben pasar por las modificaciones estructurales; que la selección de zonas de alimentación por parte de la cigüeña negra se ve afectada por numerosos factores y que una adecuada ubicación y gestión de las charcas para ganadería y caza mayor puede favorecer no sólo la alimentación de esta especie, sino suponer un lugar de cría para diversas especies de anfibios y peces autóctonos, en franco declive; finalmente, hay que destacar que la mejora en el seguimiento de las poblaciones de lince ibérico pasa por la incorporación de métodos de seguimiento novedosos, como las cámaras infrarrojas en letrinas, dada la capacidad de aprendizaje de la especie. Abstract Nowadays the human being has reached its top ability to exchange its environment. Mainly through habitat change, altering biogeochemical cycles, climatic change and alien species, global extinction rate has increased dramatically. Population increases faster in biodiversity hotspots, thus change rates are higher. Mediterranean basin is included within the 25 most valuable biodiversity hotspots. Affections on biodiversity turns necessary to develop innovative actions to maintain the most threatened species in this hotspot. But further than a careful selection and implementarion, survey and evaluation of those practices is necessary to check its suitability. Those are actions for the conservation engineering. This Memory looks for to analyze and to put forward improvements in four experimental biodiversity conservation actions with a common framework: conservation of surrogate Mediterranean species. Those actions were specifically directed to five threatened species: the European wild rabbit (Oryctolagus cuniculus, key species), Spanish imperial eagle (Aquila adalberti) and Bonelli’s eagle (Aquila fasciata, both of the umbrella and flagship species), black stork (Ciconia nigra, umbrella and flagship species) and the Iberian lynx (Lynx pardinus, umbrella and flagship species). Those species have common threats: habitat loss, maninduced mortality, food shortening and lack of surveying efficiency. Actions aimed to minimize those threats also had a common geographical frame: 49 privately owned states within 9 Natura 2000 areas in Southwestern Spain. Actions were developed through lands tewardship agreements, and were even wholly undertaken through European Commision LIFE’s fund. This document contributes to develop cientific knowledge necessary for increasing efficacy and efficiency for implementing technical measures devoted to conservation, the conservation engineering. One of the most outstanding result might be the necessity of including bushy islets or rabbit shelter within sowings when enhacing rabbit populations is the goal. Electrocution is one of the commonest man-induced death causes for raptors, especially for the threatened ones. Areas of concentration of this mortality have been detected, and when mitigation measures have been evaluated, only structural modifications had results. The black stork’s selection of feeding areas is influenced by several factors. An adequate location and management of livestock’s ponds can favour not only this species, but also creating new breeding places for amphibians and indigenous fish species, most of them in a sharp decline. Finally, improving the survey of the Iberian lynx might be achieved through implementing newly developed surveying systems, such as the infrared cameras in latrines.

Apoyo al desarrollo de microempresas madereras de Yoro: evaluación de los costes de abastecimiento de madera legal a la Central de Compras

Los bosques de Honduras han ido desapareciendo implacablemente en las últimas décadas. La tala ilegal y el consecuente comercio de maderas es un problema profundamente arraigado en la economía y en la política del país, comprendiendo una amplia gama de actores que incluyen algunas de las compañías madereras más grandes del país y figuras de alto nivel político. La COOPIEYOL es una cooperativa constituida en 2010 en la ciudad de Yoro y está formada por 32 microempresas (talleres de ebanistería). Dicha cooperativa en 2011 ha sido objetivo de un estudio en el cual se detectó como problemas fundamentales el utilizar de madera de procedencia ilegal o desconocida y la necesidad de disponer de un mejor nivel tecnológico para procesar la madera. En este contexto la Universidad Politécnica de Madrid ha financiado un proyecto que quiere dotar dicha cooperativa de una Central de Compras, o sea un centro de acopio, aserrado y secado de madera de procedencia legal y proporcionar además un modelo de gestión que permita funcionar a la cooperativa de forma sostenible. En mi estudio se ha calculado como la demanda de madera inicial de la cooperativa a la luz de algunos factores de corrección, como el mayor rendimiento debido a la puesta en marcha de la Central de Compra, sería, por lo menos al principio, de alrededor de 70 m3 al mes. Igualmente se ha evaluado la oferta de madera legal procedente de plantaciones y sistemas agroforestales certificados y se ha detectado como en la zona del Bosque Modelo de Yoro, la disponibilidad no es muy elevada debido a que no hay muchas plantaciones productivas y la mayoría de ellas son demasiado jóvenes para ser aprovechadas. Además se ha calculado el coste de abastecimiento de madera a la Central de Compras, identificando los costes de aprovechamiento, transporte y de gestión de la Central de Compras (como salarios, gastos de maquinarias, luz y agua etc). El coste por pie tablar de madera aserrada ha salido poco más de 4 lempiras y esto sin contar el precio de la madera en pie que la cooperativa paga al propietario de la plantación, y que depende en gran medida de la especie.

La teoría de la computación en las encrucijada de las teorías de autómatas y de la información

Este artículo de síntesis es la transposición de los dos primeros puntos de nuestra memoria de solicitud para la obtención de una de las becas del Fondo IBM del Centro de Cálculo de la Universidad de Madrid en su primera convocatoria (noviembre de 1968). El artículo representa un punto de vista personal sobre relaciones poco conocidas o discutidas entre diferentes aspectos de las teorías de los sistemas cibernéticos. Un año después (diciembre de 1969) el fruto de nuestro trabajo ha sido recogido en. una extensa memoria donde, junto a una presentación de origen bibliográfico, de la teoría de códigos lineales desde un ángulo matemático y en especial de los códigos cíclicos, se publica un conjunto de resultados originales en el campo de la detección y corrección de errores

Approximate Relational Reasoning for Probabilistic Programs

La seguridad verificada es una metodología para demostrar propiedades de seguridad de los sistemas informáticos que se destaca por las altas garantías de corrección que provee. Los sistemas informáticos se modelan como programas probabilísticos y para probar que verifican una determinada propiedad de seguridad se utilizan técnicas rigurosas basadas en modelos matemáticos de los programas. En particular, la seguridad verificada promueve el uso de demostradores de teoremas interactivos o automáticos para construir demostraciones completamente formales cuya corrección es certificada mecánicamente (por ordenador). La seguridad verificada demostró ser una técnica muy efectiva para razonar sobre diversas nociones de seguridad en el área de criptografía. Sin embargo, no ha podido cubrir un importante conjunto de nociones de seguridad “aproximada”. La característica distintiva de estas nociones de seguridad es que se expresan como una condición de “similitud” entre las distribuciones de salida de dos programas probabilísticos y esta similitud se cuantifica usando alguna noción de distancia entre distribuciones de probabilidad. Este conjunto incluye destacadas nociones de seguridad de diversas áreas como la minería de datos privados, el análisis de flujo de información y la criptografía. Ejemplos representativos de estas nociones de seguridad son la indiferenciabilidad, que permite reemplazar un componente idealizado de un sistema por una implementación concreta (sin alterar significativamente sus propiedades de seguridad), o la privacidad diferencial, una noción de privacidad que ha recibido mucha atención en los últimos años y tiene como objetivo evitar la publicación datos confidenciales en la minería de datos. La falta de técnicas rigurosas que permitan verificar formalmente este tipo de propiedades constituye un notable problema abierto que tiene que ser abordado. En esta tesis introducimos varias lógicas de programa quantitativas para razonar sobre esta clase de propiedades de seguridad. Nuestra principal contribución teórica es una versión quantitativa de una lógica de Hoare relacional para programas probabilísticos. Las pruebas de correción de estas lógicas son completamente formalizadas en el asistente de pruebas Coq. Desarrollamos, además, una herramienta para razonar sobre propiedades de programas a través de estas lógicas extendiendo CertiCrypt, un framework para verificar pruebas de criptografía en Coq. Confirmamos la efectividad y aplicabilidad de nuestra metodología construyendo pruebas certificadas por ordendor de varios sistemas cuyo análisis estaba fuera del alcance de la seguridad verificada. Esto incluye, entre otros, una meta-construcción para diseñar funciones de hash “seguras” sobre curvas elípticas y algoritmos diferencialmente privados para varios problemas de optimización combinatoria de la literatura reciente. ABSTRACT The verified security methodology is an emerging approach to build high assurance proofs about security properties of computer systems. Computer systems are modeled as probabilistic programs and one relies on rigorous program semantics techniques to prove that they comply with a given security goal. In particular, it advocates the use of interactive theorem provers or automated provers to build fully formal machine-checked versions of these security proofs. The verified security methodology has proved successful in modeling and reasoning about several standard security notions in the area of cryptography. However, it has fallen short of covering an important class of approximate, quantitative security notions. The distinguishing characteristic of this class of security notions is that they are stated as a “similarity” condition between the output distributions of two probabilistic programs, and this similarity is quantified using some notion of distance between probability distributions. This class comprises prominent security notions from multiple areas such as private data analysis, information flow analysis and cryptography. These include, for instance, indifferentiability, which enables securely replacing an idealized component of system with a concrete implementation, and differential privacy, a notion of privacy-preserving data mining that has received a great deal of attention in the last few years. The lack of rigorous techniques for verifying these properties is thus an important problem that needs to be addressed. In this dissertation we introduce several quantitative program logics to reason about this class of security notions. Our main theoretical contribution is, in particular, a quantitative variant of a full-fledged relational Hoare logic for probabilistic programs. The soundness of these logics is fully formalized in the Coq proof-assistant and tool support is also available through an extension of CertiCrypt, a framework to verify cryptographic proofs in Coq. We validate the applicability of our approach by building fully machine-checked proofs for several systems that were out of the reach of the verified security methodology. These comprise, among others, a construction to build “safe” hash functions into elliptic curves and differentially private algorithms for several combinatorial optimization problems from the recent literature.

Modelado de las Fuerzas de Corte en el Fresado de Piezas de Paredes Delgadas

En este trabajo se aborda el problema de la simulación de las fuerzas de corte en fresado cuando la pieza a mecanizar es flexible. Se presenta el desarrollo de un modelo matemático de tipo mecanicista que relaciona las fuerzas de corte y las deformaciones de la pieza durante la operación de fabricación. El énfasis del desarrollo de este modelo está puesto en la rapidez de cálculo de las fuerzas de corte. Esta característica facilitaría la implementación del modelo en sistemas de corrección de la deformación en tiempo real. El estudio experimental consiste en la validación del modelo propuesto mediante la comparación de fuerzas simuladas y fuerzas medidas, y en el desarrollo de un sistema de medición en línea de la deformación de la pieza, orientado a aplicaciones de compensación activa de la deformación. El modelo propuesto permite la estimación rápida y precisa de las fuerzas de corte y la deformación de la pieza en operaciones de fresado periférico de piezas flexibles.

Nuevas ecuaciones de cubicación para pino silvestre en "aguas vertientes" (El Espinar, Segovia).

El monte "Aguas Vertientes" (El Espinar) es el nº 138 del C.U.P. de Segovia. Se trata de una masa natural de pino silvestre, con abundante melojo en sus cotas inferiores. Su primer Proyecto de Ordenación fue redactado en 1904, estando actualmente redactada y en fase de aprobación la novena revisión. La madera de pino obtenida es elaborada en un aserradero cercano, perteneciente a la misma entidad propietaria. Durante los últimos años los responsables de dicho aserradero vienen manifestando que la cubicación en pie realizada por la administración forestal presenta errores de magnitud suficiente como para ser necesaria su corrección. Este trabajo fin de carrera ha consistido en comprobar la fiabilidad de los valores modulares empleados hasta ahora, y elaborar nuevas ecuaciones de cubicación. Para ello se ha manejado una muestra de 234 pinos repartidos en malla cuadrada y cubicados en pie mediante el método de Pressler-Bitterlich. Como resultado, se propone una ecuación de doble entrada (función de diámetro normal y altura) para todo el monte; y una ecuación de una entrada (función de diámetro normal) para cotas superiores e inferiores a 1.500 m. Los nuevos modelos son validados mediante una muestra independiente.

Application of NMR techniques for the evaluation of fruit internal quality and physical properties of food

Los alimentos son sistemas complejos, formados por diversas estructuras a diferentes escalas: macroscópica y microscópica. Muchas propiedades de los alimentos, que son importantes para su procesamiento, calidad y tratamiento postcosecha, están relacionados con su microestructura. La presente tesis doctoral propone una metodología completa para la determinación de la estructura de alimentos desde un punto de vista multi-escala, basándose en métodos de Resonancia Magnética Nuclear (NMR). Las técnicas de NMR son no invasivas y no destructivas y permiten el estudio tanto de macro- como de microestructura. Se han utilizado distintos procedimientos de NMR dependiendo del nivel que se desea estudiar. Para el nivel macroestructural, la Imagen de Resonancia Magnética (MRI) ha resultado ser muy útil para la caracterización de alimentos. Para el estudio microestructural, la MRI requiere altos tiempos de adquisición, lo que hace muy difícil la transferencia de esta técnica a aplicaciones en industria. Por tanto, la optimización de procedimientos de NMR basados en secuencias relaxometría 2D T1/T2 ha resultado ser una estrategia primordial en esta tesis. Estos protocolos de NMR se han implementado satisfactoriamente por primera vez en alto campo magnético. Se ha caracterizado la microestructura de productos alimentarios enteros por primera vez utilizando este tipo de protocolos. Como muestras, se han utilizado dos tipos de productos: modelos de alimentos y alimentos reales (manzanas). Además, como primer paso para su posterior implementación en la industria agroalimentaria, se ha mejorado una línea transportadora, especialmente diseñada para trabajar bajo condiciones de NMR en trabajos anteriores del grupo LPF-TAGRALIA. Se han estudiado y seleccionado las secuencias más rápidas y óptimas para la detección de dos tipos de desórdenes internos en manzanas: vitrescencia y roturas internas. La corrección de las imágenes en movimiento se realiza en tiempo real. Asimismo, se han utilizado protocolos de visión artificial para la clasificación automática de manzanas potencialmente afectadas por vitrescencia. El presente documento está dividido en diferentes capítulos: el Capítulo 2 explica los antecedentes de la presente tesis y el marco del proyecto en el que se ha desarrollado. El Capítulo 3 recoge el estado del arte. El Capítulo 4 establece los objetivos de esta tesis doctoral. Los resultados se dividen en cinco sub-secciones (dentro del Capítulo 5) que corresponden con los trabajos publicados bien en revistas revisadas por pares, bien en congresos internacionales o bien como capítulos de libros revisados por pares. La Sección 5.1. es un estudio del desarrollo de la vitrescencia en manzanas mediante MRI y lo relaciona con la posición de la fruta dentro de la copa del árbol. La Sección 5.2 presenta un trabajo sobre macro- y microestructura en modelos de alimentos. La Sección 5.3 es un artículo en revisión en una revista revisada por pares, en el que se hace un estudio microestrcutural no destructivo mediante relaxometría 2D T1/T2. la Sección 5.4, hace una comparación entre manzanas afectadas por vitrescencia mediante dos técnicas: tomografía de rayos X e MRI, en manzana. Por último, en la Sección 5.5 se muestra un trabajo en el que se hace un estudio de secuencias de MRI en línea para la evaluación de calidad interna en manzanas. Los siguientes capítulos ofrecen una discusión y conclusiones (Capítulo 6 y 7 respectivamente) de todos los capítulos de esta tesis doctoral. Finalmente, se han añadido tres apéndices: el primero con una introducción de los principios básicos de resonancia magnética nuclear (NMR) y en los otros dos, se presentan sendos estudios sobre el efecto de las fibras en la rehidratación de cereales de desayuno extrusionados, mediante diversas técnicas. Ambos trabajos se presentaron en un congreso internacional. Los resultados más relevantes de la presente tesis doctoral, se pueden dividir en tres grandes bloques: resultados sobre macroestructura, resultados sobre microestructura y resultados sobre MRI en línea. Resultados sobre macroestructura: - La imagen de resonancia magnética (MRI) se aplicó satisfactoriamente para la caracterización de macroestructura. En particular, la reconstrucción 3D de imágenes de resonancia magnética permitió identificar y caracterizar dos tipos distintos de vitrescencia en manzanas: central y radial, que se caracterizan por el porcentaje de daño y la conectividad (número de Euler). - La MRI proveía un mejor contraste para manzanas afectadas por vitrescencia que las imágenes de tomografía de rayos X (X-Ray CT), como se pudo verificar en muestras idénticas de manzana. Además, el tiempo de adquisición de la tomografía de rayos X fue alrededor de 12 veces mayor (25 minutos) que la adquisición de las imágenes de resonancia magnética (2 minutos 2 segundos). Resultados sobre microestructura: - Para el estudio de microestructura (nivel subcelular) se utilizaron con éxito secuencias de relaxometría 2D T1/T2. Estas secuencias se usaron por primera vez en alto campo y sobre piezas de alimento completo, convirtiéndose en una forma no destructiva de llevar a cabo estudios de microestructura. - El uso de MRI junto con relaxometría 2D T1/T2 permite realizar estudios multiescala en alimentos de forma no destructiva. Resultados sobre MRI en línea: - El uso de imagen de resonancia magnética en línea fue factible para la identificación de dos tipos de desórdenes internos en manzanas: vitrescencia y podredumbre interna. Las secuencias de imagen tipo FLASH resultaron adecuadas para la identificación en línea de vitrescencia en manzanas. Se realizó sin selección de corte, debido a que la vitrescencia puede desarrollarse en cualquier punto del volumen de la manzana. Se consiguió reducir el tiempo de adquisición, de modo que se llegaron a adquirir 1.3 frutos por segundos (758 ms por fruto). Las secuencias de imagen tipo UFLARE fueron adecuadas para la detección en línea de la podredumbre interna en manzanas. En este caso, se utilizó selección de corte, ya que se trata de un desorden que se suele localizar en la parte central del volumen de la manzana. Se consiguió reducir el tiempo de adquisicón hasta 0.67 frutos por segundo (1475 ms por fruto). En ambos casos (FLASH y UFLARE) fueron necesarios algoritmos para la corrección del movimiento de las imágenes en tiempo real. ABSTRACT Food is a complex system formed by several structures at different scales: macroscopic and microscopic. Many properties of foods that are relevant to process engineering or quality and postharvest treatments are related to their microstructure. This Ph.D Thesis proposes a complete methodology for food structure determination, in a multiscale way, based on the Nuclear Magnetic Resonance (NMR) phenomenon since NMR techniques are non-invasive and non-destructive, and allow both, macro- and micro-structure study. Different NMR procedures are used depending on the structure level under study. For the macrostructure level, Magnetic Resonance Imaging (MRI) revealed its usefulness for food characterization. For microstructure insight, MRI required high acquisition times, which is a hindrance for transference to industry applications. Therefore, optimization of NMR procedures based on T1/T2 relaxometry sequences was a key strategy in this Thesis. These NMR relaxometry protocols, are successfully implemented in high magnetic field. Microstructure of entire food products have been characterized for the first time using these protocols. Two different types of food products have been studied: food models and actual food (apples). Furthermore, as a first step for the food industry implementation, a grading line system, specially designed for working under NMR conditions in previous works of the LPF-TAGRALIA group, is improved. The study and selection of the most suitable rapid sequence to detect two different types of disorders in apples (watercore and internal breakdown) is performed and the real time image motion correction is applied. In addition, artificial vision protocols for the automatic classification of apples potentially affected by watercore are applied. This document is divided into seven different chapters: Chapter 2 explains the thesis background and the framework of the project in which it has been worked. Chapter 3 comprises the state of the art. Chapter 4 establishes de objectives of this Ph.D thesis. The results are divided into five different sections (in Chapter 5) that correspond to published peered reviewed works. Section 5.1 assesses the watercore development in apples with MRI and studies the effect of fruit location in the canopy. Section 5.2 is an MRI and 2D relaxometry study for macro- and microstructure assessment in food models. Section 5.3 is a non-destructive microstructural study using 2D T1/T2 relaxometry on watercore affected apples. Section 5.4 makes a comparison of X-ray CT and MRI on watercore disorder of different apple cultivars. Section 5.5, that is a study of online MRI sequences for the evaluation of apple internal quality. The subsequent chapters offer a general discussion and conclusions (Chapter 6 and Chapter 7 respectively) of all the works performed in the frame of this Ph.D thesis (two peer reviewed journals, one book chapter and one international congress).Finally, three appendices are included in which an introduction to NMR principles is offered and two published proceedings regarding the effect of fiber on the rehydration of extruded breakfast cereal are displayed. The most relevant results can be summarized into three sections: results on macrostructure, results on microstructure and results on on-line MRI. Results on macrostructure: - MRI was successfully used for macrostructure characterization. Indeed, 3D reconstruction of MRI in apples allows to identify two different types of watercore (radial and block), which are characterized by the percentage of damage and the connectivity (Euler number). - MRI provides better contrast for watercore than X-Ray CT as verified on identical samples. Furthermore, X-Ray CT images acquisition time was around 12 times higher (25 minutes) than MRI acquisition time (2 minutes 2 seconds). Results on microstructure: - 2D T1/T2 relaxometry were successfully applied for microstructure (subcellular level) characterization. 2D T1/T2 relaxometry sequences have been applied for the first time on high field for entire food pieces, being a non-destructive way to achieve microstructure study. - The use of MRI together with 2D T1/T2 relaxometry sequences allows a non-destructive multiscale study of food. Results on on-line MRI: - The use of on-line MRI was successful for the identification of two different internal disorders in apples: watercore and internal breakdown. FLASH imaging was a suitable technique for the on-line detection of watercore disorder in apples, with no slice selection, since watercore is a physiological disorder that may be developed anywhere in the apple volume. 1.3 fruits were imaged per second (768 ms per fruit). UFLARE imaging is a suitable sequence for the on-line detection of internal breakdown disorder in apples. Slice selection was used, as internal breakdown is usually located in the central slice of the apple volume. 0.67 fruits were imaged per second (1475 ms per fruit). In both cases (FLASH and UFLARE) motion correction was performed in real time, during the acquisition of the images.