En esta tesis se ha presentado un nuevo modelo deformable (ParSys) que, al igual que otros modelos deformables, permite, de forma simple, la incorporación de elasticidad a los modelos geométricos sintéticos 3D. Este modelo, basado en volúmenes ligados, se ha centrado principalmente en la velocidad por encima de la precisión, aunque no se ha dejado de lado el comportamiento realista basado en parámetros físicos reales. ParSys ha intentado unir las ventajas de cada uno de los modelos deformables existentes, presentando las siguientes características principales: Es un modelo rápido de calcular. Casi tan rápido como los modelos deformables heurísticos más simples basados en el punto muelle. Permite la realización de cambios topológicos de forma sencilla. Los parámetros que gobiernan la deformación pueden estar basados en parámetros físicos reales, en concreto en el módulo de Young, al igual que los modelos basados en mecánica continua. Posee un comportamiento volumétrico, lo que permite un mayor realismo visual ante las deformaciones producidas. Puede obtener el sistema de partículas encargado de la deformación sin necesidad de conocer la estructura interna de los objetos. Estas características invitan a pensar que ParSys es un modelo ideal para su uso en entornos virtuales interactivos y, en particular, en entornos tan complejos como la simulación quirúrgica. / López Escobar, Ó. (2008). PaRSys: Un nuevo modelo deformable interactivo basado en sistemas de partículas [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2007 / Palancia

Los procesadores superescalares actuales utilizan un reorder buffer (ROB) para contabilizar las instrucciones en vuelo. El ROB se implementa como una cola FIFO first in first out en la que las instrucciones se insertan en orden de programa después de ser decodificadas, y de la que se extraen también en orden de programa en la etapa commit. El uso de esta estructura proporciona un soporte simple para la especulación, las excepciones precisas y la reclamación de registros. Sin embargo, el hecho de retirar instrucciones en orden puede degradar las prestaciones si una operación de alta latencia está bloqueando la cabecera del ROB. Varias propuestas se han publicado atacando este problema. La mayoría utiliza retirada de instrucciones fuera de orden de forma especulativa, requiriendo almacenar puntos de recuperación (checkpoints) para restaurar un estado válido del procesador ante un fallo de especulación. Normalmente, los checkpoints necesitan implementarse con estructuras hardware costosas, y además requieren un crecimiento de otras estructuras del procesador, lo cual a su vez puede impactar en el tiempo de ciclo de reloj. Este problema afecta a muchos tipos de procesadores actuales, independientemente del número de hilos hardware (threads) y del número de núcleos de cómputo (cores) que incluyan. Esta tesis abarca el estudio de la retirada no especulativa de instrucciones fuera de orden en procesadores superescalares, multithread y multicore. / Ubal Tena, R. (2010). Out-of-Order Retirement of Instructions in Superscalar, Multithreaded, and Multicore Processors [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8535 / Palancia

This dissertation is related to mathematical modelling of the spread of respiratory syncytial virus (RSV) in Valencia and is still causing a large number of hospitalizations of children in this community. A mathematical model based on a system of nonlinear differential equations of first order has been built. This model considers the population divided into two age groups to pay particular attention to children under one year who are the most affected by this disease. This model has been fitted with hospitalizations data of Valencia and has been used to perform a cost analysis of a potential vaccination strategy. We also propose a complete network model to study the seasonal evolution of RSV epidemics in which seasonal parameters were fitted with the previous continuous model. Both developments are contrasted. On the complete network model we propose a strategy for vaccination of children based on the administration of three doses, and develop a cost-effectiveness study for different vaccination rates. Finally we have defined a SIRS model for RSV epidemics on a random social network of contacts among individuals. In this model has not forced the seasonality. The seasonality arises naturally for certain values of the duration of immunity of a patient recovered, the number of contacts and the likelihood of infection from a contact in a day. In this social network model only a narrow range of parameters can support RSV epidemic seasons. / Moraño Fernández, JA. (2010). Mathematical modelling of Respiratory Syncytial Virus spread in the Spanish region of Valencia. Preventive applications [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8638 / Palancia

El confort del calzado es uno de los aspectos más importantes para los fabricantes y diseñadores de calzado ya que está directamente relacionado con el éxito en la venta del producto y con la salud del usuario. A pesar de ello, y por diversas causas, el análisis del confort que es capaz de proveer un diseño de calzado sigue siendo una asignatura pendiente del desarrollo del producto de las empresas, si es que se lleva a cabo. La causa principal es la ausencia de una herramienta capaz de llevar a cado un test de confort de manera fiable, rápida y abordable en materia de conocimiento y costes para las empresas. El objetivo principal de esta tesis es el desarrollo de una aplicación informática, fundamentada en modelos matemáticos asistidos por ordenador alimentados mediante datos reales, capaz de simular ensayos funcionales en diseños virtuales de calzado, y relacionar dichos resultados con la percepción del confort de los usuarios. Dicha herramienta permite detectar y eliminar errores en el diseño del calzado (que influyen en el confort) desde fases tempranas de desarrollo del producto, aumentando así el confort percibido por los usuarios del calzado, así como la eficacia del proceso de diseño. El trabajo ha tenido lugar en tres grandes bloques. En primer lugar se estudió la relación entre la percepción de las propiedades funcionales asociadas a la interacción usuario-calzado y el confort global percibido. Para ello se llevaron a cabo ensayos con maquinaria para caracterizar las propiedades del calzado y ensayos con usuarios para caracterizar su percepción a partir del uso del calzado. Este análisis permitió obtener un modelo del confort global a partir de las propiedades funcionales, además de identificar las propiedades funcionales relevantes en el confort. A continación se desarrollaron y validaron modelos virtuales de los ensayos de cuantificación de las propiedades funcionales capaces de evaluar el comportamiento de un calzado a partir de su diseño CAD. / Olaso Melis, J. (2010). Predicción del confort a partir de prototipos virtuales de calzado y modelos de ingeniería asistida por ordenador [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/7730 / Palancia

La convergencia de las telecomunicaciones, la informática, la tecnología inalámbrica y los sistemas de transporte, va a facilitar que nuestras carreteras y autopistas nos sirvan tanto como plataforma de transporte, como de comunicaciones. Estos cambios van a revolucionar completamente cómo y cuándo vamos a acceder a determinados servicios, comunicarnos, viajar, entretenernos, y navegar, en un futuro muy cercano. Las redes vehiculares ad hoc (vehicular ad hoc networks VANETs) son redes de comunicación inalámbricas que no requieren de ningún tipo de infraestructura, y que permiten la comunicación y conducción cooperativa entre los vehículos en la carretera. Los vehículos actúan como nodos de comunicación y transmisores, formando redes dinámicas junto a otros vehículos cercanos en entornos urbanos y autopistas. Las características especiales de las redes vehiculares favorecen el desarrollo de servicios y aplicaciones atractivas y desafiantes. En esta tesis nos centramos en las aplicaciones relacionadas con la seguridad. Específicamente, desarrollamos y evaluamos un novedoso protocol que mejora la seguridad en las carreteras. Nuestra propuesta combina el uso de información de la localización de los vehículos y las características del mapa del escenario, para mejorar la diseminación de los mensajes de alerta. En las aplicaciones de seguridad para redes vehiculares, nuestra propuesta permite reducir el problema de las tormentas de difusión, mientras que se mantiene una alta efectividad en la diseminación de los mensajes hacia los vehículos cercanos. Debido a que desplegar y evaluar redes VANET supone un gran coste y una tarea dura, la metodología basada en la simulación se muestra como una metodología alternativa a la implementación real. A diferencia de otros trabajos previos, con el fin de evaluar nuestra propuesta en un entorno realista, en nuestras simulaciones tenemos muy en cuenta tanto la movilidad de los vehículos, como la transmisión de radio en entornos urbanos, especialmente cuando los edificios interfieren en la propagación de la señal de radio. Con este propósito, desarrollamos herramientas para la simulación de VANETs más precisas y realistas, mejorando tanto la modelización de la propagación de radio, como la movilidad de los vehículos, obteniendo una solución que permite integrar mapas reales en el entorno de simulación. Finalmente, evaluamos las prestaciones de nuestro protocolo propuesto haciendo uso de nuestra plataforma de simulación mejorada, evidenciando la importancia del uso de un entorno de simulación adecuado para conseguir resultados más realistas y poder obtener conclusiones más significativas. / Martínez Domínguez, FJ. (2010). Improving Vehicular ad hoc Network Protocols to Support Safety Applications in Realistic Scenarios [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/9195 / Palancia

Cache coherence protocols based on tokens can provide low latency without relying on non-scalable interconnects thanks to the use of efficient requests that are unordered. However, when these unordered requests contend for the same memory block, they may cause protocols races. To resolve the races and ensure the completion of all the cache misses, token protocols use a starvation prevention mechanism that is inefficient and non-scalable in terms of required storage structures and generated traffic. Besides, token protocols use non-silent invalidations which increase the latency of write misses proportionally to the system size. All these problems make token protocols non-scalable. To overcome the main problems of token protocols and increase their scalability, we propose a new starvation prevention mechanism named Priority Requests. This mechanism resolves contention by an efficient, elegant, and flexible method based on ordered requests. Furthermore, thanks to Priority Requests, efficient techniques can be applied to limit the storage requirements of the starvation prevention mechanism, to reduce the total traffic generated for managing protocol races, and to reduce the latency of write misses. Thus, the main problems of token protocols can be solved, which, in turn, contributes to wide their efficiency and scalability. / Cuesta Sáez, BA. (2009). Efficient techniques to provide scalability for token-based cache coherence protocols [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/6024 / Palancia