Red de seguimiento de calidad de asignaturas de primer curso del Grado en Ingeniería Informática

El trabajo de esta Red Docente se ha planteado como una continuación directa del realizado en el marco de la Red Docente 2733, del curso pasado. Continuamos con la elaboración del mapa conceptual, en el que ahora vamos a identificar solapamientos y lagunas en los conocimientos del egresado en el Grado en Ingeniería Informática. Por otro lado hemos simplificado y mejorado la gestión del calendario de evaluación, en el que se reflejan todas las pruebas evaluables que realizan los alumnos de la titulación, con el objetivo de mejorar la coordinación y evitar la excesiva concentración de pruebas en un reducido período de tiempo.

Diseño de una herramienta informática para un discurso inclusivo y promoción de la igualdad

La utilización de un lenguaje inclusivo en los discursos académicos constituye un excelente vehículo con el que crear referentes femeninos, representar la aportación de mujeres y hombres tanto en la vida cotidiana como en la Academia y en la ciencia, así como romper estereotipos y prejuicios de carácter sexista. A través de la lengua no solo se describen los acontecimientos y hechos que intentamos transmitir sino que también se construye la realidad que buscamos comunicar. Este alcance dual del uso de la lengua (describir y construir) convierte al uso del lenguaje inclusivo en un elemento central en la consideración de la inclusión de la perspectiva de género en la docencia universitaria. En este marco, la Red de investigación para la docencia universitaria “Universidad, género, docencia e igualdad” de la UA trabaja en el diseño de una herramienta informática que permita identificar, de forma rápida y sencilla, el sexismo en el lenguaje de nuestros discursos.

Consideraciones iniciales del cambio de metodología presencial a MOOC. El caso de Sistemas Inteligentes

La evolución tecnológica afecta a todas las parcelas de actividad humana. Entre los aspectos más sensibles a esta evolución se encuentran la enseñanza y el aprendizaje tanto por su impacto en las competencias profesionales como por su uso para mejorar la calidad y relevancia de la docencia. Los profesores deben asumir un papel director ante esta situación que con el tiempo gana en protagonismo, siendo fundamental abordar la adaptación al cambio metodológico que supone la emergencia de la docencia on-line y la cada vez mayor presencia de los MOOC (acrónimo en inglés de massive open online course). En este trabajo se analiza la docencia on-line de materias de Inteligencia Artificial (IA), utilizando el paradigma de los MOOC como referencia. A tal fin, se revisan las características de los MOOC, sus aspectos metodológicos y sistemas de evaluación. Se particulariza el estudio de los MOOC en IA comparándolos con el enfoque de carácter presencial de la asignatura Sistemas Inteligentes. El objetivo de este trabajo es determinar los aspectos que deberían reenfocarse en esta materia bajo el paradigma MOOC. Deseamos destacar el soporte de la “Red de Investigación en Sistemas Inteligentes. Revisión de objetivos y contenidos de IA en el grado de Ingeniería Informática dentro del EESS” Código de Red ICE: 3300.

Diseño de Sistemas Electrónicos Digitales Avanzados. Práctica 1 (curso 2015-2016)

Introducción a la utilización de la herramienta de descripción hardware de Xilinx ISE 14.3

Red de Investigación en Sistemas Inteligentes. Evaluación continua mediante controles utilizando Moodle

Esta memoria corresponde al trabajo desarrollado durante el curso 2013-2014 por los componentes de la “Red de Investigación en Sistemas Inteligentes. Evaluación continua mediante controles utilizando Moodle”. Código de Red ICE: 3021. En la asignatura Sistemas Inteligentes del grado en Ingeniería Informática, durante el curso 2013-14, se planteó a los estudiantes un sistema de evaluación continua de la parte teórica consistente en la realización de controles on-line utilizando cuestionarios Moodle. En las normas de evaluación de la asignatura, los controles acumulaban toda la materia impartida hasta la fecha y su peso creciente de cara a la obtención de la nota final. Teníamos especial interés en determinar si el sistema resultaba estimulante para los estudiantes debido a considerar que este aspecto es fundamental en el proceso de aprendizaje. La memoria se organiza de la siguiente forma: se inicia analizando la viabilidad de la evaluación continua y su interés pedagógico en nuestro contexto, seguidamente se presenta la metodología empleada, las características de los cuestionarios Moodle, se aportan los estudios que nos han permitido validar nuestra propuesta, las conclusiones y las recomendaciones que permitirán mejorar los procesos y resultados en el futuro.

