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

Objectivo do estudo: comparar o desempenho dos algoritmos Pencil Beam Convolution (PBC) e do Analytical Anisotropic Algorithm (AAA) no planeamento do tratamento de tumores de mama com radioterapia conformacional a 3D.

Reconhecimento de língua gestual

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

Many-core approach to 2D-DCT calculation using an FPGA

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

Estudo dos sistema de automação da protecção diferencial de linha e comparação direccional

O tema do sistema de automação da protecção diferencial de linha e comparação direccional é merecedor de uma nova abordagem devido às recentes inovações tecnológicas ocorridas desde o aparecimento dos relés digitais e à consequente comunicação entre os sistemas de protecção, em particular na comunicação entre protecções diferenciais de linha. A protecção diferencial de linha apresenta claras vantagens face às protecções actualmente utilizadas para a protecção de linhas de transmissão e distribuição, tais como, Protecção de Máximo Intensidade de Fase, Máximo Intensidade Homopolar Direccionale Protecção de Distância. Contudo, existem alguns problemas associados a este tipo de protecções, nomeadamente na comunicação entre relés. Para automação e comunicação de protecções diferenciais de linhas de transmissão, no caso da ocorrência de defeitos na zona protegida pelo sistema de protecção diferencial foi empregue um método inovador para este tipo de sistema. Uma vez que a eficácia da actuação das protecções diferenciais depende do rigor das variáveis que são necessárias enviar entre protecções que se encontram localizadas em subestações distintas, recorreu-se à utilização de um automatismo para comunicação entre relés suportado pelo desenvolvimento de novos algoritmos para detectar quase instantaneamente um defeito em qualquer zona de protecção de uma linha de transmissão. Estes algoritmos são baseados na Transformada de Park, pelo que, é introduzido um novo conceito neste tipo de protecções. Através destes algoritmos é possível atenuar os problemas associados à protecção diferencial de linha. No sentido de verificar a aplicabilidade destes algoritmos à protecção diferencial de linha são apresentados diversos casos de estudo. Através dos resultados obtidos também foi possível verificar as vantagens associadas à utilização dos algoritmos propostos.

Sistema de visão para aterragem automática de UAV

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

Automação industrial. Uma perspetiva de terreno!

De que é que falamos quando nos referimos a AUTOMAÇÃO? - Estamos no âmbito da engenharia eletrotécnica, da mecânica, da eletrónica, da programação, das comunicações, da instrumentação, da pneumática, ….? Na realidade referimo-nos a um pouco disto tudo - a automação será possivelmente a área de engenharia mais pluridisciplinar e integradora de tecnologia. Quererá isto dizer que se trata de uma atividade de Engenharia complexa e densa? - Sim e não! - Vejamos; é vasta e densa porque o seu exercício obriga ao conhecimento de um alargado e diversificado leque de tecnologias mas, a sua base teórica, ou se quisermos os seus “algoritmos”, são bastante simples; baseiam-se em lógica e em sequências temporais. Que competências serão então necessárias para se exercer Automação? - Um conhecimento transversal de engenharia, com particular foco na Engenharia Eletrotécnica e uma boa experiência de terreno. Partindo desta constatação este artigo tem a intenção de abordar a automação de um ponto de vista eminentemente prático e aplicado.

Aplicação de motores síncronos de ímanes permanentes e motores de indução em veículos elétricos: comparação e perspetivas de evolução

Os sistemas de propulsão baseados em motores síncronos de ímanes permanentes (MSIP) têm sido considerados como a opção mais promissora para os veículos híbridos (VH) e elétricos (VE). A situação atual relativa às reservas e custos dos elementos de terras-raras poderá trazer algumas alterações nesta tendência; a opção por motores que prescindem destes elementos poderá trazer um novo estímulo à aplicação dos motores de indução neste domínio. Este artigo procura apresentar uma análise comparativa entre MSIP e motores de indução (MI) num espectro alargado de velocidades de funcionamento, com especial destaque para os seus desempenhos energéticos. Começa-se por abordar as características gerais de comportamento exigidas aos VE, que definem os múltiplos cenários de funcionamento que poderão ser impostos aos motores. Em seguida, são focadas as principais características de ambas as máquinas, procurando realçar as vantagens e desvantagens mais relevantes, no contexto dos VE. Com base nos regimes de funcionamento a que serão submetidos, analisam-se as diferenças dos rendimentos naturais de ambos os motores. Para os MI é também abordado o importante tema dos algoritmos de minimização de perdas, com vista ao aumento dos rendimentos em regimes de carga onde o desempenho destas máquinas é inferior.

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

Controlo e optimização de sistemas AVAC recorrendo a técnicas de inteligência artificial

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

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Problemas de programação matemática com restrições lineares de equilíbrio

Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.

Experimental design methodologies for the identification of Michaelis-Menten type kinetics

