Caja Granada Savings Bank

Publicación de la obra de Caja Granada

La caja y la psique : Los parámetros emocionales en la arquitectura

Emoción. Alteración del ánimo penetrante y efímera. Activación psico-fisiológica fruto de la estimulación. Cualquier realidad con capacidad de estimular, puede potencialmente producir una emoción. La arquitectura como realidad sensible, esa caja de muros, no es ajena a ello. El discurso histórico en torno a la percepción y su influencia sobre las personas, ha experimentado un giro en el último siglo con la eclosión de la psicología ambiental. Se reconoce el papel activo del sujeto, agente en el diálogo perceptivo que aporta una intencionalidad previa. La percepción pasa a ser cosa de dos: la caja con sus estímulos (detonante) y el sujeto con sus a prioris (condicionante). Un acto que asume el nuevo cariz subjetivo y holístico. Emoción, no como mera suma de parámetros de la percepción. La esfera arquitectónica había desarrollado un discurso paralelo entre el XIX y el XX. Destaca la corriente Einfühlung por su influencia sobre la arquitectura moderna. Los condicionantes humanos han sido determinados en el ámbito de la psicología. Por el contrario, la clasificación análoga para la caja arquitectónica sigue abierta. El presente trabajo pretende retomar el discurso y ofrecer, más allá de la mera intuición, una aproximación a los parámetros de la caja con influencia en el consciente o inconsciente humano.

“Una Casa Entre el Greco y el Siroco” Crítica de la Malaparte

