Caracterización teórica y experimental de un reactor de lecho fluidizado para operaciones de termoquímica solar

El objetivo del presente trabajo es la caracterización, tanto teórica como experimental, de un reactor de lecho fluidizado para operaciones de termoquímica solar. En el apartado experimental se emplea un reactor de lecho fluidizado cedido por el CIEMAT. Para la parte numérica, se realiza un análisis óptico-energético y un estudio termofluidodinámico (dinámica de fluidos computacional, DFC). Se llevan a cabo ensayos en frío y en caliente para la parte experimental. Los ensayos en frío tienen el objetivo de demostrar la teoría establecida de fluidización, usando partículas de alúmina y ferritas de níquel. Los ensayos en caliente se realizan para observar el comportamiento de un reactor de lecho fluidizado irradiado. Se emplean partículas de carburo de silicio (SiC) y ferritas de níquel. El análisis óptico-energético se realiza usando el software de trazado de rayos TracePro. La simulación se hace con partículas de α-SiC. Las propiedades del material se obtienen con un software adicional. Por otra parte, el estudio DFC se realiza con una licencia académica de Ansys Fluent. Se hacen 2 simulaciones de un modelo euleriano de 2 fases, sin condiciones de calor y con 2 paredes con una temperatura fijada.

Desarrollo sostenible de la construcción naval: dinámica evolutiva y eco-innovación en el sector de reparaciones europeo

