Technical Challenges in the Construction of Gothic Vaults: The Gothic Theory of Structural Design

The construction of a Gothic vault implied the solution of several technical challenges. The literature on Gothic vault construction is quite large and its growth continues steadily. The main challenge of any structure is that, during and after construction, it must be "safe", that is, it must not collapse. Indeed, it must be amply safe, able to support different loads for long periods of time. Masonry architecture has shown its structural safety for centuries or millennia. The Pantheon of Rome stands today after almost 2,000 years without having needed any structural reinforcement (of course, the survival of any building implies continuous maintenance) . Hagia Sophia in Istanbul, finished in the 6th century AD, has withstood not only the dead loads but also many severe earthquakes . Finally, the Gothic cathedrals, with their appearance of weakness, are• more than a half millennium old. The question arises of what the source of this amazing strength is and how the illiterate master masons were able to design such daring and safe structures . This question is usually evaded in manuals of Gothic architecture. This is quite surprising, the structure being a fundamental part of Gothic buildings. The present article aims to give such an explanation, which has been studied in detail elsewhere. In the first part, the Gothic design methods "V ill be discussed. In the second part, the validity of these methods wi11 be verified within the frame of the modern theory of masonry structures . References have been reduced to a minimum to make the text simpler and more direct.

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis.

La iglesia de Santiago de los españoles en Roma y su entorno entre los siglos XV y XIX. Una historia a través del dibujo

