Talmai Oliveira

ENG633 – Sistemas Mecatrônicos [Prof. Herman e Prof. Caiuby]:

• Mecanismos: seminário [477 KB]
• Hidráulica e Pneumática: seminário [767 KB]
• Conversão Analógico-Digital e Digital-Analógico: seminário [549 KB]
• Microcontroladores: seminário [666 KB]
• Atuadores: seminário [181 KB]
• Trabalho Final: Em aquários marinhos de água salgada existem diversos fatores indispensáveis de monitoramento para o bem estar e equilíbrio do sistema e dos peixes. Dois destes fatores – a temperatura da água e a luminosidade do ambiente – são controlados normalmente pelo aquarofilista através da utilização de lâmpadas fluorescentes fortes e de dispositivos capaz de aquecer ou esfriar a água. O custo, porém, para estabelecer-se esta infra-estrutura é, em alguns casos, proibitivos. Como a iluminação necessária para estes aquários produz muito calor perto da superfície da água, provocando seu aquecimento, geralmente são instalados exaustores na caixa do sistema de iluminação (ventiladores tipo cooler dos computadores), evitando um aquecimento indesejado. Estes exaustores por sua vez, ficam constantemente ligados. Utiliza-se também de um termostato para manter a temperatura estabilizada. Entretanto, não existe nenhuma ligação entre o sistema de exaustão e o de aquecimento. A proposta do desenvolvimento do Monitor de temperatura visa corrigir esta falha no sistema de manutenção do equilíbrio de temperatura do aquário, fornecendo também um display para que o aquarofilista possa, em qualquer momento, saber a temperatura exata do seu aquário. relatório [192 KB]

MAT570 – Fundamentos de Sistemas Distribuídos [Profa. Fabíola e Prof. Macêdo]:

• Características de SD e Aplicações na Mecatrônica: trabalho [18,2 KB]
• Implementação de sockets (TCP e UDP): código fonte, análise, trabalho escrito [132 KB]
• Mini-Resumo artigo [Macêdo, Ezhilchelvan, Shrivastava] “Newtop: A Total Order Multicast Protocol Using Causal Blocks”: resumo [12 KB]
• Mini-Resumo artigo [Makki, Pissinou, Yesha] “A New Token Based Distributed Mutual Exclusion Algorithm”: resumo [13,3 KB]
• Mini-Resumo artigo [Tseng] “Termination Detection Protocols for Mobile Distributed Systems”: resumo [12,8 KB]
• Seminário sobre Ordenação causal: seminário e apresentação [158 KB]
• Mini-Resumo artigo [Lamport] “Time, Clocks, and the Ordering of Events in a Distributed System”: resumo [13,8 KB]
• Implementação de relógio lógico (Lamport). Implementação distribuída, em JAVA, mantêm em cada processo seu relógio lógico atualizado conforme Lamport. Para validar o programa, um experimento é conduzido onde existe 5 processos envolvidos. No experimento, cada processo deve transmitir pelo menos 140 mensagens e todos os processos estarão transmitindo e recebendo mensagens. Toda vez que atualização do relógio indicar uma possível quebra de causalidade, um contador deve ser incrementado. A saída do programa contém o numero total de possíveis quebras de causalidade e os valores dos timestamps de todas as mensagens transmitidas: código fonte, trabalho escrito [42,8 KB]
• Implementação de um detector de falhas não-confiável em JAVA. Um detector de falhas assíncrono é uma abstração para viabilizar a implementação de protocolos tolerantes a falhas em sistemas distribuídos. Um detector não-confiável pode cometer erros. Ou seja, suspeitar de processos corretos ou confiar em processos falhos. A semântica de um detector de falhas é caracterizada por duas propriedades: abrangência e exatidão. A primeira propriedade define quão abrangente é a detecção de falhas pelos processos corretos, enquanto a segunda restringe os erros que o detector pode cometer. Este trabalho tem como objetivo apresentar a implementação de um detector de falhas não confiável, utilizando a linguagem de programação Java, RMI e a especificação de tolerância a falhas do Corba (FT-Corba): código fonte, apresentação e trabalho escrito [804 KB]

ENG647 – Sensores e Instrumentação [Prof. Iuri Pêpe]:

• Relatório dos Experimentos: trabalho [1,16 MB]
• Radar de velocidade por infravermelho: apresentação [735 KB]

MAT572 – Introdução à Inteligência Artificial [Prof. Augusto Loureiro, Profa. Débora Abdalla e Prof. Leizer]:

