Diseño basado en técnicas de fiabilidad del tratamiento de mejora del terreno mediante columnas de grava

El proyecto geotécnico de columnas de grava tiene todas las incertidumbres asociadas a un proyecto geotécnico y además hay que considerar las incertidumbres inherentes a la compleja interacción entre el terreno y la columna, la puesta en obra de los materiales y el producto final conseguido. Este hecho es común a otros tratamientos del terreno cuyo objetivo sea, en general, la mejora “profunda”. Como los métodos de fiabilidad (v.gr., FORM, SORM, Monte Carlo, Simulación Direccional) dan respuesta a la incertidumbre de forma mucho más consistente y racional que el coeficiente de seguridad tradicional, ha surgido un interés reciente en la aplicación de técnicas de fiabilidad a la ingeniería geotécnica. Si bien la aplicación concreta al proyecto de técnicas de mejora del terreno no es tan extensa. En esta Tesis se han aplicado las técnicas de fiabilidad a algunos aspectos del proyecto de columnas de grava (estimación de asientos, tiempos de consolidación y aumento de la capacidad portante) con el objetivo de efectuar un análisis racional del proceso de diseño, considerando los efectos que tienen la incertidumbre y la variabilidad en la seguridad del proyecto, es decir, en la probabilidad de fallo. Para alcanzar este objetivo se ha utilizado un método analítico avanzado debido a Castro y Sagaseta (2009), que mejora notablemente la predicción de las variables involucradas en el diseño del tratamiento y su evolución temporal (consolidación). Se ha estudiado el problema del asiento (valor y tiempo de consolidación) en el contexto de la incertidumbre, analizando dos modos de fallo: i) el primer modo representa la situación en la que es posible finalizar la consolidación primaria, parcial o totalmente, del terreno mejorado antes de la ejecución de la estructura final, bien sea por un precarga o porque la carga se pueda aplicar gradualmente sin afectar a la estructura o instalación; y ii) por otra parte, el segundo modo de fallo implica que el terreno mejorado se carga desde el instante inicial con la estructura definitiva o instalación y se comprueba que el asiento final (transcurrida la consolidación primaria) sea lo suficientemente pequeño para que pueda considerarse admisible. Para trabajar con valores realistas de los parámetros geotécnicos, los datos se han obtenido de un terreno real mejorado con columnas de grava, consiguiendo, de esta forma, un análisis de fiabilidad más riguroso. La conclusión más importante, obtenida del análisis de este caso particular, es la necesidad de precargar el terreno mejorado con columnas de grava para conseguir que el asiento ocurra de forma anticipada antes de la aplicación de la carga correspondiente a la estructura definitiva. De otra forma la probabilidad de fallo es muy alta, incluso cuando el margen de seguridad determinista pudiera ser suficiente. En lo que respecta a la capacidad portante de las columnas, existen un buen número de métodos de cálculo y de ensayos de carga (tanto de campo como de laboratorio) que dan predicciones dispares del valor de la capacidad última de las columnas de grava. En las mallas indefinidas de columnas, los resultados del análisis de fiabilidad han confirmado las consideraciones teóricas y experimentales existentes relativas a que no se produce fallo por estabilidad, obteniéndose una probabilidad de fallo prácticamente nula para este modo de fallo. Sin embargo, cuando se analiza, en el contexto de la incertidumbre, la capacidad portante de pequeños grupos de columnas bajo zapatas se ha obtenido, para un caso con unos parámetros geotécnicos típicos, que la probabilidad de fallo es bastante alta, por encima de los umbrales normalmente admitidos para Estados Límite Últimos. Por último, el trabajo de recopilación sobre los métodos de cálculo y de ensayos de carga sobre la columna aislada ha permitido generar una base de datos suficientemente amplia como para abordar una actualización bayesiana de los métodos de cálculo de la columna de grava aislada. El marco bayesiano de actualización ha resultado de utilidad en la mejora de las predicciones de la capacidad última de carga de la columna, permitiendo “actualizar” los parámetros del modelo de cálculo a medida que se dispongan de ensayos de carga adicionales para un proyecto específico. Constituye una herramienta valiosa para la toma de decisiones en condiciones de incertidumbre ya que permite comparar el coste de los ensayos adicionales con el coste de una posible rotura y , en consecuencia, decidir si es procedente efectuar dichos ensayos. The geotechnical design of stone columns has all the uncertainties associated with a geotechnical project and those inherent to the complex interaction between the soil and the column, the installation of the materials and the characteristics of the final (as built) column must be considered. This is common to other soil treatments aimed, in general, to “deep” soil improvement. Since reliability methods (eg, FORM, SORM, Monte Carlo, Directional Simulation) deals with uncertainty in a much more consistent and rational way than the traditional safety factor, recent interest has arisen in the application of reliability techniques to geotechnical engineering. But the specific application of these techniques to soil improvement projects is not as extensive. In this thesis reliability techniques have been applied to some aspects of stone columns design (estimated settlements, consolidation times and increased bearing capacity) to make a rational analysis of the design process, considering the effects of uncertainty and variability on the safety of the project, i.e., on the probability of failure. To achieve this goal an advanced analytical method due to Castro and Sagaseta (2009), that significantly improves the prediction of the variables involved in the design of treatment and its temporal evolution (consolidation), has been employed. This thesis studies the problem of stone column settlement (amount and speed) in the context of uncertainty, analyzing two failure modes: i) the first mode represents the situation in which it is possible to cause primary consolidation, partial or total, of the improved ground prior to implementation of the final structure, either by a pre-load or because the load can be applied gradually or programmed without affecting the structure or installation; and ii) on the other hand, the second mode implies that the improved ground is loaded from the initial instant with the final structure or installation, expecting that the final settlement (elapsed primary consolidation) is small enough to be allowable. To work with realistic values of geotechnical parameters, data were obtained from a real soil improved with stone columns, hence producing a more rigorous reliability analysis. The most important conclusion obtained from the analysis of this particular case is the need to preload the stone columns-improved soil to make the settlement to occur before the application of the load corresponding to the final structure. Otherwise the probability of failure is very high, even when the deterministic safety margin would be sufficient. With respect to the bearing capacity of the columns, there are numerous methods of calculation and load tests (both for the field and the laboratory) giving different predictions of the ultimate capacity of stone columns. For indefinite columns grids, the results of reliability analysis confirmed the existing theoretical and experimental considerations that no failure occurs due to the stability failure mode, therefore resulting in a negligible probability of failure. However, when analyzed in the context of uncertainty (for a case with typical geotechnical parameters), results show that the probability of failure due to the bearing capacity failure mode of a group of columns is quite high, above thresholds usually admitted for Ultimate Limit States. Finally, the review of calculation methods and load tests results for isolated columns, has generated a large enough database, that allowed a subsequent Bayesian updating of the methods for calculating the bearing capacity of isolated stone columns. The Bayesian updating framework has been useful to improve the predictions of the ultimate load capacity of the column, allowing to "update" the parameters of the calculation model as additional load tests become available for a specific project. Moreover, it is a valuable tool for decision making under uncertainty since it is possible to compare the cost of further testing to the cost of a possible failure and therefore to decide whether it is appropriate to perform such tests.

Assessing urban mobility through participatory scenario building and combined utility-regret assessment

