Los Derechos Económicos, Sociales y Culturales: el derecho de toda persona al disfrute del más alto nivel posible de salud física y mental

Informe presentado por Sr. Paul Hunt Relator Especial sobre el derecho de toda persona al disfrute del más alto nivel posible de salud física y mental, Adición Misión al Perú, Comisión de Derechos Humanos,E/CN.4/2005/51/Add.3, 4 de febrero de 2005.

El derecho de toda persona al disfrute del más alto nivel posible de salud física y mental. Documento A/66/254. Asamblea General. 2011

El Relator Especial examina los efectos de las restricciones jurídicas penales y de otra índole en el aborto

Políticas públicas para la formación de recursos humanos de alto nivel

El propósito de este documento es compartir y reflexionar de manera conjunta la experiencia de una política pública diseñada para para la formación de recursos humanos de alto nivel en México

Políticas públicas para la formación de recursos humanos de alto nivel

El propósito de este documento es compartir y reflexionar de manera conjunta la experiencia de una política pública diseñada para para la formación de recursos humanos de alto nivel en México

Políticas públicas para la formación de recursos humanos de alto nivel

El propósito de este documento es compartir y reflexionar de manera conjunta la experiencia de una política pública diseñada para para la formación de recursos humanos de alto nivel en México

Modelado en alto nivel con SystemC

