Aprendizado de Máquina em Representações Tridimensionais |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
10/05/2013 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
|
Banca |
- Gedson Faria
- Hemerson Pistori
|
Resumo |
Aprendizado consiste em adquirir novos, ou modificar os existentes, conhecimentos, comportamentos, habilidades, valores ou preferências e pode envolver a síntese de diferentes tipos de informação. O aprendizado está fortemente relacionado à representação do conhecimento. Uma representação de conhecimento está ligada a capacidade de se inferir, ou seja, aprender. Uma representação de dados bastante presente nos últimos tempos se refere à representação tridimensional, associada fortemente a imagens 3D. Neste trabalho apresenta-se um estudo sobre aprendizado 3D com base em dois estudos de caso, imagens 3D adquiridas a partir do Kinect e movimentos adquirido a partir dos dados do wiimote. A visão humana sempre despertou um grande fascínio por ser considerada um dos sensores humanos mais ricos em informação. Sempre existiu um grande interesse em simular a capacidade de visão do ser humano. Com o surgimento e popularização de sistemas RGB-D (RedGreenBlue - Depth), é possível obter informação de profundidade de cada pixel de maneira rápida e confiável. Isto permitiu a aproximação da tecnologia atual com a visão humana, que com dois olhos são capazes de estimar a profundidade aproximada de um objeto. Uma imagem capturada de um sistema RGB-D é muito mais rica em informação do que uma imagem capturada de uma câmera comum. Estudar como este ganho de informação pode ser utilizado para melhorar a capacidade de representação e reconhecimento de objetos em Inteligência Artificial é um dos objetivos deste projeto. Por meio de uma proposta de um pipeline de aprendizado 3D, desde captura dos dados até algoritmos de reconhecimento, será provido um estudo sobre aprendizado em sistemas RGB-D. Assim como o Kinect, o nintendo Wii também revolucionou a indústria de games graças ao seu controle capaz de reconhecer os movimentos do jogador. Neste trabalho apresenta-se um estudo sobre reconhecimento de padrões em estruturas tridimensionais com o objetivo de explicitar que com a utilização da técnica de aprendizado de máquina juntamente com a representação adequada do problema é possível atingir altas taxas de acerto com um baixo tempo de processamento, o que foi realizado com sucesso. |
Download |
|
|
Algoritmos para Escalonamento de Instruções e Alocação de Registradores na Infraestrutura LLVM |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
27/03/2013 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Ricardo Ribeiro dos Santos
|
Orientando(s) |
|
Banca |
- Amaury Antonio de Castro Junior
- Ricardo Ribeiro dos Santos
- Sandro Rigo
|
Resumo |
O objetivo deste trabalho e apresentar uma proposta integrada para Escalonamento de Instrucões e Alocacão de Registradores baseada em Isomorsmo de Subgrafos implementada no compilador LLVM. A contribuicão principal deste trabalho e mapear as fases de escalonamento instrucões e alocacão de registradores como um problema de Isomorsmo de Subgrafos. A resolucão e baseada na modelagem dos recursos de hardware (unidades funcionais, banco de registradores e suas interconexões) como um grafo base e a representacão do programa de entrada como um Directed Acyclic Graph (DAG) com vertices representando instrucões, operandos de entradas e sada, e as arestas as dependências entre esses vertices.O DAG de entrada possui atributos especiais para indicar a latência de instrucões, operandos
especiais (registradores de instrucões específicas/dedicadas) e dependências de controle. As entradas para o algoritmo são compostas por um DAG G1 e um grafo base G2 que representa a arquitetura alvo. A saída e um grafo G0 2 isomorco para G1. Outra contribuicão é a
definição de grafo base como uma ferramenta para modelar diferentes modelos arquiteturais de processadores. A técnica tem-se mostrado particularmente viável para arquiteturas com restricões de registradores e interconexões. No entanto, pode-se vislumbrar extensões
para arquiteturas Very Long Instruction Word (VLIW), máquinas escalares e até mesmo processadores que exploram paralelismo em nível de instrução utilizando outros modelos de execução. Experimentos foram realizados visando a validação, caracterização do algoritmo
e a comparação com outras téecnicas existentes na infraestrutura de compilação LLVM. Os resultados mostram que o algoritmo proposto, apesar de necessitar melhorias quanto ao tempo de compilação, pode obter ganhos de desempenho no código final gerado. |
Download |
|
|
Linha de Produtos de Software no Domínio de Portais e-Gov Acessíveis |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
25/03/2013 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Marcelo Augusto Santos Turine
|
Orientando(s) |
- Vitor Mesaque Alves de Lima
|
Banca |
- Maria Istela Cagnin Machado
- Renata Pontin de Mattos Fortes
|
Resumo |
As Tecnologias de Informação e Comunicação (TIC) têm se desenvolvido com intensidade nos últimos anos, espalhando-se pelo setor governamental por meio do que é chamado e-Gov ou Governo Eletrônico, representado pela informatização de suas atividades internas e pela comunicação com o público externo. As diretrizes do Governo Eletrônico brasileiro estimulam a cidadania, inclusão digital e no que tange ao desenvolvimento de software enfatizam a utilização de tecnologias open source, racionalização de recursos e o desenvolvimento colaborativo. Uma forma para essa informatização é a construção de portais governamentais. Os portais e-Gov são um meio para a democratização da informação e devem viabilizar o acesso a ela para todos os cidadãos sem distinção. Entretanto, grande parte dos portais e-Gov desenvolvidos não seguem os padrões Web e nem padrões de acessibilidade, o que inviabiliza o acesso à informação por pessoas com necessidades especiais. O reúso de software tem como objetivo principal o desenvolvimento de produtos de qualidade e economicamente viável utilizando artefatos já especificados, implementados e testados. Nesse contexto, visando consolidar uma plataforma para o desenvolvimento de portais e-Gov acessíveis, é apresentada uma plataforma baseada em software livre e tecnologias que promovem o reúso, racionalizando recursos e estimulando a colaboração entre órgãos governamentais. Dentre as diversas abordagens de reúso encontradas na literatura, optou-se, nesta proposta, por utilizar um processo de Linha de Produtos de Software (LPS), automatizado por meio do uso de frameworks, geradores de aplicação e repositório de reúso. Com a utilização de tais tecnologias, pretende-se desenvolver uma plataforma de LPS automatizada no domínio de portais e-Gov acessíveis, promovendo o reúso de software e o desenvolvimento colaborativo.
|
Download |
|
|
Otimização de colônias de formigas em CUDA: O problema da mochila e o problema quadrático de alocação |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
23/03/2013 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
|
Banca |
- Edna Ayako Hoshino
- Edson Norberto Caceres
- Wellington Santos Martins
|
Resumo |
O problema da mochila binária multidimensional e o problema quadrático de alocação não possuem algoritmos exatos que encontrem a solução ótima em tempo viável para uma aplicação prática, a não ser que as instâncias sejam muito pequenas. Nestes casos, algoritmos aproximados, que não garantem encontrar a solução ótima, mas tentam encontrar uma próxima, podem ser utilizados. Dentre estes algoritmos, temos as meta-heurísticas, que são algoritmos não-dependentes do problema que iterativamente buscam no espaço de soluções uma solução satisfatória. Uma destas meta-heurísticas é a otimização de colônia de formigas, que imita o comportamento de formigas procurando por comida. Quando estas formigas caminham pelo território, depositam feromônios, que é o método de comunicação entre elas e as guiam a fontes de comida já encontradas. Devido ao poder de computação das placas de vídeo atuais, a implementação foi feita em paralelo usando CUDA, a linguagem para GPGPUs da NVIDIA. |
Download |
|
|
Métodos para Construção de Árvores Filogenéticas a partir de Redes Metabólicas |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
06/03/2013 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Fabio Henrique Viduani Martinez
|
Orientando(s) |
|
Banca |
- Luiz Carlos da Silva Rozante
- Said Sadique Adi
|
Resumo |
Desde a concepção da teoria da evolução, a determinação das relações evolutivas entre os organismos existentes tem sido um dos grandes desafios das Ciênias Biológias. Após o advento do sequenciamento de genomas de organismos, árvores logenéticas passaram a ser
concebidas baseadas na similaridade das sequências de pequenas subunidades ribossômicas ou de genes individuais. Com o avanço das téc
nicas de sequenciamento, uma grande quantidade de informações está atualmente disponível para consulta e análise e muitos métodos têm sido propostos para construção de árvores filogenéticas a partir de caraterísticas do genoma completo, tais como a composição de oligonucleotídeos, a ocorrência de fragmentos do genoma e a presença/ausência de caraterístias metabólicas. Ao mesmo tempo, muitos trabalhos têm sido direcionados no sentido da análise da similaridade dos processos metabólicos dos organismos, já que tais processos estão fortemente relacionados ao ambiente e à adaptação e manutenção do equilíbrio dos componentes de seu meio. Dessa forma, considerações sobre o metabolismo dos organismos podem revelar informações importantes sobre a interação entre os organismos e o ambiente onde vivem, como por exemplo simbiose ou adaptação a ambientes extremos. Neste trabalho, estudamos dois tipos de métodos para construção de árvores filogenéticas baseadas em redes metabólicas. No primeiro deles, uma via metabólica é fixada, as distâncias entre pares de vias metabólicas dos organismos são computadas e, finalmente, uma árvore filogenética é obtida a partir dessas distâncias. No segundo método, um conjunto de vias metabólicas é fixado e, para cada via, o mesmo processo é realizado, isto é, uma árvore filogenética é construída baseada nas distâncias entre as vias metabólicas nesses organismos. Em seguida, o conjunto de árvores assim obtidas é transformado em uma única árvore filogenética dos organismos de entrada. |
Download |
|
|
Detecção Automática de Anomalias em Ambientes Distribuídos Utilizando Redes Bayesianas |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
14/02/2013 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
- Brivaldo Alves da Silva Junior
|
Banca |
- Fabio Moreira Costa
- Irineu Sotoma
- Ronaldo Alves Ferreira
|
Resumo |
Diagnosticar anomalias em grandes redes corporativas consome tempo considerável das equipes de suporte técnico, principalmente pela complexidade das inúmeras interações existentes entre as aplicações e os elementos de rede (servidores, roteadores, enlaces, etc.).
Nos últimos anos, vários trabalhos científicos propuseram ferramentas automatizadas para detecção de anomalias em ambientes distribuídos. As ferramentas são divididas em dois grandes grupos: as que usam abordagens intrusivas, em que as aplicações precisam ser alteradas para registrar eventos de comunicação e facilitar o rastreamento de proble- mas; e as não intrusivas, em que pacotes são capturados diretamente da rede e técnicas estatísticas são aplicadas para se inferir, com um certo grau de confiança, as possíveis causas dos problemas. As duas abordagens possuem vantagens e desvantagens. Entretanto, as técnicas não intrusivas são mais aceitas pela facilidade de implantação e também por não exigirem que aplicações já desenvolvidas sejam alteradas para incluir mecanismos de registro de eventos.
A abordagem mais completa e promissora para a solução desse problema, denominada Sherlock, utiliza traços de rede para construir automaticamente um Grafo de Inferência (GI) que modela as múltiplas interações e dependências presentes em um ambiente distribuído. Apesar do progresso feito por Sherlock na modelagem do problema, o seu tempo de execução para se inferir as possíveis causas e a precisão dos resultados de detecção das anomalias ainda deixam a desejar.
Este trabalho propõe Nemo, uma ferramenta que explora conhecimento específico do domínio do problema e uma propriedade teórica de Redes Bayesianas para reduzir significativamente um GI e, consequentemente, o tempo de execução. Resultados de simulação utilizando dados reais e sintéticos mostram que Nemo reduz o tempo de execução de Sherlock em mais de 90% e melhora sua precisão em todos os cenários simulados. Além disso, este trabalho também apresenta uma extensa revisão bibliográfica sobre o assunto e comparações qualitativas dos principais métodos propostos na literatura. |
Download |
|
|
GLPN - Uma Abordagem para Gestão de Linhas de Processos de Negócios |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
12/12/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Maria Istela Cagnin Machado
|
Orientando(s) |
|
Banca |
- Debora Maria Barroso Paiva
- Elisa Yumi Nakagawa
- Maria Istela Cagnin Machado
|
Resumo |
Organizações lidam com ambientes em constante evolução de seus processos de negócios para satisfazer as necessidades de seus clientes. A Gestão por Processos de Negócio faz uso da Modelagem de Processos de Negócio com o intuito de aprimorar a gestão de conhecimento, medir o desempenho e promover a melhoria contínua de processos de negócio. No entanto, essa atividade despende tempo e esforço e é passível de erros. Nesse contexto, o reúso de modelos de processos de negócio permite uma maior agilidade em resposta à constante mudança do ambiente de negócio, reduzindo tempo, esforço e custos associados. Por outro lado, arcabouços de Linha de Produto de Software (LPS) fornecem mecanismos para reúso de componentes e artefatos de software por meio do gerenciamento de variabilidades. A essência da LPS pode ser adaptada para apoiar o reúso de modelos de processos de negócio. A investigação dessa união resulta na chamada Linhas de Processos de Negócios, uma área de pesquisa, ainda pouco explorada, composta por aspectos interdisciplinares de Engenharia de Software e Gestão Por Processos de Negócios. Diante do cenário exposto, este trabalho propõe uma abordagem de Gestão de Linhas de Processos de Negócio, para apoiar o ciclo de vida dos processos de negócio e promover a melhoria contínua alinhada às melhores práticas do domínio de negócio. Um estudo de caso foi conduzido para avaliar a etapa de instanciação de uma linha de processos de negócio por meio da abordagem proposta. A partir dos resultados obtidos nesse estudo de caso foi possível observar que a abordagem proposta necessita de apoio computacional, possui uma tendência a acelerar a modelagem de processos de negócio e apoia profissionais inexperientes a produzir modelos de processos de negócio com qualidade.
|
Download |
|
|
Infra-estrutura para Codificação de Código Baseada em Fatoração de Padrões |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
20/11/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Ricardo Ribeiro dos Santos
|
Orientando(s) |
|
Banca |
- Fabio Iaione
- Ricardo Ribeiro dos Santos
- Rodolfo Jardim de Azevedo
|
Resumo |
Este trabalho apresenta o projeto e implementação da técnica de codificação de instruções PBIW (Pattern Based Instruction Word), baseada em fatoração de padrões, sobre o processador softcore embarcado denominado p-VEX. A técnica PBIW é implementada sobre uma infraestrutura de codificação de instruções que mapeia o código de saída de um compilador para o esquema de codificação PBIW em um processador alvo. A infraestrutura é construída com uma arquitetura modular e extensível que possibilita acoplar novos algoritmos codificadores e otimizadores, além de suporte a novos conjuntos de instruções e processadores. Neste trabalho foram projetadas e implementadas duas versões da técnica PBIW para o processador p-VEX e foram realizados experimentos estáticos e dinâmicos para validação e caracterização. Esses experimentos visam caracterizar detalhadamente a técnica PBIW sobre os efeitos gerados sobre o código do programa e sobre o processador alvo. Os resultados demonstram que a técnica PBIW oferece ganhos tanto na compressão do tamanho programa (resultados estáticos), quanto em área ocupada e dissipação de potência dinâmica. Os resultados também permitem notar que a utilização da técnica PBIW oferece oportunidades interessantes para exploração do espaço de projeto de decodificadores de código junto à via de dados e controle do processador alvo. A taxa de compressão média para
as versões 1.0 e 2.0 foram de 85,82% e 76,87% respectivamente. As taxas de compressões mínimas variaram de 94,35% e 105,00% e as taxas de compressão máximas variaram de 56,51% e 59,70%, respectivamente.
|
Download |
|
|
Estratégias de Otimização em GPU para Análise de Sequências Biológicas |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
08/10/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
|
Banca |
- Edson Borin
- Nahri Balesdent Moreano
- Ronaldo Alves Ferreira
|
Resumo |
Uma importante tarefa na área de Bioinformática é comparar uma sequência em relação a uma família de sequências e, dependendo do resultado obtido, incluir essa sequência na família em questão. HMMer [17, 18] é um conjunto de ferramentas bastante utilizado para realizar essa tarefa e aplica um algoritmo denominado algoritmo de Viterbi. Existem implementações do HMMer buscando ganhos de desempenho nas mais variadas plataformas. Entretanto, o tamanho das bases de sequências biológicas vem crescendo muito nos últimos anos, fazendo com que a comparação de sequências utilizando essas bases de dados se torne cada vez mais custosa em termos de tempo de processamento. Poucas implementações utilizam como plataforma de execução a GPU e avaliam esse dispositivo, que possui grande capacidade computacional e evoluiu muito nos últimos anos. Assim, este trabalho apresenta o desenvolvimento de soluções em GPU para o algoritmo de Viterbi aplicado à análise de sequências biológicas e avalia as maneiras mais eficientes de utilizar os recursos disponíveis nessa plataforma. O acelerador proposto alcança um ótimo desempenho, com speedup médio de 48,82 e máximo de 102,83, em relação ao HMMer2 executado em um computador convencional. O desempenho obtido também é superior ao alcançado por outros aceleradores em GPU descritos na literatura. |
Download |
|
|
Classificação de sequências metagenômicas |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
05/09/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Nalvo Franco de Almeida Junior
|
Orientando(s) |
|
Banca |
- Luciana Montera Cheung
- Maria Emilia Machado Telles Walter
- Nalvo Franco de Almeida Junior
- Said Sadique Adi
|
Resumo |
|
Download |
|
|
Remontagem de genomas: uma avaliação das técnicas de novo e por comparação |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
05/09/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
- Sérgio Ronaldo Alves de Sousa Júnior
|
Banca |
- Luciana Montera Cheung
- Maria Emilia Machado Telles Walter
- Nalvo Franco de Almeida Junior
- Said Sadique Adi
|
Resumo |
|
Download |
|
|
Uma Estratégia para Publicação de um Linked Open Data Baseado em Data Warehouse |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
28/08/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Marcelo Augusto Santos Turine
|
Orientando(s) |
- Davison André Zangerolami de Oliveira
|
Banca |
- Debora Maria Barroso Paiva
- Marcelo Augusto Santos Turine
- Marilde Terezinha Prado Santos
|
Resumo |
O Ministério da Educação (MEC) e o Instituto de Estudos e Pesquisas em Educação Anísio Teixeira (INEP) vêm aplicando censos e avaliações educacionais a fim de auxiliar a tomada de decisão em relação às políticas educacionais no Brasil. Com isso, é preciso
que os dados gerados sejam transformados em dados estatístico-educacionais de forma ágil, auxiliando a visualização da realidade socioeducacional do país. Nesse contexto, este projeto visa trabalhar com os microdados do ENEM (Exame Nacional do Ensino Médio),
no período de 1998 até 2008, disponibilizados no formato ASCII, e transformá-los em um Data Warehouse (DW), o qual deve dar suporte a consultas analíticas que subsidiar~ao a tomada de decisão. Appós a finalização do DW,é realizada a criação de um Linked Open Data (LOD) para o ENEM, que se destina a dar suporte à pesquisa de informações de forma automatizada e também oferecer suporte à descoberta de novas ligações/associações entre os dados. Além disso, foram selecionados e analisados três processos open sources
para serem analisados: o primeiro utiliza as ferramentas Stdtrip, Triplify e Virtuoso; o segundo utiliza Ontowiki, Olap2DataCube e Virtuoso; e o terceiro processo utiliza as ferramentas Babel e Virtuoso, sendo que a ferramenta Olap2DataCube foi a escolhida para
uso no projeto, pois foi a que apresentou melhor desempenho no processo de triplificação. Dessa forma, a contribuição prática deste projeto é o desenvolvimento de um modelo de processo de publicação de Linked Data, consistindo na triplificação dos dados do DWENEM
e sua liberação para consulta via SPARQL no banco Virtuoso.
|
Download |
|
|
Garantia de qualidade em páginas Web para dispositivos móveis: Acessibilidade e Restrições de Hardware |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
10/08/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Hana Karina Salles Rubinsztejn
|
Orientando(s) |
- Carlos Américo Perazolo Yamakawa
|
Banca |
- Debora Maria Barroso Paiva
- Hana Karina Salles Rubinsztejn
- José Viterbo Filho
|
Resumo |
Hoje um dos meios de comunicação mais utilizados é a Internet. Assim, é fundamental garantir que seu conteúdo esteja sempre disponível e acessível, a qualquer hora, local, ambiente, dispositivo de acesso e a todos os visitantes/usuários.
Há alguns anos o foco principal das pesquisas sobre acessibilidade Web tem sido voltado às pessoas que possuem necessidades especiais, o que continua sendo uma prioridade. Porém, com a popularização da utilização de dispositivos móveis para acessar a Internet, a acessibilidade Web voltada aos usuários desses dispositivos vem ganhando espaço.
Com o aumento de usuários de dispositivos móveis, aumentou também a demanda dos usuários de acessar um site que, além de bem atualizado, seja bem apresentável, acessível e leve, levando em consideração os recursos reduzidos destes aparelhos. Porém, a variedade de dispositivos no mercado, com diversas configurações, torna a adaptação de um site ao dispositivo mais complexa.
Neste trabalho, é apresentada uma maneira de adaptar dinamicamente um site com base nas configurações do dispositivo que o está acessando. Para isso, foram criadas regras de acessibilidade para dispositivos móveis, que foi incorporado ao Framework Pantaneiro, fazendo com que, os sites por ele gerados sejam acessíveis, tanto para pessoas com necessidades especiais, quanto para usuários de dispositivos móveis.
|
Download |
|
|
Uma plataforma para desenvolvimento e avaliação de estratégias para memória transacional em software |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
03/08/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
|
Banca |
- Irineu Sotoma
- Renato Porfirio Ishii
- Ricardo Ribeiro dos Santos
|
Resumo |
Atualmente existe um grande número de processadores multi-core, e para se obter melhor desempenho dos programas nestes processadores, o modelo de programação mais utilizado é o multi-threaded. Este modelo utiliza uma combinação de bloqueios para o controle de concorrência entre as threads, mas muitos problemas podem surgir com a utilização errada desta técnica, tal como deadlocks e starvation. Em reação a estes problemas apresentados, o modelo transacional de sincronização tem recebido atenção como um modelo de programação alternativo, usando como base o conceito de transação para garantir sincronismo entre threads concorrentes. Este modelo tira do programador a responsabilidade sobre o controle de sincronização, e problemas como deadlocks e starvation são evitados.
Neste trabalho implementamos o STM Builder, uma plataforma para desenvolvimento de estratégias para Memória Transacional em Software, que foi criada com a modularização da SwissTM. Junto com o STM Builder, desenvolvemos um framework de testes para a avaliação das implementações realizadas, que executou os testes e gerou todos os gráficos utilizados no trabalho automaticamente. O framework de testes utiliza os benchmarks STMBench7, STAMP e o Microbenchmark de Árvore Rubro-Negra. Os gráficos gerados pelo framework utilizam o gnuplot.
O STM Builder é capaz de testar várias variações no mesmo código, perdendo pouco tempo com novas implementações e testando diversas formas da mesma implementação rapidamente. No STM Builder há algumas variações do modelo transacional de sincronização em software da SwissTM. Implementamos e testamos: novos gerentes de contenção, como o RandomizedRounds (RR), gerenciamento de contenção de uma e duas fases, diferentes formas de recuo de uma transação, e a técnica de invalidação no momento da efetivação (Commit-time invalidation).
Implementamos uma plataforma para desenvolvimento e avaliação de estratégias para Memória Transacional em Software, que é formada pelo STM Builder e pelo framework de testes, que comprovou facilitar implementações e testes de novas ideias.
Palavras-chave: Memória Transacional, Memória Transacional em Software, STM, STM Builder, SwissTM
|
Download |
|
|
Algoritmos para Alinhamento de Redes Metabólicas |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
03/07/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Fabio Henrique Viduani Martinez
|
Orientando(s) |
|
Banca |
- Fabio Henrique Viduani Martinez
- Francisco Eloi Soares de Araujo
- José Augusto Ramos Soares
|
Resumo |
O alinhamento de redes metabólicas é um tópico habitual no contexto da biologia computacional.Por ele podemos, por exemplo, aferir relações de evolução, parentesco ou funcionais entre espécies. O problema pode ser modelado nas mais variadas formas e trabalhado utilizando diferentes metodologias.
Neste trabalho buscamos descrever uma visão geral sobre o assunto, todavia, dedicando algumas páginas ao estudo aprofundado de recentes trabalhos de relevância sobre o tema à luz da teoria dos grafos. Inicialmente apresentamos definições básicólicas. Passamos ao alinhamento de sequências, vias e redes metabólicas, sendo os dois últimos o foco do trabalho, estudando detalhadamente alguns algoritmos. Apresentamos ainda uma síntese acerca de trabalhos relacionados ao trabalho corrente.
|
Download |
|
|
Aprendizado semissupervisionado aplicado ao problema de valores ausentes |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
26/06/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
- Glauder Guimarães Ghinozzi
|
Banca |
- Edson Takashi Matsubara
- Gustavo Enrique de Almeida Prado Alves Batista
- Maria Bernadete Zanusso
|
Resumo |
Valores ausentes constituem um problema relativamente comum em bases de dados, devido a isso existem vários métodos para estimá-los. Essa estimativa é denominada imputação de valores ausentes. Os métodos que usam o aprendizado de máquina para realizar a tarefa imputação,costuman ser supervisionados e somente utilizam os exemplos rotulados para indução de hipotese, e desta forma não conseguem usar a informação contida nos dados não rotulados.
Perdendo assim, uma potencial fonte de conhecimento. O aprendizado semissupervisionado é um paradigma de aprendizado que pode se valer tanto de dados não rotulados quanto de dados rotulados e desta maneira, teoricamente, obter um melhor desempenho em tarefas de imputação.
Isso porque uma base de dados com atributos ausentes pode ser dividida em dados rotulados (exemplos sem atributos com valores ausentes) e não rotulados (exemplos com atributos com valores ausentes). Nesta dissertação é demonstrado que a imputação de dados em bases estáticas é uma tarefa de natureza intrinsicamente transdutiva e por ser a inferência trandutiva um conceito muito próximo ao aprendizado semissupervisionado é esperado que o aprendizado semissupervisionado obtenha um melhor desempenho em tarefas de imputação que outros paradigmas.
Os experimentos realizados utilizando algoritmos semissupervisionados multivisão como o TRI-TRAINING com e sem seleção automática do classificador base, mostram resultados promissores quando comparados com os classificadores supervisionados J48, IBK (k-NN),
naive Bayes e SMO (SVM) . Isso demonstra que o aprendizado semissupervisionado é uma boa opção para tarefas de imputação de valores ausentes.
|
Download |
|
|
IAMPS: Um Processo de Apoio ao Uso de Métodos Ágeis em Conjunto com o MPS.BR |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
04/04/2012 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Maria Istela Cagnin Machado
|
Orientando(s) |
- Marcelo Benites Gonçalves
|
Banca |
- Debora Maria Barroso Paiva
- Elisa Yumi Nakagawa
- Maria Istela Cagnin Machado
|
Resumo |
A melhoria da qualidade do processo de software é um dos principais objetivos da Engenharia de Software. Este objetivo está intrinsecamente ligado à adoção correta de modelos e padrões de desenvolvimento nas diferentes realidades de projeto. Um processo de software bem sucedido deve otimizar o dispêndio de recursos mantendo a conformidade com prazos, estimativas e expectativas em relação ao produto final. Dado o caos existente no desenvolvimento de software sem processos estruturados e a sistemática pesada das metodologias tradicionais, os métodos ágeis propõem um equilíbrio entre essas duas realidades mantendo o compromisso de oferecer somente o nível de sistematização adequado que seja facilmente aplicável e cause o mínimo de impacto na produtividade. Contudo, a adoção de métodos ágeis ainda enfrenta problemas de padronização e ausência de meios de evidenciar sua institucionalização como garantia de qualidade de processo de software. Nesse contexto, este trabalho propõe um processo de apoio à implantação de níveis de maturidade do MR-MPS com métodos ágeis, nomeado IAMPS, cujo resultado de sua execução seja a implantação de um processo de desenvolvimento baseado em práticas ágeis que satisfaça aos resultados esperados de algum nível especificado do MR-MPS. Adicionalmente, durante o uso do processo proposto, a agilidade do processo de desenvolvimento pode ser monitorada por meio de um framework de análise de agilidade proposto neste trabalho, denominado AgilAC. Foi conduzido um experimento, em meio acadêmico, que verificou a eficiência do AgilAC em seu propósito de guiar a análise de agilidade em métodos de desenvolvimento, identificando que o AgilAC é eficiente em relação à uma análise ad hoc, considerando fatores como o tempo empregado na análise e a corretude dos resultados produzidos. Além disso, um estudo de caso foi realizado no setor de desenvolvimento do Núcleo de Tecnologia da Informação (NTI) da UFMS para verificar a aplicabilidade do processo IAMPS. Com este estudo foi possível apoiar a implantação no NTI de um processo ágil baseado no Scrum e em conformidade com resultados esperados do nível G do MPS.BR, bem como identificar importantes pontos de melhoria para o refinamento do processo de implantação IAMPS. |
Download |
|
|
Comparação de Algoritmos Paralelos para a Extração de Regras de Associação no Modelo de Memória Distribuída. |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
31/10/2011 |
Área |
ANÁLISE DE ALGORÍTMOS E COMPLEXIDADE DE COMPUTAÇÃO |
Orientador(es) |
|
Orientando(s) |
|
Banca |
- Edson Norberto Caceres
- Henrique Mongelli
- Valguima Victoria Viana Aguiar Odakura
|
Resumo |
Nos últimos anos, a extração de conhecimento a partir de grandes volumes de dados têm sido o objeto de estudo em muitas pesquisas. Com isso, diversas técnicas de mineração de dados foram desenvolvidas com o propósito de descobrir informações para auxiliar os
gestores de empresas e organizações na tomada de decisões. Uma das técnicas mais predominantes na mineração de dados é a de extração de regras de associação, devido a sua eficiência e simplicidade no tratamento das informações. Com a utilização do paralelismo
em diversos problemas computacionais, algoritmos paralelos para a mineração de dados foram construídos utilizando a técnica de extração de regras de associação. Dentre os algoritmos paralelos mais conhecidos, utilizando o modelo de memória distribuída, está o
Apriori, o Eclat e o FP-Growth. Assim, o objetivo deste trabalho é implementar e comparar o desempenho dos algoritmos paralelos Apriori, Eclat e FP-Growth com diferentes números de processadores e tamanhos de bases de dados de entrada.
Palavras-chave: Regras de Associação, Apriori, Eclat, FP-Growth.
|
Download |
|
|
Acessibilidade no Desenvolvimento de Software Livre |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
07/10/2011 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Debora Maria Barroso Paiva
|
Orientando(s) |
|
Banca |
- Debora Maria Barroso Paiva
- Luciano Tadeu Esteves Pansanato
- Maria Istela Cagnin Machado
|
Resumo |
A concepção e o desenvolvimento de software livre acessível ao maior número possível de usuários, incluindo pessoas com deficiência, são de grande importância para a eliminação de barreiras e apoio à inclusão digital. Este estudo procura contribuir no trabalho que, nos últimos anos, vem sendo feito para a criação de conteúdos para a Internet acessíveis às pessoas com deficiência, ampliando estas preocupações para o contexto de software livre. No presente trabalho foi realizado um estudo sobre acessibilidade no desenvolvimento de software livre com o intuito de identificar como os projetos de software livre no Brasil estão lidando com a acessibilidade. Para isso, foi realizado um levantamento, com a coleta de dados por meio de questionário on-line, aplicado aos administradores e desenvolvedores de projetos de software livre. A partir da análise dos resultados dos questionários e da revisão bibliográfica, foram identificados alguns problemas, dificuldades e motivos pelos quais a maioria dos projetos não está desenvolvendo software acessível. Diante destas informações, foi idealizada e é apresentada a proposta de adaptação de um modelo de processo de software livre com recomendações de acessibilidade, com o objetivo de guiar os projetos de software livre no desenvolvimento de software acessível e
apoiar a participação de pessoas com deficiência em seu processo de desenvolvimento. Com o intuito de validar as recomendações de acessibilidade, foi realizado um estudo de caso referente ao desenvolvimento de um protótipo funcional acessível. No estudo de caso foram identificados e estabelecidos requisitos de acessibilidade por meio de estudos de documentos e entrevistas com deficientes visuais. De acordo com os requisitos de acessibilidade realizou-se a implementação, avaliação e teste do protótipo funcional. Desta forma, espera-se contribuir na consolidação das ações e pesquisas no desenvolvimento de software livre acessível, incentivando a adoção de acessibilidade em seu desenvolvimento e buscando principalmente apoiar a inclusão digital e social de
pessoas com deficiência, por meio da utilização do software livre e a participação no processo de desenvolvimento. |
Download |
|
|
Integração baseada em Serviços de Aplicações Web Legadas |
|
Curso |
Mestrado em Ciência da Computação |
Tipo |
Dissertação |
Data |
05/09/2011 |
Área |
CIÊNCIA DA COMPUTAÇÃO |
Orientador(es) |
- Marcelo Augusto Santos Turine
|
Orientando(s) |
- Maxwell Sampaio dos Santos
|
Banca |
- Debora Maria Barroso Paiva
- Marcelo Augusto Santos Turine
- Maria Istela Cagnin Machado
- Marilde Terezinha Prado Santos
|
Resumo |
|
Download |
|
|