O presente trabalho se insere no desenvolvimento de códigos de simulação em CFD utilizados pelo Instituto de Aeronáutica e Espaço (DCTA/IAE) e pelo Instituto Tecnológico de Aeronáutica (DCTA/ITA) para o cálculo do desempenho aerodinâmico de configurações aeroespaciais diversas. O trabalho enfoca configurações aeronáuticas em condições de alta sustentação e, usualmente, com dispositivos hiper-sustentadores estendidos. A análise do escoamento nestas condições de altos valores de sustentação é muito complexa devido à não linearidade do escoamento e à iminência da separação do mesmo. Para tanto, será utilizado um código computacional em desenvolvimento no Laboratório de Aerodinâmica Computacional do DCTA/IAE/ALA, que utiliza uma formulação de Navier-Stokes com média de Reynolds juntamente com fechamentos de turbulência apropriados. O trabalho também utiliza códigos comerciais de uso corrente na comunidade aeroespacial. É parte integrante do trabalho contribuir para a validação e calibração do código em desenvolvimento para as aplicações de interesse, assim como para a avaliação dos códigos comerciais nestas mesmas aplicações. Tal esforço inclui a análise de modelos de turbulência mais adequados e estudos detalhados de refinamento e topologia de malhas, bem como permitir recomendações quanto aos requisitos para tratar tais problemas em um ambiente industrial. Os estudos consideram configurações bidimensionais de aerofólios com dispositivos hiper-sustentadores. Além disso, foi implementado um método de pré-condicionamento, que é construído a partir de modificações sobre os esquemas compressíveis usuais. Desta forma, obtém-se métodos numéricos mais robustos para o tratamento dos escoamentos encontrados nas faixas de velocidade relevantes para a análise de dispositivos hiper-sustentadores. Com base em uma análise preliminar e resultados obtidos com o código computacional em uma geometria simplificada, constatou-se que as malhas computacionais necessárias para discretizar uma geometria realística de interesse, como, por exemplo, uma configuração 3-D asa-fuselagem, seria da ordem de alguns milhões de volumes. Portanto, foi necessária a paralelização do código computacional para que o mesmo pudesse ser compilado e executado em máquinas com diversos processadores ou em várias máquinas distintas. Este trabalho de paralelização constituiu-se em uma contribuição adicional do presente esforço.

Moldagem por injeção é um dos mais importantes processos industriais para produção de produtos plásticos finos. Esse processo é dividido essencialmente em quatro estágios: plastificação, preenchimento, empacotamento e resfriamento. O escoamento de um fluido caracterizado por alta viscosidade em uma cavidade estreita é um problema tipicamente encontrado em processos de moldagem por injeção.Neste caso, o escoamento pode ser descrito por uma formulação conhecida como aproximação de Hele-Shaw. Tal formulação pode ser derivada das equações de conservação tridimensionais usando um número de suposições a respeito do polímero injetado e da geometria da cavidade do molde, juntamente com a integração e o acoplamento das equações da conservação da quantidade de movimento e da continuidade. Essa formulação, referindo às limitações da geometria do molde como sendo canais estreitos e quase sem curvatura, é comumente denominada formulação 2 1/2D. Neste trabalho, é apresentada uma técnica para a simulação da fase de preenchimento de um processo de moldagem por injeção, usando essa formulação 2 1/2D, com um método de volumes finitos e malhas não estruturadas. O modelo de Cross modificado com dependência da temperatura de Arrhenius é empregado para descrever a viscosidade do polímero fundido. O campo de distribuição de temperatura é tridimensional e é resolvido usando um esquema semi-Lagrangeano baseado em volumes finitos. As malhas não estruturadas utilizadas são geradas por triangulação de Delaunay e o método numérico implementado usa a estrutura de dados topológica SHE - Singular Handle Edge, que é capaz de lidar com condições de contorno e singularidades, aspectos comumente encontrados em simulações numéricas de escoamento de fluidos. / Injection molding is one of the most important industrial processes for the manufacturing of thin plastic products. This process can be divided into four stages: plastic melting, filling, packing and cooling phases. The flow of a fluid characterized by high viscosity in a narrow gap is a problem typically found in injection molding processes. In this case, the flow can be described by a formulation known as Hele-Shaw approach. Such formulation can be btained from the three-dimensional conservation equation using a number of assumptions regarding the injected polymer and the geometry of the mold, together with the integration and the coupling of the momentum and continuity equations. This approach, referring to limitations of the mould geometry to narrow, weakly curved channels, is usually called 2 1/2D approach. In this work a technique for the simulation of the filling stage of the injection molding process, using this 2 1/2D approach, with a finite volume method and unstructured meshes, is presented. The modified-Cross model with Arrhenius temperature dependence is employed to describe the viscosity of the melt. The temperature field is 3D and it is solved using a semi-Lagrangian scheme based on the finite volume method. The employed unstructured meshes are generated by Delaunay triangulation and the implemented numerical method uses the topological data structure SHE - Singular Handle Edge, capable to deal with boundary conditions and singularities, aspects commonly found in numerical simulation of fluid flow.

