Influence of body weight support on wearable devices reproducing normal gait

Oral presentation en ESMAC 2015

Diseño e implementación de funcionalidades OpenMP, basadas en modelos de concurrencia desarrollados en lenguaje Go

A raíz de la aparición de los procesadores dotados de varios “cores”, la programación paralela, un concepto que, por otra parte no era nada nuevo y se conocía desde hace décadas, sufrió un nuevo impulso, pues se creía que se podía superar el techo tecnológico que había estado limitando el rendimiento de esta programación durante años. Este impulso se ha ido manteniendo hasta la actualidad, movido por la necesidad de sistemas cada vez más potentes y gracias al abaratamiento de los costes de fabricación. Esta tendencia ha motivado la aparición de nuevo software y lenguajes con componentes orientados precisamente al campo de la programación paralela. Este es el caso del lenguaje Go, desarrollado por Google y lanzado en 2009. Este lenguaje se basa en modelos de concurrencia que lo hacen muy adecuados para abordar desarrollos de naturaleza paralela. Sin embargo, la programación paralela es un campo complejo y heterogéneo, y los programadores son reticentes a utilizar herramientas nuevas, en beneficio de aquellas que ya conocen y les son familiares. Un buen ejemplo son aquellas implementaciones de lenguajes conocidos, pero orientadas a programación paralela, y que siguen las directrices de un estándar ampliamente reconocido y aceptado. Este es el caso del estándar OpenMP, un Interfaz de Programación de Aplicaciones (API) flexible, portable y escalable, orientado a la programación paralela multiproceso en arquitecturas multi-core o multinucleo. Dicho estándar posee actualmente implementaciones en los lenguajes C, C++ y Fortran. Este proyecto nace como un intento de aunar ambos conceptos: un lenguaje emergente con interesantes posibilidades en el campo de la programación paralela, y un estándar reputado y ampliamente extendido, con el que los programadores se encuentran familiarizados. El objetivo principal es el desarrollo de un conjunto de librerías del sistema (que engloben directivas de compilación o pragmas, librerías de ejecución y variables de entorno), soportadas por las características y los modelos de concurrencia propios de Go; y que añadan funcionalidades propias del estándar OpenMP. La idea es añadir funcionalidades que permitan programar en lenguaje Go utilizando la sintaxis que OpenMP proporciona para otros lenguajes, como Fortan y C/C++ (concretamente, similar a esta última), y, de esta forma, dotar al usuario de Go de herramientas para programar estructuras de procesamiento paralelo de forma sencilla y transparente, de la misma manera que lo haría utilizando C/C++.---ABSTRACT---As a result of the appearance of processors equipped with multiple "cores ", parallel programming, a concept which, moreover, it was not new and it was known for decades, suffered a new impulse, because it was believed they could overcome the technological ceiling had been limiting the performance of this program for years. This impulse has been maintained until today, driven by the need for ever more powerful systems and thanks to the decrease in manufacturing costs. This trend has led to the emergence of new software and languages with components guided specifically to the field of parallel programming. This is the case of Go language, developed by Google and released in 2009. This language is based on concurrency models that make it well suited to tackle developments in parallel nature. However, parallel programming is a complex and heterogeneous field, and developers are reluctant to use new tools to benefit those who already know and are familiar. A good example are those implementations from well-known languages, but parallel programming oriented, and witch follow the guidelines of a standard widely recognized and accepted. This is the case of the OpenMP standard, an application programming interface (API), flexible, portable and scalable, parallel programming oriented, and designed for multi-core architectures. This standard currently has implementations in C, C ++ and Fortran. This project was born as an attempt to combine two concepts: an emerging language, with interesting possibilities in the field of parallel programming, and a reputed and widespread standard, with which programmers are familiar with. The main objective is to develop a set of system libraries (which includes compiler directives or pragmas, runtime libraries and environment variables), supported by the characteristics and concurrency patterns of Go; and that add custom features from the OpenMP standard. The idea is to add features that allow programming in Go language using the syntax OpenMP provides for other languages, like Fortran and C / C ++ (specifically, similar to the latter ), and, in this way, provide Go users with tools for programming parallel structures easily and, in the same way they would using C / C ++.

