Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2009. / Submitted by Larissa Ferreira dos Angelos (ferreirangelos@gmail.com) on 2010-04-12T15:28:51Z No. of bitstreams: 1 2009_PauloJoseSouzaJunior.pdf: 4295727 bytes, checksum: 212391fc663c22d13ab04561f3094728 (MD5) / Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-04-15T00:54:05Z (GMT) No. of bitstreams: 1 2009_PauloJoseSouzaJunior.pdf: 4295727 bytes, checksum: 212391fc663c22d13ab04561f3094728 (MD5) / Made available in DSpace on 2010-04-15T00:54:05Z (GMT). No. of bitstreams: 1 2009_PauloJoseSouzaJunior.pdf: 4295727 bytes, checksum: 212391fc663c22d13ab04561f3094728 (MD5) Previous issue date: 2009-03-14 / Esta dissertação apresenta uma ferramenta de autoria para aplicações híbridas (declarativas e procedurais) em Ginga-NCLua para a TV Digital interativa do Brasil. A demora na disponibilização do Ginga-J, módulo do Ginga para códigos procedurais, foi a maior motivação para este trabalho. A necessidade de se criar aplicações procedurais com entrada e saída de dados, e as vantagens de se usar a linguagem Lua e o Ginga-NCLua (uma classe de objetos de mídia Lua), foram um importante fator de incentivo. O LuaComp é uma ferramenta de autoria que possibilita ao usuário a rápida criação de aplicações. O LuaComp explorando funcionalidades do LuaOnTV. O LuaOnTV é um framework para utilização dos componentes gráficos para entrada e saída de dados em aplicações interativas implementada sob o paradigma da programação orientada a objetos. O LuaComp, além de uma interface de fácil uso e com os principais recursos das mais destacadas ferramentas de autoria, Delphi e Visual Basic, também apresenta as visões como recursos utilizados na maioria das ferramentas de autoria para TV Digital. O LuaComp também se destaca por apresentar um resultado WYSIWYG e permitir a criação e utilização de templates em arquivos XML. O Luacomp implementa aplicações NCL com pouco sincronismo, mas o suficiente para sincronizar a aplicação NCLua com a programação e/ou vídeo principal. Em resumo, o sistema proposto visa agilizar a criação de aplicações voltadas para TVs Digitais interativas, abstraindo do autor toda, ou pelo menos parcialmente, a complexidade de se programar em NCL e Lua. _________________________________________________________________________________________ ABSTRACT / This work presents an authoring tool to create hybrid (declarative and procedural) applications of Ginga-NCLua for interactive digital TV of Brazil. The unavailability of Ginga-J middleware was the biggest motivation for this work. The demand of input/output applications, the availability of Ginga-NCLua (a class of Lua media objects) and the advantages of Lua language were an important incentive. The LuaComp is an authoring tool to makes possible a fast creation of applications, exploring LuaOnTV, a framework of graphical components to interactive applications of input and output of data implemented under the paradigm of object-oriented programming (OOP). The LuaComp is an interface of easy use with the most advanced authoring tool, Delphi and Visual Basic. In the same way that in the most authoring tool of interactive digital tv, in which it is based, in LuaComp, the abstractions are defined using views that allow to simulate a specific type of edition (structural, temporal, layout and textual). This tool also presents the visions of the authorship tools for digital TV. The LuaComp also presents a result WYSIWYG and allow create templates to archives XML. The Luacomp implements NCL applications with little synchronism but sufficient to synchronize the NCLua applications with the programming and/or video. In summary, the considered system tries to make easier the creation of interactive digital TV applications, abstracting from the author all, or at least some complexity of programming in NCL and Lua.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-06-21T22:19:58Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Crystal de Menezes Santos.pdf: 10633655 bytes, checksum: 2e380e7a1dba986eae644c86df3ef4c3 (MD5) / Made available in DSpace on 2018-06-21T22:19:58Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Crystal de Menezes Santos.pdf: 10633655 bytes, checksum: 2e380e7a1dba986eae644c86df3ef4c3 (MD5) Previous issue date: 2017-02-17 / No contexto deste trabalho, uma linguagem de modelagem é qualquer linguagem artificial que, a partir de um conjunto consistente de construtores e de regras de associação entre estes, pode ser usada para di agram ar um domínio e, consequentemente, gerar código interpretável ou executável. O uso de linguagem de modelagem para diagramar programas procedurais em Banco de Dados Relacionais ainda é um tema que tem limitações, principalmente: metamodelos pouco expressivos (ou inexistentes) e notação gráfica sobrecarregada e pouco abrangente. Visando superar estas limitações, esta dissertação propõe Crystal, uma linguagem de modelagem simplificada para apoiar a especificação de programas procedurais para Banco de Dados Relacionais. Crystal é fortemente baseada em Model Driven Development (MDD) - um paradigma da Engenharia de Software que gera código interpretável/executável a partir de modelos. Isto é, em MDD, modelos são mais do que artefatos de documentação, pois estes correspondem a objetos executáveis. Visando mostrar a viabilidade da linguagem proposta, a ferramenta CrystalCASE é desenvolvida como prova de conceito. Além disso, de modo a apresentar evidências que o trabalho proposto avança o estado da arte, são especificados cenários de testes que exploram os principais construtores de Procedural Language/Structured Query Language (PLSQL) e, a partir desses cenários, o trabalho proposto é comparado com os principais trabalhos relacionados. Como resultado das análises comparativas, pode-se constatar que o trabalho proposto tem as seguintes vantagens: metamodelo mais expressivo e notação gráfica mais simplificada e representativa. / Within the context of this dissertation, a modeling language is any artificial language that, from a set of consistent constructors and mies of association between them, can be used to diagram a dom ai n and, consequently, generate interpretable or executable code. The use of modeling language to diagram procedural programs in relational database is still a limited subject within boundaries, mostly: unexpressive (or inexisting) metamodels and meticulous and overloaded graphic notation. Aiming at overcoming limits, this dissertation proposes Crystal, a modeling simplified language to support procedural program specification for relational databases. Crystal is strongly based in Model Driven Development (MDD) - Software Engineering paradigm that generates interpretable/executable code from existing models. That is, in MDD, models are more than documentation assets, because such models correspond to executable objects. In order to show the feasibility of the proposed language, the CrystalCASE tool is developed as proof of concept. Beyond that, in order to present evidence that the proposed model advances the State of the art, test scenarios are specified exploring the main Procedural Language/Structured Query Language (PLSQL) constructors and, from these scenarios, the proposed model is compared with most relevant related work. As a result of the comparative analysis, it can be seen that the proposed model presents the following advantages: more expressive metamodel and more simplified and representational graphic notation.