El título de esta tesis, utiliza primero una expresión periodística muy conocida sobre esta obra, que expresa muy bien su característica contradictoria, paradójica, siempre entre opuestos, frecuentemente utilizadas por los textos que sobre esta obra se han escrito. La segunda expresión define a esta tesis, incluida en el grupo de investigación sobre el objetivo común de la Crítica Arquitectónica. La casa Malaparte, olvidada durante largo tiempo y venerada en otros momentos, fue elegida por referéndum en 1979 por la revista “Modo (Cien proyectos para recordar)” como la obra más representativa de la arquitectura italiana del siglo XX. Un icono de modernidad en 1979 y paradójicamente no en su momento, ya que difícilmente se podría encuadrar en las tipologías de vivienda moderna de los años treinta. El objetivo de esta tesis es la racionalización del valor de esta obra, admitida de alguna manera en los “manuales de arquitectura moderna”, proponiendo para ello el reconocimiento de sus singularidades y regularidades como elementos de investigación del valor sustantivo de la arquitectura, el polinomio indisociable: contexto, forma, función, construcción. Tenemos datos, textos, hermenéutica. Nuestro método no puede ser otro que la crítica de los datos y texto y la crítica poética. Nuestra tesis, se inserta en este conjunto de crítica arquitectónica, vinculada al método llamado por el Catedrático Dr. Antonio Miranda Regojo “Mírregan-Todorov” que emplearemos como referencia y método para mostrar lo que más nos interesa, la calidad de la arquitectura, su ser, que paradójicamente, difiere de su descripción, de su momento histórico, en fin de todo aquello que en realidad solo la describe, la analiza y la interpreta. Nuestra variación propuesta al modelo de referencia, consta del siguiente desarrollo: 1. Crítica de “La Crítica”. 2. Crítica poética. 3. Conclusiones El primer capítulo, propone “La Crítica”, entendida como ese valor colectivo depositado por los textos escritos sobre la obra contrastado con nuestras observaciones personales respecto de cada uno de ellos. Las críticas seleccionadas muestran una nube de alternativas relativas a la descripción, análisis e interpretación que sobre la obra se han producido. Este capítulo, constituye una compilación de textos ordenada cronológicamente, que introduce al conocimiento de la obra. Recoge las primeras referencias, los artículos, los libros, las películas y anuncios así como alguno de los textos académicos que se han escrito sobre esta obra. 15 Los artículos seleccionados son los siguientes: Aldo Morbelli 1942. A. Alieri M.Clerici F.Palpacelli y G.Vaccaro 1966. Francesco Venezia con G.Petrusch 1973 Vieri Quilici.1977/1981 G.K.Koenig, 1979 John Hejduk 1980 Audrey Batey 1980. Manfredo Tafuri 1981. Francesco Venezia 1983. Joe Bostik 1989. Vittorio Savi, 1989. Marida Talamona 1989. W. Arets, W. Van der Bergh. 1989. Franco Purinni 1991. Marida Talamona 1997. Bruce Chatwin 1997. Los libros seleccionados han sido: Marida Talamona. Casa Malaparte, Milano 1990. Sergio Attanasio. Curzio Malaparte “Casa come me” Punta del Massullo, tel. 160 Capri. Nápoles 1990 Gianni Petenna. CasaMalaparte, Capri, 1999 Michael McDonough. A house like me. Edit.Clarkson Potter,New York 1999 Mario Ferrari. Adalberto Libera “Casa Malaparte en Capri1938-1942” 2008 Las películas seleccionadas: Il Cristo proibito, 1956 Le Mèpris, 1963 La Pelle, 1981 Anuncio de Hugo Boss 2010 16 Los textos académicos recogidos son: Angela delGaudio. Casa Malaparte. Interventi e restauri. 2003 Nicoletta Setola. Casa Malaparte. Il cantiere le tecnologie i materiali. 2004 Gloria Paz Saravia Ortiz. La casa Malaparte de A.libera. 2007 En el capítulo segundo “Crítica poética” se circunscribe, según la definición utilizada, a lo que en particular tiene como nivel de verdad, por la idoneidad de su construcción, tipología e iconología en relación al lugar (entidad propia, identidad auténtica). Existen algunos estudios que proponen a la casa Malaparte comprendida en la poética común de la obra de su arquitecto, Adalberto Libera. Nuestra posición nada tiene que ver con “la manera de hacer de un autor” se inclina a investigar obras enlazadas por estructuras comunes, reflejo y consecuencia especialmente de la propia arquitectura, nos interesa la poética de la arquitectura, no la de un autor. Realizamos tres ensayos, el primero trata de investigar el “Lugar” contexto de la obra, proponiendo el reconocimiento de un sistema lugar-arquitectura, (Conjunto de reglas o principios sobre una materia racionalmente enlazados entre sí) del que formulamos una serie de definiciones como características de esta relación: la analogía, la simpatía, la emulación, la signatura, la nematología y la sinexión. Concluyendo que la relación encontrada en la Malaparte podría explicarse de esta manera: ninguna mimesis, admite cierta analogía, un camuflaje solo geométrico, sin emulación de “tipismo” alguno, con emulación del modelo continuo de la “caja” desde el ataúd a la humilde vivienda , con “simpatía” como una obra contemporánea, con una fuerte signatura sobre el lugar, en correspondencia a lugar señalado por la historia y a la indeterminación iconológica que propone su arquitectura, (fetiche, simulacro) con una relación “nematológica” a través de su implantación y con una vinculación especial de “sinexión” entre la superficie del lugar y el acomodo de esta arquitectura. Continuamos con la relación propia de la obra y el lugar, concluyendo como la casa Malaparte propone el espacio sobre su cubierta, a modo de patio, de recinto. La obra demuestra que no es únicamente la sustancia material quien protagoniza la acción de “recintar”. El vértigo constituye la materia infranqueable del perímetro. En la Malaparte es el plano arquitectónico, (elevado) el recinto descubierto, el plano que posibilita la máxima relación con el exterior en esta arquitectura. En su interior el paisaje deja de ser fondo y el habitante se incorpora al escenario, se incorpora al paisaje. Te encuentras midiendo, relacionando distancias desde las espículas de pino, rocas, acantilados, barcos, islas, mar hasta la costa de Amalfi. Esta posición sobre el paisaje, es comparada con la casa Kaufman de F.L.Wrigth. El segundo ensayo investiga el proyecto de la obra. Distinguimos entre proyecto-forma, proyecto-origen, proyecto programa, proyecto-acción y proyectos-signo. Encontramos que no existe proyecto-forma que explique la casa Malaparte, tenemos proyectoorigen, proyecto-programa y proyectos-signo suficientes para racionalizar esta obra. Nos encontramos con un proyecto-acción, en permanente discusión, debatido hasta la saciedad, con la finalidad de habitar aquella roca, cuyas proposiciones se contrastan en la obra, ampliando el proceso de proyecto a la propia acción de construir, proyecto y construcción no estan disociados. Los proyectos “signo” de esta obra, nos permiten relacionar la permanencia de un programa, una organización, una comunicación y distribución que entendemos continua y conducida por Malaparte. Lo realmente importante previsto y controlable por aquel: programa y distribución. Nos permitimos afirmar que lo significante continuo es un proyecto–programa limitado a una forma necesaria iniciada por Libera, como una semilla. Su forma es el resultado de un procedimiento, arraigado y condicionado a un terreno. Un proceso que consiste en establecer unas alturas tipo sobre un programa distribuido en planta, y limitado con una construcción racional, tipológica sobre muros de carga, capaz de soportar cualquier programa habitacional, que proporciona inevitablemente un resultado seguro. El tercer ensayo propone una “novela” sobre la manera de construcción de la obra, que nos permite explicar la gran escalera de la Malaparte. Encontramos que la construcción de la Malaparte, también forma parte de un sistema. Este sistema es capaz de generar forma, sin recurrir a las mascaras fijadas por la tradición o las modas, manteniendo su libertad de expresión sin concesiones. Consideramos que en el camino de acceso a la obra que hubo que ejecutarse para tal fin están las claves para la comprensión de su escalera. La escalera de la Malaparte la comprendemos desde la propia accesibilidad a la obra. Su trazado abocinado, su forma “strombata”, es consecuencia para nosotros de sus límites físicos, su elevación, resultado de las cotas que responden a los niveles de los planos de trabajo, incluida la terraza –patio. Su expresión geométrica sería visible desde la ejecución de las obras; no es posterior al paralelepípedo inicial, sino previa. Su función de acceso a la terraza no es la principal, excluida desde el proyecto administrativo de Libera, al texto escrito de Malaparte sobre su casa (ninguna escalera exterior). Sus funciones principales subyacentes que quedan envueltas son primeramente abastecer la obra, en segundo lugar como cubierta de la escalera interior que tuvo que salir de su posición centrada en el paralelepípedo inicial, al extremo exterior de este. La solución a estas necesidades acuciantes, mostrarían su función paradigmática en un tercer lugar, su solución como cubierta peldañeada, como fachada remontable, que se produce desde nuestra visión del exterior, la gran escalera de acceso al lugar principal y el hecho único y genial de la Malaparte. Las conclusiones finales de esta tesis están referidas en primer lugar al Texto escrito sobre la obra y en segundo lugar a la obra misma: La Casa es entendida en los textos analizados, como objeto que soporta simultáneamente la idea romántica de emoción-inspiración y la contemporánea de invitación a su conocimiento. Producto de su singular abstracción explicamos su transformación en lo que constatamos dos vías extremas: una como artefacto, trasto inútil y pretencioso que explica las críticas extremas de Koening y Durante. Habría que demoler la Malaparte, y por la otra se produce su transformación en “objeto artístico” (inspiraciónemoción– conocimiento) que hay que venerar. Este trinomio deviene en interpretación y de aquí su provocación hacia la literatura, el cine y la imagen sobre la obra. Ambos extremos podrían originarse por no comprender, por no llegar a explicar cómo este objeto es también casa, casa con patio, habitación, refugio, arquitectura con toda su contingencia que con coherencia, razón y libertad de expresión produce aquel objeto, con la única intencionalidad acuciante de ser construido y habitado. El gran valor “literario-artístico” de la Malaparte recogido en sus textos, debemos admitir pues que tiene su origen en la interpretación de lo arquitectónico, que no es evidente, que entendemos no puede deducirse de su mera imagen, del mismo modo que la escultura asociada a un capitel corintio, que algunos pretenden disociar del apoyo constructivo de un pie derecho, como la solución del tímpano- escultura de una portada barroca, que pretendemos separar de la eficacia del dintel, como la cúpula solución a la cubierta del Panteón de Agripa, que estudiamos aparte como un problema de ingeniería, estos aspectos múltiples, complejos y no evidentes producen la fragmentación de lo arquitectónico, y permiten sus interpretaciones independientes, desguazando la arquitectura en trozos muy visibles que algunos llamaron “arte” y sistemas mas ocultos que otros llamaron “ingeniería y técnica”. Contemplar lo humano con fantasía es también nuestra conclusión deductiva de lo que nos permite la Malaparte, su identidad propia y peculiar deducida del Texto. Una arquitectura que permite examinar lo humano con fantasía, también un gran valor común, literario y arquitectónico que no queremos disociar. Si nos afirmamos en la autonomía de la arquitectura, sin renunciar al Texto, su identidad no es más que materialidad, ni menos que la metáfora del habitar diverso del hombre en la tierra. Ambos discursos permanecerán siempre abiertos para poetas y arquitectos. La Malaparte puede explicarse desde el lugar, de su proyecto y su construcción. Podríamos limitarnos aun más, solamente de su realidad congelada actual lograríamos inferir su valor como arquitectura que ha resuelto el problema; cubriendo, superponiendo con rigurosa limpieza, orden y geometría, al caos de accidentalidad y esfuerzo, un resultado despejado, de la materialidad y la técnica, esto es en definitiva el poder de lo arquitectónico, realizado no como máscara superpuesta, sino como resultado coherente, piel viva sobre huesos y músculos necesarios.

