Análisis de las herramientas ORCC y Vivado HLS para la Síntesis de Modelos de Flujo de Datos RVC-CAL

En este Proyecto Fin de Grado se ha realizado un estudio de cómo generar, a partir de modelos de flujo de datos en RVC-CAL (Reconfigurable Video Coding – CAL Actor Language), modelos VHDL (Versatile Hardware Description Language) mediante Vivado HLS (Vivado High Level Synthesis), incluida en las herramientas disponibles en Vivado de Xilinx. Una vez conseguido el modelo VHDL resultante, la intención es que mediante las herramientas de Xilinx se programe en una FPGA (Field Programmable Gate Array) o el dispositivo Zynq también desarrollado por Xilinx. RVC-CAL es un lenguaje de flujo de datos que describe la funcionalidad de bloques funcionales, denominados actores. Las funcionalidades que desarrolla un actor se definen como acciones, las cuales pueden ser diferentes en un mismo actor. Los actores pueden comunicarse entre sí y formar una red de actores o network. Con Vivado HLS podemos obtener un diseño VHDL a partir de un modelo en lenguaje C. Por lo que la generación de modelos en VHDL a partir de otros en RVC-CAL, requiere una fase previa en la que los modelos en RVC-CAL serán compilados para conseguir su equivalente en lenguaje C. El compilador ORCC (Open RVC-CAL Compiler) es la herramienta que nos permite lograr diseños en lenguaje C partiendo de modelos en RVC-CAL. ORCC no crea directamente el código ejecutable, sino que genera un código fuente disponible para ser compilado por otra herramienta, en el caso de este proyecto, el compilador GCC (Gnu C Compiler) de Linux. En resumen en este proyecto nos encontramos con tres puntos de estudio bien diferenciados, los cuales son: 1. Partimos de modelos de flujo de datos en RVC-CAL, los cuales son compilados por ORCC para alcanzar su traducción en lenguaje C. 2. Una vez conseguidos los diseños equivalentes en lenguaje C, son sintetizados en Vivado HLS para conseguir los modelos en VHDL. 3. Los modelos VHDL resultantes serian manipulados por las herramientas de Xilinx para producir el bitstream que sea programado en una FPGA o en el dispositivo Zynq. En el estudio del segundo punto, nos encontramos con una serie de elementos conflictivos que afectan a la síntesis en Vivado HLS de los diseños en lenguaje C generados por ORCC. Estos elementos están relacionados con la manera que se encuentra estructurada la especificación en C generada por ORCC y que Vivado HLS no puede soportar en determinados momentos de la síntesis. De esta manera se ha propuesto una transformación “manual” de los diseños generados por ORCC que afecto lo menos posible a los modelos originales para poder realizar la síntesis con Vivado HLS y crear el fichero VHDL correcto. De esta forma este documento se estructura siguiendo el modelo de un trabajo de investigación. En primer lugar, se exponen las motivaciones y objetivos que apoyan y se esperan lograr en este trabajo. Seguidamente, se pone de manifiesto un análisis del estado del arte de los elementos necesarios para el desarrollo del mismo, proporcionando los conceptos básicos para la correcta comprensión y estudio del documento. Se realiza una descripción de los lenguajes RVC-CAL y VHDL, además de una introducción de las herramientas ORCC y Vivado, analizando las bondades y características principales de ambas. Una vez conocido el comportamiento de ambas herramientas, se describen las soluciones desarrolladas en nuestro estudio de la síntesis de modelos en RVC-CAL, poniéndose de manifiesto los puntos conflictivos anteriormente señalados que Vivado HLS no puede soportar en la síntesis de los diseños en lenguaje C generados por el compilador ORCC. A continuación se presentan las soluciones propuestas a estos errores acontecidos durante la síntesis, con las cuales se pretende alcanzar una especificación en C más óptima para una correcta síntesis en Vivado HLS y alcanzar de esta forma los modelos VHDL adecuados. Por último, como resultado final de este trabajo se extraen un conjunto de conclusiones sobre todos los análisis y desarrollos acontecidos en el mismo. Al mismo tiempo se proponen una serie de líneas futuras de trabajo con las que se podría continuar el estudio y completar la investigación desarrollada en este documento. ABSTRACT. In this Project it has made a study of how to generate, from data flow models in RVC-CAL (Reconfigurable Video Coding - Actor CAL Language), VHDL models (Versatile Hardware Description Language) by Vivado HLS (Vivado High Level Synthesis), included in the tools available in Vivado of Xilinx. Once achieved the resulting VHDL model, the intention is that by the Xilinx tools programmed in FPGA or Zynq device also developed by Xilinx. RVC-CAL is a dataflow language that describes the functionality of functional blocks, called actors. The functionalities developed by an actor are defined as actions, which may be different in the same actor. Actors can communicate with each other and form a network of actors. With Vivado HLS we can get a VHDL design from a model in C. So the generation of models in VHDL from others in RVC-CAL requires a preliminary phase in which the models RVC-CAL will be compiled to get its equivalent in C. The compiler ORCC (Open RVC-CAL Compiler) is the tool that allows us to achieve designs in C language models based on RVC-CAL. ORCC not directly create the executable code but generates an available source code to be compiled by another tool, in the case of this project, the GCC compiler (GNU C Compiler) of Linux. In short, in this project we find three well-defined points of study, which are: 1. We start from data flow models in RVC-CAL, which are compiled by ORCC to achieve its translation in C. 2. Once you realize the equivalent designs in C, they are synthesized in Vivado HLS for VHDL models. 3. The resulting models VHDL would be manipulated by Xilinx tools to produce the bitstream that is programmed into an FPGA or Zynq device. In the study of the second point, we find a number of conflicting elements that affect the synthesis Vivado HLS designs in C generated by ORCC. These elements are related to the way it is structured specification in C generated ORCC and Vivado HLS cannot hold at certain times of the synthesis. Thus it has proposed a "manual" transformation of designs generated by ORCC that affected as little as possible to the original in order to perform the synthesis Vivado HLS and create the correct file VHDL models. Thus this document is structured along the lines of a research. First, the motivations and objectives that support and hope to reach in this work are presented. Then it shows an analysis the state of the art of the elements necessary for its development, providing the basics for a correct understanding and study of the document. A description of the RVC-CAL and VHDL languages is made, in addition an introduction of the ORCC and Vivado tools, analyzing the advantages and main features of both. Once you know the behavior of both tools, the solutions developed in our study of the synthesis of RVC-CAL models, introducing the conflicting points mentioned above are described that Vivado HLS cannot stand in the synthesis of design in C language generated by ORCC compiler. Below the proposed solutions to these errors occurred during synthesis, with which it is intended to achieve optimum C specification for proper synthesis Vivado HLS and thus create the appropriate VHDL models are presented. Finally, as the end result of this work a set of conclusions on all analyzes and developments occurred in the same are removed. At the same time a series of future lines of work which could continue to study and complete the research developed in this document are proposed.

