• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 216
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 1
  • Tagged with
  • 223
  • 223
  • 223
  • 133
  • 119
  • 95
  • 62
  • 61
  • 53
  • 41
  • 35
  • 34
  • 31
  • 31
  • 29
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
91

Eficiência energética em estações elevatórias de esgotos = estudo de caso em Uberlândia-MG / Energy efficiency in pumping stations sewage : a case study in Uberlândia-MG

Massulo, Adélia Mara 19 August 2018 (has links)
Orientador: Alberto Luiz Francato / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo / Made available in DSpace on 2018-08-19T01:12:20Z (GMT). No. of bitstreams: 1 Massulo_AdeliaMara_M.pdf: 15022902 bytes, checksum: 7c1463ac65523e398127a0f4bbcdbba4 (MD5) Previous issue date: 2011 / Resumo: A operação adequada de um sistema de coleta e afastamento de esgoto está diretamente relacionado a otimização do custo de operação do mesmo. Tendo em vista a utilização de equipamentos como: inversores de frequência e painéis de controle a distância para estações elevatórias de esgotos de grande porte e da inviabilidade financeira de instalar-se tais dispositivos em estações elevatórias de esgoto de pequeno e médio porte, a otimização surge como alternativa para buscar soluções eficientes e eficazes na operação do sistema. Na literatura relacionada ao assunto, verifica-se o desenvolvimento de diversos trabalhos com a aplicação e o desenvolvimento de rotinas computacionais de otimização específicas para o sistema de abastecimento de água. Contudo observa-se que ainda não existe o mesmo empenho para desenvolvimento de trabalhos voltados a eficiência operacional e energética em estações elevatórias de esgoto. Diante desse quadro, o presente trabalho tem como propósito aplicar uma rotina computacional de otimização que atenda as necessidades de estações elevatórias de esgoto. A metodologia utiliza a programação não linear, inteira e mista. O estudo de caso é feito com estações elevatórias de esgoto do município de Uberlândia-MG. Como resultado, foi obtida uma operação eficiente, que atende a todas as restrições impostas ao modelo, obtendo uma economia média de energia elétrica nas duas estações elevatórias de esgotos utilizadas para modelagem de vinte e dois por cento / Abstract: Proper operation of a system of collection and removal of sewage is directly related to the optimization of its operation. Given the use of equipment such as AC drives and control panels the distance to sewage pumping stations and large financial viability of installing such devices to sewage pumping stations in small and medium optimization arises to seek alternative solutions in efficient and effective operation of the system. In the literature related to the subject, there is the development of several works in the implementation and development of computational optimization routines specific to the water supply system. However it is observed that there is still the same commitment to development work aimed at operational and energy efficiency in sewage pumping stations. Against this background, this paper aims to apply a computer optimization routine that meets the needs of sewage pumping stations. The methodology to nonlinear programming, integer and mixed. The case study is done with the sewage pumping stations Uberlândia-MG. As a result, we obtained an efficient operation that meets all the restrictions imposed on the model, achieving an average savings of electric energy in the two sewage pumping stations used for modeling of twenty-two percent / Mestrado / Recursos Hidricos, Energeticos e Ambientais / Mestre em Engenharia Civil
92

Otimização topologica de estruturas sob não linearidade geométrica / Topology optimization of compliant mechanisms