El impacto ambiental directo de la construcción naval, que se refiere a la construcción, mantenimiento y reparación de buques, no es de ninguna manera pequeño. La construcción de buques depende de un gran número de procesos que por sí mismos constituyen un riesgo significativo de daño medio ambiental en el entorno de los astilleros y que conducen a emisiones significativas de gases de efecto invernadero. Además, la construcción naval utiliza algunos materiales que no sólo puede llevar a graves consecuencias para el daño ambiental durante su producción y su uso en el proceso de construcción de la nave, sino también posteriormente durante la reparación de buques, el funcionamiento y las actividades de reciclaje. (OECD 2010) El impacto ambiental directo de la construcción naval constituye de por sí, un desafío importante para la industria. Pero este impacto no queda limitado a su entorno inmediato, aunque la Construcción Naval no es directamente responsable de la repercusión en el medio ambiente de la operación y el reciclaje de buques comerciales, si es una parte integral de estas actividades. (OECD 2010) En esta tesis se sugiere que el sector de la construcción naval puede y debe aceptar sus responsabilidades ambientales no solo en el entorno del astillero; también en la operación de los buques, sus productos; tomando conciencia, a través de un enfoque de ciclo de vida, del desempeño ambiental de la industria en su conjunto. Es necesario intensificar esfuerzos a medida que el impacto ambiental de la industria es cada vez más visible en el dominio público, en pro de un crecimiento verde que permita aumentar la capacidad de actividad o producción económica al tiempo que reduce o elimina, los impactos ambientales. Este será un imperativo para cualquier futura actividad industrial y exigirá naturalmente conocimiento ambiental intrincado perteneciente a todos los procesos asociados. Esta tesis - aprovechando como valiosa fuente de información los desarrollos y resultados del proyecto europeo: “Eco_REFITEC”. FP7-CP-266268, coordinado por el autor de esta Tesis, en nombre de la Fundación Centro Tecnológico SOERMAR - tiene como primer objetivo Investigar la interpretación del concepto de Construcción Naval y Transporte Marítimo sostenible así como las oportunidades y dificultades de aplicación en el sector de la Construcción y reparación Naval. Ello para crear o aumentar el entendimiento de la interpretación del concepto de transporte marítimo sostenible y la experiencia de su aplicación en particular en los astilleros de nuevas construcciones y reparación. Pretende también contribuir a una mejor comprensión de la industria Marítima y su impacto en relación con el cambio climático, y ayudar en la identificación de áreas para la mejora del desempeño ambiental más allá de las operaciones propias de los astilleros; arrojando luz sobre cómo puede contribuir la construcción naval en la mejora de la eficiencia y en la reducción de emisiones de CO2 en el transporte marítimo. Se espera con este enfoque ayudar a que la Industria de Construcción Naval vaya abandonando su perspectiva tradicional de solo mirar a sus propias actividades para adoptar una visión más amplia tomando conciencia en cuanto a cómo sus decisiones pueden afectar posteriormente las actividades aguas abajo, y sus impactos en el medio ambiente, el cambio climático y el crecimiento verde. Si bien cada capítulo de la tesis posee su temática propia y una sistemática específica, a su vez retoma desde una nueva perspectiva cuestiones importantes abordadas en otros capítulos. Esto ocurre especialmente con algunos ejes que atraviesan toda la tesis. Por ejemplo: la íntima relación entre el transporte marítimo y el sector de construcción naval, la responsabilidad de la política internacional y local, la invitación a buscar nuevos modos de construir el futuro del sector a través de la consideración de los impactos ambientales, económicos y sociales a lo largo de ciclo de vida completo de productos y servicios. La necesidad de una responsabilidad social corporativa. Estos temas no se cierran ni terminan, sino que son constantemente replanteados tratando de enriquecerlos. ABSTRACT The direct environmental impact of shipbuilding, which refers to construction, maintenance and repair of vessels, is by no means small. Shipbuilding depends on a large number of processes which by themselves constitute significant risks of damage to the shipyards‘ surrounding environment and which lead to significant emissions of greenhouse gases. In addition, shipbuilding uses some materials which not only may carry serious implications for environmental harm during their production and usage in the ship construction process, but also subsequently during ship repairing, operation, and recycling activities. (OECD 2010) The direct environmental impact of shipbuilding constitutes a major challenge for the industry. But this impact is not limited on their immediate surroundings, but while not being directly responsible for the impact on the environment from the operation and final recycling of commercial ships, shipbuilding is an integral part of these activities. (OECD 2010) With this in mind, this thesis is suggested that the shipbuilding industry can and must take up their environmental responsibilities not only on their immediate surroundings, also on the ships operation, becoming aware through a “life cycle” approach to ships, the environmental performance of the industry as a whole. As the environmental impact of the industry is becoming increasingly visible in the public domain much more effort is required for the sake of “green growth” which implies the ability to increase economic activity or output while lowering, or eliminating, environmental impacts. This will be an imperative for any future industrial activity and will naturally demand intricate environmental knowledge pertaining to all associated processes. This thesis making use as a valuable source of information of the developments and results of an European FP7-collaborative project called "Eco_REFITEC, coordinated by the author of this thesis on behalf of the Foundation Center Technology SOERMAR, has as its primary objective to investigate the interpretation of a sustainable Shipbuilding and Maritime Transport concept and the challenges and opportunities involved in applying for the Shipbuilding and ship repair Sector. It is done to improve the current understanding regarding sustainable shipping and to show the application experience in shipbuilding and ship repair shipyards. Assuming that sustainability is more than just an act but a process, this academic work it also aims to contribute to a much better understanding of the maritime industry and its impact with respect to climate change, and help in identifying areas for better environmental performance beyond the shipyard's own operations; shedding light on how shipbuilding can contribute in improving efficiency and reducing CO2 emissions in shipping. It is my hope that this thesis can help the Shipbuilding Industry to abandon its traditional perspective where each simply looks at its own activities to take a broader view becoming aware as to how their decisions may further affect downstream activities and their impacts on the environment, climate change and green growth. Although each chapter will have its own subject and specific approach, it will also take up and re-examine important questions previously dealt with. This is particularly the case with a number of themes which will reappear as the thesis unfolds. As example I will point to the intimate relationship between the shipping and shipbuilding industry, the responsibility of international and local policy, the call to seek other ways of building the future of the sector through the consideration of the environmental, economic and social impacts over the full life cycle of the products and services, the need for a corporate social responsibility. These questions will not be dealt with once and for all, but reframed and enriched again and again.

Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures

El uso de aritmética de punto fijo es una opción de diseño muy extendida en sistemas con fuertes restricciones de área, consumo o rendimiento. Para producir implementaciones donde los costes se minimicen sin impactar negativamente en la precisión de los resultados debemos llevar a cabo una asignación cuidadosa de anchuras de palabra. Encontrar la combinación óptima de anchuras de palabra en coma fija para un sistema dado es un problema combinatorio NP-hard al que los diseñadores dedican entre el 25 y el 50 % del ciclo de diseño. Las plataformas hardware reconfigurables, como son las FPGAs, también se benefician de las ventajas que ofrece la aritmética de coma fija, ya que éstas compensan las frecuencias de reloj más bajas y el uso más ineficiente del hardware que hacen estas plataformas respecto a los ASICs. A medida que las FPGAs se popularizan para su uso en computación científica los diseños aumentan de tamaño y complejidad hasta llegar al punto en que no pueden ser manejados eficientemente por las técnicas actuales de modelado de señal y ruido de cuantificación y de optimización de anchura de palabra. En esta Tesis Doctoral exploramos distintos aspectos del problema de la cuantificación y presentamos nuevas metodologías para cada uno de ellos: Las técnicas basadas en extensiones de intervalos han permitido obtener modelos de propagación de señal y ruido de cuantificación muy precisos en sistemas con operaciones no lineales. Nosotros llevamos esta aproximación un paso más allá introduciendo elementos de Multi-Element Generalized Polynomial Chaos (ME-gPC) y combinándolos con una técnica moderna basada en Modified Affine Arithmetic (MAA) estadístico para así modelar sistemas que contienen estructuras de control de flujo. Nuestra metodología genera los distintos caminos de ejecución automáticamente, determina las regiones del dominio de entrada que ejercitarán cada uno de ellos y extrae los momentos estadísticos del sistema a partir de dichas soluciones parciales. Utilizamos esta técnica para estimar tanto el rango dinámico como el ruido de redondeo en sistemas con las ya mencionadas estructuras de control de flujo y mostramos la precisión de nuestra aproximación, que en determinados casos de uso con operadores no lineales llega a tener tan solo una desviación del 0.04% con respecto a los valores de referencia obtenidos mediante simulación. Un inconveniente conocido de las técnicas basadas en extensiones de intervalos es la explosión combinacional de términos a medida que el tamaño de los sistemas a estudiar crece, lo cual conlleva problemas de escalabilidad. Para afrontar este problema presen tamos una técnica de inyección de ruidos agrupados que hace grupos con las señales del sistema, introduce las fuentes de ruido para cada uno de los grupos por separado y finalmente combina los resultados de cada uno de ellos. De esta forma, el número de fuentes de ruido queda controlado en cada momento y, debido a ello, la explosión combinatoria se minimiza. También presentamos un algoritmo de particionado multi-vía destinado a minimizar la desviación de los resultados a causa de la pérdida de correlación entre términos de ruido con el objetivo de mantener los resultados tan precisos como sea posible. La presente Tesis Doctoral también aborda el desarrollo de metodologías de optimización de anchura de palabra basadas en simulaciones de Monte-Cario que se ejecuten en tiempos razonables. Para ello presentamos dos nuevas técnicas que exploran la reducción del tiempo de ejecución desde distintos ángulos: En primer lugar, el método interpolativo aplica un interpolador sencillo pero preciso para estimar la sensibilidad de cada señal, y que es usado después durante la etapa de optimización. En segundo lugar, el método incremental gira en torno al hecho de que, aunque es estrictamente necesario mantener un intervalo de confianza dado para los resultados finales de nuestra búsqueda, podemos emplear niveles de confianza más relajados, lo cual deriva en un menor número de pruebas por simulación, en las etapas iniciales de la búsqueda, cuando todavía estamos lejos de las soluciones optimizadas. Mediante estas dos aproximaciones demostramos que podemos acelerar el tiempo de ejecución de los algoritmos clásicos de búsqueda voraz en factores de hasta x240 para problemas de tamaño pequeño/mediano. Finalmente, este libro presenta HOPLITE, una infraestructura de cuantificación automatizada, flexible y modular que incluye la implementación de las técnicas anteriores y se proporciona de forma pública. Su objetivo es ofrecer a desabolladores e investigadores un entorno común para prototipar y verificar nuevas metodologías de cuantificación de forma sencilla. Describimos el flujo de trabajo, justificamos las decisiones de diseño tomadas, explicamos su API pública y hacemos una demostración paso a paso de su funcionamiento. Además mostramos, a través de un ejemplo sencillo, la forma en que conectar nuevas extensiones a la herramienta con las interfaces ya existentes para poder así expandir y mejorar las capacidades de HOPLITE. ABSTRACT Using fixed-point arithmetic is one of the most common design choices for systems where area, power or throughput are heavily constrained. In order to produce implementations where the cost is minimized without negatively impacting the accuracy of the results, a careful assignment of word-lengths is required. The problem of finding the optimal combination of fixed-point word-lengths for a given system is a combinatorial NP-hard problem to which developers devote between 25 and 50% of the design-cycle time. Reconfigurable hardware platforms such as FPGAs also benefit of the advantages of fixed-point arithmetic, as it compensates for the slower clock frequencies and less efficient area utilization of the hardware platform with respect to ASICs. As FPGAs become commonly used for scientific computation, designs constantly grow larger and more complex, up to the point where they cannot be handled efficiently by current signal and quantization noise modelling and word-length optimization methodologies. In this Ph.D. Thesis we explore different aspects of the quantization problem and we present new methodologies for each of them: The techniques based on extensions of intervals have allowed to obtain accurate models of the signal and quantization noise propagation in systems with non-linear operations. We take this approach a step further by introducing elements of MultiElement Generalized Polynomial Chaos (ME-gPC) and combining them with an stateof- the-art Statistical Modified Affine Arithmetic (MAA) based methodology in order to model systems that contain control-flow structures. Our methodology produces the different execution paths automatically, determines the regions of the input domain that will exercise them, and extracts the system statistical moments from the partial results. We use this technique to estimate both the dynamic range and the round-off noise in systems with the aforementioned control-flow structures. We show the good accuracy of our approach, which in some case studies with non-linear operators shows a 0.04 % deviation respect to the simulation-based reference values. A known drawback of the techniques based on extensions of intervals is the combinatorial explosion of terms as the size of the targeted systems grows, which leads to scalability problems. To address this issue we present a clustered noise injection technique that groups the signals in the system, introduces the noise terms in each group independently and then combines the results at the end. In this way, the number of noise sources in the system at a given time is controlled and, because of this, the combinato rial explosion is minimized. We also present a multi-way partitioning algorithm aimed at minimizing the deviation of the results due to the loss of correlation between noise terms, in order to keep the results as accurate as possible. This Ph.D. Thesis also covers the development of methodologies for word-length optimization based on Monte-Carlo simulations in reasonable times. We do so by presenting two novel techniques that explore the reduction of the execution times approaching the problem in two different ways: First, the interpolative method applies a simple but precise interpolator to estimate the sensitivity of each signal, which is later used to guide the optimization effort. Second, the incremental method revolves on the fact that, although we strictly need to guarantee a certain confidence level in the simulations for the final results of the optimization process, we can do it with more relaxed levels, which in turn implies using a considerably smaller amount of samples, in the initial stages of the process, when we are still far from the optimized solution. Through these two approaches we demonstrate that the execution time of classical greedy techniques can be accelerated by factors of up to ×240 for small/medium sized problems. Finally, this book introduces HOPLITE, an automated, flexible and modular framework for quantization that includes the implementation of the previous techniques and is provided for public access. The aim is to offer a common ground for developers and researches for prototyping and verifying new techniques for system modelling and word-length optimization easily. We describe its work flow, justifying the taken design decisions, explain its public API and we do a step-by-step demonstration of its execution. We also show, through an example, the way new extensions to the flow should be connected to the existing interfaces in order to expand and improve the capabilities of HOPLITE.

