Optimização dos protocolos de reconstrução em imagens TC de AVC isquémico agudo: projecto

Mestrado de Radiações aplicadas às Tecnologias da Saúde. Área de especialização: Imagem Digital com Radiação X.

Cálculo automático de estruturas: análise estrutural de pórticos tridimensionais

No âmbito da presente dissertação foi elaborado um programa de cálculo automático de pórticos tridimensionais, sob acções estáticas (Portic3D). Utilizaram-se elementos tipo barra 3D constituídos por dois pontos nodais com seis graus de liberdade cada, admitindo a hipótese de comportamento elástico linear do material. Apresentam-se os fundamentos da análise matricial de estruturas e descrevem-se os principais módulos computacionais que foram elaborados (em FORTRAN 90), nomeadamente descreve-se a estrutura global do programa desenvolvido e, em particular, descreve-se a técnica de assemblagem da matriz de rigidez global e do vector global das forças a partir das matrizes de rigidez elementares e dos vectores elementares das forças nodais equivalentes às cargas de vão, respectivamente. A fiabilidade do programa desenvolvido, Portic3D, foi testada através da comparação com os resultados de um programa de cálculo estrutural de referência, o SAP2000, para o caso da análise estática de um edifício de 8 pisos (sob a acção do peso próprio, sobrecargas e forças estáticas equivalentes a uma acção sísmica). Foi elaborado ainda um manual do utilizador para facilitar a utilização do software desenvolvido e para facilitar a eventual integração das rotinas desenvolvidas em programas de cálculo estrutural com novas potencialidades.

Monitorização da insuficiência cardíaca por parâmetros fisiológicos em portadores de cardioversor-desfibrilhador implantável e/ou sistema de ressincronização cardíaca: HF-PREDICT

Mestrado em Tecnologia de Diagnóstico e Intervenção Cardiovascular. Área de especialização: Intervenção Cardiovascular.

Avaliação da dose absorvida na tiróide, em cintigrafias com 123I e Na99mTcO4 utilizando modelos biocinéticos e métodos de Monte Carlo

Mestrado em Radiações Aplicadas às Tecnologias da Saúde. Área de especialização: Protecção contra Radiações

Algoritmo de lanczos na variedade de grassmann

O problema do cálculo de valores próprios, vectores próprios e subespaços invariantes está presente em áreas tão diversas como Engenharia, Física, Ciências de Computação e Matemática. Considerando a importância deste problema em tantas aplicações práticas, não é de surpreender que tenha sido e continue a ser objecto de intensa investigação, dando corpo a uma literatura muito vasta. Desenvolvemos um novo algoritmo de Lanczos na variedade de Grassmann. Este trabalho surgiu na sequência de um artigo de A. Edelman, T. A. Arias and S. T. Smith, The geometry of algorithms with orthogonality constraints, onde apresentam um novo algoritmo do gradiente conjugado na variedade de Grassmann. Desenvolveram um enquadramento geométrico o que ofereceu uma nova aproximação aos algoritmos numéricos envolvendo restrições de ortogonalidade. Ora, estando o método de Lanczos e o método dos gradientes conjugados intimamente relacionados, e sendo um dos principais problemas do método de Lanczos a perda de ortogonalidade, surgiu a ideia de tentar verificar se algum dos algoritmos de Lanczos seria uma iteração na variedade de Grassmann.

Estratégias de comercialização de energia para negociação bilateral em mercados de energia eléctrica multi-agente

