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
Uma Implementação Do Método Das Curvas Elíticas Para Fatoração De Números Inteiros.
Curso Mestrado em Ciência da Computação
Tipo Dissertação
Data 20/01/2006
Área CIÊNCIA DA COMPUTAÇÃO
Orientador(es)
  • Elisabete Sousa Freitas
Orientando(s)
  • Adriana Betânia de Paula Molgora
Banca
  • Cícero Fernandes De Carvalho
  • Edson Norberto Caceres
  • Elisabete Sousa Freitas
Resumo O Problema De Fatoração De Inteiros Tem Motivado Diversos Estudos Devido A Sua Aplicação Em Sistemas Criptográficos, Como O Rsa, Que Têm Sua Segurança Baseada Na Dificuldade De Fatorar Números Grandes. Um Dos Métodos Mais Poderosos Utilizados Na Fatoração De Inteiros é O Método Das Curvas Elíticas. Para Implementar Esse Método é Necessário Que Se Realize A Análise Dos Diversos Aspectos Envolvidos Neste Processo Como O Tratamento De Cálculos Com Números Muito Grandes E Os Algoritmos Aplicados A Aritmética Das Curvas Elíticas. Considerando Esses Fatos, Este Trabalho Apresenta Um Estudo Deste Método De Fatoração Descrevendo Os Elementos Matemáticos Envolvidos Em Seu Algoritmo Bem Como O Estudo De Uma Implementação Do Mesmo.
Download
    Decomposição Em Orelhas De Grafos Cobertos Por Emparelhamentos.
    Curso Mestrado em Ciência da Computação
    Tipo Dissertação
    Data 31/10/2005
    Área CIÊNCIA DA COMPUTAÇÃO
    Orientador(es)
    • Marcelo Henriques de Carvalho
    Orientando(s)
    • Denis Santos Silva
    Banca
    • Claudio Leonardo Lucchesi
    • Fabio Henrique Viduani Martinez
    • Marcelo Henriques de Carvalho
    Resumo O Presente Trabalho Apresenta Um Estudo Sobre Emparelhamentos, Grafos Cobertos Por Emparelhamentos E Decomposição Em Orelhas De Grafos Cobertos Por Emparelhamentos, Procurando Exibir, Com A Maior Clareza Possível, Os Aspectos Mais Importantes Dos Tópicos Estudados.
    Apresentamos Um Estudo Sobre As Barreiras Maximais Dos Grafos Elementares, Que São As Classes De Uma Partição Canônica De Grafos Elementares. Esse Estudo Nos Permitiu Aplicar Propriedades Interessantes Das Barreiras Maximais Em Algumas Provas De Resultados Importantes Da Teoria Do Emparelhamento. Além Disso, Esse Estudo é A Base Para O Estudo De Grafos Cobertos Por Emparelhamentos E Decomposição Em Orelhas De Grafos Cobertos Por Emparelhamentos, Onde Apresentamos Um Algoritmo Que Realiza Tal Decomposição Em Tempo O(\v\.\e\). Esse Algoritmo é, Atualmente, O Mais Eficiente Para A Decomposição Em Orelhas De Grafos Cobertos Por Emparelhamentos.
    Download
    Algoritmos Bsp/cgm Para O Fecho Transitivo.
    Curso Mestrado em Ciência da Computação
    Tipo Dissertação
    Data 05/09/2005
    Área CIÊNCIA DA COMPUTAÇÃO
    Orientador(es)
    • Edson Norberto Caceres
    Orientando(s)
    • Cristiano Costa Argemon Vieira
    Banca
    • Edson Norberto Caceres
    • Henrique Mongelli
    • Siang Wun Song
    Resumo Apresentamos Duas Estratégias E Dois Algoritmos Bsp/cgm Para Computar O Fecho Transititvo De Um Dígrafo. Nossas Idéias Foram Obtidas Através Da Avaliação Dos Resultados Obtidos Pelos Algoritmos Bsp/cgm De Alves Et Al. E Castro Jr.. Melhoramos O Desempenho Destes Algoritmos Diminuindo O Tamanho Das Mensagens Trocadas Entre Os Processadores, A Computação Local E A Quantidade De Rodadas De Comunicação Entre Os Processadores. Os Resultados Obtidos Através Da Implementação Das Nossas Estratégias E Algoritmos Foram Melhores Que Os Resultados Apresentados Por Outros Autores.
    Download
    Objetos Inteligentes Baseados em CLP para Aplicações Científicas
    Curso Mestrado em Ciência da Computação
    Tipo Dissertação
    Data 15/04/2005
    Área CIÊNCIA DA COMPUTAÇÃO
    Orientador(es)
    • Paulo Aristarco Pagliosa
    Orientando(s)
    • Christian Cleber Masdeval Braz
    Banca
    • Joao Onofre Pereira Pinto
    • Maria Bernadete Zanusso
    • Paulo Aristarco Pagliosa
    Resumo A Programação Lógica Com Restrições (constraint Logic Programming, Ou Clp) é Uma Classe De Linguagens De Programação Baseada Na Programação Lógica E Programação Com Restrições. Descende De Estudos Em áreas Diversas Como Inteligência Artificial, Linguagens De Programação E Otimização Combinatorial E Cada Vez Mais Vem Sendo Utilizada Para Modelar E Resolver Muitos Problemas Reais Complexos. O Objetivo Deste Trabalho é Propor, Validae E Implementar Um Conceito De Objeto Inteligente Baseado Em Clp. Um Objeto Inteligente Engloba Dados, Métodos E Também Conhecimento Declarativo E Mecanismos De Inferência, Os Quais Permitem A Este Utilizar Seu Conhecimento A Fim De Produzir Comportamentos Inteligentes. Este Conhecimento é Formulado Através De Regras Clp Que Estão Associados A Um Objeto Na Forma De Pseudo-métodos Declarados Na Classe Do Objeto. Esta Integração Respeita As Características Principais Da Orientação A Objetos___encapsulamento, Herança E Polimorfismo __, Resultando Em Aplicações Nas Quais A Computação Se Dá Em Um Universo Constituído Por Objetos Que Trocam Mensagens Entre Si. Dessa Forma, O Controle Das Ações Não é Exercido Por Um Mecanismo De Inferência Central, Mas Sim Pelo Fluxo Comum De Mensagens Em Aplicações Orientadas A Objetos. Com Isso, A Modelagem E A Implementação De Sistemas Complexos Que Necessitem Fazer Uso Das Técnicas Introduzidas Pela Clp Podem Continuar Sendo Baseadas No Paradigma Da Orientação A Objetos. Os Benefícios São Reusabilidade , Manutenabilidade, Legibilidade E Eficiênica Que Podem Ser Alcançados Em Programas Que Utilizam Este Paradigma, Além De Tornar, Para Os Engenheiros De Sistemas, Mais Intuitiva E Natural A Absorção Desta Técnica De Inteligëncia Artificial.
    Download
      Etw: Um Núcleo Para Simulação Distribuída Otimista.
      Curso Mestrado em Ciência da Computação
      Tipo Dissertação
      Data 24/02/2005
      Área CIÊNCIA DA COMPUTAÇÃO
      Orientador(es)
      • Renata Spolon Lobato
      Orientando(s)
      • Rodrigo Porfírio da Silva Sacchi
      Banca
      • Fabio Henrique Viduani Martinez
      • Henrique Mongelli
      • Marcos Antônio Cavenaghi
      • Renata Spolon Lobato
      Resumo Este Trabalho Apresenta Um Núcleo Para Simulação Distribuída Otimista Com Base No Protocolo Time Warp, Denominado Basic Extensible Time Warp Kernel (etw), O Qual Tem Como Objetivo Permitir A Avaliação De Desempenho De Sistemas Discretos De Uma Forma Geral, E Em Especial Os Computacionais, Através Da Solução De Modelos De Redes De Filas. A Adição De Plugins Permite Alterações E/ou Extensões Da Funcionalidade Do Núcleo. Um Dos Aspectos Da Implementação Do Etw Merece Atenção: O Uso De Programação Orientada A Objetos E, Ao Mesmo Tempo, O Uso De Programação Estruturada. Isso Permite Explorar Amplamente A Programação Orientada A Objetos Para Estender O Etw Através Da Mudança De Classes Responsáveis, Por Exemplo, Pelo Cálculo Do Gvt (global Virtual Time) Ou Salvamento De Estados, Ao Mesmo Tempo Em Que Permite O Uso De Conhecimento Prévio Do Modelador Sobre A Extensão Funcional Smpl (simulation Programming Language). Cada Processo Da Simulação Com O Etw Implementa Um Processo Lógico Da Simulação Distribuída Time Warp. A Estrutura Da Simulação Sequencial Executada Em Cada Processo Da Simulação Distribuída Segue A Abordagem De Orientação A Eventos, Com Base Na Extensão Funcional Smpl. Os Processos Interagem Entre Si Através Da Troca De Mensagens Feita Com As Primitivas De Comunicação Do Lam-mpi (message Passing Interface). Foram Feitos Estudos Com Modelos De Redes De Filas, Que Permitiram Identificar Uma Possível Métrica Que Poderá Auxiliar Na Troca Dinâmica De Protocolos (o Comprimento Médio De Rollbacks Primários).
      Download
        Protocolo Conservativo Cmb Para Simulação Distribuída
        Curso Mestrado em Ciência da Computação
        Tipo Dissertação
        Data 24/02/2005
        Área CIÊNCIA DA COMPUTAÇÃO
        Orientador(es)
        • Renata Spolon Lobato
        Orientando(s)
        • Marta Oliveira da Silva Lopes dos Santos
        Banca
        • Marcos Antônio Cavenaghi
        • Renata Spolon Lobato
        • Roberta Spolon Ulson
        Resumo Este Trabalho Apresenta A Ferramenta Cmb-simulation, Uma Extensão Da Linguagem C Para Sincronização De Processos Na Simulação Distribuída Conservativa. Cmb-simulation Permite O Uso Da Abordagem De Mensagens Nulas Ou Da Abordagem De Mensagens Nulas Sob Demanda Na Simulação De Redes De Filas. A Ferramenta Foi Desenvolvida Com Base Na Estrutura De Smpl, Uma Extensão Da Linguagem C Que Implementa Simulação Sequencial Orientada A Eventos, E Utiliza O Mpi Para Troca De Mensagens Entre Os Processos Que Compõem A Simulação Distribuída (no Sistema Operacional Linux). Os Testes Efetuados Com Diversos Modelos De Filas Mostram A Utilização Da Ferramenta Na Avaliação Da Simulação Distribuída Conservativa.
        Download
          Processo de Desenvolvimento de uma Linha de Produtos para Sistemas de Gestão de Bibliotecas
          Curso Mestrado em Ciência da Computação
          Tipo Dissertação
          Data 10/11/2004
          Área CIÊNCIA DA COMPUTAÇÃO
          Orientador(es)
          • Marcelo Augusto Santos Turine
          Orientando(s)
          • César Rosas Aragon
          Banca
          • Jose Craveiro da Costa Neto
          • Marcelo Augusto Santos Turine
          • Rosana Terezinha Vaccare Braga
          Resumo A Necessidade De Técnicas Que Auxiliem O Projeto E O Desenvolvimento De Softwares De Maior Qualidade E Em Menor Tempo é Uma Das Preocupações Da Engenharia De Software . Muitos Produtos De Software São Desenvolvidosem Função De Artefatos Já Especificados E Implementados, Utilizando Técnicas De Reutilização De Software. Neste Contexto, A Técnica Linha De Produtos De Software (lps) Surge Como Uma Proposta De Construção E Reutilização Sistemática De Software Baseado Num Domínio Específico. O Objetivo Deste Trabalho é Propor Um Processo De Desenvolvimento De Lps Orientado A Família De Produtos No Domínio De Sistemas De Gestão De Bibliotecas (sgb), Considerado Como Um Subdomínio De Gestão De Recursos De Negócio. O Processo é Baseado Em Três Passos (qualificação Do Domínio, Engenharia Do Domínio E Engenharia Da Aplicação) E Define Um Conjunto De Sistemas Que Compartilham Um Grupo De Características Similares E Variáveis Que Satisfazem As Necessidades Específicas Do Domínio. Os Três Elementos Da Arquitetura De Lps Gerada São: A Linguagem De Padrões De Gestão De Recursos De Biblioteca (grb), O Framework De Gestão De Recursos De Sistemas De Biblioteca (grsb) E Os Modelos Da Família De Produtos De Software (fps) (modelos De Feature, De Casos De Uso E De Classes). A Linguagem Grb Elaborada é Baseada Na Linguagem De Recursos De Negócio Grn. Alguns Padrões Da Grn Foram Adaptados às Necessidades Específicas Do Domínio De Sgb. O Framework Grsb Proposto é Baseado No Framework De Gestão De Recursos De Negócio Gren E Permite Instanciar Aplicações Do Domínio De Sgb Utilizando A Linguagem De Padrões Grb.para Automatizar O Processo De Lps Foi Implementada A Ferramenta Gestão De Recursos De Sistemas De Biblioteca Denominada Grsb-wizard. Para Avaliar A Arquitetura De Lps E A Ferramenta Grsb-wizard Dois Estudos De Caso No Domínio De Sgb Foram Realizados.
          Download
            Algoritmos Bsp/cgm Para Ordenação
            Curso Mestrado em Ciência da Computação
            Tipo Dissertação
            Data 20/08/2004
            Área CIÊNCIA DA COMPUTAÇÃO
            Orientador(es)
            • Henrique Mongelli
            Orientando(s)
            • Luciano Gonda
            Banca
            • Edson Norberto Caceres
            • Henrique Mongelli
            • Siang Wun Song
            Resumo O Problema De Ordenação é Um Assunto Bastante Estudado Em Computação. Ordenar Uma Seqüência S = (a1, A2, . . . , An), Consiste Em Obter Uma Seqüência S0 = (a01, A02, . . . , A0n), Onde A0i _ A0j , Se I < J. A Paralelização De Problemas é Utilizada Para Reduzir O Tempo De Execução Dos Problemas Que Necessitam De Alto Poder De Processamento. Neste Trabalho Descreveremos Três Algoritmos De Ordenação Paralelos Desenvolvidos No Modelo Bsp/cgm, No Qual Cada Processador Possui Memória De Tamanho O(n P ), E Em Cada Rodada De Comunicação São Enviados Ou Recebidos, No Maximo, O(n P ) Dados. Neste Modelo Queremos Sempre Minimizar O Número De Rodadas De Comunicação. Os Algoritmos Que Descreveremos São: Ordenação-bitonica, Ordenação-cd E Ordenação-por-divisão. O Algoritmo Ordenação-bitonica Utiliza O(log P) Rodadas De Comunicação E Tempo De Computação Local O(n Log Np ). Os Algoritmos Ordenação-cd Ordenação-por-divisão Utilizam O(1) Rodadas De Comunicação E Tempo De Computação Local O(n Log N P ). A Implementação Do Algoritmo Ordenação-cd Apresenta Resultados Muito Bons Em Relação Ao Tempo De Execução, Mostrando Que Este Algoritmo é Eficiente Se Executado Para Entradas Grandes.
            Segundo Os Resultados Experimentais, O Algoritmo Ordenação-cd é O Que Apresenta Os Melhores Resultados Para Todas As Entradas. O Problema De Ordenação é Um Assunto Bastante Estudado Em Computação. Ordenar Uma Seqüência S = (a1, A2, . . . , An), Consiste Em Obter Uma Seqüência S0 = (a01, A02, . . . , A0n), Onde A0i _ A0j , Se I < J. A Paralisação De Problemas ´e Utilizada Para Reduzir O Tempo De Execução Dos Problemas Que Necessitam De Alto Poder De Processamento. Neste Trabalho Descreveremos Três Algoritmos De Ordenação Paralelos Desenvolvidos No Modelo Bsp/cgm, No Qual Cada Processador Possui Memória De Tamanho O(n P ), E Em Cada Rodada De Comunicação São Enviados Ou Recebidos, No Máximo, O(n P ) Dados. Neste Modelo Queremos Sempre Minimizar O Número De Rodadas De Comunicação. Os Algoritmos Que Descreveremos São: Ordenação-bitonica, Ordenação -cd E Ordenação-por-divisão. O Algoritmo Ordenação-bitonica Utiliza O(log P) Rodadas De Comunicação E Tempo De Computação Local O(n Log N P ). Os Algoritmos Ordenação-cd E Ordenação-por-divisão Utilizam O(1) Rodadas De Comunicação E Tempo De Computação Local O(n Log N P ). A Implementação Do Algoritmo Ordenação-cd Apresenta Resultados Muito Bons Em Relação Ao Tempo De Execução, Mostrando Que Este Algoritmo é Eficiente Se Executado Para Entradas Grandes. Segundo Os Resultados Experimentais, O Algoritmo Ordenação-cd é O Que Apresenta Os Melhores Resultados Para Todas As Entradas.
            Download
              Algoritmos Em Para Aprendizagem De Redes Bayesianas A Partir De Dados Incompletos.
              Curso Mestrado em Ciência da Computação
              Tipo Dissertação
              Data 29/07/2004
              Área CIÊNCIA DA COMPUTAÇÃO
              Orientador(es)
              • Maria Bernadete Zanusso
              Orientando(s)
              • José Eduardo Ochoa Luna
              Banca
              • Maria Bernadete Zanusso
              • Paulo Aristarco Pagliosa
              • Wagner Teixeira Da Silva
              Resumo O Objetivo Deste Trabalho é Implementar Algoritmos De Aprednizagem Para Redes Bayesianas A Partir De Dados Incompletos Baseando-se No Algoritmo Expectation Maximization (em). Redes Bayesianas São Modelos Gráficos Para Representar Incerteza E Raciocinar Com Probabilidades. São Formadas De Uma Estrutura Que Define As Relações De Independência Entre Variáveis, E De Parâmetros Numéricos Que São As Probabilidades Condicionadas Pela Estrutura. Em Geral, Um Especialista Define Este Modelo, Porém, Também Pode-se Aprender A Estrutura E Parâmetros A Partir De Dados Disponíveis Quando Os Dados São Completos, A Aprendizagem Das Probabilidades é Simples, Pois São Baseadas Em Frequências. Quando Os Dados São Incompletos, O Algoritmo Em Permite Determinar Valores Faltosos Mediante Estimativas De Máxima Verossimilhança. Neste Trabalho Foi Implementado O Algoritmo Em Paramétrico De Lauritzen Para Completar Os Dados E Realizar A Aprednizagem Das Probabilidades Para O Caso De Uma Estrutura Qualquer. O Algoritmo Em De Friedman Foi Implementado Para Aprendizagem De Estrutura Baseando-se No Paradigma De Busca E Pontuação, O Qual, Entre Várias Estruturas Candidatas, Define A De Maior Pontuação, Segundo Uma Métrica, Para Ser A Estrutura Intermediária De Um Processo Iterativo Que Busca A Estrutura ótima Para Os Dados Incompletos. O Processo Começa A Partir De Uma Estrutra Aleatória, Completa Os Dados A Cada Estrutura Intermediária E Aprende Suas Probabilidades Usando Em De Lauritzen. Do Mesmo Modo Que As Propostas Atuais De Implementação Oferece-se Soluções Descobrindo Distribuições De Probabilidades Conjuntas Para Futuras Inferências E Descoberta De Relações Causais Entre Variáveis, Mas Ainda Estão Sujeitas A Melhorias, Principalmente Quanto A Otimizar O Tempo De Execução. As Soluções Obtidas Neste Trabalho São Semelhantes Com As Redes Reais Usadas Para Teste, Como O Bench Mark Alarm E Outras, Sendo Que, Para Comparações, Foi Medida A Qualidade Das Probabilidades Em Termos Da Entropia Cruzada E Das Estruturas Aprendidas Em Termos De Diferenças Topológicas, Ou Seja, Inclusão Ou Exclusão Correta De Arcos. Com Suporte Na Plataforma Da Ferramenta Unbbayes O Estudo Foi Desenvolvido Ampliando, Depois, Sua Própria Base Para A Construção De Redes Bayesianas E A Realização De Processos De Inferênia Diagnóstica Ou Preditiva No Caso De Dados Incompletos.
              Download
                Instantfaq: Uma Ferramenta Web Para Gestão De Faq Construída Segundo A Abordagem Adcomp.
                Curso Mestrado em Ciência da Computação
                Tipo Dissertação
                Data 18/05/2004
                Área CIÊNCIA DA COMPUTAÇÃO
                Orientador(es)
                • Marcelo Augusto Santos Turine
                Orientando(s)
                • Érika Ishy
                Banca
                • Antonio Francisco Do Prado
                • Marcelo Augusto Santos Turine
                • Paulo Aristarco Pagliosa
                Resumo A Influência Positiva Da Web Tem Motivado Uma Demanda De Aplicações Que Combinam Navegação E Interatividade. Tais Aplicações, Cada Vez Mais Complexas, Necessitam De Métodos E Tecnologias Que Visam Um Desenvolvimento Com Qualidade A Baixo Custo. Nesta Perspectiva, Técnicas De Reuso Combinadas Com Métodos E Tecnologias Da Engenharia De Software Baseada Em Componentes Permitem Que Aplicações Baseadas Na Web (webapps) Sejam Criadas Rapidamente A Partir De Partes Pré-construídas E Testadas. Apesar Das Recentes Pesquisas Na área De Desenvolvimento Baseado Em Componentes Muitos Métodos Possuem Uma Didática De Difícil Compreensão E/ou Seus Processos São Complexos, Dificultando Sua Disseminação E Sua Utilização Na Prática. Desta Forma, Neste Trabalho é Proposta Uma Abordagem De Desenvolvimento De Software Baseada Em Componentes Denominada Adcomp, Resultante Da Pesquisa De Vários Métodos Atuais (catalysis, Rational Unified Process E Uml Components), Objetivando Definir Um Processo Intuitivo, Simples, Direto E Prático. A Adcomp é Dividida Em Três Etapas: (1) Definição De Requisitos, (2) Definição De Componentes E (3) Implementação De Componentes; Sendo A Segunda Etapa Dividida Nas Seguintes Fases: (i) Identificação Do Componente, (ii) Interação Do Componente E (iii) Especificação Do Componente. Uma De Suas Características é Modelar Os Componentes De Forma A Integrar A Especificação Dos Componentes Com Sua Implementação Numa Linguagem Executável: Java Como Linguagem De Programação E Ejb (enterprise Javabeans) Como Modelo De Componentes. Além Disto, Todas Estas Etapas E Fases São Desenvolvidas E Gerenciadas Pela Ferramenta Case Mvcase Do Departamento De Computação Da Ufscar Que Oferece Suporte à Uml (unified Modeling Language), O Modelo De Componentes Ejb E O Padrão Corba (common Object Request Broker Architecture) Para Aplicações Distribuídas. Para Validar A Abordagem é Elaborado Um Estudo De Caso De Uma Ferramenta Web De Interatividade Baseada Em Componentes Para Gestão De Faq (frequently Asked Questions) E De Fale Conosco Denominada Instantfaq. Uma Ferramenta Multicamada Que Pode Ser Integrada E Reutilizada Em Diversas Webapps Como Mecanismo De Comunicação E De Coordenação Para Administradores E Usuários. Como Meio De Validar Suas Funcionalidades E Sua Reutilização, A Instantfaq é Integrada Em Duas Webapps: (1) Ambiente De Educação Aberta E A Distância Teleduc Do Núcleo De Informática Aplicada à Educação Da Unicamp E (2) Sistema De Informação De Gestão Social (sigs) Para Avaliação E Monitoramento De Programas De Transferência De Renda Do Instituto De Estudos Especiais Da Puc/sp Em Parceria Com O Departamento De Computa~ao E Estatística Da Ufms.
                Download
                  Regiões Ortólogas Em Múltiplos Genomas.
                  Curso Mestrado em Ciência da Computação
                  Tipo Dissertação
                  Data 16/04/2004
                  Área CIÊNCIA DA COMPUTAÇÃO
                  Orientador(es)
                  • Nalvo Franco de Almeida Junior
                  Orientando(s)
                  • Luciana Montera
                  Banca
                  • Marcelo Augusto Santos Turine
                  • Maria Emilia Machado Telles Walter
                  • Nalvo Franco de Almeida Junior
                  Resumo Este Trabalho Apresenta Uma Metodologia Para Encontrar Regiões Contíguas De Genes Entre Vários Genomas, Que Evolutivamente Conservam A Ordem E O Conteúdo Gênico. Tais Regiões, Por Terem Se Preservado Ao Longo Da Evolução, São Descritas Como Potenciais Detentoras De Funcionalidades Em Organismos Procariotos Evolutivamente Próximos. A Principal Contribuição Do Trabalho Consiste Num Algoritmo Baseado Na Abordagem Do Problema De Cliques Maximais Em Grafos Para A Determinação De Regiões De Genes Conservados Entre ,múltiplos Genomas. Um Sistema Via Web Foi Desenvolvido Para Permitir Ao Usuário Realizar As Comparações Entre Múltiplos Genomas E Visualiuzar Graficamente Os Resultados Obtidos.
                  Download
                    O Problema Da K-cobertura Por Vértices: Uma Implementação Fpt No Modelo Cgm.
                    Curso Mestrado em Ciência da Computação
                    Tipo Dissertação
                    Data 15/03/2004
                    Área CIÊNCIA DA COMPUTAÇÃO
                    Orientador(es)
                    • Henrique Mongelli
                    Orientando(s)
                    • Erik Joey Hanashiro
                    Banca
                    • Edson Norberto Caceres
                    • Henrique Mongelli
                    • Siang Wun Song
                    Resumo Em Muitas Situações Práticas Precisamos Resolver Problemas Np-completos Com Exatidão. A Complexidade Parametrizada é Um Método Promissor Para Lidarmos Com A Intratabilidade De Alguns Problemas, Principalmente Aqueles Cuja Entrada Pode Ser Dividida Em Uma Parte Principal E Um Parâmetro. A Parte Principal Da Entrada Contribui Polinomialmente Na Complexidade Total Do Problema, Enquanto A Aparentemente Inevitável Explosão Combinatorial Fica Confinada Ao Parâmetro. Neste Trabalho Estudamos A Teoria Sobre Complexidade Parametrizada E O Algoritmo Fpt Paralelo De Cheetham Et Al. No Modelo Bsp/cgm Para O Problema Da K-cobertura Por Vértices, E Nossa Contribuição é Apresentar Uma Implementação Refinada E Melhorada De Tal Algoritmo. A Escolha De Boas Estruturas De Dados E O Uso Da Técnica De Backtracking Em Nossa Implementação Foram Fundamentais Para Que Obtivessemos Tempos Paralelos Melhores Em Nossos Experimentos. Utilizamos Cinco Grafos De Onflitos Referentes A Aminoácidos, Os Mesmos Usados Por Cheetham Et Al. Em Seus Experimentos. Mesmo Utilizando Um Ambiente Computacional Inferior Ao Usado Por Cheetham Et Al., Para Dois Desses Grafos Obtivemos Tempos Aproximadamente 115 Vezes Melhores, Para Um Deles 16 Vezes Melhor E, Para Os Grafos Restantes Obtivemos Tempos Um Pouco Melhores. Além Disso, Para Três Desses Grafos Obtivemo Coberturas Por Vértice De Tamanho Menor.
                    Download
                      webscharts: Uma Ferramenta De Desenvolvimento De Aplicações Web Baseada No Hmbs/m
                      Curso Mestrado em Ciência da Computação
                      Tipo Dissertação
                      Data 20/12/2003
                      Área CIÊNCIA DA COMPUTAÇÃO
                      Orientador(es)
                      • Marcelo Augusto Santos Turine
                      Orientando(s)
                      • Lício Sergio Ferraz de Brito
                      Banca
                      • Jose Craveiro da Costa Neto
                      • Marcelo Augusto Santos Turine
                      • Maria Cristina Ferreira De Oliveira
                      Resumo Neste Trabalho é Especificada E Implementada Uma Nova Ferramenta Case, Denominada Webscharts, Para Apoiar O Desenvolvimento De Aplicações Web (webapp). A Ferramenta 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 Da Aplicação. Extensões Ao Hmbs/m São Propostas Para Incorporar Novos Conceitos E Modelos De Modo A Facilitar O Projeto De Aplicações Complexas E Permitir Sua Automatização Em Uma Ferramenta Case. A Arquitetura Do Webscharts é Composta Pelos Ambientes De Autoria, De Projeto Navegacional E De Publicação, E Fornece Suporte As Quatro Fases Do Hmbs/m: Modelagem Conceitual, Modelagem Da Interface E Publicação / Teste. A Ferramenta Incentiva O Estilo De Desenvolvimento Incremental, Iterativo E Baseado Em Protótipos, Sendo Que, Em Cada Fase. Modelos São Construídos Ou Enriquecidos. Para Ilustrar E Validar A Ferramenta Webscharts E O Método Hmbs/m Estendido Em Uma Abordagem De Projeto Sistemática é Utilizada Como Estudo De Caso A Especificação De Uma Webapp Do Catálogo De Cursos De Graduação De Cursos De Graduação, De Pós-graduação E De Extensão Da Universidade Federal De Mato Grosso Do Sul (ufms).
                      Download
                        Rede Neural Com Retropropagação: Uma Aplicação Na Classificação De Imagens De Satélite.
                        Curso Mestrado em Ciência da Computação
                        Tipo Dissertação
                        Data 17/12/2003
                        Área CIÊNCIA DA COMPUTAÇÃO
                        Orientador(es)
                        • Maria Bernadete Zanusso
                        Orientando(s)
                        • Lawrence Nakata Ribeiro
                        Banca
                        • Antonio Conceicao Paranhos Filho
                        • Joao Onofre Pereira Pinto
                        • Maria Bernadete Zanusso
                        Resumo Nesta Dissertação Descreve-se E Implementa-se Uma Rede Neural Artificial Com Arquitetura Do Perceptron De Múltiplas Camadas, Com O Algoritmo De Treinamento De Retropropagação Do Erro. Utilizando Um Bano De Dados Que Contém Os Digital Nunbers De Uma Imagem Da Austrália, Gerada Pelo Satélite Landsat-4 Mss, Os Quais Foram Classificados Por Pesquisadores Australianos; Eles Foram A Campo Verificar A Utilização Do Solo Em Cada Pixel, Que São: Solovermelho; Plantação De Algodão; Solo Cinzento; Solo Cinzento úmido E Solo Com Vestígios De Vegetação; Solo Cinzento Muito úmido. Com Esses Digital Numbers Foram Executados Vários Experimentos Com O Objetivo De Encontrar Uma Rede Neural Om Boa Generalização. Como Não Existe Uma Regra Geral Para O Treinamento, Os Experimentos Foram Divididos Com Objetivos Específicos Como: Encontrar A Melhor Taxa De Treinamento N, Taxa De Momento O E A Arquitetura Da Rede; Comparar Variações Do Algoritmo De Treinamento Entre Sequencial E Por Lote; Também Foram Utilizados Nos Treinamentos Os Digital Nunbers Da Imagem Transformados Com Técnicas De Normalização, Componentes Principais E Análise Discriminante Fatorial. Outro Fator Importante é O Tempo De Processamento, Que Varia Quando Se Altera O Tamanho Da Rede Neural. Para Avaliar O Desempenho Das Redes Foi Usado O Coeficiente Kappa. Chegou-se A Conclusão Que A Melhor Rede Para Generalização Foi Obtida Quando Se Aplicou Análise Discriminante Fatorial Aos Dados, Sendo A Sua Arquitetura Definida Por 5 Unidades De Entrada, 11 Escondidas E 6 De Saídas, Com Treinamento Sequencial E Aleatorização Das Amostras De Treino, Levando 9:10 (nove Horas E Dez Minutos).
                        Download
                          Codificação De Imagem Usando Transformada Coseno Discreta
                          Curso Mestrado em Ciência da Computação
                          Tipo Dissertação
                          Data 13/12/2003
                          Área CIÊNCIA DA COMPUTAÇÃO
                          Orientador(es)
                          • Maria Bernadete Zanusso
                          Orientando(s)
                          • Humberto Goulart Rigotti
                          Banca
                          • Edson Kassar
                          • Maria Bernadete Zanusso
                          • Yuzo Iano
                          Resumo A Compressão De Imagem Visa Diminuir A Quantidade De Bits Necessários Para Representar A Imagem E Reconstruí-la Com Pouca Distorção Visível. As Técnicas De Compressão Encontram Sua Utilidade Na Diminuição Da Quantidade De Memória Para Armazenar Imagens Ou Na Redução De Largura De Banda Para A Transmissão. As Técnicas De Compressão De Imagem Podem Ser Classifcadas Em Duas Categorias: Aquelas Que Exploram A Redundância Dos Dados - Pcm, Codificação Preditiva, Etc; E Aquelas Que Fazem Codificação Por Transformada - Karhunen-loeve. Fourier, Dct, Hadamard, Haar, Slant. Na Primeira Categoria A Redundância Está Relacionada Com A Previsibilidade. Por Exemplo, Numa Imagem é Possível Prever Os Valores De Um Ponto Com Base Nos Valores De Pontos Adjacentes, Isto é, Existe Grande Redundância Nesses Valores. Na Outra Categoria, As Transformações Compactam A Informação De Energia Em Um Número Reduzido De Amostras. De Outra Forma, A Transformação Produz A Partir De Um Processo Gaussiano Com Média Zero, Um Vetor Cujos Componentes São Mutuamente Não-correlacionados.
                          O Objetivo é Implementar Um Sistema De Ompressão De Imagem Monocromática Usando Transformada Cosseno Discreta, Que Constitua Uma Plataforma Computacional Básica Para O Estudo Do Processamento De Imagens E Sinais. Para Concretizar Este Objetivo, Este Trabalho Se Baseou No Sistema De Codificação Adaptativo Usando A Dct E A Divisão Por Classes De Energia, Descrito No Artigo adaptive Coding Of Monochrome And Color Images, De Wen-hsiung Chen E C. Harrison Smith, De 1977. A Partir Da Descrição Do Sistema Contido Nesse Artigo E Estudos Da Literatura Relacionada Com O Assunto, Foram Implementados Todos Os Programas Necessários Para Concretizar O Sistema. Após Codificar As Imagens De Teste Os Resultados Obtidos Foram Utlizados Para Avaliar O Desempenho Do Sistema Proposto, Por Meio De Comparações Com Os Resultados Alcançados Por Outros Sistemas Similares. Nessas Comparações Não Foi Considerada A Qualidade Subjetiva, Visual, Da Imagem Reconstruída. Apenas Os Valores Objetivos, Numéricos, Fornecidos Pelas Medidas De Erro Quadrático Médio - Mse, Relação Sinal-ruído - Snr E Entropia Foram Avaliados E Comparados Com Os Resultados Das Outras Metodologias. Os Resultados Obtidos Pelo Sistema Proposto Confirmaram O Que Era Esperado. Apesar De Obter Uma Boa Compressão, A Qualidade Final Da Imagem Reconstruída Ficou Abaixo Da Qualidade Obtida Pelo Sistemas Utilizados Para Comparação. Principalmente Pelo Efeito De Blocagem E Pela Maneira Que Implementou-se A Quantização. Este Trabalho Visa Construir Uma Base Para O Estudo De Processamento De Sinais, Objetivo Este Que Foi Cumprido. Novos Estudos Podem Ser Feitos Na Direção De Melhorar A Qualidade Da Imagem Resultante, Com Novos Algoritmos Que Aumentem A Qualidade Da Imagem Resultante.
                          Download
                            Geração De Malhas Baseada Em Decomposição Espacial E Triangulação De Delaunay Para Modelos De Sólidos Com Condições De Contorno.
                            Curso Mestrado em Ciência da Computação
                            Tipo Dissertação
                            Data 01/12/2003
                            Área CIÊNCIA DA COMPUTAÇÃO
                            Orientador(es)
                            • Paulo Aristarco Pagliosa
                            Orientando(s)
                            • Roberto Murillo Mathias Costa Junior
                            Banca
                            • Henrique Mongelli
                            • Luiz Gustavo Nonato
                            • Paulo Aristarco Pagliosa
                            Resumo
                            Download
                              Otimização De Consultas Paralelas Usando O Agrupamento Prévio E Um Filtro Seletivo
                              Curso Mestrado em Ciência da Computação
                              Tipo Dissertação
                              Data 19/11/2003
                              Área CIÊNCIA DA COMPUTAÇÃO
                              Orientador(es)
                              • Jose Craveiro da Costa Neto
                              Orientando(s)
                              • Nilton Cézar de Paula
                              Banca
                              • Jose Craveiro da Costa Neto
                              • Líria Matsumoto Sato
                              • Marcelo Augusto Santos Turine
                              Resumo Processamento Paralelo E Distribuído é Uma Alternativa Para Melhorar O Desempenho De Consultas Sobre Data Warehouses. A Técnica De Agrupamento Prévio Tem Sido Enfatizada Recentemente Em Sistemas Centralizados Para Melhorar As Consultas Com Agregação. Esta Técnica Permite A Execução Da Operação De Agregação Antes Da Junção. Como Resultado, A Eficiência Da Consulta é Aumentada. Este Trabalho Propõe E Implementa Um Ambiente De Software, Denominado Fap, Para A Execução De Consultas Com Agregados. Fap Faz Uso Do Paralelismo, Agrupamento Prévio E Um Filtro Seletivo. Fap Também Adiciona Novas Características Ao Cdbs (concurrent Database System), Tornando Possível Analisar A Execução De Consultas Com Agregados. Finalmente, A Implementação Modular Do Fap Provê Uma Maneira Fácil De Incluir Novas Funcionalidades E Modificar As Existentes. Os Resultados Obtidos Com O Estudo De Caso No Uso Do Fap Mostram Que A Aplicação Do Agrupamento Prévio Em Um Ambiente Paralelo Reduz O Tempo De Execução Da Consulta E Os Acessos A Disco. Além Disso, O Desempenho Das Consultas Com Agregados Fica Mais Interessante Se O Agrupamento Prévio é Combinado Com O Filtro Seletivo, Que Também é Estudado Neste Trabalho.
                              Download
                                Filogenia De Proteomas
                                Curso Mestrado em Ciência da Computação
                                Tipo Dissertação
                                Data 22/05/2003
                                Área CIÊNCIA DA COMPUTAÇÃO
                                Orientador(es)
                                • Nalvo Franco de Almeida Junior
                                Orientando(s)
                                • Graziela Santos de Araújo
                                Banca
                                • Cleber Oliveira Soares
                                • Henrique Mongelli
                                • Nalvo Franco de Almeida Junior
                                Resumo A Explicação Da História Evolutiva Das Espécies E Os Seus Possíveis Relacionamentos São Preocupações Centrais Na Biologia. Esses Aspectos Podem Ser Verificados Pela Construção De Arvores Filogenéticas, Também Conhecidas Como Filogenias, Que São árvores Onde As Folhas Representam As Espécies E Os Nós Internos Representam Possíveis Ancestrais. Com A Descoberta De Tecnologias Para Sequenciamento De Dna, E Consequente Disponibilização De Genomas Completos, Podemos Inferir Filogenias Utilizando Dados Relativos A Ordem Dos Genes De Cada Espécie. Esses Dados Podem Ser Distâncias Ou Características. As Distâncias Representam Uma Estimativa Da Distância Evolutiva Entre Os Pares De Organismos. As Características Dizem Respeito, Por Exemplo, à Presença De Genes Específicos Em Alguns Genomas E Ausência Em Outros. Nosso Objetivo é O De Propor Uma Metodologia Para A Construção De árvores Filogenéticas, Que Consiste Em Extrair Informações De Comparações Entre Conjunto De Genes De Espécies. Estas Informações Podem Ser: Genes Encontrados Em Ambos Os Genomas E Regiões Em Que Houve A Conservação Da Ordem Dos Genes. Além Disso, Também Propomos A Construção De Filogenias Utilizando Características Envolvendo Genes E Regiões, Obtidas Também Dos Genomas Das Espécies. Propomos Ainda Uma Medida De Distância Entre árvores, Om O Objetivo De Avaliar A Qualidade Das Mesmas.
                                Download
                                  Fatoração De Números Inteiros Usando Curvas Elíticas
                                  Curso Mestrado em Ciência da Computação
                                  Tipo Dissertação
                                  Data 12/05/2003
                                  Área CIÊNCIA DA COMPUTAÇÃO
                                  Orientador(es)
                                  • Elisabete Sousa Freitas
                                  Orientando(s)
                                  • Celso Cardoso
                                  Banca
                                  • Edson Norberto Caceres
                                  • Elisabete Sousa Freitas
                                  • José Gilvan De Oliveira
                                  Resumo O Problemada Fatoração Inteira Tem Obtido Considerável Atenção Por Sua Utilização Em Sistemas Criptográficos Modernos Qu Têm Sua Segurança Baseada Na Dificuldade De Fatorar Números Grandes.
                                  Neste Trabalho, Apresentamos A Descrição De Um Método De Fatoração De Números Inteiros, O Método Das Curvas Elíticas (elliptic Curve Method - Ecm) Devido A H.w. Lenstra [len87], Que Usa Curvas Elíticas. Ele é Baseado Num Outro Método De Fatoração, O Método P-1 De Pollard [pol74]. O Método De Pollard Utiliza A Estrutura Do Grupo Multiplicativo Z* , Enquanto O Ecm Utiliza A Estrutura De Grupo Dos Pontos De Uma Curva Elítica.
                                  Download
                                    Implementação E Avaliação De Algoritmos Bsp/cgm Para O Fecho Transitivo E Problemas Relacionados.
                                    Curso Mestrado em Ciência da Computação
                                    Tipo Dissertação
                                    Data 07/04/2003
                                    Área CIÊNCIA DA COMPUTAÇÃO
                                    Orientador(es)
                                    • Edson Norberto Caceres
                                    Orientando(s)
                                    • Amaury Antonio de Castro Junior
                                    Banca
                                    • Edson Norberto Caceres
                                    • Henrique Mongelli
                                    • Siang Wun Song
                                    Resumo Neste Trabalho, Descrevemos E Apresentamos Os Resultados Da Implementação De Um Algoritmo Bsp/cgm Para O Fecho Transitivo Proposto Por Cáceres Etal. Além Disso, Apresentamos Algumas Aplicações Deste Algoritmo Na Resolução De Problemas Relacionados Em Teoria Dos Grafos, Tais Como Caminhos Mais Curtos, Busca Em Profundidade E árvore Geradora Mínima. Estes Algoritmos Foram Implementados Em C, Usando A Interface Lam/mpi E Executados No Beowulf Do Ic-unicamp, Contendo 66 Processadores. Os Resultados Obtidos São Melhores Que Os Descritos Na Literatura. Para Os Problemas Relacionados, As Implementações Que Usam A Estrutura Do Algoritmo De Washall Para O Fecho Transitivo Apresentam Melhores Tempos, Quando Comparadas A Algumas Implementações Paralelas Para Os Mesmos Problemas.
                                    Download
                                      Página 10 de 11 (20 de 204 registros).