Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

Graduação em Ciência da Computação e Engenharia da Computação


Trabalhos de Graduação - 2012.1

1. Mapeamento Exploratório sobre Modelos de Gestão Utilizados em TIC

   (Proposta inicial: aqui) 

   Autor: Adelmo José Cabral de Almeida

   Área: Governança Ágil

   Orientador: Hermano Perrelli

   Avaliador: Sergio Soares (A CONFIRMAR)

   Resumo:

Atualmente a TIC (Tecnologia da Informação e Comunicação) tem sido foco de investimentos e pesquisas tanto do meio acadêmico quanto no ambiente organizacional, necessitando altos esforços no melhoramento de modelos de gestão e implantação de práticas que trouxessem um maior retorno às organizações. O trabalho tem como objetivo realizar um mapeamento exploratório sobre modelos de gestão utilizados em TIC, buscando aprofundar o conhecimento destes modelos e descrever suas características como: o foco organizacional, o tipo de abordagem de cada modelo, seus pontos fortes e suas carências e limitações, sua aplicabilidade, entre outras.

   Apresentação: 2a feira, 09/07/2012, 08:00hs, Anfiteatro do CIn


2. Descritores de Textura Usando Transformada Wavelet e Percepção Visual (CANCELADO)

   (Proposta inicial: aqui) 

   Autor: Adriano Damascena Mendes Pereira

   Área: Processamento de Imagem, Visão Computacional

   Orientador: Carlos Alexandre Barros de Mello

   Avaliador: Tsang Ing Ren (A CONFIRMAR)

   Resumo:

Textura é um componente importante na percepção visual humana. Em geral, uma imagem pode ser considerada como uma composição de vários tipos de texturas, fazendo da textura uma característica essencial na imagem. Segundo estudos psicovisuais o sistema visual humano interpreta uma imagem de maneira multirresolução o que faz da transformada wavelet (decomposição) uma ferramenta chave na recuperação e classificação de imagens. Geralmente, as estatísticas das sub-bandas wavelet são usadas como vetores de características na fase de seleção de características. No entanto, a maioria dos métodos existentes não faz a análise das sub-bandas de acordo com a percepção humana. Baseado na transformada wavelet, o presente trabalho apresenta 3 características de texturas que coincidem com a percepção visual humana. Tais características são: direcionalidade, contraste e aspereza. Estas características podem ser usadas para indexar as texturas de acordo com a percepção visual humana. Além disso, elas podem ser usadas no problema de classificação e/ou segmentação de imagens.

   Apresentação: 2a feira, 09/07/2012, 08:30hs, Anfiteatro do CIn


3. Entendendo Aspectos Sociais em Ecossistema de Software

   (Proposta inicial: aqui) 

   Autor: Amora Cristina Albuquerque Taveira

   Área: Ecossistemas de Software

   Orientador: Carina Alves

   Avaliador: Patrícia Tedesco 

   Resumo:

O objetivo geral pretendido nesta pesquisa é fazer uma análise dos aspectos sociais que envolvem os Ecossistemas de Software e, mais especificamente, definir as diversas características sociais que podem dificultar a relação entre os parceiros dentro dos ecossistemas, sugerindo formas de mitigar, ou até mesmo excluir, esses obstáculos. Além de abordar as dificuldades encontradas, esta pesquisa também tem o objetivo de apresentar os aspectos que podem motivar a interação entre os diversos players existentes no ecossistema. Informações desse tipo podem ser úteis aos parceiros, em especial ao Keystone, quando se trata de estratégia, podendo auxiliar a tomada de decisões e, portanto, influenciar positivamente a saúde do SECO a qual eles pertencem.

   Apresentação: 2a feira, 09/07/2012, 09:00hs, Anfiteatro do CIn


4. Análise de difusão de influência em redes sociais com foco na Hipótese dos Influentes

   (Proposta inicial: aqui) 

   Autor: Anália Lima Cavalcanti

   Área: Análise de redes sociais

   Orientador: Ricardo Bastos Cavalcante Prudêncio

   Avaliador: Flávia de Almeida Barros (A CONFIRMAR)

   Resumo:

A análise de características de redes sociais é um tema de estudo que possui grande destaque. Dentro deste tema, uma das vertentes na qual as pesquisas têm foco é a difusão da influência entre os usuários de redes sociais. Esta vertente traz consideráveis contribuições em mercados de grande representação, como por exemplo: o marketing. 

           Entre as teorias conhecidas da área de marketing, uma delas é comumente utilizada por muitos autores e também por pessoas que atuam de maneira ativa neste mercado: A Hipótese dos Influentes. A ideia que dá base a essa teoria afirma que uma pequena parte dos indivíduos da rede, os quais são chamados de influentes, consegue exercer influência sobre grande parte dos seus seguidores, influência essa, que seria de proporção consideravelmente maior do que a influência exercida pelos outros nós da rede.

           O ponto de destaque é que, apesar dessa teoria ser bem aceita e conhecida, ela ainda não foi amplamente testada e comprovada de maneira a firmar a sua veracidade por completo. Então, com base nesse fato, neste Trabalho de Graduação serão realizados experimentos com dados de uma rede real obtida no Twitter, para verificar em mais detalhes se a difusão de influência dos influentes realmente é destacada e significativamente maior do que a difusão de influência que acontece a partir dos nós comuns da rede.

   Apresentação: 2a feira, 09/07/2012, 09:30hs, Anfiteatro do CIn


5. Estudo e Aplicação de Técnicas de Mineração de Dados para a Criação do Índice OJE

   (Proposta inicial: aqui) 

   Autor: André Felipe Pereira de Melo

   Área: Mineração de Dados

   Orientador: Patrícia Tedesco

   Avaliador: Ricardo Prudêncio

   Resumo:

Este trabalho tem como objetivo analisar e aplicar técnicas de mineração de dados sobre os dados levantados da Olimpíada de Jogos Educacionais (OJE) e criar um índice quantitativo, através de regressão linear, indicador da qualidade do ensino das escolas participantes da competição.

   Apresentação: 2a feira, 09/07/2012, 10:00hs, Anfiteatro do CIn


6. LODPort uma ferramenta para integração de dados linkados em língua portuguesa

   (Proposta inicial: aqui) 

   Autor: André Fernando Amancio Ribeiro Pimentel

   Área: Dados linkados

   Orientador: Bernadette Farias Lóscio

   Avaliador: Ana Carolina Salgado 

   Resumo:

Este projeto tem como objetivo gerar uma ferramenta que facilite a integração de dados ligados publicados na língua portuguesa, utilizando a DBPedia como base de dados de referência para resolução de conflitos. A ferramenta proposta será desenvolvida a partir da análise e reuso do framework LDIF (Linked Data Integration Framework).

Especificamente neste trabalho será feita uma adaptação ao LDIF a fim de possibilitar

que ele possa ser usado para integração de dados ligados também na língua portuguesa.

    Apresentação: 4a feira, 08/08/2012, ??:??hs, (LOCAL A CONFIRMAR)


7. Técnicas numéricas para cadeias de Markov de tempo contínuo no ambiente MERCURY

   (Proposta inicial: aqui) 

   Autor: Ângelo Lima Mazer

   Área: avaliação de desempenho e dependabilidade de sistemas

   Orientador: Eduardo Tavares

   Avaliador: Paulo Maciel (A CONFIRMAR)

   Resumo:

Na área de avaliação de desempenho e dependabilidade  de sistemas cadeias de Markov são  amplamente usadas para estimar essas características de uma grande variedade de sistemas, computacionais ou não. Meu trabalho de graduação consiste na implementação de técnicas numéricas para cadeiras de Markov de tempo contínuo e acrescenta-las como novas funcionalidades no ambiente MERCURY.

   Apresentação: 4a feira, 25/07/2012, 09:00hs, (LOCAL A CONFIRMAR)


8. Uma análise de estimadores para o protocolo anticolisão DFSA

   (Proposta inicial: aqui) 

   Autor: Arthur Cireno Rizzo

   Área: Redes de Computadores

   Orientador: Paulo André da Silva Gonçalves

   Avaliador: José Augusto Suruagy Monteiro (A CONFIRMAR)

   Resumo:

O objetivo deste trabalho é fazer uma análise de dois estimadores populares para o protocolo anticolisão DFSA .Para realizar essa análise utilizando vários cenários diferentes, será desenvolvido um simulador, capaz de reproduzir o comportamento dos dois estimadores citados anteriormente em cenários parametrizáveis. 

   Apresentação: 2a feira, 09/07/2012, 11:30hs, Anfiteatro do CIn


9. Ferramenta de Auto-Avaliação Online para Organizações Governamentais Brasileiras baseada no Modelo MMPE-SI/TI (Gov)

   (Proposta inicial: aqui) 

   Autor: Arthur Lima Cirino

   Área: Gestão de Projetos

   Orientador: Hermano Perrelli de Moura

   Co-Orientador: Jose Gilson de Almeida Teixeira Filho

   Avaliador: Carla Taciana Lima Lourenço Silva Schuenemann

   Resumo:

O objetivo desse trabalho é criar a arquitetura e o desenvolvimento de um protótipo para uma ferramenta de autoavaliação online para organizações governamentais brasileiras baseada no Modelo MMPE-SI/TI (Gov). Com isso, é possível que as instituições públicas tenham em mão uma ferramenta gratuita e de fácil acesso, proporcionando uma redução nos custos investidos em medição na qualidade de seus processos.

   Apresentação: 2a feira, 09/07/2012, 14:00hs, Anfiteatro do CIn


10. Desenvolvimento do syntax checker para o IStarTool

   (Proposta inicial: aqui) 

   Autor: Átila Valgueiro Malta Moreira

   Área: Engenharia de Software

   Orientador: Carla Taciana Lourenço Silva Schuenemann

   Avaliador: Alexandre Vasconcelos 

   Avaliador: Pedro Machado Manhães de Castro

   Resumo:

Trabalho tem como intuito melhorar as funcionalidades do syntax checker do Istartool, ferramenta de suporte para modelagem de requisitos com a técnica i*, visando favorecer o aprendizado da técnica i* por parte de novos usuários.

   Apresentação: 2a feira, 06/08/2012, 14:30hs, Anfiteatro do CIn


11. Definição de regras de mapeamento do modelo ArcheER para esquemas lógicos objeto-relacionais

   (Proposta inicial: aqui) 

   Autor: Bruno Marcolino Sandres

   Área: Bancos de Dados

   Orientador: Valéria Cesário Times

   Avaliador: Ana Carolina Salgado (A CONFIRMAR)

   Resumo:

Modelos arquetipados de bancos de dados são resultado das tentativas de se representar conhecimento de especialistas de aplicações na própria base de dados de forma estruturada e padronizada, de manutenção simplificada. Tais modelos até o momento não oferecem ferramentas para desenvolvimento voltado para tecnologias existentes, neste contexto insere-se o ArcheER, defendido em dissertação de mestrado deste Centro de Informática, capaz de prover ferramentas de desenvolvimento voltadas para as estruturas fornecidas pela openEHR (na área de saúde) e capazes de gerar modelos lógicos relacionais. Este trabalho visa estender a capacidade do modelo proposto para geração de modelos lógicos objeto-relacionais, visando aproveitar as capacidades e possibilidades deste modelo para fazer melhor proveito dos recursos existentes na concepção de projetos reais que adotem os padrões estabelecidos.

   Apresentação: 2a feira, 09/07/2012, 15:00hs, Anfiteatro do CIn


12. Uma ontologia para maturidade em BPM

   (Proposta inicial: aqui) 

   Autor: Bruno Medeiros de Oliveira

   Área: Engenharia de Software

   Orientador: Carina Frota Alves

   Co-Orientador: André Felipe Lemos Santana

   Avaliador: Bernadette Farias Lóscio (A CONFIRMAR)

   Resumo:

Este trabalho tem como objetivo uma ontologia para o domínio de Maturidade na Governança do Gerenciamento de Processos de Negócio(BPM). Através da análise de diversos modelos de maturidade propostos por estudiosos no tema, o trabalho visa propor um modelo conceitual que melhor descreva essa área de maturidade, a qual é bastante pesquisada, mas ainda é muito heterogênea.

   Apresentação: 2a feira, 09/07/2012, 15:30hs, Anfiteatro do CIn


13. Implementação de um núcleo aritmético para operação de matrizes em sistemas de computação reconfigurável 

   (Proposta inicial: aqui) 

   Autor: Bruno Pessôa Neves

   Área: Engenharia da computação

   Orientador: Manoel Eusébio Lima

   Avaliador: Abel Guilhermino Silva Filho 

   Resumo:

Este trabalho de graduação terá como objetivo a implementação de uma arquitetura em hardware e software para a realização da operação de αAB + βC em FPGAs. Onde A, B e C são matrizes e α e β são constantes. Para tanto, será utilizada a biblioteca de operações aritméticas blas3 [3], que opera matrizes com matrizes. Vale salientar que os números operados deverão estar no formato de ponto flutuante de precisão simples IEEE-754 [2]. A aplicação desenvolvida deverá ser transparente para o usuário. Isso deve ser feito de tal maneira que o usuário possa fazer chamadas à biblioteca blas03 em software. A operação aritmética será implementada em hardware na FPGA contida na placa aceleradora.

   Apresentação: 4a feira, 15/08/2012, 16:00hs, (LOCAL A CONFIRMAR)


14. Análise de um algoritmo memético para escalar a seleção de protótipos evolucionária.

Área: Inteligência artificial

   (Proposta inicial: aqui) 

   Autor: Bruno Sampaio Moraes da Cunha Andrade

   Área: Inteligência artificial

   Orientador: George Darminton da Cunha Cavalcanti

   Avaliador: Tsang Ing Ren (A CONFIRMAR)

   Resumo:

Na área de aprendizagem de máquina e mineração de dados, o k-Nearest Neighbors (kNN) é um dos algoritmos mais conhecidos e usados para lidar com os problemas de classificação. No entanto, é conhecido que o kNN tem algumas fraquezas que impactam no sucesso de sua aplicação. São basicamente: a necessidade de grande espaço para armazenar o conjunto de dados de treinamento, a pouca eficiência durante o calculo de similaridade entre exemplares de teste e todo o conjunto de treinamento e a baixa tolerância a ruídos. Uma das técnicas para lidar com esses problemas do kNN é baseada em redução dos dados, como por exemplo a Seleção de Protótipos (PS). PS são métodos que tem como objetivo obter um subconjunto representativo do conjunto de treinamento, de tamanho menor e muitas vezes com maior precisão na classificação. O objetivo do trabalho é portanto analisar a utilização de um algoritmo memético, que é a combinação de um algoritmo evolucionário com buscas locais, aplicado ao problema de PS, conhecido como Steady-state Memetic Algorithm (SSMA).

   Apresentação: 2a feira, 09/07/2012, 16:30hs, Anfiteatro do CIn


15. IEstudo de caso sobre rede de colaboração dos professores do CIn/UFPE

   (Proposta inicial: aqui) 

   Autor: Bruno Thiago Monteiro da Silva

   Área: Redes sociais

   Orientador: Ricardo Bastos Cavalcante Prudêncio

   Avaliador: Flávia Barros (A CONFIRMAR)

   Resumo:

O objetivo desse trabalho é identificar como se comportam as redes de colaboração entre professores que existem no Centro de Informática da UFPE. Essa análise possibilitará identificar os professores centrais em cada área de pesquisa, que áreas são pouco estudadas, como cada professor tem buscado diversificar o conhecimento, bem como entender com que outras áreas eles se relacionam.

As teorias dos grafos ajudarão a chegar a esse entendimento. Serão usadas teorias sobre Centralidade, Graus de cada ponto do grafo, Resiliência em grafos, dentre outras teorias.

A base de dados usada para a pesquisa será a DBLP (Digital Bibliography & Library Project). Ela é um repositório bibliográfico de ciência da computação   hospedado na Universidade Trier na Alemanha.

   Apresentação: 2a feira, 09/07/2012, 17:00hs, Anfiteatro do CIn


16. Encriptação e compressão de vídeos digitais baseadas em permutação usando técnicas de compensação de movimento

   (Proposta inicial: aqui) 

   Autor: Caio César Sabino Silva

   Área: Processamento de vídeo 

   Orientador: Tsang Ing Ren

   Avaliador: George Darmiton (A CONFIRMAR)

   Resumo:

A encriptação de vídeos digitais surgiu no contexto de segurança de aplicações multimídia de modo a garantir o sigilo das informações contidas nesse tipo de mídia. Com esse objetivo, uma técnica existente na literatura se baseia na utilização de transformações de permutação e é aplicada antes do passo de codificação de vídeo de maneira a preservar ou melhorar a correlação espacial nos quadros do vídeo.

Entretanto, a possível melhora na correlação espacial dos quadros depende da correlação temporal de quadros consecutivos e, por isso, em vídeos com considerável movimento, a performance da técnica cai bastante.

O objetivo deste trabalho é propor modificações nas transformações de permutação e mecanismos de aumentar a correlação temporal do vídeo para obter um desempenho melhor, em termos de taxa de compressão e qualidade de vídeo, em vídeos com grande quantidade de movimento. Além disso, o trabalho visa estudar a extensão do esquema para que seja genérico a ponto de funcionar com codecs que utilizam correlação temporal na codificação (como o uso de quadros do tipo P e B).

   Apresentação: 2a feira, 09/07/2012, 17:30hs, Anfiteatro do CIn


17. Mapas Auto-Organizáveis para Armazenamento e Reconhecimento em Linguagem Natural

   (Proposta inicial: aqui) 

   Autor: Caio Fernandes Araújo

   Área: Inteligência Computacional 

   Orientador: Aluizio Fausto Ribeiro Araújo

   Avaliador: (A CONFIRMAR)

   Resumo:

O reconhecimento do discurso por sistemas computacionais natural sempre foi um grande problema, a capacidade de diferenciar e identificar corretamente palavras e fonemas. Este trabalho de graduação tem como objetivo, através do estudo de redes neurais para a classificação, conseguir essa capacidade desejada dos sistemas, ao utilizar a combinação de algumas técnicas já existentes e que, posteriormente, possam vir a ser utilizados em sistemas práticos.

   Apresentação: 2a feira, 23/07/2012, (HORÁRIO A CONFIRMAR), (LOCAL A CONFIRMAR)


18. Desenvolvimento de Modelo ESL para Controlador de Acesso Direto a Memória (DMA)

   (Proposta inicial: aqui) 

   Autor: Camila Ascendina Nunes

   Área: Engenharia da Computação - Microeletrônica 

   Orientador: Edna Natividade Silva Barros

   Avaliador: Manuel Eusébio de Melo (A CONFIRMAR)

   Resumo:

A venda de produtos eletrônicos vem crescendo muito durante os últimos anos, e para auxiliar no desenvolvimento destes, a indústria tem utilizado com maior frequência os núcleos de propriedade intelectual (IP Core). Um IP Core bastante utilizando no mercado de equipamentos eletrônicos é o controlador de acesso a memória (DMA), que possui a meta de reduzir o tempo gasto pelo processador para realizar transferências de dados entre os dispositivos mais lentos como,por exemplo, as memórias. O trabalho proposto  tem  como  objetivo desenvolver um modelo ESL (Eletronic System Level) do  Controlador  de  DMA, seguindo  a metodologia  de verificação  para  circuitos  digitais  OVM_tpi  (Open  Verification  Methodology using Template Programming Interface).

   Apresentação: 3a feira, 10/07/2012, 08:30hs, Anfiteatro do CIn


19. Ferramenta para ludificação do desenvolvimento de software

   (Proposta inicial: aqui) 

   Autor: Cleivson Siqueira de Arruda

   Área: Engenharia de software 

   Orientador: Geber Lisboa Ramalho

   Avaliador:  (A CONFIRMAR)

   Resumo:

Uma ferramenta integrada ao ambiente de desenvolvimento Visual Studio para aumentar o interesse dos desenvolvedores e estimulá-los a desenvolver códigos de maior qualidade de uma forma divertida. Analisando o código desenvolvido e oferecendo premiações (achievements) ao desenvolvedor de acordo com determinados padrões desejados de qualidade.

Pode-se também atribuir notas ao código desenvolvido e manter um ranking com as maiores notas, estimulando o programador a obter notas cada vez melhores e se posicionar no topo do ranking em um esquema de competição. 

   Apresentação: 3a feira, 10/07/2012, 09:00hs, Anfiteatro do CIn


20. Estendendo uma DSL para reconhecimento de gestos utilizando Kinect

   (Proposta inicial: aqui) 

   Autor: Daniel Victor Pinto Costa

   Área: Jogos 

   Orientador: Geber Lisboa Ramalho

   Co-Orientador: André Luís de Medeiros Santos

   Avaliador: Sérgio Soares (A CONFIRMAR)

   Resumo:

Este trabalho visa estender a KGL, uma DSL para reconhecimento de gestos no Kinect, ganhando assim uma melhor cobertura dos gestos utilizados nos jogos, e assim possibilitando uma eficácia maior no desenvolvimento de jogos para a plataforma.

   Apresentação: 3a feira, 10/07/2012, 09:30hs, Anfiteatro do CIn


21. Ferramenta para apoio à estimativa baseada em Planning Poker utilizando a metodologia Scrum

   (Proposta inicial: aqui) 

   Autor: Dennis Williams Alves da Silveira

   Área: Engenharia de Software 

   Orientador: Alexandre Marcos Lins de Vasconcelos

   Avaliador: Vinícius Cardoso Garcia (A CONFIRMAR)

   Resumo:

As equipes de desenvolvimento de software que trabalham com práticas ágeis costumam utilizar técnicas de estimativas em projetos para averiguar o tempo de implementação de um requisito. Uma dessas técnicas é o Planning Poker.

Este trabalho tem como proposta apresentar o planejamento e a arquitetura de uma ferramenta multiusuário para determinar as estimativas de esforço e custo baseadas em Planning Poker para projetos de software. O objetivo é trabalhar com as vantagens do gerenciamento clássico e ágil, utilizando práticas oriundas da metodologia Scrum.

   Apresentação: 3a feira, 10/07/2012, 10:00hs, Anfiteatro do CIn


22. Consolidando o Business Model Framework: estratégia de crescimento e competitividade na metodologia Business Model Generation

   (Proposta inicial: aqui) 

   Autor: Eduardo Menezes Pires

   Área: Empreendedorismo e Inovação 

   Orientador: Ruy José Guerra Barretto de Queiroz

   Avaliador: Carina Frota Alves

   Resumo:

Com o aumento da sofisticação dos mercados, novos modelos de negócio estão nascendo graças a um melhor entendimento dos processos de inovação. Para apoiar a criação de novos modelos de negócio, Alex Osterwald propôs uma ontologia onde o negócio consegue ser rapidamente descrito e apresentado, divididos em nove blocos que constituem quatro grandes áreas (Infraestrutura, Oferta, Clientes e Finanças). A ontologia foi apresentada graficamente e foi chamada de Business Model Canvas (BMC). Atualmente, várias pessoas tem trabalhado para adaptar a estrutura do BMC. O objetivo deste trabalho é formalizar uma dessas variações do BMC, o chamado Business Model Framework (BMF), proposto informalmente por Tom Hulme, fazendo uma análise das fontes utilizadas pelo autor, e desenvolver uma ferramenta gráfica para auxiliar a visualização, criatividade e validação de hipóteses do modelo de negócio baseado no BMF.

   Apresentação: 4a feira, 11/07/2012, 09:00hs, Sala B-020


23. Desenvolvimento de um Sistema Microcontrolado para Detecção de Doenças por meio de Biosensores

   (Proposta inicial: aqui) 

   Autor: Fábio Leite Soares

   Área: Sistemas Embarcados 

   Orientador: Manoel Eusébio de Lima

   Avaliador: Abel Guilhermino da Silva Filho (A CONFIRMAR)

   Resumo:

O objetivo final deste trabalho é desenvolver um sistema microcontrolado que seja compacto, efetivo e de custo acessível no diagnóstico de determinadas doenças através de resultados positivos e negativos à presença de moléculas associadas a determinadas enfermidades.

Será desenvolvido um sistema que interpretará os sinais elétricos gerados pela reação química entre o analito e o componente físico-químico presente no biosensor para a detecção de partículas associadas a determinados tipos de doenças. Os sinais elétricos serão submetidos em uma primeira fase ao tratamento adequado como filtragem, amplificação e correção e em seguida será submetido ao microcontrolador que irá analisar o sinal e comparar se o analito em questão possui ou não o componente responsável pela doença.

   Apresentação: 3a feira, 10/07/2012, 11:00hs, Anfiteatro do CIn


24. Ferramenta para coleta de métricas em projetos open source

   (Proposta inicial: aqui) 

   Autor: Flávio Juvenal da Silva Junior

   Área: open-source

   Orientador: Fernando Jose Castor de Lima Filho

   Avaliador: André Santos 

   Resumo:

A popularidade do open source oferece oportunidades interessantes para o extração de métricas em grandes volumes de código fonte. Há uma vasta disponibilidade de projetos de código aberto dispersos em vários repositórios, o que permite uma ampla análise de código em tanto em dimensão espacial, isto é, relativa ao número de projetos, quanto em dimensão temporal, ou seja, dados históricos relativos à evolução do código fonte. Um estudo intitulado de “Are Java Programmers Transitioning to Multicore? A Large Scale Study of Java FLOSS” abrangeu análises de códigos em Java em ambas as dimensões para mensurar o grau de uso das construções de programação concorrente e a evolução de sua utilização ao longo do tempo. O objetivo deste projeto é a integração das várias ferramentas utilizadas pelos autores deste artigo em uma única ferramenta open source, extensível, multiplataforma e de fácil uso e configuração.

   Apresentação: 3a feira, 10/07/2012, 11:30hs, Anfiteatro do CIn


25. Projeto e Desenvolvimento de um Dispositivo de Polarização, Filtragem e Amplificação de Sinais Provenientes de Múltiplos Biossensores

   (Proposta inicial: aqui) 

   Autor: Gabriel Monteiro Gazineu

   Área: Sistema Embarcado/Biossensores

   Orientador: Manoel Eusébio de Lima

   Avaliador: Cristiano Coelho de Araújo (A CONFIRMAR)

   Resumo:

Com o avanço da tecnologia e a consequente miniaturização dos dispositivos, procedimentos que antes deviam ser realizados através do uso de grandes máquinas e exigiam determinado tempo para apresentar seus resultados, agora já podem ser realizados em dispositivos ágeis e portáteis. Aproveitando tal avanço, a área de diagnósticos médicos desenvolveu dispositivos portáteis que possibilitam realizar leituras rápidas, em poucos segundos, de características particulares do nosso sangue. Facilmente encontrados em farmácias e supermercados porém, na sua grande maioria, não fabricados no Brasil, tais dispositivos acabam por agregar um alto custo no tratamento devido à necessidade de aquisição do mesmo.

Pensando na população de baixa renda do Brasil e principalmente, nos programas de saúde do governo como o PSF (Programa da Saúde da Família), uma solução para o alto custo seria o desenvolvimento de uma tecnologia nacional. Além de reduzir o custo para adquirir um dispositivo, o desenvolvimento do mesmo torna possível fazer adaptações e tornar o produto mais voltado para o uso nos programas de saúde.

   Apresentação: 3a feira, 10/07/2012, 14:00hs, Anfiteatro do CIn


26. Uma ferramenta para Definição de Mapeamentos entre Vocabulários usados na publicação de Dados Linkados

   (Proposta inicial: aqui) 

   Autor: Gabriela Fernanda Silva de Vasconcelos

   Área: Web Semântica 

   Orientador: Bernadette Farias Lóscio 

   Co-Orientador: Danusa Ribeiro Bezerra da Cunha

   Avaliador: Ana Carolina Salgado

   Resumo:

Alguns conteúdos encontrados na web seguem regras apenas sintáticas, com objetivos de apresentação, não permitindo que se consiga facilmente extrair semântica dos mesmos.  Para resolver tais problemas foi proposta a Web Semântica, uma extensão da Web atual, onde as informações apresentam um significado bem definido e bem estruturado e um dos fatores essenciais para que a Web Semântica torne-se uma realidade diz respeito ao uso de ontologias. Hoje, é possível encontrar diversas ontologias definidas para um mesmo domínio, cada qual com suas particularidades de modelagem. Essa diversidade de ontologias torna-se um problema quando é necessário consultar dados armazenados em ontologias distintas e que dizem respeito a um mesmo domínio. Para facilitar esse processo é comum o uso de mapeamentos entre ontologias, O objetivo geral deste trabalho é a implementação de uma ferramenta para criação de mapeamento entres os vocabulários visando o reuso dos termos dessas ontologias  na criação de outras ontologias. Com o uso da ferramenta proposta será possível além de criar o mapeamento entre ontologias, pesquisar os termos de cada ontologia, bem como a relação dos termos de uma ontologia com os termos de outra ontologia.

   Apresentação: 3a feira, 10/07/2012, 14:30hs, Anfiteatro do CIn


27. Desenvolvimento do PSIRT para tomografia industrial

   (Proposta inicial: aqui) 

   Autor: Ícaro Valgueiro Malta Moreira

   Área: Tomografia Computacional 

   Orientador: Silvio de Barros Melo

   Avaliador: Veronica Teischrieb 

   Resumo:

O objetivo desse trabalho é o desenvolvimento PSIRT que está direcionado a dados simulados, sobre a configuração paralela 3x7 e, posteriormente, a dados reais usando a configuração Fanbeam 5x17.  

   Apresentação: 3a feira, 10/07/2012, 15:00hs, Anfiteatro do CIn


28. Modularização do Tratamento de Exceções com Eventos Explícitos

   (Proposta inicial: aqui) 

   Autor: Írineu Martins de Lima Moura

   Área: Processamento de vídeo 

   Orientador: Fernando José Castor de Lima Filho

   Avaliador: Paulo Henrique Monteiro Borba (A CONFIRMAR)

   Resumo:

Interesses transversais podem ser definidos como interesses cuja representação se espalha e/ou se entrelaça pelos artefatos de um sistema de software. Abordagens para atacar esse problema envolvem a programação orientada a aspectos e variações como linguagens baseadas em eventos explícitos. O tratamento de exceções também pode ser considerado um dos interesses transversais de um sistema e já existem estudos focando na modularização desse interesse utilizando linguagens orientadas a aspectos convencionais, como AspectJ. O objetivo primário deste trabalho é sugerir um conjunto de soluções para modularizar o tratamento de exceções de um sistema de software utilizando uma linguagem baseada em eventos explícitos. Adicionalmente, pretende-se realizar um estudo comparativo entre o sistema modularizado utilizando as soluções propostas e uma versão do mesmo sistema que tenha o tratamento de exceções modularizado com AspectJ.

   Apresentação: 3a feira, 10/07/2012, 15:30hs, Anfiteatro do CIn


29. Uma Avaliação de Desempenho e Análise do Sistema de Localização RFID VIRE 

   (Proposta inicial: aqui) 

   Autor: Ivan Luiz de França Neto 

   Área: Redes de Computadores - Comunicação Sem Fio 

   Orientador: Paulo André da Silva Gonçalves

   Avaliador: Carlos André Guimarães Ferraz 

   Resumo:

A localização automática de objetos é uma das aplicações mais promissoras dos sistemas RFID baseados em etiquetas ativas. Dentre os sistemas RFID capazes de prover automaticamente a localização de objetos encontram-se o LANDMARC e o VIRE. Enquanto o primeiro possui desempenho bem compreendido, o segundo ainda carece de pesquisas que forneçam melhores subsídios sobre sua eficiência de localização em diversos cenários de propagação de sinais e sobre o impacto da escolha de seus parâmetros de projeto. Este artigo apresenta uma avaliação de desempenho e análise do VIRE. Esse sistema é avaliado e analisado com o auxílio de simulações que consideram um ambiente interno com um canal de comunicação sob várias condições de propagação de sinais. As principais contribuições deste trabalho estão na avaliação de desempenho realizada, na identificação de pontos de melhoria do sistema VIRE e na identificação dos desafios envolvidos em sua otimização. 

   Apresentação: 3a feira, 10/07/2012, 16:00hs, Anfiteatro do CIn


30. Desenvolvimento de um IP-Core para Comunicação de Alto Desempenho entre FPGAs

   (Proposta inicial: aqui) 

   Autor: João Cleber Bezerra Libório Correia

   Área: Arquitetura de Computadores 

   Orientador: Manoel Eusebio Lima

   Avaliador: Edna Natividade da Silva Barros 

   Resumo:

Nos últimos anos, tornou-se mais difícil avaliar qual hardware pode oferecer a melhor solução para os mais exigentes processamentos de imagem. Em particular, os aceleradores gráficos (GPGPU) e os dispositivos de lógica programável (FPGA) emergiram como fortes candidatos ao título de plataforma de hardware da vez. Em 2010, o Centro de Informática da UFPE, através do grupo de pesquisa High Performance no CIn (HPCIn), foi inserido numa comunidade científica internacional chamada CHREC, composto por mais de 30 organizações da academia, da indústria e de setores do governo. Por meio de uma parceria com o Centro de Pesquisas e Desenvolvimento Leopoldo Américo Miguez de Mello (Cenpes) da Petrobras, o Grupo HPCIn iniciou o Projeto Sísmica, que desenvolveu uma plataforma de aceleração de alto desempenho para modelagem sísmica, utilizando a placa GiDEL ProcStarIII, que conta com quatro FPGAs Altera Stratix III 260E e 32GB de RAM. O projeto para o TG tem como proposta desenvolver um módulo para comunicação de alto desempenho, visando disponibilizar um canal de comunicação confiável entre os FPGAs da placa GiDEL ProcStarIII. Utilizando-se de técnicas para geração de ip-cores, esse módulo será reusável, podendo ser utilizado em projetos futuros.

   Apresentação: 4a feira, 15/08/2012, 14:00hs, (LOCAL A CONFIRMAR)


31. Definição e Prototipação de uma Ferramenta de Apoio ao Gerenciamento do Plano de Ação Institucional da UFPE

   (Proposta inicial: aqui) 

   Autor: João Victor Wanderley Ramos

   Área: Engenharia de Software, Gerenciamento de Projetos, Planejamento Estratégico

   Orientador: Hermano Perrelli de Moura

   Avaliador: Andre Luis de Medeiros Santos (A CONFIRMAR)

   Resumo:

A Pró-reitoria de Planejamento, Orçamento e Finanças (PROPLAN) possui um plano de ação no qual as ações executadas pela administração da Universidade são inseridos para gerenciamento. O problema identificado é que estas atividades pertencem a um determinado programa ou projeto, e toda essa informação fica condensada em um único documento, dificultando o gerenciamento. Uma ferramenta de categorização dessas ações irá facilitar o trabalho de identificação e monitoramento para os gestores, que atualmente é conduzido com planilhas em separado. O sistema a ser desenvolvido irá catalogar todas essas atividades e seus atributos, facilitando o controle e visualização delas por categorias, dando uma visão mais abrangente de todo o plano de forma organizada.