Orientador: Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-21T03:22:30Z (GMT). No. of bitstreams: 1 Costa_ClevanRicardoda_M.pdf: 1291094 bytes, checksum: 09ecb271fba38a234b38746d0b88988d (MD5) Previous issue date: 1995 / Resumo: Este trabalho consiste na introdução de uma fase de otimização no compilador para a linguagem LL. O eu principal objetivo é a inferência de tipos, realizada através de uma análise de fluxo de dados. São apresentados diversos métodos para inferência de tipos em linguagens orientadas a objetos, bem como uma revisão sobre análise de fluxo de dados. O método de Kaplan e Ullman éapresentado com mais detalhes, juntamente com sua adaptação para LL , sua implementação e junção ao compilador desenvolvido para a linguagem. Finalmente são apresentadas as conclusões, os resultados obtidos e as propostas de extensões futuras para o trabalho. / Abstract: We describe in this thesis an optirnization phase for a compiler for the language LL. Its main goal is type inference achieved through data fiow analysis. Several methods for type inference in object-oriented languages are described, including a description of data fiow analysis. The Kaplan and Ullman method is described in more detail. Its adaptation to . LL and the implementation within an existing compiler are also described. We present also some final conclusions, including examples and possible extensions. / Mestrado / Mestre em Ciência da Computação

