Cinetica e termodinamica della trasformazione metallo-idruro in nanoparticelle Mg-Ti.

L'utilizzo dell'idrogeno come vettore energetico è uno dei temi, riguardanti la sostenibilità energetica, di maggior rilievo degli ultimi anni. Tuttavia ad oggi è ancora in corso la ricerca di un sistema che ne permetta un immagazzinamento efficiente. Il MgH2 costituisce un valido candidato per la produzione di sistemi per lo stoccaggio di idrogeno allo stato solido. In questa tesi, per migliorare le proprietà cinetiche e termodinamiche di cui questo sistema, sono stati sintetizzati dei campioni nanostrutturati composti da Mg-Ti attraverso la tecnica Inert Gas Condensation. I campioni così ottenuti sono stati analizzati dal punto di vista morfologico e composizionale, mediante la microscopia elettronica a scansione, la microanalisi e la diffrazione di raggi X. Tali analisi hanno mostrato che le dimensioni delle nanoparticelle sono comprese tra i 10-30 nm e che la tecnica IGC permette una distribuzione uniforme del titanio all'interno della matrice Mg. Le misure di caratterizzazione per l'assorbimento reversibile di idrogeno sono state effettuate attraverso il metodo volumetrico, Sievert. I campioni sono stati analizzati a varie temperature (473K-573K). Cineticamente la presenza di titanio ha provocato un aumento della velocità delle cinetiche sia per i processi di desorbimento che per quelli di assorbimento ed ha contribuito ad una diminuzione consistente delle energie di attivazione di entrambi i processi rispetto a quelle note in letteratura per il composto MgH2. Dal punto di vista termodinamico, sia le pressioni di equilibrio ottenute dalle analisi PCT a diverse temperature, che l'entalpia e l'entropia di formazione risultano essere in accordo con i valori conosciuti per il sistema MgH2. All'interno di questo lavoro di tesi è inoltre presentata un'analisi preliminare di un campione analizzato con la tecnica Synchrotron Radiation-Powder X Ray Diffraction in situ, presso la facility MAX-lab (Svezia), all’interno dell’azione COST, MP1103 per la ricerca di sistemi per lo stoccaggio di idrogeno allo stato solido.

Dynamics of the Heisenberg XXZ model across the ferromagnetic transition

In questa tesi viene presentata un'analisi numerica dell'evoluzione dinamica del modello di Heisenberg XXZ, la cui simulazione è stata effettuata utilizzando l'algoritmo che va sotto il nome di DMRG. La transizione di fase presa in esame è quella dalla fase paramagnetica alla ferromagnetica: essa viene simulata in una catena di 12 siti per vari tempi di quench. In questo modo si sono potuti esplorare diversi regimi di transizione, da quello istantaneo al quasi-adiabatico. Come osservabili sono stati scelti l'entropia di entanglement, la magnetizzazione di mezza catena e lo spettro dell'entanglement, particolarmente adatti per caratterizzare la fisica non all'equilibrio di questo tipo di sistemi. Lo scopo dell'analisi è tentare una descrizione della dinamica fuori dall'equilibrio del modello per mezzo del meccanismo di Kibble-Zurek, che mette in relazione la sviluppo di una fase ordinata nel sistema che effettua la transizione quantistica alla densità di difetti topologici, la cui legge di scala è predicibile e legata agli esponenti critici universali caratterizzanti la transizione.

Modernidades líquidas en Argentina. Juan José Saer y las orillas

El presente trabajo se propone examinar la noción del "espacio líquido" en la literatura argentina, y sobre todo en la obra de Juan José Saer. Se trata de demostrar que lo que caracteriza la obra saeriana es la oscilación entre dos concepciones de lo líquido: por un lado, una acepción metafórica, tal como ha sido utilizada por teorías sociales de la modernización y de la globalización - en la base de esta acepción de lo ?líquido" está una concepción topológica del espacio, destinada a describir mundos y percepciones en constante devenir y cambio. Por el otro lado, se hace presente, en Saer, una concepción más concreta, topográfica, de lo líquido como espacio aquático y, sobre todo, como espacio fluvial. Para Saer, la orilla del río, es decir la zona 'cosmogónica' entre agua y tierra como modelo de lo cultural, precede a la orilla de la ciudad con su oposición mítica entre civilización y barbárie, tan importante en la historia literaria argentina. Quisieramos mostrar al ejemplo de una lectura de Nadie, nada, nunca, como esas dos concepiones de lo líquido se superponen y cuales son las consecuencias de esa superposición para pensar los espacios de la literatura argentina entre topologías abstractas y topografías concretas

Modernidades líquidas en Argentina. Juan José Saer y las orillas

El presente trabajo se propone examinar la noción del "espacio líquido" en la literatura argentina, y sobre todo en la obra de Juan José Saer. Se trata de demostrar que lo que caracteriza la obra saeriana es la oscilación entre dos concepciones de lo líquido: por un lado, una acepción metafórica, tal como ha sido utilizada por teorías sociales de la modernización y de la globalización - en la base de esta acepción de lo ?líquido" está una concepción topológica del espacio, destinada a describir mundos y percepciones en constante devenir y cambio. Por el otro lado, se hace presente, en Saer, una concepción más concreta, topográfica, de lo líquido como espacio aquático y, sobre todo, como espacio fluvial. Para Saer, la orilla del río, es decir la zona 'cosmogónica' entre agua y tierra como modelo de lo cultural, precede a la orilla de la ciudad con su oposición mítica entre civilización y barbárie, tan importante en la historia literaria argentina. Quisieramos mostrar al ejemplo de una lectura de Nadie, nada, nunca, como esas dos concepiones de lo líquido se superponen y cuales son las consecuencias de esa superposición para pensar los espacios de la literatura argentina entre topologías abstractas y topografías concretas

La crisis de identidad de la pedagogía