La planificación de la movilidad sostenible urbana es una tarea compleja que implica un alto grado de incertidumbre debido al horizonte de planificación a largo plazo, la amplia gama de paquetes de políticas posibles, la necesidad de una aplicación efectiva y eficiente, la gran escala geográfica, la necesidad de considerar objetivos económicos, sociales y ambientales, y la respuesta del viajero a los diferentes cursos de acción y su aceptabilidad política (Shiftan et al., 2003). Además, con las tendencias inevitables en motorización y urbanización, la demanda de terrenos y recursos de movilidad en las ciudades está aumentando dramáticamente. Como consecuencia de ello, los problemas de congestión de tráfico, deterioro ambiental, contaminación del aire, consumo de energía, desigualdades en la comunidad, etc. se hacen más y más críticos para la sociedad. Esta situación no es estable a largo plazo. Para enfrentarse a estos desafíos y conseguir un desarrollo sostenible, es necesario considerar una estrategia de planificación urbana a largo plazo, que aborde las necesarias implicaciones potencialmente importantes. Esta tesis contribuye a las herramientas de evaluación a largo plazo de la movilidad urbana estableciendo una metodología innovadora para el análisis y optimización de dos tipos de medidas de gestión de la demanda del transporte (TDM). La metodología nueva realizado se basa en la flexibilización de la toma de decisiones basadas en utilidad, integrando diversos mecanismos de decisión contrariedad‐anticipada y combinados utilidad‐contrariedad en un marco integral de planificación del transporte. La metodología propuesta incluye dos aspectos principales: 1) La construcción de escenarios con una o varias medidas TDM usando el método de encuesta que incorpora la teoría “regret”. La construcción de escenarios para este trabajo se hace para considerar específicamente la implementación de cada medida TDM en el marco temporal y marco espacial. Al final, se construyen 13 escenarios TDM en términos del más deseable, el más posible y el de menor grado de “regret” como resultado de una encuesta en dos rondas a expertos en el tema. 2) A continuación se procede al desarrollo de un marco de evaluación estratégica, basado en un Análisis Multicriterio de Toma de Decisiones (Multicriteria Decision Analysis, MCDA) y en un modelo “regret”. Este marco de evaluación se utiliza para comparar la contribución de los distintos escenarios TDM a la movilidad sostenible y para determinar el mejor escenario utilizando no sólo el valor objetivo de utilidad objetivo obtenido en el análisis orientado a utilidad MCDA, sino también el valor de “regret” que se calcula por medio del modelo “regret” MCDA. La función objetivo del MCDA se integra en un modelo de interacción de uso del suelo y transporte que se usa para optimizar y evaluar los impactos a largo plazo de los escenarios TDM previamente construidos. Un modelo de “regret”, llamado “referencedependent regret model (RDRM)” (modelo de contrariedad dependiente de referencias), se ha adaptado para analizar la contribución de cada escenario TDM desde un punto de vista subjetivo. La validación de la metodología se realiza mediante su aplicación a un caso de estudio en la provincia de Madrid. La metodología propuesta define pues un procedimiento técnico detallado para la evaluación de los impactos estratégicos de la aplicación de medidas de gestión de la demanda en el transporte, que se considera que constituye una herramienta de planificación útil, transparente y flexible, tanto para los planificadores como para los responsables de la gestión del transporte. Planning sustainable urban mobility is a complex task involving a high degree of uncertainty due to the long‐term planning horizon, the wide spectrum of potential policy packages, the need for effective and efficient implementation, the large geographical scale, the necessity to consider economic, social, and environmental goals, and the traveller’s response to the various action courses and their political acceptability (Shiftan et al., 2003). Moreover, with the inevitable trends on motorisation and urbanisation, the demand for land and mobility in cities is growing dramatically. Consequently, the problems of traffic congestion, environmental deterioration, air pollution, energy consumption, and community inequity etc., are becoming more and more critical for the society (EU, 2011). Certainly, this course is not sustainable in the long term. To address this challenge and achieve sustainable development, a long‐term perspective strategic urban plan, with its potentially important implications, should be established. This thesis contributes on assessing long‐term urban mobility by establishing an innovative methodology for optimizing and evaluating two types of transport demand management measures (TDM). The new methodology aims at relaxing the utility‐based decision‐making assumption by embedding anticipated‐regret and combined utilityregret decision mechanisms in an integrated transport planning framework. The proposed methodology includes two major aspects: 1) Construction of policy scenarios within a single measure or combined TDM policy‐packages using the survey method incorporating the regret theory. The purpose of building the TDM scenarios in this work is to address the specific implementation in terms of time frame and geographic scale for each TDM measure. Finally, 13 TDM scenarios are built in terms of the most desirable, the most expected and the least regret choice by means of the two‐round Delphi based survey. 2) Development of the combined utility‐regret analysis framework based on multicriteria decision analysis (MCDA). This assessment framework is used to compare the contribution of the TDM scenario towards sustainable mobility and to determine the best scenario considering not only the objective utility value obtained from the utilitybased MCDA, but also a regret value that is calculated via a regret‐based MCDA. The objective function of the utility‐based MCDA is integrated in a land use and transport interaction model and is used for optimizing and assessing the long term impacts of the constructed TDM scenarios. A regret based model, called referente dependent regret model (RDRM) is adapted to analyse the contribution of each TDM scenario in terms of a subjective point of view. The suggested methodology is implemented and validated in the case of Madrid. It defines a comprehensive technical procedure for assessing strategic effects of transport demand management measures, which can be useful, transparent and flexible planning tool both for planners and decision‐makers.

Estudio teórico-experimental del comportamiento de un suelo blando ante la combinación de tensiones tangenciales estáticas y cíclicas

Se presenta en este artículo los principales resultados obtenidos de una investigación realizada durante varios años para el estudio del comportamiento de suelos blandos sometidos a la actuación de cargas de solicitación cíclica fundamentalmente tangencial. Se realizó una completa y extensa campaña experimental sobre muestras obtenidas del subsuelo del Puerto de Barcelona en el aparato de corte simple cíclico; se llevó a cabo el análisis de la información obtenida de la experimentación y la interpretación de los resultados utilizando técnicas estadísticas avanzadas, para finalmente, concebir a partir de la teoría matemática de la histéresis, un modelo constitutivo de comportamiento del suelo que permita reproducir anticipada y adecuadamente los diferentes sucesos de respuesta que pueden presentarse en los suelos blandos frente a la actuación de cargas repetidas. El modelo constitutivo desarrollado fue implementado numéricamente mediante el uso de códigos de programación y validado con los resultados de los ensayos de laboratorio disponibles.

La cabaña moderna. Microrrelatos de arquitecturas en busca de sentido

