Historias de vida y desencadenantes emocionales del síndrome coronario agudo : Inicio de un proyecto de investigación en el hospital El Cruce

Las enfermedades cardiovasculares son consideradas la principal causa de muerte de hombres y mujeres en todo el mundo, así como también en nuestro país. Existe en la bibliografía un número identificado de factores de riesgo que incluye el sedentarismo, el consumo de tabaco, una inadecuada dieta alimenticia, el distrés personal y laboral, la tendencia a la ira-hostilidad, la ansiedad y la depresión, los cambios sociales vinculados a los niveles socioeconómicos, y las catástrofes naturales y artificiales. Si bien estos factores de riesgo explican una condición favorable a su aparición, dando cuenta de una enfermedad arterial crónica, la presentación clínica del evento cardiovascular es habitualmente abrupta. Más de la mitad de los pacientes con infarto no son precedidos por patología previa o siquiera síntomas. La literatura científica ha estudiado la activación de los síndromes coronarios agudos, prestando un especial interés a la idea de que los comportamientos y las emociones pueden desencadenar ('gatillar") eventos cardíacos en personas susceptibles. La situación psicológica desencadenante puede ser un acontecimiento aparentemente banal si se la considera y valora de manera objetiva. Sin embargo, su importancia radica en su repercusión psicológica y en la significación que adquiere para el propio paciente en el contexto de sus vivencias actuales y pasadas. La investigación cualitativa aportada por los casos explorados a través de la corriente narrativa en medicina y psicología, y por los casos investigados mediante métodos psicoanalíticos constituyen las fuentes posibles de información acerca de los conflictos recientes vividos por los pacientes con síndrome coronario agudo. Objetivos y metodología: En el Servicio de Cardiología del Hospital de Alta Complejidad en Red 'El Cruce', de Florencio Varela, hemos comenzado a desarrollar un proyecto de investigación clínica con el propósito de evaluar en una serie de pacientes ingresados con diagnóstico confirmado de infarto agudo de miocardio o angina inestable, la prevalencia de situaciones emocionales negativas intensas estereotípicas en las horas o días previos al evento coronario. Para tal objetivo son realizadas entrevistas semidirigidas a cargo de un profesional psicólogo, a pacientes menores de 65 años de edad, en las cuales se toma en especial consideración el relato de la historia de vida reciente del paciente junto a posibles situaciones conflictivas previas que puedan acompañar el cuadro coronario agudo, la trama familiar y las personas significativas, el contexto e historia laboral, y la vida sexual del paciente. El estado de conciencia inadecuado para el interrogatorio y la existencia de eventos coronarios previos constituyen los criterios de exclusión para esta investigación. A su vez, se evaluará la correlación entre los hallazgos obtenidos en las entrevistas y una serie de test y cuestionarios reconocidos en la exploración de los factores emocionales en este tipo de pacientes: el Inventario de Hostilidad de Buss-Durkee y el score de situación de ira, la Escala de Depresión y Ansiedad Hospitalaria (HADS), el cuestionario Beck de depresión y el Cuestionario de Eventos Vitales. La reiteración en un porcentaje relevante de los casos de la identificación de la situación conflictiva estereotípica permitiría un avance significativo en esta línea de investigación fisiopatológica y psicológica, la ampliación del conocimiento relativo al síndrome coronario agudo, y facilitaría, a su vez, la elaboración de estrategias psicoterapéuticas orientadas al tratamiento y a la modificación pronóstica de la enfermedad

Dominios de acción motriz y afectividad

Los dominios de acción motriz constituyen la piedra angular para la elaboración de programas curriculares de educación física. La noción de dominio de acción motriz se refiere al campo en el que las prácticas motrices son consideradas homogéneas respecto a criterios pertinentes y precisos de acción motriz. Este concepto permite organizar de modo científico las diferentes clases de experiencias motrices que se pueden activar al emplear juegos, ejercicios, danzas, deportes o cualquier situación motriz. A partir de una concepción sistémica, y al combinar de manera binaria los criterios de interacción motriz y de relación con el espacio se pueden establecer ocho dominios de acción motriz (cuatro asociados a situaciones psicomotrices, de cooperación, de oposición, de cooperación-oposición, que a su vez pueden combinarse con el criterio de incertidumbre en la relación con el espacio: estable o inestable). Diversas investigaciones confirman que cada uno de los dominios se comporta de manera distinta en cuestiones de máximo interés como transferencia de aprendizajes, cohesión social y también en el terreno de la afectividad. En esta ocasión se presentan resultados parciales de un proceso de investigación en curso en el que se relacionan los dominios de acción motriz y la educación de competencias emocionales. Se trata de un proyecto internacional que cuenta con el apoyo del Ministerio español de Ciencia e Innovación I+D+i. Los hallazgos confirman cada dominio de acción motriz activa tendencias distintas en la vivencia de emociones de sus protagonistas. Independientemente de la geografía de los actores (España, Portugal o Brasil), la lógica interna de las prácticas (dominios) se impone a la lógica externa (geografía). Se ha confirmado el papel destacado de la cooperación en la activación de emociones positivas, ante las prácticas psicomotrices que elicitan una menor intensidad emocional. Estos resultados aportan argumentos para concebir la educación física como la pedagogía de conductas motrices. La persona que interviene en cualquier práctica motriz protagoniza conductas motrices, es decir, mientras realiza acciones motrices (bota, corre o lanza un objeto), activa de manera unitaria las dimensiones biológica (se cansa), cognitiva (piensa), social (dialoga) y AFECTIVA (SE EMOCIONA). Estas dimensiones se fusionan y se confunden ya que lejos de ser dimensiones aisladas están interrelacionadas dando testimonio de la biografía motriz de la persona. Educación motrizDominios de acción motrizConducta motrizJuego tradicional

Hacia un principio de complementariedad en lingüística : Análisis del status epistemológico de la teoría generativa y de la teoría sistémico-funcional a partir de la dualidad 'facultad de la mente'-'producto de la cultura'

La teoría generativa y la teoría sistémico-funcional pueden concebirse como teorías científicas: Han confirmado hipótesis, proveen explicaciones y, a partir de estas últimas, efectúan predicciones. Sin embargo, ambas teorías manejan supuestos incompatibles sobre el mismo objeto: el lenguaje. Después de analizar el problema de las confirmaciones y las explicaciones en lingüística, se intentará demostrar que esa incompatibilidad puede resolverse mediante un "principio de complementariedad": El lenguaje es, al mismo tiempo, una "facultad de la mente" y un "producto de la cultura", aunque los dos aspectos (el "mental" y el "cultural") no puedan captarse en el ámbito de una sola teoría.

¿Papeles repartidos o papeles compartidos? Sara Gallardo entre las letras y la prensa periódica

Aunque resuenen más sus ficciones, Sara Gallardo debutó desde muy joven en el periodismo argentino. Atlántida, La Nación, Primera Plana, Confirmado son algunos de los medios gráficos en los que colaboró. Su participación en el periodismo es simultánea a su producción literaria, y comienza a mediados de 1950 y continúa con altibajos hasta 1988. Más allá de sus intentos de separación de lo estrictamente vocacional (la literatura) del oficio (el periodismo), Sara Gallardo construye su figura de autora en la articulación de la literatura y el periodismo, dos discursos, registros y tonos que entran, en el marco de su producción, en un circuito de préstamos, rechazos e interdependencias. En este trabajo se analizan esos tráficos discursivos y sus resonancias de figuración autoral en un corpus de columnas del semanario Confirmado de los 60 y 70, donde la escritora de Los galgos, los galgos (1968) se convierte en periodista estrella

Dominios de acción motriz y afectividad

Los dominios de acción motriz constituyen la piedra angular para la elaboración de programas curriculares de educación física. La noción de dominio de acción motriz se refiere al campo en el que las prácticas motrices son consideradas homogéneas respecto a criterios pertinentes y precisos de acción motriz. Este concepto permite organizar de modo científico las diferentes clases de experiencias motrices que se pueden activar al emplear juegos, ejercicios, danzas, deportes o cualquier situación motriz. A partir de una concepción sistémica, y al combinar de manera binaria los criterios de interacción motriz y de relación con el espacio se pueden establecer ocho dominios de acción motriz (cuatro asociados a situaciones psicomotrices, de cooperación, de oposición, de cooperación-oposición, que a su vez pueden combinarse con el criterio de incertidumbre en la relación con el espacio: estable o inestable). Diversas investigaciones confirman que cada uno de los dominios se comporta de manera distinta en cuestiones de máximo interés como transferencia de aprendizajes, cohesión social y también en el terreno de la afectividad. En esta ocasión se presentan resultados parciales de un proceso de investigación en curso en el que se relacionan los dominios de acción motriz y la educación de competencias emocionales. Se trata de un proyecto internacional que cuenta con el apoyo del Ministerio español de Ciencia e Innovación I+D+i. Los hallazgos confirman cada dominio de acción motriz activa tendencias distintas en la vivencia de emociones de sus protagonistas. Independientemente de la geografía de los actores (España, Portugal o Brasil), la lógica interna de las prácticas (dominios) se impone a la lógica externa (geografía). Se ha confirmado el papel destacado de la cooperación en la activación de emociones positivas, ante las prácticas psicomotrices que elicitan una menor intensidad emocional. Estos resultados aportan argumentos para concebir la educación física como la pedagogía de conductas motrices. La persona que interviene en cualquier práctica motriz protagoniza conductas motrices, es decir, mientras realiza acciones motrices (bota, corre o lanza un objeto), activa de manera unitaria las dimensiones biológica (se cansa), cognitiva (piensa), social (dialoga) y AFECTIVA (SE EMOCIONA). Estas dimensiones se fusionan y se confunden ya que lejos de ser dimensiones aisladas están interrelacionadas dando testimonio de la biografía motriz de la persona. Educación motrizDominios de acción motrizConducta motrizJuego tradicional

La gramática reveladora : La crítica de arte en los artículos de Miguel Briante

Miguel Briante, además de escritor de cuentos y novelas, fue periodista y crítico de arte. Trabajó para Confirmado, Primera Plana, Panorama y La Opinión; estuvo a cargo de la sección "artes plásticas" en Página/12, fue jefe de redacción de El Porteño y director del Centro Cultural Recoleta. En el siguiente trabajo se intentarán explorar los principales valores y fundamentos que guiaron su escritura. Frente a la "gramática escondedora" de la crítica de arte más tradicional, sus notas se proponen como una "gramática reveladora" que además de intervenir polémicamente en los debates del campo artístico nacional, recupera para el espacio de las crónicas una experiencia sensible y valorativa

Historias de vida y desencadenantes emocionales del síndrome coronario agudo : Inicio de un proyecto de investigación en el hospital El Cruce

Las enfermedades cardiovasculares son consideradas la principal causa de muerte de hombres y mujeres en todo el mundo, así como también en nuestro país. Existe en la bibliografía un número identificado de factores de riesgo que incluye el sedentarismo, el consumo de tabaco, una inadecuada dieta alimenticia, el distrés personal y laboral, la tendencia a la ira-hostilidad, la ansiedad y la depresión, los cambios sociales vinculados a los niveles socioeconómicos, y las catástrofes naturales y artificiales. Si bien estos factores de riesgo explican una condición favorable a su aparición, dando cuenta de una enfermedad arterial crónica, la presentación clínica del evento cardiovascular es habitualmente abrupta. Más de la mitad de los pacientes con infarto no son precedidos por patología previa o siquiera síntomas. La literatura científica ha estudiado la activación de los síndromes coronarios agudos, prestando un especial interés a la idea de que los comportamientos y las emociones pueden desencadenar ('gatillar") eventos cardíacos en personas susceptibles. La situación psicológica desencadenante puede ser un acontecimiento aparentemente banal si se la considera y valora de manera objetiva. Sin embargo, su importancia radica en su repercusión psicológica y en la significación que adquiere para el propio paciente en el contexto de sus vivencias actuales y pasadas. La investigación cualitativa aportada por los casos explorados a través de la corriente narrativa en medicina y psicología, y por los casos investigados mediante métodos psicoanalíticos constituyen las fuentes posibles de información acerca de los conflictos recientes vividos por los pacientes con síndrome coronario agudo. Objetivos y metodología: En el Servicio de Cardiología del Hospital de Alta Complejidad en Red 'El Cruce', de Florencio Varela, hemos comenzado a desarrollar un proyecto de investigación clínica con el propósito de evaluar en una serie de pacientes ingresados con diagnóstico confirmado de infarto agudo de miocardio o angina inestable, la prevalencia de situaciones emocionales negativas intensas estereotípicas en las horas o días previos al evento coronario. Para tal objetivo son realizadas entrevistas semidirigidas a cargo de un profesional psicólogo, a pacientes menores de 65 años de edad, en las cuales se toma en especial consideración el relato de la historia de vida reciente del paciente junto a posibles situaciones conflictivas previas que puedan acompañar el cuadro coronario agudo, la trama familiar y las personas significativas, el contexto e historia laboral, y la vida sexual del paciente. El estado de conciencia inadecuado para el interrogatorio y la existencia de eventos coronarios previos constituyen los criterios de exclusión para esta investigación. A su vez, se evaluará la correlación entre los hallazgos obtenidos en las entrevistas y una serie de test y cuestionarios reconocidos en la exploración de los factores emocionales en este tipo de pacientes: el Inventario de Hostilidad de Buss-Durkee y el score de situación de ira, la Escala de Depresión y Ansiedad Hospitalaria (HADS), el cuestionario Beck de depresión y el Cuestionario de Eventos Vitales. La reiteración en un porcentaje relevante de los casos de la identificación de la situación conflictiva estereotípica permitiría un avance significativo en esta línea de investigación fisiopatológica y psicológica, la ampliación del conocimiento relativo al síndrome coronario agudo, y facilitaría, a su vez, la elaboración de estrategias psicoterapéuticas orientadas al tratamiento y a la modificación pronóstica de la enfermedad

L.A.V. Madrid-Zaragoza. Tramo Terrer-Calatayud : acondicionamiento y mejora

Este proyecto recoge las actuaciones destinadas al Acondicionamiento y Mejora de la linea de alta velocidad Madrid-Zaragoza. En concreto, la actuación que se proyecta corresponde al tramo comprendido entre las proximidades a la localidad de Terrer y la Estación de Calatayud. La línea de alta velocidad Madrid-Zaragoza en la actualidad no alcanza los 300 km/h, manteniéndose en repetidos intervalos por debajo de los 250 km/h. Hoy en día parece estar confirmado que para que los trenes de Alta Velocidad circulen a la velocidad de diseño de 350 km/h hay que sustituir la vía en balasto por vía hormigonada o vía en placa. Según lo publicado en el BOE del 24 de Julio de 2006, pag. 27705, “En España, en ensayos dinámicos de alta velocidad realizados con los trenes de la serie 102, suministrados por el consorcio TALGO-Bombardier, a velocidades superiores a 280 Km/h y específicamente por encima de los 300/320 km/h, se ha comprobado que se produce levantamiento de balasto. Este fenómeno origina daños de diversa consideración en los bajos y laterales del tren, especialmente en su mitad trasera en el sentido de la marcha. También puede obligar al torneado de las ruedas.” La denominada vía en placa o vía sin balasto es una tecnología utilizada en la superestructura ferroviaria en distintos ámbitos, tanto en metropolitanos urbanos, donde sus especiales características hacen optima su utilización, como en alta velocidad en países como Japón (de forma generalizada) o Alemania (línea Colonia-Franckfurt). Pero la vía en placa no puede montarse en los trazados actuales tal y como se han ido construyendo, pues no aguanta los grandes terraplenes y pedraplenes que se han diseñado. Otro de los aspectos que justifican el presente proyecto es la necesidad de disminución en los costes de mantenimiento derivados de la vía sobre balasto, que se reducirian drasticamente con la instauracion del sistema de via hormigonada. Además, el corredor de AV Madrid-Zaragoza-Barcelona-Frontera francesa enlaza desde 2008 las dos grandes urbes españolas y conectara en un futuro próximo con Francia. Desde su puesta en servicio hasta Barcelona ha sido utilizada por mas de 17 millones de viajeros. La tendencia es creciente y se preve que sea necesario en un futuro un aumento de la capacidad, que inevitablemente iría ligada a un aumento de la velocidad comercial de la línea. Otro factor importante en la realización de este proyecto seria su diseño para trafico mixto de viajeros y de mercancias (ya esta diseñado para trafico mixto el tramo entre el Puerto de Barcelona y la conexion con Francia) lo que supone la posibilidad de establecer nuevos servicios con destino o procedencia en los centros intermodales de Francia y otros países europeos, además del fomento de trafico de mercancias por ferrocarril, con todas las ventajas que esto acarrearia. Las actuaciones previstas consisten en un cambio de la seccion a via en placa con el fin de aumentar la velocidad de circulacion hasta los 350 km/h. Esto conlleva un nuevo diseno del trazado adecuado para la construccion de via en placa, asi como para la circulacion de trafico mixto. La actuacion desarrollada en este Proyecto de Construccion corresponde al tramo comprendido entre el Rio Piedra, situado entre los P.K. 206 y 207 de la linea actual y la Estacion de Calatayud, próxima al el P.K. 221 de la línea actual.

Estudio de la fiabilidad software, según defectos, en controladores de velocidad para robots autónomos móviles

Tanto los robots autónomos móviles como los robots móviles remotamente operados se utilizan con éxito actualmente en un gran número de ámbitos, algunos de los cuales son tan dispares como la limpieza en el hogar, movimiento de productos en almacenes o la exploración espacial. Sin embargo, es difícil garantizar la ausencia de defectos en los programas que controlan dichos dispositivos, al igual que ocurre en otros sectores informáticos. Existen diferentes alternativas para medir la calidad de un sistema en el desempeño de las funciones para las que fue diseñado, siendo una de ellas la fiabilidad. En el caso de la mayoría de los sistemas físicos se detecta una degradación en la fiabilidad a medida que el sistema envejece. Esto es debido generalmente a efectos de desgaste. En el caso de los sistemas software esto no suele ocurrir, ya que los defectos que existen en ellos generalmente no han sido adquiridos con el paso del tiempo, sino que han sido insertados en el proceso de desarrollo de los mismos. Si dentro del proceso de generación de un sistema software se focaliza la atención en la etapa de codificación, podría plantearse un estudio que tratara de determinar la fiabilidad de distintos algoritmos, válidos para desempeñar el mismo cometido, según los posibles defectos que pudieran introducir los programadores. Este estudio básico podría tener diferentes aplicaciones, como por ejemplo elegir el algoritmo menos sensible a los defectos, para el desarrollo de un sistema crítico o establecer procedimientos de verificación y validación, más exigentes, si existe la necesidad de utilizar un algoritmo que tenga una alta sensibilidad a los defectos. En el presente trabajo de investigación se ha estudiado la influencia que tienen determinados tipos de defectos software en la fiabilidad de tres controladores de velocidad multivariable (PID, Fuzzy y LQR) al actuar en un robot móvil específico. La hipótesis planteada es que los controladores estudiados ofrecen distinta fiabilidad al verse afectados por similares patrones de defectos, lo cual ha sido confirmado por los resultados obtenidos. Desde el punto de vista de la planificación experimental, en primer lugar se realizaron los ensayos necesarios para determinar si los controladores de una misma familia (PID, Fuzzy o LQR) ofrecían una fiabilidad similar, bajo las mismas condiciones experimentales. Una vez confirmado este extremo, se eligió de forma aleatoria un representante de clase de cada familia de controladores, para efectuar una batería de pruebas más exhaustiva, con el objeto de obtener datos que permitieran comparar de una forma más completa la fiabilidad de los controladores bajo estudio. Ante la imposibilidad de realizar un elevado número de pruebas con un robot real, así como para evitar daños en un dispositivo que generalmente tiene un coste significativo, ha sido necesario construir un simulador multicomputador del robot. Dicho simulador ha sido utilizado tanto en las actividades de obtención de controladores bien ajustados, como en la realización de los diferentes ensayos necesarios para el experimento de fiabilidad. ABSTRACT Autonomous mobile robots and remotely operated robots are used successfully in very diverse scenarios, such as home cleaning, movement of goods in warehouses or space exploration. However, it is difficult to ensure the absence of defects in programs controlling these devices, as it happens in most computer sectors. There exist different quality measures of a system when performing the functions for which it was designed, among them, reliability. For most physical systems, a degradation occurs as the system ages. This is generally due to the wear effect. In software systems, this does not usually happen, and defects often come from system development and not from use. Let us assume that we focus on the coding stage in the software development pro¬cess. We could consider a study to find out the reliability of different and equally valid algorithms, taking into account any flaws that programmers may introduce. This basic study may have several applications, such as choosing the algorithm less sensitive to pro¬gramming defects for the development of a critical system. We could also establish more demanding procedures for verification and validation if we need an algorithm with high sensitivity to programming defects. In this thesis, we studied the influence of certain types of software defects in the reliability of three multivariable speed controllers (PID, Fuzzy and LQR) designed to work in a specific mobile robot. The hypothesis is that similar defect patterns affect differently the reliability of controllers, and it has been confirmed by the results. From the viewpoint of experimental planning, we followed these steps. First, we conducted the necessary test to determine if controllers of the same family (PID, Fuzzy or LQR) offered a similar reliability under the same experimental conditions. Then, a class representative was chosen at ramdom within each controller family to perform a more comprehensive test set, with the purpose of getting data to compare more extensively the reliability of the controllers under study. The impossibility of performing a large number of tests with a real robot and the need to prevent the damage of a device with a significant cost, lead us to construct a multicomputer robot simulator. This simulator has been used to obtain well adjusted controllers and to carry out the required reliability experiments.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

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.

High reynolds numbers turbulent boundary layers

Esta tesis estudia las similitudes y diferencias entre los flujos turbulentos de pared de tipo externo e interno, en régimen incompresible, y a números de Reynolds moderada¬mente altos. Para ello consideramos tanto simulaciones numéricas como experimentos de capas límites con gradiente de presiones nulo y de flujos de canal, ambos a números de Reynolds en el rango δ+ ~ 500 - 2000. Estos flujos de cortadura son objeto de numerosas investigaciones debido a la gran importancia que tienen tanto a nivel tecnológico como a nivel de física fundamental. No obstante, todavía existen muchos interrogantes sobre aspectos básicos tales como la universalidad de los perfiles medios y de fluctuación de las velocidades o de la presión, tanto en la zona cercana a la pared como en la zona logarítmica, el escalado y el efecto del número de Reynolds, o las diferencias entre los flujos internos y externos en la zona exterior. En éste estudio hemos utilizado simulaciones numéricas ya existentes de canales y capas límites a números de Reynolds δ+ ~ 2000 y δ+ ~ 700, respectivamente. Para poder comparar ambos flujos a igual número de Reynolds hemos realizado una nueva simulación directa de capa límite en el rango δ+ ~ 1000-2000. Los resultados de la misma son presentados y analizados en detalle. Los datos sin postprocesar y las estadísticas ya postprocesadas están públicamente disponibles en nuestro sitio web.162 El análisis de las estadísticas usando un único punto confirma la existencia de perfiles logarítmicos para las fluctuaciones de la velocidad transversal w'2+ y de la presión p'2+ en ambos tipos de flujos, pero no para la velocidad normal v'2+ o la velocidad longitudinal u'2+. Para aceptar o rechazar la existencia de un rango logarítmico en u'2+ se requieren números de Reynolds más altos que los considerados en éste trabajo. Una de las conse¬cuencias más importantes de poseer tales perfiles es que el valor máximo de la intensidad, que se alcanza cerca de la pared, depende explícitamente del número de Reynolds. Esto ha sido confirmado tras analizar un gran número de datos experimentales y numéricos, cor¬roborando que el máximo de u'2+, p/2+, y w'2+ aumenta proporcionalmente con el log(δ+). Por otro lado, éste máximo es más intenso en los flujos externos que en los internos. La máxima diferencia ocurre en torno a y/δ ~ 0.3-0.5, siendo esta altura prácticamente independiente del número de Reynolds considerado. Estas diferencias se originan como consecuencia del carácter intermitente de las capas límites, que es inexistente en los flujos internos. La estructura de las fluctuaciones de velocidad y de presión, junto con la de los esfuer¬zos de Reynolds, se han investigado por medio de correlaciones espaciales tridimensionales considerando dos puntos de medida. Hemos obtenido que el tamaño de las mismas es gen¬eralmente mayor en canales que en capas límites, especialmente en el caso de la correlación longitudinal Cuu en la dirección del flujo. Para esta correlación se demuestra que las es¬tructuras débilmente correladas presentan longitudes de hasta 0(75), en el caso de capas límites, y de hasta 0(185) en el caso de canales. Estas longitudes se obtienen respecti-vamente en la zona logarítmica y en la zona exterior. Las longitudes correspondientes en la dirección transversal son significativamente menores en ambos flujos, 0(5 — 25). La organización espacial de las correlaciones es compatible con la de una pareja de rollos casi paralelos con dimensiones que escalan en unidades exteriores. Esta organización se mantiene al menos hasta y ~ 0.65, altura a la cual las capas límites comienzan a organi¬zarse en rollos transversales. Este comportamiento es sin embargo más débil en canales, pudiéndose observar parcialmente a partir de y ~ 0.85. Para estudiar si estas estructuras están onduladas a lo largo de la dirección transver¬sal, hemos calculado las correlaciones condicionadas a eventos intensos de la velocidad transversal w'. Estas correlaciones revelan que la ondulación de la velocidad longitudinal aumenta conforme nos alejamos de la pared, sugiriendo que las estructuras están más alineadas en la zona cercana a la pared que en la zona lejana a ella. El por qué de esta ondulación se encuentra posiblemente en la configuración a lo largo de diagonales que presenta w'. Estas estructuras no sólo están onduladas, sino que también están inclinadas respecto a la pared con ángulos que dependen de la variable considerada, de la altura, y de el contorno de correlación seleccionado. Por encima de la zona tampón e independien¬temente del número de Reynolds y tipo de flujo, Cuu presenta una inclinación máxima de unos 10°, las correlaciones Cvv y Cm son esencialmente verticales, y Cww está inclinada a unos 35°. Summary This thesis studies the similitudes and differences between external and internal in¬compressible wall-bounded turbulent flows at moderately-high Reynolds numbers. We consider numerical and experimental zero-pressure-gradient boundary layers and chan¬nels in the range of δ+ ~ 500 — 2000. These shear flows are subjects of intensive research because of their technological importance and fundamental physical interest. However, there are still open questions regarding basic aspects such as the universality of the mean and fluctuating velocity and pressure profiles at the near-wall and logarithmic regions, their scaling and the effect of the Reynolds numbers, or the differences between internal and external flows at the outer layer, to name but a few. For this study, we made use of available direct numerical simulations of channel and boundary layers reaching δ+ ~ 2000 and δ+ ~ 700, respectively. To fill the gap in the Reynolds number, a new boundary layer simulation in the range δ+ ~ 1000-2000 is presented and discussed. The original raw data and the post-processed statistics are publicly available on our website.162 The analysis of the one-point statistic confirms the existence of logarithmic profiles for the spanwise w'2+ and pressure p'2+ fluctuations for both type of flows, but not for the wall-normal v'2+ or the streamwise u'2+ velocities. To accept or reject the existence of a logarithmic range in u'2+ requires higher Reynolds numbers than the ones considered in this work. An important consequence of having such profiles is that the maximum value of the intensities, reached near the wall, depends on the Reynolds number. This was confirmed after surveying a wide number of experimental and numerical datasets, corrob¬orating that the maximum of ul2+, p'2+, and w'2+ increases proportionally to log(δ+). On the other hand, that maximum is more intense in external flows than in internal ones, differing the most around y/δ ~ 0.3-0.5, and essentially independent of the Reynolds number. We discuss that those differences are originated as a consequence of the inter¬mittent character of boundary layers that is absent in internal flows. The structure of the velocity and pressure fluctuations, together with those of the Reynolds shear stress, were investigated using three-dimensional two-point spatial correlations. We find that the correlations extend over longer distances in channels than in boundary layers, especially in the case of the streamwise correlation Cuu in the flow direc-tion. For weakly correlated structures, the maximum streamwise length of Cuu is O(78) for boundary layers and O(188) for channels, attained at the logarithmic and outer regions respectively. The corresponding lengths for the transverse velocities and for the pressure are shorter, 0(8 — 28), and of the same order for both flows. The spatial organization of the velocity correlations is shown to be consistent with a pair of quasi-streamwise rollers that scales in outer units. That organization is observed until y ~ 0.68, from which boundary layers start to organize into spanwise rollers. This effect is weaker in channels, and it appears at y ~ 0.88. We present correlations conditioned to intense events of the transversal velocity, w', to study if these structures meander along the spanwise direction. The results indicate that the streamwise velocity streaks increase their meandering proportionally to the distance to the wall, suggesting that the structures are more aligned close to the wall than far from it. The reason behind this meandering is probably due to the characteristic organization along diagonals of w'. These structures not only meander along the spanwise direction, but they are also inclined to the wall at angles that depend on the distance from the wall, on the variable being considered, and on the correlation level used to define them. Above the buffer layer and independent of the Reynolds numbers and type of flow, the maximum inclination of Cuu is about 10°, Cvv and Cpp are roughly vertical, and Cww is inclined by 35°.

Curso básico de programación del método de los elementos finitos

Estas notas que se publican a continuación corresponden a un curso de postgrado impartido durante el primer semestre del año 1983. El interés mostrado por los asistentes a dicho curso nos ha animado a escribir un resumen de las clases. Este libro supone un conocimiento te6rico de las ideas básicas del método de los elementos finitos. No obstante en una primera lección se resumen y ordenan aquellos aspectos mas importantes, que serán utilizados en lecciones sucesivas. En estas se desarrolla un programa de computador muy sencillo -sin complicaciones informáticas que obscurezcan la simplicidad del método- y se analiza de un modo detallado -en forma de organigramas y listados comentados- las distintas rutinas en lenguaje FORTRAN de este programa. Asimismo, y respetando el carácter elemental de la exposición se abren algunas posibilidades de ampliación y nuevos desarrollos del método. Algunos ejercicios y ejemplos al final de cada capítulo se espera permitan clarificar los puntos mas conflictivos del método. Finalmente se reúne en un apéndice, los distintos programas que se han mostrado en las sucesivas lecciones y que con objeto de que puedan ser procesados en microcomputadores se han traducido al lenguaje BASIC. Creemos y la experiencia del curso así nos la ha confirmado, que el método de elementos finitos se debe enseñar y aprender mediante la praxis y presentar los sucesivos desarrollos del método de un modo motivado como solución a problemas numéricos e informáticos que aparecen en su desarrollo. Si las lecciones que aquí se presentan permiten transmitir mejor estas ideas, los autores se sentirán más que recompensados por el trabajo que ha supuesto dar a luz a esta publicación.

Evaluación de los co-beneficios sobre el desarrollo sostenible y la reducción de la pobreza de proyectos de mitigación del cambio climático en Brasil

El cambio climático y los diferentes aspectos del concepto de “desarrollo” están intrínsecamente interconectados. Por un lado, el desarrollo económico de nuestras sociedades ha contribuido a un aumento insostenible de las emisiones de gases de efecto invernadero, las cuales están desestabilizando el sistema climático global, generando al mismo tiempo una distribución desigual de la capacidad de las personas para hacer frente a estos cambios. Por otro lado, en la actualidad existe un amplio consenso sobre que el cambio climático impacta directamente y de manera negativa sobre el denominando desarrollo sostenible. De igual manera, cada vez existe un mayor consenso de que el cambio climático va a desafiar sustancialmente nuestra capacidad de erradicar la pobreza a medio y largo plazo. Ante esta realidad, no cabe duda de que las estrategias de adaptación son esenciales para mantener el desarrollo. Es por esto que hasta el momento, los mayores esfuerzos realizados por unir las agendas globales de la lucha contra la pobreza y del cambio climático se han dado en el entorno de la adaptación al cambio climático. Sin embargo, cada vez son más los actores que defienden, desde distintos escenarios, que existen sinergias entre la mitigación de emisiones y la mejora de las condiciones de vida de las poblaciones más vulnerables, favoreciendo así un “desarrollo sostenible” sin disminuir los recursos financieros destinados a la adaptación. Para hacer efectivo este potencial, es imprescindible identificar diseños de estrategias de mitigación que incrementen los resultados de desarrollo, contribuyendo al desarrollo sostenible al mismo tiempo que a reducir la pobreza. En este contexto se sitúa el objetivo principal de esta investigación, consistente en analizar los co-beneficios locales, para el desarrollo sostenible y la reducción la pobreza, de proyectos de mitigación del cambio climático que se implementan en Brasil. Por co-beneficios se entienden, en el lenguaje de las discusiones internacionales de cambio climático, aquellos beneficios que van más allá de la reducción de emisiones de Gases de Efecto Invernadero (GEI) intrínsecas por definición a los proyectos de mitigación. Los proyectos de mitigación más relevantes hasta el momento bajo el paraguas de la Convención Marco de las Naciones Unidas para el Cambio Climático (CMNUCC), son los denominados Mecanismos de Desarrollo Limpio (MDL) del Protocolo de Kioto. Sin embargo, existen alternativas de proyectos de mitigación (tales como los denominados “estándares adicionales” a los MDL de los Mercados Voluntarios de Carbono y las Tecnologías Sociales), que también serán tenidos en cuenta en el marco de este estudio. La elección del tema se justifica por la relevancia del mismo en un momento histórico en el que se está decidiendo el futuro del régimen climático a partir del año 2020. Aunque en el momento de redactar este documento, todavía no se ha acordado la forma que tendrán los futuros instrumentos de mitigación, sí que se sabe que los co-beneficios de estos instrumentos serán tan importantes, o incluso más, que las reducciones de GEI que generan. Esto se debe, principalmente, a las presiones realizadas en las negociaciones climáticas por parte de los países menos desarrollados, para los cuales el mayor incentivo de formar parte de dichas negociaciones se basa principalmente en estos potenciales co-beneficios. Los resultados de la tesis se estructuran alrededor de tres preguntas de investigación: ¿cómo están contribuyendo los MDL implementados en Brasil a generar co-beneficios que fomenten el desarrollo sostenible y reduzcan la pobreza?; ¿existen proyectos de mitigación en Brasil que por tener compromisos más exigentes en cuanto a su contribución al desarrollo sostenible y/o la reducción de la pobreza que los MDL estén siendo más eficientes que estos en relación a los co-beneficios que generan?; y ¿qué características de los proyectos de mitigación pueden resultar críticas para potenciar sus co-beneficios en las comunidades en las que se implementan? Para dar respuesta a estas preguntas, se ha desarrollado durante cuatro años una labor de investigación estructurada en varias fases y en la que se combinan diversas metodologías, que abarcan desde el desarrollo de un modelo de análisis de cobeneficios, hasta la aplicación del mismo tanto a nivel documental sobre 194 documentos de diseño de proyecto (denominado análisis ex-ante), como a través de 20 casos de estudio (denominado análisis ex-post). Con la realización de esta investigación, se ha confirmado que los requisitos existentes hasta el momento para registrar un proyecto como MDL bajo la CMNUCC no favorecen sustancialmente la generación de co-beneficios locales para las comunidades en las que se implementan. Adicionalmente, se han identificado prácticas y factores, que vinculadas a las actividades intrínsecas de los proyectos de mitigación, son efectivas para incrementar sus co-beneficios. Estas prácticas y factores podrán ser tenidas en cuenta tanto para mejorar los requisitos de los actuales proyectos MDL, como para apoyar la definición de los nuevos instrumentos climáticos. ABSTRACT Climate change and development are inextricably linked. On the one hand, the economic development of our societies has contributed to the unsustainable increase of Green House Gases emissions, which are destabilizing the global climate system while fostering an unequal distribution of people´s ability to cope with these changes. On the other hand, there is now a consensus that climate change directly impacts the so-called sustainable development. Likely, there is a growing agreement that climate change will substantially threaten our capacity to eradicate poverty in the medium and long term. Given this reality, there is no doubt that adaptation strategies are essentials to keep development. This is why, to date, much of the focus on poverty in the context of climate change has been on adaptation However, without diverting resources from adaptation, there may exist the potential to synergize efforts to mitigate emissions, contribute to sustainable development and reduce poverty. To fulfil this potential, it is key identifying how mitigation strategies can also support sustainable development and reduce poverty. In this context, the main purpose of this investigation is to explore the co-benefits, for sustainable development and for poverty reduction, of climate change mitigation projects being implemented in Brazil. In recent years the term co-benefits, has been used by policy makers and academics to refer the potentially large and diverse range of collateral benefits that can be associated with climate change mitigation policies in addition to the direct avoided climate impact benefits. The most relevant mitigation projects developed during the last years under the United Nations Framework Convention on Climate Change (UNFCCC) are the so-called Clean Development Mechanisms (CDM) of the Kyoto Protocol. Thus, this research will analyse this official mechanism. However, there are alternatives to the mitigation projects (such as the "add-on standards" of the Voluntary Carbon Markets, and the Social Technologies) that will also be assessed as part of the research. The selection of this research theme is justified because its relevance in a historic moment in which proposals for a future climate regime after 2020 are being negotiated. Although at the moment of writing this document, there is not a common understanding on the shape of the new mitigation instruments, there is a great agreement about the importance of the co-benefits of such instruments, which may be even more important for the Least Developed Countries that their expected greenhouse gases emissions reductions. The results of the thesis are structured around three research questions: how are the CDM projects being implemented in Brazil generating local co-benefits that foster sustainable development and poverty reduction?; are other mitigation projects in Brazil that due to their more stringent sustainable development and/o poverty reduction criteria, any more successful at delivering co-benefits than regular CDM projects?; and what are the distinguishing characteristics of mitigation projects that are successful at delivering co-benefits? To answer these research questions, during four years it has been developed a research work structured in several phases and combining various methodologies. Those methodologies cover from the development of a co-benefits assessment model, to the application of such model both to a desktop analysis of 194 project design documents, and to 20 case studies using field data based on site visits to the project sites. With the completion of this research, it has been confirmed that current requirements to register a CDM project under the UNFCCC not substantially favour co-benefits at the local level. In addition, some practices and factors enablers of co-benefits have been identified. These characteristics may be taken into consideration to improve the current CDM and to support the definition of the new international market mechanisms for climate mitigation.

Naturaleza, ética, y arquitectura: Autenticidad y criterios éticos que integran el desarrollo de una arquitectura más sostenible = Nature, ethics and architecture: Authenticity and ethics criteria that integrate the development of a more sustainable architecture

La ecología no solamente ha puesto de manifiesto problemas ambientales, sino que ha confirmado la necesidad de una nueva armonía entre los propios seres humanos y de éstos con la naturaleza y con todos los seres que la habitan. Es necesario un nuevo contrato que determine nuestras relaciones con la Naturaleza (Serrs1), y una nueva Ética para nuestras vidas (Guattari2). La ética medioambiental nos ha dado una visión universal y supra-generacional de la gestión de la naturaleza y como consecuencia, una nueva forma de construir nuestra ‘segunda’ Naturaleza, que es la arquitectura. ¿Qué es lo esencial que esta nueva ética exige para la arquitectura? Este es un momento crucial para reconsiderar los objetivos de la arquitectura, porque lo ‘eco’ está produciendo grandes cambios. ¿Implica esta era post-ecológica una particular ética, es decir, referida a sus fines y medios? ¿Porqué, para qué, para quién, cómo debemos hacer la arquitectura de nuestro tiempo? Es momento de afrontar críticamente el discurso de la eco-arquitectura, e incluso de repensar los propios límites de la arquitectura. El desarrollo actual del conocimiento medioambiental es esencialmente técnico y utilitario, pero ¿es el reto solamente técnico?¿Es suficiente la suma de lo medioambiental-social-económico-cultural para definirla? ¿Hay claves que nos puedan dar la dimensión ética de esta aproximación técnica-empírica? ¿Sabemos lo que estamos haciendo cuando aplicamos este conocimiento? Y, sobre todo, ¿cuál es el sentido de lo que estamos haciendo? La tesis que se propone puede resumirse: De acuerdo con el actual conocimiento que tenemos de la Naturaleza, la Arquitectura de nuestro tiempo deber reconsiderar sus fines y medios, puesto que la ética medioambiental está definiendo nuevos objetivos. Para fundamentar y profundizar en esta afirmación la tesis analiza cómo son hoy día las relaciones entre Ética-Naturaleza-Arquitectura (Fig.1), lo que facilitará las claves de cuáles son los criterios éticos (en cuanto a fines y medios) que deben definir la arquitectura del tiempo de la ecología. ABSTRACT Ecology shows us not only environmental problems; it shows that we need a new balance and harmony between individuals, beings, communities and Nature. We need a new contract with Nature according to Serres576, and a new Ethics for our lives according to Guattari577. Environmental ethics have given us a universal and supra-generational vision of the management of our Nature and, as a consequence, a new way to construct our ‘second’ nature, which is architecture. What is essential for this new architecture that the new ethics demand? This is a critical moment to reconsider the object of architecture, because the ‘eco’ is making significant changes in it. Are there any specifically ethical concerns (ends and means) in the post-ecological era? Why, for what, for whom, how should we make architecture in our times? This is the time to approach the eco-architectural discourse critically and to question the current boundaries of architecture itself: Where is eco-architecture going? The current development of environmental knowledge is essentially technical and utilitarian, but it is its technical aspect the only challenge? Is the sum of environmental-social-economic aspects enough to define it? Are there any clues which can give an ethical sense to this technical-empirical approach? Do we know what we are doing when we apply this knowledge? And overall, what is the meaning of what we are doing? Exploring this subject, this thesis makes a statement: In accordance with the actual knowledge of Nature, Architecture of our time must reconsider its ends and means, since the environmental ethics is defining new objectives. To support that, the thesis analyzes what the relationships between Ethics –Nature- Architecture (Fig. 53) are like nowadays, this will provide the clues of which ethical criteria (ends and means) must architecture of an ecological era define.