Entre la expresión y el tipo: James Stirling en los cincuenta

Los años cincuenta representan la etapa de maduración de James Stirling, el tiempo en que, frente el incipiente cisma de la arquitectura moderna, desarrolló una sólida posición intelectual que se formalizaría en su obra posterior. Este artículo profundiza en esta postura que, cimentada en la necesidad de reintegrar modernidad e historia, pretende revitalizar la arquitectura a partir de dos cuestiones críticas: la expresión y la forma. La primera, ofreciendo una alternativa al problema estilístico contemporáneo por medio de la expresión de la función, entendida ésta como la idea central de la modernidad. Y la segunda, por medio del empleo instrumental de la abstracción de dicha forma, el tipo, redescubriendo la capacidad significante de ésta y, por tanto, su potencial comunicativo de los valores modernos presentes en cualquier época. El análisis cronológico de algunos de sus proyectos, escritos críticos y referencias relevantes de su formación. permite entender el progresivo diálogo entre estas dos ideas, una persistente y la otra en evolución, hasta 1959, año en que con el escrito ?The functional tradition and expression? y el proyecto para el Churchill College, alcanzan la integración de método y estética que daría lugar a su arquitectura posterior.

Implementing a term rewriting engine for the EasyCrypt framework

La sociedad depende hoy más que nunca de la tecnología, pero la inversión en seguridad es escasa y los sistemas informáticos siguen estando muy lejos de ser seguros. La criptografía es una de las piedras angulares de la seguridad en este ámbito, por lo que recientemente se ha dedicado una cantidad considerable de recursos al desarrollo de herramientas que ayuden en la evaluación y mejora de los algoritmos criptográficos. EasyCrypt es uno de estos sistemas, desarrollado recientemente en el Instituto IMDEA Software en respuesta a la creciente necesidad de disponer de herramientas fiables de verificación formal de criptografía. En este trabajo se abordará la implementación de una mejora en el reductor de términos de EasyCrypt, sustituyéndolo por una máquina abstracta simbólica. Para ello se estudiarán e implementarán previamente dos máquinas abstractas muy conocidas, la Máquina de Krivine y la ZAM, introduciendo variaciones sobre ellas y estudiando sus diferencias desde un punto de vista práctico.---ABSTRACT---Today, society depends more than ever on technology, but the investment in security is still scarce and using computer systems are still far from safe to use. Cryptography is one of the cornerstones of security, so there has been a considerable amount of effort devoted recently to the development of tools oriented to the evaluation and improvement of cryptographic algorithms. One of these tools is EasyCrypt, developed recently at IMDEA Software Institute in response to the increasing need of reliable formal verification tools for cryptography. This work will focus on the improvement of the EasyCrypt’s term rewriting system, replacing it with a symbolic abstract machine. In order to do that, we will previously study and implement two widely known abstract machines, the Krivine Machine and the ZAM, introducing some variations and studying their differences from a practical point of view.

Diseño e implementación de persistencia en bases de datos basadas en Google App Engine

El mundo de la web admite actualmente los productos desarrollados tanto por desarrolladores profesionales como por usuarios finales con un conocimiento más limitado. A pesar de la diferencia que se puede suponer de calidad entre los productos de ambos, las dos soluciones pueden ser reconocidas y empleadas en una aplicación. En la Web 2.0, este comportamiento se observa en el desarrollo de componentes web. Lo que se persigue en el trabajo es desarrollar un modelo de persistencia que, apoyado por un lado servidor y por uno cliente, recoja las métricas de calidad de los componentes cuando los usuarios interaccionan con ellos. A partir de estas métricas, es posible mejorar la calidad de estos componentes. La forma en la que se van a recoger las métricas es a través de PicBit, la aplicación desarrollada para que los usuarios puedan interconectar diferentes componentes entre ellos sin restricciones, de forma que tras interactuar con ellos puedan expresar su grado de satisfacción, que se recoge para la evaluación de la calidad. Se definen también unas métricas intrínsecas al componente, no determinadas por el usuario y que sirven como referencia de la evaluación. Cuando se tienen tanto las métricas intrínsecas como procedentes del usuario, se realiza una correlación entre ellas que permite analizar las posibles desviaciones entre ellas y determinar la calidad propia del componente. Las conclusiones que se pueden obtener del trabajo es que cuando los usuarios pueden realizar pruebas de usabilidad de forma libre, sin restricciones, es mayor la posibilidad de obtener resultados favorables porque estos resultados muestran cómo usará un usuario final la aplicación. Este método de trabajo se ve favorecido por el número de herramientas que se pueden utilizar hoy para monitorizar el flujo de usuario en el servicio.---ABSTRACT---Nowadays, the web world deals with products developed both by professional developers and by end-users with some limited knowledge. Although the difference between both can be important in quality terms, both are accepted and included in web applications. In web 2.0, this behavior can be recognized in the web components development. The goal pursued in the work presented is to create a persistent model that, supported by an end and a back side, will pick the quality measures of the components when the users interact with them. These measures are the starting point for improving the components. The way in which the measures are going to be picked is through PicBit, the application we have developed in order to allow the users playing with the components without restrictions or rules, so after the interaction they can give their satisfaction mark with the application. This will be the value used to evaluate the quality. Some own measures are also defined, which does not depend on the user and which will be used as a reference point of the evaluation. When the measures from users and own ones are got, their correlation is analyzed to study the differences between them and to establish the quality of the component. The conclusion that can be gained from the project is the importance of giving freedom for users when doing usability tests because it increases the chance to get positive results, in the way the users execute the operations they want with the application. This method is fortunate for having such a number of tools to monitor the user flow when using the service.

