Programari per a l'elaboració i correcció automàtica d'exàmens-test. 'Software para la elaboración y corrección automática de exámenes-test'.

En el momento de vaciar el documento, éste no estaba disponible en la web

Entorno virtual para el aprendizaje y la evaluación automática en bases de datos

La enseñanza y evaluación automática a través de un sistema Computer Based Assessment (CBA) requiere de software especializado que se adapte a la tipología de actividades a tratar y evaluar. En esta tesis se ha desarrollado un entorno CBA que facilita el aprendizaje y evaluación de los principales temas de una asignatura de bases de datos. Para ello se han analizado las herramientas existentes en cada uno de estos temas (Diagramas Entidad/Relación, diagramas de clases, esquemas de bases de datos relacionales, normalización, consultas en álgebra relacional y lenguaje SQL) y para cada uno de ellos se ha analizado, diseñado e implementado un módulo de corrección y evaluación automática que aporta mejoras respecto a los existentes. Estos módulos se han integrado en un mismo entorno al que hemos llamado ACME-DB.

Hàbits de treball dels usuaris d'ACME

Els hàbits de treball i el coneixement adquirit pels alumnes de les universitats al llarg d’un curs cada cop ha estat més fàcil de saber per part dels professors. L’aparició de noves metodologies i nous sistemes d’avaluació junt amb les millores tecnològiques i les millores incorporades al sistema educatiu, han facilitat i promogut l’accés aquest tipus d’informació. En els darrers anys aquest tema ha adquirit una importància capdal gràcies a l’Espai Europeu d’Educació Superior (EEES). En el nou marc de l’EEES els alumnes han d’adquirir unes competències realitzant diferents activitats d’aprenentatge presencials i no presencials. Per tant un dels aspectes fonamentals per desenvolupar amb garanties l’EEES és portar a terme per part del professorat un seguiment de l’aprenentatge de l’alumne i el control de les activitats proposades. Aquestes feines comporten, sens dubte, una major dedicació del professor a les tasques docents. Són moltes les tècniques que es poden utilitzar per fer el seguiment de l’aprenentatge dels alumnes, però en els darrers anys apareix amb força l’ús de les TIC, i més concretament l’ús de plataformes d’e-learning, que permeten tant als alumnes com als professors realitzar el treball des d’on volen i quan volen. Aquestes eines han suposat un canvi en el model d’aprenentatge dels alumnes, una revolució en la comunicació entre professors i alumnes i fins hi tot un replantejament en la confecció i difusió del material que s’ha de treballar tant a classe com a fora. Hom veu que l’ús d’aquestes plataformes s’ha anat generalitzant de tal forma que aquestes han esdevingut una eina de treball més d’alumnes i professors. A la Universitat de Girona una de les plataformes d’e-learning més utilitzades per fer un seguiment del treball dels alumnes és la plataforma ACME (Avaluació Continuada i Millora de l’Ensenyament). Aquesta plataforma web, a més a més del seguiment i control de l’alumnat, permet la correcció automàtica i on-line de gran varietat de problemes i activitats de temàtiques com matemàtiques, química, economia, electrònica, publicitat i relacions públiques, bases de dades, estadística... L’ACME és una eina que realitza un seguiment exhaustiu del treball realitzat per l’alumne a través de la plataforma, permeten al professor conèixer tot un seguit d’informació que anys endarrere era impensable. El volum de dades recollit en els darrers 3 anys ens permet veure quins són els comportaments de treball semipresencial que tenen els alumnes: quins dies treballen, a quines hores, durant quines hores del dia són més efectius, quantes hores dediquen... i tot un seguit de dades que ens pot donar un punt de referència dels hàbits de treballs dels nostres alumnes

Ampliació de les funcionalitats de l’ACME

L’ACME és una plataforma d’e-learning orientada a la correcció automàtica d’exercicis. Cada alumne té un dossier personalitzat d’exercicis, on cada exercici pot tenir una forma particular de correcció amb un nucli corrector diferent. Actualment l’ACME té diversos tipus d’exercicis entre ells hi ha: els matemàtics, els de programació, els de bases de dades relacionals, tipus tests, cert o fals, etc. Tot i tenir molts tipus d’exercicis de correcció automàtica, l’ACME no disposa de gaires exercicis de correcció manual, ni de treball en grup ni tampoc sistemes per avaluar de forma correcta els exercicis d’aquesta tipologia. Altres mancances del sistema les trobem en que no disposa de cap sistema d’importació i exportació de les assignatures i és per això que quan s'acaba un curs, si el professor vol repetir el mateix l'any següent ho ha de tornar a introduir tot. El que es pretén amb aquest és incorporar un conjunt de nous mòduls a l’ACME que permetin als usuaris facilitar les seves tasques i la interacció entre ells intentant cobrir les diferents mancances que hi ha.