[pt] Demonstrações em lógica podem tornar-se muito grandes e complexas. Para resolver problemas, e para estudar lógica, é comum valer-se de assistentes de demonstração. Um assistente de demonstração geral deve integrar ferramentas que ajudem a especificar as lógicas, as equações, os conjuntos de regras, e as estratégias de busca (semi) automática de demonstrações. A comunidade usuária de Provadores Automáticos de Teoremas conhece algumas ferramentas que atendem a estes requisitos. Entretanto, estas ferramentas não estão preparadas para lidar com demonstrações muito grandes. Trabalhos recentes sugerem que uma boa forma de chegar a demonstrações menores é usar grafos, ao invés de árvores, para representar demonstrações. Esta dissertação descreve e implementa uma máquina virtual baseada em grafo e um compilador para a confecção de provadores de teoremas baseados em grafo. Para validar a ferramenta, alguns estudos de casos e provadores de teoremas baseados em grafo são apresentados. / [en] Proofs in logic can become very big and complex. For problem solving, and to teach logic, it is common the use of proof assistants. A general proof assistant should integrate tools to help users on specifying the logics, the formulas, the sets of rules, and the very strategy to perform (semi) automatic proof search. The Automatic Theorem Provers community is aware of some tools that were designed to fulfill these requirements. However, these tools do not take the (possibly) huge size of a proof. Recent works have pointed out that a good way to achieve shorter proofs is the use of graphs, instead of trees, to represent proofs. This dissertation describes and implements a graph-based virtual machine and a compiler for the production of graph-based theorem provers. Some case studies, standard as well as graph-based theorem prover, are illustrated in order to validate the tool.

