Mestrado em Ciência da Computação

Atenção! O edital referente ao processo seletivo e arquivos pertinentes ao curso estão disponíveis no site do curso.
Os resultados dos processos seletivos serão divulgados no site do curso.

Trabalhos

Trabalhos Disponíveis

TRABALHO Ações
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
                                Implementação e Análise de Algoritmos BSP/CGM em um Beowulf e no InteGrade
                                Curso Mestrado em Ciência da Computação
                                Tipo Dissertação
                                Data 22/06/2009
                                Área CIÊNCIA DA COMPUTAÇÃO
                                Orientador(es)
                                • Edson Norberto Caceres
                                Coorientador(es)
                                  Orientando(s)
                                  • Christiane Nishibe
                                  Banca
                                  • Edson Norberto Caceres
                                  • Henrique Mongelli
                                  • Siang Wun Song
                                  Resumo Com O Avanço Da Ciência E Da Tecnologia Nas Mais Diversas áreas Surgiram Problemas Que Necessitam Cada Vez Mais De Alto Poder Computacional. Inicialmente, Para Resolver Esses Problemas, Eram Utilizados Computadores Paralelos De Grande Porte E Elevado Custo. Em Seguida, No Entanto, Tornou-se Mais Eficiente E Barato Montar Clusters Com Pcs Que Trabalham Em Conjunto Para Oferecer Um Alto Poder De Processamento A Um Custo Menor Que O M´etodo Anterior. Recentemente, Porém, Vem Sendo Desenvolvido A Ideia De Interligar Clusters Dispersos Geograficamente, Formando Uma única Grade Computacional E Uma Dessas Propostas é O Middleware Integrade. Visto Que A Utilização De Grades Computacionais Para Elevar O Poder De Processamento Disponível Para A Solução Dos Mais Diversos Problemas Vem Se Tornando Mais Comum, O Principal Objetivo Do Nosso Trabalho é Avaliar O Desempenho Do Integrade Em Relação Ao Cluster. Para Fazer Essa Avaliação, Estudamos Problemas Paralelos Com Diferentes Aspectos De Computação E De Comunicação E Os Implementamos Utilizando O Modelo Bsp/cgm (bulk Synchronous Parallel/coarse Grained Multicomputer). Entre Os Problemas Estudados Estão O Problema Da Mochila 0-1, O Problema Da ´arvore Geradora E Por Fim O Problema Do Fecho Transitivo. Todos Os Algoritmos Foram Implementados Utilizando O Padrão Mpi (message Passing Interface) E A Linguagem C.
                                  Download
                                  Motor De Física De Corpos Rígidos Em Gpu Com Arquitetura Cuda.
                                  Curso Mestrado em Ciência da Computação
                                  Tipo Dissertação
                                  Data 18/09/2008
                                  Área CIÊNCIA DA COMPUTAÇÃO
                                  Orientador(es)
                                  • Paulo Aristarco Pagliosa
                                  Coorientador(es)
                                    Orientando(s)
                                    • Márcio Artacho Peres
                                    Banca
                                    • Esteban Walter Gonzalez Clua
                                    • Henrique Mongelli
                                    • Paulo Aristarco Pagliosa
                                    Resumo O Objetivo Principal Deste Trabalho é O Desenvolvimento De Um Detector De Colisões E De Um Motor De Física Para Simulação Dinâmica De Corpos Rígidos Usando Unidades De Processamento Gráfico (gpus) Que Oferecem Suporte à Cuda (computer Unified Device Architecture). Ambos Os Componentes Integram Um Framework De Animação Dinâmica Chamado As, Desenvolvido Pelo Grupo De Visualização, Simulação E Games Do Dct/ufms. A Implementação De Um Detector De Colisões E De Um Motor De Física Em Cuda Para As Permiteque Este Execute Toda Ou Parte Da Física Em Gpu, Liberando A Cpu Para Outras Tarefas E Propiciando A Simulação De Cenas Com Um Número Maior De Atores Em Tempo Real. A Simulação De Uma Cena Em Um Instante De Tempo Começa Com A Determinação De Todos Os Pontos De Contato Que Ocorrem Entre Pares De Atores. A Detecção De Colisões é Dividida Em Uma Fase Geral E Uma Fase Exata. Na Primeira, O Espaço Da Cena é Dividido Em Uma Estrutura De Células De Mesmo Tamanho. Somente Os Atores Que Estão Dentro Ou Interceptam Uma Detrminada Célula Da Estrutura E Cujos Volumes Limitantes De Interceptam Podem Colidir. Dado Um Par De Atores Potencialmente Em Contato, A Fase Exata Verifica Se Estes De Fato Colidem Através De Cálculos De Intersecção Entre As Formas Que Definem A Geometria Dos Atores. A Seguir, O Motor De Física Computa As Forrças De Restrição Oriundas Dos Contatos E De Junções Entre Os Atores. Este é Um Problema De Complementaridade Linear (pcl) Resolvido Iterativamente Com O Algoritmo De Gauss-seidel Com Sobre-relaxação Sucessiva (sor). As Forças De Restrição, Somadas às Forças Externas Aplicadas, São Usadas Pelo Motor Para Determinação Da Velocidade E Posição Atualizadas De Cada Corpo Rígido Da Cena, O Que é Feito Pela Integração Numérica Das Equações De Movimento Através Do Método De Euler. Os Testes Efetuados Com A Implementação Paralela Em Cuda Do Detector De Colisão E Do Motor De Física De As Demonstraram Que A Gpu Pode Ser Empregada Efetivamente Na Simulação Dinâmica Em Tempo Real De Cenas Constituídas De Milhares De Corpos Rígidos Com Milhares De Restrições Com Desempenho Até Duas Vezes Mais Eficiente Que A Versão Para Cpu Dependendo Da Aplicação.
                                    Download
                                    Arquitetura Do Gerador De Aplicação Web Baseado No Framework Titan
                                    Curso Mestrado em Ciência da Computação
                                    Tipo Dissertação
                                    Data 18/09/2008
                                    Área CIÊNCIA DA COMPUTAÇÃO
                                    Orientador(es)
                                    • Marcelo Augusto Santos Turine
                                    Coorientador(es)
                                      Orientando(s)
                                      • Eberson Omar Weschter
                                      Banca
                                      • Auri Marcelo Rizzo Vincenzi
                                      • Hana Karina Salles Rubinsztejn
                                      • Marcelo Augusto Santos Turine
                                      Resumo O Crescente Aumento Do Nùmero De Aplicações Basedas Na Web (webapps) Motiva A Pesquisa E O Desenvolvimento De Ferramentas De Reuso De Artefatos De Software Já Produzidos A Fim De Auxiliar Na Geração Automática Das Aplicações.no Intuito De Padronizar E Simplificar Esta Atividade, A Utilização De Padrões De Software,componentes,frameworks E Linhas De Produtos De Software (lps) São Estratégias Para Tornar Mai ágil O Desenvolvimento De Aplicações,aumentando A Reusabilidade Dos Modelos E Do Código Produzido.uma Forma De Automatizar Parte Do Processo De Desenvolvimento De Software é Utilizar Geradores De Aplicações,possibilitando Gerar Wbapps A Aprtir De Geração Automática De Aplicações é O Escopo Do Presente Trabalho Que Objetiva Propor Um Modelo De Arquitetura Para Um Gerador Automático De Webapps Integrado à Ferramenta Fênix E Baseado No Framework Titan, Automatizando O Processo De Geração De Código De Webapps No Contexto De Uma Lps Orientada A Família De Produtos No Domínio De Sistemas Web De Apoio à Gestão De Fomento De Projetos (sagf).o Gerador De Aplicação é Composto Por Um Gerador De Código Baseado Em Regras, Metadados E Transformações Aplicadas No Framework Titan, Além De Arquivos De Configuração Da Interface De Aplicação Gerada. Por Fim, A Ferramenta Fênix Permitirá Gerar Código De Uma Aplicação A Fim De Gerenciar O Processo De Envio, Avaliação, Monitoramento E Finalização De Propostas Eletrônicas De Projeto A Serem Avaliadas Por Agências De Fomento.para Validar E Testar O Gerador De Aplicação, Será Gerado Código Em Php E Banco De Dadospostgresql Para Uma Aplicação De Gerenciamento De Projetos De Iniciação Científica Da Pró-reitoria De Pesquisa E Pós-graduação Da Ufms.
                                      Download
                                        um Motor 3d Para Simulação Dinâmica De Corpos Rígidos
                                        Curso Mestrado em Ciência da Computação
                                        Tipo Dissertação
                                        Data 18/09/2008
                                        Área CIÊNCIA DA COMPUTAÇÃO
                                        Orientador(es)
                                        • Paulo Aristarco Pagliosa
                                        Coorientador(es)
                                          Orientando(s)
                                          • Alexandre Soares da Silva
                                          Banca
                                          • Esteban Walter Gonzalez Clua
                                          • Marcelo Ferreira Siqueira
                                          • Paulo Aristarco Pagliosa
                                          Resumo O Objetivo Geral Deste Trabalho é O Desenvolvimento De Um Motor 3d Para Aplicações De Visualização E Simulação Dinâmica Interativa De Corpos Rígidos Em Tempo Real, Incluindo Jogos Digitais. O Motor 3d é Resultante De Modificações E Extensões De Um Sistema De Animação Dinâmica Chamado De As, Desenvolvido Pelo Grupo De Visualização , Simulação E Games (gvsg) Do Dct/ufms. As Principais Extensões Em As São Duas. A Primeira é A Implementação De Um Motor De Física Próprio Para Simulação De Corpos Rígidos, Em Substituição Ao Nvídia Physx Usado Na Versão Original. Com Isso, Os Resultados De Outras Pesquisas , Tais Como Simulação De Corpos Elásticos E Uso De Unidades De Processamento Gráfico Como Co-processador Do Motor De Física, Podem Ser Mais Facilmente Incorporados Ao Sistema. O Novo Motor De Física Oferece Suporte à Definição De Atores Com Múltiplas Formas, Vários Tipos De Junções E Contato Com Atrito. A Segunda é A Implementação De Um Laço Principal Para Tratamento De Eventos De Entrada, Atualização Da Cena Sendo Simulada E Renderização Dos Quadros Da Aplicação Em Tempo Real. A Atualização Consiste Na Execução De Ações Definidas Pelo Desenvolvedor Bem Como Na Simulação Pelo Motor De Física. A Criação De Atores E Junções E A Especificação De Ações E Das Sequências De Eventos De Uma Aplicação Do Motor 3d Podem Ser Especificadas Em Uma Linguagem Orientada A Objetos Própria De As, Chamada Al, Em Roteiros Que São Executados Concorrentemente Com O Laço Principal Do Motor.
                                          Download
                                          o Problema Da Orientação Pfaffiana De Grafos.
                                          Curso Mestrado em Ciência da Computação
                                          Tipo Dissertação
                                          Data 15/09/2008
                                          Área CIÊNCIA DA COMPUTAÇÃO
                                          Orientador(es)
                                          • Marcelo Henriques de Carvalho
                                          Coorientador(es)
                                            Orientando(s)
                                            • Fábio Andreatta Santos
                                            Banca
                                            • Fabio Henrique Viduani Martinez
                                            • Marcelo Henriques de Carvalho
                                            • Orlando Lee
                                            Resumo
                                            Download
                                              Análise de Nutrientes Utilizando Redes Metabólicas
                                              Curso Mestrado em Ciência da Computação
                                              Tipo Dissertação
                                              Data 12/09/2008
                                              Área CIÊNCIA DA COMPUTAÇÃO
                                              Orientador(es)
                                              • Fabio Henrique Viduani Martinez
                                              Coorientador(es)
                                                Orientando(s)
                                                • Paulo Vieira Milreu
                                                Banca
                                                • Fabio Henrique Viduani Martinez
                                                • Maria Emilia Machado Telles Walter
                                                • Said Sadique Adi
                                                Resumo Neste Trabalho Apresentamos Uma Introdução Sobre As Redes Metabólicas De Organismos, Seus Principais Conceitos Biológicos, As Possíveis Formas De Modelagem Destas Redes Em Estruturas De Dados, Uma Formalizaçãomatemática De Três Dos Principais Problemas Relacionados à Análise De Nutrientes E Um Método Baseado Apenas Na Topologia Da Rede Para Realizar Análise De Nutrientes Através Da Enumeração De Conjuntos Minimais De Precursores Ausentes, Que São Suficientes Para Se Produzir Compostos Essenciais Definidos Como Alvo.
                                                Download
                                                  Página 9 de 11 (20 de 217 registros).