Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação e Engenharia da Computação
1. Plataforma Virtual de Probabilidades Geométricas
(Proposta inicial: aqui)
Autor: Adelmo José Cabral de Almeida
Área: Estatística
Orientador: Marcília Campos
Avaliador: Zanoni Carvalho da Silva (A CONFIRMAR)
Resumo:
Este Trabalho de Graduação tem por objetivo implementar uma Plataforma Virtual que reúna conteúdo sobre Probabilidade Geométrica, que possa ser usado para consulta de professores e alunos, desde do Ensino Fundamental até o Ensino Médio. O conteúdo da Plataforma abordará desde o primeiro momento em que o aluno é apresentado à noções de Probabilidade prosseguindo ao Ensino Médio, contudo utilizando a visão geométrica.
Apresentação: 2a feira, 29/04/2013, 08:00hs, Auditório do CIn
2. Geração de Testes com Feedback Humano
(Proposta inicial: aqui)
Autor: Adriana Libório Fernandes Lins
Área: Geração automática de testes
Orientador: Marcelo d'Amorim
Avaliador: Paulo Henrique Borba
Resumo:
Este projeto investiga maneiras de melhorar a performance e cobertura de geradores de testes, identificando pontos problemáticos e reportando para o usuário, este por sua vez faz os melhoramentos reportados e a geração pode ser continuada. Este projeto é baseado em pesquisas recentes por Xiao et al. e Fraser e Arcuri que mostram a existência de problemas que o gerador requer muito tempo para vencer, porém a entrada humana resolve o problema facilmente.
Apresentação: 6a feira, 15/03/2013, ??:??hs, ?????
3. Mobile Learning: Suporte na criação de cenários de aprendizagem fora do contexto escolar
(Proposta inicial: aqui)
Autor: Alice Lucena Cavalcanti de Oliveira
Área: Software Educativo
Orientador: Alex Sandro Gomes
Avaliador: Simone Santos (A CONFIRMAR)
Resumo:
Um dos principais desafios para a educação no Brasil será a incorporação da experiência da vida real no aprendizado do aluno, A tendência é que um novo paradigma seja criado de forma que o aprendizado se torne mais ativo e centrado no estudante. Dessa forma, o objetivo deste trabalho de graduação é criar um protótipo de um aplicativo mobile que deverá ser inserido em um cenário de aprendizagem fora de sala de aula em que o aluno seja incentivado a interagir com o ambiente ao seu redor. Será discutido o que é necessário para criar situações de aprendizagem integrando as TICs na prática pedagógica do professor.
Apresentação: 2a feira, 29/04/2013, 09:00hs, Auditório do CIn
4. Avaliação da eficácia da ferramenta AGILE TOOL para criar ferramentas de suporte às extensões da linguagem i*
(Proposta inicial: aqui)
Autor: Aline Éllida D'Oleron Vasconcelos
Área: Inteligência Artificial / Jogos Digitais
Orientador: Carla Taciana Lourenço Silva Schuenemann
Avaliador: Jaelson Castro
Resumo:
O framework i* é uma das diversas abordagens para modelagem propostas para especificação de requisitos orientada a objetivos. Diversas linguagens foram propostas baseadas nesta linguagem, necessitando de ferramentas específicas para sua modelagem gráfica. Visando diminuir o custo de desenvolvimento de ferramentas específicas para cada variação do i*, foi desenvolvida a abordagem AGILE. O AGILE (Automatic Generation of i* Languages) propõe um processo e uma ferramenta CASE (Computer-Aided Software Engineering), a qual permite a configuração do metamodelo núcleo, de forma a criar linguagens baseadas no i* e a geração automática de seus respectivos editores gráficos. O objetivo deste trabalho é validar a eficácia da ferramenta AGILE Tool, realizando estudos de caso utilizando as seguintes variações da linguagem i*: i*Wiki, GRL, Tropos e i*-c.
Apresentação: 3a feira, 30/04/2013, 09:00hs, Auditório do CIn
5. Análise de Sentimentos e Mineração de Links em uma Rede de Co-ocorrência de Hashtags
(Proposta inicial: aqui)
Autor: Arthur Cavalcanti Alem
Área: Análise de Sentimentos
Orientador: Ricardo Bastos Cavalcante Prudêncio
Avaliador: Patrícia Cabral de Azevedo Restelli Tedesco
Resumo:
Este trabalho pretende explorar o uso de hashtags no Twitter como uma nova abordagem para se classificar tópicos em relação à opinião dos usuários. Utilizando técnicas de classificação coletiva, os tópicos serão classificados automaticamente como relacionados a percepções positivas ou negativas dos usuários do Twitter em um determinado período de tempo, baseado principalmente nos outros tópicos aos quais estão frequentemente atrelados, ao invés de apenas na análise de sentimento dos textos das próprias mensagens.
Apresentação: 2a feira, 29/04/2013, 10:00hs, Anfiteatro do CIn
6. Visualização em Realidade Aumentada com a técnica de Ghosting
(Proposta inicial: aqui)
Autor: Arthur de Lima Padilha
Área: Realidade Aumentada
Orientador: Veronica Teichrieb
Avaliador: Sílvio Melo (A CONFIRMAR)
Resumo:
Diversos fatores em uma cena se tornam uma dificuldade quando se deseja aplicar técnicas de RA, alguns deles são o ambiente, a captura da imagem, a iluminação da cena, a tela do dispositivo e até o observador.
Para minimizar as dificuldades de visualização de uma cena de RA existem várias técnicas como a de raio-x, focus and context e a de ghosting.
Esse trabalho visa analisar a técnica de ghosting aplicada a visualização de cenas e RA, essa técnica engloba várias outras sub-técnicas cujos parâmetros são altamente relevantes para o resultado final. Dessa forma, será analisado a influência de cada sub-técnica a fim de se criar uma ferramenta que permita ao usuário adequar a visualização da cena de RA a seu gosto, através da variação desses parâmetros.
Apresentação: 2a feira, 29/04/2013, 10:30hs, Anfiteatro do CIn
7. Implementação de uma arquitetura para processamento de dados sísmicos em FPGA
(Proposta inicial: aqui)
Autor: Augusto César Benvenuto de Almeida
Área: Engenharia da Computação / Computação de alto desempenho
Orientador: Manoel Eusébio de Lima
Avaliador: Adriano Sarmento (A CONFIRMAR)
Resumo:
O objetivo desse trabalho de graduação é desenvolver, validar e testar um modelo com uma arquitetura para processar o algoritmo RTM de 3 dimensões em um sistema de computação reconfigurável escalável.
Apresentação: 2a feira, 29/04/2013, 11:00hs, Anfiteatro do CIn
8. Desvendando o Venture Capital: do Angel Investiment ao IPO
(Proposta inicial: aqui)
Autor: Bruno Coelho Santiago
Área: Empreendedorismo e Investimento
Orientador: Ruy José Guerra Barretto de Queiroz
Avaliador: Cristiano Coêlho de Araújo
Resumo:
A proposta deste trabalho de graduação é mostrar os possíveis tipos de investimentos que uma startup poderá receber e quais as possíveis alternativas para quem não deseja ou não tem a possibilidade de receber tais aportes. Um investimento num momento errado ou feito por pessoas que não entendem corretamente do negócio poderá ocasionar graves danos ao desenvolvimento da startup, ajudando a aumentar ainda mais a já elevada taxa de mortalidade.
Apresentação: 2a feira, 29/04/2013, 11:30hs, Anfiteatro do CIn
9. Desenvolvimento de aplicativo mobile usando metodologia Design Thinking e conceitos de Lean Startup
(Proposta inicial: aqui)
Autor: Bruno Henrique Harada Carvalho
Área: Empreendedorismo
Orientador: Cristiano Coêlho de Araújo
Avaliador: Alex Sandro Gomes (A CONFIRMAR)
Resumo:
O trabalho propõe o desenvolvimento de um aplicativo mobile inovador para auxilio as pessoas que buscam perder peso ou ter uma saúde melhor. Passando por todos as etapas relacionadas, desde a concepção do problema e definição do público-alvo até a prototipação e desenvolvimento do produto, utilizando para isso processos da metodologia de Design Thinking e conceitos de Lean Startup.
Apresentação: 2a feira, 29/04/2013, 14:00hs, Anfiteatro do CIn
10. Ferramenta para desenvolvimento de competência de auto regulação
(Proposta inicial: aqui)
Autor: Bruno Sabino da Silva
Área: Interação Humano-Computador
Orientador: Alex Sandro Gomes
Avaliador: Carina Frota Alves
Resumo:
As metodologias de ensino mais empregas nas escolas favorecem apenas uma parcela dos seus alunos. Elas, muitas vezes, não consideram as particularidades de cada indivíduo, desfavorecendo a educação daqueles que não se adéquam ao método. Por isso, é necessário desenvolver nos alunos a competência de auto-regulação, onde o aluno é o responsável por escolher qual a melhor forma de estudar. Definindo objetivos, meios de se autoavaliar e estipulando metas e prazos o estudante procura a melhor maneira de atingir os resultados tornando o estudo mais motivante.
Dito isso, o objetivo deste trabalho de graduação é entender quais são os aspectos que estão envolvidos no processo de desenvolvimento da competência de auto regulação nos alunos e, a partir desses resultados, elaborar o conceito de uma aplicação móvel que os auxiliem nesse processo.
Apresentação: 2a feira, 29/04/2013, 14:30hs, Anfiteatro do CIn
11. Análise Quantitativa da Extração de Tratamento de Exceção Utilizando Ptolemy
(Proposta inicial: aqui)
Autor: Cleivson Siqueira de Arruda
Área: Engenharia de Software
Orientador: Fernando José Castor de Lima Filho
Avaliador: Paulo Henrique Monteiro Borba (A CONFIRMAR)
Resumo:
Nosso objetivo principal é fazer uma comparação entre as abordagens tradicionais e a orientação a aspectos para modularizar o interesse transversal de tratamento de exceções. Para isso faremos uma análise quantitativa entre duas versões dos mesmos sistemas: uma original com Orientação a Objetos em Java e outra refatorada para Orientação a Aspectos com Ptolemy, transformando o tratamento de exceções em um aspecto separado.
Apresentação: 2a feira, 29/04/2013, 15:00hs, Anfiteatro do CIn
12. Uma estratégia eficiente de batalha em Jogos RTS
(Proposta inicial: aqui)
Autor: Daniel Victor Pinto Costa
Área: Jogos, IA
Orientador: Geber Lisboa Ramalho
Avaliador: (A CONFIRMAR)
Resumo:
Este trabalho tem como objetivo criar uma estratégia eficiente para batalhas no ambiente de jogos RTS, usando como ponto de partida o jogo Starcraft, visando criar um maior desafio para jogadores humanos.
Apresentação: 2a feira, 29/04/2013, 15:30hs, Anfiteatro do CIn
13. Análise Comparativa sobre Consistência de Banco de Dados nas Nuvens
(Proposta inicial: aqui)
Autor: Dário Saraiva de Melo Pinheiro
Área: Banco de Dados
Orientador: Fernando da Fonseca de Souza
Avaliador: Robson Fidalgo
Resumo:
Sistemas de BDs nas nuvens têm se tornado cada vez mais populares, com vantagens claras como, por exemplo, serem extremamente escaláveis. Todavia, sistemas nas nuvens também possuem suas limitações, como por exemplo, serem incapazes de garantir simultaneamente a Consistência , Disponibilidade e Tolerância à partição da rede.
O principal objetivo deste trabalho consiste na identificação de um conjunto de técnicas de BD que juntas minimizem a inconsistência do banco além de garantir a Consistência e a Tolerância à partição.
Apresentação: 2a feira, 29/04/2013, 16:00hs, Anfiteatro do CIn
14. Ferramenta para ludificação do ensino de programação
(Proposta inicial: aqui)
Autor: Davi Duarte Pinheiro
Área: Programação, Educação
Orientador: Geber Lisboa Ramalho
Avaliador: Ricardo Massa (A CONFIRMAR)
Resumo:
Um dos maiores desafios do ensino de programação é manter o aluno direcionado e motivado. Este trabalho visa implementar um sistema de submissões com elementos lúdicos que estimule e motive os alunos no aprendizado de programação.
Apresentação: 2a feira, 29/04/2013, 16:30hs, Anfiteatro do CIn
15. Análise da Eficiência da Codificação de Huffman em Extensões de Fontes de Informação
(Proposta inicial: aqui)
Autor: Diocleciano Dantas Neto
Área: Teoria da Informação
Orientador: Daniel Carvalho da Cunha
Avaliador: Carlos Alexandre Barros Mello
Resumo:
Este trabalho tem como objetivo implementar o algoritmo de codificação de Huffman para fontes de informações sem memória e suas extensões realizando uma análise do comportamento de suas respectivas eficiências quando variamos a distribuição de probabilidade do alfabeto da fonte. Espera-se compreender quais aspectos afetam a eficiência da codificação e como trata-los de forma a evitar um deterioramento da mesma.
Apresentação: 2a feira, 29/04/2013, 13:30hs, Sala D-003
16. Implementação de aplicativo mobile para tocar músicas em estabelecimentos: um jukebox mobile
(Proposta inicial: aqui)
Autor: Diogo Torres de Melo Medeiros
Área: aplicativos mobiles
Orientador: Carlos André Guimarães Ferraz
Avaliador: Geber Lisboa Ramalho
Resumo:
Mobiles como androids e iphones estão modificando o comportamento, o estilo de vida e até a cultura de grande parte da população mundial. Novos hábitos estão surgindo por causa das facilidades do uso de mobiles. Um jukebox mobile seria um aplicativo que se adapta perfeitamente aos novos hábitos da população, além de buscar hábitos que foram sucesso em outras épocas. Esse trabalho propõe a implementação de um aplicativo mobile, inicialmente em android, para que os clientes de estabelecimentos, como bares e restaurantes, possam escolher as músicas que serão tocadas neste lugar.
Apresentação: 2a feira, 29/04/2013, 17:30hs, Auditório do CIn
17. Desenvolvimento de Sistema para Análise em Tempo Real do Nível de Desaceleração de Trens
(Proposta inicial: aqui)
Autor: Eric Rodrigues Borba
Área: sistemas embarcados, redes, sistemas de tempo real
Orientador: Sérgio Vanderlei Cavalcante
Avaliador: Abel Guilhermino da Silva Filho
Resumo:
Tendo em vista a inexistência de um sistema de análise em tempo real dos equipamento de um trem na CBTU/METROREC, o presente trabalho tem como objetivo capturar dados dos sensores encontrados nos trens ( pressão das bolsas de ar localizadas embaixo do trem e velocidade do trem ) e transmitir os mesmos através de radiofrequência fazendo uso da tecnologia ZigBee para o Centro de Controle, onde serão interpretados e comparados com medições consideradas ideais, - levando em consideração a pressão das bolsas de ar, as quais permitem obter uma estimativa da densidade de usuários por metro quadrado - possibilitando então obter uma análise no exato momento do nível de desaceleração de trens, proporcionando uma melhoria no que diz respeito a segurança metroviária através da detecção precoce do desgaste do sistema de frenagem.
Apresentação: 3a feira, 30/04/2013, 08:00hs, Auditório do CIn
18. Ferramenta de Publicação de Dados Abertos para Portal da Lei de Acesso à Informação do Estado de Pernambuco
(Proposta inicial: aqui)
Autor: Gabriel do Amaral Moreira
Área: Web Semântica
Orientador: Bernadette Farias Lóscio
Avaliador: Flávia de Almeida Barros
Resumo:
Trabalho que propõe o desenvolvimento de uma ferramenta que possibilita a publicação de dados do Governo de Pernambuco em formatos abertos, preferencialmente em RDF, por parte dos gestores das instituições governamentais, utilizando esforço mínimo ou zero. A ferramenta será disponibilizada no portal da Lei de Acesso à Informação do Governo de Pernambuco. Com base nas planilhas e web services disponíveis no portal, serão criadas ontologias para definição do modelo semântico dos dados RDF. A ferramenta fará uso das ontologias para realizar a conversão, publicação e interligação automática dos dados RDF.
O intuito é trazer mais transparência da gestão pública aos cidadãos do Estado de Pernambuco, já que muito tem sido feito em prol desse direito, mas muito ainda pode-se fazer.
Apresentação: 3a feira, 30/04/2013, 08:30hs, Auditório do CIn
19. Avaliando o comportamento de atores sintéticos: O Caso do VTeam
(Proposta inicial: aqui)
Autor: Glauco Roberto Pires dos Santos
Área: Inteligência Artificial / Jogos Digitais
Orientador: Patrícia Cabral de Azevedo Restelli Tedesco
Avaliador: Geber Ramalho
Resumo:
Uma das áreas mais promissoras da Inteligência Artificial é a de atores sintéticos: agentes inteligentes capazes de interagir, perceber, raciocinar e agir de acordo com sua personalidade. Esse tipo de agente é capaz de transmitir credibilidade ao usuário, pois age conforme um ser humano real. Quando aplicado a jogos sérios, que são jogos em que um de seus objetivos é o de ensino, aumenta ainda mais os seus efeitos positivos por adicionar realismo. Visando a melhoria da área de atores sintéticos, este trabalho avalia a credibilidade presente no jogo Virtual Team (Vteam), que tem como principal objetivo capacitar Gerentes de Projetos. Mais especificamente, este trabalho testa como os atores sintéticos se comportam quando submetidos a diferentes cargas horárias de trabalho e propõe mudanças para a melhoria desses comportamentos.
Apresentação: 6a feira, 12/04/2013, 09:00hs, Sala D-003
20. Detecção de pedestres usando Padrões de Textura LBP
(Proposta inicial: aqui)
Autor: Gustavo Assumpção Pinto de Oliveira
Área: Visão Computacional
Orientador: Tsang Ing Ren
Avaliador: George Darmiton da Cunha Cavalcanti (A CONFIRMAR)
Resumo:
A detecção de pedestres é um difícil problema na área de visão computacional devido à grande variabilidade de formas diferentes que podem constituir um pedestre. Muitos sistemas que necessitam de detecção de pedestres precisam de respostas em tempo real. Algoritmos eficientes de detecção são fundamentais para estas aplicações. A proposta deste trabalho de graduação é fazer uma comparação de diferentes técnicas de extração de características sobre texturas de imagens baseadas em variações do Local Binary Pattern (LBP) e avaliá-las quanto à taxa de acerto e ao desempenho.
Apresentação: 2a feira, 30/04/2013, 09:30hs, Auditório do CIn
21. Análise de dados genômicos reais usando o PLINK, um estudo de associação de todo o genoma (GWAS)
(Proposta inicial: aqui)
Autor: Gustavo Cauê Silva Botelho
Área: Biologia Computacional
Orientador: Katia Silva Guimarães
Avaliador: Ivan Gesteira da Costa Filho (A CONFIRMAR)
Resumo:
O genome-wide association studies é hoje o método padrão para descoberta de regiões no genoma responsáveis por traços biológicos, como doenças ou características físicas.
Ele usa análises estatísticas comparativas de todo o genoma de um grupo de indivíduos com característica comum em relação a um grupo de indivíduos que não possuem essa característica. O objetivo é, a partir de variações dos SNPs, Polimorfismos de Nucleotídeo Simples, predizer quais regiões do genoma são responsáveis por certo traço biológico estudado.
Para tal é necessário o uso de uma ferramenta computacional com foco em análise de dados de genótipo/fenótipo, capaz de analisar a qualidade e processar uma grande quantidade de dados, e que seja computacionalmente eficiente.
Para nosso estudo de dados reais baseado no GWAS escolhemos uma ferramenta consolidada, o PLINK, que dá suporte a uma boa gama de análises, estratificação, qualificação, associação, inclusão de Threshold e testes de dados genômicos que tivermos. Além de ser padronizada, isto é, receber como entrada formatos de arquivos padrões, e, em geral, difundidos na comunidade de estudo da área de GWAS.
Apresentação: 3a feira, 30/04/2013, 10:00hs, Auditório do CIn
22. Desenvolvimento de um sistema embarcado para estimulação bilateral
(Proposta inicial: aqui)
Autor: Gustavo Souto Nóbrega
Área: Sistema embarcado
Orientador: Manoel Eusébio de Lima
Avaliador: Abel Guilhermino da Silva Filho
Resumo:
Este trabalho de graduação tem como objetivo desenvolver um sistema embarcado baseado em um microcontrolador para geração e análise de estímulos controlados no tratamento de anomalias psíquicas utilizando o método EMDR. Esse sistema permitirá a conexão de dispositivos tácteis, acústicos e visuais, que serão controlados e customizados de acordo com o paciente em tratamento. O equipamento, de baixa potência, deverá ser capaz de funcionar stand-alone, seja com bateria, desempenhando algumas funções básicas, ou acoplado a um computador, desktop ou laptop, através do qual poder-se-á armazenar informações de sessões terapeuticas associadas aos níveis de excitação gerado pelo equipamento. Além disso poderá, também, receber feedback do paciente e fazer análise de dados.
Apresentação: 2a feira, 30/04/2013, 10:30hs, Auditório do CIn
23. Sistemas de reconhecimento de locutor independente de texto
(Proposta inicial: aqui)
Autor: Hector Natan Batista Pinheiro
Área: Processamento de sinal/Inteligência Artificial/Biometria
Orientador: Tsang Ing Ren
Avaliador: George Darmiton da Cunha Cavalcanti (A CONFIRMAR)
Resumo:
Com a massiva presença de dispositivos móveis capazes de acessar a Internet, a segurança de sistemas informatizados é prioritária para garantir com que dados de usuários e acessos a determinados ambientes sejam protegidos e acessíveis apenas por pessoas autorizadas. Os meios tradicionais de verificação de indivíduos, como utilização de senhas ou cartões, podem se apresentar inseguros de diversas formas, especialmente em um mundo onde a economia global faz com que tenhamos cada vez mais informações compartilhadas. Com o objetivo de resolver estes problemas e garantir uma maior segurança em sistemas computadorizados, métodos que utilizam autenticações biométricas vem sendo estudados e desenvolvidos. As formas de biometria mais conhecidas incluem o reconhecimento através de impressões digitais, face, íris, retina, assinatura e voz. Um Sistema de Verificação de Locutor é um sistema biométrico cujo objetivo é validar a identidade de um indivíduo através de sua voz. Neste sentido, este trabalho apresenta o estado da arte de sistemas de verificação de locutor quando não há restrições quanto às locuções utilizadas pelo sistema. Esse tipo de sistema é geralmente referenciado como sistemas independente de texto. Dada a arquitetura básica de um sistema desse tipo, o trabalho apresenta as principais técnicas utilizadas em cada um dos módulos da arquitetura, que vai desde o pré-processamento do sinal e extração das características até a modelagem dos modelos dos locutores e os testes de locuções utilizando esses modelos.
Apresentação: 3a feira, 30/04/2013, 11:00hs, Auditório do CIn
24. Estudo sobre Filtragem Colaborativa em Sistemas de Recomendação
(Proposta inicial: aqui)
Autor: Igor Rafael Guimarães Medeiros
Área: Inteligência Artificial; Aprendizagem de Máquina; Sistemas de Recomendação
Orientador: Ricardo Prudêncio
Avaliador: Flávia de Almeida Barros
Resumo:
Diante da dificuldade das pessoas de encontrarem o que desejam em meio a um grande mar de informações, os sistemas de recomendação surgem como alternativa ao tradicionais sistemas de recuperação de informação. Sistemas de recomendação colaborativos ou de filtragem colaborativa são sistemas que usam a chamada inteligência coletiva proveniente da avaliação de itens, produtos ou serviços, por meio de notas atribuídas por colaboração de grupos de pessoas. Estes sistemas possuem a capacidade de selecionar produtos e serviços de forma automatizada para recomendar, por exemplo, livros, filmes, notícias,, anúncios, amizades em redes sociais, grupos, músicas e etc. de acordo com o perfil de cada pessoa. Tais sistemas tem sido estudado intensamente nos últimos anos devido a sua importância e crescente uso principalmente por empresas de comercio eletrônico.
Apresentação: 3a feira, 30/04/2013, 11:00hs, (sala do professor Ricardo Prudêncio)
25. Estudo do uso de uma DSL para definição de movimentos usando o IKapp
(Proposta inicial: aqui)
Autor: Jonathas Benvenuto Dantas
Área: Compiladores
Orientador: André Luis de Medeiros Santos
Avaliador: Geber Ramalho
Resumo:
Um dos objetivos deste estudo é a definição de uma DSL (Linguagem de Domínio Específico) para reconhecimentos de gestos no campo da fisioterapia usando como estudo de caso o iKapp, permitindo que o fisioterapeuta utilize uma linguagem, possivelmente visual, bem mais próxima do contexto de fisioterapia, diferentemente de uma escrita em um arquivo texto.
Também fazem parte dos objetivos, observar e estudar os impactos que a adoção da DSL trás ao projeto em termos de facilidade, usabilidade, etc em comparação com os estudos já realizados no cenário atual do iKapp.
Apresentação: 3a feira, 30/04/2013, 11:30hs, Auditório do CIn
26. Falsa Memória: Modelos Neurais baseados na Teoria do Rastro Difuso
(Proposta inicial: aqui)
Autor: Julio Domingues Ferraz
Área: Inteligência Computacional
Orientador: Aluizio Fausto Ribeiro Araújo
Avaliador: Germano Crispim Vasconcelos
Resumo:
O fenômeno neurológico conhecido por Falsa Memória corresponde à alteração subjetiva de informações memorizadas por adição, omissão ou troca de detalhes durante a recordação de experiências passadas. A compreensão deste fenômeno e suas causas, através de estudos nos campos da psicologia, neurofisiologia e inteligência computacional, é fundamental para o desbravamento da memória humana, seu funcionamento, capacidades e limitações. Na psicologia e neurofisiologia, a Teoria do Rastro Difuso (fuzzy-trace) (Brainerd e Reyna, 2004) representa um dos principais esforços para estes estudos, visando explicar, de forma sistemática, os mecanismos básicos de memorização e as estruturas cerebrais envolvidas no processo. Produto da área de inteligência computacional, este trabalho visa implementar um sistema modular de redes neurais para simulação do fenômeno da Falsa Memória, que, baseado em conceitos psicológicos e fisiológicos, seja capaz de demonstrar padrões de memorização semelhantes aos observados em experimentos com humanos. Este estudo representa a continuação do iniciado por Pacheco R. F. (2004), a cujo modelo neural proposto serão realizados ajustes de representação e concepção, de acordo com os fundamentos atuais da Teoria do Rastro Difuso.
Referências:
Brainerd, C. J., & Reyna, V. F. (2004). Fuzzy-trace theory and memory development. Developmental Review, 24(4), 396-439.
Pacheco, R. F. (2004). Módulos neurais para a modelagem de falsas memórias. Tese (Doutorado) – Escola de Engenharia de São Carlos, Universidade de São Paulo, São Carlos, 2004.
Apresentação: 3a feira, 30/04/2013, 12:00hs, Auditório do CIn
27. Análise de Desempenho de Plataformas para Desenvolvimento com o Sistema Operacional Android
(Proposta inicial: aqui)
Autor: Júlio Gil da Fonte Freire
Área: Análise de Desempenho
Orientador: Ricardo Massa Ferreira Lima
Avaliador: Marcio Lopes Cornelio
Resumo:
Este trabalho tem como objetivo principal comparar algumas opções de plataformas de desenvolvimento com sistema operacional Android, levando em consideração não só as análises de performance de cada plataforma, com métricas a serem definidas, como consumo de energia, variação de temperatura e uso do processador, entre várias outras, mas também critérios como custos recorrentes e não recorrentes e adaptabilidade.
Apresentação: 3a feira, 30/04/2013, 14:00hs, Auditório do CIn
28. Reconhecimento de voz no controle de tráfego aéreo
(Proposta inicial: aqui)
Autor: Lamberto Augusto de Oliveira Neto
Área: Processamento de Sinais, Reconhecimento de voz, Controle de tráfego Aéreo
Orientador: Carlos Alexandre Barros de Mello
Avaliador: George Darmiton da Cunha Cavalcanti
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: 6a feira, 03/05/2013, 09:00hs, Auditório do CIn
29. Modelo de Blocos de Construção e Framework de Geração Automática de Fases para Jogos
(Proposta inicial: aqui)
Autor: Leandro Henrique Freitas de Aguiar
Área: Jogos Digitais
Orientador: Geber Lisboa Ramalho
Avaliador: André Menezes Marques das Neves (A CONFIRMAR)
Resumo:
O objetivo deste projeto é propor um modelo de definição de blocos de construção para estágios de jogos e criar um framework de geração procedural que utilize estes blocos para realizar a geração automática destes estágios baseado em condições definidas pelo desenvolvedor.
Apresentação: 3a feira, 30/04/2013, 15:00hs, Anfiteatro do CIn
30. Seleção e combinação dinâmica de classificadores para detecção de impressões digitais falsas
(Proposta inicial: aqui)
Autor: Lívia Catarine Jordão Braga Vilaça
Área: Aprendizagem de máquina
Orientador: George Darmiton da Cunha Cavalcanti
Avaliador: Carlos Alexandre Barros de Mello
Resumo:
Sistemas biométricos, como os baseados em impressões digitais, têm sido amplamente utilizados nos últimos anos como forma de segurança no acesso a informações pessoais, ambientes restritos e itens de valor. Porém, esse processo de autenticação pode ser burlado de algumas formas. Em função dessas deficiências, técnicas foram criadas para avaliar a segurança desses sistemas e impedir ataques.
Este trabalho de graduação tem por objetivo a geração de classificadores para avaliar se as impressões apresentadas são falsas ou verdadeiras. Após a geração, seguem-se posteriores seleção e combinação dinâmicas a fim de reduzir erros de classificação nesses sistemas colaborando na problemática de impressões digitais falsas.
Apresentação: 3a feira, 03/05/2013, 09:30hs, Auditório do CIn
31. Smart Grids: Physical Layer Security
(Proposta inicial: aqui)
Autor: Lucas André Pequeno Paes
Área: Segurança em Telecomunicações
Orientador: Daniel Carvalho da Cunha
Avaliador: Divanilson Rodrigo de Souza Campelo
Resumo:
Este trabalho se propõe a dar uma visão geral, porém objetiva, ao conceito de smart grids e fazer uma análise sobre uma possível solução para problemas de segurança (na camada física) específicos no que se refere ao suporte e implementação do fluxo de informação no meio não cabeado (wireless) das smart grids. A técnica usada para prover esta segurança é a modulação por espalhamento espectral.
Apresentação: 3a feira, 30/04/2013, 16:00hs, Anfiteatro do CIn
32. Um Estudo sobre a Modularidade de Código Concorrente em Programas Java
(Proposta inicial: aqui)
Autor: Lucas Inojosa Costa Ferreira
Área: Engenharia de software
Orientador: Fernando José Castor de Lima Filho
Avaliador: Sérgio Soares
Resumo:
Com a estagnação da evolução do clock dos processadores e a popularização dos processadores multi-núcleo, a única forma de melhorar o desempenho das aplicações é através da programação concorrente. Isto cria um novo desafio para os programadores, pois exige o conhecimento de técnicas específicas. Diversos métodos, técnicas e ferramentas podem ser usados para tentar mitigar a complexidade dos sistemas concorrentes. Uma possível abordagem é tentar tornar esses sistemas modulares. Este trabalho tem por finalidade responder se concorrência é uma preocupação modularizada e se o uso de suas técnicas desenha uma forma de acordo como se distribui ao longo do código.
Apresentação: 3a feira, 30/04/2013, 16:30hs, Anfiteatro do CIn
33. Aprimoramento de Sistema para Otimização da Logística Hospitalar Aplicada a Equipamentos Médicos - RETRIEVER
(Proposta inicial: aqui)
Autor: Lúcio Paulo de Souza Ribeiro
Área: Engenharia de software
Orientador: Cristiano Coêlho de Araújo
Avaliador: André Luis de Medeiros Santos (A CONFIRMAR)
Resumo:
O objetivo deste projeto de graduação é aprimorar o desenvolvimento de uma ferramenta destinada à unidades hospitalares. O sistema pretende realizar o rastreamento em tempo real dos equipamentos e o monitoramento de seu histórico de movimentações, utilizando tecnologia RFID, visando reduzir os custos operacionais e melhorar a qualidade dos serviços prestados pelo setor hospitalar.
Apresentação: 3a feira, 30/04/2013, 17:00hs, Anfiteatro do CIn
34. Análise de performance de aplicações desenvolvidas utilizando o ESCoRT
(Proposta inicial: aqui)
Autor: Luis Felipe Prado D'Andrada
Área: Sistemas Embarcados
Orientador: Sérgio Vanderlei Cavalcante
Avaliador: Edna Natividade da Silva Barros (A CONFIRMAR)
Resumo:
Em sistemas embarcados sempre existe preocupação com o gasto de memória e uso de CPU, pois, normalmente, são sistemas que possuem recursos limitados. Por isso, será feito um estudo sobre o possível impacto na performance de softwares desenvolvidos utilizando o ESCoRT, assim sendo uma análise de custo-benefício para a utilização dessa metodologia.
Será analisado em aplicações diferentes o custo extra de memória e de ciclos de clock gerados pelo uso do ESCoRT, que utiliza geração automática de código e orientação a objetos.
Apresentação: 3a feira, 30/04/2013, 17:30hs, Anfiteatro do CIn
35. Um Estudo Comparativo de Linguagens Funcionais para Implementar Sistemas Concorrentes
(Proposta inicial: aqui)
Autor: Luís Gabriel Nunes Ferreira Lima
Área: Engenharia de Software, Programação Funcional, Sistemas Concorrentes
Orientador: Fernando José Castor de Lima Filho
Avaliador: André Santos
Resumo:
Programação funcional é vista como uma boa alternativa para construção de sistemas que tirem melhor proveito das arquiteturas multi-core atuais. Isso de dá principalmente devido há algumas características inerentes à linguagens funcionais que são bastante convenientes para construção de sistemas concorrentes como, por exemplo, ausência de estados e dados mutáveis. Este trabalho tem como objetivo fazer uma comparação entre algumas das linguagens funcionais mais populares (Haskell, Clojure, Scala, F# e Erlang) e as abstrações de concorrência disponíveis em cada uma delas como: modelo de atores, memória transacional, threads e sincronização, etc.
Apresentação: 5a feira, 02/05/2013, 08:00hs, Auditório do CIn
36. Objetos de Aprendizagem para Mobile Learning: Um Estudo de Caso Utilizando a Plataforma REDU
(Proposta inicial: aqui)
Autor: Luís Pedro de Medeiros Filho
Área: Engenharia de Software, Programação Funcional, Sistemas Concorrentes
Orientador: Alex Sandro Gomes
Avaliador: Fernando Fonseca (A CONFIRMAR)
Resumo:
Os objetivos deste trabalho incluem o desenvolvimento de uma solução mobile para a plataforma de ensino Redu, facilitando assim a geração, submissão e acesso aos LOs (Learning Objects), que são os conteúdos de aprendizado compartilhados pelos integrantes da plataforma (documentos, arquivos de audio e vídeo).
Com esse novo canal de acesso à plataforma, espera-se que os usuários tenham uma maior proximidade com o ambiente de aprendizado e possam assim interagir mais e de uma forma mais eficiente com o mesmo, explorando assim as vantagens do paradigma m-learning, que reduz ainda mais os entraves de tempo e espaço.
Após o desenvolvimento do aplicativo Redu-mobile, o mesmo será submetido a uma rigorosa metodologia de testes com usuários, a fim de validar a sua eficiência e satisfatoreidade em situações reais de uso. Assim será garantido uma real diminuição na distância transacional entre o aprendiz e a plataforma Redu.
Apresentação: 5a feira, 02/05/2013, 08:30hs, Auditório do CIn
37. O desafio de desenvolver Uma Startup em Part-Time Job
(Proposta inicial: aqui)
Autor: Luiz Carlos dos Santos Filho
Área: Empreendedorismo e inovação / startups
Orientador: Cristiano Coêlho de Araújo
Avaliador: Carina Frota Alves (A CONFIRMAR)
Resumo:
O objetivo principal deste trabalho é estudar os já difundidos e bem sucedidos modelos de criação e desenvolvimento de uma startup aliando-os a experiências de empreendedores que obtiveram sucesso trabalhando em part-time, ou que ao menos tivessem negócios, ocupações paralelas ao desenvolvimento de uma startup.
Inicialmente, serão tomados como base casos de sucesso em universidades que já têm um espírito empreendedor bem difundido em seus estudantes. A princípio, as experiências que serão analisadas vão ser startups de sucesso desenvolvidas em Stanford e Harvard que tiveram como uma das dificuldades o gerenciamento de tempo entre as mais diversas atividades acadêmicas, a vida pessoal e o desenvolvimento das startups.
São diversas as dificuldades encontradas devido à falta de tempo na criação e desenvolvimento de uma startup. São exemplos destas: dificuldade de desenvolvimento, dificuldade de estudar novas tecnologias, dificuldade de marcar reuniões com possíveis clientes. O estudo feito a partir desse trabalho vai tentar minimizar ao máximo essas consequências da falta de tempo a partir de um caso real a startup criada no Centro de Informática (CIn) Gladi.
Apresentação: 5a feira, 02/05/2013, 09:00hs, Auditório do CIn
38. Reconstrução de imagens tomográficas com uso de GPU
(Proposta inicial: aqui)
Autor: Luiz Gustavo da Rocha Charamba
Área: Visão Computacional
Orientador: Silvio de Barros Melo
Avaliador: Carlos Costa Dantas
Resumo:
Este artigo mostra alguns algoritmos de reconstrução de imagens tomográficas, as vantagens de se utilizar uma ou outra abordagem, e o entendimento da transformada direta e inversa de Radon. Os algoritmos foram implementados tanto em CPU quanto em GPU através da biblioteca CUDA na linguagem C. O intuito é mostrar os ganhos de performance conquistados com a GPU e também alguns contras dessa abordagem.
Apresentação: 5a feira, 02/05/2013, 09:30hs, Auditório do CIn
39. Aprimoramento da etapa de casamento de uma técnica de rastreamento baseado em arestas
(Proposta inicial: aqui)
Autor: Mailson Daniel Lira Menezes
Área: Mídias e interação (realidade aumentada)
Orientador: Veronica Teichrieb Co-Orientador: Francisco Paulo Magalhães Simões
Avaliador: Silvio de Barros Melo
Resumo:
Além do tradicional uso de marcadores nas aplicações de realidade aumentada, é possível obter bons resultados utilizando técnicas que não requerem o seu uso. A realidade aumentada sem marcadores utiliza elementos do próprio objeto para realizar o rastreamento e um desses elementos que podem ser utilizados são as arestas do objeto.
Entretanto, a extração dessas arestas nem sempre é precisa e outros elementos presentes na cena, ou até a sombra do próprio objeto, podem atrapalhar essa etapa.
O objetivo deste trabalho é implementar uma técnica que visa escolher entre múltiplas hipóteses de aresta, aquela que é mais provável de ser a aresta correta do objeto.
A técnica atualmente não é executada em tempo real, e por isso será implementada usando a linguagem CUDA, da NVIDIA, a fim de aproveitar o poder do paralelismo das GPUs atuais.
Apresentação: 5a feira, 02/05/2013, 10:00hs, Auditório do CIn
40. Análise do Aumento da Superfície de Ataque na Web Decorrente da Exploração de Recursos do HTML 5
(Proposta inicial: aqui)
Autor: Marcelo Frota Pinto Pessoa
Área: Segurança Computacional
Orientador: Ruy José Guerra Barretto de Queiroz
Avaliador: Carlos Ferraz
Resumo:
A introdução de novas funcionalidades, além de tornar uma aplicação potencialmente mais poderosa, torna-a também potencialmente mais vulnerável. O motivo é que o aumento da complexidade, quando se trata de segurança, inevitavelmente insere novos potenciais vetores de ataque. E com a chegada do HTML 5 (Hypertext Markup Language versão 5) não será diferente, suas novas features ou introduzem novas vulnerabilidades ou tornam mais crítico o impacto de vulnerabilidades já conhecidas, causando assim o aumento da superfície de ataque na web, e tornando não só as aplicações, mas também os browsers, mais susceptíveis a ataques. Dessa forma, este trabalho visa 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, sempre que possível, este trabalho ilustrará formas de mitigar as vulnerabilidades encontradas.
Apresentação: 5a feira, 02/05/2013, 10:30hs, Auditório do CIn
41. Um Ambiente para Modelagem e Análise 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
Resumo:
Sistemas Embarcados de Tempo-Real (SETR) geralmente possuem restrições de tempo que precisam ser satisfeitas para o seu correto funcionamento, já que violações das mesmas podem ser catastróficas. Portanto, a análise de especificações é uma tarefa crítica em um projeto de SETR, visto que ela pode fornecer informações importantes na decisão de implementar ou não um SETR em uma dada plataforma de hardware. Linguagens semiformais, tais como SysML (System Modelling Language) e UML (Unified Modelling Language), são as formas mais comum para modelar especificações de sistemas críticos, devido principalmente à sua notação amigável e intuitiva. Contudo, os modelos semiformais obtidos por essas linguagens não fornecem suporte para avaliação de desempenho das especificações dos sistemas. Linguagens formais, tais como Redes de Petri, possuem fundamentos matemáticos sólidos, que suportam sua semântica precisa, estimulam a avaliação de desempenho e fornecem suporte para verificações das propriedades qualitativas e análises. Mas ao contrário dos modelos semiformais, esses modelos formais não são intuitivos e requerem um considerável esforço por parte dos projetistas para entenderem a notação utilizada. Assim, é sensato adotar o uso colaborativo dos modelos semiformais e formais. Neste trabalho, apresentamos Calau, uma ferramenta que suporta o mapeamento automático do diagrama de Estados da SysML em uma Rede de Petri Temporizada com restrições de energia (ETPN), para a estimação do tempo de execução e do consumo de energia dos SETR.
Apresentação: 5a feira, 16/05/2013, 08:00hs, Auditório do CIn
42. Estudo sobre rodar um sistema de informação e gerenciamento acadêmico na nuvem
(Proposta inicial: aqui)
Autor: Marcelo Machado da Paixão
Área: Engenharia de Software
Orientador: Carlos André Guimarães Ferraz
Avaliador: José Antônio Monteiro de Queiroz (A CONFIRMAR)
Resumo:
Instituições educacionais realizam, além da gestão acadêmica, diversas outras atividades de caráter financeiro, administrativo, pesquisa e extensão. Por conta do grande volume e da quantidade de informações extraídas desses dados, existe a necessidade do uso de um sistema de informação. Todavia, uma das características marcantes desses sistemas acadêmicos é a presença de alguns picos de utilização bem pontuais, como o período de matrícula, por exemplo. Sendo assim, temos uma necessidade de elevar a qualidade do serviço, de modo a torná-lo mais disponível, confiável e escalável, mas de uma forma que seja economicamente viável. Diante disso, será feito um estudo bibliográfico sobre computação na nuvem para, na sequência, estudar a possibilidade de rodar o sistema de informação e gerenciamento acadêmico na nuvem, pontuando suas vantagens, desvantagens, riscos e desafios.
Apresentação: 5a feira, 02/05/2013, 11:30hs, Auditório do CIn
43. Avaliação da linguagem OpenCL na implementação da multiplicação de matrizes em plataforma FPGA de alto desempenho
(Proposta inicial: aqu)i
Autor: Marcelo Rodrigues de Albuquerque
Área: Prototipação de Sistemas Digitais
Orientador: Manoel Eusébio de Lima
Avaliador: Edna Natividade da Silva Barros (A CONFIRMAR)
Resumo:
OpenCL é uma linguagem nova, que possui total suporte a paralelismo, com foco em prover portabilidade para desenvolver aplicações de alta performance em sistemas heterogêneos, fazendo uso de CPUs, GPUs e outros dispositivos aceleradores como DSPs e FPGAs. Este trabalho de graduação tem como objetivo fazer uma avaliação da linguagem OpenCl através de uma implementação de multiplicação de matrizes de ponto flutuante precisão simples na linguagem OpenCL e posteriormente de uma comparação dos resultados obtidos com uma implementação já existente da mesma operação implementada em Verilog.
Apresentação: 5a feira, 02/05/2013, 14:00hs, Auditório do CIn
44. Criação e publicação de um dataset de dados interligados das edições passadas do Simpósio Brasileiro de Banco de Dados
(Proposta inicial: aqui)
Autor: Mateus Gondim Romão Batista
Área: Banco de dados/ Web Semântica
Orientador: Bernadette Farias Lóscio
Avaliador: Ana Carolina Salgado
Resumo:
Este trabalho tem como objetivo a criação e publicação de um dataset com dados relevantes sobre as últimas dez edições do Simpósio Brasileiro de Banco de Dados(SBBD), bem como o desenvolvimento de uma aplicação para a visualização dos respectivos dados. O conteúdo abrangerá desde dados sobre a estrutura e organização de cada evento, como comissões e palestras, até dados dos artigos apresentados, autores e suas respectivas afiliações. O repositório será criado no formato RDF, e seu esquema será projetado para reaproveitar vocabulários relevantes com a adição de termos próprios para que o esquema contemple as particularidades do evento. Com este trabalho, o repositório de dados ligados terá um alto grau de flexibilidade e reusabilidade, podendo ser utilizado por demais aplicações que desejem manipular os dados históricos do evento. Além disso, com a aplicação para visualização dos dados do dataset, será possível ter um panorama histórico mais elaborado do evento.
Apresentação: 5a feira, 02/05/2013, 14:30hs, Auditório do CIn
45. Análise de Logs de Interação do Usuário para Personalização de Consultas
(Proposta inicial: aqui)
Autor: Murilo Raphael de Souza Lira
Área: Banco de Dados
Orientador: Ana Carolina Salgado
Avaliador: Bernadette Farias Lóscio
Resumo:
O contexto do usuário auxilia na construção de seu modelo (perfil, interesses, históricos) e, consequentemente, pode contribuir na personalização de consultas, disponibilizando respostas mais relevantes. Logs de interação entre usuário e aplicação podem ser empregados como uma maneira de coletar dados para estudos de usabilidade e comportamento do usuário. Esses registros servem como uma fonte de extração de elementos contextuais por incluir definições de preferências e histórico de consultas executadas, o que gera um conhecimento implícito, relevante em relação ao contexto do usuário.
O objetivo deste trabalho é extrair dos logs de consultas, previamente realizadas por um dado usuário a um banco de dados relacional, elementos contextuais identificados. Estes elementos contextuais históricos devem ser analisados a fim de identificar novos elementos contextuais que serão utilizados de forma a otimizar a personalização de consultas futuras do mesmo usuário.
Apresentação: 5a feira, 02/05/2013, 15:00hs, Auditório do CIn
46. Construção de um modelo de energia para processadores ARM7 em ArchC
(Proposta inicial: aqui)
Autor: Pâmela Thays Lins Bezerra
Área: sistemas embarcados, processadores, consumo de potência, modelagem
Orientador: Abel Guilhermino da Silva Filho
Avaliador: Manoel Eusébio de Lima (A CONFIRMAR)
Resumo:
Atualmente, sistemas computacionais estão em todos os lugares. A grande maioria destes sistemas está embarcado em sistemas maiores, como carros, aviões, smartphones, consoles de jogos, etc. Estes são os chamados sistemas embarcados, computadores embutidos de propósito único que garantem a inteligência e automação de sistemas eletrônicos maiores. Contudo, apesar de sua grande difusão em aplicações industriais e de bens de consumo, os sistemas embarcados possuem mais restrições de espaço, custo, performance e potência em seus projetos do que demais sistemas como desktops e clusters. Desta forma, é necessário buscar um tradeoff entre estas diversas restrições, como performance e energia, no projeto de embarcados para melhorar , por exemplo, o tempo de conservação da bateria sem prejudicar as funcionalidades de um smartphone, sistema embarcado bastante comum atualmente. De fato, com o crescente desenvolvimento de dispositivos portáteis (tablets, e-readers, smartphones, etc), a questão do consumo de potência destes aparelhos se torna cada vez mais prioritária no desenvolvimento de novos dispositivos.
O objetivo deste trabalho é construir um modelo de potência para processadores da família ARM-7 baseado no estudo de consumo de energia do conjunto de instruções destes processadores. Este modelo será construído usando a linguagem de descrição ArchC .O ArchC é uma linguagem de descrição de arquitetura baseada em SystemC e desenvolvida pelo Instituto de Computação da Universidade de Campinas (UNICAMP). Através deste modelo será possível estimar o consumo de potência de programas embarcados nos processadores ARM, o que possibilita a análise de energia para futuros projetos de otimização de potência.
Apresentação: 5a feira, 02/05/2013, 15:30hs, Auditório do CIn
47. Execução simbólica de features para execução eficiente de testes em sistemas configuráveis
(Proposta inicial: aqui)
Autor: Paulo de Barros e Silva Filho
Área: Testes de Software / Engenharia de Software
Orientador: Marcelo d'Amorim
Avaliador: Paulo Henrique Borba
Resumo:
O projeto tem como objetivo prover um framework (SEF) para a execução eficiente de testes em sistemas configuráveis. Tal framework utilizará execução simbólica de features. Sabe-se que a execução simbólica é cara se comparada a uma execução regular. Apesar deste consenso, este trabalho utilizará um tipo particular de execução simbólica para a execução de testes. Um fator-chave para a eficiência do SEF vem de sua restrição ao uso de variáveis simbólicas apenas para denotar se uma feature está habilitada ou não.
Apresentação: 5a feira, 02/05/2013, 16:00hs, Auditório do CIn
48. Distância Transacional em Plataforma Social Móvel de Ensino
(Proposta inicial: aqui)
Autor: Paulo Otávio Dantas Diniz
Área: Software Educativo / Distância Transacional
Orientador: Alex Sandro Gomes
Avaliador: (A CONFIRMAR)
Resumo:
Por meio da melhoria do fenômeno da distância transacional, as organizações que possuem metodologias de ensino a distancia obtém grande sucesso em sua execução, fazendo com que os alunos absorvam melhor o conteúdo e o aprendizado seja adquirido mais facilmente.
Segundo Moore (1980), distância transacional é uma medida de envolvimento de estudantes em cursos de educação à distância sendo então definida com uma função de diálogo e de estrutura. Dessa forma, mais diálogo entre professores e alunos indica uma distância transacional pequena, enquanto, mais estrutura, ou seja, segundo o autor, menos controle do aluno sobre a sua aprendizagem, fazendo com que o mesmo tenha menos compromisso com o conteúdo, indica uma distância transacional maior.
O uso de dispositivos móveis para relacionar professores e alunos, por meio de uma rede social exclusiva para educação – a plataforma REDU - pode contribuir para a redução dos efeitos do fenômeno da distância transacional?
Este trabalho tem como finalidade reduzir o fenômeno da distância transacional através de um sistema desenvolvido em parceria com a equipe REDU, utilizando a plataforma móbile Android para facilitar a comunicação entre alunos e professores, oferecendo uma maior agilidade na comunicação entre eles.
Apresentação: 5a feira, 02/05/2013, 16:30hs, Auditório do CIn
49. O Problema da K-Cobertura em Redes de Sensores Sem Fioss
(Proposta inicial: aqui)
Autor: Pedro Henrique Atanásio e Silva
Área: Projeto e Análise de Algoritmos e Redes de Sensores Sem Fios
Orientador: Liliane Rose Benning Salgado
Avaliador: Anjolina Grisi de Oliveira
Resumo:
Avanços nas tecnologias de comunicação sem fio e de sensoriamento tem possibilitado que o uso de redes de sensores sem fios se torne cada vez mais comum. K-cobertura é o problema de se selecionar um conjunto mínimo de sensores para ativar a partir de um conjunto de sensores já implantados de tal forma a manter todos os pontos da área de vigilância dentro do raio de k ou mais sensores. O estudo dos algoritmos que procuram resolver o problema da k-cobertura é de elevada importância no campo das redes de sensores de fios. Este trabalho tem como objetivo analisar os principais algoritmos que abordam o problema da k-cobertura em redes de sensores sem fios, bem como o desenvolvimento de uma ferramenta capaz executar e comparar esses algoritmos.
Apresentação: 5a feira, 02/05/2013, 17:00hs, Anfiteatro do CIn
50. Reconhecimento Ótico de Caractere em Placas Veiculares
(Proposta inicial: aqui)
Autor: Pedro Rodolfo da Silva Gonçalves
Área: Projeto e Análise de Algoritmos e Redes de Sensores Sem Fios
Orientador: Aluizio Fausto Ribeiro Araujo
Avaliador: Carlos Alexandre Barros de Mello
Resumo:
Com objetivo de reconhecer os caracteres impressos por máquina degradados, foi desenvolvido o presentes estudo. Notando que os automóveis, que circulam pelas vias urbanas de trânsito, possuem placas que os identificam e estas nem sempre estão em bom estado de conservação, devido a diversos fatores, decidiu-se pesquisar e implementar, em um primeiro momento, técnicas das três principais etapas de um sistema OCR (Optical Character Recognition), isoladamente, para realizar a tarefa de identificação dos veículos. Assim, esse trabalho de graduação contém técnicas de processamento de imagem utilizadas, principalmente nas etapas de detecção e segmentação, e redes neurais artificiais, fundamentalmente na etapa de reconhecimento, para realizar a tal tarefa.
Apresentação: 5a feira, 02/05/2013, 17:30hs, Anfiteatro do CIn
51. Um Estudo Sobre a Transição para Arquiteturas Multicore em Aplicações de Código Aberto
(Proposta inicial: aqui)
Autor: Rafael Brandão Lôbo
Área: Engenharia de Software, Programação Concorrente
Orientador: Fernando José Castor de Lima Filho
Avaliador: Carlos André Guimarães Ferraz
Resumo:
Processadores multicore são muito populares hoje em dia e muitos sistemas operacionais modernos já tiram proveito dos seus núcleos de processamento extras para executar processos distintos paralelamente. No entanto, são poucas as aplicações que também fazem proveito dessa arquitetura, desperdiçando um grande potencial da tecnologia. Neste estudo, serão analisados três projetos de código aberto que passaram por modificações para melhor suportar a arquitetura multicore, procurando compreender os efeitos dessas modificações. Em particular, se estas modificações podem levar a ocorrência de bugs ou não.
Apresentação: 3a feira, 26/02/2013, 11:00hs, Auditório do CIn
52. BPM Aplicado aos Processos de Negócio Intrínsecos à Startups de TI
(Proposta inicial: aqui)
Autor: Rafael Diniz Toscano de Lima
Área: Empreendedorismo e Inovação
Orientador: Carla Taciana Lima Lourenço Silva Schuenemann
Avaliador: Carina Frota Alves
Resumo:
Startups de base tecnológica possuem espírito empreendedor e uma constante busca por um modelo de negócio inovador. Diante deste cenário, surge a necessidade de metodologias que maximizem as chances de sucesso destas empresas: Design Thinking e Lean Startup são as mais famosas representantes destas metodologias, sendo também as mais adotadas pelos empreendedores em suas iniciativas ao redor do globo. Existe um grande arcabouço de processos de negócio intrínsecos às diversas atividades previstas pelas metodologias Design Thinking e Lean Startup. ste trabalho visa a formalização dos processos de negócio comuns a estas metodologias via a notação BPMN. Uma vez determinado este conjunto de processos de negócio, o presente trabalho objetiva a otimização destes processos.
Apresentação: 2a feira, 20/05/2013, 14:00hs, Auditório
53. Um framework para construção de aplicativos móveis para monitoramento e organização de estudos
(Proposta inicial: aqui)
Autor: Raphael Alves de Araújo
Área: Tecnologias para a educação
Orientador: Patrícia Tedesco
Avaliador: Ricardo Prudêncio (A CONFIRMAR)
Resumo:
Este trabalho tem como objetivo realizar um estudo de caso, utilizando conceitos de adaptive learning, juntamente com uma rede social educacional, para identificar métodos de auxiliar a organização dos estudos de competências. Para tanto será desenvolvido um framework para construção de aplicativos móveis voltados acompanhamento de estudos.
Apresentação: 6a feira, 03/05/2013, 09:00hs, Auditório do CIn
54. Integração do modelo i* com o BPMN para a obtenção de um processo de negócio melhorado a fim de alcançar as metas estratégicas da organização
(Proposta inicial: aqui)
Autor: Rebeca de Souza Alves
Área: Engenharia de Requisitos
Orientador: Carla Taciana Lima Lourenço Silva Schuenemann
Avaliador: Robson Fidalgo
Resumo:
Existem várias abordagens para descoberta e especificação dos requisitos do sistema e uma delas é a abordagem orientada a objetivos, que prioriza as metas que os usuários esperam do sistema, além de modelar os objetivos organizacionais relacionados aos processos de negócios de uma organização. O i* é uma abordagem orientada a objetivos usada para este fim que representa os relacionamentos sociais e as dependências entre os stakeholders e o sistema. Os processos de negócio dentro de uma organização precisam ser modelados para facilitar a comunicação e o entendimento entre os participantes do processo e a organização. O objetivo deste trabalho é modelar sistematicamente um processo de negócio com a notação BPMN, a partir de informações extraídas de modelos i* que representem o processo de negócio da organização, para obter um modelo de processos de negócio que esteja alinhado com os objetivos da organização.
Apresentação: 3a feira, 30/04/2013, 08:00hs, Auditório do CIn
55. Aplicação do modelo Lean Startup para desenvolvimento de Aplicativo Móvel: SoAt
(Proposta inicial: aqui)
Autor: Renan Hannouche Torres
Área: Empreendedorismo
Orientador: Cristiano Coêlho de Araújo
Avaliador: ?? (A CONFIRMAR)
Resumo:
Faz-se necessário a aplicação de um modelo que consiga acompanhar a agilidade e flexibilidade de uma Startup, que tem características pontuais. Para tal experimento foi escolhido o modelo de Lean Startup. Após o estudo dessa metodologia aplicada no desenvolvimento da startup, teremos informações reais para defendermos o uso ou não dela. Contudo, essa escolha foi feita, pois a mesma possui conceitos que nos levam a perceber que nossos objetivos serão alcançados, de ajudar o SoAt a driblar as incertezas e alcançar o sucesso. Servindo assim de exemplo para futuras Startups que anseiam os mesmos objetivos e não sabem qual metodologia usar.
Apresentação: 6a feira, 03/05/2013, 10:00hs, Auditório do CIn
56. Um Método para Detecção de Refrão em Sinais de Áudio Baseado em Extração de Características de Intensidade do Som
(Proposta inicial: aqui)
Autor: Renato Celso Santos Rodrigues
Área: Processamento de Sinais e Computação Musical
Orientador: Geber Lisboa Ramalho
Avaliador: Giordano Cabral (UFRPE)
Resumo:
Diante da compreensão de que o refrão de uma música, que é a parte que nela mais se repete, constitui o seu trecho mais representativo e proeminente, o desenvolvimento de aplicações de detecção de refrão pode ser muito útil em aplicativos de Computação Musical. O objetivo deste trabalho é a realização de um levantamento do estado da arte dos algoritmos de detecção de refrão, seguida do desenvolvimento de um método alternativo aos já existentes, baseado na extração de características da Intensidade do som
Apresentação: 6a feira, 03/05/2013, 10:30hs, Auditório do CIn
57. Identificação de Marcadores Relevantes para Traços Fenótipos Através de Estudos de Associação de Dados Genéticos em Larga Escala
(Proposta inicial: aqui)
Autor: Ricardo Salomão da Silva Júnior
Área: Biologia Molecular Computacional (Bioinformática)
Orientador: Katia Silva Guimarães
Avaliador: Renata Maria Cardoso Rodrigues de Souza (A CONFIRMAR)
Resumo:
Um dos grandes desafios da biologia é a identificação de fatores biológicos (genótipos) que influenciam direta ou indiretamente algum traço expresso no indivíduo (fenótipos). O DNA (Ácido Desoxirribonucléico) é uma molécula contida no núcleo da célula dos seres vivos que determina todas as características do ser que a carrega. Ele é composto por bases nitrogenadas (A, C, G, e T) e tem um comprimento de aproximadamente 3 x 10^6 kb (kilo-bases). As pequenas diferenças observadas entre os DNAs é que proporcionam a diversidade genética. SNP (Single Nucleotide Polimorfism) é definido pela troca de uma base nitrogenada no DNA, e é uma das variações mais comuns (cerca de 90% das diferenças nos DNAs). Os estudos de associações no genoma completo (GWAS) são utilizados para identificar os fatores genéticos (SNPs) comuns que influenciam na expressão ou não de determinado traço. Este trabalho de graduação, tem como objetivo a descoberta de genes candidatos e regiões cromossômicas associadas as caracteísticas fenotípicas bovinas de importância comercial. Ou seja, serão realizados estudos de associação de dados genéticos bovinos em larga escala de forma computacionalmente eficiente utilizando a ferramenta Plink.
Apresentação: 6a feira, 03/05/2013, 11:00hs, Auditório do CIn
58. Sistema de recomendação de disciplinas do curso de ciência da computação por meio de predição de notas
(Proposta inicial: aqui)
Autor: Romero Teixeira Gonçalves
Área: Inteligência Artificial
Orientador: Flávia de Almeida Barros
Avaliador: Ricardo Prudêncio
Resumo:
A evasão de estudantes nos cursos de graduação de universidades públicas é um problema que afeta o país inteiro. O objetivo destre trabalho é amenizar esta evasão, diminuindo o desestímulo causado pelas falsas expectativas que o aluno tem com o curso por meio da construção de um sistema de recomendação que pode ajudar os estudantes do curso de ciência da computação da Universidade Federal de Pernambuco com suas decisões acadêmicas, predizendo suas notas nos diferentes cursos de acordo com o perfil de cada aluno e as notas que obtiveram nas disciplinas que já cursaram.
Apresentação: 6a feira, 03/05/2013, 11:30hs, Auditório do CIn
59. Adaptação do Simulador de Patrulhamento Simpatrol para Competições Entre Equipes
(Proposta inicial: aqui)
Autor: Thyago Machado Cassimiro
Área: IA, Agentes Autônomos
Orientador: Geber Ramalho
Avaliador: (A CONFIRMAR)
Resumo:
Fazer adptações ao simulador de patrulhamento de SMAs Simpatrol, de modo que duas equipes com objetivos contrários possam interagir e os seus resultados sejam mensurados.
Sendo capaz de obter o nível de interferencia entre as equipes e qual se saiu melhor.
Apresentação: 6a feira, 03/05/2013, 14:00hs, Sala D-218
60. Segmentação de Imagens Utilizando Elementos de Morfologia Matemática
(Proposta inicial: aqui)
Autor: Tiago Cordeiro de Melo Nascimento
Área: Processamento Digital de Imagens
Orientador: Carlos Alexandre Barros de Mello
Avaliador: George Darmiton da Cunha Cavalcanti
Resumo:
A detecção de bordas é um dos processos mais comuns na análise de imagens digitais. A principal utilidade da detecção de bordas está na extração de características de contorno e forma de uma imagem. Sua utilização reduz bastante o volume de dados a serem processados. Dentre os métodos existentes para extrair bordas das imagens, existe alguns que utilizam os conceitos da morfologia matemática. O método abordado neste trabalho utiliza múltiplos elementos estruturantes para conseguir informações de várias direções sobre as bordas. A desvantagem de utilizar esse método é que adquirimos um nível fino de detalhes, no qual ruídos ou informações de textura da imagem podem ser detectados também. A proposta desse trabalho é apresentar melhorias no algoritmo abordado, para que os problemas apresentados sejam atenuados, buscando uma aplicação para a qual o algoritmo seja mais adequado
Apresentação: 6a feira, 03/05/2013, 08:30hs, Auditório do CIn
61. Um Estudo para Criação de Guias para Padrões de Interface e Usabilidade na Construção de Massive Open Online Courses
(Proposta inicial: aqui)
Autor: Tiago Silva Ramos
Área: Usabilidade, Educação a Distância
Orientador: Patrícia Cabral de Azevedo Restelli Tedesco
Avaliador: (A CONFIRMAR)
Resumo:
O crescimento notável dos Massive Open Online Courses sugere o aumento do interesse das pessoas pelo ensino a distância através da internet. Neste contexto, surge a preocupação e a necessidade de estruturar as plataformas que provêm esses cursos.
Este trabalho tem como objetivo realizar um estudo de interface das plataformas de MOOC existentes, literatura e de padrões de ferramentas web a fim de gerar métricas e guias que servirão para realização de pesquisas com usuários, testes de interfaces e análises que proporcionem uma melhor interação e experiência do aluno ao longo de um curso.
Apresentação: 6a feira, 03/05/2013, 15:00hs, Sala D-218
62. Uma técnica de Realidade Aumentada sem Marcadores baseada em arestas com Filtro de Partículas
(Proposta inicial: aqui)
Autor: Tullio José de Souza Lucena
Área: Rastreamento, Realidade Aumentada
Orientador: Veronica Teichrieb Co-Orientador: Francisco Paulo Magalhães Simões
Avaliador: Carlos Alexandre Barros de Mello
Resumo:
Um dos maiores desafios em realidade aumentada é o rastreamento da câmera a cada quadro capturado. Este trabalho visa implementar uma técnica de rastreamento baseada em arestas e avaliar a sua utilização em aplicações de realidade aumentada.
Apresentação: 6a feira, 03/05/2013, 15:30hs, Sala D-218
63. UbibusAnalysis – Uma Ferramenta de Interpretação de Mensagens de Trânsito com Análise de Sentimentos
(Proposta inicial: aqui)
Autor: Vanessa Gomes de Lima
Área: (A CONFIRMAR)
Orientador: Ana Carolina Salgado
Avaliador: Patrícia Tedesco (A CONFIRMAR)
Resumo:
A automação dos sistemas de transporte e dos sistemas de informação aos usuários vem passando por uma rápida evolução nos últimos anos, em decorrência do avanço tecnológico de equipamentos eletrônicos de comunicação e informação, bem como do acesso a esse tipo de tecnologia. A aplicação dessas tecnologias em transportes tem sido conduzida dentro dos então chamados Sistemas Inteligentes de Transporte. Vários Sistemas Inteligentes de Transporte (SIT) utilizam informações oriundas de Redes Sociais para descobrir situações de trânsito em determinadas localidades. No entanto essa descoberta de situações requer uma interpretação dessas mensagens. A Análise de Sentimentos é uma área que estuda opiniões, sentimento e avaliações que possam ser expressas em forma de texto. Com isso em mente, a abordagem com técnicas de Análise de Sentimentos parece se adequar à interpretação das mensagens de trânsito requerida pelos Sistemas Inteligentes de Trânsito. O objetivo do presente trabalho é, então construir uma ferramenta de análise de mensagens de trânsito com Análise de Sentimentos.
Apresentação: 6a feira, 03/05/2013, 16:00hs, Sala D-218
64. Classificação de Sentimentos através de Pares utilizando um Módulo de Indexação de Conteúdo
(Proposta inicial: aqui)
Autor: Wagner de Souza Rolim
Área: Inteligência Artificial
Orientador: Flávia de Almeida Barros
Avaliador: Ricardo Prudêncio
Resumo:
Com o expressivo consumo de mídias sociais e disseminação de informação, os internautas compartilham experiências, críticas e opiniões sobre os mais variados temas, inclusive produtos e serviços. A partir daí, as empresas podem extrair dados que diagnostiquem o quão bem sucedidos os seus produtos estão no mercado. Como também os relatos de outros usuários consumidores são muito válidos na hora de decidir adquirir ou não o que se deseja.
Mas devido à desorganização destas informações na Web, o processo de encontrar, analisar e classificar um conjunto de opiniões torna-se uma tarefa bem complexa. Neste cenário, a Análise de Sentimentos surgiu com o objetivo principal de permitir que um usuário obtenha um relatório com o que as pessoas andam dizendo sobre algum item sem precisar encontrar e ler todas as opiniões e notícias a respeito, classificando-as com uma polaridade. O objetivo deste trabalho é classificar essas opiniões, a nível de característica, fazendo uso de um módulo de indexação de conteúdo na fase de filtrar a polaridade.
Apresentação: 6a feira, 03/05/2013, 16:30hs, Sala D-218
65. Criação e publicação de um dataset de dados interligados sobre os docentes do CIn
(Proposta inicial: aqui)
Autor: Wanderson de Lima Carneiro
Área: Web Semântica
Orientador: Bernadette Farias Lóscio
Avaliador: Ana Carolina Salgado (A CONFIRMAR)
Resumo:
A web atual é composta de uma imensa quantidade de dados criados apenas com fins de apresentação para o usuário como, por exemplo, as páginas web. Esse modelo de web atinge o objetivo de proporcionar conteúdo compreensível para o usuário, porém o mesmo é de difícil interpretação por parte dos computadores devido à falta de semântica. Web semântica é a evolução da web atual, onde os dados possuem significado semântico, de forma que a informação é interpretável por um computador. O objetivo deste trabalho consiste na criação e publicação de um dataset de dados interligados com as informações acerca dos docentes do CIn-UFPE principalmente os dados relativos às publicações realizadas pelos mesmos. A disponibilização de dados dos docentes na web será em formato aberto, padronizado no formato RDF e interligado com outros datasets relevantes, permitindo que o dataset possa ser acessado, analisado e processado por qualquer sistema, com isso contribuindo com a construção da web semântica.
Apresentação: 6a feira, 03/05/2013, 17:00hs, Sala D-218
66. Análise do processo de desenvolvimento e manutenção do Sistema de Informação e Gestão Acadêmica (SIGA) com foco no Nível G do MPS.BR para Serviços
(Proposta inicial: aqui)
Autor: Winícius Santos de Almeida Marques
Área: Qualidade de Software
Orientador: Alexandre Marcos Lins de Vasconcelos
Avaliador: Carina Frota Alves
Resumo:
O valor percebido pelo cliente parte de todos os fatores envolvidos no processo de criação e preservação de um produto, assim como no fornecimento de um serviço de qualidade. Neste sentido, baseando-se no nível G do MPS-BR para serviços, este trabalho tem como escopo principal analisar o processo de desenvolvimento e manutenção de software do Sistema de Informação e Gestão Acadêmica da Universidade Federal de Pernambuco (Projeto SIG@ - UFPE), apontar pontos fracos e sugerir melhorias ao modelo atual. Como resultado, pretende-se apresentar um modelo de referência que sirva não só para contribuir com a melhora da satisfação geral dos usuários, mas também estimular a eficiência do processo de maneira geral.
Apresentação: 6a feira, 03/05/2013, 17:30hs, Sala D-218
Última atualização: 07 de Outubro de 2013, 12:20pm GMT-3