Avaliação do desempenho de um sistema híbrido de tomografia por emissão de positrões e tomografia computorizada

Mestrado em Medicina Nuclear.

Comparação entre o pencil beam convolution algorithm e o analytical anisotropic algorithm em tumores de mama

Mestrado em Radioterapia

Proposta de um algoritmo eficiente para a localização de faltas por relé diferencial numérico para proteção de linhas de transmissão com compensação série controlada por tiristores (TCSC)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sistema de visão para percepção e navegação de um UAV Quadrotor

Mestrado em Engenharia Electrotécnica e de Computadores

Como manter um bolo sempre fresco

(...) Um exemplo curioso prende-se com a forma como são partidas as fatias de um bolo e como são distribuídas pelos convidados numa festa. (...) Desde logo, para evitar que alguém se possa queixar do resultado da partilha, o melhor método designa-se por "um parte, outro escolhe" (...) Mas, se o problema se colocar a mais de dois convidados? A solução já não é assim tão simples. O desenvolvimento deste tipo de algoritmos acaba por ter aplicações em muitas outras áreas, desde a simples partilha de uma herança às negociações de desarmamento ou ao estabelecimento de fronteiras entre países. (...) Vejamos, agora, um método muito interessante para manter um bolo sempre fresco. Note-se que a forma tradicional de cortar um bolo é propícia a que, com o passar do tempo, este fique seco junto da zona de corte. O método inovador foi inventado por Francis Galton (1822-1911), matemático e estatístico inglês, primo de Charles Darwin. O seu texto "Cutting a Round Cake on Scientific Principles", publicado na edição de 20 de dezembro de 1906 da conceituada revista Nature, foi divulgado recentemente por Alex Bellos (...) As fatias devem ser cortadas de um lado ao outro do bolo (...) Se olharmos de cima, o bolo utilizado tem o formato de um círculo. Cada fatia cortada é limitada por duas retas paralelas e deve conter o centro do círculo. A ideia é cortar uma fatia e, de seguida, juntar as duas partes que sobraram, unindo-as, se necessário, com um elástico, de modo a sobrepor as zonas do corte (...) Da próxima vez que nos queiramos deliciar novamente com o bolo, devemos fazer novo corte com as mesmas características do anterior, mas agora com direção perpendicular (...)

Coletores de distribuição e sua otimização hidráulica, aplicados a uma instalação de produção de água arrefecida em sistemas de AVAC ( Fórum Picoas)

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

Modelo de data mining para detecção de tumores em exames de rastreio

Dissertação para obtenção do grau de Mestre em Engenharia Informática

GuideMe: service for consulting, publication and recommendation of touristic locations

Trabalho de Projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Matemática no quotidiano : do cartão VISA ao Número de Identificação Bancária

(...) Existem diferentes tipos de sistemas de identificação com check digit. A escolha do algoritmo a implementar deve satisfazer dois princípios: por um lado, é importante escolher um sistema eficaz que detete o maior número possível de erros; por outro lado, a sua utilização no terreno deve ser de alguma forma acessível, particularmente para quem tem de lidar diariamente com os números produzidos por esse algoritmo. Hoje em dia a utilização de meios eletrónicos revela-se muito eficaz, quer para gerar o algarismo de controlo de novos números, como para validar números que já se encontrem em circulação. Mesmo assim, há uma série de requisitos importantes a ter em conta quando se pretende implementar um novo sistema de identificação. Desde logo, a escolha do alfabeto, ou seja, dos símbolos a utilizar. Normalmente, opta-se por recorrer apenas aos dez algarismos vulgarmente utilizados, do 0 ao 9. É o caso do exemplo que se segue. O método desenvolvido pela IBM, também conhecido por algoritmo de Luhn, aplica-se à generalidade dos cartões de crédito: VISA e VISA Electron (em que o primeiro algarismo da esquerda é um 4), MarterCard (5), American Express (3) e Discover (6), entre outros. Considere-se o número de um cartão VISA: 4188 3600 4538 6426. Como é habitual, o algarismo de controlo é o primeiro algarismo da direita, ou seja, o algarismo das unidades (6). Para verificar se este número é válido, procede-se da seguinte forma (...). Há um algoritmo mais eficaz, desenvolvido por Verhoeff em 1969, que utiliza os mesmos símbolos (os algarismos do 0 a 9). Este sistema deteta 100% dos erros singulares, 100% das transposições de algarismos adjacentes e algumas das transposições intercaladas. Paradoxalmente, é um método pouco utilizado, talvez por necessitar de uma maior bagagem matemática.(...) Na imagem, ilustra-se um exemplo de aplicação deste algoritmo para determinar o algarismo de controlo do número 201034571? (o ponto de interrogação representa o algarismo de controlo, por enquanto, desconhecido). (...) Se nos predispusermos a alargar o alfabeto de símbolos ou a considerar mais de um algarismo de controlo, podemos obter algoritmos ainda mais eficazes na deteção de erros. É o caso dos algoritmos estabelecidos pela norma ISO/IEC 7064. Por exemplo, o algoritmo MOD 11-2 é utilizado para identificar as receitas médicas em Portugal e utiliza um símbolo adicional (o X, que representa o número 10). Já o algoritmo MOD 97-10 requer a utilização de dois algarismos de controlo e é empregue na emissão do Número de Identificação Bancária (NIB). (...)