El análisis de co-citas como método de investigación en Bibliotecología y Ciencia de la Información

Se muestra aquí la pertinencia y utilidad del análisis de co-citas como método de investigación en Bibliotecología y Ciencia de la Información (BCI), mediante un análisis bibliométrico y una revisión del contenido de los principales trabajos publicados sobre este tema. Se analiza el tamaño y evolución de la literatura, la tipología documental y las temáticas de las revistas donde se publican las principales contribuciones. Se mencionan algunos de los métodos y técnicas más utilizados para analizar y visualizar las estructuras de conocimiento de dominios científicos, y se presentan algunos de los modelos de mapas propuestos. Se describen algunas de las aplicaciones y posibles usos de los resultados de estos análisis y, finalmente, se mencionan sus principales ventajas y limitaciones

Detección y análisis de contaminantes en diversos ambientes

Presentación realizada para Química Fusión, Valencia, 29 septiembre-1 octubre 2011.

Reproducibilidad de la batería EPESE de desempeño físico en atención primaria

Objetivo. Estimar la reproducibilidad de tres medidas objetivas de desempeño físico de personas mayores en atención primaria. Diseño. Estudio descriptivo y prospectivo con observación directa de la función física por parte de profesionales de la salud de acuerdo a un protocolo estandarizado. Emplazamiento. Tres centros de atención primaria de las provincias de Alicante y Valencia. Participantes. Muestra de 66 personas de 70 y más años, evaluadas en dos ocasiones por el mismo profesional al objeto de replicar idénticas condiciones del estudio, en un intervalo temporal de dos semanas (mediana de 14 días). Mediciones principales. Se evaluó el funcionamiento físico a través de tres pruebas objetivas de desempeño: el test de equilibrio, el de velocidad de la marcha, y la capacidad para levantarse y sentarse de una silla. Estas medidas provienen de los estudios E PESE (Established Populations for Epidemiologic Studies of the Elderly). Se ha calculado la fiabilidad test-retest mediante el coeficiente de correlación intraclase. Resultados. Los coeficientes de correlación intraclase (CCI) fueron de 0,55 para el test de equilibrio, de 0,69 para el test de levantarse de la silla, y de O, 79 para el de velocidad de la marcha. El valor para la puntuación total de la batería EPESE fue de 0,80. Conclusiones. La reproducibilidad de estas medidas de desempeño es tan aceptable como las aportadas por la bibliografía de referencia. Estas pruebas de desempeño permiten evaluar con rigor cambios importantes en funcionamiento y salud que se producen con el tiempo.