Desde la revolución ilustrada e industrial de finales del s. XVIII se ha venido desarrollando, con fuerza inigualada a lo largo de la historia, algo que es consustancial al hombre y que le ha permitido constituirse como tal frente al resto de animales: la técnica. Como sentencia Ortega, no hay hombre sin técnica. Pero, al mismo tiempo, va quedando cada vez más claro -como también nos señala Ortega- que el sentido y la causa de la técnica están fuera de ella, y que la técnica no es en rigor lo primero, sino que su finalidad le ha de ser prefijada por un deseo original pre-técnico. Si esto no fuera así el hombre perdería su propio sentido, pues el hombre es puro afán, un ente cuyo ser consiste no en lo que ya es, sino en la que aún no es. Sin embargo, el progresivo desencantamiento del mundo como consecuencia del desarrollo de la sociedad industrial vino a sustituir los viejos mitos por una interpretación racional y abstracta que renunciaba a cualquier búsqueda de sentido que trascendiese los hechos brutos. De este modo, la perdida de sentido del hombre frente a la técnica desarrollada por él mismo le dejaba desnortado y convertido en un sujeto pasivo en manos de un malentendido progreso. Frente a esta pérdida de sentido detectada ya a principios del siglo XX y denunciada con más fuerza a partir de la Segunda Guerra Mundial, el postmodernismo del último tramo del pasado siglo pudo no sólo oficializar su desaparición, sino consignar su deslegitimación. Ante a esto, sostenemos la necesaria existencia de sentido en cualquier arquitectura que se desarrolle plenamente y, especialmente, en la arquitectura de la modernidad -y aún de la modernidad tardía o postmodernidad- muchas de las veces no explicitado como tal frente al sobredimensionamiento técnico que ha venido marcando la pauta desde la revolución industrial. Al mismo tiempo, ya no se puede hablar de un único sentido, universalizable, sino de una pluralidad de sentidos que definirán distintas arquitecturas. Partiendo de la petitio principii de que el tema capital de la arquitectura en la modernidad ha sido la vivienda, el objeto arquitectónico que reúne las mejores características para desarrollar esta búsqueda de sentido lo hemos encontrado en la cabaña moderna, donde se cumple el aforismo corbusierano que señala que “quand l’économie est au maximum, l’intensité est au maximum”. Al mismo tiempo “al representar la plenitud a través de su misma negación”, la cabaña moderna se puede entender como una sublimación de la arquitectura a través de pequeños objetos donde han quedado destiladas las distintas esencias de la modernidad. Mediante el análisis de seis pequeñas construcciones situadas en archipiélagos arquitectónicos radicalmente distantes –el campamento de Ocatillo (F. Ll. Wright, 1929); la Caja (R. Erskine, 1942); el Cabanon (Le Corbusier, 1952); la casa cúpula en Carbondale (R. B. Fuller, 1960); el refugio en Oropesa (F. J. Sáenz de Oíza, c.1967-1977) y el pabellón de invitados en Kempsey (G. Murcutt, 1992)- la aparente aporía que supone la cabaña moderna, frente a la más lógica, en principio, cabaña primitiva, cobra sentido. Efectiva mente, el referente mítico de la cabaña primitiva, tal y como fue enunciado por Laugier, se correspondía con el estadio más primitivo de la modernidad, con sus orígenes, precisamente porque la crítica que se hacía en ella de la arquitectura se basaba en criterios exclusivamente técnicos que remitían a los orígenes constructivos de la arquitectura como fórmula para salir del entramado retórico en el que ésta se encontraba perdida. La cabaña moderna trasciende, sin embargo, aquella primitiva fase de la modernidad, de la que la cabaña de Laugier es paradigma, en la medida en que la crítica que se realiza ahora es doble, pues a la crítica de carácter técnico que encontramos en cada una de las cabañas se le añade una crítica de sentido que no se encuentra supeditada, en ninguno de los casos, a la componente técnica, tal y como sin embargo sucedía con Laugier, donde la pretendida regeneración moral de la arquitectura era consecuencia directa de su depuración técnica. En la cabaña moderna, al contrario, encontramos una pluralidad de sentidos que orientan y fuerzan el desarrollo de la techné en direcciones que llegan a ser radicalmente diferentes, construyendo unos relatos que habrán de ser, por tanto, necesariamente parciales, pero de los que la arquitectura, en cualquier caso no podrá prescindir si es que quiere seguir siendo fiel a sí misma, tal y como, efectivamente, lo comprendieron Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza y Murcutt, cuando se esforzaron por que estas pequeñas arquitecturas que hemos visitado, tan sólo unas cabañas, fueran unas cabañas con sentido, unas cabañas modernas. ABSTRACT Since the illustrated and industrial revolution of the XVIII century it has been developing, with unequally strength through history, something that is inherent to man and that has allowed him to become himself against the rest of animals: technique. As Ortega says, there is no man without technique. But, at the same time, it is becoming increasingly clear –as Ortega also says- that the sense and the cause of the technique are beyond technique itself, and that technique is not actually the first thing, but that its purpose must be predefined by a pre-technique original desire. If it were not like this, man would lose his own sense, because man is pure desire, an entity whose being is not what already is, but what still doesn’t is. However, the progressive disenchantment of the world as the result of the development of the industrial society came to change the old myths by a rational and abstract interpretation that renounced to any search of meaning that transcended the brute facts. Thereby, the loss of sense of man against the technique developed by man himself let him aimless and converted in a passive object in the hands of a misunderstood progress. Against this loss of sense already detected at the beginning of the XX century and denounced in a stronger way since the Second World War, the postmodernism of the late decades of the last century could not only formalize its disappearance, but also consign its delegitimization. On the contrary, we maintain the necessary existence of sense in any architecture that is fully developed and, specially, in the modern architecture –and even in the late Modernism or Postmodernism- many times not made explicit as such against the technique oversizing that has been setting the pattern since the industrial revolution. At the same time, we can not talk about an only and universal sense, but about a plurality of senses that will define different architectures. On the basis of the petitio principii that dwelling has been the capital issue of modern architecture, the architectonic object that possesses the best features for developing this search of sense has been found in the modern hut, where is fulfil the Corbusieran aphorism that says that “quand l’économie est au maximum, l’intensité est au maximum”. At the same time, “representing plenitude through its own negation” the modern hut can be understood as a sublimation of architecture through small objects where the different essences of modernity have been distilled. Through the analysis of six small buildings located in radically distant architectonic archipelagos –the Ocatillo dessert camp (F. Ll. Wright, 1929); the Box (R. Erskine, 1942); the Cabanon (Le Corbusier, 1952); the dome-home in Carbondale (R. B. Fuller, 1960); the retreat in Oropesa (F. J. Sáenz de Oíza, c. 1967-1977) and the guest house in Kimpsey (G. Murcutt, 1992)- the apparent aporia that represents the modern hut, against the, initially, more logical primitive hut, makes sense. Indeed, the mythical reference of the primitive hut, as it was enunciated by Laugier, belonged to the most primitive state of modernity, with its origins, precisely because the criticism of the architecture that was made there was based in exclusively technique criteria, referring to the constructive origins of architecture as the formula to get out of the rhetoric labyrinth in which architecture was lost at the moment. However, the modern hut transcends that primitive phase of modernity, of which Laugier’s hut is paradigm, since the criticism that is made is double, because to the criticism on the technique that we find in every hut we must add a criticism on the sense that is never subordinated to the technique component, as it was the case in Laugier, where the intended architectonic moral regeneration was a direct consequence of its technical depuration. In the modern hut, on the contrary, we find a plurality of senses that guides and drives the development of techné in radically different directions, building narratives that must be, then, necessarilly partial, but of which architecture could never leave aside if it still wants to be faithful to itself, as Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza and Murcutt seemed to understand when they tried hardly to make these small architectures that we have visited, these huts, huts full of sense, modern huts.

Derivación deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformación de especificaciones: se parte de una especificación inicial que va transformándose sucesivamente hasta obtener una especificación final que se toma como programa. Este modelo básico puede llevarse a la práctica de varias maneras. En concreto, la aproximación deductiva toma una sentencia lógica como especificación inicial y su proceso transformador consiste en la demostración de la sentencia; como producto secundario de la demostración se deriva un programa que satisface la especificación inicial. La tesis desarrolla un método deductivo para la derivación de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El método utiliza una lógica multigénero, cuya relación con el lenguaje de programación es estudiada. También se identifican los esquemas de demostración necesarios para la derivación de funciones con patrones, basados en la demostración independiente de varias subsentencias. Cada subsentencia proporciona una subespecificación de una ecuación del futuro programa a derivar. Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo método es una modificación del cuadro de estos autores, que incorpora géneros y permite demostrar una especificación mediante varios cuadros. Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa. Se prevén mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables anónimas y sinónimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicación, un mecanismo que independentiza el método del lenguaje de programación y un prototipo de entorno interactivo de derivación deductiva. Categorías y descriptores de materia CR D.l.l [Técnicas de programación]: Programación funcional; D.2.10 [Ingeniería de software]: Diseño - métodos; F.3.1 [Lógica y significado de los programas]: Especificación, verificación y razonamiento sobre programas - lógica de programas; F.3.3 [Lógica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programación automática - síntesis de programas; 1.2.3 [Inteligencia artificial]: Deducción y demostración de teoremas]: extracción de respuesta/razón; inducción matemática. Términos generales Programación funcional, síntesis de programas, demostración de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificación parcial, inducción estructural, teorema de descomposición.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Loos, Gínzburg y Teige: monumentalidad y modernidad