En las últimas décadas el plural adoptado para nombrar las disciplinas que estudian los fenómenos educativos es muy significativo. El paso de la ciencia de la educación en singular al de Las Ciencias de la Educación en plural, ha producido entre otros efectos, una reagrupación de los conocimientos sobre la educación y de la educación y una confusión acerca de la posición de la Pedagogía y las otras disciplinas de las Ciencias de la Educación. En este sentido, ubicar y reposicionar con todo rigor la palabra y el significado de la Pedagogía resulta fundamental para avanzar en la especificidad de cada una de las disciplinas. El campo pedagógico es diferente del campo de la educación y del campo de las ciencias de la educación. Acotar y especificar el campo pedagógico, es necesario para seguir promoviendo la investigación sobre la acción educativa y su orientación. Siguiendo a Avanzini, tomamos los tres momentos que él distingue para proponer nosotros un cuarto momento que refiere a los nuevos desafíos: En un primer momento la filosofía domina a la pedagogía y esta parece estar subsumida por aquella. Un segundo momento lo caracteriza marcado por el enfoque positivista. El tercero refiere al paso en plural de Las Ciencias de la Educación. En este marco comienza lo que Ferry denomina la ?muerte de la pedagogía?. Se configura una ?despedagogización? de las instituciones y de las propias Ciencias de la Educación. El cuarto momento: En nuestra opinión hoy más que nunca es necesario una disciplina "Pedagogía", que articule el conjunto de los conocimientos de y sobre la educación. Saberes globalizados, capaces de aportar al estudio de los fenómenos de la educación en situaciones concretas, en especial las instituciones educativas. En este momento, caracterizado por la crítica de la crítica, interesa pasar de una clasificación tipológica de la educación a una topológica en donde lo fundamental sean los lugares como espacios simbólicos (topos). En este sentido proponemos la dimensión pedagógica de las instituciones como el lugar de articulación de los saberes educativos y a la escuela como sede de lucha por el capital cultural simbólico. El desarrollo de esta dimensión como lugar simbólico puede contribuir a la construcción de una nueva especificidad pedagógica. ¿Es inútil querer restituirla?

Modernidades líquidas en Argentina. Juan José Saer y las orillas

El presente trabajo se propone examinar la noción del "espacio líquido" en la literatura argentina, y sobre todo en la obra de Juan José Saer. Se trata de demostrar que lo que caracteriza la obra saeriana es la oscilación entre dos concepciones de lo líquido: por un lado, una acepción metafórica, tal como ha sido utilizada por teorías sociales de la modernización y de la globalización - en la base de esta acepción de lo ?líquido" está una concepción topológica del espacio, destinada a describir mundos y percepciones en constante devenir y cambio. Por el otro lado, se hace presente, en Saer, una concepción más concreta, topográfica, de lo líquido como espacio aquático y, sobre todo, como espacio fluvial. Para Saer, la orilla del río, es decir la zona 'cosmogónica' entre agua y tierra como modelo de lo cultural, precede a la orilla de la ciudad con su oposición mítica entre civilización y barbárie, tan importante en la historia literaria argentina. Quisieramos mostrar al ejemplo de una lectura de Nadie, nada, nunca, como esas dos concepiones de lo líquido se superponen y cuales son las consecuencias de esa superposición para pensar los espacios de la literatura argentina entre topologías abstractas y topografías concretas

La crisis de identidad de la pedagogía

En las últimas décadas el plural adoptado para nombrar las disciplinas que estudian los fenómenos educativos es muy significativo. El paso de la ciencia de la educación en singular al de Las Ciencias de la Educación en plural, ha producido entre otros efectos, una reagrupación de los conocimientos sobre la educación y de la educación y una confusión acerca de la posición de la Pedagogía y las otras disciplinas de las Ciencias de la Educación. En este sentido, ubicar y reposicionar con todo rigor la palabra y el significado de la Pedagogía resulta fundamental para avanzar en la especificidad de cada una de las disciplinas. El campo pedagógico es diferente del campo de la educación y del campo de las ciencias de la educación. Acotar y especificar el campo pedagógico, es necesario para seguir promoviendo la investigación sobre la acción educativa y su orientación. Siguiendo a Avanzini, tomamos los tres momentos que él distingue para proponer nosotros un cuarto momento que refiere a los nuevos desafíos: En un primer momento la filosofía domina a la pedagogía y esta parece estar subsumida por aquella. Un segundo momento lo caracteriza marcado por el enfoque positivista. El tercero refiere al paso en plural de Las Ciencias de la Educación. En este marco comienza lo que Ferry denomina la ?muerte de la pedagogía?. Se configura una ?despedagogización? de las instituciones y de las propias Ciencias de la Educación. El cuarto momento: En nuestra opinión hoy más que nunca es necesario una disciplina "Pedagogía", que articule el conjunto de los conocimientos de y sobre la educación. Saberes globalizados, capaces de aportar al estudio de los fenómenos de la educación en situaciones concretas, en especial las instituciones educativas. En este momento, caracterizado por la crítica de la crítica, interesa pasar de una clasificación tipológica de la educación a una topológica en donde lo fundamental sean los lugares como espacios simbólicos (topos). En este sentido proponemos la dimensión pedagógica de las instituciones como el lugar de articulación de los saberes educativos y a la escuela como sede de lucha por el capital cultural simbólico. El desarrollo de esta dimensión como lugar simbólico puede contribuir a la construcción de una nueva especificidad pedagógica. ¿Es inútil querer restituirla?

Continuidad y discontinuidad en Louis I. Kahn : material, estructura y espacio