Un análisis del sistema de evaluación formativo en gestión de calidad y del medio ambiente

Este trabajo se centra en el análisis de una asignatura y del sistema de evaluación formativo que estamos utilizando en la misma. Se trata de la asignatura “Gestión de la calidad y del medio ambiente” de cuarto curso del Grado en Administración y Dirección de Empresas de la Universidad de Alicante. Como su nombre indica, la asignatura analiza dos sistemas de gestión (gestión de la calidad y gestión del medio ambiente). En nuestro trabajo se persigue un objetivo principal desde un punto de vista longitudinal, comparando los dos primeros años de impartición de esta asignatura. En concreto, se analiza el sistema de evaluación formativo que se está utilizando, describiendo las distintas partes que componen esta evaluación continua y formativa. Para ello, se utiliza información recogida a través de un cuestionario al que han respondido los estudiantes, especialmente sobre el grado de dificultad y utilidad de los diversos elementos y actividades de este sistema de evaluación. El análisis y reflexión sobre estos temas vinculados a los sistemas de evaluación tiene como propósito principal mejorar de forma continua esta asignatura.

Estudio y análisis de la subsidencia del terreno en la cuenca del Alto Guadalentín. Investigaciones previas, evolución, causas y consecuencias

El objetivo general de este trabajo fin de máster es el análisis y síntesis de los principales estudios realizados, hasta la fecha, así como la profundización en la investigación sobre la importante tasa de subsidencia que está experimentando la cuenca del Alto Guadalentín durante las últimas décadas. El objetivo general anteriormente expuesto se puede dividir en los siguientes objetivos específicos: • Confirmación de que la subsidencia del Valle del Guadalentín está provocada, principalmente, por la sobreexplotación de acuíferos, y en todo caso, detectar si existe alguna causa secundaria, como la tectónica. • Justificación de los motivos por los cuáles existen dificultades para encontrar los signos externos de subsidencia, del apartado anterior, en el Valle del Guadalentín a diferencia de otros casos del mismo tipo de subsidencia en el mundo. • Localización e identificación de casos concretos de consecuencias físicas del fenómeno de la subsidencia en el terreno, tales como grietas y hundimientos en el terreno, patologías en construcciones y variaciones anómalas de la pendiente en parcelas y canales de riego.

Traducción humanística (literaria y audiovisual)