Durante el exilio norteamericano de 1943, el historiador Sigfried Giedion junto con el arquitecto Josep Lluís Sert y el pintor Fernand Léger escribieron los Nueve Puntos sobre Monumentalidad. El manifiesto fue el antecedente de un texto que el mismo Giedion presentó al año siguiente denominado La Necesidad de una Nueva Monumentalidad. En ese contexto, el interés por discutir el asunto de la monumentalidad buscaba señalar una virtual dirección para la arquitectura venidera en el escenario de la posguerra. Según el historiador, la condición monumental completaba el último paso en una progresión inevitable que tras el establecimiento del paradigma moderno -ocupado inicialmente en resolver temas técnicos, funcionales, simplificados e higienistas- habría de atender los problemas relacionados con la expresión simbólica, conmemorativa, emocional y artística de la nueva arquitectura. En ese sentido nos preguntamos, ¿es la monumentalidad una cuestión abiertamente contradictoria con los principios modernos y por lo tanto excluida durante este periodo?. El crítico norteamericano Lewis Mumford acuñó al respecto una sentencia contundente: "La noción de un monumento moderno implica, en verdad, una contradicción de sus términos: si es un monumento no es moderno, y si es moderno no puede ser un monumento". Con el fin de estructurar un posicionamiento crítico que permita contrastar el amplio espectro conformado entre lo dicho y lo hecho, se toma como referencia la obra escrita de tres personajes fundamentales dentro del desarrollo de la modernidad en la Europa de entreguerras -Adolf Loos en la Viena de transición del fin de siècle, Moisei Gínzburg en los márgenes del constructivismo soviético y Karel Teige en el contexto de la vanguardia Checa- para indagar sobre cuándo y cómo se encuentran o rechazan las nociones de modernidad y monumentalidad en ese período crítico. Dado que es objeto de interés establecer los posibles límites en la reflexión que entreteje desde los posicionamientos conscientes a las complicidades involuntarias del aparente enfrentamiento. En el proceso de mutación entre el proyecto y la obra construida, entre la palabra escrita y la arquitectura, las aportaciones de estos tres críticos figuran como relevantes en un ejercicio que busca comprobar posteriormente la trascendencia del asunto en algunos de los ejemplos canónicos de la arquitectura de los primeros años del siglo XX. A la distancia, la importancia del tema recae en un interés vigente en el que los aspectos de representación, memoria, significado o legitimidad, siguen siendo motivo de debate en el panorama de la producción arquitectónica actual.

Un entendimiento infraestructural del proyecto arquitectónico

Un entendimiento infraestructural del proyecto arquitectónico Este trabajo de tesis reivindica la pertinencia de la lógica infraestructural como herramienta de proyecto arquitectónico en el territorio urbano contemporáneo, a través del relato del tránsito que se produce entre las décadas de 1960 y 1970 y el final del siglo XX, desde unos sistemas urbanos centrales, vectoriales y ‘modernos’ hacia unos sistemas policéntricos, organizados según modelos de campos y ‘contemporáneos’. Las infraestructuras han sido tradicionalmente objeto de interés para generaciones de arquitectos y urbanistas que, bien desde su condición plástica más pregnante, bien desde una intuición de su capacidad organizativa, han sido fascinados por la irrupción en el territorio de estos elementos generalmente ajenos al proyecto arquitectónico. Los proyectos que durante décadas han explorado la posibilidad de habitar estas grandes estructuras, o de proyectar con su lenguaje y su escala, han resultado en un acercamiento a la capacidad de lo infraestructural como herramienta de proyecto limitada a cuestiones morfotipológicas. Sin embargo, a partir de un estudio de la infraestructura ‘clásica’ como aquella resultado de la manifestación de las redes de abastecimiento y conectividad básicas, se desvela una naturaleza de lo infraestructural que trasciende su expresión formal conocida y explora su capacidad performativa, como sistema de relaciones, como orden topológico, como soporte flexible para la actividad espontánea y no anticipada. A partir del trabajo de diversos autores y de una selección de proyectos de distinta índole –la mayoría no construidos– se muestra cómo la irrupción de una conciencia relacional, así como la problemática moderna de afrontar los procesos de generación de una ‘nueva ciudad para una nueva sociedad’, motivan la búsqueda de sistemas de generación y control de ‘forma colectiva’ adecuados a un modelo urbano contemporáneo. Transitando por los escritos de Fumihiko Maki en Investigations in Collective Form, Reyner Banham en Megastructure, o Shadrach Woods en The Man in the Street durante los 60 y 70 y, más recientemente, de Stan Allen en Points + Lines, Edward Soja en Postmetropolis o Frei Otto en Occupying and Connecting, se traza esta historia semántica de lo infraestructural desde lo tipológico hasta una noción ampliada que resulta pertinente para operar en el territorio contemporáneo postmetropolitano. Para ello el trabajo plantea, por un lado, la descripción del contexto urbano que podemos asumir como contemporáneo, su evolución y sus características principales. Por otro lado, se explora la formación de esta noción de entendimiento infraestructural en las últimas décadas desde enfoques complementarios. Una introducción describe las condiciones de contexto en las que este estudio doctoral adquiere su pertinencia: el tránsito relativamente reciente desde un modelo vectorial y clásico de ocupación del territorio, al modelo contemporáneo disperso y policéntrico propio del modelo de campos. Un bloque central de tres capítulos analiza ‘lo infraestructural’ como expresión de una arquitectura de las relaciones, como soporte para una sociedad en cambio y como lógica proyectual, no ligada a una forma dada. La última parte, a modo de epílogo, describe el territorio urbano contemporáneo, sus cualidades básicas y la capacidad de las lógicas infraestructurales enunciadas en los capítulos anteriores para operar en él. Un último apartado de conclusiones, establece las bases de una línea de investigación abierta acerca de la operatividad actual de estos sistemas en el proyecto de arquitectura. ABSTRACT An infrastructural understanding of architectural design This thesis project claims for the suitability of infrastructural logics as a design tool within contemporary urban territories. This claim is illustrated by means of a report on the transit between the 60–70’s decades and the end of the 20th century, ranging from vector, central, ‘modern’ urban systems, towards polycentric ‘contemporary’ urban patterns, arranged following field models. Infrastructures have been traditionally on the spot for generations of architects and urban planners who, due to either their aesthetical condition, or an intuition of their organizational capacity, have been fascinated by the bursting of these elements in the territory. Projects which have explored the possibility to inhabit these huge structures, or to design with its language or scale for decades, have turned out to be always limited to morphological-typological issues. However, from the base of a research on ‘classic’ infrastructure –understood as the outcome of supplies and connectivity basic networks– a new nature of infrastructure is revealed, going beyond its known formal expression and exploring its potential to perform as a system of relationships, as a topological pattern, or as a flexible support for spontaneous and unanticipated activity. The breakthrough of a relational consciousness, as well as the modern concern about the generation of ‘a new city for a new society’ are shown, through the works of several authors and a selection of heterogeneous mostly-unbuilt projects. This semantic history of infrastructures, regarding not only typologies but also a broader concept able to operate in contemporary postmetropolitan territory, is drawn by following the paths of Fumihiko Maki in Investigations in Collective Form, Reyner Banham in Megastructure, or Shadrach Woods in The Man in the Street during the 60’s and 70’s and, lately, those of Stan Allen in Points + Lines, Edward Soja in Postmetropolis or Frei Otto in Occupying and Connecting. In order to do so, this thesis project sets, on one hand, a description of the urban context which can be assumed as contemporary, as well as its evolution and main features. On the other hand, complementary approaches help go deep into how this notion of infrastructural insight within the last decades has been created. An introduction describes the contextual conditions for this thesis project to become relevant: the relatively recent transit from a classic spatial occupation pattern, to the contemporary, disperse and polycentric pattern inherent to field models. A three-chapters core analyzes the infrastructures as the expression of an architecture of relations, as well as a support for a changing society and as a formless design logic. The last part, an epilogue, describes the urban contemporary territory and the suitability of the infrastructural logics to operate in it. A final conclusive section, lays the foundations for an open line of research on present functionality of these systems in architectural designs.

