Ensino de bases de dados : testes, deteção de erros e correções

Relatório da prática de ensino supervisionada, Mestrado em Ensino de Informática, Universidade de Lisboa, 2014

Programming multicores safely : handling barrier deadlocks

Tese de doutoramento, Informática (Ciências da Computação), Universidade de Lisboa, Faculdade de Ciências, 2015

Compact tunable bandstop filters using defected microstrip structure for multi-standard wireless systems

A novel compact tunable bandstop filter using Defected Microstrip Structure (DMS) is presented in this paper. The structure utilizes a modified T shaped DMS which helps in miniaturization of the filter. To verify the concept, one such filter was simulated, designed, fabricated and tested. Measurements on a fabricated tunable filter confirm the accuracy of the design procedure. The tuning range of 20% is achieved, ranging from 2.26 GHz to 2.747 GHz. Tuning is achieved by using NXP BB179 varactor diode. A nonlinear distortion evaluation in a tunable filter was experimentally verified. Experimental verification shows the filter is highly linear.

Dgenco market balancing - cost repartition under light regulation markets

In this paper we present a new methodology, based in game theory, to obtain the market balancing between Distribution Generation Companies (DGENCO), in liberalized electricity markets. The new contribution of this methodology is the verification of the participation rate of each agent based in Nucléolo Balancing and in Shapley Value. To validate the results we use the Zaragoza Distribution Network with 42 Bus and 5 DGENCO.

Derivative-free optimization and filter methods to solve nonlinear constrained problems

In real optimization problems, usually the analytical expression of the objective function is not known, nor its derivatives, or they are complex. In these cases it becomes essential to use optimization methods where the calculation of the derivatives, or the verification of their existence, is not necessary: the Direct Search Methods or Derivative-free Methods are one solution. When the problem has constraints, penalty functions are often used. Unfortunately the choice of the penalty parameters is, frequently, very difficult, because most strategies for choosing it are heuristics strategies. As an alternative to penalty function appeared the filter methods. A filter algorithm introduces a function that aggregates the constrained violations and constructs a biobjective problem. In this problem the step is accepted if it either reduces the objective function or the constrained violation. This implies that the filter methods are less parameter dependent than a penalty function. In this work, we present a new direct search method, based on simplex methods, for general constrained optimization that combines the features of the simplex method and filter methods. This method does not compute or approximate any derivatives, penalty constants or Lagrange multipliers. The basic idea of simplex filter algorithm is to construct an initial simplex and use the simplex to drive the search. We illustrate the behavior of our algorithm through some examples. The proposed methods were implemented in Java.

Levantamento ambiental de uma indústria conserveira nos Açores

Dissertação de Mestrado em Ambiente, Saúde e Segurança.

Deportação e criminalidade nos Açores

Dissertação de Mestrado em Ciências Sociais.

Controlo directo de binário de uma máquina assíncrona trifásica

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

Coordenação e fiscalização de obras na empresa Landway, S.A.

Relatório de Estágio para obtenção do grau de Mestre em Engenharia na Área de Especialização em Edificações

Estratégias e internacionalização na manutenção e produção

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

Normalização de equipamento médico, requisitos técnicos e metrológicos

Os hospitais necessitam de desenvolver programas de gestão de equipamentos médicos, onde contenha informação pertinente e uma metodologia de planeamento eficaz, para a aquisição do equipamento médico novo, assim como otimizar o controlo metrológico destes equipamentos. Para tal foi fornecida informação sobre os aspetos mais relevantes a ter em conta na compra do equipamento médico, como as especificações e funcionalidades necessárias, normas a que o equipamento deve obedecer, garantias, manutenção e calibração/verificação quando aplicável. A escolha dos equipamentos médicos incidiu sobre os esfigmomanómetros e os monitores de sinais vitais. Estudou-se o funcionamento destes equipamentos e prosseguiu-se depois para a realização de entrevistas aos seus utilizadores, com o intuito de perceber a satisfação, os critérios e as necessidades relativas aos equipamentos existentes na ULSM. Em seguida foram realizadas as fichas de normalização onde se definiram as características físicas, fisiológicas e tecnológicas associadas a ambos os tipos de dispositivos médicos. Posteriormente estudaram-se as normas com as quais os equipamentos devem estar em conformidade para garantir o bom funcionamento. Por fim pesquisou-se quais os requisitos metrológicos, técnicos e os procedimentos de verificação a que os equipamentos devem obedecer. Este documento irá servir como suporte para a aquisição e controlo dos equipamentos médicos aqui estudados, melhorando a sua gestão, manutenção e controlo metrológico.

Ventiladores pulmonares – Seleção, aquisição e confiabilidade metrológica

A saúde em Portugal vive hoje mudanças significativas. A criação de modelos de Gestão Empresarial em instituições públicas visa a melhor qualidade ao menor custo. A aquisição de equipamento médico, cada vez mais sofisticado, exige das instituições esforços redobrados. A necessidade de redução dos custos acoplada à necessidade de aquisição de tecnologias cada vez mais avançadas exige que as instituições tomem mediadas mais rigorosas para melhorar o processo de aquisição. É importante estabelecer desde o início de um processo de aquisição, as exatas necessidades da instituição, com um conjunto de especificações bem detalhado do produto a adquirir bem como um conjunto exigências que devem ser feitas perante os fornecedores que salvaguardem a instituição. O conhecimento do equipamento a adquirir facilita todo o processo. Assim é de extrema importância garantir o estudo bastante alargado do equipamento, permitindo à instituição uma melhor avaliação do equipamento, aquando da seleção do mesmo. A garantia da confiabilidade metrológica é outro ponto muito importante a ter em conta no processo, uma vez que o sucesso dos cuidados de saúde parte da confiança e segurança que transmitem aos seus utentes. O objetivo deste trabalho é o estudo de Ventiladores Pulmonares (VP) focando essencialmente na seleção e aquisição destes equipamentos. Neste estudo faz-se também um estudo dos procedimentos de avaliação da confiabilidade metrológica dos VP, tendo em vista a definição dos testes de verificação a serem efetuados ao longo do processo de aquisição. É normalizado o Caderno de Encargos (CE) e respetivas especificações/requisitos técnicos, tentando comprar de acordo com as reais necessidades da instituição, visando o menor desperdício e garantido a melhor qualidade.

Projecto de fundações e estrutura de um edifício

Trabalho de Projecto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Projecto de fundações e estrutura de um edifício de escritórios utilizando os eurocódigos estruturais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Dimensionamento sísmico de um edifício de betão armado segundo os eurocódigos: verificação segundo o eurocódigo 8 parte 3

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