La obra de Louis I. Kahn —como decía Robert Le Ricolais, íntimo colaborador suyo sorprendentemente ignorado hasta ahora— no es fácil de reducir a un discurso lineal. Al hilo de esta apreciación, en el presente trabajo hemos intentado distanciarnos de una linealidad, lo cual nos separa sensiblemente de otras interpretaciones sobre este arquitecto. El acceso directo al material de los Archivos Kahn de la Universidad de Pennsylvania, los mismos edificios construidos y aquellos otros proyectos no realizados, la conversación con sus íntimos colaboradores y los hallazgos de documentación hasta ahora inédita han hecho posible una aproximación a la realidad vital del pensamiento y la obra de Kahn. Hemos querido en este trabajo acercarnos a aquellos puntos de máxima tensión interna en la obra kahniana, a aquellas aparentes contradicciones que desvelan la aproximación de Kahn al hecho proyectual. Estos puntos luminosos, desde la consideración del material, la estructura y el espacio, han servido de urdimbre para el trabajo. Y los hemos abordado desde tres hilos conductores, tres niveles de discurso cuyas fibras se entrelazan y forman un tejido. En primer lugar, la cultura arquitectónica de los años cincuenta con el telón de fondo del organicismo, entendido éste como reacción a un reduccionismo funcionalista y que adopta muchas formas más allá del concepto wrightiano de "arquitectura orgánica". En segundo término, la consideración de los problemas formales más allá de una configuración precisa, desde sus principios, de modo abierto, como corresponde al concepto kahniano de Forma", que entendemos en este trabajo como "disposición flexible" o "estructura topológica", siguiendo las Ideas de Robert Le Ricolais. Por último, la abstracción visual y espacial, la consideración de que además de la naturaleza de los materiales, existe otra dimensión más visual o fenomenológica pero no por ello menos rigurosa, más ligada a la interpretación personal que el artista o el arquitecto hacen del material con el que trabajan. En este sentido, encontramos paralelismos entre las actitudes de Josef Albers y Kahn ante el espacio. 1. Kahn queda incorporado en este trabajo a la tradición orgánica a través de una idea de geometría estructurada en niveles sucesivos de escala: una geometría orgánica. Anne Griswold Tyng, quien puso a Kahn en contacto con esta tradición, y su entendimiento de la arquitectura como el arte de dar forma al número y número a la forma, le posibilitó afianzarse en sus propias convicciones y en la radicalidad y universalidad de este orden geométrico arquetípico, presente tanto en las realidades naturales como en las mentales. En este sentido, la unidad elemental de espacio en Kahn —la estancia ["Room'), una unidad indivisible cuya fragmentación interna destruiría su sentido— constituye muchos de sus proyectos como acumulaciones celulares, como si se generaran por crecimiento o agrupación de unidades elementales —casa Parasol (1944), casa Adler (1955), Centro de Arte Británico de la Universidad de Yale (1969-74)—. La idea de "crecimiento" frente a la de "composición", con la que más frecuentemente se ha asociado a Kahn, parece ser una clave importante para entender su proceso proyectual, como manifiesta una reveladora discusión mantenida entre Kahn y Colin Rowe que se recoge en este trabajo. Este concepto kahniano de "Room"se revela como un 'espacio para', un espacio con carácter definido, un lugar que evoca un uso y que escapa de la idea abstracta de espacio como 'pura extensión' asumida por el funcionalismo. 2. En este trabajo se propone para Kahn el término de "disposición" mejor que el de "composición", con el que más frecuentemente ha sido asociado. Nos situamos, por tanto, frente a las interpretaciones más comunes, que se centran en el sentido de la "composición" analizando aspectos puramente compositivos en su obra —axialidades y otros recursos formales en las plantas, por ejemplo—, así como su herencia de una tradición Beaux-Arts. Desde nuestro punto de vista, la topología sirve como referente para un nuevo entendimiento de Kahn, y a la luz de sus conceptos se comprende que el proyecto se define por las relaciones, continuidades y conexiones de los espacios entre sí, y no por su forma precisa. Esa idea de forma abierta dota al proyecto de una libertad interna para recomponerse sobre sí mismo, para encontrar esa adecuada disposición ["Forma" según la llama Kahn) y extraer de ella toda su energía. 3. Las ideas de Kahn sobre "lo que el material quiere ser", que parecen identificarse con el concepto wrightiano de "la naturaleza de los materiales", sugieren de modo implícito una oculta paradoja. La obra de Kahn se abre a aspectos fenomenológicos, más ligados a lo visual y a la experiencia perceptiva del material: su textura, su comportamiento ante la luz, sus resonancias cromáticas. A este respecto, hemos encontrado en Kahn ecos de las ideas que Josef Albers expresaba mediante juegos de color, abstracción y espacio en sus composiciones con cristal. Una interpretación arquitectónica del aforismo kahniano de que "la materia es luz gastada" parece estar en la vibración del material ante la luz, y en el reconocimiento de que entre ambos existe un constante intercambio de energía, una asociación íntima. El material es traído a la presencia por la luz, y ésta necesita de la materia para hacerse visible. Material y luz son dos fuentes de energía en continuo intercambio que se reclaman mutuamente. Esto lleva a Kahn a matizadas yuxtaposiciones de materiales, sutiles enfrentamientos de texturas que son valoradas por el principio siempre cambiante de la luz dando vida al espacio. Sin embargo, estas cualidades fenomenológicas y abstractas de la materia, que le sirven para activar el espacio, se ven filtradas a través de un proceso constructivo. Al operar en sus proyectos con las cualidades visuales de los materiales, Kahn mantiene una paralela atención por dejar en ese juego las huellas del sistema constructivo. Descubrimos que los materiales, en sus sistemas de encofrado, puesta en obra, estandarización y prefabricación, cuentan la historia de un proceso, y que la idea del edificio en construcción, en su hacerse, en esa batalla con la técnica, está presente desde el proyecto como elemento conformador. De este modo se revelan aspectos importantes del tipo de espacio que Kahn propone: un espacio atravesado por la acción del instrumento, que evidencia cómo ha sido hecho. En último extremo, esta noción espacial es expresión de una Idea base en el pensamiento de Kahn: que el espacio procede del muro al abrirse, al desmaterializarse, y está atado a un sistema constructivo-estructural. De este modo, el presente trabajo da cuenta del peculiar modo de entender las relaciones entre el material, la estructura y el espacio por parte de Kahn, quien se ubica en una perspectiva amplia e ¡integradora que acoge y aglutina nociones de ámbitos que parecerían contrapuestos: la abstracción y la tectónica, el rigor geométrico y una apertura topológica. Esto nos revela a un Kahn que elude lecturas directas o lineales, que se sitúa ante los problemas con los ojos siempre abiertos —así dibujaba su actitud mental Robert Le Ricolais—, permanentemente atento a los acontecimientos espaciales, a su continuidad heredera de un primer movimiento moderno y a las sutiles discontinuidades que necesariamente aparecen en éste. Pues el espacio kahniano nace de la disgregación del espacio continuo, de la escisión de éste en unidades, de la aceptación de su heterogeneidad (espacios servidores o servidos, estancias que buscan su propia autonomía y diferenciación de acuerdo con un modo más natural de resolver los problemas). Pero, al mismo tiempo, este espacio no atraviesa una total disgregación, ya que también se busca con igual energía una continuidad casi homogénea, una cierta indiferenciación entre las partes, una sorprendente aspiración al silencio: la disolución de lo individual, de lo particular, en una homogeneidad creada por una simultánea tensión entre geometría, espacio, material, estructura y sistema constructivo.