Consideración de los huracanes en el diseño de las estructuras en la República Dominicana

La gestión de riesgo, es un mecanismo de protección, que mediante la identificación anticipada de las acciones generadas por un evento catastrófico, ayuda a reducir de la vulnerabilidad y a identificar las medidas a tomarse para evitar o mitigar los impactos de estos eventos o desastres. A sabiendas de que la seguridad absoluta no existe, surge la necesidad de que las construcciones de hoy día deben ser adaptadas en función de las características de su entorno y los peligros que se presentan en el mismo. La sociedad moderna identifica su exposición al riesgo y exige que estos sean tratados de manera adecuada garantizando que la obra no suponga ningún tipo de amenaza. Este Trabajo de Fin de Máster está guiado a la identificación de aquellas acciones e influencias que representan un peligro para las estructuras de la República Dominicana por el paso de los huracanes. Con esta información será posible la creación de un catálogo de Riesgos y Soluciones, cuya finalidad sea reducir la exposición y vulnerabilidad de las construcciones frente a un evento catastrófico como lo es paso de un huracán. Para realizar la investigación se ha utilizado el “Método LOGRO”, el cual trabaja bajo tres distintos métodos de investigación, los cuales son la: La revisión de documentación, una sesión de tormenta de ideas y encuestas a expertos (Método Delphi). Ya realizada la investigación e identificados los riesgos, se han realizado una serie de catálogos de Riesgos y Soluciones, que faciliten la creación de un plan de gestión de riesgos, para garantizar un diseño estructural resiliente, en las zonas expuestas al paso de los huracanes en la República Dominicana. Risk management is a protective mechanism, which by the early identification of actions generated by a catastrophic event, helps reduce vulnerability and to identify the measures taken to prevent or mitigate the impacts of these events or disasters. Knowing that there is no absolute security, there is the need for the construction of today must be adapted according to the characteristics of their environment and the dangers presented herein. Modern society identifies their exposure to risk and requires that these are adequately addressed by ensuring that the work does not pose any threat. This Final Project Master is guided to the identification of those actions and influences that pose a threat to the structures of the Dominican Republic by the hurricanes. With this information it is possible to create a catalog of risks, and solutions aimed at reducing the exposure and vulnerability of the buildings facing a catastrophic event as it is a hurricane. To make research has used the "LOGRO method", which works low three different research methods, which include: The review of documentation, a session of brainstorming and expert surveys (Delphi method). And conducted research and identified the risks, there have been a number of catalogs and Risk Solutions that facilitate the creation of a risk management plan to ensure a structural design resilient in areas prone to hurricanes in the Dominican Republic

Dinámicas de ocupación urbana del Anillo Verde metropolitano, desde sus orígenes en el Plan General del Área Metropolitana de Madrid de 1963 hasta el Plan General de Ordenación Urbana de 1997