Thinking Space

Artículo de la revista de Shanghai "Minax" que analiza el pensamiento sobre el espacio como el motor principal de las investigaciones en diversos proyectos de Alberto Campo Baeza. Se analizan el proyecto "Entre Catedrales", la "Casa Moliner", la "Caja de Ahorros de Granada", el "Museo de la Memoria" y la "Guardería de Benetton". El artículo se centra en las ideas espaciales que existen en cada uno de estos proyectos.

A proposal for the metrological characterization of circular features with digital optical machines

This paper aims to analyze the different adjustment methods commonly used to characterize indirect metrology circular features: least square circle, minimum zone circle, maximum inscribed circle and minimum circumscribed circle. The analysis was performed from images obtained by digital optical machines. The calculation algorithms, self-developed, have been implemented in Matlab® and take into consideration as study variables: the amplitude of angular sector of the circular feature, its nominal radio and the magnification used by the optical machine. Under different conditions, it was determined the radius and circularity error of different circular standards. The comparison of the results, obtained by the different methods of adjustments used, with certified values for the standards, has allowed us to determine the accuracy of each method and its scope.

Estudios de confort de vehículos ferroviarios mediante técnicas combinadas de simulación FEM y MBS

La elasticidad de la caja de viajeros de los vehículos ferroviarios tiene una gran influencia sobre el confort. Por esta razón, cuando se desea simular el comportamiento dinámico del vehículo para estudios de confort, resulta conveniente construir un modelo elástico de caja, a fin de obtener resultados más precisos. La construcción de este tipo de modelos pasa por el desarrollo de dos etapas fundamentales, que comprenden la generación de un modelo de caja mediante la técnica de los elementos finitos (FEM) para su caracterización dinámica como cuerpo elástico y la definición de un modelo de sistema multicuerpo (MBS) que englobe los restantes componentes del vehículo. En este artículo se presentan los resultados obtenidos en un estudio comparativo llevado a cabo con modelos de caja rígida y elástica, en los que se ha valorado el nivel de confort obtenido con ambas configuraciones. Para ello, se ha simulado el comportamiento del vehículo a dos velocidades distintas, de 70 y 110km/h, y con dos niveles de irregularidades. Se han analizado las aceleraciones de la caja, que se han procesado de acuerdo a las especificaciones de la norma EN12299, a fin de obtener el índice de comodidad. Este parámetro se ha utilizado para comparar el nivel de confort obtenido con ambos modelos, habiéndose encontrado una gran diferencia en los índices calculados con caja rígida y con caja elástica, lo que confirma la gran influencia de la elasticidad de la caja en los estudios de confort llevados a cabo mediante técnicas de simulación dinámica.