Detección automática de presencia/ausencia de atún en imágenes obtenidas mediante sonar de largo alcance a bordo de buques pesqueros y aplicación de Optical Character Recognition (OCR) para la extracción de parámetros

En esta tesis de máster se presenta una metodología para el análisis automatizado de las señales del sonar de largo alcance y una aplicación basada en la técnica de reconocimiento óptico de Optical Character Recognition, caracteres (OCR). La primera contribución consiste en el análisis de imágenes de sonar mediante técnicas de procesamiento de imágenes. En este proceso, para cada imagen de sonar se extraen y se analizan las regiones medibles, obteniendo para cada región un conjunto de características. Con la ayuda de los expertos, cada región es identi cada en una clase (atún o no-atún). De este modo, mediante el aprendizaje supervisado se genera la base de datos y, a su vez, se obtiene un modelo de clasi cación. La segunda contribución es una aplicación OCR que reconoce y extrae de las capturas de pantalla de imágenes de sonar, los caracteres alfanuméricos correspondientes a los parámetros de situación (velocidad, rumbo, localización GPS) y la confi guración de sonar (ganancias, inclinación, ancho del haz). El objetivo de este proceso es el de maximizar la e ficiencia en la detección de atún en el Golfo de Vizcaya y dar el primer paso hacia el desarrollo de un índice de abundancia de esta especie, el cual esté basado en el procesamiento automático de las imágenes de sonar grabadas a bordo de la ota pesquera durante su actividad pesquera rutinaria.

O ativismo judicial do STF e a decretação da perda automática do mandato eletivo dos deputados federais condenados no 'mensalão'

Analisa, sob a perspectiva multidimensional adotada nesta pesquisa, o ativismo judicial que ocupa uma postura de supremacia institucional do Poder Judiciário que, dentro de uma dada realidade sociopolítica e constitucional, expande seu poder político-decisório em face dos demais Poderes, manifestando-se em uma ou várias dimensões.

Generación automática de VHDL mediante Simulink HDL coder y aplicación al procesado de señales

Gordon E. Moore, co-fundador de Intel, predijo en una publicación del año 1965 que aproximadamente cada dos años se duplicaría el número de transistores presentes en un circuito integrado, debido a las cada vez mejores tecnologías presentes en el proceso de elaboración. A esta ley se la conoce como Ley de Moore y su cumplimiento se ha podido constatar hasta hoy en día. Gracias a ello, con el paso del tiempo cada vez se presentan en el mercado circuitos integrados más potentes, con mayores prestaciones para realizar tareas cada vez más complejas. Un tipo de circuitos integrados que han podido evolucionar de forma importante por dicho motivo, son los dispositivos de lógica programable, circuitos integrados que permiten implementar sobre ellos las funciones lógicas que desee implementar el usuario. Hasta hace no muchos años, dichos dispositivos eran capaces de implementar circuitos compuestos por unas pocas funciones lógicas, pero gracias al proceso de miniaturización predicho por la Ley de Moore, hoy en día son capaces de implementar circuitos tan complejos como puede ser un microprocesador; dichos dispositivos reciben el nombre de FPGA, siglas de Field Programmable Gate Array. Debido a la mayor capacidad y por lo tanto a diseños más complejos implementados sobre las FPGA, en los últimos años han aparecido herramientas cuyo objetivo es hacer más fácil el proceso de ingeniería dentro de un desarrollo en este tipo de dispositivos, como es la herramienta HDL Coder de la compañía MathWorks, creadores también Matlab y Simulink, unas potentes herramientas usadas ampliamente en diferentes ramas de la ingeniería. El presente proyecto tiene como objetivo evaluar el uso de dicha herramienta para el procesado digital de señales, usando para ello una FPGA Cyclone II de la casa Altera. Para ello, se empezará analizando la herramienta escogida comparándola con herramientas de la misma índole, para a continuación seleccionar una aplicación de procesado digital de señal a implementar. Tras diseñar e implementar la aplicación escogida, se deberá simular en PC para finalmente integrarla en la placa de evaluación seleccionada y comprobar su correcto funcionamiento. Tras analizar los resultados de la aplicación de implementada, concretamente un analizador de la frecuencia fundamental de una señal de audio, se ha comprobado que la herramienta HDL Coder, es adecuada para este tipo de desarrollos, facilitando enormemente los procesos tanto de implementación como de validación gracias al mayor nivel de abstracción que aporta.