Con la integración de las asignaturas de traducción literaria y traducción audiovisual de las tres especialidades (inglés, francés y alemán) dentro de una misma red docente de Traducción Humanística, sus profesores hemos conseguido, mediante una puesta en común, establecer una coherencia programática en nuestros respectivos sílabos que permite prever los conocimientos adquiridos por nuestro alumnado en los elementos comunes a ambas materias antes y durante la impartición de la docencia de una determinada asignatura. También hemos iniciado el proceso de elaboración de unos tutoriales audiovisuales que sirven para explicar la utilización de software para la elaboración de tareas vinculadas a dichas asignaturas, aplicables a cualquiera de los tres idiomas, algunos de los cuales ya están subidos a la página web del Departamento de Traducción e Interpretación para que los alumnos puedan consultarlos antes de empezar la docencia de las respectivas asignaturas. A los dedicados a la localización de traducciones literarias próximamente se incorporarán los de traducción para el doblaje, para el subtitulado convencional y los relacionados con la accesibilidad (audiodescripción y subtitulado para sordos). Con la consolidación de esta red tras el primer año de trabajo en común se seguirá progresando en esta conjunción de estrategias didácticas y cumplimiento de objetivos.

El análisis de co-citas como método de investigación en Bibliotecología y Ciencia de la Información

Se muestra aquí la pertinencia y utilidad del análisis de co-citas como método de investigación en Bibliotecología y Ciencia de la Información (BCI), mediante un análisis bibliométrico y una revisión del contenido de los principales trabajos publicados sobre este tema. Se analiza el tamaño y evolución de la literatura, la tipología documental y las temáticas de las revistas donde se publican las principales contribuciones. Se mencionan algunos de los métodos y técnicas más utilizados para analizar y visualizar las estructuras de conocimiento de dominios científicos, y se presentan algunos de los modelos de mapas propuestos. Se describen algunas de las aplicaciones y posibles usos de los resultados de estos análisis y, finalmente, se mencionan sus principales ventajas y limitaciones

El análisis de co-citas como método de investigación en Bibliotecología y Ciencia de la Información

Se muestra aquí la pertinencia y utilidad del análisis de co-citas como método de investigación en Bibliotecología y Ciencia de la Información (BCI), mediante un análisis bibliométrico y una revisión del contenido de los principales trabajos publicados sobre este tema. Se analiza el tamaño y evolución de la literatura, la tipología documental y las temáticas de las revistas donde se publican las principales contribuciones. Se mencionan algunos de los métodos y técnicas más utilizados para analizar y visualizar las estructuras de conocimiento de dominios científicos, y se presentan algunos de los modelos de mapas propuestos. Se describen algunas de las aplicaciones y posibles usos de los resultados de estos análisis y, finalmente, se mencionan sus principales ventajas y limitaciones

Las cooperativas no agropecuarias y la transformación económica en Cuba: políticas, procesos y estrategias

La contribución de las cooperativas se ha puesto en evidencia desde la década del 70 como principal línea de desarrollo en la producción agropecuaria de Cuba. En contraste, el reconocimiento de las cooperativas urbanas ha sido tardío, aun cuando fuese percibida la necesidad de transformaciones basadas en la realización de la propiedad en diversos escenarios territoriales. El artículo analiza los procesos de reforma impulsados en Cuba desde la primera década de 2000 centrándose en las iniciativas tendientes a la promoción, constitución y desempeño de las cooperativas no agropecuarias (CNA). Se examina el potencial y limitaciones propias de las experiencias recientes para reflexionar sobre los procesos y transformaciones organizacionales desde la perspectiva de sus miembros. A modo de conclusión el análisis plantea interrogantes acerca de la aptitud de estas cooperativas para sustraerse del impacto de circunstancias anteriores y sobre su capacidad para consolidar estrategias diseñadas por los cooperadores que tiendan a fortalecer los principios de adhesión voluntaria y autonomía en que se fundan estas organizaciones.

Calidad y docencia universitaria en la sociedad del control. Aproximaciones analíticas

