Reconocimiento facial

El presente proyecto trata sobre uno de los campos más problemáticos de la inteligencia artificial, el reconocimiento facial. Algo tan sencillo para las personas como es reconocer una cara conocida se traduce en complejos algoritmos y miles de datos procesados en cuestión de segundos. El proyecto comienza con un estudio del estado del arte de las diversas técnicas de reconocimiento facial, desde las más utilizadas y probadas como el PCA y el LDA, hasta técnicas experimentales que utilizan imágenes térmicas en lugar de las clásicas con luz visible. A continuación, se ha implementado una aplicación en lenguaje C++ que sea capaz de reconocer a personas almacenadas en su base de datos leyendo directamente imágenes desde una webcam. Para realizar la aplicación, se ha utilizado una de las librerías más extendidas en cuanto a procesado de imágenes y visión artificial, OpenCV. Como IDE se ha escogido Visual Studio 2010, que cuenta con una versión gratuita para estudiantes. La técnica escogida para implementar la aplicación es la del PCA ya que es una técnica básica en el reconocimiento facial, y además sirve de base para soluciones mucho más complejas. Se han estudiado los fundamentos matemáticos de la técnica para entender cómo procesa la información y en qué se datos se basa para realizar el reconocimiento. Por último, se ha implementado un algoritmo de testeo para poder conocer la fiabilidad de la aplicación con varias bases de datos de imágenes faciales. De esta forma, se puede comprobar los puntos fuertes y débiles del PCA. ABSTRACT. This project deals with one of the most problematic areas of artificial intelligence, facial recognition. Something so simple for human as to recognize a familiar face becomes into complex algorithms and thousands of data processed in seconds. The project begins with a study of the state of the art of various face recognition techniques, from the most used and tested as PCA and LDA, to experimental techniques that use thermal images instead of the classic visible light images. Next, an application has been implemented in C + + language that is able to recognize people stored in a database reading images directly from a webcam. To make the application, it has used one of the most outstretched libraries in terms of image processing and computer vision, OpenCV. Visual Studio 2010 has been chosen as the IDE, which has a free student version. The technique chosen to implement the software is the PCA because it is a basic technique in face recognition, and also provides a basis for more complex solutions. The mathematical foundations of the technique have been studied to understand how it processes the information and which data are used to do the recognition. Finally, an algorithm for testing has been implemented to know the reliability of the application with multiple databases of facial images. In this way, the strengths and weaknesses of the PCA can be checked.

Introducción a las herramientas matemáticas para la formulación de ecuaciones generalmente covariantes

Este documento es una introducción con carácter divulgativo a los fundamentos matemáticos básicos empleados por Albert Einstein para la formulación de la teoría de relatividad general. La mayoría de ellos se pueden emplear en otros campos como la óptica no lineal o la teoría de cuerdas, donde muchas expresiones deben tener el carácter de covarianza general, es decir, sus expresiones no deben depender del sistema de referencia escogido.

Introducción a las herramientas matemáticas para la formulación de ecuaciones generalmente covariantes

Este documento es una introducción con carácter divulgativo a los fundamentos matemáticos básicos empleados por Albert Einstein para la formulación de la teoría de relatividad general. La mayoría de ellos se pueden emplear en otros campos como la óptica no lineal o la teoría de cuerdas, donde muchas expresiones deben tener el carácter de covarianza general, es decir, sus expresiones no deben depender del sistema de referencia escogido.

Introducción a las herramientas matemáticas para la formulación de ecuaciones generalmente covariantes

Este documento es una introducción con carácter divulgativo a los fundamentos matemáticos básicos empleados por Albert Einstein para la formulación de la teoría de relatividad general. La mayoría de ellos se pueden emplear en otros campos como la óptica no lineal o la teoría de cuerdas, donde muchas expresiones deben tener el carácter de covarianza general, es decir, sus expresiones no deben depender del sistema de referencia escogido.

Exàmens resolts de FMI 2, Grau en Enginyeria Civil, Cursos 2010-2011, 2011-2012 i 2012-2013

Exàmens resolts de Fonaments Matemàtics de l'Enginyeria II del Grau en Enginyeria Civil de la Universitat d'Alacant dels cursos 2010-2011, 2011-2012 i 2012-2013