Sistema para la detección automática de pulso y respiración en la señal de aceleración.

ES]El proyecto descrito en este documento consiste en la investigación sobre la viabilidad de detección automática de pulso y respiración a partir de la señal de aceleración, medida mediante un acelerómetro posicionado bien en la carótida o en el pecho del paciente. El motivo de la utilización de la aceleración está principalmente en el bajo costo y por la tecnología sencilla de los acelerómetros. En este documento se explica cómo se ha montado una plataforma para la adquisición de las señales de aceleración y el electrocardiograma emitido por el corazón, en sujetos sanos. Con la base de señales adquirida se ha diseñado un método basado en el dominio de la frecuencia para detectar la presencia de pulso y respiración. Los resultados son prometedores y confirman la posibilidad de desarrollar estos detectores. Las herramientas desarrolladas podrán ser utilizadas para análisis futuros y para seguir avanzando en este estudio.

Modelagem automática de sistemas fuzzy utilizando otimização por enxame de partículas.

Esta dissertaçãoo investiga a utilização de Particle Swarm Optimization (PSO) para a obtenção automática de sistemas fuzzy do tipo Mamdani, tendo como insumo apenas as definições das variáveis do problema, seus domínios e a função objetivo. Neste trabalho utilizam-se algumas técnicas conhecidas na tentativa de minimizar a obtenção de sistemas fuzzy que não sejam coerentes. As principais técnicas usadas são o método de Wang e Mendell, chamado de WM, para auxiliar na obtenção de regras, e os conceitos de clusterização para obtenção das funções de pertinência. Na função de avaliação proposta, considera-se não somente a acurácia do sistema fuzzy, através da medida do erro, mas também a sua interpretabilidade, através da medida da compacidade, que consiste da quantidade de regras e funções membro, da distinguibilidade, que permite evitar que as funções membro não se confundam, e da completude, que permite avaliar que as funções membro abranjam o máximo do domínio. O propósito deste trabalho consiste no desenvolvimento de um algoritmo baseado em PSO, cuja função de avaliação congregue todos esses objetivos. Com parâmetros bem definidos, o algoritmo pode ser utilizado em diversos tipos de problemas sem qualquer alteração, tornando totalmente automática a obtenção de sistemas fuzzy. Com este intuito, o algoritmo proposto é testado utilizando alguns problemas pré-selecionados, que foram classificados em dois grupos, com base no tipo de função: contínua ou discreta. Nos testes com funções contínuas, são utilizados sistemas tridimensionais, com duas variáveis de entrada e uma de saída, enquanto nos testes com funções discretas são utilizados problemas de classificação, sendo um com quatro variáveis e outro com seis variáveis de entrada. Os resultados gerados pelo algoritmo proposto são comparados com aqueles obtidos em outros trabalhos.

Metodologia para a determinação automática de parâmetros morfométricos de bacias hidrográficas.

O trabalho apresenta uma metodologia automatizada em Sistemas de Informações Geográficas que visa mensurar a topografia de bacias hidrográficas por meio da obtenção de parâmetros que denotam suas características geomorfológicas, fornecendo informações importantes sobre a capacidade de suporte das mesmas aos diversos usos da terra.

Estação meteorológica automática da Embrapa Meio Ambiente.

2006

Identificação automática de horizontes diagnósticos superficiais e horizonte B textural de solos

2005

Desenvolvimento e execução automática de testes funcionais do SIGI.

Desenvolvimento de testes funcionais: técnicas de teste; casos de teste. Ferramenta para automação de testes: diretrizes para utilização do Vermont; problemas e soluções.

Análise automática de Outorga de recursos hídricos para irrigação.

Este trabalho apresenta este módulo, cujo objetivo é auxiliar a ANA na tomada de decisões de forma prática por meio da Web e reduzir o tempo para análise de outorga para irrigação.

Relação entre pressão e volume para implantação da técnica in vitro semi-automática de produção de gases na Embrapa Cerrados.

2008