Orientador: Vinicius Amaral Armentano / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T21:05:28Z (GMT). No. of bitstreams: 1 Guimaraes_LuciaFilomenadeAlmeida_D.pdf: 6025825 bytes, checksum: 0cad394cd2c4d3042aece408ca602972 (MD5) Previous issue date: 1997 / Resumo: : O sistema Kanban de produção é um sistema do tipo ?puxar? para controle de chão de fábrica. Ele é motivado pelo conceito de produção Just-in-Time e tem como objetivo programar a produção, reduzindo ao mínimo os níveis de estoque. Neste trabalho considera-se um ambiente de produção com estrutura de montagem multi-estágio e restrições de capacidade dos itens componentes e do item final. Um modelo estocástico de otimização com recurso que incorpora as incertezas da demanda do item final e capacidade de produção é proposto. Demanda não atendida é permitida no estágio final do modelo. Um método do tipo Branch and Cut é desenvolvido para obter soluções ótimas. Soluções sub-ótimas são obtidas através de um método heurístico e de busca tabu. Testes computacionais são apresentado / Abstract: The kanban production system is a pull-type system for shop floor control. It is based on the concept of Just-in-Time production and has the porpuse of scheduling production, reducing inventory levels to a minimum. In this work, a multi-stage assembly-structure production setting with capacity constraints for the component items and the final item is considered. A stochastic optimization model with recourse that takes into account uncertainties of demand of the final item and production capacity is proposed. Backlog is allowed in the final stage. A Branch and Cut method is developed in order to obtain optimal solutions. Sub-optimal solutions are obtained by a heuristic method and by tabu search. Computational test are reported. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Jose Mario Martinez / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T01:06:27Z (GMT). No. of bitstreams: 1 Bielschowsky_RobertoHugo_D.pdf: 5956930 bytes, checksum: 49d1d2e75a72890d87aecbedd953965e (MD5) Previous issue date: 1997 / Resumo: Abordamos, nesta tese, o problema de obter pontos de mínimo local de funções diferenciáveis, definidas no lRn e sujeitas a restrições. Nosso ponto de partida reside numa aposta em algoritmos que têm muito em comum com algoritmos de pontos factíveis, tais como, por exemplo, o GRG e o Gradiente Projetado, porém relaxando de forma dinâmica as restrições de igualdade h(x) = 0. Ou seja, relaxaremos a condição h(x(k)) = 0, característica dos iterandos gerados em métodos de pontos factíveis, para uma na forma ||h(x(k))|| = O(||gp(x(k))||).gp(x) representa a projeção ortogonal do gradiente V¿(x), no espaço tangente às restrições N(h'(x)). No capítulo 1 situamos nossa abordagem. No capítulo 2 formulamos um algoritmo desenvolvendo-a para restrições de igualdade apenas, e que denominaremos de CDR (Controle Dinâmico das Restrições). Pensando em problemas de grande porte não estruturados formulamos uma versão adequada a tratar de forma inexata todos os subproblemas lineares envolvidos. Vale dizer, sem fatorações de matrizes. Ainda no segundo capítulo desenvolvemos uma teoria de convergência global para o método, e no terceiro uma teoria de convergência local. No quarto capítulo apresentamos os resultados de alguns testes preliminares com o algoritmo, realizados em colaboração com Francisco M. Gomes. No quinto capítulo e no apêndice tratamos de possíveis extensões de CDR, visando incluir também restrições de desigualdade. / Abstract: Not informed. / Doutorado / Doutor em Matemática Aplicada

Orientador: Marco Lucio Bittencourt / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-23T02:10:18Z (GMT). No. of bitstreams: 1 Silva_ClaudioAlessandrodeCarvalho_M.pdf: 9888631 bytes, checksum: 725b529f317887d24bc51fe0045d30bb (MD5) Previous issue date: 1997 / Resumo: Neste trabalho, apresentam-se conceitos de otimização estrutural e análise de sensibilidade em elasticidade linear, tomando-se exemplos de problemas bidimensionais discretizados pelo método de elementos finitos. A partir das características específicas dos problemas estruturais, identificam-se os requisitos necessários a um algoritmo de minimização eficiente para tais problemas. Foi implementado um algoritmo de programação quadrática recursiva de ponto interior para otimização, o qual apresenta taxa de convergência superlinear e utiliza busca linear imprecisa. Utilizam-se a formulação contínua da análise de sensibilidade e o método adjunto no desenvolvimento das expressões de sensibilidade a parâmetros e forma, visando a determinação de gradientes de funcionais de performance estrutural. Na análise de sensibilidade a forma, a geometria do domínio é parametrizada em NURBS, definindo o campo de velocidades no contorno. Os gradientes obtidos pela análise de sensibilidade são aplicados na otimização de espessura e na obtenção de formas ótimas em problemas de estado plano de tensão. Os procedimentos numéricos foram incorporados a uma base de programas já desenvolvida para análise pelo método de elementos finitos, empregando o paradigma por objetos em C++. Com isto foi possível aumentar a eficiência da interação entre os módulos de análise por elementos finitos, análise de sensibilidade e otimização / Abstract: This work presents concepts of structural optimization and design sensitivity analysis in linear elasticity, considering two dimensional finite element problems. The requirements of an eflicient minimization algoritm for structural problems are identified, taking into account specific characteristics of this sort of problems. An interior point sequential quadratic programming algorithm, showing superlinear convergence and using inexact line search, was implemented. Continuum approach of design sensitivity analysis and adjoint method were used to develop shape and size sensitivity expressions, aiming for computing performance functional gradients. In shape sensitivity analysis, the domain geometry was parametrized using NURBS, which defines the boundary velocity field. The gradients obtained from design sensitivity analysis were applied to thickness and shape optimization of plane stress problems. The numerical procedures were linked to other programs previously developed for finite element analysis applying object-oriented concepts in C++. Indeed, it was possible to improve the efliciency of interaction among finite element analysis, design sensitivity analysis and optimization modules / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Gil Eduardo Serra / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Alimentos / Made available in DSpace on 2018-07-28T00:05:12Z (GMT). No. of bitstreams: 1 Caliari_Marcio_D.pdf: 42796106 bytes, checksum: d0b0dc244327a044987de77f1c739c64 (MD5) Previous issue date: 2001 / Resumo: A proposta deste trabalho é de desenvolver um programa para selecionar, dentro da realidade existente nos setores agrícola e industrial, os talhões de cana-de-açúcar que devem ser colhidos semanalmente, para se obter a máxima produção de açúcar por hectare, na safra. Especificamente, este trabalho visa desenvolver uma ferramenta versátil, que envolva a maximização da colheita em termos de açúcar por área cultivada, gerar relatórios dos departamentos agrícola e industrial, permitir a discussão em grupo, e dar respostas para as questões: a)Quais talhões de cana o Departamento Agrícola deve cortar semanalmente em cada frente de corte? b)Quantas toneladas de açúcar serão entregues ao setor industrial, na semana e na safra? e c)Qual a programação de corte de cana, para as propriedades que a usina administra, durante o período de safra? O programa foi desenvolvido em três etapas distintas: a)Formulação de um fluxograma com as diversas situações possíveis de serem encontradas em uma unidade produtora de álcool e açúcar; b)Criação de formulários próprios através do Access para armazenar dados do Departamento Agrícola, e de planilhas do Excel para coletar e processar dados industriais, filtrar dados agrícolas do Access, gerar relatórios com a utilização de tabelas dinâmicas e preparar uma matriz para ser processada em um pacote de resolução de problemas de programação linear; e c)Utilização da programação matemática para maximização do açúcar por hectare, com o aplicativo Xa Sunset, obedecendo a restrições impostas. Para verificação da operacionalidade e eficiência do programa, e avaliação da resposta, utilizou-se dados reais da safra 98/99 obtidos junto a uma usina de açúcar, que contempla as diversas variáveis e situações encontradas na colheita da cana-de-açúcar. Embora a validação tenha sido feita somente com uma usina, o programa também contempla situações que podem ser encontradas em outras unidades produtoras de álcool e açúcar. A utilização de dados reais e a posterior comparação dos resultados, permitiu ao desenvolvimento da programação seguir uma lógica em todos os sistemas envolvidos no manejo do canavial, e ao mesmo tempo, fornecer um parâmetro comparativo entre o planejamento empírico (aplicado na usina tomada como modelo neste trabalho) e o programado matematicamente. A programação desenvolvida contempla variáveis agrícolas e industriais, conjugadas no interesse e planejamento da colheita. O enfoque adotado foi de considerar a produção de açúcar ao longo da safra, diferentemente de outros programas que consideram somente a variação do teor de açúcar (Pol % Cana) e fixam a produção de cana (t/ha), ou consideram apenas a produção de cana (t/ha), e em alguns casos agrupam áreas considerando-as blocos homogêneos e comparando-os. Outro aspecto importante é que o programa contempla o detalhamento individual das inúmeras variáveis envolvidas nas áreas agrícola e industrial: tempo de aproveitamento na moagem, cana de fornecedores, frentes de trabalho, aplicação de maturadores, evolução da produtividade de cana e do teor de açúcar no decorrer da safra, etc. Portanto, a adoção da variável "açúcar por área" contempla a consideração de duas outras variáveis: a variação da produtividade de cana (tIha) e a variação do teor de açúcar (Pol % Cana). Assim, a alimentação de dados permite abranger a dinâmica da evolução da produtividade de cana ao longo da safra contemplando sua elevação, e a variação sazonal do teor de açúcar. Essa multiplicação permite a otimização com a visão do rendimento dos talhões na safra, e não apenas o talhão com maior teor de açúcar em determinada semana. O resultado da programação linear mostra, no caso dos dados utilizados da safra 98/99, que a sua aplicação teria possibilitado um ganho de até 6,5% do açúcar total entregue na usina. Além da aplicação direta do programa de otimização, para maximização dentro da safra, o mesmo também pode ser utilizado pela equipe agronômica para manipular as decisões, com vistas a estabelecer situações diferenciadas para a safra seguinte. Ou seja, é possível promover a otimização com vistas a melhor planejamento do canavial para os próximos anos, e não apenas à otimização da colheita em andamento, e desta forma utilizando o programa em simulações. / Abstracts: The proposal of this work is the development of a computer program able to optimize sugarcane harvesting in order to maximize sugar harvesting per hectare in a definite season. It also yield reports for the agronomic and industry departments of the sugar mill. There were three steps for the development of the program: a)preparation of a flowchart with ali the alternative operational situations that occur in sugarcane crop and harvesting; b)preparation of a Microsoft Access data sheet with useful information concerning sugarcane fields, and Microsoft Excel spreadsheet to receive and process agronomic and industrial data and constraints, prepare reports and a matrix to be solved by linear programming; c)application of mathematics solver Sunset XA for maximization of sugar per hectare yield of the total sugarcane crop area. For development the program it was taken a sugar mill (Usina COFERCATU, Parana State, Brazil) as model, and both results were compared, the official figures of the 98/99 season obtained and those theoretically obtained by simulation with the computer programo The harvesting of the 98/99 season at Usina COFERCATU, was planned by the agronomic staff with no assistance of computer programs. The adoption of the criteria of maximization of sugar per area, instead of only sugarcane yields (t/ha) or sugar content of the cane (pol % cane), makes the difference of this program in relation to others that already exist. Other important features of this program are: each sugarcane field is individualized, and not grouped together in blocks or areas; sugarcane yields, evaluated at the beginning of harvesting season, are not fixed as a constant, but are taken considering growth curves during the harvesting season, as well the variety maturation curve of the specific field; severa I constraints were considered ant others can be easily included: application of cane ripeners, ratoon destruction and planting areas, vinasse application areas, harvesting fronts, manual and mechanical harvesting, cane seed areas and others. The mathematics optimization can led to a yield increase of near to 6,5% of the total field sugar obtainable by non-optimized harvesting. / Doutorado / Açucar e Açucarados / Doutor em Tecnologia de Alimentos

