Sistemas inteligentes para apoyo a los procesos productivos. PAV 2004-0003-00076

La introducción masiva de las nuevas tecnologías de la información y las comunicaciones, conocidas por las siglas TICs, está influenciando fuertemente la estructura y la dinámica de los procesos económicos y sociales, redefiniendo aceleradamente las formas de producir, vender y competir en prácticamente todos los sectores productivos de bienes y servicios. Los segmentos de mayor crecimiento en la tecnología actual están relacionados a las TICs. Sin embargo, ello no se ve reflejado en la estructura de investigación y desarrollo en nuestro país, que no cuenta con grupos de trabajo fuertes y consolidados en el área de las TICs. Las Universidades que desarrollan este proyecto consideran que puede obtenerse un impulso importante en la solución de esta carencia mediante un proyecto en red que potencia el desarrollo de las componentes de comunicación e informática. El proyecto se en marca en el campo de los sistemas inteligentes e involucra acciones propias y transversales de las instituciones participantes. Su misión principal es desarrollar conocimiento, tecnología y formar recursos humanos en red en el área de las TICs. Los objetivos generales están orientados a: Desarrollar conocimientos y tecnología de punta en las áreas de comunicaciones de datos e inalámbrica de banda ancha, inteligencia computacional, microelectrónica, tecnología de la información, hardware reconfigurable, procesamiento paralelo/distribuido, y sus aplicaciones a procesos de producción.

Diseño de sistemas de comunicaciones de alta velocidad. Design of high-speed communication systems.

El crecimiento exponencial del tráfico de datos es uno de los mayores desafíos que enfrentan actualmente los sistemas de comunicaciones, debiendo los mismos ser capaces de soportar velocidades de procesamiento de datos cada vez mas altas. En particular, el consumo de potencia se ha transformado en uno de los parámetros de diseño más críticos, generando la necesidad de investigar el uso de nuevas arquitecturas y algoritmos para el procesamiento digital de la información. Por otro lado, el análisis y evaluación de nuevas técnicas de procesamiento presenta dificultades dadas las altas velocidades a las que deben operar, resultando frecuentemente ineficiente el uso de la simulación basada en software como método. En este contexto, el uso de electrónica programable ofrece una oportunidad a bajo costo donde no solo se evaluan nuevas técnicas de diseño de alta velocidad sino también se valida su implementación en desarrollos tecnológicos. El presente proyecto tiene como objetivo principal el estudio y desarrollo de nuevas arquitecturas y algoritmos en electrónica programable para el procesamiento de datos a alta velocidad. El método a utilizar será la programación en dispositivos FPGA (Field-Programmable Gate Array) que ofrecen una buena relación costo-beneficio y gran flexibilidad para integrarse con otros dispositivos de comunicaciones. Para la etapas de diseño, simulación y programación se utilizaran herramientas CAD (Computer-Aided Design) orientadas a sistemas electrónicos digitales. El proyecto beneficiara a estudiantes de grado y postgrado de carreras afines a la informática y las telecomunicaciones, contribuyendo al desarrollo de proyectos finales y tesis doctorales. Los resultados del proyecto serán publicados en conferencias y/o revistas nacionales e internacionales y divulgados a través de charlas de difusión y/o encuentros. El proyecto se enmarca dentro de un área de gran importancia para la Provincia de Córdoba, como lo es la informática y las telecomunicaciones, y promete generar conocimiento de gran valor agregado que pueda ser transferido a empresas tecnológicas de la Provincia de Córdoba a través de consultorias o desarrollos de productos.

Errores en sistemas de procesamiento de datos debido a eventos transitorios en interfaces analógicas: aportes a la mitigación de los mismos. Errors in data processing systems due to single transient events affecting analog interfaces: contributions to their mitigation.