Metodología para la generación automática de entornos virtuales en simuladores de conducción terrestre

Está Tesis refleja los trabajos de investigación que tienen como resultado el desarrollo de una metodología cuyo objetivo es la automatización optimizada en la generación de grandes entornos virtuales destinados a simulaciones de conducción terrestre guiada, es decir, sobre trayectorias predefinidas, bajo PC. En ella se aborda el ciclo completo de generación de un entorno virtual, aportando soluciones optimizadas en cada una de las fases. Para definir estas soluciones, se ha llevado a cabo un estudio en profundidad de las características y requisitos exigidos a este tipo de representaciones virtuales así como de las posibles vías resolutivas, concluyéndose con el establecimiento de tres fases constructivas. La primera fase es la del análisis perceptivo visual. La presente Tesis, tras sintetizar las características que definen a este tipo de entornos así como sus condiciones perceptivas, propone una metodología constructiva que saca el máximo partido de las mismas de una manera hasta ahora no considerada: la creación del entorno mediante el ensamblaje y repetición (instanciación) de un número finito de patrones repetitivos o módulos. Son múltiples las ventajas aportadas por este sistema modular de instanciación: disminución de las labores de modelado, reducción drástica de la memoria de almacenamiento requerida y de los tiempos de carga, facilitación de las tareas de creación y edición de los escenarios. La segunda fase es la generación geométrica y topológica del entorno. El elevado volumen y heterogeneidad de la información a manejar hace necesario el desarrollo de métodos que automaticen el procesamiento de la misma. La presente Tesis desarrolla un sistema consistente en varios criterios de organización, corrección y almacenamiento de la información de partida. Dicho sistema permite por un lado la construcción fácilmente escalable y editable de entornos que cumplan las normativas circulatorias vigentes y por otro lado garantiza un óptimo flujo de la información entre los diversos subsistemas integrantes de la simulación. Flujo que ha sido plasmado en la elaboración de diversos protocolos de comunicación. La tercera fase es la del posicionamiento 3D de la base de datos visual, su jerarquización y optimización escénica. En esta fase, la presente Tesis ha desarrollado una serie de Algoritmos de Posicionamiento modular que garantizan el correcto acoplamiento de los módulos a lo largo de una serie de líneas directrices. Dichas líneas son creadas a partir de la definición de las trayectorias circulatorias, lo que ha permitido a su vez, la definición por parte de esta Tesis de un sistema de niveles de detalle discretos pseudo-variantes con el punto de vista, que permite optimizar la carga geométrica del escenario, mediante la definición en tiempo de precarga de los posibles niveles de detalle de cada módulo en función de su distancia transversal a la trayectoria. Por otro lado, con el fin de potenciar las ventajas de este sistema de instanciación esta Tesis propone el empleo de una serie de shaders que deforman los módulos en tiempo real, lo que permite disminuir el número de módulos necesarios en tiempo de precarga y aumenta la versatilidad constructiva y realismo de los escenarios. Finalmente, esta Tesis organiza todo el escenario en un grafo de la escena (scene graph) que busca minimizar el recorrido del mismo con el fin de maximizar las velocidades de refresco y facilitar las labores de edición de los escenarios. En este punto, la construcción modular del entorno es fundamental para alcanzar dichos objetivos. Todos los planteamientos teóricos expuestos en esta Tesis se han materializado en las correspondientes aplicaciones informáticas que se han validado como herramientas de desarrollo en la creación de grandes entornos virtuales de simuladores actualmente en funcionamiento, como los de Metro de Madrid de las series 7000, 8000, 3000, 9000 y Citadis y en otros experimentales donde también se han implementado los criterios y resultados perceptivos que optimizan estos simuladores.

Grafos y diseño arquitectónico

La Teoría de grafos, que en su origen fue una rama de la topología algebraica, es hoy en día una herramienta matemática utilizada en distintos campos. En este artículo se analizan diseños arquitectónicos con una óptica topológica, atendiendo a las conexiones de las distintas partes del proyecto que lo componen basadas en el uso, que se da a cada una de ellas, y se comparan los grafos asociados a distintas obras de arquitectura.

Modeling Piezoelectric Harvesting Materials in Road Traffic Applications.

En esta comunicación se presenta el método para obtener modelos equivalentes eléctricos de materiales piezoeléctricos utilizados en entornos con tráfico vial para aplicaciones "Energy Harvesting". Los resultados experimentales se procesan para determinar la estructura topológica óptima y la tecnología de los elementos semiconductores utilizados en la etapa de entrada del sistema de alimentación "harvesting". Asimismo se presenta el modelo de la fuente de alimentación no regulada bajo demanda variable de corriente. Abstract: The method to obtain electrical equivalent models of piezoelectric materials used in energy harvesting road traffic environment is presented in this paper. The experimental results are processed in order to determine the optimal topological structure and technology of the semiconductor elements used in the input stage of the power harvesting system. The non regulated power supply model under variable current demand is also presented.