Plaza Navona representa una de las visitas obligadas de Roma, pero solo algunos advertirán en ella la presencia española en la sala de exposiciones del Instituto Cervantes o en la inmediata Libreria Española. Todavía serán menos los que se percatarán de la huella española dejada en aquella iglesia de fachada anónima situada, en el extremo sur de la plaza: la antigua iglesia de Santiago de los Españoles. La presente tesis pretende, utilizando el dibujo como guía, herramienta y fin del proceso de análisis y estudio, reconstruir el proceso de conformación y construcción de la que fue iglesia española principal, cuya fundación hace patente el destacado papel jugado por la “nación” castellana en Roma durante la Edad Media; y en torno a la que se aglutinaron las actividades religiosas, diplomáticas y financieras de los castellanos que vivieron en la actual capital italiana. Se intentará recrear en el tiempo la que es hoy la iglesia de Nuestra Señora del Sagrado Corazón, sometiéndola a una restitución gráfica disciplinada, homogénea y objetiva en la medida de lo posible de las varias etapas que la han caracterizadas, desde su fundación hasta cuando en 1878 España se deshizo de ella, ya en ruina, vendiéndola. Como nos comenta Gaetano Moroni, de todas las comunidades nacionales que se encontraban en Roma la española parece ser efectivamente una de las más rica y prestigiosa. Aunque lo que no cuenta Moroni no haya sido todavía demostrado, dicho enunciado resulta de todas formas interesante puesto que pone el acento sobre el hecho de que ya desde el siglo X parece ser habitual de ocupar y reutilizar antiguas ruinas, usándolas como base para la construcción de hospitales para los peregrinos. Esta operación se hizo particularmente frecuente sobre todo antes del Gran Jubileo de 1450: de hecho desde la primera mitad del Quattrocento se fundan distintas iglesias y hospitales nacionales para acoger y prestar una adecuada asistencia y socorro a los innumerables peregrinos que llegaban a la ciudad, edificios que se van construyendo sobre los restos de antiguos edificios de época romana. Prueba de ello es en efecto la fundación originaria de la iglesia y hospital de los Españoles que, parte del conjunto de edificios que compone la Plaza Navona, situada en el corazón de Campo Marzio y cuya posición y forma corresponden a la del antiguo Estadio de Domiciano, y que ahora es en sus dimensiones, en su imagen arquitectónica y en su consistencia material, el resultado de la definición proyectual y de las transformaciones que se llevaron a cabo sobre lo que quedaba del antiguo templo español del siglo XV, entre finales del ‘800 y los años 30 del siglo XX . Transformaciones devastadoras, huellas grabadas o canceladas que encuentran una justificación en los acontecimientos históricos reflejados en el patrimonio urbano. El análisis de todas las fuentes permite trazar, si no la totalidad, buena parte de las modificaciones que la antigua iglesia de Santiago ha sufrido. La construcción del templo se puede dividir en tres momentos decisivos: una primera etapa de fundación en 1450-1478 en la que la iglesia tenía fachada y entrada en via de la Sapienza, hoy Corso Rinascimento; una segunda de significativa ampliación hacia Plaza Navona con una nueva fachada monumental hacia ese espacio público en 1496-1500; y una última importante ampliación entre 1525-1526, llevada a cabo por el arquitecto Antonio da Sangallo el Joven. Tras la intensa vida del templo, en el siglo XVIII, éste cae en ruina y finalmente es vendido en 1878 a la orden de los misioneros franceses de Nuestra Señora del Sagrado Corazón que la reconvierten en iglesia reformando totalmente el conjunto en 1881, según proyecto de Luca Carimini. En 1936, en plena fase de rectificación de trazados urbanos por obra del régimen fascista, según proyecto de Arnaldo Foschini, se mutila su extremidad hacia vía de la Sapienza dejando su estado tal y como se contempla en la actualidad. ABSTRACT The objective of this thesis is the reconstruction of the design and edification process -using drawings and sketches as a guide, tool and the end of the analytical process- of a church which was once the preeminent Spanish church in medieval Rome, known today as Nostra Signora del Sacro Cuore (Our Lady of the Sacred Heart). The founding of this church illustrates the important role held by the Castillian “nation” in Rome during the Middle Ages. It was the focal point of all the religious, diplomatic and economic activities of the Castillian community residing in today’s Italian capital. The aim of this proyect is a recreation the church in time by submitting it to a disciplined, homogenous and objective graphic restitution of the various stages most characteristic the temple, starting from its foundation until 1878 when, in a state of ruins, the church was finally sold off by Spain. Gaetano Moroni once commented that of all the international communities found in Rome, the Spanish community seemed to be one of the wealthiest and most prestigious. Such a statement proves interesting as it emphasizes that starting in the 10th century we see there was a widespread custom of occupying and reusing old ruins for use as the bases of new constructions of hospitals for pilgrims. This custom became especially frequent just before the Jubilee Year of 1450: in fact, in the first half of the Quattrocento we see the founding of many different national churches and hospitals which provided shelter and care to the countless pilgrims arriving in the city, buildings which were constructed on top of the ruins of ancient buildings left over from Roman times. Proof of this is the original foundation of the Spanish church and hospital forming part of the Piazza Navona, built upon and following the outline of the Stadium of Domitian, in the heart of Campo Marzio. Now, in its dimensions, its architectural image and its material substance, it represents the predominant result of the planning definitions and the transformations which affected the old 15th-century Spanish temple. Ocurring between the end of the 19th century and the 1930s, the transformations were devastating, erasing original peculiarities and engraving new ones, transformations made justifiable by the historical events reflected in its urban environs. Analyzing all sources allows us to trace, even if not in entirety, still a sizeable portion of the modifications undergone by the old Church of Saint James. The construction of the temple can be divided into three decisive moments: its foundation, from 1450 to 1478, when the church’s façade and main door looked out on to the Via della Sapienza, today’s central avenue of Corso del Rinascimento; the second stage being a major expansion towards the Piazza Navona (1496-1500) with a new, monumental façade facing the public space; and the third was the last significant expansion, carried out from 1525 to 1526 by the architect Antonio da Sangallo the Younger. Despite an intense and bustling life during the Modern Age, in the 18th century the church began to fall into ruin and was finally sold in 1878 to the order of French missionaries of Our Lady of the Sacred Heart, who reconverted it into a church and completely renovated the structure in 1881 in a project supervised by Luca Carimini. In 1936, the corrective urban redesign of Rome carried out by the fascist regime and implemented by Arnaldo Foschini mutilated the part bordering Via della Sapienza, leaving it as we see it today.

Caracterización de parámetros petrofísicos relacionados con la capacidad de almacenamiento de CO2 en el acuífero salino profundo de Hontomín (Burgos)