Los eventos transitorios únicos analógicos (ASET, Analog Single Event Transient) se producen debido a la interacción de un ión pesado o un protón de alta energía con un dispositivo sensible de un circuito analógico. La interacción del ión con un transistor bipolar o de efecto de campo MOS induce pares electrón-hueco que provocan picos que pueden propagarse a la salida del componente analógico provocando transitorios que pueden inducir fallas en el nivel sistema. Los problemas más graves debido a este tipo de fenómeno se dan en el medioambiente espacial, muy rico en iones pesados. Casos típicos los constituyen las computadoras de a bordo de satélites y otros artefactos espaciales. Sin embargo, y debido a la continua contracción de dimensiones de los transistores (que trae aparejado un aumento de sensibilidad), este fenómeno ha comenzado a observarse a nivel del mar, provocado fundamentalmente por el impacto de neutrones atmosféricos. Estos efectos pueden provocar severos problemas a los sistemas informáticos con interfaces analógicas desde las que obtienen datos para el procesamiento y se han convertido en uno de los problemas más graves a los que tienen que hacer frente los diseñadores de sistemas de alta escala de integración. Casos típicos son los Sistemas en Chip que incluyen módulos de procesamiento de altas prestaciones como las interfaces analógicas.El proyecto persigue como objetivo general estudiar la susceptibilidad de sistemas informáticos a ASETs en sus secciones analógicas, proponiendo estrategias para la mitigación de los errores.Como objetivos específicos se pretende: -Proponer nuevos modelos de ASETs basados en simulaciones en el nivel dispositivo y resueltas por el método de elementos finitos.-Utilizar los modelos para identificar las secciones más propensas a producir errores y consecuentemente para ser candidatos a la aplicación de técnicas de endurecimiento a radiaciones.-Utilizar estos modelos para estudiar la naturaleza de los errores producidos en sistemas de procesamiento de datos.-Proponer soluciones novedosas para la mitigación de estos efectos en los mismos circuitos analógicos evitando su propagación a las secciones digitales.-Proponer soluciones para la mitigación de los efectos en el nivel sistema.Para llevar a cabo el proyecto se plantea un procedimiento ascendente para las investigaciones a realizar, comenzando por descripciones en el nivel físico para posteriormente aumentar el nivel de abstracción en el que se encuentra modelado el circuito. Se propone el modelado físico de los dispositivos MOS y su resolución mediante el Método de Elementos Finitos. La inyección de cargas en las zonas sensibles de los modelos permitirá determinar los perfiles de los pulsos de corriente que deben inyectarse en el nivel circuito para emular estos efectos. Estos procedimientos se realizarán para los distintos bloques constructivos de las interfaces analógicas, proponiendo estrategias de mitigación de errores en diferentes niveles.Los resultados esperados del presente proyecto incluyen hardware para detección de errores y tolerancia a este tipo de eventos que permitan aumentar la confiabilidad de sistemas de tratamiento de la información, así como también nuevos datos referentes a efectos de la radiación en semiconductores, nuevos modelos de fallas transitorias que permitan una simulación de estos eventos en el nivel circuito y la determinación de zonas sensibles de interfaces analógicas típicas que deben ser endurecidas para radiación.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Deadlock avoidance with virtual channels

High Performance Computing is a rapidly evolving area of computer science which attends to solve complicated computational problems with the combination of computational nodes connected through high speed networks. This work concentrates on the networks problems that appear in such networks and specially focuses on the Deadlock problem that can decrease the efficiency of the communication or even destroy the balance and paralyze the network. Goal of this work is the Deadlock avoidance with the use of virtual channels, in the switches of the network where the problem appears. The deadlock avoidance assures that will not be loss of data inside network, having as result the increased latency of the served packets, due to the extra calculation that the switches have to make to apply the policy.

Modelado y simulación de sistemas biológicos

En la presente memoria se ha recogido de forma escrita el conjunto de fases que se han llevado a cabo en la realización del proyecto consistente en un simulador de sistemas biológicos utilizando modelos orientados al individuo. Concretamente, el sistema biológico representado ha consistido en el movimiento y comportamiento de cohesión que poseen los peces.

Gestión sostenible de clústers de recursos virtuales

Este proyecto tiene como finalidad ofrecer un servicio de computación en forma de máquina virtual, utilizando los recursos internos de Atos Research & Innovation. Además, se pretende implementar este servicio sobre os excendentes de máquinas del propio departamento. La prestación de este servicio se realiza mediante un gestor de la infraestructura de forma centralizada. Para la implantación de este entorno se ha definido la adopción en fases y profundizado en dos de los gestores más activos en la investigación del modelo Cloud Computing (Open Nebula, Eucalyptus).

Diseño e implementación de un portal web para una empresa de sistemas de control de iluminación