The main objective of this work was to investigate the application of experimental design techniques for the identification of Michaelis-Menten kinetic parameters. More specifically, this study attempts to elucidate the relative advantages/disadvantages of employing complex experimental design techniques in relation to equidistant sampling when applied to different reactor operation modes. All studies were supported by simulation data of a generic enzymatic process that obeys to the Michaelis-Menten kinetic equation. Different aspects were investigated, such as the influence of the reactor operation mode (batch, fed-batch with pulse wise feeding and fed-batch with continuous feeding) and the experimental design optimality criteria on the effectiveness of kinetic parameters identification. The following experimental design optimality criteria were investigated: 1) minimization of the sum of the diagonal of the Fisher information matrix (FIM) inverse (A-criterion), 2) maximization of the determinant of the FIM (D-criterion), 3) maximization of the smallest eigenvalue of the FIM (E-criterion) and 4) minimization of the quotient between the largest and the smallest eigenvalue (modified E-criterion). The comparison and assessment of the different methodologies was made on the basis of the Cramér-Rao lower bounds (CRLB) error in respect to the parameters vmax and Km of the Michaelis-Menten kinetic equation. In what concerns the reactor operation mode, it was concluded that fed-batch (pulses) is better than batch operation for parameter identification. When the former operation mode is adopted, the vmax CRLB error is lowered by 18.6 % while the Km CRLB error is lowered by 26.4 % when compared to the batch operation mode. Regarding the optimality criteria, the best method was the A-criterion, with an average vmax CRLB of 6.34 % and 5.27 %, for batch and fed-batch (pulses), respectively, while presenting a Km’s CRLB of 25.1 % and 18.1 %, for batch and fed-batch (pulses), respectively. As a general conclusion of the present study, it can be stated that experimental design is justified if the starting parameters CRLB errors are inferior to 19.5 % (vmax) and 45% (Km), for batch processes, and inferior to 42 % and to 50% for fed-batch (pulses) process. Otherwise equidistant sampling is a more rational decision. This conclusion clearly supports that, for fed-batch operation, the use of experimental design is likely to largely improve the identification of Michaelis-Menten kinetic parameters.

Tomographic imaging with a scanning laser ophtalmoscop

Retinal imaging with a confocal scaning laser Ophthalmoscope (cSLO) involves scanning a small laser beam over the retina and constructing an image from the reflected light. By applying the confocal principle, tomographic images can be produced by measuring a sequence of slices at different depths. However, the thickness of such slices, when compared with the retinal thickness, is too large to give useful 3D retinal images, if no processing is done. In this work, a prototype cSLO was modified in terms hardware and software to give the ability of doing the tomographic measurements with the maximum theoretical axial resolution possible. A model eye was built to test the performance of the system. A novel algorithm has been developed which fits a double Gaussian curve to the axial intensity profiles generated from a stack of images slices. The underlying assumption is that the laser light has mainly been reflected by two structures in the retina, the internal limiting membrane and the retinal pigment epithelium. From the fitted curve topographic images and novel thickness images of the retina can be generated. Deconvolution algorithms have also been developed to improve the axial resolution of the system, using a theoretically predicted cSLO point spread function. The technique was evaluated using measurements made on a model eye, four normal eyes and seven eyes containing retinal pathology. The reproducibility, accuracy and physiological measurements obtained, were compared with available published data, and showed good agreement. The difference in the measurements when using a double rather than a single Gaussian model was also analysed.

Visitas guiadas através de modelos de volumetria

Esta dissertação tem por fim o estudo de algoritmos que permitem efectuar uma visita guiada a um modelo volumétrico. A visita guiada permite ao utilizador observar todas as partes relevantes do modelo. Assim, expõe-se como seleccionar de forma automática as posições que melhor permitem observar as partes relevantes. Dadas essas posições, mostra-se como criar um percurso que passe por todas elas. O esforço exigido ao utilizador, durante a visita guiada, face à metodologia aplicada, é o mínimo possível, como se este estivesse numa plataforma móvel e alguém empurrasse essa plataforma. Liberto de todas as preocupações associadas à sua deslocação, o utilizador poderá concentrar-se apenas na observação do modelo. É também abordado o caso particular da visita guiada a um modelo representativo de um museu de pintura. As técnicas estudadas são implementadas, tendo sido criado um protótipo que permite efectuar uma visita guiada ao museu. Nessa visita guiada, as peças expostas, que são as partes relevantes do museu, são visualizadas da melhor forma possível, ou seja, de maneira a que sua dimensão e o contexto em que estão inseridas sejam perceptíveis para o utilizador.

Análise de satisfação com o sistema de triagem no serviço de urgência

Dissertação apresentada ao Instituto Politécnico do Porto para obtenção do Grau de Mestre em Gestão das Organizações, Ramo de Gestão de Empresas Orientada pelo Professor Doutor Eduardo Sá e Silva Mestre Fátima Monteiro Esta dissertação não inclui as críticas e sugestões feitas pelo Júri