La conciencia de la crisis de la modernidad -que comienza ya a finales del siglo XIX- ha cobrado más experiencia debido al conocimiento de los límites del desarrollo económico, ya que como parecía razonable pensar, también los recursos naturales son finitos. En 1972, el Club de Roma analizó las distintas opciones disponibles para conseguir armonizar el desarrollo sostenible y las limitaciones medioambientales. Fue en 1987 cuando la Comisión Mundial para el Medio Ambiente y el Desarrollo de la ONU definía por primera vez el concepto de desarrollo sostenible. Definición que posteriormente fue incorporada en todos los programas de la ONU y sirvió de eje, por ejemplo, a la Cumbre de la Tierra celebrada en Río de Janeiro en 1992. Parece evidente que satisfacer la demanda energética, fundamentalmente desde la Revolución Industrial en el s XIX, trajo consigo un creciente uso de los combustibles fósiles, con la consiguiente emisión de los gases de efecto invernadero (GEI) y el aumento de la temperatura global media terrestre. Esta temperatura se incrementó en los últimos cien años en una media de 0.74ºC. La mayor parte del incremento observado desde la mitad del siglo XX en esta temperatura media se debe, con una probabilidad de al menos el 90%, al aumento observado en los GEI antropogénicos, siendo uno de ellos el CO2 que proviene de la transformación del carbono de los combustibles fósiles durante su combustión. Ante el creciente uso de los combustibles fósiles, los proyectos CAC, proyectos de captura, transporte y almacenamiento, se presentan como una contribución al desarrollo sostenible ya que se trata de una tecnología que permite mitigar el cambio climático. Para valorar si la tecnología CAC es sostenible, habrá que comprobar si existe o no capacidad para almacenar el CO2 en una cantidad mayor a la de producción y durante el tiempo necesario que impone la evolución de la concentración de CO2 en la atmósfera para mantenerla por debajo de las 450ppmv (concentración de CO2 que propone el Panel Intergubernamental para el Cambio Climático). El desarrollo de los proyectos CAC completos pasa por la necesaria selección de adecuados almacenes de CO2 que sean capaces de soportar los efectos de las presiones de inyección, así como asegurar la capacidad de dichos almacenes y la estanqueidad del CO2 en los mismos. La caracterización geológica de un acuífero susceptible de ser almacén de CO2 debe conducir a determinar las propiedades que dicho almacén posee para asegurar un volumen adecuado de almacenamiento, una inyectabilidad del CO2 en el mismo a un ritmo adecuado y la estanqueidad del CO2 en dicho acuífero a largo plazo. El presente trabajo pretende estudiar los parámetros que tienen influencia en el cálculo de la capacidad del almacén, para lo que en primer lugar se ha desarrollado la tecnología necesaria para llevar a cabo la investigación mediante ensayos de laboratorio. Así, se ha desarrollado una patente, "ATAP, equipo para ensayos petrofísicos (P201231913)", con la que se ha llevado a cabo la parte experimental de este trabajo para la caracterización de los parámetros que tienen influencia en el cálculo de la capacidad del almacén. Una vez desarrollada la tecnología, se aborda el estudio de los distintos parámetros que tienen influencia en la capacidad del almacén realizando ensayos con ATAP. Estos ensayos definen el volumen del almacenamiento, llegándose a la conclusión de que en la determinación de este volumen, juegan un papel importante el alcance de los mecanismos trampa, físicos o químicos, del CO2 en el almacén. Ensayos que definen la capacidad del almacén de "aceptar" o "rechazar" el CO2 inyectado, la inyectabilidad, y por último, ensayos encaminados a determinar posibles fugas que se pueden dar a través de los pozos de inyección, definidos estos como caminos preferenciales de fugas en un almacén subterráneo de CO2. Queda de este modo caracterizada la estanqueidad del CO2 en el acuífero a largo plazo y su influencia obvia en la determinación de la capacidad del almacén. Unido al propósito de la estimación de la capacidad del almacén, se encuentra el propósito de asegurar la estanqueidad de dichos almacenes en el tiempo, y adelantarse a la evolución de la pluma de CO2 en el interior de dichos almacenes. Para cumplir este propósito, se ha desarrollado un modelo dinámico a escala de laboratorio, mediante el programa ECLIPSE 300, con el fin de establecer una metodología para el cálculo de la capacidad estimada del almacén, así como el estudio de la evolución de la pluma de CO2 dentro del acuífero a lo largo del tiempo, partiendo de los resultados obtenidos en los ensayos realizados en ATAP y con la modelización de la probeta de roca almacén empleada en dichos ensayos. Presentamos por tanto un trabajo que establece las bases metodológicas para el estudio de la influencia de distintos parámetros petrofísicos en el cálculo de la capacidad del almacén unidos al desarrollo tecnológico de ATAP y su utilización para la determinación de dichos parámetros aplicables a cada acuífero concreto de estudio. ABSTRACT The crisis of modernity –which begins at the end of 19th Century- has been more important due to the knowledge of the limits of economic development, since it appeared to be thought reasonable, the natural resources are finite. In 1972, The Club of Rome analyzed the different options available in order to harmonize the sustainability and the environment development. It was in 1987 when The Global Commission on The Environment and the Development of UN, defined for the first time the concept of Sustainable Development. This definition that was fully incorporated in all the UN programs and it was useful as an axis, for example, in La Cumbre de la Tierra summit in Río de Janeiro in 1992. It seems obvious to satisfy energetic demand, basically after The Industrial Revolution in 19th Century, which represented an increasing use of fossil fuels, therefore greenhouse gases emission and the increasing of global average temperature. This temperature increased in the last 100 years up to 0.74ºC. The major part of the temperature increase is due to the increase observed in Greenhouse gases with human origin, at least with 90% of probability. The most important gas is the CO2 because of its quantity. In the face of the increasing use of fossil fuels, the CCS projects, Carbon Capture and Storage projects, appear as a contribution of sustainable development since it is a technology for avoiding the climate change. In order to evaluate if CCS technology is sustainable, it will be necessary to prove if the capacity for CO2 storage is available or not in a quantity greater than the production one and during the time necessary to keep the CO2 concentration in the atmosphere lower than 450ppmv (concentration imposed by IPCC). The development of full CCS projects goes through the selection of good CO2 storages that are able to support the effects of pressure injection, and assure the capacity of such storages and the watertightness of CO2. The geological characterization of the aquifer that could be potential CO2 storage should lead to determine the properties that such storage has in order to assure the adequate storage volume, the CO2 injectivity in a good rate, and the watertightness of the CO2 in the long term. The present work aims to study the parameters that have influence on the calculation of storage capacity, and for that purpose the appropriate technology has been developed for carrying out the research by mean of laboratory tests. Thus, a patent has been developed, "ATAP, equipo para ensayos petrofísicos (P201231913)", that has been used for developing the experimental part of this work. Once the technology has been developed, the study of different parameters, that have influence on the capacity of the storage, has been addressed developing different tests in ATAP. These tests define the storage volume which is related to the scope of different CO2 trap mechanisms, physical or chemical, in the storage. Tests that define the capacity of the storage to “accept” or “reject” the injected CO2, the injectivity, and tests led to determine possible leakages through injection wells. In this way we could talk about the watertightness in the aquifer in the long term and its influence on the storage capacity estimation. Together with the purpose of the storage capacity estimation, is the purpose of assuring the watertightness of such storages in the long term and anticipating the evolution of CO2 plume inside such aquifers. In order to fulfill this purpose, a dynamic model has been developed with ECLIPSE 300, for stablishing the methodology for the calculation of storage capacity estimation and the evolution of the CO2 plume, starting out with the tests carried out in ATAP. We present this work that establishes the methodology bases for the study of the influence of different petrophysics parameters in the calculation of the capacity of the storage together with the technological development of ATAP and its utilization for the determination of such parameters applicable to each aquifer.