Senne, Thadeu Alves, 1985- 25 February 2013 (has links)
Orientador: Francisco de Assis Magalhães Gomes Neto / Tese (doutorado )- Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-22T00:37:54Z (GMT). No. of bitstreams: 1 Senne_ThadeuAlves_D.pdf: 4979548 bytes, checksum: 0317347b212e7649dd09e5d5388e618e (MD5) Previous issue date: 2013 / Resumo: Nos últimos anos, a otimização topológica vem sendo amplamente adotada nas indústrias automotiva e aeroespacial, e no projeto de um tipo especial de estruturas, denominado mecanismo flexível. Grande parte dos trabalhos na área de otimização topológica considera que a estrutura possui uma relação linear entre deformações e deslocamentos, ou seja, supõe-se que os deslocamentos sofridos pela estrutura sejam pequenos. Todavia, para algumas estruturas, essa hipótese não é válida, sendo necessário supor que os deslocamentos são grandes, o que implica numa relação não linear entre deformações e deslocamentos. Nesse caso, dizemos que a estrutura está sob não linearidade geométrica. O objetivo desta tese de doutorado é a obtenção da topologia ótima de estruturas e de mecanismos flexíveis sob não linearidade geométrica através um novo algoritmo de otimização, denominado Programação Linear por Partes Sequencial (PLPS). Este método consiste na resolução de subproblemas de programação linear por partes convexas, onde são introduzidas informações sobre a diagonal da matriz Hessiana da função objetivo. Para acelerar o algoritmo, tais subproblemas são convertidos em problemas de programação linear. Provamos que a PLPS é globalmente convergente a pontos estacionários. Além disso, nossos experimentos numéricos realizados com estruturas e mecanismos flexíveis sujeitos a grandes deslocamentos mostram que a PLPS é eficiente e robusta / Abstract: In the last years, topology optimization has been broadly applied in the automotive and aerospatial industries, and to a special kind of structure, named compliant mechanism. Most papers on topology optimization consider that the structure has a linear relation between strains and displacements, meaning that the displacements of the structure are small. However, for some structures this assumption is not valid, and it is necessary to suppose that the displacements are large, implying in a nonlinear relation between strains and displacements. In this case, we say that the structure is under geometrical nonlinearity. The objective of this doctoral thesis is to obtain the optimum topology of structures and compliant mechanisms under geometrical nonlinearity through a new optimization algorithm, named Sequential Piecewise Linear Programming (SPLP). This method consists in the solution of convex piecewise linear programming subproblems that contain information about the diagonal of the Hessian matrix of the objective function. To speed up the algorithm, these subproblems are converted into linear programming ones. We prove that the SPLP is globally convergent to stationary points. Besides, our numerical experiments with structures and compliant mechanisms under large displacements also show that the SPLP is efficient and robust / Doutorado / Matematica Aplicada - Otimização / Doutor em Matemática Aplicada
93

Inviabilidade em métodos de lagrangiano aumentado / Infeasibility in augmented lagrangian methods

Prudente, Leandro da Fonseca, 1985- 05 April 2012 (has links)
Orientador: José Mario Martínez Pérez / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-20T09:19:13Z (GMT). No. of bitstreams: 1 Prudente_LeandrodaFonseca_D.pdf: 1307430 bytes, checksum: 6ac8a3a70af28dce0b2cd6d839b227ef (MD5) Previous issue date: 2012 / Resumo: Algoritmos de programação não-linear práticos podem convergir para pontos inviáveis mesmo quando o problema a ser resolvido é viável. Quando isso ocorre, é natural que o usuário mude o ponto inicial e/ou parâmetros algorítmicos e reaplique o método na tentativa de encontrar uma solução viável e ótima. Desta forma, o ideal é que um algoritmo não só seja eficiente em encontrar soluções viáveis, mas também que detecte rapidamente quando ele está fadado a convergir para um ponto inviável. Na tentativa de atingir esse objetivo, apresentamos modificações em um algoritmo baseado em Lagrangiano aumentado de modo que, no caso de convergência para um ponto inviável, os subproblemas são resolvidos com tolerâncias moderadas e, mesmo assim, as propriedades de convergência global são mantidas. Experimentos numéricos são apresentados / Abstract Practical Nonlinear Programming algorithms may converge to infeasible points even when the problem to be solved is feasible. When this occurs, it is natural for the user to change the starting point and/or algorithmic parameters and reapply the method in an attempt to find a feasible and optimal solution. Thus, the ideal is that an algorithm is eficient not only in finding feasible solutions, but also in quickly detecting when it is fated to converge to an infeasible point. In pursuit of this goal, we present modifications of an algorithm based on Augmented Lagrangians so that, in the case of convergence to an infeasible point, the subproblems are solved with moderate tolerances and, even then, the global convergence properties are maintained. Numerical experiments are presented / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada
94

