Os robots nas aulas de informática: plataformas e problemas

Desde há alguns anos que vêm sendo desenvolvidas, em vários sítios do mundo, experiências com a utilização de Robots como uma ferramenta educativa, com especial incidência ao nível do Ensino Superior e em alguns casos no Ensino Básico ou Secundário. Neste trabalho de investigação pretende-se fazer uma análise crítica sobre o uso dos robots no ensino da programação nas disciplinas de Informática do Ensino Secundário e disciplina de Inteligência Artificial da Licenciatura do Curso de Engenharia Informática. Com o objectivo de usar o robot como mediador entre o aluno e o ensino da programação, identificamos os conteúdos programáticos das diversas disciplinas do Ensino Secundário e fizemos o levantamento de ferramentas e soluções tecnológicas existentes que pudessem ser aplicadas nas aulas. Como contributo desta investigação pretende-se: (i)disponibilizar uma série de problemas adequados aos vários conteúdos programáticos, para serem utilizados nas salas de aulas; (ii) criar e optimizar ferramentas, mais concretamente plataformas de programação, para os alunos resolverem os problemas através dos robots.

Gestão de conhecimento e comunidade de prática: aplicações escolares

Neste trabalho de investigação pretende-se fazer uma análise crítica sobre o que são Comunidades de Prática (CoP), Gestão de Conhecimento e Conhecimento. Nesta análise identificamos ferramentas de gestão de conhecimento a serem aplicadas nas Comunidades de Prática. Como corolário desta investigação, disponibilizamos uma aplicação informática para dinamizar uma comunidade de prática numa escola secundária.

Argumentative systems in robots

Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.

Design e gestão de sistemas, robótica, redes e médias interativos

Este relatório pretende ilustrar a experiência profissional obtida, principalmente após a conclusão, em 1998, da Licenciatura em Engenharia de Sistemas e Computadores na Universidade da Madeira. Esta experiência circunscreve-se à proficiência nas áreas de redes de comunicação de dados, automação e robótica e desenvolvimento de média interativos (tanto na vertente de CD-ROMs como orientado à Internet). Embora também disponha de experiência no ensino destas áreas citadas, foram privilegiados os projetos com uma relevância mais técnica atendendo à natureza deste mestrado. Sendo assim, são apresentadas nestas quatro áreas primeiro uma descrição dos projetos realizados no âmbito do percurso profissional, para depois descrever uma implementação (relativa a cada área) utilizando uma metodologia científica que fora alvo de estudo na componente letiva deste mestrado, salientando as virtudes e defeitos de ambas as abordagens e comparando os resultados obtidos. Em síntese, é analisado o projeto de gestão de sistemas de redes das Escolas Secundárias Francisco Franco e Jaime Moniz (no âmbito do desempenho das funções de Diretor das Instalações Informáticas em ambas as instituições) culminando numa proposta de implementação utilizando equipamentos da Cisco; é analisado o projeto de CD-ROM sobre a Reserva Natural das Ilhas Desertas para depois completar um jogo educativo utilizando uma metodologia científica de Game Design; são descritos os websites desenvolvidos (com especial ênfase nos realizados enquanto técnico superior de informática na Secretaria Regional do Ambiente e dos Recursos Naturais) para concluir com uma proposta de implementação de um sistema de marcação de reuniões orientado para a Cloud; finalmente, é descrito a utilização dos kits Lego Mindstorms para o ensino da programação, propondo uma implementação de baixo custo (alternativa) baseada num Raspberry Pi e componentes acessórios (tanto estandardizados como construídos com uma RepRap). Em suma, é contraposto o rigor e método do ensino académico com o pragmatismo e metas de produtividade exigidas no mercado de trabalho.

Dados, informação, conhecimento, ensino de programação, a inteligência empresarial e as suas motivações

O objetivo deste relatório é dar a conhecer um possível percurso de carreira para um aluno que, à entrada no mundo profissional, se interessou por sistemas de suporte à decisão e mais tarde enveredou por uma carreira de docente. Descrevi a minha experiência profissional desde a entrada no curso de Engenharia Informática e as opções que fui tomando durante e depois do curso, demonstrativas do interesse e tendências para a área de suporte à decisão dentro das TI, help desk, assim como pela área do ensino. Assim, o facto de ter trabalhado em diversas áreas e em diversas entidades, colaborei destacadamente na CENTRIA, Portugal Telecom (System Care) e Escola Secundária de Francisco Franco. Nestas entidades fiz desenvolvimento aplicacional em Text Mining, na definição de requisitos, na qualidade e integração de dados e na transmissão de ensinamentos. Esta multiplicidade de contextos permitiu a minha evolução profissional e humana. O curso na FCT-UNL capacitou-me para ser tolerante à frustração, devido aos inúmeros obstáculos com que me fui deparando ao longo do curso, transmitindo-me, assim, uma capacidade de adaptação ao nível das mais diversas tecnologias e metodologias. Ao longo da minha carreira, e graças a todos os ensinamentos assimilados, tenho conseguido ultrapassar sempre as tarefas difíceis a nível técnico, funcional e de gestão que me foram surgindo. Espero transmitir claramente como funcionam os meus projetos, as suas componentes, dificuldades e particularidades.

Criação de uma estação de testes para um micro-helicóptero autónomo