[Comentario al proyecto de Enrique Lantero y Damián Galmés sobre urbanización en] Mallorca

[Comentario al proyecto de Enrique Lantero y Damián Galmés sobre urbanización en] Mallorca

Propuesta metodológica para la enseñanza del estilo crol

Este proyecto tiene como objetivo principal dar un servicio de calidad a todos los usuarios de la instalación Severiano Ballesteros (Getafe), gestionada por Serviocio S.L., debido a la competencia de otras piscinas de la zona. Este trabajo se ha dividido en dos partes bien diferenciadas: La primera, de carácter teórico (revisión bibliográfica), que trata de orientar al monitor o profesor de natación cómo enfocar las clases, basándose en la técnica y metodología (siempre enfocada a la natación) que nos aportan numerosos autores. Y conocer en todo momento los ámbitos de aplicación de este proyecto sabiendo actuar en cada situación. La segunda parte, muestra el diseño de una programación de tres meses de trabajo, tanto de los alumnos como del profesor, para aprender o perfeccionar el estilo de crol, explicando detalladamente el método que se ha establecido y su posterior puesta en práctica con un grupo de trabajo estableciendo una evaluación y conocimiento de resultados para apoyar firmemente el aprendizaje de los alumnos. Por último, se ha establecido un apartado de anexos donde se pueden observar los vídeos que se han grabado a cada uno de los alumnos y alguna información adicional que sirva de complemento al proyecto y de ayuda para el lector.

Planificación de un equipo de voleibol masculino de alto rendimiento: Mesociclo de la fase final de playoffs

Este trabajo intenta unificar gran parte de los conocimientos adquiridos durante los estudios de Grado en Ciencias del Deporte aplicándolos de forma teórica en la realización de una planificación. Se trata de, una vez conocidos los datos necesarios para definir el contexto en el que se encuentra un equipo, esgrimir un plan de acción realista teniendo en cuenta el modelo de competición actual en los deportes colectivos. El trabajo está enfocado en concreto al mesociclo en el que se disputan los títulos nacionales, pero también pretende aclarar los objetivos del entrenamiento durante las demás fases de la temporada.

Análisis de las tecnologías de accionamiento en la compresión del gas natural y su aplicación a una estación de compresión

Este proyecto consiste en el análisis de las técnicas de compresión de gas natural, tanto técnica como económicamente, así como el diseño de la estación de compresión localizada en Irún, provincia de Guipúzcoa, con la mejor opción. El proyecto define el interés de este tipo de instalaciones, su funcionamiento, detalla los distintos sistemas de los que consta la estación de compresión y estudia la rentabilidad económica en base al presupuesto de la instalación y a la retribución de las actividades reguladas del sector gasista. Los distintos sistemas de los que consta la estación de compresión, y que forman parte del contenido del proyecto son, todos los necesarios para el funcionamiento de la estación: sistemas mecánicos, instrumentación y control, obra civil y sistemas auxiliares (sistemas eléctricos, de seguridad y antiintrusión).

Preparación física aplicada al baloncesto y diseño de un programa de entrenamiento para un período de transición

Este trabajo tiene como objetivo principal el de proporcionar una buena base teórica para realizar el entrenamiento de preparación física en jugadores de baloncesto de alto rendimiento. Se ha dividido el trabajo en dos partes bien diferenciadas. La primera parte trata de una revisión bibliográfica en torno a las demandas fisiológicas y características condicionales del baloncesto. La segunda parte, muestra el diseño de un programa de entrenamiento para un periodo de transición, propuesto para un jugador profesional de baloncesto. Por último, se muestra un apartado de anexos, donde consultar tablas y datos, y el apartado de la bibliografía utilizada para la elaboración de este trabajo.

Propuesta metodológica del entrenamiento específico de desplazamientos en baloncesto