El Anillo Verde metropolitano, definido por el Plan General de Ordenación Urbana del Área Metropolitana de Madrid en 1963 siguiendo los modelos planteados por la cultura urbanística internacional, como armadura de la estructura urbana del AMM, espacio protagonista dentro del sistema de espacios libres, lugar de uso público destinado al recreo y contacto con la naturaleza de la población madrileña, se convierte en realidad en una reserva de suelo que va entrando en juego motivado por las alianzas entre el poder institucional y la clase social dominante actuando al margen del planeamiento, poniendo en evidencia la escasez de recursos legales y culturales disponibles para la salvaguarda de los intereses comunes y, donde los condicionantes geográficos y naturales del territorio madrileño han influido decisivamente en la especialización funcional y espacial del Área Metropolitana de Madrid. Así pues considerando esta idea como HIPÓTESIS, el objetivo de la TESIS sería demostrarla, para lo cual se hace necesario primero, acotar espacial y temporalmente el objeto de estudio, es decir, del Anillo Verde metropolitano1, segundo, contextualizar histórica y disciplinarmente los presupuestos teóricos que conformaban la idea del Anillo Verde, tercero, reconocer, localizar y documentar las piezas que han ido materializando la ocupación urbana del Anillo Verde, clasificándolas según parámetros temporales, funcionales, urbanísticos y, formales, lo que permite analizar la geografía, uso, instrumentación y forma de su transformación a escala general metropolitana y, cuarto, profundizar a modo de comprobación a escala municipal y urbana en dos escenarios representativos del conjunto metropolitano: el municipio de Pozuelo de Alarcón y el distrito de Hortaleza-Barajas. El contenido del documento se divide en tres bloques, el bloque I, se centra en las bases teóricas, el bloque II sitúa el hilo argumental de la tesis a escala metropolitana y el bloque III comprueba el fenómeno a escala municipal y urbana. De esta forma, se comienza por la comprensión del significado del concepto del Anillo Verde, que va más allá de la dimensión instrumental asignada de límite y contención urbana frente al crecimiento de la ciudad industrial de principios del siglo XX, basada en la descentralización de la ciudad tradicional, para adquirir un significado más complejo, como gran espacio de reserva y salvaguarda de valores naturales y culturales que se expresaban en su territorio y que permitirían alcanzar el equilibrio entre la ciudad y sus habitantes, es decir, entre el hombre y el espacio que habita. Se hace un recorrido por las principales corrientes urbanísticas que se van nutriendo de distintas disciplinas (economía, sociología, geografía, biología, ecología) para plantear teorías que permitieran materializar un nuevo orden urbano según principios de equidad social, económica y ambiental, en una secuencia donde Europa y Estados Unidos realizaban un constante intercambio -el movimiento de la Ciudad Jardín o el Regionalismo, que dieron paso a propuestas como el Greater London o el Gran Berlín, donde la figura del Anillo Verde tenía un papel protagonista, y del que también participaría nuestro país y la ciudad de Madrid, con modelos regionales como el Plan Besteiro y urbanos como el Plan Bidagor, antecedentes directos del Plan General de Ordenación Urbana del Área Metropolitana de Madrid de 1963 que pone en marcha la ordenación del crecimiento metropolitano de Madrid. El hilo argumental de la tesis se organiza en una doble aproximación: un acercamiento a escala metropolitana a partir del reconocimiento del modelo de ciudad definido en los distintos planes generales que acompañaron el desarrollo metropolitano (municipio de Madrid y de los siete términos municipales que rodeaban a este y que tenían suelo destinado a Anillo Verde), haciendo referencia además a las relaciones con el planeamiento regional, concretando en una escala de aproximación municipal que avanza hasta la interpretación urbana detallada. El primer acercamiento tiene lugar en el bloque II y se organiza en tres capítulos. El capítulo 4 se dedica al punto obligado de partida de la geografía local, describiendo las características biofísicas de los terrenos que formaban parte del Anillo Verde, que han marcado históricamente la forma de aprovechamiento del territorio, desde las extensiones de bosques mediterráneos al norte y al oeste continuación del Monte del Pardo, a los distintos tipos de cultivo que se adaptaban al sustrato geológico y la forma del terreno (de las suaves ondulaciones de sedimentos arcósicos al norte a las extensas plataformas arenosas y yesíferas del sur), además de las zonas de huertos aprovechando las depresiones y los cursos de agua (arroyo del Monte Carmelo, arroyo de Valdebebas, arroyo del Quinto, arroyo del Santo, arroyo Butarque, arroyo Meaques y arroyo Pozuelo). Una vez reconocida la realidad física, el capítulo 5, avanza en la descripción de los distintos modelos de ciudad propuestos desde el planeamiento urbanístico, en sus distintas escalas, la regional y la municipal, como respuesta a la coyuntura social, económica y política que ha caracterizado el proceso de ocupación del Anillo Verde al compás de la construcción del AMM. Se han reunido las propuestas de planeamiento municipal de los distintos municipios que disponían de terreno calificado como Anillo Verde: Madrid, Coslada, Getafe, Leganés, Alcorcón, Boadilla del Monte y Pozuelo de Alarcón. Además se han incorporado las distintas propuestas de ordenación territorial que han servido de referencia al planeamiento municipal, en todas sus versiones, desde las sectoriales, de mayor éxito y apoyo institucional, a los distintos intentos de ordenación integral, de mayor complejidad pero de menor calado, precisamente por la dificultad de consenso entre la ordenación física y el desarrollo económico, entre los intereses privados y el beneficio público. El primer horizonte, comienza con la formulación del Plan General de Ordenación Urbana del Área Metropolitana de Madrid de 1963, su desarrollo y la puesta en marcha de los primeros planes municipales en la década de los años setenta, donde se comprueba la necesidad de un marco regional que “ordene” el territorio de forma integral y sirva de referencia a las actuaciones sectoriales que habían marcado el primer desarrollo metropolitano. El segundo, se sitúa dos décadas más tarde con la aprobación del Plan General de Ordenación Urbana de Madrid de 1985 y el conjunto de planes municipales de los términos limítrofes, que siguen su filosofía de austeridad en cuanto a crecimiento territorial. El tercero se inicia en 1997 con la siguiente generación de planes de corte neoliberal que imponen un modelo territorial basado en las grandes operaciones metropolitanas de centralidad, infraestructuras y equipamiento, que consumen de forma indiscriminada la totalidad del territorio madrileño. Será en el último capítulo del segundo bloque (capítulo 6) donde se represente gráficamente a escala metropolitana y se analicen las 229 piezas que han ido colmatando el espacio destinado a Anillo Verde, según los parámetros de estudio, en base a las cuales se plantean las primeras conclusiones generales de la tesis, poniendo de manifiesto que las alianzas entre los agentes soberanos en la construcción de la ciudad y su entorno han trasgredido sucesivamente las determinaciones del Planeamiento en su definición de modelo de ciudad y territorio, acusando la carencia de recursos instrumentales y jurídicos que alentaron el proceso de su desmantelamiento, y revelando la influencia de los condicionantes geográficos y naturales en la especialización funcional y segregación social en el conjunto del Área Metropolitana de Madrid. Se remata el discurso metropolitano con una batería de conclusiones que interpretan el fenómeno de ocupación del anillo de verdor metropolitano confirmando las hipótesis iniciales, reconociendo los valores medioambientales y culturales trasgredidos, sus diversos actores, las numerosas operaciones urbanísticas desarrolladas con distintos usos y envergadura, así como los instrumentos de planeamiento utilizados, en base a las cuales se materializa la construcción del AMM según un modelo extendido (spread), dibujando una mancha de aceite (o grase-spots según Geddes) que precisamente había querido evitarse desde el planeamiento urbanístico con la definición de un Anillo Verde, espacio inmune a la edificación, que se aleja de su papel estructurante (equilibrador entre la ciudad y sus habitantes) para convertirse en armadura de la estructura comunicativa, que una vez consolidada se convierte en la mejor aliada de la máquina inmobiliaria. El último paso, se desarrolla en el bloque III que se divide en los capítulo 7,8 y 9 y supone la comprobación de lo descrito en el conjunto de escala metropolitana, en dos aspectos fundamentales, la falta de consideración por los valores culturales y medioambientales que han modelado el territorio, imprimiéndole un carácter singular y específico y, la estructura del dominio del suelo, donde se reconoce de forma precisa el grupo social y los agentes encargados en cada momento de comercializar los suelos del anillo, que bajo el paraguas de la urgencia social y el engañoso beneficio popular, obtienen importantes beneficios económicos. Con esa intención, se da un salto hacia la escala municipal y urbana, seleccionando dos escenarios de estudio, el municipio de Pozuelo de Alarcón, que representa la materialización del crecimiento suburbano de la élite madrileña ocupando las zonas de mayor valor ecológico del anillo, y el distrito de Hortaleza-Barajas que ofrece su territorio a las grandes operaciones metropolitanas, apoyándose en el eje de actividad marcado por la conexión Madrid-Barcelona y el sistema aeroportuario de escala global, ambos situados al norte de la línea de borde entre la Sierra y la Mancha, ocupando por tanto los lugares más valiosos de la geografía madrileña (estructura funcional anticipada por Bidagor en 1946 en su modelo de ciudad adaptada al territorio madrileño) Una vez descrito este proceso trasgresor de límites, de normas, de conductas, y desde una perspectiva del fenómeno suficientemente documentada, en el capítulo 10, se realiza una reflexión sobre la incidencia real de la propuesta urbanística del Anillo Verde en la construcción del AMM, de la misma forma que se sugieren nuevos roles al planeamiento en un formato intencionado de largo recorrido en oposición a lo inmediato y circunstancial, que permita hacer una nueva lectura de los presupuestos teóricos que conformaban la idea del Anillo Verde, espacio articulador (medioambiental, social y cultural) del territorio madrileño. ABSTRACT The Metropolitan Greenbelt was defined by the 1963 Master Plan for the Madrid Metropolitan Area (MMA), following established international models of urban development, as the structural framework of the MMA, the principal open space within its network of open spaces and a public area of recreation and contact with nature for the residents of Madrid. In reality, however, it ha become a reserve of land in which various alliances between the institutional authorities and the dominant social class have been operating on the margin of the original plan, exposing a scarcity of legal and cultural resources for the safeguarding of common interests, and in which the geographical and natural characteristics of the territory itself have come to play an influential role in the functional specialization and spatial segregation of the MMA. With that idea as its HYPOTHESIS, the aim of this THESIS is to demonstrate its reality. The first step in this is to delineate, temporally and spatially, the object of study; i.e. the Metropolitan Greenbelt2. The second is to contextualize historically and disciplinarily those theoretical ideas which conform to the greenbelt concept. The third is to acknowledge, locate and document the elements which have characterized the urban occupation of the Greenbelt and classify these according to the parameters of time, function, urban development and form, which in turn would enable the geography, use, instrumentation and form of its transformation to be analysed on a general metropolitan scale. The fourth step, as a method of verification, is an in-depth analysis of two representative settings within the metropolitan network: the municipality of Pozuelo de Alarcón and the Hortaleza-Barajas district. The content of the document is divided into three parts. Part I focuses on the study’s theoretical foundations, Part II establishes a line of argument at the metropolitan level and Part III examines the phenomenon from a municipal and urban perspective. The thesis, then, begins with a study of the greenbelt concept itself and its meaning, which is far more complex than the accepted instrumental dimension of limiting and containing urbanization in response to the growth of the industrial city of the early 20th century, and which is based on a decentralization of the traditional city. This wider purpose is the setting aside of a large reserved space to safeguard the natural and cultural values of the region and thereby achieve a balance between the city and its residents; that is to say, between man and the space he inhabits. The principal currents of thought in urban planning will then be examined. These have drawn upon a variety of disciplines (economics, sociology, geography, biology, ecology) to develop theories for establishing a new urban order according to the principles of social, economic and environmental equity, and have involved a constant interchange between Europe and the United States. Thus, the City Garden and Regionalist movements would clear the way for proposals such as Greater London and Great Berlin, Chicago and Washington, in which the greenbelt would play a fundamental role. The participation of our own country and the city of Madrid is also discussed, through regional models such as the Besteiro Plan and urban ones like the Bidagor Plan, direct forerunners of 1963’s General Organizational Plan for the Madrid Metropolitan Area, which would set into motion the organization of Madrid’s metropolitan growth. The line of argument followed in this thesis is two-fold: first, an examination of metropolitan development in keeping with the city model as defined in the various General Plans for the development of both the municipality of Madrid and the seven surrounding municipalities which have land designated for its Greenbelt; and second, an examination of this growth in relation to Regional Planning measures, is detailed on a smaller scale (municipal and district), where the conditioning factors affecting the land property structure and the network of biophysical units may be analysed in depth. The first of these is dealt with in Part II and organized into three chapters (4, 5 and 6). Chapter 4 is dedicated to the obligatory starting point of the geographical setting itself. The biophysical characteristics of the territories set aside for the Greenbelt, and which historically have played a role in the area’s exploitation, are described here. These range from expanses of Mediterranean woodland to the north and west of Monte del Pardo to the various types of farmland that have been adapted to the geological substratum and the contours of the terrain (gentle undulations of arkosic sediment in the north, and wide sandy and gypsiferous tableland in the south), as well as orchards planted in low valleys and along watercourses (the creeks of Monte Carmelo, Valdebebas, Quinto, Santo, Butarque, Meaques and Pozuelo). Once this physical reality ha been detailed, in Chapter 5 will examine the various city models proposed by urban planners, both regionally and municipally, in response to the confluence of social, economic and political interests that have characterized the process of occupation in the Greenbelt area during the construction of the MMA. Municipal planning proposals will be collected and examined for the various municipalities which have land designated for the Greenbelt: Madrid, Coslada, Getafe, Leganés, Alcorcón, Boadilla del Monte and Pozuelo de Alarcón. Furthermore, the various territorial organization proposals which have served as references for municipal planning will also be addressed here, in all of their versions –from the sectorial, which have met with more success and institutional approval, to the many attempts at integration, which have been more complex but less influential, precisely for the difficulty of reconciling physical organization with economic development, and private interest with public benefit. The first period in this process was the development of the General Plan of 1963, followed by the first municipal development plans of the 1970s, in which the need for a regional framework that “organized” the territory in an integral fashion was defined. This would serve as a reference for the sectorial actions that marked the metropolitan area’s initial development. The second came two decades later with the approval of the General Plan of 1985, and the network of municipal plans for the surrounding communities, which followed the same philosophy of austerity with regard to territorial growth. The third would begin to take form in 1997, as a new generation of neo-liberal development plans imposed a territorial model based on centralized large-scale metropolitan operations of infrastructure and equipment, which would indiscriminately consume the totality of Madrid’s land. At the end of the Part II, in Chapter 6, the metropolitan area will be represented graphically and the 229 pieces that have been gradually encroaching upon land designated for the Greenbelt will be analysed. This analysis will be carried out according to the parameters defined for the study, and the first general conclusions of the thesis will be based on its findings. It will show how alliances between the various governing authorities in the construction of the city and its environment have successively violated established plans with regard to the definitions of city and territory, how shortages of instrumental and judicial resources have accentuated the dismantling process, and how natural and geographical factors have influenced functional specialization and social segregation in the Madrid Metropolitan Area. The final step, detailed in Part III, will address two fundamental aspects of what has just been described: the lack of consideration for the cultural and environmental values which have shaped this territory and imprinted upon it a specific and unique character; and the structure of land domination, with a precise identification of the social group and agents responsible at each stage of the Greenbelt’s commercialization, who, under an umbrella of social urgency and deceptive public benefit, have used it to obtain substantial financial rewards. For this purpose, a closer look is taken at two specific areas: the municipality of Pozuelo de Alarcón, representative of the suburban growth of an elite population which has occupied the Greenbelt areas of the greatest ecological value; and the Hortaleza-Barajas district, which has offered its territory to large metropolitan business interests, based on activities centred on the connection between Madrid and Barcelona and the system of international air travel. Both of these settings are located to the north of the line which divides the Sierra from La Mancha, and thus occupy the most valuable land in the Madrid region (a functional structure anticipated by Bidagor in 1946, with his city model adapted to the territory of Madrid). Finally, an attempt will be made to interpret the phenomenon of metropolitan Greenbelt occupation, confirming initial hypotheses, specifying the environmental and cultural values that have been violated, and identifying the various players involved, as well as numerous urbanization operations of varying sizes and interests, and the instruments of planning they have used. It will be seen from this that the construction of the MMA has in fact followed a “spread” model, a “grease spot” (as Geddes calls it) which, from the outset of the planning process and according to the definition of a greenbelt as a construction-free zone, was precisely to be avoided. This structural role (to provide a balance between a city and its residents) has thus been abandoned and the Greenbelt converted instead into a communicative framework which, once consolidated, has become the greatest ally of the real estate machine. After this process of violating limits, norms and established behaviour has been described and solidly documented, a reflection will be made on the real influence of the Greenbelt proposal in the construction of the MMA. At the same time, new roles will be suggested for future planning, roles which are deliberate and long term, in opposition to the immediate and circumstantial. This will enable a new interpretation of the theoretical principles behind the greenbelt concept, a space designed to connect the territory of Madrid environmentally, socially and culturally.

