Local: Sala Multiuso CIC
Horário: 14h
Palestrante: Prof. Daniel M. Muñoz Arboleda (FGA/UnB)
Título: Aplicações Aviônicas Autônomas usando Sistemas em Chip com Reconfiguração em Tempo de Execução
Resumo: Flexibilidade e tolerância a falhas são características importantes no desenvolvimento de arquiteturas de hardware para aplicações em aviônica. Neste projeto de pesquisa iniciou-se o desenvolvimento de ferramentas voltadas ao projeto, simulação e síntese de sistemas em que a segurança é um fator crítico (safety-critical systems) explorando as capacidades de reconfiguração dinâmica parcial e tolerância a falhas. As ferramentas desenvolvidas envolvem a descrição de sistemas em alto nível de abstração usando a metodologia de projeto ForSyDe (Formal System Design) e Refinement-by-Replacement para desenvolvimento de Sistemas em Chip (SoCs) usando FPGAs. Para validação das ferramentas foi usado como caso de estudo o controle de pitch de um avião. Adicionalmente, no projeto foram analisadas duas soluções de hardware usando plataformas reconfiguráveis para processamento em tempo real de sinais phase-OTDR (Phase-sensitive Optical Time Domain Reflectometer) visando o desenvolvimento de sensores de vibração distribuídos.
Horário: 15h
Palestrante: Gustavo Carneiro Bicalho (mestrando)
Título: Influência das Razões Foto Antropométricas no Processo de Reconhecimento Facial Biométrico
Resumo: Vários trabalhos utilizam pontos cafalométricos em imagens para determinar o sexo e a idade de pessoas. Neste trabalho, deseja-se obter estes pontos automaticamente e observar se eles são capazes de individualizar uma pessoa, realizando assim reconhecimento facial biométrico.
Horário: 15h30
Palestrante: Vitor Coimbra de Oliveira (mestrando)
Título: Projeto de Circuitos Digitais Sequenciais por Algoritmos Baseados em Programação Genética Cartesiana em FPGA
Resumo: Tradicionalmente, o processo de desenvolvimento de sistemas é feito utilizando um conjunto de regras que visam cumprir uma série de requerimentos. Esta sistemática se apresenta em forte contraste com o mecanismo que resultou na geração da imensa diversidade de seres vivos hoje encontrados. Dessa maneira, algoritmos genéticos, inspirados em conceitos biológicos, buscam simular esse processo para a resolução de problemas. Uma das áreas de aplicação para sua utilização é no projeto de circuitos digitais, também conhecida como Hardware Evolutivo. Trabalhos relacionados chegam a circuitos com características não vistas em projetos convencionais, mas em maior parte se limitam a evoluir circuitos combinacionais. Este trabalho busca estudar e analisar sua aplicação para o projeto de circuitos digitais sequenciais.
Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora dos Seminários de Pós-Graduação em Informática 2017-2