Manual d'informàtica i de tecnologies per a la traducció

Aquest llibre cobreixen la major part dels continguts de l'assignatura Tecnologies de la Traducció que cursara l'alumnat de segon curs del grau en Traducció i Interpretació de la Universitat d’Alacant; també pot ser útil per a assignatures similars en altres universitats (per aixo s’hi ha inclòs material mes avançat que no s'estudia en Tecnologies de la Traducció).

Coordinación y seguimiento del Grado en Ingeniería Informática

El fomento de la calidad universitaria es una dimensión clave en el EEES que se basa en sistemas de garantía y mejora de la calidad internos en las universidades y en procedimientos llevados a cabo por agencias de evaluación y acreditación externas a ellas. Además, se resalta que cada vez es más necesario que estas acreditaciones de calidad nacionales se reconozcan fuera del propio país. En este contexto ha surgido la creación de sellos de calidad europeos que están enfocados a determinados sectores científico-técnicos o profesionales que tienen la ventaja de facilitar la comparación transfronteriza y ofrecer a universidades y egresados la posibilidad de demostrar la calidad de sus titulaciones en el ámbito europeo. En el caso de los Grados en Ingeniería Informática es el sello EURO-INF regulado por la European Quality Assurance Network for Informatics Education (EQANIE) el que garantiza que la calidad de los programas en informática se corresponde con los criterios europeos genéricos establecidos y que sus egresados adquieren las competencias definidas para este sello. En esta memoria se explica el trabajo realizado para el proceso de acreditación y solicitud del sello EURO-INF como un doble proceso aprovechando las sinergias entre ambos procedimientos.

Verificación de Sistemas Basada en Teoría de Tipos

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.

Sistemas de diálogo con aplicaciones en Educación

En este proyecto se investigan 3 subáreas de Inteligencia Artificial y sus aplicaciones en contextos educativos. Las 3 áreas son 1) agentes conversacionales automatizados que actúan como instructores virtuales o sistemas de tutoring automatizado, 2) asistentes virtuales que llevan a cabo una tarea dada bajo la instrucción de un aprendiz avanzado, y 3) plataformas de programación de chatbots como una herramienta educativa para enseñar conceptos básicos de ciencias de la computación. La hipótesis de este proyecto es que tanto los tutores como los asistentes conversacionales automatizados deben incluir una representación contextual rica que identifique lo entendido por el aprendiz hasta el momento y ser capaces de realizar inferencias sobre ella para poder guiar mejor su aprendizaje. Los objetivos de este proyecto incluyen el desarrollo de algoritmos de inferencia contextuales apropiados para instructores y asistentes virtuales, el desarrollo de algoritmos para la programación simplificada de chatbots, la evaluación de estos algoritmos en pruebas piloto en escuelas y la realización de un curso online abierto masivo para estudiantes de secundario del programa Conectar Igualdad que quieran aprender sobre Inteligencia Artificial y Ciencias de la Computación. El método a utilizar será la realización de recolección de corpus (interacciones humano-humano de las interacciones tutor-aprendiz), la aplicación de técnicas de procesamiento de lenguaje natural como la generación por selección y la interpretación por clustering y maximum entropy models usando características sintácticas, semánticas y pragmáticas. Se desarrollarán los algoritmos siguiendo una metodología estándar de Ingeniería de Software y se evaluarán en experiencias piloto en escuelas secundarias así como en un curso online abierto y masivo. Además se dictará un curso de capacitación docente para la incorporación de las tecnologías producidas a sus cursos. Como resultado se espera la contribución al área de Inteligencia Artificial con aplicaciones en Educación de algoritmos evaluados empíricamente en entornos educativos reales del nivel medio. Además, se espera contribuir a las metodologías de enseñanza de Ciencias de la Computación en el nivel medio. Este proyecto es relevante a la realidad nacional y mundial de falta de recursos humanos formados en las Ciencias de la Computación y al crecimiento mundial que el área de Inteligencia Artificial en general y de Sistemas de diálogo (o interfaces conversacionales) en particular ha tenido en los últimos años con el crecimiento exponencial de la tecnología en la vida diaria.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

Laboratorios Virtuales de Sistemas de Control de Procesos en Labview y en Matlab-Simulink

