Pós Graduação

Trabalhos

Formulário de Busca

Título

Área

Orientador

Aluno

Período (de)

Período (até)

Tipo

Trabalhos Disponíveis

TRABALHO

Ações

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)	Henrique Mongelli
Coorientador(es)
Orientando(s)	Henrique Fingler
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	Henrique_Fingler_2013.pdf

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
Coorientador(es)
Orientando(s)	Phelipe Araujo Fabres
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	Dissertação-Phelipe Fabres.pdf

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)	Ronaldo Alves Ferreira
Coorientador(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 considerável das equipes de suporte técnico, principalmente pela complexidade das inúmeras interações existentes entre as aplicações e os elementos de rede (servidores, roteadores, enlaces, etc.). Nos últimos anos, vários trabalhos científicos propuseram ferramentas automatizadas para detecção de anomalias em ambientes distribuídos. As ferramentas são divididas em dois grandes grupos: as que usam abordagens intrusivas, em que as aplicações precisam ser alteradas para registrar eventos de comunicação e facilitar o rastreamento de proble- mas; e as não intrusivas, em que pacotes são capturados diretamente da rede e técnicas estatísticas são aplicadas para se inferir, com um certo grau de confiança, as possíveis causas dos problemas. As duas abordagens possuem vantagens e desvantagens. Entretanto, as técnicas não intrusivas são mais aceitas pela facilidade de implantação e também por não exigirem que aplicações já desenvolvidas sejam alteradas para incluir mecanismos de registro de eventos. A abordagem mais completa e promissora para a solução desse problema, denominada Sherlock, utiliza traços de rede para construir automaticamente um Grafo de Inferência (GI) que modela as múltiplas interações e dependências presentes em um ambiente distribuído. Apesar do progresso feito por Sherlock na modelagem do problema, o seu tempo de execução para se inferir as possíveis causas e a precisão dos resultados de detecção das anomalias ainda deixam a desejar. Este trabalho propõe Nemo, uma ferramenta que explora conhecimento específico do domínio do problema e uma propriedade teórica de Redes Bayesianas para reduzir significativamente um GI e, consequentemente, o tempo de execução. Resultados de simulação utilizando dados reais e sintéticos mostram que Nemo reduz o tempo de execução de Sherlock em mais de 90% e melhora sua precisão em todos os cenários simulados. Além disso, este trabalho também apresenta uma extensa revisão bibliográfica sobre o assunto e comparações qualitativas dos principais mé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
Coorientador(es)
Orientando(s)	Geraldo Barbosa Landre
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	Dissertação -Geraldo Landre.pdf

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
Coorientador(es)
Orientando(s)	Renan Albuquerque Marks
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	dissertacao_Renan.pdf

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)	Nahri Balesdent Moreano
Coorientador(es)
Orientando(s)	Samuel Benjoino Ferraz
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	dissertacao_Samuel_Benjoino_Ferraz_Aquino.pdf

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
Coorientador(es)
Orientando(s)	Habib Asseiss Neto
Banca	Luciana Montera Cheung Maria Emilia Machado Telles Walter Nalvo Franco de Almeida Junior Said Sadique Adi
Resumo
Download	habib.pdf

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)	Luciana Montera Cheung
Coorientador(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	sergio ronaldo.pdf

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
Coorientador(es)
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	Davison Z.de Oliveira.pdf

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
Coorientador(es)
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	Dissertação - Carlos Américo Perazolo Yamakawa - GARANTIA DE QUALIDADE EM PÁGINAS WEB PARA DISPOS.pdf

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)	Irineu Sotoma
Coorientador(es)
Orientando(s)	Thales Farias Duarte
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	Dissertação-ThalesFariasDuarte.pdf

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
Coorientador(es)
Orientando(s)	Diego Padilha Rubert
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	Dissertacao - Diego Padilha Rubert (2012) - Algoritmos para Alinhamento de Redes Metabólicas.pdf

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)	Edson Takashi Matsubara
Coorientador(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	Glauder Guimarães Ghinozzi.pdf

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
Coorientador(es)
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	2012 Dissertação - Marcelo Benites Gonçalves.pdf

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)	Henrique Mongelli
Coorientador(es)
Orientando(s)	Marcos Alves Mariano
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	Dissertação-Marcos A.Mariano.PDF

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
Coorientador(es)
Orientando(s)	Daniel Domingos Alves
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	Dissertacao_Daniel_Domingos_Alves_final.pdf

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
Coorientador(es)
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	dissertacao_max.pdf

