Una leve Arqueología de la escala

Esta es una tesis con dos partes bien diferenciadas; en la primera se habla de conceptos como la escala, el tamaño y la medida en el mundo de la antigua Roma. Para ello se eligen edificios con características específicas que pueden explicar estos términos, como la” Villa Adriana” en la que se habla del tamaño desde la acumulación de dimensiones medias, el “Ara Pacis”, en la que se describe la ambigüedad dimensional y el tamaño, el Panteón en el que habla de la escala, y el Santuario de Baalbek a través del cual se reflexiona sobre la condición de monumentalidad. Dichos edificios se comparan con piezas de arte contemporáneo que ayudan a entender el contenido histórico. En ese sentido la tesis propone un viaje desde lo moderno a lo antiguo, instalándose en la certeza de que el conocimiento ampliado de los conceptos contemporáneos otorga nueva vida a los edificios históricos, en un paseo inverso al clásico de estudiar lo antiguo para entender el presente. La tesis defiende que el presente se lee desde el presente y el pasado también desde el presente, elaborando nuevas narrativas que permiten superponer realidades distintas para alumbrar lo real. La segunda parte de la tesis compara la medida de lo público y lo privado así como la medida del paisaje. Habla de la medida del Poder ejemplificada en el proyecto de los Foros Imperiales desde el Foro de César hasta el Foro de Trajano y elabora una comparación dimensional desde la disección de sesenta casas pompeyanas, que son sometidas a un cuidadoso análisis métrico y relacional. Se estudian así mismo sus distintas proporciones desde el tratado de Vitrubio y se analizan sus sistemas de proyecto, encontrando en la ampliación acumulativa un mecanismo que relaciona lo público y lo privado. Por último se estudia la medida del paisaje, encontrando un apoyo en la pintura mural romana y también en la relación entre los cuatro Santuarios Republicanos de Lacio. ABSTRACT This is a thesis with two different parts; the first one deals with concepts from the Ancient Rome, such as scale, size and measure. Some buildings with specific characteristics have been chosen in order to explain these terms, such as "Villa Adriana" where size is formed by the accumulation of medium sizes, the "Ara Pacis",where the dimensional ambiguity is described, the Pantheon where the scale is explained and the Sanctuary of Baalbek where the condition of monumentality is understood. These buildings are compared with contemporary artworks that help to understand the historical contents. In that sense, the thesis proposes a journey from the modern to the old, settling in the certainty that the extended knowledge of contemporary concepts gives new life to historic buildings, instead of the usual walk to the old to understand the present . The thesis argues that both the present and the past can be read through the present, developing new narratives that are overlayed to light reality. The second part of the thesis compares the measures in public and private worlds as well as the measure in the landscape. It is also about the measure of the power, that is exemplified in the Fori Imperiali as the Forum of Caesar and Trajan's Forum. Besides a dimensional comparison is made by dissecting sixty Pompeian houses, which are subjected to careful and relational analysis. Furthermore, their different proportions are studied, since the Treaty of Vitruvius and their design systems are analyzed, finding the mechanism that links the public and private spheres in the cumulative expansion. Finally , the measure of the landscape is studied supported by Roman wall painting and in the relationship between the four Sanctuaries Republicans of Lazio.

Ergociudad: concepción modélica de la calidad de vida urbana desde la perspectiva de la ergonomía y el diseño urbano

