Configuración formal de los rosetones románicos de la ciudad de Zamora

La presente tesis estudia los rosetones románicos de la ciudad de Zamora. La elección del tema tiene como objetivo profundizar en el conocimiento de estos elementos ya que la información existente sobre ellos es muy escasa. El análisis de estos rosetones se ha realizado desde una perspectiva globalizadora que abarca aspectos tales como los geográficos, morfológicos, funcionales, compositivos, constructivos, geométricos, ornamentales, otros. Así mismo, para el desarrollo de esta investigación se ha considerado necesario el estudio de temas históricos, estilísticos, simbólicos, religiosos, culturales, etc., que aportan el marco contextual que permiten su mejor entendimiento. El estudio de cada rosetón ha permitido implementar y desarrollar un método de trabajo analítico basado en el estudio particular de una serie de aspectos como los anteriormente mencionados, así como plantear una estrategia que permite la reconstitución gráfica de los rosetones, basándose en un sistema de módulos que facilitan trabajar de acuerdo a las proporciones de los elementos; hecho que permite acercarnos con gran exactitud a la representación del objeto real cuando se carece de medidas. El desarrollo de esta investigación ha llevado a establecer entre otras cosas que la definición de “ventana circular” que se le atribuye a los rosetones románicos no es acertada, puesto que la función que cumplen en el edificio religioso es más bien de carácter simbólico. ABSTRACT This thesis studies the Romanesque rose windows of the Zamora city. The choice of topic is intended to deepen the knowledge of these elements as the existing information about them is very scarce. The analysis of these rose windows was made from a global perspective covering aspects such as geographic, morphological, functional, compositional, construction, geometric, ornamental, other. Also, for the development of this research it was considered necessary to study historical, stylistic, symbolic, religious, cultural issues, etc., that provide the contextual framework that allow for better understanding. The study of each rose windows has allowed implement and develop a method of analytical work based on the particular study a number of issues such as those mentioned above, as well as devise a strategy that allows the graphic reconstitution of the rose windows, based on a system of modules facilitate work according to the proportions of the elements; made with great precision approach allows the representation of the real thing when it lacks measures. The development of this research has led to establish among other things that the definition of "circular window" that is attributed to the Romanesque rose windows is not successful because the role in the religious building is rather symbolic.

Dan Kiley en la casa Miller