Alternative method for the metrological characterization of spur gears in the sub-millimeter range using optical equipment

The aim of this work is to develop a software that allows the inspection of spur gear manufactured in the sub-millimeter range. The measurements are made using a digital optical machine and using an analysis proprietary software implemented in Matlab®, which is able to handle images, captured using the digital optical machine. The software allows to evaluate the profile and pitch deviations as establish in the ISO/TR 10064-1:1992 standard

Estudio De La Imagen De Marca De Las Entidades Financieras

Esta investigación realiza un estudio de la imagen de marca de distintas entidades financieras que operan en España. Para llevar a cabo esta investigación se utiliza una técnica de marketing denominada Evaluación Periódica de la Imagen (EPI), que proporciona una combinación de las ventajas de las técnicas cuantitativas y cualitativas. Los resultados obtenidos muestran que las dos entidades financieras percibidas más iguales entre sí son La Caixa y Caja Madrid; por el contrario, las dos entidades percibidas más diferentes son el Santander y Caja Madrid. Finalmente, el estudio muestra la imagen relativa, imagen individual y un mapa de posicionamiento de las entidades analizadas.

Indicadores de Riesgos Agrarios y su Gestión

Este estudio pretende desarrollar una serie de indicadores que permitan cuantificar y comparar los riesgos agrarios en distintos países, de una forma sintética e inmediata, así como la cobertura de dichos riesgos mediante seguros agrarios, y mediante programas públicos o ayudas ex-post. Los indicadores serán publicados y actualizados anualmente en internet, permitiendo así un acceso universal e internacional a esta información. Se han desarrollado tres indicadores de riesgos de rendimientos y de valor de la producción agraria bruta, de modo que cubren los riesgos medios, máximos y las pérdidas compensables según el criterio de Caja Verde de la Organización Mundial de Comercio. Los indicadores de aseguramiento describen de forma sintética tanto la extensión del seguro como el nivel de cobertura del mismo. Por último, se puede comparar el nivel de apoyo público al seguro con otras ayudas públicas relacionadas con los riesgos y calamidades agrarias a través de sendos indicadores. Los resultados obtenidos para numerosos países muestran la importancia de las tendencias en los resultados, y en general se muestran consistentes y buenos descriptores de los distintos sistemas de gestión del riesgo analizados