[pt] A visualização volumétrica é uma importante técnica para a exploração de dados tridimensionais complexos, como, por exemplo, o resultado de análises numéricas usando o método dos elementos finitos. A aplicação eficiente dessa técnica a malhas não-estruturadas tem sido uma importante área de pesquisa nos últimos anos. Há dois métodos básicos para a visualização dos dados volumétricos: extração de superfícies e renderização direta de volumes. Na primeira, iso-superfícies de um campo escalar são extraídas explicitamente. Na segunda, que é a utilizada neste trabalho, dados escalares são classificados a partir de uma função de transferência, que mapeia valores do campo escalar em cor e opacidade, para serem visualizados. Com a evolução das placas gráficas (GPU) dos computadores pessoais, foram desenvolvidas novas técnicas para visualização volumétrica interativa de malhas não-estruturadas. Os novos algoritmos tiram proveito da aceleração e da possibilidade de programação dessas placas, cujo poder de processamento cresce a um ritmo superior ao dos processadores convencionais (CPU). Este trabalho avalia e compara dois algoritmos para visualização volumétrica de malhas não-estruturadas, baseados em GPU: projeção de células independente do observador e traçado de raios. Adicionalmente, são propostas duas adaptações dos algoritmos estudados. Para o algoritmo de projeção de células, propõe-se uma estruturação dos dados na GPU para eliminar o alto custo de transferência de dados para a placa gráfica. Para o algoritmo de traçado de raios, propõe-se fazer a integração da função de transferência na GPU, melhorando a qualidade da imagem final obtida e permitindo a alteração da função de transferência de maneira interativa. / [en] Volume visualization is an important technique for the exploration of threedimensional complex data sets, such as the results of numerical analysis using the finite elements method. The efficient application of this technique to unstructured meshes has been an important area of research in the past few years. There are two basic methods to visualize volumetric data: surface extraction and direct volume rendering. In the first, the iso-surfaces of the scalar field are explicitly extracted. In the second, which is the one used in this work, scalar data are classified by a transfer function, which maps the scalar values to color and opacity, to be visualized. With the evolution of personal computer graphics cards (GPU), new techniques for volume visualization have been developed. The new algorithms take advantage of modern programmable graphics cards, whose processing power increases at a faster rate than the one observed in conventional processors (CPU). This work evaluates and compares two GPU- based algorithms for volume visualization of unstructured meshes: view- independent cell projection (VICP) and ray-tracing. In addition, two adaptations of the studied algorithms are proposed. For the cell projection algorithm, we propose a GPU data structure in order to eliminate the high costs of the CPU to GPU data transfer. For the raytracing algorithm, we propose to integrate the transfer function in the GPU, which increases the quality of the generated image and allows to interactively change the transfer function.

Made available in DSpace on 2014-12-17T15:04:50Z (GMT). No. of bitstreams: 1 CandiceASC.pdf: 769255 bytes, checksum: 01e1808b4b2c0797f92207e6e65d2f24 (MD5) Previous issue date: 2007-04-30 / The present study constitutes a discussion about the application of Structured Activities to the construction of the mathematical knowledge, proposed by Richard Skemp. The discussion is based on the research that the author carried out in a public school of the state education chain buy using procedures of the research-action. It investigates the possibility of adoption of the proposal of Skemp in a new reality. It utilizes explanations from several theorists to understand the necessity and, at the same time, to enhance the efficiency of the referred activities in first grades of elementary school when students have their first mathematics teachings. It emphasizes the important rule of the teacher, as mediator to the mental constructions of the child. It presents considerations about the results achieved by the research, noticing the possibility of adoption of the studied proposal even though it is necessary an adjustment of the procedures to appropriate didactic-pedagogic requirements to the educational reality in which this project was done / O presente estudo constitui uma discuss?o em torno da aplica??o das Atividades Estruturadas para a constru??o do conhecimento matem?tico, propostas por Richard Skemp. A discuss?o ? baseada na pesquisa que a autora realizou em uma escola publica da rede estadual de ensino utilizando procedimentos da pesquisa-a??o. Investiga a possibilidade de ado??o da proposta de Skemp em uma nova realidade. Utiliza explica??es de v?rios te?ricos para compreender a necessidade e ao mesmo tempo real?ar a efic?cia das referidas atividades nas s?ries iniciais do ensino de matem?tica. Enfatiza o imprescind?vel papel do professor, como mediador das constru??es mentais da crian?a. Apresenta considera??es sobre os resultados obtidos com a pesquisa reconhecendo a possibilidade de ado??o da proposta estudada embora com reajustes de procedimentos para adequar as exig?ncias did?tico-pedag?gicas ? realidade educativa na qual este trabalho foi realizado