As recentes e crescentes modificações no sector eléctrico, tanto nacional como mundial, tornam actualmente os mercados de electricidade um caso de estudo singular e interessante. De facto, o desenvolvimento de ferramentas de análise que permitem avaliar a evolução dos comportamentos que estes mercados adoptam face à dinâmica das suas constantes transformações é, à partida, uma mais valia para as suas principais entidades. Muitas vezes os negociadores deste sector ficam satisfeitos com o resultado final. Contudo, se investigarmos mais minuciosamente, dinheiro e recursos são desperdiçados e potenciais ganhos permanecem por descobrir. Uma negociação automática, que utilize agentes computacionais autónomos, promete um elevado nível de eficiência e acordos de maior qualidade. Muitos modelos de mercado actuais são simulados através de ferramentas computacionais, algumas das quais baseadas em tecnologia multi-agente. Esta dissertação apresenta um simulador que permite ajudar a resolver vários problemas inerentes à contratação bilateral de energia. O simulador envolve dois agentes do mercado de retalho, um comprador e um vendedor de energia eléctrica, e suporta a negociação bilateral multidimensional. Cada agente tem no seu portefólio um conjunto de opções que modelam o seu comportamento individual. A essas opções dá-se o nome de estratégias de negociação. O simulador é composto por estratégias de concessão e imitativas. As estratégias de concessão ditam a velocidade de cedência que cada agente terá, enquanto que as estratégias imitativas têm em conta o comportamento passado do oponente, antes da formulação de uma nova oferta. A validação experimental do simulador foi efectuada através da realização de uma experiência computacional. O método experimental consistiu na experimentação controlada. A experiência teve como principal objectivo validar as estratégias através da verificação, em computador, de um conjunto de hipóteses formuladas através de diversas observações e conclusões da negociação real. Os resultados confirmaram as hipóteses, permitindo concluir que a estratégia de concessão baseada no volume de energia conduz a um melhor benefício para ambos os negociadores, enquanto que a estratégia de concessão baseada na prioridade dos itens conduz à troca de um maior número de propostas negociais.

Sistema de digitalização, detecção e classificação automática de recibos em dispositivos móveis

Ao longo dos últimos anos tem-se assistido a uma rápida evolução dos dispositivos móveis. Essa evolução tem sido mais intensa no poder de processamento, na resolução e qualidade das câmaras e na largura de banda das redes móveis de nova geração. Outro aspecto importante é o preço, pois cada vez mais existem dispositivos móveis avançados a um preço acessível, o que facilita a adopção destes equipamentos por parte dos utilizadores. Estes factores contribuem para que o número de utilizadores com “computadores de bolso” tenda a aumentar, possibilitando cada vez mais a criação de ferramentas com maior complexidade que tirem partido das características desses equipamentos. Existem muitas aplicações que exploram estas características para facilitar o trabalho aos utilizadores. Algumas dessas aplicações conseguem retirar informação do mundo físico e fazer algum tipo de processamento, como por exemplo, um leitor de códigos QR ou um OCR (Optical Character Recognizer). Aproveitando o potencial dos dispositivos móveis actuais, este trabalho descreve o estudo, a implementação e a avaliação de uma aplicação de realidade aumentada para adquirir e gerir recibos em papel de forma automática e inteligente. A aplicação utiliza a câmara do dispositivo para adquirir imagens dos recibos de forma a poder processá-las recorrendo a técnicas de processamento de imagem. Tendo uma imagem processada do recibo é efectuado um reconhecimento óptico de caracteres para extracção de informação e é utilizada uma técnica de classificação para atribuir uma classe ao documento. Para um melhor desempenho do classificador é utilizada uma estratégia de aprendizagem incremental. Após a correcta classificação é possível visualizar o recibo com informação adicional (realidade aumentada). O trabalho proposto inclui também a avaliação da interface e dos algoritmos desenvolvidos.

Estudo dosimétrico comparativo do Acuros® XB: algoritmo avançado de cálculo de dose com o AAA – Anisotropic Analytical Alghorithm, em tratamentos de radioterapia externa com a técnica de RapidArc™

Mestrado em Radioterapia.

Avaliação da caracterização de lesões em mamografia com recurso a sistemas CAD (Diagnóstico Assistido por Computador)

Mestrado em Radiações Aplicadas às Tecnologias da Saúde. Área de especialização: Imagem Digital com Radiação X.

Estudo do paradigma: computação em nuvem

Na atual conjuntura económica, onde a globalização convive com a crise, as empresas confrontam-se com dois indeclináveis desafios, a expansão para novos mercados e a redução dos custos. A inevitabilidade de lidar com uma crescente quantidade de informação, na manutenção dos serviços prestados e na implementação de outros, obriga a uma sofisticada evolução dos meios informáticos. Para evoluir de forma pouco onerosa, é imprescindível a adoção de infraestruturas computacionais ágeis. Neste contexto emergem estratégias sustentadas na adoção do paradigma Computação em Nuvem (CN). Este paradigma sugere infraestruturas virtuais, escaláveis e com gestão automática de recursos, partilhadas no mesmo modelo de negócio. A forma de definir os custos, designada por pay as you go, é baseada no uso. Procurando garantir uma constante adaptação às exigências do negócio, a CN proporciona confiança e qualidade de serviço, reduzindo o risco associado ao lançamento de aplicações e o tempo de resposta. O objetivo deste trabalho é estudar o paradigma CN e perscrutar a sua projeção num futuro próximo, analisando as suas vantagens e inconvenientes. Nesse âmbito, é proposta uma arquitetura para integrar equipamentos de bilhética empregues para, designadamente, vender, validar e fiscalizar títulos de transportes. Para avaliar a arquitetura proposta foi implementado um demonstrador na plataforma Windows Azure.