El presente proyecto final de carrera titulado “Modelado de alto nivel con SystemC” tiene como objetivo principal el modelado de algunos módulos de un codificador de vídeo MPEG-2 utilizando el lenguaje de descripción de sistemas igitales SystemC con un nivel de abstracción TLM o Transaction Level Modeling. SystemC es un lenguaje de descripción de sistemas digitales basado en C++. En él hay un conjunto de rutinas y librerías que implementan tipos de datos, estructuras y procesos especiales para el modelado de sistemas digitales. Su descripción se puede consultar en [GLMS02] El nivel de abstracción TLM se caracteriza por separar la comunicación entre los módulos de su funcionalidad. Este nivel de abstracción hace un mayor énfasis en la funcionalidad de la comunicación entre los módulos (de donde a donde van datos) que la implementación exacta de la misma. En los documentos [RSPF] y [HG] se describen el TLM y un ejemplo de implementación. La arquitectura del modelo se basa en el codificador MVIP-2 descrito en [Gar04], de dicho modelo, los módulos implementados son: · IVIDEOH: módulo que realiza un filtrado del vídeo de entrada en la dimensión horizontal y guarda en memoria el video filtrado. · IVIDEOV: módulo que lee de la memoria el vídeo filtrado por IVIDEOH, realiza el filtrado en la dimensión horizontal y escribe el video filtrado en memoria. · DCT: módulo que lee el video filtrado por IVIDEOV, hace la transformada discreta del coseno y guarda el vídeo transformado en la memoria. · QUANT: módulo que lee el video transformado por DCT, lo cuantifica y guarda el resultado en la memoria. · IQUANT: módulo que lee el video cuantificado por QUANT, realiza la cuantificación inversa y guarda el resultado en memoria. · IDCT: módulo que lee el video procesado por IQUANT, realiza la transformada inversa del coseno y guarda el resultado en memoria. · IMEM: módulo que hace de interfaz entre los módulos anteriores y la memoria. Gestiona las peticiones simultáneas de acceso a la memoria y asegura el acceso exclusivo a la memoria en cada instante de tiempo. Todos estos módulos aparecen en gris en la siguiente figura en la que se muestra la arquitectura del modelo: Figura 1. Arquitectura del modelo (VER PDF DEL PFC) En figura también aparecen unos módulos en blanco, dichos módulos son de pruebas y se han añadido para realizar simulaciones y probar los módulos del modelo: · CAMARA: módulo que simula una cámara en blanco y negro, lee la luminancia de un fichero de vídeo y lo envía al modelo a través de una FIFO. · FIFO: hace de interfaz entre la cámara y el modelo, guarda los datos que envía la cámara hasta que IVIDEOH los lee. · CONTROL: módulo que se encarga de controlar los módulos que procesan el vídeo, estos le indican cuando terminan de procesar un frame de vídeo y este módulo se encarga de iniciar los módulos que sean necesarios para seguir con la codificación. Este módulo se encarga del correcto secuenciamiento de los módulos procesadores de vídeo. · RAM: módulo que simula una memoria RAM, incluye un retardo programable en el acceso. Para las pruebas también se han generado ficheros de vídeo con el resultado de cada módulo procesador de vídeo, ficheros con mensajes y un fichero de trazas en el que se muestra el secuenciamiento de los procesadores. Como resultado del trabajo en el presente PFC se puede concluir que SystemC permite el modelado de sistemas digitales con bastante sencillez (hace falta conocimientos previos de C++ y programación orientada objetos) y permite la realización de modelos con un nivel de abstracción mayor a RTL, el habitual en Verilog y VHDL, en el caso del presente PFC, el TLM. ABSTRACT This final career project titled “High level modeling with SystemC” have as main objective the modeling of some of the modules of an MPEG-2 video coder using the SystemC digital systems description language at the TLM or Transaction Level Modeling abstraction level. SystemC is a digital systems description language based in C++. It contains routines and libraries that define special data types, structures and process to model digital systems. There is a complete description of the SystemC language in the document [GLMS02]. The main characteristic of TLM abstraction level is that it separates the communication among modules of their functionality. This abstraction level puts a higher emphasis in the functionality of the communication (from where to where the data go) than the exact implementation of it. The TLM and an example are described in the documents [RSPF] and [HG]. The architecture of the model is based in the MVIP-2 video coder (described in the document [Gar04]) The modeled modules are: · IVIDEOH: module that filter the video input in the horizontal dimension. It saves the filtered video in the memory. · IVIDEOV: module that read the IVIDEOH filtered video, filter it in the vertical dimension and save the filtered video in the memory. · DCT: module that read the IVIDEOV filtered video, do the discrete cosine transform and save the transformed video in the memory. · QUANT: module that read the DCT transformed video, quantify it and save the quantified video in the memory. · IQUANT: module that read the QUANT processed video, do the inverse quantification and save the result in the memory. · IDCT: module that read the IQUANT processed video, do the inverse cosine transform and save the result in the memory. · IMEM: this module is the interface between the modules described previously and the memory. It manage the simultaneous accesses to the memory and ensure an unique access at each instant of time All this modules are included in grey in the following figure (SEE PDF OF PFC). This figure shows the architecture of the model: Figure 1. Architecture of the model This figure also includes other modules in white, these modules have been added to the model in order to simulate and prove the modules of the model: · CAMARA: simulates a black and white video camera, it reads the luminance of a video file and sends it to the model through a FIFO. · FIFO: is the interface between the camera and the model, it saves the video data sent by the camera until the IVIDEOH module reads it. · CONTROL: controls the modules that process the video. These modules indicate the CONTROL module when they have finished the processing of a video frame. The CONTROL module, then, init the necessary modules to continue with the video coding. This module is responsible of the right sequence of the video processing modules. · RAM: it simulates a RAM memory; it also simulates a programmable delay in the access to the memory. It has been generated video files, text files and a trace file to check the correct function of the model. The trace file shows the sequence of the video processing modules. As a result of the present final career project, it can be deduced that it is quite easy to model digital systems with SystemC (it is only needed previous knowledge of C++ and object oriented programming) and it also allow the modeling with a level of abstraction higher than the RTL used in Verilog and VHDL, in the case of the present final career project, the TLM.

Propuesta de planificación y periodización para un competidor de crossfit de alto nivel

Este trabajo tratará de plantear un modelo de planificación válido para Crossfit, más concretamente para un competidor de alto nivel que tiene el objetivo de acudir a los Crossfit Games. Mediante la revisión de la literatura científica relacionada se propondrá un modelo que pueda conjugar todas las capacidades requeridas por el crossfiter de élite, para que estas puedan ser desarrolladas de una manera más o menos conjunta y le permitan llegar en su máximo de rendimiento a cada una de las competiciones clasificatorias.

Estructuras óptimas de detección y corrección de errores dirigidas a computadores construidos con lógica de alto nivel de Integración: aplicación industrial