Otimização de treliças planas

Cortes, Carlos Frederico Macedo 02 August 2018 (has links)
Orientadores : Francisco Antonio Menezes, Renato Soliani / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil / Made available in DSpace on 2018-08-02T00:38:32Z (GMT). No. of bitstreams: 1 Cortes_CarlosFredericoMacedo_M.pdf: 3755377 bytes, checksum: 3f5b34b5f7ad03935bf8c7ab7c01d33d (MD5) Previous issue date: 2002 / Resumo: Diminuir os custos com a construção de estruturas tornou-se ainda mais importante com a globalização da economia. No caso de treliças, uma estrutura leve, de fácil e rápida execução, o menor custo será representado pelo menor peso que a treliça poderá ter. O presente trabalho trata da otimização de peso de treliças planas com geometria e topologia fixadas. O processo de otimização proposto consiste em submeter uma configuração inicial de treliça plana a um programa que primeiramente sujeitará a função objetivo a um otimizador de caráter contínuo e nãolinear, restritas por funções que representam tensões admissíveis das barras (calculadas segundo a norma norte-americana de tensões admissíveis AISC/ASD 1989), limites para os deslocamentos nodais, áreas das seções transversais, além de equações de equilíbrio estático; com a finalidade de minimizar a área da seção transversal, mantendo o layout sugerido inicialmente. De posse desses valores ótimos, submetese novamente as mesmas equações a um outro otimizador, de caráter discreto e não-linear, acrescentando o conjunto de restrições com equações para a escolha de perfis disponíveis no mercado. Foi escrito o programa pTRUSS, em linguagem Pascal, que prepara um arquivo com os comandos específicos da linguagem interpretada GAMS. Esse arquivo gerado pelo programa pTRUSS é submetido ao software de otimização GAMS, que resolve o problema em estudo. Permitem-se dois tipos de análise: análise contínua e análise discreta. No primeiro caso o GAMS utiliza rotinas internas do MINOS 5.1 e no segundo o GAMS utiliza o otimizador DICOPT. Apresentam-se alguns exemplos encontrados na literatura para efeito de comparação de resultados. Compararam-se também os resultados obtidos pela proposta da dissertação com valores calculados com os programas SAP2000 e AutoMetal / Abstract: Due to the globalization of the economy, cost reduction has become more important. Concerning to the truss, a light, easy and quick build structure, the minimum cost will be represented by minimum weight that the truss could have. In this his work plane truss optimization with fixed geometry and fixed topology is studied. The proposed optimization process consists in applying to an initial configuration plane truss a code where, firstly, the Weight Objective Function will be subjected to a continuum and nonlinear solver, constrained by functions which represent the allowable stress members (according to the AISC-ASD/1989 code), displacement nodal limits and cross section area limits, as well as static equilibrium equations; focusing on minimizing the cross section area and keeping the initial configuration proposed. The optimal values obtained by continuum analysis will be used to submit again the same equations to another solver, now discrete and nonlinear. New equations of restraint that permit to choose available commercial sections were increased on program. Using Pascal language, it was made a program named p TRUSS that prepares a file with specific commands of language interpreted by GAMS. This file created by the pTRUSS program is submitted to the optimization software GAMS, that solves the problem in analysis. Two types of analyses are permitted: continuum analysis and discret analyses. In the former, the software GAMS uses internal routines of MINOS 5.1 and in the latter, GAMS uses the solver DICOPT. Examples from the literature are presented in order to compare the results. Commercial softwares as SAP2000 and AutoMetal were used to validate the results obtained by the software GAMS with the values calculed. / Mestrado / Estruturas / Mestre em Engenharia Civil
95

Analise e implementação de metodologias de jogos nebulosos