Serviços Baseados em Localização e Publish-Subscribe no Domínio da Pecuária de Precisão

Curso	Mestrado em Ciência da Computação
Tipo	Dissertação
Data	29/07/2011
Área	CIÊNCIA DA COMPUTAÇÃO
Orientador(es)	Marcelo Augusto Santos Turine
Coorientador(es)
Orientando(s)	Márcio Aparecido Inacio da Silva
Banca	Edson Norberto Caceres Hana Karina Salles Rubinsztejn Jó Ueyama Marcelo Augusto Santos Turine Pedro Paulo Pires
Resumo	A abordagem de sistemas sensíveis ao contexto com integração de Serviços Baseados em Localização (LBS) e Publish-Subscribe (Publicar-Assinar) e uma das oportunidades para atender as necessidades de acesso a ambientes computacionais úbiquos. No entanto, o projeto e a implementação desses sistemas são complexos, principalmente, pela falta de suporte de ferramentas automatizadas da Engenharia de Software, que se preocupa em propor técnicas e métodos para auxiliar o desenvolvimento ágil de softwares de maior qualidade e em menor tempo, reutilizando artefatos já especificados e implementados. O objetivo principal desta pesquisa é especificar e implementar um componente de software genérico intitulado Orion utilizando uma abordagem de componentes, que tem como objetivo gerenciar e distribuir, de forma síncrona ou assíncrona, notificações ou avisos sobre quaisquer tipos de eventos. Para ser possível localizar os usuários em tempo real,será especificado, implementado e integrado ao Orion o software intitulado mobile Eros,que tem como objetivo capturar dados de contexto do usuário. Para testar e validar os componentes e a arquitetura proposta, será desenvolvida um estudo de caso aplicado à plataforma e-SAPI bovis a fim de auxiliar o processo de rastreabilidade bovina e Pecuária de Precisão no Brasil. A aplicação de Tecnologias de Informação e Comunicação (TIC) no sistema produtivo de carne bovina e a adoção das Boas Práticas Agropecuárias (BPAs)objetivam garantir a produção de alimentos seguros e com atributos de qualidade que atendam aos interesses dos grandes mercados. Com os constantes embargos europeus à carne brasileira, é relevante que a adoção e o uso de um sistema de gestão de eventos sanitários e riscos contribui para a tomada de decisões em busca de uma melhoria da vigilância sanitária no Brasil. Ao descobrir um foco de doença, será possível propagar este evento como um alerta para as autoridades responsáveis, como as agências reguladoras,institutos de defesa, o MAPA (Ministério da Agricultura, Pecuária e Abastecimento)e demais interessados no problema da rastreabilidade bovina. Assim, como resultado final deste projeto, conclui-se que o software Orion é um mecanismo eficiente e eficaz de disseminação de eventos originados pela plataforma e-SAPI bovis, podendo ser extensível e aplicável a diversos outros domínios.
Download

Redução dos efeitos negativos das suspeitas incorretas no algoritmo de consenso de Chandra e Toueg