Este trabajo trata de la aplicación de los códigos detectores y correctores de error al diseño de los Computadores Tolerantes a Fallos, planteando varias estrategias óptimas de detección y corrección para algunos subsistemas. En primer lugar,"se justifica la necesidad de aplicar técnicas de Tolerancia a Fallos. A continuación se hacen previsiones de evolución de la tecnología de Integración, así como una tipificación de los fallos en circuitos Integrados. Partiendo de una recopilación y revisión de la teoría de códigos, se hace un desarrollo teórico cuya aplicación permite obligar a que algunos de estos códigos sean cerrados respecto de las operaciones elementales que se ejecutan en un computador. Se plantean estrategias óptimas de detección y corrección de error para sus subsistemas mas Importantes, culminando en el diseño, realización y prueba de una unidad de memoria y una unidad de proceso de datos con amplias posibilidades de detección y corrección de errores.---ABSTRACT---The present work deals with the application of error detecting and correctíng codes to the désign of Fault Tolerant Computers. Several óptimo» detection and correction strategies are presented to be applied in some subsystems. First of all, the necessity of applying Fault Tolerant techniques is explained. Later, a study on íntegration technology evolution and typification of Integrated circuit faults 1s developed. Based on a compilation and revisión of Coding Theory, a theoretical study is carried out. It allows us to force some of these codes to be closed over elementary operations. Optimum detection and correction techniques are presented for the raost important subsystems. Flnally, the design, building and testing of a memory unit and a processing unit provided with wlde error detection and correction posibilities 1s shown.

Eficacia en la aplicación de las medidas de formación para los deportistas de alto nivel en el territorio español

La formación académica y la planificación son fundamentales para una exitosa inserción laboral de los atletas de élite. El objetivo de este estudio fue detectar el nivel de aplicación de las medidas de formación por los diferentes agentes que participan en el sistema. Al analizar el proceso de información se apreciaron ciertas carencias en el mismo. El cambio de fechas de exámenes con motivo de competiciones/concentraciones oficiales fue el aspecto más demandado por los diferentes deportistas. Dado que el periodo de los 20 a los 30 años es crítico para la formación, sería necesario aportar un servicio de cobertura total para la población de deportistas de Alto Nivel, con el fin de dar un asesoramiento permanente y trazar una línea continua desde la vida deportiva a la vida laboral en los deportistas.

Utilización de plataformas dinamométricas para la valoración de la fuerza explosiva en futbolistas juveniles de alto nivel: comparación por edad y posiciones en el campo y su aplicación al entrenamiento

Con el objetivo de valorar la potencia desarrollada por la musculatura del tren inferior, se realizó un estudio con los tres equipos juveniles de alto nivel de la cantera de un equipo de la primera división española para informar a los cuerpos técnicos y orientar en cuanto al entrenamiento de esta capacidad. Se realizaron los test: Squat Jump (SJ) y CounterMovement Jump (CMJ) así como saltos reactivos, con un total de 59 futbolistas. El material utilizado fueron dos plataformas de fuerzas piezoeléctricas con una frecuencia de muestreo de 400 Hz (BTS). Los resultados mostraron que son los porteros los que mayor fuerza, potencia e impulso desarrollaron, que los centrales fueron los que mayor altura del salto consiguieron, además de una diferencia significativa entre los niveles de fuerza por edades. Se compararon los resultados con otros estudios de equipos de todo el mundo y estos resultados fueron positivos en cuanto a la preparación física de estos atletas. Finalmente se detalló un informe individual y por equipos sobre cada futbolista y se planificó un trabajo de 6 semanas para aumentar la fuerza explosiva del miembro inferior.

Análisis técnico y táctico de combates de Muay Thai de alto nivel

Las acciones tácticas y técnicas son aspectos fundamentales para la comprensión interna en un deporte de oposición. En función de esto surge la necesidad de estudiar y establecer los elementos relacionados con éstas acciones de forma concreta, en el que se aprecien claramente cuáles son sus principales características. De forma que a la hora de observar y comprender un combate de Muay Thai, no nos fijemos únicamente en las acciones más espectaculares. Sino que podamos conocer y apreciar las diferentes intenciones tácticas así como su conexión con las acciones técnicas. Por ello, los objetivos planteados tratan de determinar cuáles son las diferentes acciones técnicas y tácticas sucedidas en combates de alto nivel, además de describir la eficacia de cada una de éstas. Añadiendo otros objetivos como la descripción sobre el desarrollo de las acciones en función del tiempo y el espacio en el que suceden.