Made available in DSpace on 2014-12-17T15:04:59Z (GMT). No. of bitstreams: 1 LiceuLC_DISSERT.pdf: 582558 bytes, checksum: 77eef9f6ab00def7a0eb1adb59957b9f (MD5) Previous issue date: 2012-12-20 / The present study investigates how the inter-relationship of the content of polynomial equations works with structured activities and with the history of mathematics through a sequence of activities presented in an e-book, so that the result of this research will proceed will result in a didactic and pedagogic proposal for the teaching of polynomial equations in a historical approach via the reported e-book. Therefore, we have considered in theoretical and methodological assumptions of the History of Mathematics, in structured activities and new technologies with an emphasis on e-book tool. We used as a methodological approach the qualitative research, as our research object adjusts to the objectives of this research mode. As methodological instruments, we used the e-book as a synthesis tool of the sequence of activities to be evaluated, while the questionnaires, semi-structured interviews and participant observation were designed to register and analyze the evaluation made by the research, participants in the structured activities. The processing and analysis of data collected though the questionnaires were organized, classified and quantified in summary tables to facilitate visualization, interpretation, understanding, and analysis of these data. As for participant observation was used to contribute to the qualitative analysis of the quantified data. The interviews were synthetically transcribed and qualitatively analyzed. The analysis ratified our research objectives and contributed to improve, approve and indicate the use of e-book for the teaching of polynomial equations. Thus, we consider that this educational product will bring significant contributions to the teaching of mathematical content, in Basic Education / O presente estudo investiga como se d? a inter-rela??o do conte?do de Equa??es Polinomiais com Atividades Estruturadas e a Hist?ria da Matem?tica por meio de uma sequ?ncia de atividades apresentadas num e-book, de modo que o resultado dessa investiga??o resulte numa proposta did?tica e pedag?gica para o ensino de Equa??es Polinomiais numa abordagem hist?rica por meio do referido e-book. Para tanto, nos fundamentamos em pressupostos te?ricos e metodol?gicos da Hist?ria da Matem?tica, em Atividades Estruturadas e em novas tecnologias, com ?nfase na ferramenta e-book. Utilizamos como abordagem metodol?gica a pesquisa qualitativa, visto que o nosso objeto de pesquisa se ajusta aos objetivos dessa modalidade de pesquisa. Como instrumentos metodol?gicos, utilizamos o ebook como ferramenta s?ntese da sequ?ncia de atividades a ser avaliada, enquanto que os question?rios, entrevistas semiestruturadas e observa??o participante tiveram o intuito de registrar e analisar a avalia??o que os participantes da pesquisa, fizeram das atividades estruturadas. O tratamento e an?lise dos dados colhidos por meio dos question?rios foram organizados, classificados e quantificados em quadros sint?ticos para facilitar a visualiza??o, a interpreta??o, a compreens?o e a an?lise desses dados. Quanto ? observa??o participante, foi utilizada para contribuir com a an?lise qualitativa dos dados quantificados. As entrevistas foram transcritas sinteticamente e analisadas qualitativamente. A an?lise ratificou os nossos objetivos da pesquisa e contribuiu para aperfei?oar, aprovar e indicar o uso do e-book para o ensino de Equa??es Polinomiais. Assim, consideramos que esse produto educacional trar? importantes contribui??es para o ensino desse conte?do matem?tico, na Educa??o B?sica