El propósito de esta tesis es estudiar los aspectos fundamentales de la obra del paisajista norteamericano Dan Kiley a través del ejemplo de la casa Miller en Columbus, Indiana. A la hora de abordar el estudio se ha tratado por una parte de estudiar y explicar cuánto hay de relevante en esta obra, pero también de situarla en su contexto. Éste es, además, múltiple: el de la obra, de su autor, el del lugar en que se encuentra y el del momento cultural e histórico en que se produce. En el caso de la casa Miller, la autoría es compartida, y el resultado final, como ocurre en muchos casos de viviendas unifamiliares, responde a un carácter coral, en el que los protagonistas son varios, con mayor o menor influencia, pero indispensables todos ellos en la visión final de conjunto. El primero de los aspectos a considerar son los antecedentes que la han hecho posible ya que el entorno que conforma el universo de Dan Kiley hasta llegar a Columbus es fundamental para entender las circunstancias de partida de una obra como la casa Miller: sus años previos a la universidad, su particular relación con el paisaje a través de sus diferentes trabajos, su extenso conocimiento de las especies de plantas y la experiencia acumulada trabajando para Warren Manning, como la formación basada en la enseñanza, herencia de Olsmted y de las Bellas Artes. Después, sus compañeros de Harvard Eckbo y Rose, la influencia dentro de la universidad tanto de Walter Gropius como de los paisajistas Thomas Church o Christopher Tunnard y de los jardines realizados en Europa durante las primeras décadas del siglo XX conocidos a través de las publicaciones y de la arquitectura de Mies van der Rohe. Años más tarde, después de haber abandonado Harvard, la decisiva influencia de Eero Saarinen y también la de sus relaciones con los diversos colaboradores, los primeros viajes a Europa y con ello la posibilidad de visitar las grandes obras de Le Nôtre. Por otro lado, y en paralelo, la biografía de Irwin Miller, propietario de la casa, nos lleva hasta el momento en el que se ponen en contacto las tres figuras clave para el inicio de las obras (Miller, Saarinen y Kiley) terminando de situar a la casa Miller en el contexto biográfico de su creación. El análisis del lugar, una ciudad tan especial como Columbus, nos remite continuamente a la figura de Irwin Miller, manteniendo siempre una relación indisoluble entre este singular patrono y su ciudad, materializada en la creación del Architecture Program. La primera parte del trabajo aborda estos temas, alternando entre una figura y otra, aunque todas las partes se encuentran ligadas entre sí. En la segunda parte de la tesis se analiza en profundidad primero la casa Miller y después con una mayor precisión los jardines: su esquema compositivo general, sus tres partes diferenciadas y dentro de ellas las sucesivas subpartes que las componen. El análisis se estructura en tres fases: una primera descriptiva del desarrollo del proyecto hasta su materialización en la obra, la siguiente que analiza lo realmente ejecutado y por último los cambios sufridos a lo largo del tiempo. En cuanto al análisis propio de la casa y los jardines, la información de los planos, así como de las fotografías familiares, junto con las imágenes más oficiales de la casa pertenecientes a Ezra Stoller y Balthazar Korab, permitirá conocer los cambios producidos a lo largo del tiempo debidos a diversos factores, como el cambio de criterio en cuanto al uso o decisiones personales del matrimonio Miller: sustitución de plantas y árboles, desaparición de elementos curiosos como las cascadas del techo de uno de los porches, o aparición de elementos singulares que formaran parte de las visiones ya clásicas de la casa, como la escultura de Henry Moore. La tercera parte de la tesis describe la influencia de los jardines de Le Nôtre en el jardín de la casa Miller, gracias a la utilización y adaptación de numerosos recursos del jardín barroco francés, y se configura, junto con el análisis de las obras de jardín doméstico más significativas de Kiley en su obra posterior a la Miller, como el análisis final de todo el trabajo. La utilización de estos instrumentos depurados bajo una estética formal propia del movimiento moderno tiene una singularidad única en los jardines de la Miller, y a pesar de que a lo largo de su carrera Dan Kiley convirtió esta utilización en una constante, no logró la armonía demostrada en esta residencia de Columbus en ninguno de los jardines posteriores en cuanto a forma, escala, relación entre las partes, respuesta a las necesidades de uso y de evolución a lo largo del tiempo. ABSTRACT The purpose of this thesis is to study the fundamental aspects of the work of the american landscape architect Dan Kiley through the example of the Miller House in Columbus, Indiana. When addressing the study it was treated on the one hand to study and explain how much is relevant in this work, but also put it into context. This is also multiple: the work, its author, the place where it lands and the cultural and historical context in which it occurs. In the case of the Miller house, the authorship is shared, and the end result, as in many cases houses, responds to a coral nature, in which the protagonists are several, with more or less influence on it, but indispensable all of them in the final overview. The first aspect to be considered are the antecedents that made it possible, because the environment which forms the universe of Dan Kiley to reach Columbus is essential to understand the circumstances of departure for a work like the Miller house: his previous years of college, his particular relationship with the landscape through his different jobs, his extensive knowledge of species of plants and the accumulated experience working for Warren Manning, and also the training based on Olmsted and Beaux Arts heritage . After that, his Harvard fellows Eckbo and Rose, the influence from Walter Gropius Thomas Church and Christopher Tunnard within the university, and also the landscape and garden made in Europe during the first decades of the twentieth century known through publications and the architecture of Mies van der Rohe. Years later, after leaving Harvard , the decisive influence of Eero Saarinen and also his relationships with various partners, the first trips to Europe and therefore the opportunity to visit the great works of Le Nôtre. On the other hand, and in parallel, Irwin Miller´s biography, owner of the house, takes us to the time when the three key figures come into contact to the start the construction (Miller, Saarinen and Kiley) putting the Miller house into the biographical context of its creation. The analysis of the place, a very special city like Columbus, continually refers us to Irwin Miller´s figure while maintaining an indissoluble relationship between employer and this unique city, materialized in the creation of the Architecture Program. The first part of the work deals with these issues, alternating between one figure and another, although all parties are linked. The second part of the thesis analyzes in depth Miller´s house and then with greater precision the gardens: its overall compositional scheme, its three distinct parts and within them the successive subparts that compose the garden The analysis is divided into three phases: the first one is focused in the project development to its materialization in the final work, the second one which analyzes what is really executed and finally the changes undergone over time. As for the own analysis of the house and gardens, the information drawings, as well as family photographs, along with the official pictures of the house belonging to Ezra Stoller and Balthazar Korab, will reveal the changes throughout time due to various factors, as the change in criterion for the use, or Miller´s marriage personal decisions: replacement of plants and trees, disappearance of curious elements like waterfalls roof of one of the porches, or appearance of single elements that now have become part of the classic visions of the house, like the sculpture of Henry Moore. The third part of the thesis describes the influence of the gardens of Le Nôtre in the garden of Miller´s house, through the use and adaptation of numerous resources from the French Baroque garden, and it is configured as the final analysis of of the work, also with the description of Kiley´s most significant post-Miller one family housing gardens. The use of these released under its own formal aesthetics of modernism instruments has a unique singularity in the gardens of the Miller´s , and although Dan Kiley turned this use in a constant throughout his career, he never got to the harmony demonstrated in Columbus residence in any of the later gardens in form, scale, relationship between the parties, responding to the needs of use and evolution over time.

