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

Erstellung einer Blitzschutzrichtlinie für die Produktpalette der FAM im Auftrag der "Gesellschaft für Prozeßautomation mbH" (GPA)"

On the basis of the global use of the FAM installations and systems, their location, type and height, a lightning protection system is required, which protects humans and machines from danger of a lightning. At the beginning the development, the threat and the potential for destruction of lightning are described. Besides the resulting solid normative calculation models and tables are presented. Then, the product portfolio of the FAM is characterized. From this demonstration models are selected; on the one hand a model for the totality of all portable devices and the other hand a model which defines the power plants. Subsequently, the risk management and a strengths and weaknesses analysis are performed. After that, with graphical and mathematical models, these weaknesses as well as the functional equipotential bonding and grounding system and its dimensioning are investigated and solutions are demonstrated. The following is a coordination of lightning protection standard with other directives and standards in order to classify the resulting internal lightning protection and protective measures against electromagnetic pulse and to generate a uniform protection and application platform. Furthermore, problems of the economy of protective circuit is shown and a solution is given. Finally, the indicated possible solutions are replaced by definitions. The main classification and structure of lightning protection directive are shown and exemplarily applied.

Creating and using a non-dedicated HPC cluster with ParallelKnoppix

This note describes ParallelKnoppix, a bootable CD that allows econometricians with average knowledge of computers to create and begin using a high performance computing cluster for parallel computing in very little time. The computers used may be heterogeneous machines, and clusters of up to 200 nodes are supported. When the cluster is shut down, all machines are in their original state, so their temporary use in the cluster does not interfere with their normal uses. An example shows how a Monte Carlo study of a bootstrap test procedure may be done in parallel. Using a cluster of 20 nodes, the example runs approximately 20 times faster than it does on a single computer.

ParallelKnoppix - Rapid deployment of a linux cluster for MPI parallel processing using non-dedicated computers

This note describes ParallelKnoppix, a bootable CD that allows creation of a Linux cluster in very little time. An experienced user can create a cluster ready to execute MPI programs in less than 10 minutes. The computers used may be heterogeneous machines, of the IA-32 architecture. When the cluster is shut down, all machines except one are in their original state, and the last can be returned to its original state by deleting a directory. The system thus provides a means of using non-dedicated computers to create a cluster. An example session is documented.

Dance movement patterns recognition

"Es tracta d'un projecte dividit en dues parts independents però complementàries, realitzades per autors diferents. Aquest document conté originàriament altre material i/o programari només consultable a la Biblioteca de Ciència i Tecnologia"