Orientador: Paulo Licio de Geus / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-13T11:26:28Z (GMT). No. of bitstreams: 1 Quinellato_DouglasGielo_M.pdf: 2170090 bytes, checksum: 70af102166738a9e7bd99af678848faf (MD5) Previous issue date: 2009 / Resumo: As redes P2P ganharam bastante popularidade na ultima decada, consolidando-se como um dos serviços mais populares da internet, provendo uma arquitetura distribuída para o fornecimento de servi¸cos sem a necessidade de um host assumir o papel de servidor. A popularidade trouxe, entretanto, a necessidade de se desenvolver mecanismos para garantir o funcionamento perante os crescentes ataques 'a rede. Com a estabilidade dos algoritmos relacionados ao funcionamento das redes P2P foi possível um aumento no desenvolvimento destes mecanismos de segurança. Nesta dissertação e proposto um sistema de reputação para redes P2P de compartilhamento de arquivos, um mecanismo de seguran¸ca que visa impedir a proliferação de arquivos corrompidos. Tais sistemas funcionam gerenciando as opiniões emitidas pelos nós participantes da rede sobre os serviços prestados pelos outros nós. Estas opiniões podem ser sobre o nó que prestou o serviço ou sobre a qualidade do serviço prestado. As opiniões sobre um mesmo nó ou serviço avaliado são armazenadas e posteriormente agregadas atraves de uma função, formando a reputação destes. O mecanismo proposto baseia-se nas opiniões emitidas sobre a autenticidade os arquivos, utilizando a reputação dos nós para indicar a qualidade da opinião sendo emitida por eles. Essa verificação da qualidade da opinião visa aumentar a confiança na opinião utilizada com a adicão de um nível de verificação por motivos de eficiência, visto que implementar uma rede de confiança inteira é custosa. Foram realizadas simulaçõs para a verificação da eficácia da rede, realizando comparações tanto com uma rede sem nenhum sistema de reputação quanto com outros sistemas de reputação. / Abstract: P2P networks have earned a great deal of popularity over the last decade, consolidating itself as one of the most popular internet service, providing a distributed architecture for the furnishing of services without the need of a centralized server host. However, such popularity brought the necessity for security mechanisms in order to assure the network availability in spite of the attacks on the network. Stability in the algorithms related to the basic operation of the P2P networks made possible the rise on the development of security systems. In this dissertation it's proposed a reputation system for file sharing P2P networks, a security mechanism aimed at lowering the spread of corrupted files in the network. Such systems work by managing the opinions issued by the participants of the network about the received services from the other nodes. These opinions can be about the nodes, or about the quality of the services themselves. Opinions about the same service or node are them joined through the use of a mathematical model (function), calculating their reputation. The proposed reputation system is based on the reputation of the files, using the node reputation as a means to assess the quality of the opinion being issued. This check is made with the purpose of improving trust in the used opinion by adding one level of opinion checking. Only one level is used for efficiency, since implementing a full trust network is expensive. Simulations were used in order to assess the effectiveness of the proposed reputation system. The results are used in comparisons with the same simulation without the use of any reputation system, and with the results of other reputation systems found in the literature. / Mestrado / Segurança de Redes / Mestre em Ciência da Computação