Desarrollo de una aplicación web para la reducción de ruido del sonido grabado de un disco de vinilo

Las grabaciones digitales de discos de vinilo, al ser un medio de almacenamiento de sonido analógico, están afectadas por ruido de diversos tipos, debido al deterioro de la superficie con el tiempo y con su reproducción. Aunque algunos programas de edición de audio permiten hacer una reducción de ruido sobre esas grabaciones, muchos consumidores de música en vinilo los desconocen, encuentran complicado su uso o quieren evitar la instalación de programas adicionales en su ordenador. Este proyecto consiste en el desarrollo de una aplicación web que pretende acabar con estos impedimentos y ofrecer un medio sencillo y eficaz para la reducción de ruido, ejecutable a través de un navegador, que simplifique el proceso de cara al usuario. El funcionamiento es sencillo: un usuario sube un archivo de audio al servidor, éste lo procesa y lo devuelve al cliente. El servidor, en la fase de procesamiento de señal, realiza una reducción de ruido mediante una puerta de ruido en el dominio de la frecuencia, desarrollada en lenguaje Python, y diseñada en función de un estudio previo de diversas muestras de ruido. En el proyecto se pueden distinguir tres bloques: la caracterización del ruido que afecta a grabaciones de discos de vinilo, el desarrollo de un algoritmo que realice la reducción de ruido correspondiente y el desarrollo de la aplicación web. En este documento se recogen los fundamentos de cada uno de los bloques, tratando de resumir las bases de su funcionamiento y de justificar cada una de las decisiones tomadas, como la tecnología empleada, el valor de algunos parámetros, la estructura del código o los pasos seguidos en cada algoritmo.