Evaluación continua a través del trabajo autónomo del estudiante

Durante el curso académico 2014-2015 se han introducido distintas mejoras en la metodología docente y en el sistema de evaluación de la asignatura Fundamentos Matemáticos de la Ingeniería II del primer curso del Grado en Ingeniería Civil de la Universidad de Alicante. Su objetivo es reducir el tiempo dedicado a la clase magistral en el desarrollo de la asignatura, en aras de fomentar la participación del alumnado. También se pretende conseguir un mayor aprovechamiento de las clases prácticas mediante la resolución autónoma de diversos ejercicios y problemas por parte de los alumnos, contando con la supervisión del profesorado. Este último aspecto es fundamental en las materias propias de las Matemáticas. En esta comunicación detallaremos las acciones específicas adoptadas con estos fines, tanto en la dinámica de las clases como en la forma de evaluación. Así mismo, se realizará un análisis cuantitativo y cualitativo de los resultados alcanzados y de las percepciones que profesores y alumnos tienen sobre los cambios introducidos.

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.

Análise de aspectos sociocientíficos em questões de química do Enem: subsídio para a elaboração de material didático para a formação cidadã

Acompanha: Manual didático: o emprego de aspectos sociocientíficos no ensino de química

Docência e integração na educação básica em Portugal

No terceiro capítulo – intitulado Docência e integração na educação básica em Portugal – problematiza-se a relação entre a educação tradicional e a educação democrática visando compreender por que é que, sendo mais adequada a pedagogia da participação para o desenvolvimento global da criança, se continua a manter, nas escolas portuguesas, uma pedagogia suportada pela uniformidade de métodos e programas. Metodologicamente fundamentado nos princípios orientadores relativos à investigação-ação, este capítulo estuda as práticas potenciadoras de uma educação integrada e os contributos da formação em contexto. O discurso dos professores envolvidos no estudo realça a parca formação (inicial e contínua) relativamente à prática de um ensino integrado e participado e salienta a compartimentação disciplinar como fator constrangedor. Afirma também a necessidade de redefinição no trabalho do professor, nomeadamente na autorreflexão das práticas, na partilha dessas práticas com os seus pares e no desenvolvimento profissional ao longo da vida. Constata, porém, que o trabalho de cooperação expressa-se sobretudo na partilha a dois. A análise dos discursos atesta também a hipótese das práticas pedagógicas tenderem mais para uma pedagogia transmissiva do que para uma pedagogia da participação.

Gestão de I&D em projectos de desenvolvimento de novos produtos

É hoje em dia inquestionada a importância da inovação para o crescimento económico e para o desenvolvimento sustentado das empresas e da sociedade. Sendo verdade que o desempenho em termos de inovação das empresas, regiões ou países está condicionado por múltiplos factores de contexto, não é menos verdade que o verdadeiro motor desse desempenho são as iniciativas das empresas e das organizações. O sucesso dos projectos de inovação depende de um elevado número de factores, alguns dos quais são frequentemente negligenciados aquando da análise dos processos de inovação, tais como alianças estratégicas e parcerias, estrutura dos consórcios, protecção dos direitos de propriedade intelectual, estratégias de exploração dos resultados dos projectos, etc. Este artigo centra-se na análise e caracterização do processo de inovação em projectos de desenvolvimento de novos produtos levados a cabo por consórcios liderados por empresas industriais em Portugal. Após uma breve introdução ao problema, descreve-se de forma sucinta o enquadramento metodológico proposto e apresentam-se e discutem-se resultados obtidos através de um estudo conduzido pelo INESC Porto e pelo Observatório das Ciências e do Ensino Superior (OCES) do Ministério da Ciência, Inovação e Ensino Superior (MCIES).

El rol del alumno en clase: de la observación a la acción