Embedded platform for ECG biometric recognition

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Modelo de data mining para deteção de embolias pulmonares

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Testes de ajuste a distribuições estatísticas e métodos para estimação dos parâmetros em análises de fiabilidade

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

Sistema de multiprocessamento para simulação de N-corpos em FPGA

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Energy resource management in smart grids considering an Intensive use of electric vehicles

The introduction of electricity markets and integration of Distributed Generation (DG) have been influencing the power system’s structure change. Recently, the smart grid concept has been introduced, to guarantee a more efficient operation of the power system using the advantages of this new paradigm. Basically, a smart grid is a structure that integrates different players, considering constant communication between them to improve power system operation and management. One of the players revealing a big importance in this context is the Virtual Power Player (VPP). In the transportation sector the Electric Vehicle (EV) is arising as an alternative to conventional vehicles propel by fossil fuels. The power system can benefit from this massive introduction of EVs, taking advantage on EVs’ ability to connect to the electric network to charge, and on the future expectation of EVs ability to discharge to the network using the Vehicle-to-Grid (V2G) capacity. This thesis proposes alternative strategies to control these two EV modes with the objective of enhancing the management of the power system. Moreover, power system must ensure the trips of EVs that will be connected to the electric network. The EV user specifies a certain amount of energy that will be necessary to charge, in order to ensure the distance to travel. The introduction of EVs in the power system turns the Energy Resource Management (ERM) under a smart grid environment, into a complex problem that can take several minutes or hours to reach the optimal solution. Adequate optimization techniques are required to accommodate this kind of complexity while solving the ERM problem in a reasonable execution time. This thesis presents a tool that solves the ERM considering the intensive use of EVs in the smart grid context. The objective is to obtain the minimum cost of ERM considering: the operation cost of DG, the cost of the energy acquired to external suppliers, the EV users payments and remuneration and penalty costs. This tool is directed to VPPs that manage specific network areas, where a high penetration level of EVs is expected to be connected in these areas. The ERM is solved using two methodologies: the adaptation of a deterministic technique proposed in a previous work, and the adaptation of the Simulated Annealing (SA) technique. With the purpose of improving the SA performance for this case, three heuristics are additionally proposed, taking advantage on the particularities and specificities of an ERM with these characteristics. A set of case studies are presented in this thesis, considering a 32 bus distribution network and up to 3000 EVs. The first case study solves the scheduling without considering EVs, to be used as a reference case for comparisons with the proposed approaches. The second case study evaluates the complexity of the ERM with the integration of EVs. The third case study evaluates the performance of scheduling with different control modes for EVs. These control modes, combined with the proposed SA approach and with the developed heuristics, aim at improving the quality of the ERM, while reducing drastically its execution time. The proposed control modes are: uncoordinated charging, smart charging and V2G capability. The fourth and final case study presents the ERM approach applied to consecutive days.

Framework de controlo de acessos para Triple-stores com interface Sail API

Grande parte dos triples-stores são open source e desenvolvidos em Java, disponibilizando interfaces standards e privadas de acesso. A grande maioria destes sistemas não dispõe de mecanismos de controlo de acessos nativos, o que dificulta ou impossibilita a sua adopção em ambientes em que a segurança dos factos é importante (e.g. ambiente empresarial). Complementarmente observa-se que o modelo de controlo de acesso a triplos e em particular a triplos descritos por ontologias não está standardizado nem sequer estabilizado, havendo diversos modelos de descrição e algoritmos de avaliação de permissões de acesso. O trabalho desenvolvido nesta tese/dissertação propõe um modelo e interface de controlo de acesso que permite e facilite a sua adopção por diferentes triple-stores já existentes e a integração dos triples-stores com outros sistemas já existentes na organização. Complementarmente, a plataforma de controlo de acesso não impõe qualquer modelo ou algoritmo de avaliação de permissões, mas pelo contrário permite a adopção de modelos e algoritmos distintos em função das necessidades ou desejos. Finalmente demonstra-se a aplicabilidade e validade do modelo e interface propostos, através da sua implementação e adopção ao triple-store SwiftOWLIM já existente, que não dispõe de mecanismo de controlo de acessos nativo.