Diseño y desarrollo del backend para la explotación de componentes web empleando Google App Engine

La web vive un proceso de cambio constante, basado en una interacción mayor del usuario. A partir de la actual corriente de paradigmas y tecnologías asociadas a la web 2.0, han surgido una serie de estándares de gran utilidad, que cubre la necesidad de los desarrollos actuales de la red. Entre estos se incluyen los componentes web, etiquetas HTML definidas por el usuario que cubren una función concreta dentro de una página. Existe una necesidad de medir la calidad de dichos desarrollos, para discernir si el concepto de componente web supone un cambio revolucionario en el desarrollo de la web 2.0. Para ello, es necesario realizar una explotación de componentes web, considerada como la medición de calidad basada en métricas y definición de un modelo de interconexión de componentes. La plataforma PicBit surge como respuesta a estas cuestiones. Consiste en una plataforma social de construcción de perfiles basada en estos elementos. Desde la perspectiva del usuario final se trata de una herramienta para crear perfiles y comunidades sociales, mientras que desde una perspectiva académica, la plataforma consiste en un entorno de pruebas o sandbox de componentes web. Para ello, será necesario implementar el extremo servidor de dicha plataforma, enfocado a la labor de explotación, por medio de la definición de una interfaz REST de operaciones y un sistema para la recolección de eventos de usuario en la plataforma. Gracias a esta plataforma se podrán discernir qué parámetros influyen positivamente en la experiencia de uso de un componente, así como descubrir el futuro potencial de este tipo de desarrollos.---ABSTRACT---The web evolves into a more interactive platform. From the actual version of the web, named as web 2.0, many paradigms and standards have arisen. One of those standards is web components, a set of concepts to define new HTML tags that covers a specific function inside a web page. It is necessary to measure the quality of this kind of software development, and the aim behind this approach is to determine if this new set of concepts would survive in the actual web paradigm. To achieve this, it is described a model to analyse components, in the terms of quality measure and interconnection model description. PicBit consists of a social platform to use web components. From the point of view of the final user, this platform is a tool to create social profiles using components, whereas from the point of view of technicians, it consists of a sandbox of web components. Thanks to this platform, we will be able to discover those parameters that have a positive effect in the user experience and to discover the potential of this new set of standards into the web 2.0.

Leslie Martin, Colin St. John Wilson y James Stirling : revisión de la modernidad en la arquitectura británica = Leslie Martin, Colin St. John Wilson and James Stirling : review of modernity in British architecture