Orientador: Paulo Cardieri / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-07T23:43:16Z (GMT). No. of bitstreams: 1 MunozGallego_DavidAlfonso_M.pdf: 701198 bytes, checksum: b2030ec2292717eca9c4a897402834ab (MD5) Previous issue date: 2005 / Resumo: Este trabalho apresenta uma estimação da capacidade das redes sem fio tipo Mesh. As redes deste tipo têm topologias e padrões de tráfego únicos que as diferenciam das redes sem fio convencionais. Nas redes sem fio tipo mesh os nós atuam como clientes e como servidores e o tráfego e encaminhado para uma ou várias gateways em um modo multi-salto. A estimação da capacidade é baseada em estudos da Camada Física e MAC. Efeitos da propagação do canal são avaliados / Abstract: This work addresses the capacity of wireless mesh networks (WMN). This kind of networks has unique topologies and traffic patterns that differentiate them from conventional wireless networks. In WMN, the nodes act as clients and hosts and the traffic is forwarded to one or more gateways in a multihop fashion. The capacity estimation presented in this work is based on the physical and link layer investigation, using computer simulation / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Cette thèse analyse la politique de migration lors du recrutement d'immigrants qualifiés, menée par la province canadienne du Québec et la communauté brésilienne dans cette province francophone. Pour cela, le concept de diaspora a été utilisé comme modèle analytique de la formation de cette communauté d'immigrés dans une région d'installation non traditionnelle. Tout d'abord, ce travail présente l'histoire de cette province canadienne et le développement de la thématique migratoire et linguistique et le rôle des politiques de migration qui ont conduit à l'autonomie de la province dans le recrutement et la sélection de ses immigrants du volet économique en employant le système des points. Ensuite, les principales caractéristiques des communautés brésiliennes dans les principaux pays d'installation sont abordées afin de présenter la question de l'émigration brésilienne comme un phénomène contemporain. Il est démontré comment, depuis les années 1980 ce mouvement, auparavant résiduel, s'est répandu dans la culture brésilienne. Ensuite, est présenté le concept de diaspora afin de statuer sur l'émigration brésilienne comme une diaspora. Ultérieurement, ce travail présente, analyse et traite de la migration des Brésiliens sous ce prisme à travers des entretiens semi-directifs, dont les moyens institutionnels et formels, ainsi que les non institutionnels et informels d'être ici et là-bas sont largement employés. Il met en évidence le rôle des réseaux sociaux virtuels dans le processus,dans leur trajectoire migratoire et dans la formation de la communauté. Il est démontré que ces Brésiliens, au moment de quitter leur pays, étaient à la recherche d'une certaine qualité de vie et de garanties sociales dont ils croyaient être exclus au Brésil. / This thesis analyzes the migration policy recruitment of skilled immigrants, led by the Canadian province of Quebec and the Brazilian community in this French-speaking province. For this, the concept of diaspora has been used as an analytical model of the formation of the immigrant community in a non-traditional installation area. Initially this work presents the history of this province and the development of thematic and linguistic migration and the role of migration policies that led to the autonomy of the province in the recruitment and selection of its economic immigrants using the points system. Then, the main characteristics of Brazilian communities in major country of installation are presented in order to place the issue of Brazilian emigration as a contemporary phenomenon. It is shown how, since the 1980s, this movement, previously residual, has become so prevalent in Brazilian culture. Then, the concept of diaspora is introduced to show the Brazilian emigration as a diaspora. Subsequently, this work presents, analyzes and discusses the migration of Brazilians under this prism through semi-structured interviews, with institutional and formal means, as well as non-institutional and informal to be here and there that are widely used. It highlights the role of virtual social networks in the process, in their migration history and the formation of community. It is shown that these Brazilians, when leaving their country, were looking for a certain quality of life and social guarantees that in Brazil they believed to be excluded. / Esta tese analisa a política migratória de recrutamento de imigrantes qualificados conduzida pela província canadense do Québec e a comunidade brasileira nessa província francófona. Para isso, o conceito de diáspora foi empregado como um modelo de análise da formação dessa comunidade imigrante em uma área de instalação não-tradicional. Primeiramente, este trabalho apresenta a história desta província e do desenvolvimento da temática migratória e linguística e o papel das políticas de migração que levaram à autonomia da província no recrutamento e na seleção de seus imigrantes da categoria econômica através do sistema de pontos. Em seguida, as principais características das comunidades brasileiras nos principais países de instalação foram abordadas a fim de apresentar a questão da emigração brasileira como um fenômeno contemporâneo. É mostrado como, desde os anos 1980, este movimento, até então residual, se difundiu na cultura brasileira. Em seguida, é introduzido o conceito de diáspora afim de situarmos a emigração brasileira como uma diáspora. Posteriormente, este trabalho apresenta, analisa e discute a migração de brasileiros sob esse prisma por meio de entrevistas semi-estruturadas, cujos meios institucionais e formais, bem como não institucionais e informais para estar aqui e estar lá são amplamente utilizados. Ademais, destaca-se o papel das redes sociais virtuais no processo de imigração, na trajetória migratória e na formação dessa comunidade imigrante. É mostrado que esses brasileiros, quando deixaram o seu país, estavam à procura de certa qualidade de vida e de garantias sociais que eles acreditavam ser sido excluídos no Brasil.