VISIONS Vehicular communication Improvement : solution based on IMS Operational Nodes and Services

Digital services and communications in vehicular scenarios provide the essential assets to improve road transport in several ways like reducing accidents, improving traffic efficiency and optimizing the transport of goods and people. Vehicular communications typically rely on VANET (Vehicular Ad hoc Networks). In these networks vehicles communicate with each other without the need of infrastructure. VANET are mainly oriented to disseminate information to the vehicles in certain geographic area for time critical services like safety warnings but present very challenging requirements that have not been successfully fulfilled nowadays. Some of these challenges are; channel saturation due to simultaneous radio access of many vehicles, routing protocols in topologies that vary rapidly, minimum quality of service assurance and security mechanisms to efficiently detect and neutralize malicious attacks. Vehicular services can be classified in four important groups: Safety, Efficiency, Sustainability and Infotainment. The benefits of these services for the transport sector are clear but many technological and business challenges need to be faced before a real mass market deployment. Service delivery platforms are not prepared for fulfilling the needs of this complex environment with restrictive requirements due to the criticism of some services To overcome this situation, we propose a solution called VISIONS “Vehicular communication Improvement: Solution based on IMS Operational Nodes and Services”. VISIONS leverages on IMS subsystem and NGN enablers, and follows the CALM reference Architecture standardized by ISO. It also avoids the use of Road Side Units (RSUs), reducing complexity and high costs in terms of deployment and maintenance. We demonstrate the benefits in the following areas: 1. VANET networks efficiency. VISIONS provide a mechanism for the vehicles to access valuable information from IMS and its capabilities through a cellular channel. This efficiency improvement will occur in two relevant areas: a. Routing mechanisms. These protocols are responsible of carrying information from a vehicle to another (or a group of vehicles) using multihop mechanisms. We do not propose a new algorithm but the use of VANET topology information provided through our solution to enrich the performance of these protocols. b. Security. Many aspects of security (privacy, key, authentication, access control, revocation mechanisms, etc) are not resolved in vehicular communications. Our solution efficiently disseminates revocation information to neutralize malicious nodes in the VANET. 2. Service delivery platform. It is based on extended enablers, reference architectures, standard protocols and open APIs. By following this approach, we reduce costs and resources for service development, deployment and maintenance. To quantify these benefits in VANET networks, we provide an analytical model of the system and simulate our solution in realistic scenarios. The simulations results demonstrate how VISIONS improves the performance of relevant routing protocols and is more efficient neutralizing security attacks than the widely proposed solutions based on RSUs. Finally, we design an innovative Social Network service based in our platform, explaining how VISIONS facilitate the deployment and usage of complex capabilities. RESUMEN Los servicios digitales y comunicaciones en entornos vehiculares proporcionan herramientas esenciales para mejorar el transporte por carretera; reduciendo el número de accidentes, mejorando la eficiencia del tráfico y optimizando el transporte de mercancías y personas. Las comunicaciones vehiculares generalmente están basadas en redes VANET (Vehicular Ad hoc Networks). En dichas redes, los vehículos se comunican entre sí sin necesidad de infraestructura. Las redes VANET están principalmente orientadas a difundir información (por ejemplo advertencias de seguridad) a los vehículos en determinadas zonas geográficas, pero presentan unos requisitos muy exigentes que no se han resuelto con éxito hasta la fecha. Algunos de estos retos son; saturación del canal de acceso de radio debido al acceso simultáneo de múltiples vehículos, la eficiencia de protocolos de encaminamiento en topologías que varían rápidamente, la calidad de servicio (QoS) y los mecanismos de seguridad para detectar y neutralizar los ataques maliciosos de manera eficiente. Los servicios vehiculares pueden clasificarse en cuatro grupos: Seguridad, Eficiencia del tráfico, Sostenibilidad, e Infotainment (información y entretenimiento). Los beneficios de estos servicios para el sector son claros, pero es necesario resolver muchos desafíos tecnológicos y de negocio antes de una implementación real. Las actuales plataformas de despliegue de servicios no están preparadas para satisfacer las necesidades de este complejo entorno con requisitos muy restrictivos debido a la criticidad de algunas aplicaciones. Con el objetivo de mejorar esta situación, proponemos una solución llamada VISIONS “Vehicular communication Improvement: Solution based on IMS Operational Nodes and Services”. VISIONS se basa en el subsistema IMS, las capacidades NGN y es compatible con la arquitectura de referencia CALM estandarizado por ISO para sistemas de transporte. También evita el uso de elementos en las carreteras, conocidos como Road Side Units (RSU), reduciendo la complejidad y los altos costes de despliegue y mantenimiento. A lo largo de la tesis, demostramos los beneficios en las siguientes áreas: 1. Eficiencia en redes VANET. VISIONS proporciona un mecanismo para que los vehículos accedan a información valiosa proporcionada por IMS y sus capacidades a través de un canal de celular. Dicho mecanismo contribuye a la mejora de dos áreas importantes: a. Mecanismos de encaminamiento. Estos protocolos son responsables de llevar información de un vehículo a otro (o a un grupo de vehículos) utilizando múltiples saltos. No proponemos un nuevo algoritmo de encaminamiento, sino el uso de información topológica de la red VANET a través de nuestra solución para enriquecer el funcionamiento de los protocolos más relevantes. b. Seguridad. Muchos aspectos de la seguridad (privacidad, gestión de claves, autenticación, control de acceso, mecanismos de revocación, etc) no están resueltos en las comunicaciones vehiculares. Nuestra solución difunde de manera eficiente la información de revocación para neutralizar los nodos maliciosos en la red. 2. Plataforma de despliegue de servicios. Está basada en capacidades NGN, arquitecturas de referencia, protocolos estándar y APIs abiertos. Siguiendo este enfoque, reducimos costes y optimizamos procesos para el desarrollo, despliegue y mantenimiento de servicios vehiculares. Para cuantificar estos beneficios en las redes VANET, ofrecemos un modelo de analítico del sistema y simulamos nuestra solución en escenarios realistas. Los resultados de las simulaciones muestran cómo VISIONS mejora el rendimiento de los protocolos de encaminamiento relevantes y neutraliza los ataques a la seguridad de forma más eficientes que las soluciones basadas en RSU. Por último, diseñamos un innovador servicio de red social basado en nuestra plataforma, explicando cómo VISIONS facilita el despliegue y el uso de las capacidades NGN.

