eVentos 3 – Desenvolvimento de controlador difuso para navegação autónoma de veleiro

Controlar a navegação de uma embarcação, neste caso de um veleiro, pode ser fácil quando controlada por um humano. Mas, quando falamos em embarcação autónoma, existem algumas dificuldades relativas à programação da rota a que a embarcação deve seguir. Nesta dissertação foram feitas diversas análises referentes às técnicas de velejar, bem como a caracterização de um controlador utilizando lógica difusa, com a colaboração de sensores e atuadores. Para este estudo foi necessário equipar um veleiro com diversos sensores, atuadores e controladores. Por fim, foram realizados testes e análises que possibilitaram o aperfeiçoamento das técnicas de controlo. O objetivo é transformar um veleiro telecomandado num capaz de navegar autonomamente, por forma a ser introduzido posteriormente num de maior escala.

Programação de Percursos pelo Património Cultural da Universidade de Lisboa

Este relatório conclui o estágio no Museu Nacional de História Natural e da Ciência, em que o meu contributo passou por programar três percursos que valorizassem o património cultural da Universidade de Lisboa, no atual contexto. Através destes passeios, é pretendido envolver o público, em geral, no mundo universitário, dando a conhecer toda a riqueza e diversidade patrimonial, toda a história dos espaços pertença de cada uma das Faculdades da Universidade de Lisboa e o cruzamento possível e desejável com a história do País. Estes são alguns dos percursos possíveis, tendo em conta todo o património da Universidade de Lisboa, muito diverso, riquíssimo e em alguns casos pouco conhecido do grande público. É agora necessário que este património seja, também, incorporado em visitas turísticas.

Programação paralela estruturada aplicada a um problema de reconstrução de imagem

A Digital Breast Tomosynthesis (DBT) é uma técnica que permite obter imagens mamárias 3D de alta qualidade, que só podem ser obtidas através de métodos de re-construção. Os métodos de reconstrução mais rápidos são os iterativos, sendo no en-tanto computacionalmente exigentes, necessitando de sofrer muitas optimizações. Exis-tem optimizações que usam computação paralela através da implementação em GPUs usando CUDA. Como é sabido, o desenvolvimento de programas eficientes que usam GPUs é ainda uma tarefa demorada, dado que os modelos de programação disponíveis são de baixo nível, e a portabilidade do código para outras arquitecturas não é imedia-ta. É uma mais valia poder criar programas paralelos de forma rápida, com possibili-dade de serem usados em diferentes arquitecturas, sem exigir muitos conhecimentos sobre a arquitectura subjacente e sobre os modelos de programação de baixo nível. Para resolver este problema, propomos a utilização de soluções existentes que reduzam o esforço de paralelização, permitindo a sua portabilidade, garantindo ao mesmo tempo um desempenho aceitável. Para tal, vamos utilizar um framework (FastFlow) com suporte para Algorithmic Skeletons, que tiram partido da programação paralela estruturada, capturando esquemas/padrões recorrentes que são comuns na programação paralela. O trabalho realizado centrou-se na paralelização de uma das fases de reconstru-ção da imagem 3D – geração da matriz de sistema – que é uma das mais demoradas do processo de reconstrução; esse trabalho incluiu um método de ordenação modificado em relação ao existente. Foram realizadas diferentes implementações em CPU e GPU (usando OpenMP, CUDA e FastFlow) o que permitiu comparar estes ambientes de programação em termos de facilidade de desenvolvimento e eficiência da solução. A comparação feita permite concluir que o desempenho das soluções baseadas no FastFlow não é muito diferente das tradicionais o que sugere que ferramentas deste tipo podem simplificar e agilizar a implementação de um algoritmos na área de recons-trução de imagens 3D, mantendo um bom desempenho.

Promoção da autonomia dos alunos na aprendizagem de programação para a WEB

Relatório de estágio de mestrado em Ensino de Informática

Aulas interativas com recurso à exposição: uma metodologia para o ensino da linguagem de programação Python

Relatório de estágio de mestrado em Ensino de Informática

Um modelo de programação inteira para a otimização da distribuição do serviço docente

Dissertação de mestrado em Engenharia Industrial

Kids Media Lab: Tecnologias e a aprendizagem da programação em idade Pré-escolar

Sabedores da realidade tecnológica que envolve as crianças, sentimos necessidade de conhecer aprofundadamente como é que as crianças aprendem, ou seja, como estruturam e desenvolvem o seu pensamento, nesta relação com as tecnologias e através da programação. A presente investigação revela-se inovadora, quer no contexto em que vai ser implementado, quer nos objetivos da própria investigação. Pretendemos consolidar conhecimento sobre as teorias de aprendizagem, através da introdução da programação de forma lúdica e criativa nas atividades no jardim de infância. Compreender como as crianças reagem na utilização das tecnologias e da programação revela-se importante para conhecer o seu comportamento, o seu estilo de aprendizagem e permitir aos profissionais de educação antecipar ou não esta integração, nos seus contextos educativos. Conhecer como todo este processo de aprendizagem é vivenciado pelas crianças irá permitir avaliar quais os benefícios e riscos da utilização das tecnologias e da aprendizagem da programação em idade pré-escolar.