El objetivo general de este proyecto es desarrollar unas prácticas de laboratorio de control de procesos en un entorno virtual, que permita a los alumnos interaccionar con el mismo de manera activa y cercana a situaciones reales que se pueden encontrar en su vida laboral o profesional.

Personalización de rutas en sistemas de turismo y ocio

El objetivo de este trabajo es proporcionar un marco general y teórico para la personalización de rutas en sistemas de turismo y ocio. Además, se verán técnicas que utilizan Realidad Aumentada para mejorar la experiencia del usuario que recorra esas rutas. Para ello, se introducirán los conceptos necesarios de teoría de grafos, así como los algoritmos para recorrerlos. Posteriormente, describiremos el problema de personalización de rutas para individuos y grupos, proponiendo tres enfoques distintos para su resolución: utilizando el algoritmo A*, el algoritmo voraz, y el razonamiento basado en casos respectivamente. Además, se realizará un análisis sobre Realidad Aumentada, explicando los distintos dispositivos y técnicas que se utilizan en ella. Con el objetivo de ver un ejemplo del marco general definido en este trabajo, estudiaremos dos casos en los que aplicaremos los algoritmos de personalización y técnicas de Realidad Aumentada explicadas anteriormente. Dichos casos de uso estarán centrados en el Museo de Informática García Santesmases y en el ámbito del turismo en Madrid.

Procesos digitales y sistemas de prototipado rápido aditivos aplicados a la creación escultórica de pequeño formato y relieves

La historia del arte está inevitablemente ligada al desarrollo tecnológico. La escultura es una disciplina artística que ha estado presente en toda la historia de la humanidad, desde las venus paleolíticas hechas a mano, hasta esculturas contemporáneas realizadas con tecnologías digitales. Estas últimas son el tema principal de esta tesis. El siglo XX ha sido testigo de la aparición y el desarrollo de la informática. El desarrollo de esta tecnología se debe, fundamentalmente, a su potencial sobre todo en el campo de la ingeniería, pero es un error pensar que el desarrollo de la informática se debe sólo a ingenieros y científi cos. Los artistas han participado en todo el desarrollo de los gráfi cos por ordenador, jugando un papel muy importante en el nacimiento y la evolución de los sistemas de modelado en tres dimensiones. Desde que Charles Babagge conceptualizara la computadora a fi nales del siglo XIX, la informática ha evolucionado a un ritmo vertiginoso...

Relatório de Estágio na Inficon AG e na PT Inovação & Sistemas

This document focuses the projects developed during two independent internships, which were carried out at Inficon AG and PT Inovação & Sistemas. Since the research areas of both internships are unrelated, individual abstracts are presented.

CUDA-MMP - Codificação de imagens com sistemas com múltiplos núcleos

Hoje em dia, a área de codificação de dados é transversal a diversos tipos de engenharias devido à sua grande importância. Com o aumento exponencial na criação de dados digitais, o campo da compressão de dados ganhou uma grande visibilidade nesta área. São constantemente desenvolvidos e melhorados algoritmos de compressão por forma a obter a maior compressão de dados possível seja com ou sem perda de dados, permitindo sustentar o rápido e constante crescimento dos mesmos. Um dos grandes problemas deste tipo de algoritmos deve-se ao grande poder computacional que por vezes é necessário para obter uma boa taxa de compressão mantendo a qualidade dos dados quando descompactados. Este documento descreve uma estratégia para tentar reduzir o impacto do poder computacional necessário à codificação de imagens utilizando uma implementação heterogénea. O objetivo é tentar efetuar a paralelização das secções que requerem elevado poder computacional reduzindo assim o tempo necessário à compressão de dados. Este documento baseia-se na implementação desta estratégia para o algoritmo de codificação de imagens MMP-Intra. Utilizando inicialmente uma análise teórica, demonstramos que é viável efetuar a paralelização do algoritmo, sendo possível obter elevados ganhos de desempenho. Por forma a provar que o algoritmo MMP-Intra era paralelizavel e identificar os ganhos reais foi desenvolvido um protótipo inicial, o qual obteve um desempenho muito inferiore ao do algoritmo original, necessitando de muito mais tempo para obter os mesmo resultados. Utilizando um processo de otimização iterativo o protótipo passou por várias etapas de refinação. O protótipo refinado final obteve resultados muito superiores ao algoritmo sequencial no qual o mesmo foi baseado chegando a obter desempenhos quatro vezes superior ao original.