Controlo fotogramétrico da condição de estruturas quebra-mar

Dissertação de natureza Científica para obtenção do grau de Mestre em Engenharia Civil

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Utilização de plataformas de fonte aberta no controlo de condição

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

O Tratamento da Violência na Informação de Serviço Público: o Caso da RTP

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

Contributos didático-pedagógicos do software smartmusic no ensino do clarinete

Mestrado em Ensino da Música.

O teatro como lugar de reinvenção de públicos: conceções sobre a formação do espectador

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Artística, na especialização de Teatro na Educação

Relações públicas versus marketing no setor da cultura em Portugal EGEAC: um estudo de caso

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.

Controlo de conversores de potência genéricos por FPGA

Dissertação para obtenção do grau de Mestre em Engenharia Eletrotécnica Ramo de Automação e Eletrónica Industrial

Building a person home behavior model based on data from smart house sensors 2015

Dissertação para a obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Desenvolvimento de simulador para orçamentação de infraestruturas elétricas

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Otimização estocástica para a exploração de centrais de concentração solar considerando incerteza e risco

Dissertação para obtenção do grau de Mestre em Engenharia Eletrotécnica

Automatização de sistemas de inspeção COGNEX

Com um mercado automóvel cada vez mais competitivo e com os construtores automóveis à procura de atingir os zero defeitos nos seus produtos, a Bosch Car Multimédia Portugal S.A, fabricante de sistemas multimédia para o mercado automóvel, tem como objetivo a qualidade perfeita dos seus produtos. Tal perfeição exige processos de fabrico cada vez mais evoluídos e com melhores sistemas de auxílio à montagem. Nesse sentido, a incorporação de sistemas de visão artificial para verificação da montagem correta dos componentes em sistemas multimédia tem vindo a crescer largamente. Os sistemas de inspeção visual da Cognex tornaram-se o standard da Bosch para a verifi-cação da montagem de componentes por serem sistemas bastante completos, fáceis de con-figurar e com um suporte técnico bastante completo. Estes sistemas têm vindo a ser inte-grados em diversas máquinas (postos) de montagem e nunca foi desenvolvida uma ferra-menta normalizada para integração destes sistemas com as máquinas. A ideia principal deste projeto passou por desenvolver um sistema (uma aplicação informá-tica) que permita controlar os indicadores de qualidade destes sistemas de visão, garantir o seguimento dos produtos montados e, ao mesmo tempo, efetuar cópias de segurança de todo o sistema para utilização em caso de avaria ou de troca de equipamento. Tal sistema foi desenvolvido recorrendo à programação de uma Dynamic Link Library (DLL), através da linguagem VisualBasic.NET, que permite às aplicações dos equipamen-tos (máquinas) da Bosch Car Multimédia comunicarem de uma forma universal e transpa-rente com os sistemas de inspeção visual da marca Cognex. Os objetivos a que o autor se propôs no desenvolvimento deste sistema foram na sua maioria alcançados e o projeto encontra-se atualmente implementado e em execução nas linhas de produção da Bosch Car Multimédia.

Os robots na aprendizagem da trignometria

Este trabalho foi elaborado no âmbito do Mestrado de Ensino de Matemática do 3º Ciclo do Ensino Básico e Secundário da Universidade da Madeira, no ano letivo de 2012/2013. Os grandes objetivos deste estudo são os de analisar qualitativamente uma atividade, para compreender como é que os alunos aprendem trigonometria, utilizando os robots NXT da Lego. De igual modo, se procede também, de forma sucinta, à apresentação do trabalho desenvolvido pelo grupo de estágio, ao longo da Prática de Ensino Supervisionado. Para a realização da investigação, foram recolhidos dados pelo investigador, através de registos audiovisuais do trabalho dos alunos, com câmara e vídeo. Com o fim de melhor estudar o problema aqui apresentado, o mesmo foi dissecado em três questões de investigação: (a) Que aprendizagens os alunos realizam com a montagem, programação e interação com os robots? (b) De que forma é que os alunos aprendem trigonometria, quando utilizam os Robots? (c) Quais as dificuldades manifestadas pelos alunos na resolução de problemas? As questões de investigação iluminaram a análise dos dados. Das conclusões que advêm deste estudo destaca-se o papel essencial da robótica e dos materiais manipuláveis, na construção e concetualização do conhecimento dos alunos.

Critérios para o planeamento de equipamentos de saúde. Análise de Caso de Estudo no contexto urbano da AML

Dissertação para a obtenção do Grau de Mestre em Engenharia Civil – Perfil Construção

Adaptação do programa PAC-Pórticos ao EC2 e sua integração com o conceito BIM

Atualmente existe uma grande variedade de programas de cálculo automático de estruturas de betão armado disponíveis no mercado, pois estes, cada vez mais, são inerentes ao desenvolvimento de cada projeto de estruturas. O PAC-Pórticos foi um dos primeiros a chegar ao mercado nacional surgindo no início da década de noventa. Foi totalmente desenvolvido em Portugal, tendo tido bastante sucesso nas suas vendas a nível nacional. O PAC-Pórticos não está preparado para operar diretamente nos mais recentes sistemas operativos nem foi programado para dimensionar os diversos elementos de betão armado seguindo os termos das normas mais recentes (Eurocódigos). O tema do presente trabalho vai de encontro aos atuais problemas do programa, assim sendo, definiu-se como primeiro objetivo a adaptação do PAC-Pórticos à regulamentação europeia para o betão armado. Numa 1ª fase, para a adaptação do PAC-Pórticos aos novos códigos, foi necessário estudar o programa em si, perceber o seu funcionamento e posteriormente realizar uma comparação entre a legislação para qual o software está programado, o Regulamento de Estruturas de Betão Armado e Pré-Esforçado (ainda em vigor) e a Norma Europeia correspondente a EN 1992-1-1 (Eurocódigo 2). Seguidamente, procedeu-se ao estudo e adaptação de todas as sub-rotinas de cálculo do PAC-Pórticos para o dimensionamento de vigas e pilares, tendo finalmente sido testado o novo código e comprovados os resultados obtidos com o mesmo. Na realização do presente trabalho, não foi ignorada a importância crescente da metodologia BIM que, nos dias de hoje, tende a ser implementada nos programas de cálculo de engenharia civil. Neste âmbito, o segundo objetivo é o de conseguir visualizar uma solução obtida do PAC-Pórticos numa qualquer ferramenta tridimensional BIM. Para tal, foram ponderadas várias hipóteses, mas optou-se por criar dois plug-in para o programa AutoCAD da Autodesk. O primeiro destes plug-in contempla o desenho das vigas e o segundo para os pilares, ambos em 3D e elaborados de forma automática.