La búsqueda de nuevas formas de modernidad se convirtió en la cuestión principal de la obras desarrolladas por Leslie Martin, Colin St. John Wilson y James Stirling entre los años 1955 y 1970. Enmarcadas dentro de la sensibilidad surgida en la posguerra británica, su profundo sentido crítico supone una renovada interpretación de alguno fundamentos del Movimiento Moderno así como la reflexión sobre la modificación y el uso de formas que tienen sus raíces en la tradición cultural. Esta investigación se estructura en cuatro temas ampliamente debatidos y que han articulado parte de la revisión moderna a lo largo de la segunda mitad del siglo XX: » la abstracción y el realismo » la revisión de la idea funcionalista » la reconsideración de los arquetipos formales » la relación entre forma y contexto urbano se muestran como base crítica para las obras seleccionadas. La tendencia hacia el realismo surgió como respuesta a la voluntad de universalidad (y objetividad) que representó el lenguaje abstracto, del mismo modo que la revisión de la idea funcionalista pretendió superar la consideración de la obra arquitectónica como producto racional de su función y tecnología. La reconsideración de los arquetipos de la tradición, a su vez, muestra una preocupación por el significado de las formas culturales del pasado, una cuestión igualmente decisiva en la renovada atención a la estructura de la ciudad histórica. Estos temas evidencian un interés por ampliar la arquitectura moderna sin que el reconocimiento de las formas del pasado suponga un distanciamiento respecto al futuro. La idea de revisión, asimismo, se convierte en estrategia a la hora de encontrar nuevas respuestas. Si algunos de los principios del Movimiento Moderno surgen como reacción al clasicismo Beaux Arts que le precedió, las propuestas analizadas muestran la validez operativa de este enfoque para crear obras de una intensa modernidad. Su interés, por lo tanto, no solo radica en su consideración como objetos de estudio que amplían nuestro conocimiento de un período determinado, sino como tradición reciente que sirve de base crítica para la práctica actual. ABSTRACT The search of new forms of modernity became the main theme of the works developed by Leslie Martin, Colin St. John Wilson and James Stirling between 1955 and 1970. Belonging to the sensitivity emerged in postwar Britain, their deep critical sense encourages a renewed interpretation of some principles of Modern Movement and a reflection about the modification or the use of forms that are rooted in cultural tradition. This research is divided into four themes widely discussed and which has articulated part of modern review along the second half of the twentieth century: » Abstraction and realism » Review of Functionalism » The reconsideration of the formal archetypes » The relationship between form and urban context are shown as critical base for the selected works. The trend toward realism arose in response to the will of universality (and objectivity) that represented the abstract language, just as the review of Functionalism aimed to overcome the consideration of architecture's work as rational product of its function and technology. The reconsideration of traditional archetypes, in turn, shows a concern for the meaning of the cultural forms, a matter equally decisive in the renewed attention to the structure of the historical city. These themes evidence an interest to extend modern architecture, without thereby the recognition of the past forms imply a distancing regarding the future. The idea of review also becomes strategy in finding new answers. If some principles of the Modern Movement arose in reaction to Beaux-Arts classicism which preceded it, the analyzed proposals show the operational validity of this approach to create works of a strong modernity. Their interest, therefore, lies not only in its consideration as study cases that broaden our knowledge of a certain period, but as a recent tradition which serves as a critic basis for the current practice.

Brownian Carnot engine

The Carnot cycle imposes a fundamental upper limit to the efficiency of a macroscopic motor operating between two thermal baths. However, this bound needs to be reinterpreted at microscopic scales, where molecular bio-motors and some artificial micro-engines operate. As described by stochastic thermodynamics, energy transfers in microscopic systems are random and thermal fluctuations induce transient decreases of entropy, allowing for possible violations of the Carnot limit. Here we report an experimental realization of a Carnot engine with a single optically trapped Brownian particle as the working substance. We present an exhaustive study of the energetics of the engine and analyse the fluctuations of the finite-time efficiency, showing that the Carnot bound can be surpassed for a small number of non-equilibrium cycles. As its macroscopic counterpart, the energetics of our Carnot device exhibits basic properties that one would expect to observe in any microscopic energy transducer operating with baths at different temperatures. Our results characterize the sources of irreversibility in the engine and the statistical properties of the efficiency-an insight that could inspire new strategies in the design of efficient nano-motors.

PCDD/F Emissions from Light-Duty Diesel Vehicles Operated under Highway Conditions and a Diesel-Engine Based Power Generator

PCDD/F emissions from three light-duty diesel vehicles–two vans and a passenger car–have been measured in on-road conditions. We propose a new methodology for small vehicles: a sample of exhaust gas is collected by means of equipment based on United States Environmental Protection Agency (U.S. EPA) method 23A for stationary stack emissions. The concentrations of O2, CO, CO2, NO, NO2 and SO2 have also been measured. Six tests were carried out at 90-100 km/h on a route 100 km long. Two additional tests were done during the first 10 minutes and the following 60 minutes of the run to assess the effect of the engine temperature on PCDD/F emissions. The emission factors obtained for the vans varied from 1800 to 8400 pg I-TEQ/Nm3 for a 2004 model year van and 490-580 pg I-TEQ/Nm3 for a 2006 model year van. Regarding the passenger car, one run was done in the presence of a catalyst and another without, obtaining emission factors (330-880 pg I-TEQ/Nm3) comparable to those of the modern van. Two other tests were carried out on a power generator leading to emission factors ranging from 31 to 78 pg I-TEQ/Nm3. All the results are discussed and compared with literature.