Los desplazamientos deben formar parte del entrenamiento para alcanzar un rendimiento óptimo en cualquier deporte. En baloncesto, un buen trabajo de cambios de dirección, equilibrio y cambios de ritmo, puede hacer que nuestros desplazamientos alcancen gran efectividad. Se buscó una metodología de desplazamientos existente tanto en baloncesto como en otros deportes, y no se encontró. El objetivo del trabajo fue proponer una metodología de entrenamiento específico de desplazamientos, debido a que éstos nos parecen parte importante del rendimiento en dicho deporte.

Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures

El uso de aritmética de punto fijo es una opción de diseño muy extendida en sistemas con fuertes restricciones de área, consumo o rendimiento. Para producir implementaciones donde los costes se minimicen sin impactar negativamente en la precisión de los resultados debemos llevar a cabo una asignación cuidadosa de anchuras de palabra. Encontrar la combinación óptima de anchuras de palabra en coma fija para un sistema dado es un problema combinatorio NP-hard al que los diseñadores dedican entre el 25 y el 50 % del ciclo de diseño. Las plataformas hardware reconfigurables, como son las FPGAs, también se benefician de las ventajas que ofrece la aritmética de coma fija, ya que éstas compensan las frecuencias de reloj más bajas y el uso más ineficiente del hardware que hacen estas plataformas respecto a los ASICs. A medida que las FPGAs se popularizan para su uso en computación científica los diseños aumentan de tamaño y complejidad hasta llegar al punto en que no pueden ser manejados eficientemente por las técnicas actuales de modelado de señal y ruido de cuantificación y de optimización de anchura de palabra. En esta Tesis Doctoral exploramos distintos aspectos del problema de la cuantificación y presentamos nuevas metodologías para cada uno de ellos: Las técnicas basadas en extensiones de intervalos han permitido obtener modelos de propagación de señal y ruido de cuantificación muy precisos en sistemas con operaciones no lineales. Nosotros llevamos esta aproximación un paso más allá introduciendo elementos de Multi-Element Generalized Polynomial Chaos (ME-gPC) y combinándolos con una técnica moderna basada en Modified Affine Arithmetic (MAA) estadístico para así modelar sistemas que contienen estructuras de control de flujo. Nuestra metodología genera los distintos caminos de ejecución automáticamente, determina las regiones del dominio de entrada que ejercitarán cada uno de ellos y extrae los momentos estadísticos del sistema a partir de dichas soluciones parciales. Utilizamos esta técnica para estimar tanto el rango dinámico como el ruido de redondeo en sistemas con las ya mencionadas estructuras de control de flujo y mostramos la precisión de nuestra aproximación, que en determinados casos de uso con operadores no lineales llega a tener tan solo una desviación del 0.04% con respecto a los valores de referencia obtenidos mediante simulación. Un inconveniente conocido de las técnicas basadas en extensiones de intervalos es la explosión combinacional de términos a medida que el tamaño de los sistemas a estudiar crece, lo cual conlleva problemas de escalabilidad. Para afrontar este problema presen tamos una técnica de inyección de ruidos agrupados que hace grupos con las señales del sistema, introduce las fuentes de ruido para cada uno de los grupos por separado y finalmente combina los resultados de cada uno de ellos. De esta forma, el número de fuentes de ruido queda controlado en cada momento y, debido a ello, la explosión combinatoria se minimiza. También presentamos un algoritmo de particionado multi-vía destinado a minimizar la desviación de los resultados a causa de la pérdida de correlación entre términos de ruido con el objetivo de mantener los resultados tan precisos como sea posible. La presente Tesis Doctoral también aborda el desarrollo de metodologías de optimización de anchura de palabra basadas en simulaciones de Monte-Cario que se ejecuten en tiempos razonables. Para ello presentamos dos nuevas técnicas que exploran la reducción del tiempo de ejecución desde distintos ángulos: En primer lugar, el método interpolativo aplica un interpolador sencillo pero preciso para estimar la sensibilidad de cada señal, y que es usado después durante la etapa de optimización. En segundo lugar, el método incremental gira en torno al hecho de que, aunque es estrictamente necesario mantener un intervalo de confianza dado para los resultados finales de nuestra búsqueda, podemos emplear niveles de confianza más relajados, lo cual deriva en un menor número de pruebas por simulación, en las etapas iniciales de la búsqueda, cuando todavía estamos lejos de las soluciones optimizadas. Mediante estas dos aproximaciones demostramos que podemos acelerar el tiempo de ejecución de los algoritmos clásicos de búsqueda voraz en factores de hasta x240 para problemas de tamaño pequeño/mediano. Finalmente, este libro presenta HOPLITE, una infraestructura de cuantificación automatizada, flexible y modular que incluye la implementación de las técnicas anteriores y se proporciona de forma pública. Su objetivo es ofrecer a desabolladores e investigadores un entorno común para prototipar y verificar nuevas metodologías de cuantificación de forma sencilla. Describimos el flujo de trabajo, justificamos las decisiones de diseño tomadas, explicamos su API pública y hacemos una demostración paso a paso de su funcionamiento. Además mostramos, a través de un ejemplo sencillo, la forma en que conectar nuevas extensiones a la herramienta con las interfaces ya existentes para poder así expandir y mejorar las capacidades de HOPLITE. ABSTRACT Using fixed-point arithmetic is one of the most common design choices for systems where area, power or throughput are heavily constrained. In order to produce implementations where the cost is minimized without negatively impacting the accuracy of the results, a careful assignment of word-lengths is required. The problem of finding the optimal combination of fixed-point word-lengths for a given system is a combinatorial NP-hard problem to which developers devote between 25 and 50% of the design-cycle time. Reconfigurable hardware platforms such as FPGAs also benefit of the advantages of fixed-point arithmetic, as it compensates for the slower clock frequencies and less efficient area utilization of the hardware platform with respect to ASICs. As FPGAs become commonly used for scientific computation, designs constantly grow larger and more complex, up to the point where they cannot be handled efficiently by current signal and quantization noise modelling and word-length optimization methodologies. In this Ph.D. Thesis we explore different aspects of the quantization problem and we present new methodologies for each of them: The techniques based on extensions of intervals have allowed to obtain accurate models of the signal and quantization noise propagation in systems with non-linear operations. We take this approach a step further by introducing elements of MultiElement Generalized Polynomial Chaos (ME-gPC) and combining them with an stateof- the-art Statistical Modified Affine Arithmetic (MAA) based methodology in order to model systems that contain control-flow structures. Our methodology produces the different execution paths automatically, determines the regions of the input domain that will exercise them, and extracts the system statistical moments from the partial results. We use this technique to estimate both the dynamic range and the round-off noise in systems with the aforementioned control-flow structures. We show the good accuracy of our approach, which in some case studies with non-linear operators shows a 0.04 % deviation respect to the simulation-based reference values. A known drawback of the techniques based on extensions of intervals is the combinatorial explosion of terms as the size of the targeted systems grows, which leads to scalability problems. To address this issue we present a clustered noise injection technique that groups the signals in the system, introduces the noise terms in each group independently and then combines the results at the end. In this way, the number of noise sources in the system at a given time is controlled and, because of this, the combinato rial explosion is minimized. We also present a multi-way partitioning algorithm aimed at minimizing the deviation of the results due to the loss of correlation between noise terms, in order to keep the results as accurate as possible. This Ph.D. Thesis also covers the development of methodologies for word-length optimization based on Monte-Carlo simulations in reasonable times. We do so by presenting two novel techniques that explore the reduction of the execution times approaching the problem in two different ways: First, the interpolative method applies a simple but precise interpolator to estimate the sensitivity of each signal, which is later used to guide the optimization effort. Second, the incremental method revolves on the fact that, although we strictly need to guarantee a certain confidence level in the simulations for the final results of the optimization process, we can do it with more relaxed levels, which in turn implies using a considerably smaller amount of samples, in the initial stages of the process, when we are still far from the optimized solution. Through these two approaches we demonstrate that the execution time of classical greedy techniques can be accelerated by factors of up to ×240 for small/medium sized problems. Finally, this book introduces HOPLITE, an automated, flexible and modular framework for quantization that includes the implementation of the previous techniques and is provided for public access. The aim is to offer a common ground for developers and researches for prototyping and verifying new techniques for system modelling and word-length optimization easily. We describe its work flow, justifying the taken design decisions, explain its public API and we do a step-by-step demonstration of its execution. We also show, through an example, the way new extensions to the flow should be connected to the existing interfaces in order to expand and improve the capabilities of HOPLITE.

