Análisis de las propuestas de reforma del sistema electoral en España

En este estudio se analiza el sistema electoral español tratando de diagnosticar las causas de su falta de proporcionalidad entre votos y escaños. Se muestra que la causa principal de ello es la pequeña magnitud de las circunscripciones en España y se desmonta el mito de la barrera legal como impedimento para acceder al Congreso, señalando que es mucho más efectiva la barrera natural que aparece al tener España un número muy elevado de circunscripciones de baja magnitud. Posteriormente se analizan las distintas propuestas de reforma del sistema electoral encaminadas a aumentar su proporcionalidad extrapolándolas de los resultados electorales de las elecciones generales de 2015. También se analizan las dificultades para sacar adelante dichas propuestas, siendo la mayor de ellas que muchas de las propuestas exigen un cambio constitucional. Sin embargo, también se señala que algunas fórmulas que no exigen cambio constitucional pueden alcanzar incluso mayor proporcionalidad. Finalmente se comparan las distintas propuestas de reforma del sistema electoral y se advierte del peligro que conlleva una proporcionalidad muy elevada. Ésta, en general, da origen a un parlamento permanentemente fragmentado y puede generar una gran inestabilidad en los gobiernos.

Arquitectura de un sistema multi-agente para el soporte de la anotación funcional

Predecir la función biológica de secuencias de Ácido Desoxirribonucleico (ADN) es unos de los mayores desafíos a los que se enfrenta la Bioinformática. Esta tarea se denomina anotación funcional y es un proceso complejo, laborioso y que requiere mucho tiempo. Dado su impacto en investigaciones y anotaciones futuras, la anotación debe ser lo más able y precisa posible. Idealmente, las secuencias deberían ser estudiadas y anotadas manualmente por un experto, garantizando así resultados precisos y de calidad. Sin embargo, la anotación manual solo es factible para pequeños conjuntos de datos o genomas de referencia. Con la llegada de las nuevas tecnologías de secuenciación, el volumen de datos ha crecido signi cativamente, haciendo aún más crítica la necesidad de implementaciones automáticas del proceso. Por su parte, la anotación automática es capaz de manejar grandes cantidades de datos y producir un análisis consistente. Otra ventaja de esta aproximación es su rapidez y bajo coste en relación a la manual. Sin embargo, sus resultados son menos precisos que los manuales y, en general, deben ser revisados ( curados ) por un experto. Aunque los procesos colaborativos de la anotación en comunidad pueden ser utilizados para reducir este cuello de botella, los esfuerzos en esta línea no han tenido hasta ahora el éxito esperado. Además, el problema de la anotación, como muchos otros en el dominio de la Bioinformática, abarca información heterogénea, distribuida y en constante evolución. Una posible aproximación para superar estos problemas consiste en cambiar el foco del proceso de los expertos individuales a su comunidad, y diseñar las herramientas de manera que faciliten la gestión del conocimiento y los recursos. Este trabajo adopta esta línea y propone MASSA (Multi-Agent System to Support functional Annotation), una arquitectura de Sistema Multi-Agente (SMA) para Soportar la Anotación funcional...

Diseño y desarrollo de herramientas para el auto-aprendizaje de Anatomía Patológica General Veterinaria

Este proyecto es la continuación de otro anterior de innovación docente: PIMCD 238/2014 “Implantación de un sistema de telepatología digital para la enseñanza práctica de Anatomía Patológica General (asignatura de 2º curso del Grado en Veterinaria)”. Hemos elaborado una colección completa de preparaciones digitalizadas para todas las prácticas de histopatología de APG. Con la colección completa de preparaciones histopatológicas digitalizadas, se han realizado también guías específicas de auto-ayuda para una mejor comprensión y observación de las mismas por parte del alumno, favoreciendo el auto-aprendizaje individualizado y en grupo. Así mismo, hemos realizado un módulo de auto-aprendizaje teórico-práctico en inglés para que el alumno auto-evalúe sus conocimientos de partes de la asignatura y los conocimientos transversales de otras asignaturas del grado en veterinaria. Como complemento se ha producido un juego de “pasapalabra” con contenidos de Anatomía Patológica, con el fin de estimular el aprendizaje mediante el juego. Ambos sistemas se encuentran en el campus virtual UCM para su utilización por los alumnos de veterinaria. Al finalizar el curso se enlazarán en la página web del Dpto.

Soporte de sistema operativo para ahorro de energía en plataformas móviles con procesadores multicore asimétricos

Los procesadores multicore asimétricos con repertorio común de instrucciones (AMPsAsymmetric Multicore Processors) han sido propuestos recientemente como alternativa de bajo consumo a los procesadores multicore simétricos convencionales. Los AMPs combinan, en un mismo chip, cores rápidos de alto rendimiento, con cores más lentos y sencillos de consumo reducido. Uno de los ejemplos más destacados de procesador multicore asimétrico es el procesador big.LITTLE de ARM, que incorporan algunos modelos de teléfonos móviles y tablets disponibles en la actualidad. Trabajos previos han demostrado que para explotar los beneficios potenciales de los procesadores multicore asimétricos, el sistema operativo debe tener en cuenta el beneficio relativo (speedup) que cada aplicación experimenta al ejecutar en un core rápido frente a un core lento. Actualmente, los planificadores por defecto de los sistemas operativos de propósito general no tienen en cuenta la diversidad de speedups entre aplicaciones que puede estar presente en una carga de trabajo multiprogramada. En consecuencia, la asignación de aplicaciones a cores que hacen estos planificadores no extrae el máximo rendimiento por vatio de la plataforma. Recientemente se han realizado extensiones en el kernel Linux para ofrecer un mejor soporte de planificación en multicore asimétricos. Sin embargo, estas extensiones del planificador, utilizadas fundamentalmente en dispositivos móviles con el sistema operativo Android, tampoco tienen en cuenta la diversidad de speedups en las aplicaciones de la carga de trabajo. Por lo tanto estas extensiones no constituyen una aproximación robusta desde el punto de vista de la eficiencia energética. En este proyecto se lleva a cabo la evaluación exhaustiva de distintos algoritmos de planificación para multicore asimétricos sobre una plataforma provista de un procesador ARM big.LITTLE. El principal objetivo del estudio es cuantificar el grado de eficiencia energética y el rendimiento global proporcionado por implementaciones de estos algoritmos en el kernel Linux sobre hardware multicore asimétrico real.