Análisis y Propuesta metodológica para el Diseño y Fabricación de una Cubertería.

Diseño y fabricación de una cubertería adaptada a personas discapacitadas.

Diseño preliminar térmico y estructural del instrumento NOMAD de ExoMars

El vehículo espacial ExoMarsOrbiter, llamado Exomars Trace Gas Orbiter (EMTGO), se encuadra en una misión de la ESA/NASA, contribuyendo a las ambiciones europeas de misiones de exploración futura, según lo establecido en la declaración Aurora. Los objetivos del programa ExoMars dan continuidad a los esfuerzos de cooperación con la NASA para enviar una misión de retorno de una muestra de Marte en las siguientes décadas. Están prevista s dos misiones dentro del programa ExoMars, una para 2016 y otra para 2018. NOMAD (solar occultation in the infra red and Nadir and Occultation for MArs Discovery) es un espectrómetro de alta resolución en el infrarrojo - visible - ultravioleta, observando en las franjas de 0.2 - 0.65 y 2.3 - 4.2 μm, para la inspección de la atmósfera de Marte. Dispone de tres canales (LNO, SO y UVIS) que operarán según tres modos distintos (ocultación solar, limbo y nadir). NOMAD es un instrumento con una masa de 29.9 kg que está montado sobre la bandeja superior exterior, en la cara fría del vehículo, y debe estar fuertemente desacoplado del mismo desde un punto de vista térmico (con una conductancia total máxima de 0.02 W/K). Este desacoplamiento dificulta el diseño estructural de la unión con el vehículo. El diseño térmico debe estar capacitado además para evacuar el calor disipado internamente y las cargas exteriores, utilizando únicamente métodos de control térmico pasivos. Un requisito térmico adicional es el que impone e l espectrómetro del canal LNO, que es una caja interior a NOMAD que debe ser enfriada a - 100º C. Con el objeto de cumplir estos requisitos, se disponen dos radiadores: un radiador ‘general’ para mantener al conjunto del instrumento a una temperatura semejante a la ambiente terrestre, y un radiador multietapa en “V” para enfriar la sección del LNO a - 100º C. Éste último consiste en 4 etapas con placas delgadas, que disponen de una combinación de regiones de alta emisividad y otras de alta reflectividad, para evacuar el calor entre etapas. Además, se ha de alcanzar un compromiso entre la rigidez del radiador y la masa del mismo para disminuir la masa del radiador, las placas delgadas deben ser rigidizadas estructuralmente. Tanto su diseño térmico como el estructural representan un reto tecnológico, debido a su escasa presencia en misiones anteriores. El modelo geométrico y los modelos matemáticos térmico s y estructural es se han construido siguiendo los estándares de la ESA. Esto es, la metodología utilizada ha sido la de efectuar primero un diseño conceptual preliminar, para posteriormente desarrollar un modelo térmico y otro estructural a nivel instrumento, con el software ESATAN y NASTRAN, ambos indicados por la ESA. Los resultados muestran la viabilidad de NOMAD desde un punto de vista térmico y estructural.