Utilización de la herramienta Speed Court para la valoración del rendimiento en porteros de fútbol

Con el objetivo de valorar la efectividad de la técnica de desplazamiento en porteros de fútbol y la velocidad de movimiento, se realizó un estudio con 9 porteros de fútbol juveniles de alto nivel de la cantera de un equipo de la primera división española. Se ha pretendido apoyar el trabajo del cuerpo técnico. Se realizaron tres tests, un primer Test y un Re-test para validar los datos y un Post-Test para ver la evolución de los jugadores a las seis semanas. Durante esas seis semanas, un sujeto entrenó en la herramienta de valoración. El material utilizado fue la herramienta Speed-Court. Los resultados mostraron que la técnica de desplazamiento libre siempre es más eficiente en dichos tests y que los jugadores mejoraron en uno de los test tras seis semanas de entrenamiento. El jugador que entrenó durante las seis semanas mejoró todos los resultados salvo en la técnica de portero desde atrás.

Marina en Essaouria

El objeto del presente Proyecto de Construcción es el diseño, cálculo y valoración de un puerto deportivo en la ciudad de Essaouira, en Marruecos. La ciudad de Essaouira, está situada en la vertiente Atlántica, en la región de MarrakechTensift-Al Hauz. Éssaouira se encuentra entre las ciudades de Agadir, al sur, y Safi, al norte, y a una distancia de 177 kilómetros al oeste de la ciudad de Marrakech, principal núcleo urbano, y poblacional del Estado, por lo que su situación geoestratégica es ideal para la construcción de un puerto deportivo que aprovechará su potencial turístico actual y la proximidad de Marrakech. Dicha solución consiste en la construcción de una marina adosada al puerto pesquero actual, aprovechando las infraestructuras existentes y disponiendo de un contradique que hará de muelle y que generará 252 atraques embarcaciones de hasta 24 metros de eslora y una superficie de aproximadamente 45.000 metros cuadrados, para la ejecución de las instalaciones y construcciones que darán servicio al puerto

[Colección de fotografías de Valencia, fotos de la novia de Francisco Roglá López y taller de orfebrería de Manolo Orrico (suegros de Francisco Roglá López)] [ [Material gráfico].]

[1-2]. Isabel Orrico Vidal con su perrita que sujeta en la boca una llave y lleva un collar con cascabel, Valencia 1914 (3 pares estereoscópicos) (2 fot.) -- [3-7]. Isabel Orrico Vidal en el balcón del su casa, 1914 (6 pares estereoscópicos) (4 fot.) -- [8-13]. Isabel Orrico Vidal con sus muñecas de porcelana, en un par de fotos aparece la perrita, 1914 (6 pares estereoscópicos) (5 fot.) -- [14-17]. Isabel Orrico Vidal con su perrita en distintas tomas junto a la ventana, Valencia 1914 (4 pares estereoscópicos) (3 fot.) -- [18-22]. Isabel Orrico Vidal sentada frente a su tocador, peinándose, 1914 (5 pares estereoscópicos) (3 fot.)

Tutiplen [ [Material gráfico]: Enrique Martínez : Picassent (Valencia - España).

Impreso en ángulo superior derecho: "R.E. 23.880 / Producido en España"