Applications of Formal Languages to Management of Manned and Unmanned Aircraft

En el futuro, la gestión del tráfico aéreo (ATM, del inglés air traffic management) requerirá un cambio de paradigma, de la gestión principalmente táctica de hoy, a las denominadas operaciones basadas en trayectoria. Un incremento en el nivel de automatización liberará al personal de ATM —controladores, tripulación, etc.— de muchas de las tareas que realizan hoy. Las personas seguirán siendo el elemento central en la gestión del tráfico aéreo del futuro, pero lo serán mediante la gestión y toma de decisiones. Se espera que estas dos mejoras traigan un incremento en la eficiencia de la gestión del tráfico aéreo que permita hacer frente al incremento previsto en la demanda de transporte aéreo. Para aplicar el concepto de operaciones basadas en trayectoria, el usuario del espacio aéreo (la aerolínea, piloto, u operador) y el proveedor del servicio de navegación aérea deben negociar las trayectorias mediante un proceso de toma de decisiones colaborativo. En esta negociación, es necesaria una forma adecuada de compartir dichas trayectorias. Compartir la trayectoria completa requeriría un gran ancho de banda, y la trayectoria compartida podría invalidarse si cambiase la predicción meteorológica. En su lugar, podría compartirse una descripción de la trayectoria independiente de las condiciones meteorológicas, de manera que la trayectoria real se pudiese calcular a partir de dicha descripción. Esta descripción de la trayectoria debería ser fácil de procesar usando un programa de ordenador —ya que parte del proceso de toma de decisiones estará automatizado—, pero también fácil de entender para un operador humano —que será el que supervise el proceso y tome las decisiones oportunas—. Esta tesis presenta una serie de lenguajes formales que pueden usarse para este propósito. Estos lenguajes proporcionan los medios para describir trayectorias de aviones durante todas las fases de vuelo, desde la maniobra de push-back (remolcado hasta la calle de rodaje), hasta la llegada a la terminal del aeropuerto de destino. También permiten describir trayectorias tanto de aeronaves tripuladas como no tripuladas, incluyendo aviones de ala fija y cuadricópteros. Algunos de estos lenguajes están estrechamente relacionados entre sí, y organizados en una jerarquía. Uno de los lenguajes fundamentales de esta jerarquía, llamado aircraft intent description language (AIDL), ya había sido desarrollado con anterioridad a esta tesis. Este lenguaje fue derivado de las ecuaciones del movimiento de los aviones de ala fija, y puede utilizarse para describir sin ambigüedad trayectorias de este tipo de aeronaves. Una variante de este lenguaje, denominada quadrotor AIDL (QR-AIDL), ha sido desarrollada en esta tesis para permitir describir trayectorias de cuadricópteros con el mismo nivel de detalle. Seguidamente, otro lenguaje, denominado intent composite description language (ICDL), se apoya en los dos lenguajes anteriores, ofreciendo más flexibilidad para describir algunas partes de la trayectoria y dejar otras sin especificar. El ICDL se usa para proporcionar descripciones genéricas de maniobras comunes, que después se particularizan y combinan para formar descripciones complejas de un vuelo. Otro lenguaje puede construirse a partir del ICDL, denominado flight intent description language (FIDL). El FIDL especifica requisitos de alto nivel sobre las trayectorias —incluyendo restricciones y objetivos—, pero puede utilizar características del ICDL para proporcionar niveles de detalle arbitrarios en las distintas partes de un vuelo. Tanto el ICDL como el FIDL han sido desarrollados en colaboración con Boeing Research & Technology Europe (BR&TE). También se ha desarrollado un lenguaje para definir misiones en las que interactúan varias aeronaves, el mission intent description language (MIDL). Este lenguaje se basa en el FIDL y mantiene todo su poder expresivo, a la vez que proporciona nuevas semánticas para describir tareas, restricciones y objetivos relacionados con la misión. En ATM, los movimientos de un avión en la superficie de aeropuerto también tienen que ser monitorizados y gestionados. Otro lenguaje formal ha sido diseñado con este propósito, llamado surface movement description language (SMDL). Este lenguaje no pertenece a la jerarquía de lenguajes descrita en el párrafo anterior, y se basa en las clearances (autorizaciones del controlador) utilizadas durante las operaciones en superficie de aeropuerto. También proporciona medios para expresar incertidumbre y posibilidad de cambios en las distintas partes de la trayectoria. Finalmente, esta tesis explora las aplicaciones de estos lenguajes a la predicción de trayectorias y a la planificación de misiones. El concepto de trajectory language processing engine (TLPE) se usa en ambas aplicaciones. Un TLPE es una función de ATM cuya principal entrada y salida se expresan en cualquiera de los lenguajes incluidos en la jerarquía descrita en esta tesis. El proceso de predicción de trayectorias puede definirse como una combinación de TLPEs, cada uno de los cuales realiza una pequeña sub-tarea. Se le ha dado especial importancia a uno de estos TLPEs, que se encarga de generar el perfil horizontal, vertical y de configuración de la trayectoria. En particular, esta tesis presenta un método novedoso para la generación del perfil vertical. El proceso de planificar una misión también se puede ver como un TLPE donde la entrada se expresa en MIDL y la salida consiste en cierto número de trayectorias —una por cada aeronave disponible— descritas utilizando FIDL. Se ha formulado este problema utilizando programación entera mixta. Además, dado que encontrar caminos óptimos entre distintos puntos es un problema fundamental en la planificación de misiones, también se propone un algoritmo de búsqueda de caminos. Este algoritmo permite calcular rápidamente caminos cuasi-óptimos que esquivan todos los obstáculos en un entorno urbano. Los diferentes lenguajes formales definidos en esta tesis pueden utilizarse como una especificación estándar para la difusión de información entre distintos actores de la gestión del tráfico aéreo. En conjunto, estos lenguajes permiten describir trayectorias con el nivel de detalle necesario en cada aplicación, y se pueden utilizar para aumentar el nivel de automatización explotando esta información utilizando sistemas de soporte a la toma de decisiones. La aplicación de estos lenguajes a algunas funciones básicas de estos sistemas, como la predicción de trayectorias, han sido analizadas. ABSTRACT Future air traffic management (ATM) will require a paradigm shift from today’s mainly tactical ATM to trajectory-based operations (TBOs). An increase in the level of automation will also relieve humans —air traffic control officers (ATCOs), flight crew, etc.— from many of the tasks they perform today. Humans will still be central in this future ATM, as decision-makers and managers. These two improvements (TBOs and increased automation) are expected to provide the increase in ATM performance that will allow coping with the expected increase in air transport demand. Under TBOs, trajectories are negotiated between the airspace user (an airline, pilot, or operator) and the air navigation service provider (ANSP) using a collaborative decision making (CDM) process. A suitable method for sharing aircraft trajectories is necessary for this negotiation. Sharing a whole trajectory would require a high amount of bandwidth, and the shared trajectory might become invalid if the weather forecast changed. Instead, a description of the trajectory, decoupled from the weather conditions, could be shared, so that the actual trajectory could be computed from this trajectory description. This trajectory description should be easy to process using a computing program —as some of the CDM processes will be automated— but also easy to understand for a human operator —who will be supervising the process and making decisions. This thesis presents a series of formal languages that can be used for this purpose. These languages provide the means to describe aircraft trajectories during all phases of flight, from push back to arrival at the gate. They can also describe trajectories of both manned and unmanned aircraft, including fixedwing and some rotary-wing aircraft (quadrotors). Some of these languages are tightly interrelated and organized in a language hierarchy. One of the key languages in this hierarchy, the aircraft intent description language (AIDL), had already been developed prior to this thesis. This language was derived from the equations of motion of fixed-wing aircraft, and can provide an unambiguous description of fixed-wing aircraft trajectories. A variant of this language, the quadrotor AIDL (QR-AIDL), is developed in this thesis to allow describing a quadrotor aircraft trajectory with the same level of detail. Then, the intent composite description language (ICDL) is built on top of these two languages, providing more flexibility to describe some parts of the trajectory while leaving others unspecified. The ICDL is used to provide generic descriptions of common aircraft manoeuvres, which can be particularized and combined to form complex descriptions of flight. Another language is built on top of the ICDL, the flight intent description language (FIDL). The FIDL specifies high-level requirements on trajectories —including constraints and objectives—, but can use features of the ICDL to provide arbitrary levels of detail in different parts of the flight. The ICDL and FIDL have been developed in collaboration with Boeing Research & Technology Europe (BR&TE). Also, the mission intent description language (MIDL) has been developed to allow describing missions involving multiple aircraft. This language is based on the FIDL and keeps all its expressive power, while it also provides new semantics for describing mission tasks, mission objectives, and constraints involving several aircraft. In ATM, the movement of aircraft while on the airport surface also has to be monitored and managed. Another formal language has been designed for this purpose, denoted surface movement description language (SMDL). This language does not belong to the language hierarchy described above, and it is based on the clearances used in airport surface operations. Means to express uncertainty and mutability of different parts of the trajectory are also provided. Finally, the applications of these languages to trajectory prediction and mission planning are explored in this thesis. The concept of trajectory language processing engine (TLPE) is used in these two applications. A TLPE is an ATM function whose main input and output are expressed in any of the languages in the hierarchy described in this thesis. A modular trajectory predictor is defined as a combination of multiple TLPEs, each of them performing a small subtask. Special attention is given to the TLPE that builds the horizontal, vertical, and configuration profiles of the trajectory. In particular, a novel method for the generation of the vertical profile is presented. The process of planning a mission can also be seen as a TLPE, where the main input is expressed in the MIDL and the output consists of a number of trajectory descriptions —one for each aircraft available in the mission— expressed in the FIDL. A mixed integer linear programming (MILP) formulation for the problem of assigning mission tasks to the available aircraft is provided. In addition, since finding optimal paths between locations is a key problem to mission planning, a novel path finding algorithm is presented. This algorithm can compute near-shortest paths avoiding all obstacles in an urban environment in very short times. The several formal languages described in this thesis can serve as a standard specification to share trajectory information among different actors in ATM. In combination, these languages can describe trajectories with the necessary level of detail for any application, and can be used to increase automation by exploiting this information using decision support tools (DSTs). Their applications to some basic functions of DSTs, such as trajectory prediction, have been analized.