Simulación en tiempo real de vehículos industriales con modelos multicuerpo de gran complejidad

El objetivo de esta Tesis ha sido la consecución de simulaciones en tiempo real de vehículos industriales modelizados como sistemas multicuerpo complejos formados por sólidos rígidos. Para el desarrollo de un programa de simulación deben considerarse cuatro aspectos fundamentales: la modelización del sistema multicuerpo (tipos de coordenadas, pares ideales o impuestos mediante fuerzas), la formulación a utilizar para plantear las ecuaciones diferenciales del movimiento (coordenadas dependientes o independientes, métodos globales o topológicos, forma de imponer las ecuaciones de restricción), el método de integración numérica para resolver estas ecuaciones en el tiempo (integradores explícitos o implícitos) y finalmente los detalles de la implementación realizada (lenguaje de programación, librerías matemáticas, técnicas de paralelización). Estas cuatro etapas están interrelacionadas entre sí y todas han formado parte de este trabajo. Desde la generación de modelos de una furgoneta y de camión con semirremolque, el uso de tres formulaciones dinámicas diferentes, la integración de las ecuaciones diferenciales del movimiento mediante métodos explícitos e implícitos, hasta el uso de funciones BLAS, de técnicas de matrices sparse y la introducción de paralelización para utilizar los distintos núcleos del procesador. El trabajo presentado en esta Tesis ha sido organizado en 8 capítulos, dedicándose el primero de ellos a la Introducción. En el Capítulo 2 se presentan dos formulaciones semirrecursivas diferentes, de las cuales la primera está basada en una doble transformación de velocidades, obteniéndose las ecuaciones diferenciales del movimiento en función de las aceleraciones relativas independientes. La integración numérica de estas ecuaciones se ha realizado con el método de Runge-Kutta explícito de cuarto orden. La segunda formulación está basada en coordenadas relativas dependientes, imponiendo las restricciones por medio de penalizadores en posición y corrigiendo las velocidades y aceleraciones mediante métodos de proyección. En este segundo caso la integración de las ecuaciones del movimiento se ha llevado a cabo mediante el integrador implícito HHT (Hilber, Hughes and Taylor), perteneciente a la familia de integradores estructurales de Newmark. En el Capítulo 3 se introduce la tercera formulación utilizada en esta Tesis. En este caso las uniones entre los sólidos del sistema se ha realizado mediante uniones flexibles, lo que obliga a imponer los pares por medio de fuerzas. Este tipo de uniones impide trabajar con coordenadas relativas, por lo que la posición del sistema y el planteamiento de las ecuaciones del movimiento se ha realizado utilizando coordenadas Cartesianas y parámetros de Euler. En esta formulación global se introducen las restricciones mediante fuerzas (con un planteamiento similar al de los penalizadores) y la estabilización del proceso de integración numérica se realiza también mediante proyecciones de velocidades y aceleraciones. En el Capítulo 4 se presenta una revisión de las principales herramientas y estrategias utilizadas para aumentar la eficiencia de las implementaciones de los distintos algoritmos. En primer lugar se incluye una serie de consideraciones básicas para aumentar la eficiencia numérica de las implementaciones. A continuación se mencionan las principales características de los analizadores de códigos utilizados y también las librerías matemáticas utilizadas para resolver los problemas de álgebra lineal tanto con matrices densas como sparse. Por último se desarrolla con un cierto detalle el tema de la paralelización en los actuales procesadores de varios núcleos, describiendo para ello el patrón empleado y las características más importantes de las dos herramientas propuestas, OpenMP y las TBB de Intel. Hay que señalar que las características de los sistemas multicuerpo problemas de pequeño tamaño, frecuente uso de la recursividad, y repetición intensiva en el tiempo de los cálculos con fuerte dependencia de los resultados anteriores dificultan extraordinariamente el uso de técnicas de paralelización frente a otras áreas de la mecánica computacional, tales como por ejemplo el cálculo por elementos finitos. Basándose en los conceptos mencionados en el Capítulo 4, el Capítulo 5 está dividido en tres secciones, una para cada formulación propuesta en esta Tesis. En cada una de estas secciones se describen los detalles de cómo se han realizado las distintas implementaciones propuestas para cada algoritmo y qué herramientas se han utilizado para ello. En la primera sección se muestra el uso de librerías numéricas para matrices densas y sparse en la formulación topológica semirrecursiva basada en la doble transformación de velocidades. En la segunda se describe la utilización de paralelización mediante OpenMP y TBB en la formulación semirrecursiva con penalizadores y proyecciones. Por último, se describe el uso de técnicas de matrices sparse y paralelización en la formulación global con uniones flexibles y parámetros de Euler. El Capítulo 6 describe los resultados alcanzados mediante las formulaciones e implementaciones descritas previamente. Este capítulo comienza con una descripción de la modelización y topología de los dos vehículos estudiados. El primer modelo es un vehículo de dos ejes del tipo chasis-cabina o furgoneta, perteneciente a la gama de vehículos de carga medianos. El segundo es un vehículo de cinco ejes que responde al modelo de un camión o cabina con semirremolque, perteneciente a la categoría de vehículos industriales pesados. En este capítulo además se realiza un estudio comparativo entre las simulaciones de estos vehículos con cada una de las formulaciones utilizadas y se presentan de modo cuantitativo los efectos de las mejoras alcanzadas con las distintas estrategias propuestas en esta Tesis. Con objeto de extraer conclusiones más fácilmente y para evaluar de un modo más objetivo las mejoras introducidas en la Tesis, todos los resultados de este capítulo se han obtenido con el mismo computador, que era el top de la gama Intel Xeon en 2007, pero que hoy día está ya algo obsoleto. Por último los Capítulos 7 y 8 están dedicados a las conclusiones finales y las futuras líneas de investigación que pueden derivar del trabajo realizado en esta Tesis. Los objetivos de realizar simulaciones en tiempo real de vehículos industriales de gran complejidad han sido alcanzados con varias de las formulaciones e implementaciones desarrolladas. ABSTRACT The objective of this Dissertation has been the achievement of real time simulations of industrial vehicles modeled as complex multibody systems made up by rigid bodies. For the development of a simulation program, four main aspects must be considered: the modeling of the multibody system (types of coordinates, ideal joints or imposed by means of forces), the formulation to be used to set the differential equations of motion (dependent or independent coordinates, global or topological methods, ways to impose constraints equations), the method of numerical integration to solve these equations in time (explicit or implicit integrators) and the details of the implementation carried out (programming language, mathematical libraries, parallelization techniques). These four stages are interrelated and all of them are part of this work. They involve the generation of models for a van and a semitrailer truck, the use of three different dynamic formulations, the integration of differential equations of motion through explicit and implicit methods, the use of BLAS functions and sparse matrix techniques, and the introduction of parallelization to use the different processor cores. The work presented in this Dissertation has been structured in eight chapters, the first of them being the Introduction. In Chapter 2, two different semi-recursive formulations are shown, of which the first one is based on a double velocity transformation, thus getting the differential equations of motion as a function of the independent relative accelerations. The numerical integration of these equations has been made with the Runge-Kutta explicit method of fourth order. The second formulation is based on dependent relative coordinates, imposing the constraints by means of position penalty coefficients and correcting the velocities and accelerations by projection methods. In this second case, the integration of the motion equations has been carried out by means of the HHT implicit integrator (Hilber, Hughes and Taylor), which belongs to the Newmark structural integrators family. In Chapter 3, the third formulation used in this Dissertation is presented. In this case, the joints between the bodies of the system have been considered as flexible joints, with forces used to impose the joint conditions. This kind of union hinders to work with relative coordinates, so the position of the system bodies and the setting of the equations of motion have been carried out using Cartesian coordinates and Euler parameters. In this global formulation, constraints are introduced through forces (with a similar approach to the penalty coefficients) are presented. The stabilization of the numerical integration is carried out also by velocity and accelerations projections. In Chapter 4, a revision of the main computer tools and strategies used to increase the efficiency of the implementations of the algorithms is presented. First of all, some basic considerations to increase the numerical efficiency of the implementations are included. Then the main characteristics of the code’ analyzers used and also the mathematical libraries used to solve linear algebra problems (both with dense and sparse matrices) are mentioned. Finally, the topic of parallelization in current multicore processors is developed thoroughly. For that, the pattern used and the most important characteristics of the tools proposed, OpenMP and Intel TBB, are described. It needs to be highlighted that the characteristics of multibody systems small size problems, frequent recursion use and intensive repetition along the time of the calculation with high dependencies of the previous results complicate extraordinarily the use of parallelization techniques against other computational mechanics areas, as the finite elements computation. Based on the concepts mentioned in Chapter 4, Chapter 5 is divided into three sections, one for each formulation proposed in this Dissertation. In each one of these sections, the details of how these different proposed implementations have been made for each algorithm and which tools have been used are described. In the first section, it is shown the use of numerical libraries for dense and sparse matrices in the semirecursive topological formulation based in the double velocity transformation. In the second one, the use of parallelization by means OpenMP and TBB is depicted in the semi-recursive formulation with penalization and projections. Lastly, the use of sparse matrices and parallelization techniques is described in the global formulation with flexible joints and Euler parameters. Chapter 6 depicts the achieved results through the formulations and implementations previously described. This chapter starts with a description of the modeling and topology of the two vehicles studied. The first model is a two-axle chassis-cabin or van like vehicle, which belongs to the range of medium charge vehicles. The second one is a five-axle vehicle belonging to the truck or cabin semi-trailer model, belonging to the heavy industrial vehicles category. In this chapter, a comparative study is done between the simulations of these vehicles with each one of the formulations used and the improvements achieved are presented in a quantitative way with the different strategies proposed in this Dissertation. With the aim of deducing the conclusions more easily and to evaluate in a more objective way the improvements introduced in the Dissertation, all the results of this chapter have been obtained with the same computer, which was the top one among the Intel Xeon range in 2007, but which is rather obsolete today. Finally, Chapters 7 and 8 are dedicated to the final conclusions and the future research projects that can be derived from the work presented in this Dissertation. The objectives of doing real time simulations in high complex industrial vehicles have been achieved with the formulations and implementations developed.