Será conduzido um estudo bibliográfico a respeito de Gestão de Projetos, planejamento estratégico e planejamento operacional na aérea pública, para em seguida ser desenvolvido um protótipo funcional de categorização das ações do Plano de Ações da PROPLAN. O protótipo será validado com coordenadores de programa e gerentes de ações da UFPE

   Apresentação: 3a feira, 10/07/2012, 17:00hs, Anfiteatro do CIn


32. Avaliação da qualidade do processo de manutenção de software do Sistema de Informação e Gestão Acadêmica - SIGA

   (Proposta inicial: aqui) 

   Autor: José Ferreira Campos Abelenda Neto

   Área: Engenharia de software 

   Orientador: Alexandre Marcos Lins de Vasconcelos

   Avaliador: José Antônio Monteiro de Queiroz

   Resumo:

Avaliar a qualidade do processo de manutenção de software do Sistema de Informação e Gestão Acadêmica da Universidade Federal de Pernambuco (Projeto SIG@ - UFPE), de forma a apontar possíveis problemas no processo e sugerir melhorias visando um aumento da qualidade.

   Apresentação: 2a feira, 06/08/2012, 14:00hs, Auditório do CIn


33. Reconhecimento facial a partir de extratores de características aplicados a redes neurais 

   (Proposta inicial: aqui) 

   Autor: José Ivson Soares da Silva

   Área: reconhecimento de padrão 

   Orientador: Tsang Ing Ren

   Avaliador: George Darmiton (A CONFIRMAR)

   Resumo:

O reconhecimento facial é uma das áreas da visão computacional com várias aplicações, entre elas segurança e login. O objetivo deste projeto é de realizar um estudo das técnicas de reconhecimento facial em imagens. As técnicas estudadas para extração de características serão o PCA, ICA e LDA baseado no trabalho de Neagoe et al. (2010) que utilizou estes extratores como entrada para uma rede neural CSOM (Concurrent Self Organized Maps) proposta pelos autores. A partir da implementação dessas técnicas este trabalho se propõe a aplicar as características extraídas das imagens a redes neurais para realizar o reconhecimento facial.

   Apresentação: 4a feira, 11/07/2012, 08:00hs, Anfiteatro do CIn


34. Análise de Formas de Medição Consumo de Energia Elétrica no Setor Residencial e Aplicações

   (Proposta inicial: aqui) 

   Autor: Josiane Bezerra Ferreira

   Área: Sistemas Embarcados

   Orientador: Sérgio Vanderlei Cavalcante

   Avaliador: (A CONFIRMAR)

   Resumo:

O crescimento do consumo de energia elétrica a um nível maior que a capacidade de geração no Brasil traz a necessidade de construção de novas fontes. Como consequência disso temos uma série de impactos ambientais. Uma solução para minimizar o problema é estimular a economia de energia elétrica. O setor residencial tem um potencial de redução de até 15%, e estudos comprovam que os consumidores sentem dificuldade em economizar por nao entenderem as informações do próprio consumo. O objetivo desse trabalho é analisar as formas de medição de consumo de energia e como as informações são disponibilizadas ao consumidor, de forma a facilitar a economia de energia.

   Apresentação: 4a feira, 11/07/2012, 08:30hs, Anfiteatro do CIn


35. Projeto de um assistente de provas para os N-grafos 

   (Proposta inicial: aqui) 

   Autor: Laís Sousa de Andrade

   Área: Teoria da Computação 

   Orientador: Anjolina Grisi de Oliveira

   Avaliador: Ruy José Guerra Barretto de Queiroz 

   Resumo:

Assistentes de prova são sistemas de computação que auxiliam no desenvolvimento de provas e definições formais. Estes sistemas provêm alguns passos da prova automaticamente e verificam a corretude da mesma. No contexto de formalização de provas, foi desenvolvido um sistema de prova com múltiplas conclusões para o cálculo clássico proposicional na forma de grafos direcionados, chamado N-grafos, onde é possível estudar aspectos estruturais de provas formais da dedução natural em lógica clássica. Este trabalho tem como objetivo definir um assistente de provas para os N-grafos, restrito ao fragmento com as operações lógicas “e” e “ou”, sem lidar com o caso da implicação. Para isso, será realizado um estudo aprofundado sobre os assistentes de provas, onde será mostrada uma visão global de seu funcionamento e o estado da arte. A melhor abordagem deve ser escolhida durante este estudo e aplicada sobre os N-grafos para a definição do assistente.

   Apresentação: 4a feira, 11/07/2012, 09:30hs, Sala B-020


36. Classificação de emoções no Twitter segmentadas por gênero 

   (Proposta inicial: aqui) 

   Autor: Lais Varejão Vital

   Área: Mineração de Dados na Web 

   Orientador: Ricardo Bastos Cavalcante Prudêncio

   Avaliador: Patrícia Cabral de Azevedo Restelli Tedesco (A CONFIRMAR)

   Resumo:

Nos últimos anos houve uma expansão das mídias sociais e, conseqüentemente, um aumento da disponibilidade de textos emocionais na Internet (Sepandar et al, 2011). Neste contexto, o trabalho proposto tem como objetivo principal analisar as diferenças de expressividade emocional entre gêneros, através da classificação automática de um conjunto de Tweets em seis emoções básicas: felicidade, tristeza, raiva, medo, repulsa e surpresa (Ekman, 1992).

   Apresentação: 4a feira, 11/07/2012, 09:30hs, Anfiteatro do CIn


37. Reconhecimento de voz no controle de tráfego aéreo (CANCELADO)

   (Proposta inicial: aqui) 

   Autor: Lamberto Augusto de Oliveira Neto

   Área: Reconhecimento de voz no controle de tráfego aéreo

   Orientador: Carlos Alexandre Barros de Mello

   Avaliador: Tsang Ing Ren (A CONFIRMAR)

   Resumo:

Esse trabalho consiste em inserir o reconhecimento de voz como interface de comunicação do controlador com o sistema já existente no mercado, visando melhorar a forma com que é realizada a operação, especificamente em aspectos como, por exemplo, fluidez e agilidade na operação, segurança e vigilância, reduzir o risco de desconfortos musculoesqueléticos e lesões causadas por esforços repetitivos, entre outros. A ideia proposta é que durante a operação, enquanto o controlador estiver emitindo alguma instrução para o piloto, o sistema possa processar o sinal de voz e realizar o reconhecimento da instrução emitida, podendo realizar algumas operações específicas, relacionada com a autorização. 

   Apresentação: 4a feira, 11/07/2012, 10:00hs, Anfiteatro do CIn


38. Melhoria da qualidade de imagens de documentos com background complexo 

   (Proposta inicial: aqui) 

   Autor: Leandro Henrique Espíndola Viana de Almeida

   Área: Processamento Digital de Imagens 

   Orientador: Carlos Alexandre Barros de Mello

   Avaliador:  George Darmiton

   Resumo:

Um passo fundamental no processamento digital de imagens é a binarização (ou limiarização), que tem por finalidade destacar aquilo que é considerado informação útil, e desprezar os ruidos de fundo. A binarização, quando feita de forma precisa, facilita o trabalho dos programas OCR (Optical Character Recognition) como também permite que a imagem seja armazenada de maneira mais eficiente, já que ela possui um tamanho menor do que imagens com muitas cores. A proposta deste trabalho é investigar algumas técnicas de binarização recentes, avaliando seus resultados e estabelecendo cursos para possíveis melhorias sobre elas.

   Apresentação: 6a feira, 29/06/2012, 09:00hs, Sala D-222


39. Framework Genérico para Geração Procedural de Partidas em Jogos Infinitos 

   (Proposta inicial: aqui) 

   Autor: Leonardo Vieira de Carvalho

   Área: Inteligência Artificial / Jogos Digitais 

   Orientador: Geber Lisboa Ramalho

   Avaliador:  Patricia Cabral de Azevedo Restelli Tedesco(A CONFIRMAR)

   Resumo:

O projeto tem como objetivo prover um framework para a geração de partidas em jogos infinitos. Tal framework deve ser utilizável em jogos de diversos gêneros, como plataforma ou shoot-them-up, e se utilizará de blocos criados previamente por designers como componentes básicos para montar as partidas. É necessário também que sejam respeitadas certas restrições impostas pelos designers no que tange à curva de dificuldade das partidas, de forma que as partidas geradas sigam um fluxo determinado, mas ainda provendo um grande nível de variação.

   Apresentação: 4a feira, 11/07/2012, 11:00hs, Anfiteatro do CIn


40. Um Estudo Prático Sobre os Padrões WFS e WMS Usando os Servidores de Mapa Geoserver e Mapserver

   (Proposta inicial: aqui) 

   Autor: Lino Alves de Oliveira Júnior

   Área: Geoprocessamento 

   Orientador: Robson Fidalgo

   Avaliador: Fernando da Fonseca de Souza (A CONFIRMAR)

   Resumo:

Mapas são ferramentas poderosas devido a sua capacidade de representar grande quantidade de informações de maneira clara e concisa. Para proporcionar estas vantagens na web uma importante ferramenta que tem sido utilizada é o servidor de mapas. O qual fornece uma