Nascimento, Ivana de Farias 10 August 2004 (has links)
Orientadores: Akebo Yamakami / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T23:45:49Z (GMT). No. of bitstreams: 1 Nascimento_IvanadeFarias_M.pdf: 540478 bytes, checksum: 1451358404fcc4b616e15e92b897e9f2 (MD5) Previous issue date: 2004 / Mestrado / Automação / Mestre em Engenharia Elétrica
96

Um modelo de despacho economico para reservas operativas

Agurto Lescano, Gerardo Miguel 08 February 2004 (has links)
Orientador: Takaaki Ohishi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e Computação / Made available in DSpace on 2018-08-04T00:51:09Z (GMT). No. of bitstreams: 1 AgurtoLescano_GerardoMiguel_M.pdf: 1470418 bytes, checksum: 9e91c402a202ef678405ff9d6a8c5291 (MD5) Previous issue date: 2004 / Resumo: Na última década, efetuou-se uma reorganização nos mercados elétricos em nível mundial, com importantes mudanças na sua estrutura, com disposição de aumentar a eficiência, qualidade e competitividade nos mesmos e com o objetivo final de beneficiar aos usuários ou consumidores. As características particulares desta indústria (impossibilidade de armazenamento da eletricidade e o conseguinte balanço que deve haver entre oferta e demanda, em todo momento, ou a existência de energia e potência ativa e reativa) dão ao Mercado elétrico uma estrutura muito especial. Neste trabalho se faz um estudo dos chamados Serviços Ancilares, necessários para assegurar a confiabilidade na operação do Sistema. Concretamente, escolheram-se para esta investigação 03 Sistemas elétricos diferentes: do Reino Unido, os Países Nórdicos (Noruega e Suécia) e o estado da Califórnia (EE. UU). Para cada um dos países estudados, analisam-se tanto os aspectos técnicos como econômicos relacionados com a produção, entrega, provisão, comercialização e remuneração dos Serviços Ancilares e intentar tirar conclusões úteis acerca das vantagens que apresenta cada estrutura. Finalmente, propõe-se uma forma de implementar um modelo de despacho centralizado e um modelo baseado leilão para a provisão dos Serviços Ancilares de Reserva Operativa. Em base às análises realizadas, implementou-se um algoritmo em Matlab para a resolução de um fluxo de potência ótimo linear, com o objetivo de minimizar os custos de tais serviços, sujeita às restrições do sistema. Além disso, sugerem-se soluções às necessidades atuais do dito Sistema e se destacam algumas conclusões úteis, que permitam guiar futuras investigações, na linha de determinar a melhor forma de implementação dos Serviços Ancilares necessários para assegurar a confiabilidade na operação do Sistema e obter uma provisão eficiente dos mesmos / Abstract: Over the last decade there has been a worldwide reorganization of the power markets, with important changes in their structures, with attempts to improve their efficiency, quality and competitiveness aiming the benefit of users or consumers. The particular characteristics of this industry (impossibility of energy storage and the consequent need for a balance between demand and supply, or the existence of active and reactive power energy) provide the electric market with a very special structure. In this Thesis, a systematic study of the calls the Ancillary Services is implemented in order to assure the security in the system operation. Three different electric systems were chosen for investigation: the United Kingdom, Nordic countries (Norway and Sweden), Spain, and the state of California (U.S). For each country studied, it was analyzed the technical aspects as well as the economic issues related to the production, delivery, provision, commercialization and charging of the Ancillary Services, trying to draw useful conclusions about the advantages that each structure presents. Finally, it is proposed an implementation model of centralized dispatch and a auction-based market model of Operative Reserve. Based on the analyses carried out, a MatLab algorithm was implemented for the solution of the optimum linear power flow, aiming the minimization of charging of these services, subject to the system constraints. Furthermore, solutions to the current need of the referred system were suggested, and some useful conclusions were drawn, allowing the guidance of future investigations toward the determination of the best way to implement the Ancillary Services in order to assure the security in the system operation and its efficiency / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica
97