• Mini-Resumo artigo [Gregor, R., et al] “EMS-Vision: A Perceptual System for Autonomous Vehicles”: resumo [16,0 KB]
• Mini-Resumo artigo [Silva, P. S., Mendes, M. J.] “Uma Abordagem para Incorporar Mecanismos de Inteligência Artificial a Agentes Móveis”: resumo [16,0 KB]
• Mini-Resumo artigo [Wu, Y., Huang, T. S.] “Nonstationary Color Tracking for Vision-Based Human-Computer Interaction”: resumo [16,0 KB]
• Mini-Resumo artigo [Kato, T., Floreano, D.] “An Evolutionary Active-Vision System”: resumo [12,9 KB]
• Mini-Resumo artigo [Petrovic, Brezak] “Machine Vision Based Control of the Ball and Beam”: resumo [16,0 KB]
• Proposta de Trabalho: “Uma proposta de interface homem-computador através do reconhecimento e rastreamento de cores utilizando a visão computacional”: A pesquisa na área da interface homem-computador (IHC) teve um enorme impacto nos software utilizados até os dias de hoje. Mas, é possível observamos a crescente tendência da utilização de aparelhos poderosos e compactos como também o surgimento de novas formas de exibição de dados, como telas gigantes. Conseqüentemente, chegamos ao ponto onde não será mais possível a utilização de um modelo de interface com a qual já nos acostumamos, pois estas limitarão a velocidade e a naturalidade da experiência do usuário. Portanto, as técnicas existentes para interface homem-computador serão o gargalo da utilização efetiva das informações disponíveis à medida que o poder de computação, a velocidade da comunicação e as formas de exibição de dados evoluírem. O objeto desta proposta de pesquisa é explorar as possibilidades de uso do reconhecimento de cores a partir da visão computacional para a substituição do ponteiro (mouse) como IHC, utilizando uma webcam como dispositivo de captura. Espera-se ainda aplicar os resultados obtidos em uma implementação para o controle dos movimentos do ponteiro do computador. proposta [48,6 KB]
• Artigo e Trabalho Final: “Uma proposta de interface homem-computador através do reconhecimento de cores utilizando a visão computacional”: Técnicas de visão computacional fornecem modos promissores de interface homem-computador (IHC) através da análise e do reconhecimento de movimentos humanos por dados visuais. O processo de detecção e rastreamento de partes do corpo humano é um dos pilares para atingirmos um processo que seja robusto e preciso. Porém, essa é uma tarefa complexa e difícil. Ainda mais quando necessitamos que a IHC seja em tempo real. Apresentamos neste artigo uma estudo do uso do reconhecimento de cores a partir da visão computacional como IHC utilizando uma webcam como dispositivo de captura. artigo (PDF) e apresentação (PPT) [48,6 KB] implementação (código fonte em C) [18,6 KB]

MAT567 – Introdução aos Métodos Formais [Profa. Aline Maria Santos Andrade]:

• Apresentação do detalhamento do processo de interseção de autômatos “Verificação de Modelos usando Autômatos :: Interseção de Autômatos”: apresentação [12,0 KB]

MAT569 – Fundamentos de Tolerância a Falhas [Prof. Macêdo]:

• Mini-Resumo artigo [Jean-Claude Laprie] “Dependable Computing and Fault Tolerance: Concepts and Terminology”: resumo [87,6 KB]
• Mini-Resumo artigo [Flaviu Cristian] “Agreeing on who is present and who is absent in a Synchronous Distributed System”: resumo [90,1 KB]
• Mini-Resumo artigo [Macêdo] “Failure Detection in Asynchronous Distributed Systems”: resumo [121,6 KB]
• Seminário de Comunicação em Grupo em Sistemas Síncronos. [Talmai Oliveira, Rosemberg Leite, Geovani Santangelo e Rafael Angelo] Em sistemas distribuídos, é possível garantirmos uma alta disponibilidade dos serviços prestados através da replicação da aplicação em diversos processos. Um serviço de comunicação em grupo é composto por um conjunto de protocolos tolerante a falhas (tais como a difusão confiável, a ordenação, o consenso, o gerenciamento da composição do grupo e a sincronização de relógios), que provêm informações consistentes para um grupo distribuídos de processos que estejam cooperando entre si. Este serviço deve ser capaz de suportar falhas nos meios de comunicação e dos processadores onde estejam executando os processos, saber lidar com a alteração da composição dos membros do grupo e de modo geral, simplificar a manutenção da replicação consistente das informações compartilhadas. Abordaremos os problemas da comunicação em grupo em sistemas síncronas e suas principais soluções existentes. artigo (PDF) [426,6 KB] apresentação [557,7 KB]