A esfera é utilizada como domínio computacional na modelagem de diversos fenômenos físicos, como em previsão numérica do tempo. Sua discretização pode ser feita de diversas formas, sendo comum o uso de malha regulares em latitude/longitude. Recentemente, também para melhor uso de computação paralela, há uma tendência ao uso de malhas mais isotrópicas, dentre as quais a icosaédrica. Apesar de já existirem modelos atmosféricos que usam malhas icosaédricas, não há consenso sobre as metodologias mais adequadas a esse tipo de malha. Nos propusemos, portanto, a estudar em detalhe diversos fatores envolvidos no desenvolvimento de modelos atmosféricos globais usando malhas geodésicas icosaédricas. A discretização usual por volumes finitos para divergente de um campo vetorial utiliza como base o Teorema da Divergência e a regra do ponto médio nas arestas das células computacionais. A distribuição do erro obtida com esse método apresenta uma forte relação com características geométricas da malha. Definimos o conceito geométrico de alinhamento de células computacionais e desenvolvemos uma teoria que serve de base para explicar interferências de malha na discretização usual do divergente. Destacamos os impactos de certas relações de alinhamento das células na ordem da discretização do método. A teoria desenvolvida se aplica a qualquer malha geodésica e também pode ser usada para os operadores rotacional e laplaciano. Investigamos diversos métodos de interpolação na esfera adequados a malhas icosaédricas, e abordamos o problema de interpolação e reconstrução vetorial na esfera em malhas deslocadas. Usamos métodos alternativos de reconstrução vetorial aos usados na literatura, em particular, desenvolvemos um método híbrido de baixo custo e boa precisão. Por fim, utilizamos as técnicas de discretização, interpolação e reconstrução vetorial analisadas em um método semi-lagrangiano para o transporte na esfera em malhas geodésicas icosaédricas. Realizamos experimentos computacionais de transporte, incluindo testes de deformações na distribuição do campo transportado, que mostraram a adequação da metodologia para uso em modelos atmosféricos globais. A plataforma computacional desenvolvida nesta tese, incluindo geração de malhas, interpolações, reconstruções vetoriais e um modelo de transporte, fornece uma base para o futuro desenvolvimento de um modelo atmosférico global em malhas icosaédricas. / Spherical domains are used to model many physical phenomena, as, for instance, global numerical weather prediction. The sphere can be discretized in several ways, as for example a regular latitude-longitude grid. Recently, also motivated by a better use of parallel computers, more isotropic grids have been adopted in atmospheric global circulation models. Among those, the icosahedral grids are promising. Which kind of discretization methods and interpolation schemes are the best to use on those grids are still a research subject. Discretization of the sphere may be done in many ways and, recently, to make better use of computational resources, researchers are adopting more isotropic grids, such as the icosahedral one. In this thesis, we investigate in detail the numerical methodology to be used in atmospheric models on icosahedral grids. The usual finite volume method of discretization of the divergence of a vector field is based on the divergence theorem and makes use of the midpoint rule for integration on the edges of computational cells. The error distribution obtained with this method usually presents a strong correlation with some characteristics of the icosahedral grid. We introduced the concept of cell alignment and developed a theory which explains the grid imprinting patterns observed with the usual divergence discretization. We show how grid alignment impacts in the order of the divergence discretization. The theory developed applies to any geodesic grid and can also be used for other operators such as curl and Laplacian. Several interpolation schemes suitable for icosahedral grids were analysed, including the vector interpolation and reconstruction problem on staggered grids. We considered alternative vector reconstruction methods, in particular, we developed a hybrid low cost and good precision method. Finally, employing the discretizations and interpolations previously analysed, we developed a semi-Lagrangian transport method for geodesic icosahedral grids. Several tests were carried out, including deformational test cases, which demonstrated that the methodology is suitable to use in global atmospheric models. The computational platform developed in this thesis, including mesh generation, interpolation, vector reconstruction and the transport model, provides a basis for future development of global atmospheric models on icosahedral grids.