Teses e Dissertações
URI Permanente para esta coleção
Navegar
Navegando Teses e Dissertações por Orientador "Santos, Paulo Eduardo"
Agora exibindo 1 - 5 de 5
Resultados por página
Opções de Ordenação
Dissertação Construção de uma rede bayesiana para diagnóstico da doença de Alzheimer a partir de neuroimagem, histórico e sintomas(2009) Colossetti, Adriane PaulieliA perda progressiva da compreensão e da memória, desorientação, ações imprevisíveis, alteração no comportamento e problemas com a linguagem são alguns dos principais sintomas da doença de Alzheimer (DA), considerada a mais comum das demências, cujo diagnóstico só pode ser confirmado após a morte, dificultando de certa forma o diagnóstico mais preciso ao paciente. Visando uma análise probabilística na análise diagnóstica referente a doenças psquiátricas, mais especificamente a DA, este trabalho tem por objetivo lidar com as incertezas através de técnicas probabilísticas no contexto de redes bayesianas (RB), investigando o uso de neuroimagem e também dados clínicos, como: histórico e sintomas apresentados pelo paciente. Esta dissertação apresenta uma comparação entre dois grupos, sendo 14 casos considerados controles (pessoas que não apresentam sinais de DA) e 14 diagnosticada com DA. Devido a flexibilidade da RB pôde-se construir a rede com base em dados captados na literatura e por meio de consulta com especialista, além dos 28 casos concedidos pela Faculdade de Medicina de São Paulo (USP). Foi apresentada uma comparação entre as imagens por meio de análises estatísticas univariada e multivariada sendo encontrado diferenças entre imagens cerebrais das pessoas previamente diagnosticadas com DA e pessoas contreoles. A partir desse resultado utilizamos os dados relevantes como filhos da variável neuroimagem. (nó). Os demais nós da rede: histórico e sintomas complementaram a rede com informações da literatura e também do especialista. foi observado que os resultados apresentaram valores coerentes e assim pode-se concluir que a rede teve o funcionamento satisfatório, embora deve-se melhorá-la com valores e pesquisas mais detalhadas sobre DA; discute-se ainda a possibilidade de usá-la em ambiente real, considerando a obtenção de valores probabilísticos mais fidedígnos, baseados por exemplo em meta-análises.Dissertação Correspondência entre regiões de imagens por meio do algoritmo iterative closet point (ICP)(2015) Guimarães, A. A. R.Na literatura atual sobre correspondência de pontos podem-se destacar três algoritmos principais: ASIFT, SIFT e SURF, que procuram pontos correspondentes entre imagens através de descritores locais, fazendo a correspondência de pontos entre imagens semelhantes em várias cenas. No entanto, quando a correspondência entre a imagem de referência e a imagem a ser correspondida possui uma variação de latitude e longitude expressiva, esses algoritmos perdem em precisão e revocação. Diante disso, esta dissertação apresenta um algoritmo capaz de realizar a correspondência entre regiões das imagens, onde tem-se variações de latitude e longitude expressivas, em diferentes cenas e pontos de vista. O algoritmo desenvolvido neste trabalho foi chamado de Método de Correspondência utilizando o ICP (MCICP). Para a produção das regiões relevantes da imagem, foi utilizado um algoritmo de segmentação em grafo, que produz regiões que se aproximam dos objetos em estudo. Para a correspondência das regiões produzidas, utilizou-se o algoritmo Iterative Closest Point (ICP) como comparador dessas regiões, produzindo assim, a correspondência entre imagens. Foram criados três cenários para testes, no primeiro cenário utilizamos somente objetos volumétricos, no segundo cenário somente objetos planos e no terceiro uma combinação entre eles. O sensor Kinect foi utilizado para a obtenção do mapa de profundidade de cada imagem. Os resultados obtidos comprovam que o nosso modelo conseguiu fazer a correspondência entre regiões. Nesta dissertação, comprovou-se que o ICP pode ser utilizado na correspondência de regiões, em que a métrica de comparação é o erro produzido pelas nuvens.Tese Cubo analisador paraconsistente com filtro de evidências e análise temporal(2023) Côrtes, Hyghor, MirandaInformações incertas e inconsistentes estão frequentemente presentes na entrada de qualquer sistema do mundo real que dependa de várias fontes de dados. Informações de grandezas físicas obtidas de rede de sensores, e sua interpretação por agentes artificiais inteligentes, em sistemas de engenharia, estão sujeitas à existência de inconsistências. Isso ocorre pois raciocinar com informações inconsistentes é impossível na lógica clássica, lógica intuicionista ou sistemas similares que respeitam o princípio da explosão e a lei da não-contradição. Uma família de lógicas não clássicas, chamadas de Lógicas Paraconsistentes, formaliza a ideia de que mesmo a partir de premissas inconsistentes, conclusões úteis podem ser tiradas. Neste contexto, a Lógica Paraconsistente com Anotação de Dois Valores (LPA2v), que utiliza um par de evidências favorável e desfavorável como anotações, tem sido particularmente bem-sucedida em aplicações de engenharia (por meio de implementação de algoritmos em sistemas informatizados). Estruturas chamadas Para-Analisadores podem ser construídas com essa lógica que fornece meios adequados para analisar o valor de verdade de uma proposição P sob evidências conflitantes/contraditórias. O trabalho relatado nesta tese estende os Para-Analisadores tradicionais com um filtro de evidências. Este novo modelo pode ser representado como uma estrutura de cubo representando vários reticulados de Para-Analisadores atribuídos à qualidade da evidência, que é atualizada de acordo com as medições realizadas em tempo de execução. A estrutura de análise paraconsistente tridimensional assim definida é chamada Cubo Analisador Paraconsistente com Filtro de Evidências e Análise Temporal (CAPet). Neste trabalho, ainda, conjuntos de CAPet são interligados formando Redes de Cubos Analisadores Paraconsistentes com Filtro de Evidências e Análise Temporal (chamadas de CAPetNETs), com o intuito de resolver problemas práticos complexos de engenharia. Para demonstração de resultados, como exemplo prático de engenharia de aplicação de CAPetNETs, nesta tese foi utilizado um problema de classificação de condições de operação de equipamentos em redes de dados de controle e supervisão de sistema elétrico. Neste contexto, distintas topologias de CAPetNETs foram definidas com o objetivo de identificar diversos tipos de falhas em equipamentos de rede de dados. A consolidação da inferência das CAPetNETs para cada equipamento permitiu uma identificação precisa da condição de operação dos equipamentos. Resultados em sistemas simulados mostram que as redes de CAPets são eficazes para lidar com inconsistências sem banalizar as inferências, além de fornecer uma decisão mais informada (mais fina) sobre classificação de condições de operação de equipamentos da rede de dados do exemplo prático, quando comparado com um Para-Analisador tradicional que não leva em consideração o filtro de evidênciasDissertação Implementação de um sistema de interpretação de seqüências de imagens baseado em uma semântica de caminhos(2008) Brito, R. C.Neste trabalho abordamos o problema de interpretação de seqüências de imagens e sua principal contribuição é apresentar e discutir a implementação de um sistema computacional capaz de interpretar seqüências de imagens baseado em raciocínio espacial qualitativo. Nossa princiapl motivação para este desenvolvimento é interpretar seqüências de imagens, executando inferências lógicas sobre mudanças ocorridas nas cenas. Este sistema tem a habilidade de extrair informações de objetos de uma seqüência de imagens, obtidas por um sensor, associando relações entre objetos na cena e mudanças ao longo da seqüência, fornecendo assim, uma interpretação de alto nível. O sistema é dividido em dois módulos, o Módulo 1: extração de informações e o módulo 2: interpretação de alto nível. No Módulo 1 tem-se a entrada das cenas nno sitema. O módulo 2 é responsável por interpretar os movimentos dos objetos na seqüência de imagens. Para isto, utilizaremos o formalismo chamado T-logic (SANTOS, p. ; SANTOS, M. 2005), que é uma instância da Lógica de transações (BONNER ; KIFFER, 1993). Este formalismo utiliza dois oráculos baseados em raciocínio espacial qualitativo. Os testes efetuados no sistema mostram é possível interpretar seqüências de imagens utilizando raciocínio espacial qualitativo através do formalismo T-Logic.Dissertação Segmentação de imagens coloridas utilizando algoritmos bioinspirados(2017) Conforto, Victor HenriqueSegmentação de imagens é uma das áreas mais antigas de visão computacional, com muitos problemas bem definidos e várias soluções propostas bem aceitas. No entanto ainda há muito trabalho a ser feito, sobretudo em segmentação de imagens coloridas, devido à demanda por mais aplicações. Recentemente, duas novas tecnologias têm se destacado na área. O estudo de análise de imagens sob o ponto de vista da estatística não-extensiva e a utilização de algoritmos bio-inspirados para lidar com problemas que demandam multi-limiarização, geralmente computacionalmente inviáveis quando o espaço de busca é histogrâmico. Assim, a proposta desta dissertação é o estudo de um novo método baseado em enxame de partículas, recentemente proposto na literatura e chamado de Firefly, juntamente com Kernel entrópico não extensivo para a multilimiarização de imagens espectrais. Os resultados obtidos mostram que o metodo proposto utilizando o algoritmo firefly segmentando a imagem baseado apenas na dimensão H de HSV obteve o melhor resultado dentre os experimentos realizados. Este trabalho aborda ainda a comparação entre o uso de diferentes espaços de cores, parâmetros e filtros para a segmentação de imagens coloridas.