Este documento corresponde a la Tesis para optar al grado de Doctor en Arquitectura y Urbanismo en el marco del Programa de Doctorado conjunto de la Universidad Politécnica de Madrid y la Universidad de Chile. La investigación realizada es de carácter exploratorio-descriptivo con el propósito de establecer y relacionar conceptualmente las teorías y principios de la ergonomía y del diseño urbano, para proponer desde un enfoque sistémico criterios de confort en el diseño de la ciudad, que contribuyan a la calidad de vida y la vida urbana, dando a luz lineamientos para la “Ergociudad”; concepto que surge de la unión de las palabras Ergonomía y Ciudad. Al estudiar a diversos autores se concluye en la carencia de referentes de confort y de políticas basados en la relación empírica del ser humano en la ciudad que posibiliten la configuración del medio ambiente urbano a partir de ella. La ciudad se piensa y se construye desde su estructura y no desde una mirada sistémica e integrada de los factores dimensionales, ambientales y psicosociales condicionantes del confort en sus distintas escalas. La mirada respecto del desarrollo de la ciudad es físico constructiva y, por tanto, deja de lado el problema de los estresores o de la percepción de los factores de riesgo en el entorno construido. El tema central de esta tesis es proponer una estructura modélica de calidad de vida urbana denominada Ergociudad en base a los fundamentos teóricos de la Ergonomía y el Diseño Urbano y establecer el “Índice Ergourbano”, como representación de los factores ergonómicos presentes en la ciudad. En este marco, el enfoque de la ergonomía y sus prestaciones han sido trabajados en orden a facilitar mecanismos para disponer de sus procedimientos y de su modelo de análisis relacional a otras escalas. El concepto de “Ergociudad” y su propuesta de exploración desde las personas, postula una mirada sobre los problemas que enfrenta el ser humano en la ciudad considerando la dimensión de lo humano, desde perspectivas psicológicas y sociológicas para establecer y configurar la percepción de estrés y bienestar; la dimensión de lo urbano, representada por los objetos que componen el entorno (en sus distintas escalas); y, la dimensión de lo perceptual, que definiría el concepto de confort en la forma de comprender el mundo sensorial. Los resultados de la investigación confirman la hipótesis de trabajo en términos de demostrar que la percepción de disconfort en la ciudad reflejado en un índice de evaluación perceptual espacial denominado índice Ergourbano obtenido de las mediciones en situ de los factores ergonómicos del entorno. Los resultados finales de la tesis han permitido identificar variables afines en los aspectos espaciales y perceptuales. Ello mediante la exploración de las situaciones urbanas y sus conexiones para establecer el grado de adecuación del espacio urbano a las prácticas, usos y modos de las personas en la ciudad. Una vez aplicado y validado el método desarrollado se ha llegado a obtener información suficiente para aumentar el nivel de conocimiento sobre el espacio urbano con un enfoque relacional que permite entenderlo desde la experiencia de las personas que lo habitan, insistiendo en su aporte metodológico y proyectual considerando la inexistente aplicación de información que vincule la ergonomía a esta escala urbana. ABSTRACT This document corresponds to the thesis to obtain the degree of Doctor of Architecture and Urbanism in the framework of the combined doctorate program of the Technical University of Madrid and the University of Chile. The research carried out is of a descriptive–explanatory nature with the objective of establishing and conceptually relating the theories and principals of ergonomics (or human factors) and urban design. This is done in order to propose, from a systematic focus, comfort criteria in the design of cities that contribute to quality of life and urban life, giving birth to chacteristics for “Ergocity”; concepts that arise from the union of the words ergonomic and city. After studying diverse authors, one concludes the lack of references toward comfort and policies based on the empirical relation of humans in the city that allow for the configuration of the urban environment based on comfort. The city is thought out and built from its structure and not from a systematic and integrated viewpoint of the dimensional, environmental and psychosocial factors, determining factors of comfort in its distinct scales. The view regarding the development of the city is physical constructive and, therefore, leaves aside the problem of the stress factors or the perception of risk factors in the constructed environment. The central theme of this thesis is to propose a quality model of urban life entitled Ergo-city, based on the fundamental theories of the ergonomics and urban design, and to establish an “Ergourban index” as representation of the ergonomic factors present in the city. In this framework, the focus of ergonomics and its services have been used in order to facilitate mechanisms to arrange their procedures and their model of relational analysis on other scales. The concept of “Ergocity”and its offer of exploration from a people perspective, proposes a look at the problems that humans face in the city considering the nonhuman dimension, from psychological and sociological perspectives to establish and configure la perception of stress and well-being: the urban dimension, represented by the objects that the surroundings are made up of (on their distinct scales), and the perceptual dimension, which will define the concept of comfort by means of understanding the sensorial world. The results of the research confirm the working hypothesis in terms of demonstrating the perception of discomfort in the city reflected in an index of perceptual/spatial evaluation named ergo-urban obtained from in situ measurements of the ergonomic factors of the surroundings. The final results of the thesis have permitted the identification the identification of variables related to the spatial and perceptual aspects. All of this through the exploration of the urban situations and their connections in order to establish the level of adaptation of the urban space to the practices, uses and modes of the people in the city. Once applied and validated, the method of development has led to the collection of sufficient information to increase the level of knowledge of the urban space with a relational focus that allows us to understand it from the experience of the people who inhabit said space, persisting with its methodological and projective contribution considering the inexistent application of information that links the ergonomics on an urban scale.