Con el propósito de aumentar el aprendizaje activo del alumno durante las clases se han introducido distintas mejoras en la metodología docente y en el sistema de evaluación de la asignatura Fundamentos Matemáticos de la Ingeniería II del primer curso del Grado en Ingeniería Civil de la Universidad de Alicante durante el curso 2014-2015. Su objetivo es reducir el tiempo dedicado a la clase magistral, en la que el alumno tiene un rol fundamentalmente observador, y aumentar la participación activa del alumno. Esto se ha conseguido incentivando la resolución autónoma de diversos ejercicios y problemas por parte de los alumnos por dos vías: (1) cambiando la dinámica de las clases prácticas, y (2) aumentando el número de exámenes en la evaluación continua. En el primer caso se cuenta con la supervisión del profesor, mientras que en la segunda se obtiene una realimentación del trabajo realizado. El resultado de esta experiencia es dispar. Por un lado, los alumnos no han encontrado una mejora en la nueva dinámica de clase, pero sí han aceptado muy favorablemente el aumento en el número de exámenes, hasta el punto de que al 80% le gustaría que otras asignaturas adaptaran este proceso de evaluación.

O ensino de geografia no trabalho dos professores e dos alunos dos cursos técnicos integrados ao nível médio do Instituto Federal de Educação, Ciência e Tecnologia do Piauí (IFPI)

Pós-graduação em Geografia - IGCE

Construção de uma escala para avaliação da pro ciência em conteúdos matemáticos básicos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Planejamento integrado de uso da terra: uma disciplina integradora no ensino da agronomia na UFRGS

A disciplina Planejamento Integrado de Uso da Terra, do Curso de Agronomia da Universidade Federal do Rio Grande do Sul, associa os conhecimentos da área de solos com os demais do Curso de Agronomia, interligando-os e dando-lhes consistência e significado. A disciplina vale-se do planejamento integrado para reunir o conhecimento agronômico num projeto de exploração e desenvolvimento sustentável de uma ou mais propriedades rurais por meio de uma seqüência de atividades, assim definidas: caracterização regional, levantamento dos recursos naturais existentes na propriedade, levantamento do seu uso atual, diagnóstico do sistema produtivo e elaboração de uma proposta de exploração sustentável da propriedade, que é apresentada para a comunidade local. Os resultados desta experiência demonstram que a disciplina tem sido muito proveitosa no treinamento e aperfeiçoamento dos estudantes, tendo recebido suporte e apoio por parte do corpo discente, dos agricultores e das organizações envolvidas no processo de planejamento agrícola.

Ciência da computação para crianças

Este trabalho apresenta uma proposta metodológica para o ensino de Ciência da Computação para Crianças, elaborada, a partir de pesquisas e estudos, tendo, como objetivo, a aplicação dessa metodologia para correção e testes. Devido à disseminação dos computadores e de seu uso como parte da formação dos alunos, muito se tem discutido sobre a união entre os recursos tecnológicos e a educação. A inclusão da informática no processo educativo vem sendo direcionada para a utilização e classificação de produtos de software educacional, em técnicas de comunicação à distância, no uso de recursos de multimídia ou de realidade virtual para apoio ao conteúdo abordado pelo professor e, também, para a construção de ambientes computacionais, que possam proporcionar uma mudança de paradigma educacional. No entanto não adianta tornar disponível toda essa tecnologia, se, rapidamente, são abandonadas e são substituídas ferramentas e técnicas dentro da Computação. Por isto, tão importante quanto o ensino das tecnologias correntes é o ensino dos conceitos fundamentais da Ciência da Computação. Esses conceitos, além de proporcionarem um embasamento teórico para entendimento da ciência envolvida na computação, também propiciam o desenvolvimento de um raciocínio lógico e formal, assim como de habilidades que são exigidas no mundo atual. Este trabalho apresenta pesquisas de campo sobre o uso da Informática Educativa em algumas escolas, a identificação, através de professores da graduação e pós-graduação, de alguns dos conceitos fundamentais da Ciência da Computação e uma pesquisa sobre o que crianças gostariam de aprender sobre Ciência da Computação. A partir dos resultados, são elaboradas teorias, demonstrações e exercícios para o ensino destes para crianças. Essa metodologia é aplicada a duas turmas heterogêneas de crianças para sua validação. Pretende-se que o estudo desses conceitos aguce o senso crítico e capacite as crianças não só a usarem as tecnologias mas também a entenderem seu funcionamento.