Operação do sistema ibérico de gás natural: localização das fontes de abastecimento

Em consequência do acentuado crescimento da procura do gás natural, é essencial a organização de uma eficiente infra-estrutura de abastecimento de gás. O local certo para instalar as UFGs - Unidades de Fornecimento de Gás, assim como a afectação óptima dessas fontes às cargas de gás da rede, devem ser convenientemente planeados, de forma a minimizar os custos totais do sistema. Este estudo foi efectuado com o desenvolvimento de uma metodologia de cálculo baseada na aplicação do problema das P-medianas, resolvido pela abordagem Lagrangeana. A heurística Lagrangeana desenvolvida foi aplicada ao caso concreto da rede Ibérica primária de gás natural, modelizada em 65 nós de carga, ligados quer por gasodutos físicos quer por gasodutos virtuais. São apresentados os resultados computacionais gráficos que apoiam a decisão da escolha das UFGs, para um cenário previsível de evolução da procura do combustível até 2015.

Mecanismo de negociação para sistema de escalonamento dinâmico

Este artigo propõe um Mecanismo de Negociação para Escalonamento Dinâmico com recurso a Swarm Intelligence (SI). No Mecanismo de Negociação, os agentes devem competir para obter um plano de escalamento global. SI é o termo geral para várias técnicas computacionais que retiram ideias e inspiração nos comportamentos sociais de insectos e outros animais. Este artigo propõe uma abordagem híbrida de diferentes conceitos da Inteligência Artificial (IA), como SI, Negociação em Sistemas Multi-Agente (SMA) e Técnicas de Aprendizagem Automática (AA). Este trabalho concentra a sua atenção na negociação, processo através do qual múltiplos agentes auto-interessados podem chegar a acordo através da troca competitiva de recursos.

Interoperabilidade de operações de limpeza de dados recorrendo a ontologias

O surgimento de novos modelos de negócio, nomeadamente o estabelecimento de parcerias entre organizações, a possibilidade de as empresas poderem adicionar informação existente na web, em especial na web semânjtica, à informação de que dispõem, levou ao acentuar de alguns problemas já existentes nas bases de dados, nomeadamente no que respeita a problemas de qualidade de dados. Dados de má qualidade podem levar à perda de competitividade das organizações que os detêm, podendo inclusive levar ao seu desaparecimento, uma vez que muitas das suas tomadas de decisão são baseadas nestes dados. Por este motivo torna-se relevante a limpeza de dados que é um processo automático de detecção e eventual correção dos problemas de qualidade de dados, tais como registos duplicados, dados incompletos, e/ou inconsistentes. As abordagens atualmente existentes para solucionar estes problemas, encontram-se muito ligadas ao esquema das bases de dados e a domínios específicos. Para que as operações de limpeza de dados possam ser utilizadas em diferentes repositórios, torna-se necessário o entendimento, por parte dos sistemas computacionais, desses mesmos dados, ou seja, é necessária uma semântica associada. A solução apresentada passa pelo uso de ontologias, como forma de representação das operações de limpeza, para solucionar os problemas de heterogeneidade semântica, quer ao nível dos dados existentes nos diversos repositórios, quer ao nível da especificação das operações de limpeza. Estando as operações de limpeza definidas ao nível conceptual e existindo mapeamentos entre as ontologias de domínio e a ontologia associada a uma qualquer base de dados, aquelas poderão ser instanciadas e propostas ao utilizador para serem executadas sobre essa base de dados, permitindo assim a sua interoperabilidade.

Conjetura de Goldbach: uma visão aritmética

Dissertação de Mestrado, Matemática para Professores, 1 de Novembro de 2013, Universidade dos Açores.

Remoção hierárquica de geometria por oclusão em simulações em tempo real

Mestrado em Engenharia Electrotécnica e de Computadores