Otimização da operação de sistemas de distribuição de agua abastecidos por bombeamento e reservatorios de regularização

Santana, Gilson Candido 03 May 1999 (has links)
Orientador: Secundino Soares Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T15:14:50Z (GMT). No. of bitstreams: 1 Santana_GilsonCandido_D.pdf: 15298800 bytes, checksum: d5213b738ebbd578b4ccadbf7704c80f (MD5) Previous issue date: 1999 / Resumo: No presente trabalho, foi desenvolvido um modelo de otimização para a operação de sistemas de distribuição de água abastecidos por múltiplas estações de bombeamento e múltiplos reservatórios de regularização. As dificuldades para alcançar um modelamento adequado e a excessiva simplificação dos modelos usuais, têm retardado o surgimento de soluções práticas mais adequadas ao dimensionamento e operação de sistemas de distribuição de água. Neste trabalho, é apresentada uma proposta para contemplar múltiplas fontes de abastecimento utilizando-se as curvas das bombas, de modo a adequar a solução do equilíbrio hidráulico da rede quando se consideram, somente, as equações de balanço de massa de cada nó. Para variáveis de decisão do modelo de otimização são consideradas o número de bombas em operação, em paralelo, e o nível da água nos reservatórios de regularização, para cada intervalo de tempo ao longo do dia. A operação dos reservatórios é garantida através das válvulas de controle. O modelo se baseia em um problema de programação não linear misto, resolvido através de um algoritmo de ramificação e avaliação, que encontra a solução inteira para o número de bombas partindo de uma solução otimizada relaxada. As restrições de limitação de pressões e velocidades foram incorporadas à função objetivo pela técnica do Lagrangiano aumentado. O problema de otimização resultante de uma proposta de penalização é resolvido através de um algoritmo de gradiente reduzido generalizado. Na determinação dos gradientes foi utilizado um tratamento analítico rigoroso... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In the present work it was developed an optimization model to water distribution systems operation, supplied by multiple pump stations and multiple reservoirs regulation. The difficulties to reach an appropriate modelling and the excessive simplification of the models have been delaying the appearance of practical solutions more adapted to dimensioning and operation of water distribution systems. This work present a model to contemplate multiple supply sources using the pump curves to adequate hydraulic network balance when considering only mass balance node equations. For decision variables are considered the simultaneous number of pumps operating and the reservoirs levei at each time interval along the day. The operation of the reservoirs is guaranteed through the control valves. The model is based on a mixed non-linear programming problem, managed through a "branchand-bound" type algorithm to find the pump number integer solution. The constraints were incorporate to the objective function through the Augmented Lagrangian approach. An appropriated management algorithm solves the penalty problem. The optimization resulted problem by a proposed penalty is solved through a reduced gradient algorithm... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Automação / Doutor em Engenharia Elétrica
98

Sobre o desempenho de metodos de busca direta para minimização irrestrita / About the performance of direct search methods for unconstrained minimization

Pedroso, Lucas Garcia 30 March 2005 (has links)
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-08-04T02:58:21Z (GMT). No. of bitstreams: 1 Pedroso_LucasGarcia_M.pdf: 616441 bytes, checksum: b314a810dc572cc94a90a6a4f92121b5 (MD5) Previous issue date: 2005 / Resumo: Neste trabalho, voltamos nossa atenção para estratégias de busca direta, que são métodos de minimização que não fazem uso de derivadas ou de suas aproximações. Abordamos um algoritmo proposto por Lucidi e Sciandrone para problemas irrestritos, que usa um critério de decréscimo suficiente para garantir convergência global, no sentido que todo ponto de acumulação da seqüência de aproximações para o minimizador é um ponto estacionário do problema. Tal algoritmo mescla dois diferentes tipos de métodos de busca direta, a saber, busca linear e busca padrão, com o propósito de aproveitar as vantagens de cada estratégia. Motivados pelos interessantes resultados teóricos deste trabalho, realizamos alguns testes computacionais, especialmente em problemas clássicos de minimização irrestrita / Mestrado / Otimização / Mestre em Matemática Aplicada
99