La invención en la obra de Julio Lafuente: entre la utopía y la construcción

La obra de Julio Lafuente es extraordinariamente abundante y heterogenea, de un experimentalismo tan admirable en casos particulares como difícilmente caracterizable en su conjunto. El inventario ha revelado la existencia de más de 360 proyectos, de los que cerca de 200 están construidos, e incluye obras de arquitectura, urbanismo, escenografía y mobiliario, muchas de ellas reconocidas internacionalmente y profusamente publicadas entre 1950 y 1980. Es decir, nos encontramos ante un panorama de producción, divulgación y reconocimiento de su obra en el pasado reciente que contrasta con el actual desconocimiento de la misma. Situación que esta tesis doctoral pretende revertir. La investigación se articula en dos partes. La primera de ellas constituye el núcleo argumental y se compone de cuatro capítulos que permiten comprender el carácter de la obra de Julio Lafuente: su biografía profesional, una panorámica contextualizada de su obra, el estudio en profundidad de dos obras escogidas y la revisión transversal de los aspectos más relevantes en su arquitectura. Este primer volumen incluye dos capítulos adicionales: una bibliografía exhaustiva de sus obras y la traducción de publicaciones específicas coetáneas, recogidas en un anexo. La segunda parte consiste en una catalogación de la obra de Julio Lafuente, inexistente hasta la fecha, desarrollada por la autora en paralelo a su participación en la realización del Archivo de Julio Lafuente en Roma, lo que ha facilitado el acceso directo a la documentación original. Una revisión panorámica de diversas obras de Lafuente en relación con otras obras y corrientes de pensamiento coetáneas ha permitido comprender la pertenencia inequívoca de la obra de Julio Lafuente a su contexto: fundamentalmente, la Italia del período comprendido entre 1950 y 1980, un contexto del que se nutre y al que contribuye sin descanso. La mayor parte de la abundante obra arquitectónica de Lafuente se dedica al desarrollo de edificios de vivienda, normalmente construidos en los ensanches de Roma. En el conjunto de esta prolija trayectoria sobresalen, sin embargo, algunos logros extraordinarios que han permitido apoyar el desarrollo argumental de la investigación. Entre ellos, se han escogido para su estudio en profundidad dos obras —el hotel en la roca (1967), en Gozo (Malta) y el hipódromo de Tor di Valle (1959), en Roma—, que constituyen sendos casos singulares en los que Lafuente alcanza las cotas más altas de coherencia, significación y calidad arquitectónica, y que caracterizan el marco en el que se desarrolla la investigación: entre la utopía y la construcción. Al mismo tiempo, se trata de dos obras complementarias que llevan al extremo algunos de los aspectos a los que Julio Lafuente presta más atención en el conjunto de su obra, como la relación con el lugar, la invención estructural o el cuidado de los detalles constructivos. Estos rasgos se han revisado de un modo transversal en el último capítulo, incidiendo en algunos casos particulares que, a modo de metonimia, han permitido tomar la parte por el todo. La investigación confirma el compromiso de la obra de Lafuente con la lógica constructiva, si bien la componente idealizada se reconoce, aunque en un tono menor respecto al empeño constructivo, en una gran parte su arquitectura. Esta tendencia a la idealización es, posiblemente, una de las razones que ha llevado a quienes hasta hoy han escrito sobre su obra, a especular con las ideas de invención y utopía en la arquitectura de Julio Lafuente. El catálogo inédito de la obra de Julio Lafuente constituye la segunda parte de la tesis doctoral y permite realizar consultas posteriores que puedan dar continuidad a la investigación aquí iniciada. ABSTRACT The architectural work of Julio Lafuente is extraordinary wide and heterogeneous, of so admirable experimentalism in particular cases as difficult to be characterized as a whole. The inventory of his work has revealed the existence of more than 360 projects, of which about 200 are built, including works of architecture, urban planning, scenery and furniture, many of which were internationally recognized and widely published between 1950 and 1980. This overview of production, spread and recognition of his work in the recent past hugely contrasts with the current lack of knowledge of it. Situation that this PhD thesis aims to reverse. The thesis is divided into two parts. The first part is the core argument and comprises four sections that provide insights into the nature of the work of Julio Lafuente: professional biography, a contextualized view of his work, in-depth study of two selected works and cross review of the most relevant aspects in his architecture. This volume includes an exhaustive bibliography and translation of contemporaneous specific publications, incorporated in an annex. The second part consists of a catalog of the work of Julio Lafuente, non-existent to date, developed in parallel with the participation of the author in the making process of the Archive of Julio Lafuente in Rome, which has provided access to the original documentation. Research develops a wide-ranging approach to the architecture of Julio Lafuente in its context. To this purpose, various of his works have been reviewed in relation to other contemporary works, which have revealed a direct attachment of Lafuente’s work to its context: mainly Italy, for the period between 1950 and 1980. Most of his wide architectural work is related to housing projects, usually built in the extensions of Rome. In this broad regular work, however, highlight some outstanding achievements which have given support to the research argumental line. Among them, two works have been selected for an in-depth study: the hotel in the Maltese rock of Gozo (1967) and the Tor di Valle racecourse building (1959) in Rome. Both are individual cases in which Lafuente reaches the highest levels of coherence, significance and architectural quality, and both characterize the frame in which this research takes place: between utopia and construction. These selected projects are two complementary works that embody some of the aspects to which Julio Lafuente pays more attention, such as the experiencing of place, the structural invention or concern for construction details, among others. These features have been reviewed through a transversal regard in the last chapter, focusing on some particular cases, in the way in which metonymy is used, allowing to take the part for the whole. Research confirms that the work of Julio Lafuente stands out for its commitment to construction logic, while the idealized component is recognized, although in a minor key with respect to constructive engagement, in most of his architecture from the beginning to his latest proposals. This tendency to idealization is probably one of the reasons that has often led to those who have written about him, to speculate on the ideas of invention and utopia in the work of Julio Lafuente. The unpublished catalog of the work of Julio Lafuente, which constitutes the second part of the thesis, presents the architectural work of Julio Lafuente and allows further research that could continue the one started here.