Logificação da Psicologia o itinerário intelectual de Edmundo Curvelo sobre a Mente, a Lógica e a Filosofia

Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente

SIC Notícias: o lugar da política: estudo da programação semanal da SIC Notícias no período das 21 às 24 horas

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

La lógica de la protección: la identificación de los sujetos protegidos por el derecho del trabajo. Los aportes de la enseñanza social de la iglesia a esta rama del derecho. La protección de los trabajadores del sector informal. Realidad y prospectiva.

El nuevo escenario de las relaciones laborales, se afirma, ha puesto en crisis el concepto de “dependencia” el cual no resulta ya eficaz para identificar al sujeto a proteger en el contrato de trabajo. Si la tesis es verdadera se afecta la toma de decisiones institucionales en el derecho del trabajo para el nuevo escenario, desde que aquel concepto tiene la función de individualización del sujeto “trabajador” para la imputación de los derechos y obligaciones. Sin embargo, parecería que lo que está detrás de un aparente problema conceptual tiene que ver más con una decisión valorativa en relación con el alcance de la “protección” que las leyes deberían garantizar a los trabajadores. En otras palabras, las discusiones en torno al concepto de “dependencia” están en función de la elección y configuración de las propiedades relevantes que caracterizan lógicamente al sujeto de protección: según se decida y conozca por “sujeto a proteger”, serán los diferentes modos de entender la “dependencia”. Si lo anterior se acepta, la doctrina social de la Iglesia como una ética crítica (justificada) tiene fuerte razones para intervenir en el debate y en la construcción del concepto de “dependencia” como una aporte a la toma de decisiones institucionales.

Optimización de Arquitecturas de Procesamiento Digital de Señales en Lógica Programable para Aplicaciones en Vuelos No Tripulados

En dispositivos electrónicos de última generación destinados a funciones de comunicación o control automático, los algoritmos de procesamiento digital de señales trasladados al hardware han ocupado un lugar fundamental. Es decir el estado de arte en el área de las comunicaciones y control puede resumirse en algoritmos basados en procesamiento digital de señales. Las implementaciones digitales de estos algoritmos han sido estudiadas en áreas de la informática desde hace tiempo. Sin embargo, aunque el incremento en la complejidad de los algoritmos modernos permite alcanzar desempeños atractivos en aplicaciones específicas, a su vez impone restricciones en la velocidad de operación que han motivado el diseño directamente en hardware de arquitecturas para alto rendimiento. En este contexto, los circuitos electrónicos basados en lógica programable, principalmente los basados en FPGA (Field-Programmable Gate Array), permiten obtener medidas de desempeño altamente confiables que proporcionan el acercamiento necesario hacia el diseño electrónico de circuitos para aplicaciones específicas “ASIC-VLSI” (Application Specific Integrated Circuit - Very Large Scale Integration). En este proyecto se analiza el diseño y la implementación de aquitecturas electrónicas para el procesamiento digital de señales, con el objeto de obtener medidas reales sobre el comportamiento del canal inalámbrico y su influencia sobre la estimación y el control de trayectoria en vehículos aéreos no tripulados (UAV, Unmanned Aerial Vehicle). Para esto se propone analizar un dispositivo híbrido basado en microcontroladores y circuitos FPGA y sobre este mismo dispositivo implementar mediante algoritmo un control de trayectoria que permita mantener un punto fijo en el centro del cuadro de una cámara de video a bordo de un UAV, que sea eficiente en términos de velocidad de operación, dimensiones y consumo de energía.

Programação do gladíolo (Gladiolus grandiflorus) andr. cv. Snow Princess, através de cormilhos tipo 7 e 8

Os cormilhos tipo 7 produziram bulbos e cormilhos dos tipos de 1 a 8 em maior quantidade que o tipo 8 e os bulbos tipos 1, 2, 3, 4 e 5 mais pesados. Os cormilhos tipo 8 também produziram bulbos e cormilhos dos tipos 1 a 8, porém seus cormilhos foram mais pesados que os cormilhos produzidos pelo tipo 7.

Regulación del proceso de secado de embutidos crudos-curados mediante la aplicación de lógica borrosa (fuzzy logic)

El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.

Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática

El presente trabajo define una taxonomía para la clasificación de recursos digitales del ámbito de la lógica tradicional, y más concretamente los recursos que se podrían generar en el ámbito de la asignatura de Lógica Matemática del plan de estudios de las titulaciones de Ingeniería Técnica de Gestión y de Sistemas impartidas en la Universitat Oberta de Catalunya (UOC).