Modelo não-linear para minimizar o numero de objetos processados e o setup num problema de corte unidimensional / Nonlinear model to minimize both the number of processed objets and the number of setups in an cutting stock problem

Salles Neto, Luiz Leduino de 06 October 2005 (has links)
Orientador: Antonio Carlos Moretti / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatística e Computação Cientifica / Made available in DSpace on 2018-08-04T09:51:10Z (GMT). No. of bitstreams: 1 SallesNeto_LuizLeduinode_D.pdf: 2686631 bytes, checksum: 6929a985654c561695159e4b4fc6ebb7 (MD5) Previous issue date: 2005 / Resumo: Neste trabalho apresentamos um novo método para minimizar o número de objetos processados e o número de padrões distintos (setup) num problema de corte unidimen-sional. Suavizamos a função objetiva, inteira e não linear proposta por Haessler em 1975. Para gerar os padrões de corte utilizamos inicialmente uma heurística (SHP de-senvolvida por Haessler), e posteriormente adaptamos o método de geração de colunas de Gilmore e Gomory para este modelo não-linear. Palavras-Chaves: Problema de corte de estoque; Geração de colunas; Setup; Heurística; Programação Não-Linear / Abstract: In this work we introduce a new method to minimize both the number of processed objects and the number of nonzeros cutting patterns (Le., setup) in an one-dimensional cutting stock problem. To do so, we smooth the discontinuous nonlinear function used in Haessler(1975) to represent both objectives: the number of objects and setup number. To generate the cutting patterns we use the Gilmore&Gomory strategy with a starting basis given by the method SHP (Sequential Heuristic Procedure) developed by Haessler. Keywords: Cutting stock problem; Column generation; Heuristic; Setup; Nonlinear programming / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada
100

Descrição de rotações : pros e contras na teoria e na pratica / Representation of rotations: advantages and disadvantages in theory and practice

Lima, Rodrigo Silva, 1982- 23 February 2007 (has links)
Orientador: Margarida Pinheiro Mello / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-08T02:52:04Z (GMT). No. of bitstreams: 1 Lima_RodrigoSilva_M.pdf: 952013 bytes, checksum: b746a6fed088b1d0474822b76dd7092f (MD5) Previous issue date: 2007 / Resumo: Robótica, computação gráfica, aeronáutica e biomecânica têm em comum o estudo de movimentos rígidos, aqueles compostos por rotações e translações. Ao contrário das translações, cuja representação matemática não apresenta dificuldades, as rotações trazem consideráveis desafios. Neste trabalho de mestrado estudamos algumas propriedades do grupo de rotações 50(3) bem como três maneiras de se representar uma rotação: via mapa exponencial, via ângulos de Euler e via quatérnions unitários. Como as duas últimas representações são as mais comuns na literatura, fazemos uma comparação do uso de ângulos de Euler e quatérnions unitários na formulação e resolução de dois problemas concretos: o problema do empacotamento de moléculas e o problema da orientação absoluta. / Abstract: Robotics, graphics computation, aeronautics and biomechanics have in common the study of rigid motions, composed by rotations and translations. The translations are mathematically simple, but the treatment of rotations raises some difficulties. In this work we study some properties of rotation group 80(3) and three commonly used methods to describe rotations, namely, the exponencial map, Euler angles and unitary quaternions. We employ the latter two in the formulation of two optimization problems: the absolute orientation problem and the molecule-packing problem. Several computational experiments are performed in order to establish the relative efficiency of the two representations in these examples. In the first optimization problem there is a tie, whereas in the molecule-packing problem the representation using quaternions is slightly superior. / Mestrado / Otimização e Pesquisa Operacional / Mestre em Matemática Aplicada

Page generated in 0.0912 seconds