La presente comunicación pretende situar el análisis en torno a la universidad como objeto de análisis y de reflexión, considerando algunos ejes que nos permitan cuestionar (cuestionarnos) ciertas prácticas en relación con las políticas de evaluación de calidad universitaria - específicamente el Programa de Incentivos a la investigación- que se introdujeron en los sistemas de educación superior a partir de las reformas iniciadas en los años '90, en el marco de la consolidación de lo que algunos autores denominan el Estado Evaluador. En este marco, orientado por los ejes de calidad, desempeño y transparencia, se favoreció la creación de programas e instrumentos de evaluación que afectaron profundamente las dinámicas de la cotidianeidad de la docencia universitaria. El propósito de este trabajo reside en presentar algunas reflexiones acerca de los resultados de dichas estrategias de evaluación en la docencia universitaria que, desde la perspectiva aquí planteada, no solo no mejoran la calidad de la educación universitaria. sino que se constituyen en una serie de renovadas tecnologías de disciplinamiento y control que demarcarían nuevas zonas de inclusión /exclusión en el ámbito de la docencia universitaria

Calidad y docencia universitaria en la sociedad del control. Aproximaciones analíticas

La presente comunicación pretende situar el análisis en torno a la universidad como objeto de análisis y de reflexión, considerando algunos ejes que nos permitan cuestionar (cuestionarnos) ciertas prácticas en relación con las políticas de evaluación de calidad universitaria - específicamente el Programa de Incentivos a la investigación- que se introdujeron en los sistemas de educación superior a partir de las reformas iniciadas en los años '90, en el marco de la consolidación de lo que algunos autores denominan el Estado Evaluador. En este marco, orientado por los ejes de calidad, desempeño y transparencia, se favoreció la creación de programas e instrumentos de evaluación que afectaron profundamente las dinámicas de la cotidianeidad de la docencia universitaria. El propósito de este trabajo reside en presentar algunas reflexiones acerca de los resultados de dichas estrategias de evaluación en la docencia universitaria que, desde la perspectiva aquí planteada, no solo no mejoran la calidad de la educación universitaria. sino que se constituyen en una serie de renovadas tecnologías de disciplinamiento y control que demarcarían nuevas zonas de inclusión /exclusión en el ámbito de la docencia universitaria

Calidad y docencia universitaria en la sociedad del control. Aproximaciones analíticas

La presente comunicación pretende situar el análisis en torno a la universidad como objeto de análisis y de reflexión, considerando algunos ejes que nos permitan cuestionar (cuestionarnos) ciertas prácticas en relación con las políticas de evaluación de calidad universitaria - específicamente el Programa de Incentivos a la investigación- que se introdujeron en los sistemas de educación superior a partir de las reformas iniciadas en los años '90, en el marco de la consolidación de lo que algunos autores denominan el Estado Evaluador. En este marco, orientado por los ejes de calidad, desempeño y transparencia, se favoreció la creación de programas e instrumentos de evaluación que afectaron profundamente las dinámicas de la cotidianeidad de la docencia universitaria. El propósito de este trabajo reside en presentar algunas reflexiones acerca de los resultados de dichas estrategias de evaluación en la docencia universitaria que, desde la perspectiva aquí planteada, no solo no mejoran la calidad de la educación universitaria. sino que se constituyen en una serie de renovadas tecnologías de disciplinamiento y control que demarcarían nuevas zonas de inclusión /exclusión en el ámbito de la docencia universitaria

Análisis de los impactos generados por la aplicación de prácticas de buen gobierno corporativo en Colombia, una revisión para el periodo 2009-2014

El objetivo del presente estudio se centra en determinar la incidencia de la aplicación de las prácticas de Buen Gobierno Corporativo en la generación de valor y el desempeño de diversas empresas desde una perspectiva financiera, para el periodo comprendido entre 2009- 2014. Empleando como recurso metodológico herramientas de análisis cuantitativo sobre los estados financieros con especial énfasis en los indicadores operativos y el costo del capital que den cuenta de la generación de valor, sostenibilidad y desempeño, a partir del análisis de dos muestras de empresas; la primera compuesta por las 15 compañías más representativas del índice COLCAP, las cuales están obligadas a adoptar prácticas de buen gobierno. La segunda por otra parte, la integran 15 empresas representativas en el sector real2. Partiendo de información consolidada por la Superintendencia financiera de Colombia, Supersociedades, Confecámaras e información disponible en bases de datos.