Os UAV (Unmaned Air Vehicles) têm sido cada vez mais utilizados em vários ramos, como a geologia, a segurança pública, a robótica e na obtenção de imagens. Visto existir grande interesse no uso do equipamento, foi comprado um quadcopter com o objetivo poder tornálo o mais autónomo possível. Esta tese contém informações dos elementos utilizados nesse Arducopter e ainda a informação dos sensores que podem ser adaptados ao mesmo. Explica também como está estruturado todo o código e como o UAV pode ser configurado antes do voo. São também apresentados todos os resultados obtidos dos primeiros voos e as evoluções e alterações após cada teste.

Contribuição para o estudo da aprendizagem da matemática e da programação em comunidades virtuais de prática com foco no uso de robots como mediadores da aprendizagem

Contribuição para o Estudo da Aprendizagem da Matemática e da Programação em Comunidades Virtuais de Prática com Foco no Uso de Robots como Mediadores da Aprendizagem O propósito deste estudo, desenvolvido no âmbito de um projeto de investigação que envolveu a utilização de robots na aprendizagem colaborativa da Matemática e da Informática através da Web, é analisar e discutir a noção de participação e o processo de construção do conhecimento em comunidades virtuais de prática. O referido projeto foi desenvolvido em três etapas principais. Na primeira, foram selecionadas as ferramentas de comunicação a serem utilizadas. A segunda etapa envolveu a elaboração e contextualização dos problemas-desafio a serem resolvidos pelos grupos virtuais. A terceira e última etapa do projeto compreendeu o registo e a recolha dos dados e informações obtidos nas reuniões virtuais com grupos de alunos do Ensino Secundário e sua posterior análise, utilizando uma abordagem qualitativa de natureza interpretativa, tendo como referencial teórico a teoria da aprendizagem situada de Lave e Wenger e os conceitos subjacentes às comunidades de prática, objetivando com isto melhor compreender os efeitos das tecnologias sobre tais comunidades, bem como as características da aprendizagem realizada em espaços virtuais. A utilização de robots como mediadores da aprendizagem facilitou a exploração de conceitos abstratos fundamentais relativos às áreas da Matemática e da Informática, permitindo com isto que as tarefas de programação necessárias à resolução dos problemas propostos fizessem mais sentido, pelo facto dos resultados obtidos poderem ser concretizados no mundo real.

Desenvolvimento de serviços de publicação de anúncios publicitários na Ad8biz

Este relatório pretende apresentar tanto o projeto desenvolvido assim como a ex-periência vivenciada durante a realização do estágio curricular de conclusão de curso do Mestrado em Engenharia Informática, da Universidade da Madeira. O objetivo de principal foi de desenvolver as minhas áreas de conhecimento, de forma a torna-las em ferramentas úteis para o âmbito profissional. Durante este estágio, foi desenvolvido um projeto de veiculação de anúncios pu-blicitários para toda a rede da empresa ad8biz. Este projeto aborda métodos e técnicas publicitárias assim como, através de Engenharia Reversa, uma possível implementação. Na realização deste projeto foram também abordadas áreas como a Engenharia de Software e Gestão de Projetos, pois foram considerados aspetos relacionados com boas práticas e metodologias de desenvolvimento de software, renegociação de requisitos, e gestão de tarefas.

Desenvolvimento de software na Ad Infinitum Business

Este relatório tem como objetivo apresentar e descrever alguns projetos realizados, metodologias utilizadas e toda a experiência que adquiri durante o meu estágio curricular para finalizar o curso de Mestrado em Engenharia Informática da Universidade da Madeira. O principal objetivo deste estágio foi experienciar um ambiente empresarial e ganhar alguma experiência profissional, algo que é bastante requisitado no mercado de trabalho nos dias de hoje. Neste relatório estão referenciadas algumas das responsabilidades que me foram atribuídas, como a liderança de uma equipa e a apresentação de algumas soluções para certos problemas técnicos, bem como a implementação das mesmas. Serão também caracterizadas e criticadas algumas decisões, procedimentos e metodologias utilizadas pela empresa que afetaram de certa forma o desenvolvimento de software de um ponto de vista geral e o próprio sucesso da empresa. Este relatório poderá servir de exemplo, não só para soluções para um problema técnico semelhante aos que aqui apresentei, mas também demonstrar o resultado de certos procedimentos e metodologias utilizadas na empresa no desenvolvimento de software.

3D reconstruction through photographs

Humans can perceive three dimension, our world is three dimensional and it is becoming increasingly digital too. We have the need to capture and preserve our existence in digital means perhaps due to our own mortality. We have also the need to reproduce objects or create small identical objects to prototype, test or study them. Some objects have been lost through time and are only accessible through old photographs. With robust model generation from photographs we can use one of the biggest human data sets and reproduce real world objects digitally and physically with printers. What is the current state of development in three dimensional reconstruction through photographs both in the commercial world and in the open source world? And what tools are available for a developer to build his own reconstruction software? To answer these questions several pieces of software were tested, from full commercial software packages to open source small projects, including libraries aimed at computer vision. To bring to the real world the 3D models a 3D printer was built, tested and analyzed, its problems and weaknesses evaluated. Lastly using a computer vision library a small software with limited capabilities was developed.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.