Approximate Relational Reasoning for Probabilistic Programs

La seguridad verificada es una metodología para demostrar propiedades de seguridad de los sistemas informáticos que se destaca por las altas garantías de corrección que provee. Los sistemas informáticos se modelan como programas probabilísticos y para probar que verifican una determinada propiedad de seguridad se utilizan técnicas rigurosas basadas en modelos matemáticos de los programas. En particular, la seguridad verificada promueve el uso de demostradores de teoremas interactivos o automáticos para construir demostraciones completamente formales cuya corrección es certificada mecánicamente (por ordenador). La seguridad verificada demostró ser una técnica muy efectiva para razonar sobre diversas nociones de seguridad en el área de criptografía. Sin embargo, no ha podido cubrir un importante conjunto de nociones de seguridad “aproximada”. La característica distintiva de estas nociones de seguridad es que se expresan como una condición de “similitud” entre las distribuciones de salida de dos programas probabilísticos y esta similitud se cuantifica usando alguna noción de distancia entre distribuciones de probabilidad. Este conjunto incluye destacadas nociones de seguridad de diversas áreas como la minería de datos privados, el análisis de flujo de información y la criptografía. Ejemplos representativos de estas nociones de seguridad son la indiferenciabilidad, que permite reemplazar un componente idealizado de un sistema por una implementación concreta (sin alterar significativamente sus propiedades de seguridad), o la privacidad diferencial, una noción de privacidad que ha recibido mucha atención en los últimos años y tiene como objetivo evitar la publicación datos confidenciales en la minería de datos. La falta de técnicas rigurosas que permitan verificar formalmente este tipo de propiedades constituye un notable problema abierto que tiene que ser abordado. En esta tesis introducimos varias lógicas de programa quantitativas para razonar sobre esta clase de propiedades de seguridad. Nuestra principal contribución teórica es una versión quantitativa de una lógica de Hoare relacional para programas probabilísticos. Las pruebas de correción de estas lógicas son completamente formalizadas en el asistente de pruebas Coq. Desarrollamos, además, una herramienta para razonar sobre propiedades de programas a través de estas lógicas extendiendo CertiCrypt, un framework para verificar pruebas de criptografía en Coq. Confirmamos la efectividad y aplicabilidad de nuestra metodología construyendo pruebas certificadas por ordendor de varios sistemas cuyo análisis estaba fuera del alcance de la seguridad verificada. Esto incluye, entre otros, una meta-construcción para diseñar funciones de hash “seguras” sobre curvas elípticas y algoritmos diferencialmente privados para varios problemas de optimización combinatoria de la literatura reciente. ABSTRACT The verified security methodology is an emerging approach to build high assurance proofs about security properties of computer systems. Computer systems are modeled as probabilistic programs and one relies on rigorous program semantics techniques to prove that they comply with a given security goal. In particular, it advocates the use of interactive theorem provers or automated provers to build fully formal machine-checked versions of these security proofs. The verified security methodology has proved successful in modeling and reasoning about several standard security notions in the area of cryptography. However, it has fallen short of covering an important class of approximate, quantitative security notions. The distinguishing characteristic of this class of security notions is that they are stated as a “similarity” condition between the output distributions of two probabilistic programs, and this similarity is quantified using some notion of distance between probability distributions. This class comprises prominent security notions from multiple areas such as private data analysis, information flow analysis and cryptography. These include, for instance, indifferentiability, which enables securely replacing an idealized component of system with a concrete implementation, and differential privacy, a notion of privacy-preserving data mining that has received a great deal of attention in the last few years. The lack of rigorous techniques for verifying these properties is thus an important problem that needs to be addressed. In this dissertation we introduce several quantitative program logics to reason about this class of security notions. Our main theoretical contribution is, in particular, a quantitative variant of a full-fledged relational Hoare logic for probabilistic programs. The soundness of these logics is fully formalized in the Coq proof-assistant and tool support is also available through an extension of CertiCrypt, a framework to verify cryptographic proofs in Coq. We validate the applicability of our approach by building fully machine-checked proofs for several systems that were out of the reach of the verified security methodology. These comprise, among others, a construction to build “safe” hash functions into elliptic curves and differentially private algorithms for several combinatorial optimization problems from the recent literature.