Evidences of the Cerium Oxide-Catalysed DPF Regeneration in a Real Diesel Engine Exhaust

The active phase Ce0.5Pr0.5O2 has been loaded on commercial substrates (SiC DPF and cordierite honeycomb monolith) to perform DPF regeneration experiments in the exhaust of a diesel engine. Also, a powder sample has been prepared to carry out soot combustion experiments at laboratory. Experiments performed in the real diesel exhaust demonstrated the catalytic activity of the Ce–Pr mixed oxide for the combustion of soot, lowering the DPF regeneration temperature with regard to a counterpart catalyst-free DPF. The temperature for active regeneration of the Ce0.5Pr0.5O2-containing DPF when the soot content is low is in the range of 500–550 °C. When the Ce0.5Pr0.5O2-containing DPF is saturated with a high amount of soot, pressure drop and soot load at the filter reach equilibrium at around 360 °C under steady state engine operation due to passive regeneration. The uncoated DPF reached this equilibrium at around 440 °C. Comparing results at real exhaust with those at laboratory allow concluding that the Ce0.5Pr0.5O2-catalysed soot combustion in the real exhaust is not based on the NO2-assisted mechanism but is most likely occurring by the active oxygen-based mechanism.

Optimizing the performance of catalytic traps for hydrocarbon abatement during the cold-start of a gasoline engine

A key target to reduce current hydrocarbon emissions from vehicular exhaust is to improve their abatement under cold-start conditions. Herein, we demonstrate the potential of factorial analysis to design a highly efficient catalytic trap. The impact of the synthesis conditions on the preparation of copper-loaded ZSM-5 is clearly revealed by XRD, N2 sorption, FTIR, NH3-TPD, SEM and TEM. A high concentration of copper nitrate precursor in the synthesis improves the removal of hydrocarbons, providing both strong adsorption sites for hydrocarbon retention at low temperature and copper oxide nanoparticles for full hydrocarbon catalytic combustion at high temperature. The use of copper acetate precursor leads to a more homogeneous dispersion of copper oxide nanoparticles also providing enough catalytic sites for the total oxidation of hydrocarbons released from the adsorption sites, although lower copper loadings are achieved. Thus, synthesis conditions leading to high copper loadings jointly with highly dispersed copper oxide nanoparticles would result in an exceptional catalytic trap able to reach superior hydrocarbon abatement under highly demanding operational conditions.

50 years of the ‘twin engine’. Franco-German reconciliation, European integration and reflections for Asia. EU Centre Singapore Background Brief No. 8, March 2013

On 22 January 2013, French President François Hollande and German Chancellor Angela Merkel gathered in Berlin to celebrate the 50th anniversary of the signing of the Élysée Treaty, the document that ended centuries of rivalry and warfare between their two countries. It is all too easy to forget the importance of Franco-German reconciliation. The 1950 Schuman Declaration, which led to the creation of the European Union’s (EU) predecessor, the European Coal and Steel Community (ECSC), sought to render the prospect of war between France and Germany ‘not only unthinkable but materially impossible’. Over 60 years later, when the EU was awarded the Nobel Peace Prize, the Norwegian Nobel Committee noted that indeed, ‘war between Germany and France is unthinkable’. Halfway around the world in Asia, the other theatre of World War II, tensions between China and Japan have arisen, with Taiwan and South Korea also in the fray. Nationalist movements in these countries have grown. This background brief lays out the issues for a timely reappraisal of the applicability, or otherwise, of the European integration and reconciliation processes to East Asia. The brief seeks to outline the contours of the historic act of Franco-German reconciliation, and its consequences ever since. Starting from a brief look at the history of rivalry and war between the two countries, the brief examines the events leading to the signing of the Élysée Treaty in 1963, and the development of Franco-German exchanges that have cemented the relationship. Difficulties between the countries are also raised. A timescale analysis of the opinion of the two publics is considered, as a measure of the success of Franco-German reconciliation.

An initial assessment of the literature on the measurement, control, transport, transformation and health effects of urregulated diesel engine emissions /

Final report, January 1979.

Automotive manufacturing assessment system. Volume IV: Engine manufacturing analysis. Final report.

National Highway Traffic Safety Administration, Washington, D.C.