Investigación sobre tratamientos de aguas seguros en emergencias

Esta Tesis Doctoral tiene como principal objetivo el obtener una cadena de tratamientos seguros de aguas seriados que nos permita asegurar la calidad de las aguas para consumo humano en caso de emergencias, de tal forma que se minimicen los efectos de acciones hostiles, como sabotajes o actos terroristas, desastres naturales, etc y buscar soluciones adecuadas para garantizar en este caso la salud. Las plantas de tratamientos de aguas existentes comercialmente no aseguran dicha calidad y la documentación sobre el tema presenta vacíos de conocimiento, contradicciones entre resultados de investigaciones o insostenibilidad de conclusiones de las mismas. Estas carencias nos permiten determinar los aspectos a tratar durante la investigación. Por ello, este objetivo se concretó en tres acciones: Investigar sobre rendimientos de plantas convencionales en eliminación de microorganismos y productos tóxicos y peligrosos. Introducir mejoras que garanticen el rendimiento de las plantas convencionales. Investigar sobre la conveniencia de complementar las instalaciones existentes buscando seguridad y garantía sanitaria. Y se desarrollaron tres líneas de investigación: LI 1 “Inorgánicos”: Investigación sobre la eliminación de los metales boro, cobre y molibdeno mediante procesos de intercambio iónico y de coagulaciónfloculación- decantación. LI 2 “Compuestos Orgánicos Volátiles”: Investigación sobre la eliminación de los compuestos orgánicos 1,1 dicloroetano, 1,2 dicloroetano, clorobenceno, 1,3 dicloropropeno y hexacloro 1,3 butadieno mediante procesos de carbón activo granular y de oxidación avanzada. LI 3 “Plantas portátiles”: Investigación sobre plantas existentes portátiles para verificar su rendimiento teórico y proponer mejoras. Estas líneas de investigación se desarrollaron tanto en el nivel teórico como en el empírico, bien sea en laboratorio como en campo. A lo largo del documento se demuestra que las principales fuentes de contaminación, salvo la degradación de yacimientos naturales, proceden de la actividad humana (efluentes industriales y agrícolas, aguas residuales y actividades beligerantes) que provocan un amplio espectro de enfermedades por lo que dificultan tanto la definición de la fuente como la anticipada detección de la enfermedad. Las principales conclusiones que se obtuvieron están relacionadas con el rendimiento de eliminación de los parámetros tras la aplicación de los procesos y plantas de tratamiento de aguas anteriormente reseñadas. Sin embargo, el verdadero elemento designador de originalidad de esta Tesis Doctoral, tal como se ha reseñado arriba, radica en la definición de un sistema seriado de procesos de tratamiento de aguas que asegura la calidad en caso de emergencia. Éste se define en el siguiente orden: pretratamiento, oxidación, coagulación-floculación-decantación, filtración por arena, intercambio iónico, carbón activo granular, microfiltración, radiación UV, ósmosis inversa, radiación UV y cloración final. The main objective of this Thesis is to obtain a chain of stepwise safe water treatments that allow us to ensure the quality of water for human consumption in case of emergencies, so that the effects of hostile actions, such as sabotage or terrorism, natural disasters, etc. and seek appropriate solutions in this case to ensure health. The existing commercial water treatment plants do not ensure quality, and the documentation on the subject presents knowledge gaps or contradictions. These gaps allow us to determine the issues to be discussed during the investigation. Therefore, this objective was manifested in three actions: Researching yields in commercial plants and microorganisms, or toxic and dangerous products removal. Improvements to ensure the performance of conventional plants. Inquire about the advisability of implementing existing facilities for safety and health guarantee. And three lines of research are developed: LI 1 “Inorganic elements”: Research removing metals iron, copper and molybdenum by ion exchange processes and coagulation-flocculation-decantation. LI 2 “Volatile Organic Compounds”: Research removing organic compounds 1,1 dichloroethane, 1,2 dichloroethane, chlorobenzene, 1,3-dichloropropene and 1,3-butadiene hexachloro through processes of granular activated carbon and advanced oxidation. LI 3 “Compact Water Treatment Plants”: Research on existing packaged plants to verify theoretical performance and suggest improvements. These lines of research are developed both theoretically and empirically, both in the laboratory and in the field. Throughout the document, it is evident that the main sources of pollution, other than the degradation of natural deposits, come from human activity (industrial and agricultural effluents, sewage and belligerent activities) which cause a broad spectrum of diseases which hamper both the definition of the source and the early detection of the disease. The main conclusions drawn are related to both the removal efficiency parameters after application of processes and treatment plants outlined above water. However, the real designator of originality of this thesis, such as outlined above, lies in the definition of a serial system water treatment processes assuring quality in case of emergency. This is defined in the following order: pretreatment, oxidation, coagulation-flocculation-sedimentation, sand filtration, ion exchange, granular activated carbon, microfiltration, UV radiation, reverse osmosis, UV radiation and final chlorination.