Curso	Mestrado em Ciência da Computação
Tipo	Dissertação
Data	06/05/2011
Área	CIÊNCIA DA COMPUTAÇÃO
Orientador(es)	Irineu Sotoma
Coorientador(es)
Orientando(s)	Lucas Menezes Fermino
Banca	Edmundo Roberto Mauro Madeira Hana Karina Salles Rubinsztejn Irineu Sotoma
Resumo	Alguns protocolos na área de sistemas distribuídos, como por exemplo, atomic broadcast e replicação semi-passiva, se baseiam no algoritmo de consenso proposto por Chandra e Toueg. Esse algoritmo é equipado com um detector de falhas não conﬁável. Em sistemas distribuídos assíncronos, esse tipo de detector pode cometer erros ao suspeitar erroneamente de um processo que ainda está em execução. A presença de suspeitas incorretas degrada signiﬁcativamente o desempenho do algoritmo e o desempenho de qualquer protocolo que o utiliza. Para minimizar essa degradação, nós propomos duas novas otimizações e uma adaptação da técnica Look-Ahead ao algoritmo. A primeira otimização, denominada Early-Decision, permite antecipar uma decisão para o problema de consenso. A segunda otimização, denominada Additional-Waiting, permite estender o tempo de espera por mensagens quando for útil. A técnica Look-Ahead ajuda a acelerar a execução do consenso quando existem processos em diferentes rodadas. Nós apresentamos a descrição do algoritmo que combina essas otimizações, e provamos a sua corretude. Nós realizamos uma série de simulações para avaliar os efeitos das otimizações sobre o desempenho do algoritmo de Chandra e Toueg. Além disso, nós comparamos o desempenho de alguns algoritmos de consenso e selecionamos o melhor, o algoritmo de Paxos,para ser comparado com o algoritmo de Chandra e Toueg otimizado. Os resultados das simulações mostram que todas as otimizações são eﬁcazes, principalmente, quando são combinadas. Na maioria das situações consideradas, o desempenho do algoritmo de Chandra e Toueg otimizado é melhor que o do algoritmo de Paxos.
Download	Dissertacao_mestrado_Lucas_Menezes_Fermino.pdf

Implementações de Algoritmos FPT para o problema do 3-Hitting Set utilizando Clusters e Grades Computacionais

Curso	Mestrado em Ciência da Computação
Tipo	Dissertação
Data	20/01/2011
Área	CIÊNCIA DA COMPUTAÇÃO
Orientador(es)	Henrique Mongelli
Coorientador(es)
Orientando(s)	Rodrigo Cesar Sakamoto
Banca	Edson Norberto Caceres Henrique Mongelli Siang Wun Song
Resumo	Muitos problemas práticos são NP-Completos e envolvem um grande volume de dados.A busca por soluções exatas, aproximadas ou ótimas para muitos desses problemas resultaram em diversas técnicas engenhosas, visando, principalmente, a complexidade do problema em termos do tamanho da instância do problema. Uma abordagem alternativa para tentar lidar com a intratabilidade computacional de alguns problemas NP-Completos e a Complexidade Parametrizada. Os algoritmos tratáveis por parâmetro fixo, ou mais conhecidos como algoritmos FPT(Fixed Parameter Tractability), exploram a estrutura da instância do problema limitando a aparentemente inevitável explosão combinatorial na solução do problema (a um parâmetro). Neste trabalho será mostrado como combinar o paralelismo e algoritmos FPT, permitindo a utilização de instâncias ainda maiores na solução de problemas FPT. Mais precisamente, seria apresentado um algoritmo FPT paralelo no modelo BSP/CGM para o problema do 3-Hitting Set, uma adaptação do algoritmo FPT paralelo de Cheetham et al., sendo substituído suas fases, pelo algoritmo de Niedermeier e Rossmanith, e uma implementação de tal algoritmo. Serão apresentados também dois algoritmos FPT: o algoritmo de Fernau e o algoritmo de Abu-Khzam. Estes algoritmos foram estudados e implementados, porém, seus resultados preliminares não se mostraram satisfatórios devido, principalmente, às estruturas de dados, sendo tais algoritmos descartados neste trabalho.
Download	2011 Dissertação - Rodrigo Cesar Sakamoto.pdf

Página 8 de 12 (20 de 221 registros).

Mestrado em Ciência da Computação - CAMPO GRANDE

Trabalhos

Buscar Trabalhos de Pós-graduação

Formulário de Busca

Trabalhos Disponíveis