Propuestas para garantizar la solvencia fiscal y financiera en el municipio de Envigado

El presente trabajo de investigación pretende generar propuestas para garantizar la solvencia fiscal y financiera en el municipio de Envigado, solvencia que permitirá realizar con eficiencia, eficacia y efectividad la gestión necesaria para el logro de las soluciones a los problemas y necesidades de la comunidad, haciendo que se mejore el desarrollo económico y social con mejor calidad de vida. Igualmente la solvencia financiera propiciará un mejor posicionamiento del municipio en el Rankin del Departamento Nacional de Planeación y Ministerio de Hacienda en los indicadores de desempeño fiscal e integral, según las diferentes categorías del Formato Único Territorial (FUT) que reporta el municipio trimestralmente, como también el cumplimiento de las metas del Plan de Desarrollo Municipal. De acuerdo con lo anterior, el municipio de Envigado requiere mantener patrimonio suficiente para poder pagar la deuda pública, los pasivos exigibles y contingentes, tanto en el corto como en el largo plazo. Igualmente debe buscar siempre mantener condiciones de liquidez inmediata, es decir disponibilidad de dinero en las cuentas financieras bancarias a la vista que le permitan hacer frente a sus obligaciones. La investigación se fundamenta en el análisis y la síntesis, mediante el proceso de investigación aplicada respecto del marco referencial, buscando con relaciones de causa efecto en una matriz de riegos y mediante la evaluación, la acción y la valoración de impacto financiero. El actual trabajo tiene la razón de hacerse, ya que el municipio de Envigado carece de un proceso de planeación financiera adecuado que presupueste los ingresos, apropie los egresos y ejecute los mismos con equidad, eficiencia y efectividad, y le permita tener la solvencia fiscal para que preste eficazmente sus funciones en búsqueda de mejor desarrollo económico y social para la comunidad. El análisis de la investigación se hará obteniendo información de diversas fuentes, tales como: El Sistema local de Planeación Municipal - SLPM, Plan Estratégico Territorial – PET, Plan de Ordenamiento Territorial – POT, Políticas Públicas y Planes Sectoriales, Plan de Desarrollo Municipal, Planes Zonales de Desarrollo, Presupuesto Participativo, Programa de Gobierno, Marco Fiscal de Mediano Plazo, Plan Plurianual de Inversiones, Plan Operativo Anual de Inversiones, Plan Financiero, Presupuesto Anual y Plan Anual de Caja- PAC. La administración central municipal de Envigado debe garantizar a sus acreedores y a su comunidad en general la solvencia fiscal y financiera, así como la de sus nueve entes descentralizados para asegurar el buen desarrollo económico y social, pero también para evitar caer en ley 550 de 1999, ley de insolvencia fiscal, que ha dejado a muchos municipios con un estigma difícil de mejorar en el mediano plazo, lo anterior independientemente de las sanciones disciplinarias, pecuniarias y penales que reciben las administraciones responsables por acción u omisión al no orientar al municipio hacia la solvencia fiscal y financiera. La Ley 550 de 1999 desarrolla los artículos 334 y 335 de la Constitución Política de Colombia, estableciendo y regulando los instrumentos de intervención estatal en la economía, y en el capítulo quinto (V) regula su aplicación a las entidades territoriales y descentralizadas del nivel territorial, tales como los departamentos, municipios o distritos. Tener solvencia fiscal y financiera en el municipio evitará que se incumpla la mencionada Ley, que se tenga que celebrar un convenio interadministrativo entre el municipio y el ministerio de Hacienda y crédito público, con la obligación de corregir las deficiencias que presente en su capacidad de operación y en el cumplimiento de sus obligaciones pecuniarias, para que pueda recuperarse dentro del plazo estipulado y en las condiciones que se hayan previsto en el mismo acuerdo. (Art. 5 de la ley 550). Este convenio tiene efecto vinculante, tanto para los municipios como para la totalidad de los acreedores.