Orientador : Maria Aparecida Diniz Ehrhardt / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-28T21:36:17Z (GMT). No. of bitstreams: 1 CarlosNeto_Luiz_M.pdf: 1869815 bytes, checksum: 09055fcc31034188a8a833f5bce3df91 (MD5) Previous issue date: 2001 / Resumo: Muitos problemas reais podem ser representados ou aproximados como um problema de programação não-linear, onde a função objetivo e/ou as restrições são não-lineares. Dentre estes podemos citar problemas de controle ótimo de produção e estoque, desenho de estruturas mecânicas, otimização de redes elétricas, modelos de risco de mercado, entre outros (ver [1]). Destes problemas, considerou-se aqueles onde as variáveis são canalizadas. Para sua resolução, estudou-se dois algoritmos: BOX-QUACAN, proposto por Friedlander, Martínez e Santos [13], do tipo região de confiança, e L-BFGS-B, de Byrd, Lu, Nocedal e Zhu [3], que trabalha com busca linear. O enfoque deste estudo está na aproximação da matriz Hessiana, necessária em ambos os códigos. O trabalho foi feito com o intuito de se obter resultados mais conclusivos em relação à performance de BOX -QUACAN com as aproximações secantes de banda para a Hessiana (BOX-QUACAN Modificado). Assim, os resultados numéricos de BOX-QUACAN Modificado foram comparados com os de L-BFGS-B juntamente com o EASY, uma versão de BOX -QUACAN que trabalha com diferenças finitas para aproximar a Hessiana / Mestrado / Mestre em Matemática Aplicada