Higher-order regularization and morphological techniques for image segmentation

La segmentación de imágenes es un campo importante de la visión computacional y una de las áreas de investigación más activas, con aplicaciones en comprensión de imágenes, detección de objetos, reconocimiento facial, vigilancia de vídeo o procesamiento de imagen médica. La segmentación de imágenes es un problema difícil en general, pero especialmente en entornos científicos y biomédicos, donde las técnicas de adquisición imagen proporcionan imágenes ruidosas. Además, en muchos de estos casos se necesita una precisión casi perfecta. En esta tesis, revisamos y comparamos primero algunas de las técnicas ampliamente usadas para la segmentación de imágenes médicas. Estas técnicas usan clasificadores a nivel de pixel e introducen regularización sobre pares de píxeles que es normalmente insuficiente. Estudiamos las dificultades que presentan para capturar la información de alto nivel sobre los objetos a segmentar. Esta deficiencia da lugar a detecciones erróneas, bordes irregulares, configuraciones con topología errónea y formas inválidas. Para solucionar estos problemas, proponemos un nuevo método de regularización de alto nivel que aprende información topológica y de forma a partir de los datos de entrenamiento de una forma no paramétrica usando potenciales de orden superior. Los potenciales de orden superior se están popularizando en visión por computador, pero la representación exacta de un potencial de orden superior definido sobre muchas variables es computacionalmente inviable. Usamos una representación compacta de los potenciales basada en un conjunto finito de patrones aprendidos de los datos de entrenamiento que, a su vez, depende de las observaciones. Gracias a esta representación, los potenciales de orden superior pueden ser convertidos a potenciales de orden 2 con algunas variables auxiliares añadidas. Experimentos con imágenes reales y sintéticas confirman que nuestro modelo soluciona los errores de aproximaciones más débiles. Incluso con una regularización de alto nivel, una precisión exacta es inalcanzable, y se requeire de edición manual de los resultados de la segmentación automática. La edición manual es tediosa y pesada, y cualquier herramienta de ayuda es muy apreciada. Estas herramientas necesitan ser precisas, pero también lo suficientemente rápidas para ser usadas de forma interactiva. Los contornos activos son una buena solución: son buenos para detecciones precisas de fronteras y, en lugar de buscar una solución global, proporcionan un ajuste fino a resultados que ya existían previamente. Sin embargo, requieren una representación implícita que les permita trabajar con cambios topológicos del contorno, y esto da lugar a ecuaciones en derivadas parciales (EDP) que son costosas de resolver computacionalmente y pueden presentar problemas de estabilidad numérica. Presentamos una aproximación morfológica a la evolución de contornos basada en un nuevo operador morfológico de curvatura que es válido para superficies de cualquier dimensión. Aproximamos la solución numérica de la EDP de la evolución de contorno mediante la aplicación sucesiva de un conjunto de operadores morfológicos aplicados sobre una función de conjuntos de nivel. Estos operadores son muy rápidos, no sufren de problemas de estabilidad numérica y no degradan la función de los conjuntos de nivel, de modo que no hay necesidad de reinicializarlo. Además, su implementación es mucho más sencilla que la de las EDP, ya que no requieren usar sofisticados algoritmos numéricos. Desde un punto de vista teórico, profundizamos en las conexiones entre operadores morfológicos y diferenciales, e introducimos nuevos resultados en este área. Validamos nuestra aproximación proporcionando una implementación morfológica de los contornos geodésicos activos, los contornos activos sin bordes, y los turbopíxeles. En los experimentos realizados, las implementaciones morfológicas convergen a soluciones equivalentes a aquéllas logradas mediante soluciones numéricas tradicionales, pero con ganancias significativas en simplicidad, velocidad y estabilidad. ABSTRACT Image segmentation is an important field in computer vision and one of its most active research areas, with applications in image understanding, object detection, face recognition, video surveillance or medical image processing. Image segmentation is a challenging problem in general, but especially in the biological and medical image fields, where the imaging techniques usually produce cluttered and noisy images and near-perfect accuracy is required in many cases. In this thesis we first review and compare some standard techniques widely used for medical image segmentation. These techniques use pixel-wise classifiers and introduce weak pairwise regularization which is insufficient in many cases. We study their difficulties to capture high-level structural information about the objects to segment. This deficiency leads to many erroneous detections, ragged boundaries, incorrect topological configurations and wrong shapes. To deal with these problems, we propose a new regularization method that learns shape and topological information from training data in a nonparametric way using high-order potentials. High-order potentials are becoming increasingly popular in computer vision. However, the exact representation of a general higher order potential defined over many variables is computationally infeasible. We use a compact representation of the potentials based on a finite set of patterns learned fromtraining data that, in turn, depends on the observations. Thanks to this representation, high-order potentials can be converted into pairwise potentials with some added auxiliary variables and minimized with tree-reweighted message passing (TRW) and belief propagation (BP) techniques. Both synthetic and real experiments confirm that our model fixes the errors of weaker approaches. Even with high-level regularization, perfect accuracy is still unattainable, and human editing of the segmentation results is necessary. The manual edition is tedious and cumbersome, and tools that assist the user are greatly appreciated. These tools need to be precise, but also fast enough to be used in real-time. Active contours are a good solution: they are good for precise boundary detection and, instead of finding a global solution, they provide a fine tuning to previously existing results. However, they require an implicit representation to deal with topological changes of the contour, and this leads to PDEs that are computationally costly to solve and may present numerical stability issues. We present a morphological approach to contour evolution based on a new curvature morphological operator valid for surfaces of any dimension. We approximate the numerical solution of the contour evolution PDE by the successive application of a set of morphological operators defined on a binary level-set. These operators are very fast, do not suffer numerical stability issues, and do not degrade the level set function, so there is no need to reinitialize it. Moreover, their implementation is much easier than their PDE counterpart, since they do not require the use of sophisticated numerical algorithms. From a theoretical point of view, we delve into the connections between differential andmorphological operators, and introduce novel results in this area. We validate the approach providing amorphological implementation of the geodesic active contours, the active contours without borders, and turbopixels. In the experiments conducted, the morphological implementations converge to solutions equivalent to those achieved by traditional numerical solutions, but with significant gains in simplicity, speed, and stability.

Arquitectónica de la Ciudad Aumentada. Distensión, extensión, sintonización.

La emergencia del entorno aumentado, producto del solapamiento de la capa digital en el entorno físico, induce cambios profundos en la ciudad y en sus ciudadanos. La inserción de esta dimensión digital impone la modificación de los límites dicotómicos que tradicionalmente han segregado la estructura urbana. El usuario sintoniza la Ciudad Aumentada acomodando la estructura topológica de la nueva extensión electrónica a sus hábitos de vida. Este proceso de simbiosis de realidades produce nuevos paisajes urbanos cuya cartografía arquitectónica precisa de neologismos que acuñen y categoricen aquellos conceptos generados por la Ciudad Aumentada.