Buscar Trabalhos

Trabalhos Disponíveis

TRABALHO Ações
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 confiá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 significativamente 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 eficazes, 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
    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
      Algoritmo BSP/CGM para o Problema do Fluxo Máximo em Redes
      Curso Mestrado em Ciência da Computação
      Tipo Dissertação
      Data 17/12/2010
      Área CIÊNCIA DA COMPUTAÇÃO
      Orientador(es)
      • Marco Aurelio Stefanes
      Coorientador(es)
        Orientando(s)
        • Roberto Aragy Xavier Júnior
        Banca
        • Alfredo Goldman vel Lejbman
        • Edna Ayako Hoshino
        • Marco Aurelio Stefanes
        Resumo Neste trabalho estudamos o Problema do Fluxo Máximo sob a ótica do paradigma do paralelismo. O objetivo geral desta dissertação é discutir os métodos sequenciais e paralelos para o Problema do Fluxo Máximo em Redes. Uma das contribuições deste trabalho é produzir um texto em português que trate dos principais algoritmos para o problema.
        Outra contribuição relevante é que propomos um novo algoritmo paralelo BSP/CGM que gasta O(p) rodadas de comunicação para duas classes especiais de grafos. Nos resultados dos testes realizados em uma máquina paralela tipo Beowulf de 12 nós, observamos speed-ups superlineares de 1,85 até 107 com uso de classes de grafos especiais.
        Download
        Termus-Uma Plataforma para Aferição Remota de Temperatura de Bovinos da Raça Brangus
        Curso Mestrado em Ciência da Computação
        Tipo Dissertação
        Data 16/12/2010
        Área CIÊNCIA DA COMPUTAÇÃO
        Orientador(es)
        • Edson Norberto Caceres
        Coorientador(es)
          Orientando(s)
          • Quintino Izidio dos Santos Neto
          Banca
          • Edson Norberto Caceres
          • Henrique Mongelli
          • Marcelo Augusto Santos Turine
          • Pedro Paulo Pires
          Resumo A pecuária de precisão é uma ferramenta cada vez mais utilizada para auxiliar no correto tratamento dos produtos, na busca de alimentos cada vez mais saudáveis, no controle adequado do negócio, visando ao crescimento da produtividade e no atendimento das demandas para conquista de novos mercados, tanto interno como externo. A pecuária de precisão introduz novas tecnologias de informação e comunicação no controle e automação da produção de carne. Em função disso, dispositivos eletrônicos tais como transponders RFID, balanças eletrônicas, GPS, leitores de códigos de barras, sensores de biometria,entre outros, são cada vez mais utilizados. Isso possibilita uma forma mais segura e eficiente para identificação dos animais, pois elimina erros na transcrição manual de dados e a necessidade de contenção do animal. Com as informações de todas as ocorrências relevantes, tais como vacinas, regime alimentar, variação de peso, indícios de febre, etc,ao longo da vida do animal, podemos rastrear a origem de problemas ao longo de toda cadeia de produção. As aferições de temperatura em bovinos são feitas tradicionalmente por termômetro introduzido no reto do animal. Conforme estudos realizados na Embrapa Gado de Corte, a prega umbilical é o local ideal para implantação do transponder. Por isso,deve-se converter a temperatura medida pelo transponder implantado na prega umbilical em temperatura retal. Neste trabalho, estudamos a utilização de um novo dispositivo idealizado pela Embrapa Gado de Corte e propomos uma ferramenta para aferição remota da temperatura de bovinos da raça Brangus. Essa ferramenta possibilitará o monitoramento de variações da temperatura do rebanho, de forma segura, rápida e precisa. A ferramenta está integrada ao portal e-SAPI bovis e é mais um avanço no estudo da utilização de dispositivos eletrônicos na pecuária de precisão.
          Download
          Identificação de Genes por Comparação de DNAs
          Curso Mestrado em Ciência da Computação
          Tipo Dissertação
          Data 15/12/2010
          Área CIÊNCIA DA COMPUTAÇÃO
          Orientador(es)
          • Said Sadique Adi
          Coorientador(es)
            Orientando(s)
            • Ronaldo Fiorilo dos Santos
            Banca
            • Carlos Eduardo Ferreira
            • Fabio Henrique Viduani Martinez
            • Said Sadique Adi
            Resumo O Problema da Identificação de Genes consiste na busca pelas regiões codificantes presentes em uma sequência de DNA. Uma das formas de abordar esse problema é através da comparação entre sequências de DNA próximas evolutivamente. Neste trabalho realizamos um estudo detalhado do problema neste contexto comparativo, propondo uma formulação matemática para ele. Com base nessa formulação, desenvolvemos um algoritmo baseado em programação dinâmica que foi implementado em uma nova ferra-
            menta de identificação de genes. Ainda como parte deste trabalho, confrontamos o desempenho dessa ferramenta com o de outras ferramentas de predição, também baseadas no método de comparação de sequências. Nessa avaliação experimental, constatamos que a ferramenta desenvolvida por nós superou as outras em praticamente todos os níveis de avaliação.
            Download
            Identificação de Genes e o Problema do Alinhamento Spliced Múltiplo
            Curso Mestrado em Ciência da Computação
            Tipo Dissertação
            Data 14/12/2010
            Área CIÊNCIA DA COMPUTAÇÃO
            Orientador(es)
            • Said Sadique Adi
            Coorientador(es)
              Orientando(s)
              • Rodrigo Mitsuo Kishi
              Banca
              • Luciana Montera Cheung
              • Maria Emilia Machado Telles Walter
              • Nalvo Franco de Almeida Junior
              • Said Sadique Adi
              Resumo A identificacão de genes em sequências de DNA de organismos eucariotos ainda pode ser considerado um problema em aberto na Bioinformática. Na busca por soluções deste problema, em muitos casos recorre-se à comparação de sequências. Várias combinações de sequências vêm sendo utilizadas pelas ferramentas de identificação de genes e neste trabalho propomos a comparação de diversas sequências de DNA com uma sequência de DNA. Essa proposta foi abordada através da formulação e estudo de um problema de otimização combinatória denominado Problema do Alinhamento Spliced Múltiplo.
              Nessa dissertação descrevemos esse problema, demonstramos que ele é NP-completo para a distância de Levenshtein e propomos quatro heurísticas para resolvê-lo. Com base nessas heurísticas,
              desenvolvemos quatro ferramentas de identificação de genes por comparação de uma sequência de DNA com várias sequências de cDNA. Essas ferramentas foram avaliadas em instâncias de teste que construímos a partir de dados reais do genoma humano e os seus resultados mostraram-se melhores que os de outras ferramentas de identificação de genes disponíveis na literatura.

              Download
              Tolerância a Falhas em Serviços Web
              Curso Mestrado em Ciência da Computação
              Tipo Dissertação
              Data 13/12/2010
              Área CIÊNCIA DA COMPUTAÇÃO
              Orientador(es)
              • Irineu Sotoma
              Coorientador(es)
                Orientando(s)
                • José Ricardo da Silva
                Banca
                • Edmundo Roberto Mauro Madeira
                • Irineu Sotoma
                • Ronaldo Alves Ferreira
                Resumo Apesar do grande número de trabalhos sobre tolerância a falhas baseados em técnicas de replicação de serviços web, até onde vai o nosso conhecimento, nenhum deles realiza a recuperação de falhas de maneira transparente ao cliente sem utilizar proxies. Além disso,a maioria das soluções é restrita a apenas uma plataforma de desenvolvimento.
                Primeiramente, este trabalho trata o problema da recuperação de falhas de maneira transparente ao cliente através de uma extensão ao padrão WS-Addressing de serviçoes web, que permite a especificação de réplicas de um serviço e de onde a forma como as interações entre os endpoints devem ocorrer.
                Em seguida, é feita a proposta de um novo middleware de tolerância a falhas em serviços web independente de plataforma de desenvolvimento, chamado SimpleRep. Adicionalmente, detalhes de implementação e avaliações dos protótipos construídos durante o trabalho também são fornecidas.
                Download
                Métricas De Usabilidade Para Processos De Desenvolvimento De Software.
                Curso Mestrado em Ciência da Computação
                Tipo Dissertação
                Data 05/11/2010
                Área CIÊNCIA DA COMPUTAÇÃO
                Orientador(es)
                • Debora Maria Barroso Paiva
                Coorientador(es)
                  Orientando(s)
                  • Neiva Pereira Coelho
                  Banca
                  • Carlos Alberto Marques Pietrobon
                  • Debora Maria Barroso Paiva
                  • Marcelo Augusto Santos Turine
                  • Maria Istela Cagnin Machado
                  Resumo Embora Haja Vários Processos De Desenvolvimento De Software Reconhecidos Internacionalmente E Amplamente Utilizados Percebe-se A Recorrente Necessidade Adequá-los: Ao Ambiente Da Empresa/instituição Onde Será Implantado, às Características Do Negócio E à Complexidade Do Projeto Que Será Desenvolvido. Tais Adaptações Dão Origem A Processos De Software Distintos Dos Originais Em Termos De Tamanho E às Vezes De Diretrizes, Atividades E Artefatos. Surge, Neste Contexto, A Preocupação Em Assegurar Que Estes Novos Processos Sejam Compreendidos Por Seus Usuários E Que Sejam Fáceis De Utilizar. Este Trabalho Pretende Auxiliar Nesta Análise Ao Sugerir Uma Forma De Avaliar A Usabilidade De Um Processo De Desenvolvimento De Software Por Meio De Métricas. Esta Avaliação Pode Auxiliar Também Interessados Em Melhoria Contínua Visando Obter Alta Maturidade Em Seus Processos De Desenvolvimento. São Abordados Também A Importância Dos Processos De Software E Alguns Métodos Para Avaliá-los, A Documentação E Validação Das Métricas Proposta, Alguns Critérios De Seleção Para Aplicação E A Descrição De Dois Métodos Que Podem Ser Aplicados Em Conjunto Com Elas.o Método De Avaliação De Usabilidade De Processos, Ausp (asessment Usability Of Software Process) E Os Modelos De Artefatos Gerados Durante A Execução Do Método São Descritos. Também Será Abordada A Aplicação Do Método Por Meio De Um Estudo De Caso E Os Trabalhos Que Poderão Dar Continuidade A Este.
                  Download
                  Traçado de Raios de Cenas Dinâmicas em Cuda
                  Curso Mestrado em Ciência da Computação
                  Tipo Dissertação
                  Data 19/10/2010
                  Área CIÊNCIA DA COMPUTAÇÃO
                  Orientador(es)
                  • Paulo Aristarco Pagliosa
                  Coorientador(es)
                    Orientando(s)
                    • Marco Aurélio Martins
                    Banca
                    • Esteban Walter Gonzalez Clua
                    • Marco Aurelio Stefanes
                    • Paulo Aristarco Pagliosa
                    Resumo O objetivo geral deste trabalho é o estudo das técnicas de traçado de raios para renderização de cenas dinâmicas, estudo de estruturas de dados para acelaração e desenvolvimento de soluções de traçado de raios para CUDA. Traçado de raios é uma técnica capaz de renderizar imagens através da simulação dos efeitos da luz sobre uma cena, portanto, como consequência, é capaz de reproduzir efeitos de sombreamento, reflexão e transparência de forma natural. Cenas dinâmicas são cenas onde os atores podem sofrer transformações ao longo do tempo, seja através de deformação ou mudança de posição. CUDA é uma arquitetura de hardware e software para desenvolvimento de aplicações para GPU. A estrutura de dados implementada neste trabalho é uma BVH, que é uma estrutura hierárquica de volumes envolventes, que visa produzir aceleração para o processo de intersecção dos raios com os atores da cena. Como resultado final deste trabalho apresentamos três algoritmos de traçado de raios para GPU e um algoritmo de geração da BVH em GPU. O sistema é composto por um interpretador de uma gramática que descreve a cena, o traçador de raios, responsável pela geração da imagem, e uma interface para apresentação da imagem produzida.
                    Download
                    Busca Exaustiva Em Redes P2p.
                    Curso Mestrado em Ciência da Computação
                    Tipo Dissertação
                    Data 16/09/2010
                    Área CIÊNCIA DA COMPUTAÇÃO
                    Orientador(es)
                    • Ronaldo Alves Ferreira
                    Coorientador(es)
                      Orientando(s)
                      • Péricles Christian Moraes Lopes
                      Banca
                      • Edmundo Roberto Mauro Madeira
                      • Irineu Sotoma
                      • Ronaldo Alves Ferreira
                      Resumo Apesar De Inúmeros Esforços Nos últimos Anos, Buscas Complexas Eficientes Em Redes P2p De Grande Escala Permanecem Um Problema Em Aberto E Desafiador.replicações Massivas De Dados E De Mensagens De Buscas São Duas Estratégiascomuns Utilizadas Para Melhorar Taxas De Sucesso E Tempos De Resposta Das Diversas Técnicas Propostas. Entretanto, Estratégias De Replicação Pró-ativas Podem Gerar Uma Quantidade Significativa De Tráfego Na Rede Se Não Forem Tratadas Com Cuidado. Este Trabalho Propõe Splitquest, Um Protocolo De Busca Exaustiva E Controlada Que Utiliza Uma Estrutura Leve Para Evitar Replicações Desnecessárias E Acelerar A Propagação De Mensagens De Buscas Em Redes P2p. Em Splitquest, Os Pares Da Rede São Organizados Em Grupos De Replicação, Nos Quais Cada Par Compartilha Seu Conteúdo Com Todos Os Demais Membros E Mensagens De Buscas São Propagadas Uma única Vez Para Cada Grupo Existente Na Rede.
                      Ao Evitar Duplicações De Mensagens De Buscas, Direcionar As Mensagens Para Grupos Disjuntos E Explorar A Heterogeneidade Dos Pares, Splitquest é Capaz De Atingir Altas Taxas De Sucesso E Baixos Tempos De Resposta A Custo Bem Mais Baixo Em Termos Do Número De Mensagens Que A Melhor Solução Atualmente Conhecida. O Protocolo Splitquest Foi Avaliado Em Diferentes Cenários De Simulação. Esses Cenários Incluem Topologias Sintéticas E Traços De Representações De Redes Reais Com Os Mais Variados Tamanhos E Características De Dinamismo. Apresenta-se Também Neste Trabalho, Uma Análise Matemática Da Solução Proposta Para Se Estabelecer Um Limite Superior No Número De Pares Que Uma Mensagem De Busca Pode Alcançar Na Rede.
                      Download
                        Ambiente De Integração De Ferramentas Web Na Plataforma Web-pide.
                        Curso Mestrado em Ciência da Computação
                        Tipo Dissertação
                        Data 13/08/2010
                        Área CIÊNCIA DA COMPUTAÇÃO
                        Orientador(es)
                        • Marcelo Augusto Santos Turine
                        Coorientador(es)
                          Orientando(s)
                          • Jackson Dias Savitraz
                          Banca
                          • Debora Maria Barroso Paiva
                          • Marcelo Augusto Santos Turine
                          • Maria Da Graça Brasil Rocha
                          Resumo O Ministério Da Educação (mec) Disponibiliza Uma Série De Bases De Dados E Informações Das Diversas Modalidades De Avaliações Educacionais, Através Do Instituto De Estudos E Pesquisas Em Educação Anísio Teixeira (inep). A Produção De Dados E Informações Estatístico- Educacionais De Forma ágil E Que Retrate A Realidade Do Setor Educacional é Um Dos Instrumentos Básicos De Avaliação, Planejamento E Auxílio Ao Processo Decisório Para O Estabelecimento De Políticas De Melhoria Da Educação Brasileira. Assim, Surge Uma Oportunidade De Explorar Métodos E Técnicas A Fim De Propor Um Ambiente Integrador E Facilitador Para O Acesso Dos Indicadores Das Avaliações Educacionais Na Internet. O Principal Problema A Ser Investigado Será Definir Uma Camada De Integração Entre As Diversas Aplicações Web (webapps) E Disponibilizar De Forma Efetiva A Visualização Dos Dados Obtidos, Onde Sua Representação Visual Auxilie Na Tomada De Decisões E Seja Alcançada Intuitivamente Através De Uma Interface Com O Usuário. A Especificação E A Implementação De Uma Arquitetura Para Plataforma Intitulada Web-pide (plataforma Aberta Para Integração E Avaliação De Dados Educacionais Na Web) Com Requisitos De Interoperabilidade Que Propicie Um Ambiente Integrado De Visualização E Consulta A Dados De Avaliações Educacionais é A Principalmotivação Deste Trabalho, Pois Os Dados Deste Domínio Possuem Particularidades Próprias, Exigindo Assim Um Novo Enfoque Ao Problema. O Objetivo Principal Deste Trabalho é Abordar O Problema Da Integração Entre As Webapps Da Plataforma Web-pide, De Forma Que Se Mantenha As Interfaces De Visualização De Dados Em Avaliações Educacionais Em Um único Repositório De Conhecimento (ambiente Integrador). Para Validar E Testar A Abordagem Serão Selecionadas Três Ferramentas De Diferentes Contextos: Ferramentas De Visualização De Dados, Datawarehouse E Consultas Avançadas. Toda A Plataforma Será Baseada Em Tecnologias De Webservice E Software Livre.
                          Download
                          Um Processo Para O Desenvolvimento De Aplicações Web Acessíveis.
                          Curso Mestrado em Ciência da Computação
                          Tipo Dissertação
                          Data 29/04/2010
                          Área CIÊNCIA DA COMPUTAÇÃO
                          Orientador(es)
                          • Debora Maria Barroso Paiva
                          Coorientador(es)
                            Orientando(s)
                            • Lucinéia Souza Maia
                            Banca
                            • Debora Maria Barroso Paiva
                            • Marcelo Augusto Santos Turine
                            • Simone Bacellar Leal Ferreira
                            Resumo A Internet é Um Importante Meio De Transmissão De Informação, De Interação Entre Pessoas, Realização De Negócios, Educação E Serviços Governamentais. Porém, Problemas De Acessibilidade No Conteúdo Web Têm Contribuído Para A Exclusão De Usuários, Principalmente Aqueles Com Algum Tipo De Deficiência. Tal Processo De Exclusão Culmina Na Problematização Sobre Acessibilidade Web, Motivando Pesquisas Por Métodos, Técnicas E Ferramentas Específicas Para Oferecer Ao Desenvolvedor Mecanismos Que Favoreçam O Desenvolvimento De Aplicações Web Acessíveis. Neste Contexto, Este Trabalho Propõe Um Modelo De Tarefas De
                            Acessibilidade (mta) Inseridas Nos Subprocessos Do Processo De Desenvolvimento Da Norma Iso/iec 12207 (padrão Para Tecnologia Da Informação. Processos Do Ciclo De Vida Do Software) Para Auxiliar A Análise, Projeto, Implementação E Avaliação De Softwares Acessíveis. De Forma A Oferecer Uma Ferramenta Automatizada Para Auxiliar O Desenvolvimento De Aplicações Web Acessíveis, A Ferramenta De Autoria Pantaneiro Foi Adaptada Considerando Um Conjunto De Tarefas Do Mta E Diretrizes Do Wcag (web Content Accessibility Guidelines) 2.0 Nível A. Um Estudo De Caso Foi Realizado Com Grupos De Desenvolvedores Utilizando O Mta E O Pantaneiro Acessível Com O Objetivo De Testar, Avaliar E Validar Estes E Investigar O Quanto Eles Estão Integrados Na Promoção Da Acessibilidade E; Verificar Se As Seguintes Estratégias: Treinamento Em Acessibilidade Web, Utilização Do Mta Como
                            Um Modelo Para Guiar A Acessibilidade No Processo De Desenvolvimento E, Utilização Do Pantaneiro Como Uma Ferramenta De Autoria Que Oferece Suporte Ao Desenvolvimento De Aplicações Web Acessíveis, São Eficientes Na Promoção Da Acessibilidade Web.
                            Download
                            Algoritmos Bsp/cgm Para Programação Dinâmica.
                            Curso Mestrado em Ciência da Computação
                            Tipo Dissertação
                            Data 12/04/2010
                            Área CIÊNCIA DA COMPUTAÇÃO
                            Orientador(es)
                            • Edson Norberto Caceres
                            Coorientador(es)
                              Orientando(s)
                              • Leonardo Vinícius Rolan Loureiro
                              Banca
                              • Edson Norberto Caceres
                              • Henrique Mongelli
                              • Siang Wun Song
                              Resumo A Medida Que A Computacão Paralela Vem Deixando De Ser Um Tópico A Parte E Isolado No Mundo Da Computacão Para Ser Um Tópico Essencial E Presente Em Todas As Máquinas Recentes, O Estudo Dos Modelos E Algoritmos Paralelos Passa A Ser Uma Obrigacão Para Os Futuros Cientistas Da Computação. Neste Trabalho Abordaremos Os Principais Modelos De Computação Paralela, Desde Os Modelos Teóricos (pram) Até Os Modelos Reais (bsp, Cgm, Logp) Mostrando Suas Principais Características, Seus Pontos De Acerto E Suas Falhas Ao Modelar As Arquiteturas Paralelas Reais. Dois Problemas De Grande Importância Em Programação Dinâmica Foram Estudados: O Problema Do Alinhamento Local E O Problema Do Produto Da Cadeia De Matrizes. Para Cada Um Dos Problemas Apresentados, Estudamos E Desenvolvemos Algoritmos Paralelos Bsp/cgm Usando O Paradigma De Frente De Onda,
                              Os Algoritmos Foram Implementados Num Cluster Usando A Biblioteca Lam-mpi E Numa Grid Usando O Middleware Integrade. Os Tempos Obtidos Foram Os Esperados De Acordo Com A Análise De Complexidade Do Modelo Bsp/cgm E Os Resultados Mostram Que O Overhead Da Computação Em Grid é Satisfatório Considerando As Facilidades Da Mesma.
                              Download
                              Aplicação De Modelos De Marvok Ocultos Na Obtenção De Taxas De Mortalidade Das Larvas Do Mosquito Da Dengue.
                              Curso Mestrado em Ciência da Computação
                              Tipo Dissertação
                              Data 26/02/2010
                              Área CIÊNCIA DA COMPUTAÇÃO
                              Orientador(es)
                              • Hemerson Pistori
                              Coorientador(es)
                                Orientando(s)
                                • Kleber Padovani de Souza
                                Banca
                                • Hemerson Pistori
                                • Maria Bernadete Zanusso
                                • Valguima Victoria Viana Aguiar Odakura
                                Resumo Com O Intuito De Combater A Proliferação Do Mosquito Transmissor Do Vírus Da Dengue E,consequentemente, Diminuir Os Casos De Infeccão Humana Pelo Vírus, Diversos Larvicidas Vêm Sendo Estudados Recentemente Por Profissionais Das áreas Da Saude E Afins. Nos úlltimos Anos,pesquisadores Da Universidade Católica Dom Bosco Avaliam A Eficácia De Substâncias Extraídas De Plantas Com Potencial Larvicida No Combate às Larvas Desse Inseto. Dentre Os Critérios Utilizados Na Avaliacão De Uma Substância, Encontra-se A Taxa De Mortalidade Das Larvas. Essa Taxa Pode Ser Obtida Por Meio De Observação Visual Perióà Dica Das Larvas Sujeitas A Substância.no Entanto, Características Humanas, Como Suscetibilidade à Exaustão E Subjetividade, Podem Comprometer A Precisão Dessa Taxa, O Que Influência Na Avaliacão Final Do Larvicida Em Questão. Por Conta Desse E De Outros Fatores, Torna-se Interessante A Construção De Sistemas Computacionais Para Observação Automática Das Larvas. Por Se Tratar De Uma Tarefa Realizada Com Base Em Aspectos Visuais, A Aplicação De Técnicas De Visão Computacional (vc) Associadas A Outras
                                Técnicas Possivelmente é Adequada Ao Desenvolvimento De Tais Sistemas. Nesse Contexto, O Grupo De Pesquisadores Em Vc Da Universidade Citada Criou Um Projeto De Pesquisa, Denominado Larvic, Que Visa Automatizar A Obtenção Dessas Taxas Com Auxílio Da Vc. Com O Intuito De Contribuir Com O Sistema Em Desenvolvimento Nesse Projeto, Este Trabalho Investiga A Aplicação
                                De Modelos De Markov Ocultos Como Mecanismo De Classificação De Comportamentos De Larvas. Como Resultado, Por Meio Da Identificação Da Falência De Larvas, Pode-se Obter, Dentre Outras Informações, A Taxa De Mortalidade Em Cada Experimento. Para Isso, Sequências De Imagens De Larvas Vivas E Mortas Contidas Em Recipientes Apropriados Foram Capturadas Em Laboratório E
                                Processadas Por Algoritmos De Vc E áreas Relacionadas Para Aquisição De Informacões Que Viabilizaram A Análise Da Aplicação Proposta. A Investigação Se Fundamenta Em Três Perspectivas, A Saber: 1) As Probabilidades Iniciais Dos Modelos, Utilizadas Como Base Para O Reajuste De Probabilidades, 2) O Critério De Parada Para A Etapa De Reajuste E 3) O Modo De Utilização Dos Modelos
                                Para Classificação Dos Comportamentos. Foram Consideradas Probabilidades Iniciais Parcialmente Aleatórias E Pré-computadas Manual E Automaticamente. Para Avaliação Do Critério De Parada Padrão Utilizado Nos Experimentos, Foram Examinados Outros Critérios Mais Robustos. Como Alternativa Ao Modo De Classificação Tradicionalmente Utilizado, Os Modelos Foram Combinados
                                Com Técnicas De Aprendizagem De Máquina, Com O Intuito De Ampliar O Desempenho Dos Classificadores. Para Analisar Cada Perspectiva, Foram Executados Diferentes Experimentos Através Do Uso De Algoritmos Provenientes De Bibliotecas Específicas E Outras Implementações Aqui Desenvolvidas. Por Meio De Análise Baseada Em Taxas De Acerto E Gráficos Sobre O Desempenho, Foi
                                Possível Concluir Que O Desempenho Dos Classificadores Baseados Apenas Em Modelos De Markov Ocultos, Embora Inferior Ao De Outros Classificadores, Foi Considerável Para A Aplicacão Estudada.
                                Download
                                Algoritmos Paralelos Realísticos Para A Maior Subsequência Comum.
                                Curso Mestrado em Ciência da Computação
                                Tipo Dissertação
                                Data 31/08/2009
                                Área CIÊNCIA DA COMPUTAÇÃO
                                Orientador(es)
                                • Marco Aurelio Stefanes
                                Coorientador(es)
                                  Orientando(s)
                                  • Claudia Regina Tinós Peviani
                                  Banca
                                  • Fabio Henrique Viduani Martinez
                                  • Marco Aurelio Stefanes
                                  • Siang Wun Song
                                  Resumo Neste Trabalho Estudou-se O Problema Da Maior Subsequência Comum (longest Common Subsequence - Lcs) Que Deseja Encontrar Uma Subsequência Comum De Comprimento Máximo De Duas Sequências. O Problema Lcs Pode Ser Resolvido Em
                                  Tempo Sequencial Quadrático Usando A Técnica De Programação Dinâmica. Este Trabalho Consiste Em Estudar Os Algoritmos Paralelos Baseados Nos Modelos Realísticos Para Resolver O Problema Lcs. Inicialmente Estudou-se Um Algoritmo Sequencial, Um
                                  Algoritmo Paralelo No Modelo Pram E Um No Modelo Realístico Que Encontra A Lcs De Todas As Subcadeias. Fez-se Uma Implementação Paralela Realística Com O(p) Rodadas De Comunicação Usando P Processadores. O Resultado Desta Implementação
                                  Não Obteve Speedup Satisfatório, O Que Motivou O Estudo Mais Teórico Da Paralelização Do Problema. Neste Sentido, A Partir Do Algoritmo Pram Descreveu-se Uma Solução Paralela Realística, Usando Estrutura De Dados Bem Conhecidas Como Soma Prexa
                                  Paralela E A Técnica De Pointer Jumping.
                                  Download
                                  Middleware Cerberus Usando Rfid Para Rastreabilidade Bovina.
                                  Curso Mestrado em Ciência da Computação
                                  Tipo Dissertação
                                  Data 11/07/2009
                                  Área CIÊNCIA DA COMPUTAÇÃO
                                  Orientador(es)
                                  • Edson Norberto Caceres
                                  Coorientador(es)
                                    Orientando(s)
                                    • Márcio Roberto Silva
                                    Banca
                                    • Edson Norberto Caceres
                                    • Henrique Mongelli
                                    • Marcelo Augusto Santos Turine
                                    • Pedro Paulo Pires
                                    Resumo Silva, M.r. Middleware Cerberus Usando Rfid Para Rastreabilidade Bovina. Campo Grande, 2009. Dissertação De Mestrado { Universidade Federal De Mato Grosso Do Sul.
                                    A Gerência Na Zootecnia De Precisão é Cada Vez Mais Necessária Para Garantia De Lucros E A Conquista De Novos Mercados Os Quais Exigem Qualidade E Certificação. Nesta Dissertação é Abordado Um Sistema De Rastreabilidade Para O Controle Na Bovinocultura Utilizando Chips Rfid. Sendo Que A Identificação Segura Dos Animais é A Base Para A Rastreabilidade Bovina E Bubalina.em Vista As Exigências Do Mercado Consumidor O Governo Brasileiro Instituiu O Sistema Brasileiro De Identificação E Certificação De Origem Bovina E Bubalina (sisbov) Que Permite A Utilização De Diferentes Métodos Para A Identificação Dupla Dos Animais, Entre Eles: Brinco E Botton , Brinco E Marca A Fogo, Brinco E Tatuagem E Brinco Com Dispositivos Eletrônicos. A Utilização De Dispositivos Eletrônicos é Sem Dúvida A Forma Mais Segura E Eficiente Para Identificação Dos Animais, No Entanto Ao Se Identificar Animais Com Dispositivos Eletrônicos, Os Custos Aumentam Significativamente. Diante Deste Cenário Justifica-se O Desenvolvimento De Ferramentas Computacionais Que Incentivem Os Produtores A Utilizarem A Identificação Eletrônica Em Seus Rebanhos, Como Uma Forma Segura E Efetiva De Rastreabilidade E Produtividade. é Fundamental Que Estas Ferramentas Possibilitem Aos Produtores, Além Da Rastreabilidade, A Obtenção De Informações Gerencias Para Uma Melhor Administração Do Rebanho. O Objetivo Deste Trabalho é Propor Uma Plataforma De Software Que Promova O Desenvolvimento De Novas Aplicações Na área Do Agronegócio, Esta Plataforma Devería Abstrair A Conexão Com Os Dispositivos Utilizados No Agronegócio, Principalmente As Conexões Com Estrutura De Rádio Frequência (rfid), Além De Gerenciar E Formatar Os Dados Coletados Por Estes Dispositivos. Com A Utilização Desta Plataforma De Software Poderão Ser Desenvolvidas Novos Aplicativos Para A Administração De Rebanhos, Independentes Da Parte Física Representada Pelos Dispositivos.
                                    Download
                                    Redução De Atributos Utilizando Análise Discriminante Com Aplicações Na Detecção De Defeitos Em Couro Bovino.
                                    Curso Mestrado em Ciência da Computação
                                    Tipo Dissertação
                                    Data 06/07/2009
                                    Área CIÊNCIA DA COMPUTAÇÃO
                                    Orientador(es)
                                    • Hemerson Pistori
                                    Coorientador(es)
                                      Orientando(s)
                                      • Willian Paraguassu Amorim
                                      Banca
                                      • Cláudio Rosito Jung
                                      • Hemerson Pistori
                                      • Maria Bernadete Zanusso
                                      Resumo
                                      Download
                                      Pantaneiro: Framework De Aplicações Web Para Plataformas E-gov.
                                      Curso Mestrado em Ciência da Computação
                                      Tipo Dissertação
                                      Data 30/06/2009
                                      Área CIÊNCIA DA COMPUTAÇÃO
                                      Orientador(es)
                                      • Marcelo Augusto Santos Turine
                                      Coorientador(es)
                                        Orientando(s)
                                        • Hercules da Costa Sandim
                                        Banca
                                        • Debora Maria Barroso Paiva
                                        • Marcelo Augusto Santos Turine
                                        • Rosângela Aparecida Dellosso Penteado
                                        Resumo O Governo, Em Suas Diferentes Esferas (municipal, Estadual E Federal), Tem O Desafio De Utilizar A Tecnologia De Informação E Comunicação Para Compartilhar Informações, Dar Maior Transparência Na Gestão Pública E Melhorar A Qualidade De Prestação De Serviços Ao Cidadão. Com O Avanço Da Tecnologia, O Governo Eletrônico (e-gov) é Uma Das Principais Estratégias Para Tornar Disponível Serviços Online Ao Cidadão, Criar E Fortalecer Uma área De Interação E Participação Entre Governo E Sociedade. Neste Contexto, O Presente Trabalho Tem Como Objetivo Especificar E Implementar Um Framework Intitulado Pantaneiro Para Facilitar E Agilizar O Desenvolvimento De Portais Corporativos Em Uma Plataforma E-gov. O Framework é Baseado Em Técnicas De Reuso E Fornece Suporte Ao Método Orientado A Objetos Hmbs/m (hypermedia Model Based On Statecharts/method), Que Tem Como Principal Característica O Uso Do Formalismo Statecharts Para Modelar O Comportamento De Uma Aplicação Web (webapp). Para Instanciar Os Portais Por Meio Do Framework Pantaneiro, Foi Desenvolvido O Wizard-pantaneiro, Composto Pelos Ambientes De Autoria, De Projeto Navegacional E De Publicação Fornecendo Suporte às Quatro Fases Do Método Subjacente: Modelagem Conceitual, Modelagem Navegacional, Modelagem Da Interface E Publicação/teste. Durante O Processo De Modelagem Da Aplicação, O Framework Incentiva O Desenvolvimento Incremental E Iterativo, Sendo Que, Em Cada Fase, Modelos São Construídos Ou Enriquecidos. Para Simular O Comportamento Navegacional Dos Portais, O Wizard-pantaneiro Possui Um Módulo Que Gera A Especificação Em Statecharts Da Aplicação Em Xml (padrão Scxml/w3c) Para Ser Visualizada No Simulador De Statecharts, Denominado Scxml Viewer-pantaneiro, Desenvolvido Neste Trabalho. Para Validar A Proposta Do Framework, é Apresentada A Experiência Da Equipe De Ti Da Superintendência De Gestão De Informação (sgi) Do Governo Do Estado De Mato Grosso Do Sul Que Está Usando A 1ª Versão Do Framework Pantaneiro E Já Instanciou 54 Portais De Secretarias E/ou órgãos Do Governo Do Estado De Mato Grosso Do Sul.
                                        Download
                                        Conversão Simbólica De Sinais Digitais Através Da Teoria De Extremos Relativos.
                                        Curso Mestrado em Ciência da Computação
                                        Tipo Dissertação
                                        Data 25/06/2009
                                        Área CIÊNCIA DA COMPUTAÇÃO
                                        Orientador(es)
                                        • Maria Bernadete Zanusso
                                        Coorientador(es)
                                          Orientando(s)
                                          • Daniel Joaquim de Sousa
                                          Banca
                                          • Hemerson Pistori
                                          • Maria Bernadete Zanusso
                                          • Said Sadique Adi
                                          Resumo O Objetivo Deste Trabalho é O Desenvolvimento De Uma Nova Técnica Para Conversão Simbólica De Sinais Digitais, Denominada Quantização Baseada Em Extremos Relativos (qber). Esta Técnica Pode Converter Sinais Digitais Unidimensionais Em Cadeias. A Técnica Qber, Formalizada Nesta Proposta, Utiliza-se Da Teoria De Extremos Relativos (ter) E De Funções De Similaridade Para Sinais, Como A Métrica Distância De Edição Com Penalidade Real (edit Distance With Real Penalty) (erp). Além Disso, Utiliza O Algorítmo De Clusterização Pam-slim, Que Emprega A Abordagem K-medianas, Amplamente Discutida Na Literatura. A Ter é Também Uma Contribuição Deste Trabalho, Extendendo A Teoria Dos Extremos Importantes (tei) Com O Acréscimo Dos Conceitos Prevalência, Monte, Representação Baseada Em Extremos Relativos (rber) E Rberq. Para Se Avaliar A Utilidade Da Qber Desenvolveu-se Um Sistema De Classificação De Padrões De Referência, Baseado No Classificador K-vizinhos (k-nearest Neighbor) (knn). Esta Implementação De Referência Possui As Fases De Pré-processamento E Reconhecimento. Na Fase De Pré-processamento, Utiliza-se A Qber Para Converter Os Objetos De Treinamento Do Knn Em Representações Simbólicas. Como O Classificador Knn Utiliza O Aprendizado Baseado Em Instâncias (instance-based Learning) A Fase De Treinamento é Inexistente , Sendo Toda Classificação Baseada Nos Objetos De Treinamento. Na Fase De Pré-processamento Um Objeto A Ser Avaliado Também é Convertido Para A Representação Simbólica Utilizada, Antes De Ser Utilizado Como Entrada Para O Classificador Knn, Na Fase De Reconhecimento. Com Vistas A Avaliar A Utilidade Da Técnica Desenvolvida São Feitas Comparações De Seu Emprego Em Um Problema De Classificação, A Geração De Recomendações De Compra De Ações. O Classificador Knn Implementado é Então Avaliado Com E Sem O Emprego Da Qber, Observando-se Utilidade No Emprego Da Técnica Desenvolvida, Pela Performance Superior No Tempo De Preparação Do Classificador E Na Rentabilidade Anual Obtida.
                                          Download
                                          Implementações Alternativas Fpt Bsp/cgm Para O Problema K-cobertura Por Vértices.
                                          Curso Mestrado em Ciência da Computação
                                          Tipo Dissertação
                                          Data 22/06/2009
                                          Área CIÊNCIA DA COMPUTAÇÃO
                                          Orientador(es)
                                          • Henrique Mongelli
                                          Coorientador(es)
                                            Orientando(s)
                                            • Deiviston da Silva Aguena
                                            Banca
                                            • Edson Norberto Caceres
                                            • Henrique Mongelli
                                            • Siang Wun Song
                                            Resumo Muitas Das Aplicações Do Mundo Real Requerem Soluções Para Problemas Np-completos. A Inexistência De Algoritmos Polinomiais Conhecidos Para Resolvê-los Resulta Na Grande Variedade De Propostas De Soluções. Estas Soluções Utilizam Principalmente Heurísticas E Algoritmos De Aproximação. Uma Abordagem Alternativa é A Utilização De Algoritmos Fpt (fixed Parameter Tractability). Enquanto As Técnicas Baseadas Em Heurísticas E Em Algoritmos De Aproximação Relaxam A Busca Por Soluções ótimas Ou Exatas, Mas Usualmente Insistem Em Algoritmos De Tempo Polinomial, As Técnicas Que Utilizam Algoritmos Fpt Sempre Encontram Resultados Exatos, Mas Podem Apresentar Soluções Eficientes Na Teoria, Embora Inviáveis Na Prática. Para Controlar O Tempo De Processamento, Os Algoritmos Fpt Possuem Um Parâmetro K Associado à Instânica Do Problema Que Resolvem. Neste Sentido, Pequenos Valores Configurados No Parâmetro K Produzem Soluções Polinomiais. Mas, Como Nem Sempre, Pequenos Valores No Parâmetro São Suficientes Para Suprir A Real Necessidade De Um Problema, Estratégias Como Utilizar O Paralelismo Tem Sido Pesquisadas Com Objetivo De Melhorar Tanto O Tempo De Resposta Quanto Ao Tamanho Da Instânica Do Problema Que Pode Ser Resolvida. Neste Trabalho, Estaremos Interessados Na Pesquisa De Algoritmosfpt E Na Implementação Eficiente Destes Algoritmos Utilizando O Poder Do Paralelismo No Modelo Bsp/cgm Para Diferentes Abordagens Do Problema Np-completo K-cobertura Por Vértices (k-vertex Cover).
                                            Download
                                            Página 12 de 15 (20 de 283 registros).