Aplicação de princípios e ferramentas Lean numa empresa de produção de cablagens

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Análise de tempos e métodos e implementação de ferramentas lean num sistema produtivo

Dissertação de mestrado em Engenharia Industrial

Impressão FDM de pares de materiais funcionais

Dissertação de mestrado integrado em Engenharia de Materiais

Controlador com FPGA para um motor-in-wheel CA de fluxo axial

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Contribuição para equipamento didático de máquina de medição por coordenadas

Dissertação de mestrado integrado em Engenharia Mecânica

Máquina-ferramenta CNC para gravação: desenvolvimento de protótipo de baixo-custo

Dissertação de mestrado em Engenharia Mecatrónica

Desenvolvimento e optimização de uma ferramenta para o corte de papel

Dissertação de mestrado integrado em Engenharia Mecânica

Caracterização e otimização de uma vitrine frigorífica

Dissertação de mestrado integrado em Engenharia Mecânica

Sistema de controlo de processo e de organização numa empresa metalomecânica

Dissertação de mestrado em Engenharia Mecatrónica (área de especialização de Tecnologia de Manufatura)

Desenvolvimento de um protótipo didático de uma máquina de corte de pedra por fio diamantado

Dissertação de mestrado integrado em Engenharia Mecânica

Desenvolvimento de acessórios de máquinas de movimentação de terras recorrendo a soluções avançadas em aço de alta resistência

Dissertação de mestrado em Tecnologias de Manufatura

Aproveitamento de energia em sistemas de abastecimento de água

Dissertação de mestrado integrado em Engenharia Civil

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Estimativa dos parâmetros de compactação de solos usando técnicas de data mining

Dissertação de mestrado integrado em Engenharia Civil

bürstenlose doppeltgespeiste Induktionsmaschine als Generator in dezentralen Elektroenergieerzeugungsanlagen

Generator, Electric Machines, model, simulation, power generation, control, BDFIM