Formación y determinación del valor del suelo: confrontación y discrepancias entre mecanismos de mercado y regulaciones administrativas

La determinación del valor del suelo implicado en los procesos de urbanización se mueve en una compleja dialéctica en la que algunos fenómenos de naturaleza morfológica como el modelado del espacio social, o el que se deduce de las determinaciones del planeamiento (aprovechamiento especialmente) se enfrentan a instrumentos de regulación que se rigen por normas de carácter administrativo (urbanísticas y expropiatorias, fiscales, financieras-hipotecarias etc.). En ese marco en el que las discrepancias son frecuentes se pretende analizar las posibles actuaciones encaminadas a influir sobre la formación de ese valor en el sentido de limitar las expectativas de aprovechamiento tradicionalmente vinculadas al sistema urbanístico establecido, destacando al respecto la implantación de criterios de sostenibilidad y participación ciudadana, así como que la utilización de normas administrativas de valoración con la finalidad de reducir tales expectativas y tratar de influir sobre el sistema urbanístico en su conjunto, no se considera suficiente para conseguir el logro de tales objetivos. Añadiendo, respecto del conjunto de normas administrativas de determinación del valor del suelo, que si bien las reglas urbanísticas y expropiatorias establecen actualmente reglas objetivas de valoración, a través de la normativa de valoración destinada a entidades financieras, o de carácter fiscal, se introducen criterios subjetivos que tratan de aproximarse al mercado, incluso en el caso del valor catastral, estructuralmente reglado. Esta separación de criterios ha llevado a un enfrentamiento al que ha venido a dar respuesta la reciente sentencia del Tribunal Supremo de 30 de mayo de 2014, que impone los criterios urbanísticos de consideración de situaciones básicas de suelo, frente a los fiscalmente regulados en relación con la normativa catastral en cuanto a la consideración de suelo urbanizable sin desarrollar, que pasa a ser considerado como en situación rural, siendo por tanto aplicables sobre el mismo las reglas de valoración que la normativa catastral establece para esta categoría de suelo (rústico) que no considera, incluso con la posterior modificación, de junio de 2015, incorporada para adaptarse a la mencionada sentencia, expectativas de aprovechamiento. Pero como se ha señalado, la exclusiva utilización de la normativa urbanística de valoración no se considera suficiente para evitar los efectos que sobre el valor de suelo produce la asignación de tales aprovechamientos, por lo que acuerdo con la actual legislación de suelo, deben asimismo potenciarse actuaciones encaminadas a un desarrollo sostenible así como a la participación ciudadana, la transparencia y el control, con la finalidad de lograr un mayor rigor en la utilización del suelo que ha de traducirse en su valoración. ABSTRACT Determining the land value involved in the urbanisation process implies a complex dialectic in which certain morphological natural phenomena like the modelling of social space or that deduced from planning determinations (especially land use) face regulatory instruments governed by administrative norms (urban planning and expropriator, tax, financial-mortgage etc.). In this context where discrepancies are common, the purpose is to analyse the possible actions geared to influence the formation of that value in the sense of limiting land use expectations traditionally linked to the established urban planning system, highlighting the implementation of sustainability criteria and citizen participation, as well as to consider that the administrative standards of evaluation for reducing said expectations, and trying to influence the urban system as a whole, are not considered sufficient for achieving these objectives. We might add, with respect to the set of administrative norms for determining the land value, that while urban and expropriations norms currently provide objective rules of valuation, subjective criteria are introduced trying to approach the market, including the structurally regulated cadastral value through valuation rules aimed at financial or fiscal institutions. This separation of criteria has led to a confrontation to which the recent ruling of the Supreme Court of May 30, 2014 responds. The aforementioned judgement imposes the urban core criteria for basic land use situations against those fiscally regulated in relation to cadastral regulations regarding the consideration of undeveloped building land, which is considered to be in a rural situation, making it subject to the same rules that cadastral valuation norms established for this category of land use (rustic) which do not consider, even with the subsequent amendment of June 2015, introduced to fit that judgment, use expectations. But as noted, the exclusive use of valuation planning regulations is not considered sufficient to avoid the effects on the land value produced by the allocation of said uses, so that according to the current land use legislation, actions aimed at sustainable development as well as citizen participation, transparency and control, shall be enhanced in order to achieve greater rigor in the use of land which should be translated in their valuation.