Propuesta de planificación y periodización de la fuerza en el judo en deportistas de alto nivel

En el presente trabajo se plantea una planificación de la fuerza alternativa para el judo en el alto nivel. Para ello, se han propuesto sesiones de entrenamiento específicas en tatami, así como específicas en gimnasio, así como una distribución de dichas sesiones durante las semanas de trabajo. Todo esto, en diferentes momentos de la temporada, los cuales hemos llamado periodos, que perseguirán unos objetivos concretos de una manera concreta y secuencializada.

Aportaciones a la metodología de diseño basada en Síntesis de Alto Nivel. Aportaciones al diseño de IPs para procesado de eventos complejos y codificación de vídeo

Programa de doctorado: Ingeniería de Telecomunicación Avanzada. La fecha de publicación es la fecha de lectura

Influencia del pick and roll en el juego de ataque en baloncesto de alto nivel

El objetivo de este estudio fue caracterizar las acciones del pick and roll y su influencia en el juego en baloncesto de alto nivel. Se analizó la eficacia táctica y de marcador en función de distintos factores que inciden en las situaciones de juego mediante un diseño observacional nomotético, puntual y multidimensional en 18 equipos de la liga ACB de baloncesto. Un instrumento observacional ad hoc (VTP & R) fue validado por un panel de 20 expertos de alto nivel y se comprobó la fiabilidad en la observación por parte de los investigadores. El análisis de datos se realizó mediante el análisis secuencial de retardos, el análisis de coordenadas polares y los estadísticos descriptivos cuantitativos. Del total de acciones analizadas (n=3895), el 25,3% se corresponden a pick and roll (n=984). Solo el 36,3% de las acciones de pick and roll se han mostrado eficaces en el marcador, mientras que el 85,7% lo son tácticamente. La interpretación de los resultados muestra el interés en complementar el análisis del juego en baloncesto a través de los mixed methods. La posibilidad de determinar qué acciones se realizan en cada momento del partido y de qué manera se ejecutan, así como establecer patrones de respuesta táctica en función de los distintos factores que intervienen en el juego, justifica la utilidad de los resultados aquí obtenidos y se concluye el interés en incorporar las distintas técnicas analíticas de la metodología observacional a los procesos de análisis del baloncesto.

Analizar y comparar el lenguaje de alto nivel SystemC frente a los de HDL. aplicación al diseño de sistemas de computo

La complejidad de los sistemas actuales de computación ha obligado a los diseñadores de herramientas CAD/CAE a acondicionar lenguajes de alto nivel, tipo C++, para la descripción y automatización de estructuras algorítmicas a sus correspondientes diseños a nivel físico. Los proyectos a realizar se encuadran dentro de una línea de trabajo consistente en estudiar la programación, funcionamiento de los lenguajes SystemC y SystemVerilog, sus herramientas asociadas y analizar cómo se adecuan a las restricciones temporales y físicas de los componentes (librerías, IP's, macro-celdas, etc) para su directa implementación. En una primera fase, y para este TFG, se estudiarán los componentes que conforman el framework elegido que es SystemC y su inclusión en herramientas de diseño arquitectural. Este conocimiento nos ayudará a entender el funcionamiento y capacidad de dicha herramienta y proceder a su correcto manejo. Analizaremos y estudiaremos unos de los lenguajes de alto nivel de los que hace uso dicha herramienta. Una vez entendido el contexto de aplicación, sus restricciones y sus elementos, diseñaremos una estructura hardware. Una vez que se tenga el diseño, se procederá a su implementación haciendo uso, si es necesario, de simuladores. El proyecto finalizará con una definición de un conjunto de pruebas con el fin de verificar y validar la usabilidad y viabilidad de nuestra estructura hardware propuesta.