infraestrutura para que dados geográficos possam ser fornecidos de acordo com padrões bem definidos mantidos pelo OGC (Open Geospatial Consortium), sendo os padrões mais usados o WFS (Web Feature Service), o WCS (Web Corverage Service) e o WMS (Web Map Service). Este trabalho tem por objetivo apresentar uma visão geral sobre servidores de mapas, abordar os padrões WFS  e WMS definidos pela OGC para troca de informações geográficas na web, e a confecção de dois estudos práticos de aplicações com exemplos de uso de WFS e WMS sendo

uma aplicação fazendo uso do servidor Geoserver e outra fazendo uso do servidor Mapserver.

   Apresentação: 4a feira, 11/07/2012, 11:30hs, Anfiteatro do CIn


41. Estudo de Algoritmos de Escalonamento de Recursos com Prioridade em VPNs

   (Proposta inicial: aqui) 

   Autor: Luiz Carlos dos Santos Filho

   Área: Redes de Computadores 

   Orientador: Djamel Fawzi Hadj Sadok

   Avaliador: Stênio Flávio de Lacerda Fernandes (A CONFIRMAR)

   Resumo:

A qualidade dos serviços providos pelas redes sempre foi um grande problema, o escalonamento de recursos com prioridade busca dar essa qualidade para determinados serviços. Este trabalho de graduação tem como objetivo, através do estudo de algoritmos de escalonamento de recursos com prioridade, a implementação de um algoritmo que inicialmente dê prioridade a transmissão de voz em relação à dados em VPNs e que posteriormente, possa ser expandido para serviços como vídeo, broadcast entre outros.

   Apresentação: 4a feira, 11/07/2012, 14:00hs, Anfiteatro do CIn


42. Análise da atividade social de comunicação entre pais e educadores na educação infantil: especificação e prototipagem do sistema colaborativo PIPPA

   (Proposta inicial: aqui) 

   Autor: Marcello Cysneiros Landim Valença

   Área: Tecnologias para a educação 

   Orientador: Alex Sandro Gomes

   Avaliador: Fernando da Fonseca de Souza

   Resumo:

Novas tecnologias surgem a cada dia, e as escolas precisam se modernizar. O tempo também se torna cada vez mais escasso, e alternativas mais eficientes precisam ser encontradas para se fazer as coisas. Este trabalho se baseia na Teoria  da Atividade, Etnografia e em cenários para encontrar necessidades dos usuários e criar protótipos para solucionar essas necessidades, e a partir disso identificar requisitos para o Pippa,  uma rede social escolar na web. Ao final deste  trabalho, o  Pippa passa a ser visto como uma ferramenta de interação entre pais, professores e alunos, móvel e adaptada às novas tecnologias, que aumenta a eficiência da comunicação tanto em sala de aula para os professores, como fora da escola para os pais. Com tudo isso, espera-se que a cooperação entre pais, professores e alunos seja alcançada e melhorada cada vez mais, com a finalidade de melhorar o desempenho do aluno.

   Apresentação: 2a feira, 18/07/2012, 09:00hs, (LOCAL A CONFIRMAR)


43. Análise do Aumento da Superfície de Ataque na Web Decorrente da Exploração de Recursos do HTML 5 (CANCELADO)

   (Proposta inicial: aqui) 

   Autor: Marcelo Frota Pinto Pessoa

   Área: Inteligência Artificial

   Orientador: Ruy José Guerra Barretto de Queiroz

   Avaliador: Djamel Sadok (A CONFIRMAR)

   Resumo:

O objetivo principal deste trabalho é realizar uma análise da insegurança das tecnologias que compõem o padrão HTML 5, com o objetivo de identificar novos vetores de ataque, e assim comprovar o aumento da superfície de ataque na web. Além disso, como objetivo secundário, mas não menos importante, este trabalho tentará, sempre que possível, ilustrar formas de mitigar as vulnerabilidades encontradas. 

   Apresentação: 4a feira, 11/07/2012, 10:00hs, Sala B-020


44. Calau, uma ferramenta para análise e modelagem de sistemas embarcados de tempo-real

   (Proposta inicial: aqui) 

   Autor: Marcelo Macêdo Alves

   Área: Sistemas Embarcados

   Orientador: Paulo Romero Martins Maciel

   Avaliador: Eduardo Antonio Guimaraes Tavares (A CONFIRMAR)

   Resumo:

Acelerar o time to market de novos sistemas em tempo real é uma estratégia fundamental, hoje em dia. No entanto, lançar versões de baixa qualidade para o mercado pode ser perigoso, já que uma perda de deadline em um sistema crítico pode ser catastrófico. Assim, a detecção precoce de potenciais problemas existentes nesses sistemas é obrigatória, uma vez que ela pode reduzir os riscos de falhas e propagações de erros da especificação para o produto final. O trabalho propõe Calau, um ambiente para modelagem e análise de sistemas embarcados de tempo real. Ele permite que os designers, que não têm perícia no modelo formal, projetem e analisem sistemas quantitativamente, a partir da especificação.

   Apresentação: 3a feira, 31/07/2012, 09:00hs, Auditório do CIn - Bloco C


45. Validação de sanitizadores através de execução simbólica e cross-checking de bibliotecas

   (Proposta inicial: aqui) 

   Autor: Mateus Araújo Borges

   Área: Teste de Software

   Orientador: Marcelo d'Amorim

   Avaliador: Alexandre Mota (A CONFIRMAR)

   Resumo:

O objetivo deste projeto é analizar bibliotecas de sanitização existentes em busca de vulnerabilidades. Mais especificamente, nós queremos encontrar entradas que revelem vulnerabilidades em funções de sanitização. Nossa contribuição é dupla: (1) nós desejamos encontrar entradas que violam a especificação da função de sanitização, e (2) reportar vulnerabilidades não cobertas pelas bibliotecas existentes.

   Apresentação: 4a feira, 11/07/2012, 15:30hs, Anfiteatro do CIn


46. Autenticação de Usuário Utilizando Plataforma Segura

   (Proposta inicial: aqui) 

   Autor: Matheus Bispo Arrais de Souza

   Área: Redes de Computadores

   Orientador: Djamel Fawzi Hadj Sadok

   Co-Orientador: Eduardo Luzeiro Feitosa

   Avaliador: Judith Kelner 

   Resumo:

Esse trabalho tem como objetivo o desenvolvimento de uma solução para autenticação de usuários, fazendo uso da uma plataforma segura. Nessa abordagem o usuário tem um chip TPM - Trusted Plataform Module  - que armazena suas credenciais e pode confirmar sua identidade ao tentar acessar informações ou recursos restritos do sistema.

   Apresentação: 3a feira, 10/07/2012, 10:30hs, Auditório do CIn


47. Uma metodologia para criação e estruturação de uma comunidade lúdica de desenvolvimento

   (Proposta inicial: aqui) 

   Autor: Matheus Luck Lucas

   Área: Gamification, Gestão de Equipes de Desenvolvimento

   Orientador: Geber Lisboa Ramalho

   Avaliador: Alex Sandro Gomes (A CONFIRMAR)

   Resumo:

Este projeto tem como objetivo aprofundar o estudo sobre os princípios de gamification e técnicas de game design a serem empregadas em uma ferramenta de auxílio a equipes de desenvolvimento multidisciplinares. O estudo usará uma proposta de plataforma produzida por alunos do CIn-UFPE (projeto Arcadea, 2010) como base para análise, criação e utilização de uma metodologia para aplicar os princípios e técnicas estudados que se adequarem de forma mais apropriada às necessidades de uma equipe de desenvolvimento multidisciplinar.

   Apresentação: 4a feira, 11/07/2012, 16:30hs, Anfiteatro do CIn


48. Análise de Sentimentos no Twitter: Uma abordagem utilizando o classificador Naive Bayes

   (Proposta inicial: aqui) 

   Autor: Paulo Henrique S. L. Floro de Oliveira

   Área: Inteligência Artificial

   Orientador: Ricardo Bastos Cavalcante Prudêncio

   Avaliador: Flávia de Almeida Barros (A CONFIRMAR)

   Resumo:

A quantidade de dados presente na web tem crescido desenfreadamente com a popularização de redes sociais como Twitter e Facebook. Esses dados públicos são usadas como fonte para extração de características e opiniões sobre produtos, empresas e/ou pessoas. A proposta desse projeto é desenvolver uma ferramente que extrairá dados em tempo real através do Twitter e processá-los utilizando algumas implementações de algoritmos utilizados na Análise de Sentimento. O algoritmo estudado será o classificador Naive Bayes e outras alternativas serão analisadas com o objetivo de sumarizar e comparar os resultados de cada um deles.

   Apresentação: 4a feira, 11/07/2012, 17:00hs, Anfiteatro do CIn


49. Como as subvenções econômicas governamentais impactam negativamente na sobrevivência das startups pernambucanas (CANCELADO)

   (Proposta inicial: aqui) 

   Autor: Paulo Thiago Gomes da Silva

   Área: Empreendedorismo e Inovação

   Orientador: Ruy José Guerra Barretto de Queiroz

   Avaliador: Carina Frota Alves 

   Resumo:

Esse trabalho tem como objetivo principal investigar as possíveis consequências negativas para as MPEs que participam de programas de subvenções econômicas governamentais.  Uma das hipóteses admitidas para o início da pesquisa é que este mecanismo de atuação administrativa, financeira e humana não é suficiente para tornar o projeto sustentável, acelerando assustadoramente a mortalidade das empresas nascentes

   Apresentação: 4a feira, 11/07/2012, 10:30hs, Sala B-020


50. Segmentação de Imagens Médicas para Diagnóstico em Sistemas Inteligentes

   (Proposta inicial: aqui) 

   Autor: Pedro Augusto Clemente de Melo

   Área:Processamento de Imagens, Inteligência Artificial

   Orientador: Germano Crispim Vasconcelos

   Avaliador: Paulo Jorge Leitão Adeodato (A CONFIRMAR)

   Resumo:

O câncer de pulmão está entre os mais comuns no mundo e é considerado uma doença alto índice de mortalidade. Sistemas denominados "Computer-aided detection" (CAD) tem sido desenvolvidos para auxiliar o diagnóstico em fases iniciais da doença, buscando em imagens de tomografias computadorizadas ou raios-X os chamados nódulos pulmonares. Nestes sistemas a fase de segmentação do pulmão é uma etapa crítica e está diretamente relacionada à acurácia do mesmo. Este trabalho se propõe a desenvolver e avaliar um algoritmo para segmentação de pulmão em imagens de tomografias computadorizadas a ser utilizado em sistemas CAD.

   Apresentação: 5a feira, 12/07/2012, 08:00hs, Anfiteatro do CIn


51. Aplicando a Abordagem GQM para avaliar o impacto da adoção do Scrum

   (Proposta inicial: aqui) 

   Autor: Philippe Pereira das Neves

   Área: Engenharia de Software

   Orientador: Judith Kelner

   Avaliador: Thiago Souto Maior Cordeiro de Farias

   Resumo:

Muitas organizações desenvolvem software sem usar nenhum processo ou método. Geralmente isso ocorre porque os processos tradicionais não são adequados às realidades das organizações. Em particular, as organizações pequenas e médias não possuem recursos suficientes para adotar o uso de processos pesados. Por esta razão, elas não utilizam nenhum processo. O objetivo deste trabalho é analisar o impacto da adoção de métodos ágeis, em particular a metodologia SCRUM, nos projetos sob medida desenvolvidos pela por uma empresa de pequeno porte de desenvolvimento de software sob medida, utilizando a abordagem GQM para definição de métricas que servirão de indicadores para avaliar as mudanças no processo de software.

   Apresentação: 2a feira, 30/07/2012, 16:00hs, Auditório do CIn


52. Síntese lógica com abordagem multiclock de uma porta serial com buffer e multicanal

   (Proposta inicial: aqui) 

   Autor: Rafael Castro Barbosa

   Área: Microeletrônica

   Orientador: Edna Natividade da Silva Barros

   Avaliador: Cristiano Coelho de Araújo (A CONFIRMAR)

   Resumo:

O trabalho é a concepção da síntese lógica do código RTL (register transfer level) de uma porta serial multi-canal, esse código sintetizado é a netlist que serve de entrada para que o layout seja feito e então o chip possa ser fabricado. 

        Na fabricação de um chip várias etapas devem ser executadas até se chegar no formato final da para que a foundry faça os wafes com os chips. O começo é a concepção da arquitetura e documentação, então é criado um testbench para que a futura implementação RTL seja verificada validada. O próximo passo é a síntese lógica, que é uma etapa na qual busca garantir que o código RTL gerado possa ser traduzido em portas lógicas com auxílio das bibliotecas de sintetização. O último passo é o layout para que então possa ser feito o encapsulamento. Esse trabalho visa a síntese da McBSP.

   Apresentação: 5a feira, 12/07/2012, 08:30hs, Anfiteatro do CIn


53. Desenvolvimento de uma interface de comunicação entre uma McBSP e uma placa DE2 via circuito impresso

   (Proposta inicial: aqui) 

   Autor: Rafael Diniz Toscano de Lima

   Área: Engenharia de Hardware

   Orientador: Edna Natividade da Silva Barros

   Avaliador: Cristiano Coelho (A CONFIRMAR)

   Resumo:

Este trabalho visa a concepção teórica de uma placa de circuito impresso capaz de comunicar o chip físico da McBSP com a placa de desenvolvimento e prototipação em FPGA DE2 da Altera, dessa forma, pode-se utilizar os recursos da DE2 para a geração de testes automáticos de validação do chip em questão. 

A placa de circuito impresso fará comunicação serial com pinos genéricos da DE2, a qual terá o papel de simular o DSP compatível com a McBSP(famílias TMS320C6000/ TMS320C642x da Texas Instruments). 

Os testes automáticos tem como objetivo validar as funcionalidades de transferência da porta em funcionamento padrão e consistirão em transferências de arquivos de multimídia, de imagem, de áudio mono e por fim áudio stereo, enviados pela DE2.

   Apresentação: 5a feira, 12/07/2012, 09:00hs, Anfiteatro do CIn


54. Atuação do Centro de Informática da Universidade Federal de Pernambuco no Processo de Transferência Tecnológica de Atividades Acadêmicas Inovadoras

   (Proposta inicial: aqui) 

   Autor: Rafael Loureiro de Carvalho

   Área: Empreendedorismo e inovação / Startups

   Orientador: Cristiano Coelho de Araújo

   Avaliador: Ruy José Guerra Barretto de Queiroz 

   Resumo:

Além do risco natural de serem extintas nos cinco primeiros anos de atuação, intrínseco à natureza de uma pequena empresa, startups possuem um risco ainda maior de fecharem nos cinco primeiros meses de vida. A criação de ações, por parte de instituições de ensino superior, pode influenciar na quantidade de empresas nascentes em ambientes universitários e também na postura com a qual os empreendedores enfrentam a estrutura organizacional imposta pelo competitivo ambiente corporativo atual. Este trabalho tem como objetivo a identificação de ações a serem tomadas pelo Centro de Informática da Universidade Federal de Pernambuco, visando ao fomento de mais e melhores spin-offs, para cooperar com o desenvolvimento das partes envolvidas neste processo: universidade, empreendedores e sociedade.

   Apresentação: 5a feira, 12/07/2012, 09:30hs, Anfiteatro do CIn


55. Layout com abordagem multiclock para uma porta serial multiplamente bufferizada e multicanal - McBSP

   (Proposta inicial: aqui) 

   Autor: Raphael Lima Nobre de Almeida

   Área: Microeletrônica

   Orientador: Edna Barros

   Avaliador: Cristiano Coelho de Araújo (A CONFIRMAR)

   Resumo:

A monografia terá como objetivo elaborar o layout do circuito integrado da Porta Serial com Multiplamente Bufferizada e multicanal - McBSP com uma abordagem enfática ao fato dela possuir múltiplos clocks. Esse layout é criado a partir de uma estrutura prévia chamada Netlist, que é a visão em portas lógicas e registradores do funcionamento da McBSP.

   Apresentação: 5a feira, 12/07/2012, 10:00hs, Anfiteatro do CIn


56. ISDA.R- Interval Symbolic Data Analysis for R-CRAN 

   (Proposta inicial: aqui) 

   Autor: Ricardo Jorge de Almeida Queiroz Filho

   Área: Data Mining, Estatística

   Orientador: Renata Maria Cardoso Rodrigues de Souza

   Avaliador: Ricardo Bastos Cavalcante Prudêncio (A CONFIRMAR)

   Resumo:

Devido ao crescimento explosivo das bases de dados, a extração e manuseação de informação se tornam mais difíceis.

Uma forma para contornar esse problema é resumir essas bases, utilizando-se dos denominados dados simbólicos, que são capazes de representar mais informações que dados clássicos.

O presente trabalho é um pacote na linguagem R, cujo principal intuito é tratar de um tipo de dado simbólico específico que é o intervalar.

Esse pacote permitirá  tanto a transformação de variáveis clássicas em variáveis que armazene dados intervalares, quanto a análise desses dados.

   Apresentação: 5a feira, 12/07/2012, 10:30hs, Anfiteatro do CIn


57. Desenvolvimento de um firewall de aplicação web transparente

   (Proposta inicial: aqui) 

   Autor: Rodrigo Carvalho Costa

   Área: Segurança de Sistemas, Redes de Computadores

   Orientador: Ruy José Guerra Barretto de Queiroz

   Avaliador: Fernando José Castor de Lima Filho 

   Resumo:

O trabalho tem como objetivo desenvolver um dispositivo de rede transparente tanto para o usuário final quanto para o sistema alvo cuja o propósito seja mitigar possíveis vulnerabilidadea. A transparência, neste caso, é entendida como desacoplamento físico da aplicação e não apenas como uma questão de usabilidade. Essa característica é desejável como parte da estratégia de uma segurança em camadas. O sistema final deverá fazer uso intensivo de tecnologias pré-existentes, tal como software código fonte aberto e decisões de projeto serão avaliadas de acordo com atributos básicos de segurança em sistemas de informação: confidencialidade, integridade, disponibilidade, autenticidade e irretratabilidade.

   Apresentação: 4a feira, 11/07/2012, 11:00hs, Sala B-020  


58. Auditoria de Sistemas de Informação e sua inserção nas melhores práticas para a Gestão de TI 

   (Proposta inicial: aqui) 

   Autor: Rubem Salzano Neto

   Área: Auditoria de Sistemas de Informação

   Orientador: Ana Carolina Brandão Salgado

   Co-Orientador: Décio Fonseca

   Avaliador: Carina Frota Alves (A CONFIRMAR)

   Resumo:

O trabalho analisa a inserção da auditoria de sistemas em um dos mais famosos frameworks de melhores práticas para a gestão de TI: o COBIT. Adicionalmente, esse estudo ainda expõe um estudo de caso de uma auditoria de sistemas para uma empresa fictícia. Nesse estudo de caso, são expostos elementos de uma auditoria de sistemas fundamentada nas melhores práticas abordadas e nas normas internacionais.

   Apresentação: 5a feira, 12/07/2012, 11:30hs, Anfiteatro do CIn


59. Ferramentas web 2.0 como suporte a comunicação em desenvolvimento global de software

   (Proposta inicial: aqui) 

   Autor: Sara Carvalho da Rocha Brito

   Área: Engenharia de software

   Orientador: Hermano Perrelli de Moura

   Co-Orientador: Ivaldir Honório de Farias Júnior

   Avaliador: Alexandre Vasconcelos 

   Resumo:

A internet permitiu a viabilização de várias formas de comunicação rápidas e com custos menores e isso impulsionou a globalização, sobretudo nos negócios. A alta competitividade entre as empresas no mundo inteiro fez surgir soluções como o desenvolvimento distribuído de software (DDS). Este estudo tem como objetivo pesquisar e elencar, além de analisar ferramentas web 2.0 que venham a prover uma melhor colaboração e comunicação no contexto de DDS.

   Apresentação: 5a feira, 12/07/2012, 12:00hs, Auditório do CIn


60. Análise dos Sistemas de Medição do Consumo de Energia Elétrica em Plantas Industriais

   (Proposta inicial: aqui) 

   Autor: Sofia Galvão Lima

   Área: Sistemas Embarcados

   Orientador: Sérgio Vanderlei Cavalcante

   Avaliador: Ana Carolina Salgado

   Resumo:

A energia elétrica é essencial para a maioria das atividades desempenhadas pela sociedade nos dias de hoje. Para o setor industrial, usar a energia elétrica de maneira otimizada é crucial, pois consumo eficiente significa custo justificado, mas, para alcançar esse objetivo, são necessários sistemas de monitoramento e controle. Assim, este trabalho se propõe a trazer uma análise comparativa das soluções de medição do consumo de energia elétrica em ambientes industriais presentes no mercado ou que ainda estão em pesquisa.

   Apresentação: 5a feira, 12/07/2012, 14:30hs, Anfiteatro do CIn


61. Desenvolvimento de uma técnica de reconhecimento de movimentos e gestos usando uma câmera RGB-D

   (Proposta inicial: aqui) 

   Autor: Thiago de Menezes Chaves

   Área: Mídias e Interação

   Orientador: Cristiano Coelho de Araujo e Veronica Teichrieb 

   Avaliador: Silvio de Barros Melo (A CONFIRMAR)

   Resumo:

A proposta deste trabalho é construir um sistema de reconhecimento de movimentos e gestos em tempo real, usando como ferramenta o Kinect.  Tal reconhecimento agrega as informações: se o movimento está ou não sendo realizado e o estado deste movimento (isto é, se o movimento está no começo, em alguma parte pelo meio ou no final do gesto configurado).

Além disso, tal técnica será integrada a um jogo, o qual será desenvolvido para servir de estudo de caso. Nele o usuário terá que realizar uma série de movimentos fisioterápicos previamente cadastrados no próprio sistema em uma etapa anterior (não sendo obrigado a recadastrar toda vez que for jogar novamente), tais movimentos controlarão o jogo quando realizados corretamente. O jogo também irá informar o usuário caso o movimento esteja sendo realizado de forma incorreta.

   Apresentação: 5a feira, 12/07/2012, 15:00hs, Anfiteatro do CIn


62. Desmembrando o Lean Sartup: Sistema de suporte à decisão na validação de hipóteses e na melhoria do ciclo de aprendizado

   (Proposta inicial: aqui) 

   Autor: Victor Acioli da Costa Alencar

   Área: Empreendedorismo e Inovação

   Orientador: Ruy José Guerra Barretto de Queiroz

   Avaliador: Cristiano Coelho de Araújo

   Resumo:

O principal objetivo  deste projeto é fazer com que alguns pontos do processo formatado por Eric Ries em seu livro "The Lean Startup" (2011) seja automatizado. O ponto principal que será automatizado será a criação e acompanhamento de hipóteses, fazendo com que o empreendedor  tenha uma forma rápida e intuitiva de entender como estão seus testes para seus saltos de fé e suas suposições. Isso vai facilitar na compreensão das hipóteses, ver suas evoluções e por fim agilizar o processo de aprendizado continuo, proposto por Ries.

   Apresentação: 4a feira, 11/07/2012, 11:30hs, Sala B-020


63. Uso do algoritmo de Colônia Artificial de Abelhas para problemas de otimização de portfólio

   (Proposta inicial: aqui) 

   Autor: Victor Lorena de Farias Souza

   Área: Inteligência Artificial

   Orientador: Adiano Lorena Inácio de Oliveira

   Avaliador: Abel Guilhermino da Silva Filho 

   Resumo:

Este projeto propõe a utilização do algoritmo de "Colônia Artificial de Abelhas" para problemas de otimização de portfólio. 

Além de buscar uma comparação dos valores obtidos com resultados de outros algotimos de otimização, como por exemplo, o PSO.

   Apresentação: 2a feira, 02/07/2012, 17:00hs, Auditório do CIn


64. Avaliação de Algoritmos de Pose de Câmera em Reconstrução 3D

   (Proposta inicial: aqui) 

   Autor: Vinícius Miranda César

   Área: Visão computacional (ou Computação Gráfica)

   Orientador: Judith Kelner

   Avaliador: Pedro Machado Manhães de Castro 

   Resumo:

Estimativa de poses de câmera é uma área amplamente estudada em visão computacional e fotogrametria pela comunidade científica, possuindo diversas aplicações, principalmente em reconstrução 3D e realidade aumentada. Motivado pela grande quantidade de algoritmos existentes na literatura e à ausência de estudos comparativos destes algoritmos em reconstrução 3D, a proposta deste artigo é avaliar os principais algoritmos de estimativa de pose de câmera no contexto de reconstrução 3D por vídeo. Dentro deste contexto, este trabalho fará uma análise de como realizar a comparação entre algoritmos de acordos com algumas métricas. Resultados preliminares e as conclusões obtidas nesta pesquisa também serão apresentadas.

   Apresentação: 3a feira, 10/07/2012, 10:00hs, Auditório do CIn


65. Um Sistema de Recomendação para Auxílio de Profissionais de Nutrição

   (Proposta inicial: aqui) 

   Autor: Wagner de Souza Rolim

   Área: Inteligência Artificial

   Orientador: Flávia de Almeida Barros

   Avaliador: Ricardo Prudêncio (A CONFIRMAR)

   Resumo:

A saúde das pessoas está muitas vezes relacionada aos alimentos que elas consomem. Visto que está crescendo a parcela da população com doenças como obesidade, diabetes, colesterol, o trabalho dos profissionais de nutrição e dietética é mais procurado, tanto por meios de comunicação como pelo governo.

O objetivo deste trabalho de graduação é construir um sistema de recomendação que auxilie profissionais de nutrição na indicação de cardápios variados aos seus clientes, de acordo com o perfil de cada um, de modo que as refeições e alimentos recomendados contenham os nutrientes necessários, obedecendo as leis da quantidade, qualidade, harmonia e adequação, conhecidas como as quatro leis da alimentação.

   Apresentação: 5a feira, 12/07/2012, 17:00hs, Anfiteatro do CIn


66. Avaliação dos Projetos da Fábrica Software BankSystem

   (Proposta inicial: aqui) 

   Autor: Ygor Rodrigues Mendes da Silva

   Área: (A CONFIRMAR)

   Orientador: Hermano Perrelli

   Avaliador: (A CONFIRMAR)

   Resumo:

(A CONFIRMAR)

   Apresentação: 5a feira, 12/07/2012, 17:30hs, Anfiteatro do CIn



 

Última atualização: 13 de Novembro de 2012, 08:29am GMT-3