El objetivo del proyecto es facilitar a los clientes de la empresa el acceso a las actualizaciones de software y a los modelos de funcionamiento a través de un portal WEB. Además, se desea mejorar la imagen de empresa que se ofrece a los clientes y futuros clientes incluyendo información relacionada con la empresa y sus productos. Para cumplir con estos requisitos la aplicación hará uso del lenguaje de etiquetas HTML junto con CSS, el lenguaje de programación PHP y el sistema gestor de datos MySQL para generar contenidos dinámicos.

Planificación de la producción en sistemas poco complejos. (Algoritmo de planificación de BOLD APS)

BOLD APS es un software diseñado para solventar el problema de la planificación de la producción. Como tal, cuenta con un algoritmo, en continuo desarrollo, cuya función es tomar las decisiones oportunas para obtener una buena programación de tareas. Este proyecto consta de dos fases: la principal comprende el diseño e implementación de una nueva sección dentro del algoritmo de planificación de la producción que utiliza la empresa Global Planning Solution, con el objetivo de ofrecer mejoras en la calidad de las soluciones actuales; la fase secundaria consiste en una labor de depuración, limpieza y ordenación del código, para facilitar su comprensión y posterior modificación.

Entorno gráfico para simulaciones de sistemas biológicos

Aquesta memòria conté tota l'evolució del desenvolupament del projecte a tractar, és a dir, un entorn gràfic per a simulacions de sistemes biològics. Es partirà d'uns objectius a complir, buscant quina via se'ls adapta millor. A continuació s'expliquen els requeriments establerts, i fent una abstracció d'ells, el disseny general del software per a, després, passar al desenvolupament del mateix. Finalment, es mostren les proves realitzades sobre aquest, deduint conclusions que ajudaran a la seva posterior utilització i manteniment.

Automatización de sistemas de desarrollo ágil - Scrum: Team & Role

Este proyecto ha sido realizado en una empresa mediante un convenio entre la UAB y la sede UNIT4 de Barberá del Vallés. En él se estudia la evolución de la implementación de un proyecto desarrollado mediante la metodología Scrum. Para realizar el seguimiento, el autor ha participado en un equipo de desarrollo formado por un conjunto de proyectistas de la UAB. El proyecto desarrollado consta de cuatro módulos que, en su conjunto, constituyen una aplicación capaz de gestionar los recursos de la metodología. Cada proyectista es responsable de un módulo. En este documento se recogen tanto las partes relacionadas con el módulo desarrollado, como con la evolución del proyecto.

Monitorización remota de sistemas

El objetivo del proyecto es dotar a la empresa CSSAgresso de un sistema proactivo para la detección de incidencias en las redes de sus clientes. Se estructura en dos ejes: el diseño e implementación de un sistema de monitorización remoto, y una aplicación de visualización que muestre el estado de las redes clientes.

Generación de visitas virtuales a museos 3D para la inclusión en páginas web

Las páginas web junto a la animación 3D son dos grandes atractivos hoy en día en el mundo de Internet. Una interfaz web agradable e interactiva por la que navegar cómodamente; junto a una herramienta en dos dimensiones fácil de manejar, para diseñar y obtener un resultado en tres dimensiones. Esas han sido las bases de mi aplicación, la cual consiste en una página web dedicada al arte, donde cualquier persona podrá registrarse y dibujar mediante una paleta cómo sería un museo a su gusto. Visitando el museo virtual resultante, donde admirar las obras junto a su autor y título.

Gestión y visualización de museos virtuales 3d en línea

Esta aplicación constará de una herramienta para administradores que permitirá ver una sala de exposiciones virtual vacía, y una biblioteca de obras de arte; se podrán añadir y quitar obras de la sala de exposiciones arrastrándolas de/a la biblioteca, creando así galerías de arte virtuales. Estas galerías se podrán visualizar por cualquier persona con un explorador web.

Dependencia de los algoritmos con el consumo de energía en sistemas HPC

El consumo energético es un aspecto cada vez más importante en el diseño de microprocesadores. Este trabajo experimenta con una técnica de control del consumo, el escalado dinámico de tensión y frecuencia (DVFS, siglas en inglés), para determinar cuan efectiva es la misma en la ejecución de programas con diferentes cargas de trabajo, intensivas en cómputo o memoria. Además, se ha extendido la experimentación a varios núcleos de ejecución, permitiendo comprobar en que medida las características de la ejecución en una arquitectura multicore afecta al desempeño de dicha técnica.