| 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
|
| Coorientador(es) |
|
| 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) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| 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) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| 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) |
|
| Coorientador(es) |
|
| 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
|
| Coorientador(es) |
|
| Orientando(s) |
|
| 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
|
| Coorientador(es) |
|
| 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) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| 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) |
|
| Coorientador(es) |
|
| 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 |
|
|
| Visualização De Modelos De Sólidos Analisados Pelo Método Dos Elementos De Contorno. |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
26/02/2003 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Henrique Mongelli
- Luiz Gustavo Nonato
- Paulo Aristarco Pagliosa
|
| Resumo |
|
| Download |
|
|
| Algoritmo Bsp/cgm Para Computacao De Circuitos De Euler Em Grafos |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
12/09/2002 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Edson Norberto Caceres
- Henrique Mongelli
- Siang W. Song
|
| Resumo |
Nesta Dissertação Descrevemos E Implementamos Um Algoritmo Paralelo Utilizando O Modelo Bsp/cgm (bulk Synchronous Parallel/coarse Grained Multicomputer) Para Obtenção De Circuitos De Euler Em Grafos. Este Algoritmo é Baseado No Algoritmo Proposto Por Cáceres Et Al [cdss92] Que Utiliza O Modelo Pram (parallel Random Access Machine). Do Nosso Conhecimento, Não Há Na Literatura Outros Algoritmos Paralelos Em Modelos De Granularidade Grossa Para O Problema De Circuitos De Euler Em Grafos.
O Algorimo Proposto Foi Implementado Utilizando O Padrão Mpi (message Passing Interface) E A Linguagem C. O Programa Foi Executado No Beowulf Com 66 Nós Instalado No Instituto De Computação Da Unicamp. Os Resultados Obtidos Com A Implementa~ao Confirmaram Os Resultados Teóricos Da Complexidade Do Algoritmo, O Que é Uma Característica Do Modelo Bsp/cgm. |
| Download |
|
|
| O Problema Das Quatro Cores. |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
12/09/2002 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Marcelo Henriques de Carvalho
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Edson Norberto Caceres
- Marcelo Henriques de Carvalho
|
| Resumo |
é Possível Colorir Qualquer Mapa Com Não Mais Do Que 4 Cores, De Forma Que Regiões Vizinhas Recebam Cores Diferentes?. Essa Pergunta Foi Feita Pela Primeira Vez Em 1852 Por Francis Guthrie, Enquanto Coloria Um Mapa Da Inglaterra. Esse Problema é Conhecido Como Problema Das 4 Cores. Em 1878, Foi Publicada A Primeira Referência Impressa Da Conjetura, No Periódico Proceedings Of The London Mathematical Society. Essa Publicação Disparou A Febre Do Problema, Com Um Grande Número De Variações Equivalentes, Conjeturas E Falsas Demonstrações. O Problema Das 4 Cores é Responsável Por Muito Do Que Se Conhece Hoje Em Teoria Dos Grafos. A Tentativa De Resolvê-lo Possibilitou O Desenvolvimento De Vários Ramos Da Teoria Dos Grafos, Através Da Sua Equivalência Com Outros Problemas. Portanto, Existem Outros Enfoques Que Podem Ser Dados Em Um Estudo Deste Problema. No Estudo Que Desenvolvemos, Nosso Principal Objetivo Foi Estudar A última Demonstração Do Teorema Ds 4 Cores Publicada Em 1997. O Teorema Afirma Que Os Vértices De Um Grafo Planar Sem Laços Podem Ser Coloridoscom 4 Cores Distintas. Este Teorema é Equivalente Ao Problema Das 4 Cores. A Demonstração Do Teorema é Feita Por Contradição . Supõe-se A Existência De Um Contra-exemplo Para O Teorema E Estudando As Propriedades Deste Contra-exemplo Chega-se A Uma Contradição. Em Várias Partes Da Demonstração Faz-se Necessário O Uso De Programas De Computador.
O Nosso Trabalho Resume-se No Detalhamento Da Demonstração Deste Teorema. Para Isto Foi Necessário O Estudo Detalhado De Vários Outros Livros E Artigos, Alguns Destes Publicados No Início Do Século Passado E Outros Publicados Depois De 1997 Pelos Mesmos Autores, Com O Objetivo De Esclarecer Dúvidas E Explicar Com Maior Clareza Os Programas De Computador Indispensáveis Para Esta Demonstração. |
| Download |
|
|
| Algoritmos Lineares Para Teste De Planaridade Em Grafos |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
16/08/2002 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Marcelo Henriques de Carvalho
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Edson Norberto Caceres
- José Coelho de Pina Junior
- Marcelo Henriques de Carvalho
|
| Resumo |
Este Trabalho Trata De Reconhecer A Classe Dos Grafos Planares, Ou Seja, Grafos Que Admitem Uma Representação No Plano Sem Cruzamento De Arestas. Algoritmos Com Complexidade De Tempo Linear Para O Reconhecimento De Grafos Planares São Conhecidos Desde A Década De 70. Dois Deles São Clássicos Mas Complexos. São Eles Os Algoritmos De Hopcroft E Tarjan, E De Booth E Lueker. Mais Recentemente, Shih E Hsu Encontraram Um Outro Algoritmo Eficiente, Que Vem Sendo Considerado Mais Simples Que Os Anteriores. Examinamos Estes Três Algoritmos Eficientes Quanto à Forma Como Caracterizam Planaridade E Proporcionam Complexidade Linear Aos Algoritmos. Procuramos Apresentar De Maneira Mais Clara Possível Os Dois Algoritmos Clássicos E Discutir A Simplicidade Aparente Do Algoritmo De Shih E Hsu. |
| Download |
|
|