Orientador : João Carlos Setubal / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-01T14:46:21Z (GMT). No. of bitstreams: 1 AlmeidaJunior_NalvoFrancode_D.pdf: 4063735 bytes, checksum: ae88e06ee694d12493f3012d7c0da314 (MD5) Previous issue date: 2002 / Resumo: Com o crescente número de genomas seqüenciados e publicados, surge a necessidade de se analisar as seqüências geradas, com o objetivo de se entender melhor caracterizações funcionais dos organismos estudados, assim como aspectos evolutivos. Um projeto genoma de um organismo, em especial de um procarioto, consiste essencialmente de três grandes fases: o seqüenciamento, a anotação e a análise. A última etapa, por sua vez, consiste na tentativa de se obter uma visão global do genoma a partir da anotação e a partir de outras análises, como por exemplo a comparação com outros genomas. E é nesse contexto, comparação de genomas, que esta tese se insere. Nosso trabalho propõe metodologias para comparação detalhada de dois genomas, tanto no nível de DNA, quanto no de seus genes, assim como a implementação dessas metodologias. O principal objetivo é fornecer ao usuário um conjunto de ferramentas para caracterização funcional do organismo estudado, servindo também como ferramental auxiliar na anotação / Abstract: With increasing availability of published genome sequences, we need to analyse them in order to understand functional and evolutionary issues of the organisms. A genome project, in particular for prokaryotes, consists of three main phases: sequencing, annotation and analysis. The last phase consists of getting an overview of the genome from the annotation and other analysis, like comparison to other genomes, for example. This thesis is about genome comparison. We propose methodologies for detailed comparison of two genomes, at the DNA and their genes levels. The main goal is to provide a set of tools for functional characterization of organisms, serving also as an auxiliar tool for annotation / Doutorado / Doutor em Ciência da Computação

Orientador: Edmundo Roberto Mauro Madeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T20:14:32Z (GMT). No. of bitstreams: 1 Pedatella_RodrigoNeiva_M.pdf: 3303481 bytes, checksum: 02d2d5c357902a4539c3f1074963a9f7 (MD5) Previous issue date: 2003 / Mestrado