Desarrollo y caracterización de un material celular de alta porosidad con base cementicia activada mediante agentes inorgánicos

Esta tesis ha estudiado los morteros celulares, centrándose en la experimentación con pastas de cemento aireadas (PCA) con polvo de aluminio como agente expansor. El objetivo es el desarrollo de un material cementicio con una baja conductividad térmica que sirva como aislamiento térmico. La naturaleza inorgánica del material lo hace incombustible, en contraste con las espumas poliméricas existentes en el mercado, cuya aplicación en cámaras ventiladas ha sido prohibida por normativas de construcción tanto a nivel nacional como internacional. Las posibles aplicaciones son con proyección neumática o en paneles prefabricados. Se han ensayado dos series de pastas de cemento con polvo de aluminio: - Serie WPC/CAC/CH. Mezcla de referencia con cemento blanco (WPC), cemento de aluminato cálcico (CAC) y cal aérea (CH) en proporción 5:1:4. - Serie OPC/CH. Mezcla de referencia con cemento portland con cenizas volantes (OPC) y cal aérea (CH) en proporción OPC/CH de 4:1 A las mezclas de referencia se le han añadido adiciones de metacaolín (MK) (10 y 20%) o sepiolita (SP) (1 y 2%) para observar el efecto que producen tanto en el mortero fresco como en el mortero endurecido. Se ha estudiado la reología de las pastas en estado fresco, analizando el proceso de expansión de las pastas, registrando los valores de tensión de fluencia, aire ocluido y temperatura durante la expansión. Con los valores obtenidos se ha discutido la influencia de las adiciones utilizadas en la cinética de corrosión del polvo de aluminio que genera la expansión, concluyendo que las adiciones puzolánicas (CV y MK) y la SP reducen mucho el periodo de inducción, lo que provoca poros más grandes y mayor cantidad de aire ocluido. Asimismo se ha analizado la relación entre la tensión de fluencia y el contenido de aire ocluido, deduciendo que a mayor tensión de fluencia en el momento de iniciarse la expansión, menor tamaño de poros y contenido de aire ocluido. Finalmente, se han obtenido las densidades y capacidades de retención de agua de los morteros frescos. Para caracterizar la red porosa de las pastas aireadas endurecidas, se obtuvieron tanto las densidades reales, netas, aparentes y relativas como las porosidades abiertas, cerradas y totales con ensayos hídricos. Finalmente se obtuvieron imágenes de los poros con tomografía axial computerizada para obtener las porosimetrías de las muestras. La caracterización de la red porosa ha servido para terminar de analizar lo observado en la evolución de la expansión del mortero fresco. Se ha analizado la influencia de la red porosa en la conductividad térmica, obtenida con caja caliente, comparándola con la existente en la literatura existente tanto de morteros celulares como de espumas poliméricas. Se concluye que los valores de conductividad térmica conseguida están en el mínimo posible para un material celular de base cementicia. La microestructura se ha estudiado con microscopía electrónica de barrido, difracción de rayos X y ensayos térmicos TG/ATD, observando que los productos de hidratación encontrados coinciden con los que se producen en morteros sin airear. Las imágenes SEM y los resultados de ultrasonidos han servido para analizar la presencia de microfisuras de retracción en las pastas aireadas, observando que en las muestras con adiciones de MK y SP, se reduce la presencia de microfisuras. ABSTRACT This thesis has studied cellular mortars, focusing in testing aerated cement pastes with aluminum powder as expansive agent. The purpose is the development of a cementitious material with low thermal conductivity that can be used as thermal isolation. Inorganic nature of this material makes it non-combustible, in contrast with polymeric foams in market, whose application in ventilated double skin façade systems has been banned by building standards, both domestically and internationally. Possible uses for this material are pneumatically sprayed applications and precast panels. Two series of batches with aluminum powder have been tested: - WPC/CAC/CH series. Reference paste with white portland cement (WPC), calcium aluminate cement (CAC) and lime (CH) with 5:1:4 ratio. - OPC/CH series. Reference paste with portland cement with fly ash (OPC) and lime (CH) with 4:1 ratio. Metakaolin (MK) (10 and 20%) or sepiolite (SP) (1 and 2%) additions were used in reference pastes to characterize the effect in fresh and hardened mortar. Rheology in fresh pastes was studied, expansion process of pastes was analyzed, recording yield stress, entrained air and temperature values during expansion. Recorded values were used to discuss influence of additions on reaction kinetics of aluminum powder corrosion, that produces expansion.. Conclusion is that pozzolanic additions (FA and MK) and SP greatly reduce induction period, producing bigger pores and more entrained air. Relation between yield stress and entrained air has been also analyzed, observing that the bigger yield stress at beginning of expansion, the smaller pores size and the lower entrained air values. Finally density and water retention of fresh mortars were obtained. Pore network in hardened aerated cement pastes was characterized by imbibition methods providing true, bulk and relative density, and providing also open, closed and total porosity. Finally, pore system imaging were obtained with computerized axial tomography to study porosimetry of specimens. Pore network characterization was useful to complete facts analysis observed in expansion of fresh mortars. Influence of pore network in thermal conductivity, checked in hot box, was analyzed comparing with those existing values in cellular mortar and polymeric foams researches. It was concluded that thermal conductivity values achieved are close to minimum possible in a cementitious cellular material. Microstructure was studied with Scanning Electron Microscopy, X-Ray Diffractometry and TG-DTA analysis, observing that hydration phases found, are those produced in non aerated mortar. SEM imaging and ultrasound results were useful to analyze shrinkage microcracks in aerated cement pastes, concluding that microcrack presence in specimens with MK and SP additions were reduced.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Cuerpo, distancias y arquitectura: la percepción del espacio a través de los sentidos

Esta Tesis Doctoral quiere investigar e indagar, mediante la lectura y reorganización de textos variados y dispersos, y a través del estudio de ejemplos concretos de arquitectura (tanto actuales como clásicos), algunos principios que los arquitectos parecemos haber olvidado a la hora de proyectar nuestros edifi cios y nuestras ciudades, separándonos de la percepción por nuestros sentidos y creando un nuevo mundo cada vez más frío y deshumanizado. La arquitectura no puede ser entendida sólo como un refugio, como una caja aséptica y abstracta, sino que es un ambiente, lleno de percepciones y sensaciones corpóreas fruto de su relación escalar con el hombre. Pretendemos, mediante la combinación de textos de autores diversos, dibujos analíticos propios y experiencias personales y, mediante un enfoque general que debe ser riguroso y científi co, volver a reconocer a la arquitectura como máquina de generación de percepciones y experiencias para recuperar al funcionamiento de nuestros sentidos como una herramienta más, quizás la primordial, en la producción del proyecto arquitectónico.