• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 111
  • 9
  • 2
  • 1
  • Tagged with
  • 126
  • 81
  • 32
  • 31
  • 30
  • 29
  • 25
  • 22
  • 22
  • 22
  • 19
  • 18
  • 17
  • 17
  • 15
  • 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.
81

[en] HEURISTIC FOR SLABS STOWAGE PLAN ELABORATION IN SHIPS / [pt] HEURÍSTICA PARA ELABORAÇÃO DE PLANO DE ESTIVAGEM DE PLACAS DE AÇO EM NAVIO

RENATA SARMENTO LEAL 21 December 2005 (has links)
[pt] Essa dissertação aborda o problema da elaboração de Plano de Estivagem de Placas de Aço, em navios, para o mercado externo. O Plano de Estivagem é muito importante para agilizar o processo de carregamento de navios e reduzir o laytime utilizados por esses no porto. O estudo de caso é na Companhia Siderúrgica de Tubarão (CST). A partir do levantamento dos procedimentos atualmente utilizados, foi desenvolvida uma heurística para elaboração de Planos de Estivagem no Terminal de Produtos Siderúrgicos do Porto de Praia Mole. A heurística desenvolvida foi dividida em duas etapas. Na primeira etapa, as placas de aço são distribuídas pelos porões do navio respeitando a capacidade do mesmo e, na segunda etapa, é determinado o layout das placas em cada porão. A heurística proposta foi implementada em um ambiente de programação C. / [en] This thesis considers the problem of elaborating Slabs Stowage Plan elaboration in ships, for international markets. The stowage plan is very important for shipment agility and reduction of the laytime used by the ships in the port. A case study was developed at Companhia Siderúrgica de Tubarão (CST). Based on the procedure used today, a heuristic solution is proposed for Slab Stowage Plan on the Steel Products Terminal (TPS) located at the port of Praia Mole. The heuristic was divided in two parts. In the first part, respecting holds capacities, slabs are distributed along the holds and in the second part the slabs layout in each hold is determinate. The proposed heuristc was implemented in a C programming language.
82

Potencial de substituição de cimento por finos de quartzo em materiais cimentícios / Potential of cement replacement by quartz powder in cementitious materials

Travain, Maysa Damante 20 March 2019 (has links)
O uso do cimento nas dosagens de materiais cimentícios sempre foi uma preocupação na construção civil por questões de custo. Com o surgimento das discussões sobre sustentabilidade, as preocupações passam a ocorrer também com relação aos impactos ambientais gerados em sua produção, principalmente as emissões de 2. Apesar de grandes esforços industriais para a redução destas emissões, as estratégias adotadas não têm sido eficientes para atingir patamares de redução suficientes. Neste cenário, a substituição de parte do cimento por finos inertes, conhecidos como fíleres, provenientes de matérias-primas abundantes e baratas, podem proporcionar ganhos econômicos e ambientais, já que estes materiais apresentam menor impacto de produção por não necessitarem serem submetidos a processos térmicos. Além disso, a adição de fíleres na matriz cimentícia pode contribuir para o aumento da eficiência dos ligantes, pois possibilita o melhor empacotamento de partículas, com diminuição de vazios, que contribui para a redução do teor de água na mistura o que significa possibilidade de desempenho mecânico satisfatório com menos clínquer. O presente trabalho teve como objetivo avaliar o potencial de substituição de parte do cimento por fíleres de quartzo em pastas cimentícias, visando reduzir o consumo de clínquer. Foram avaliados os comportamentos reológicos e mecânicos de dosagens de pastas e argamassas de clínquer-fíler, verificando o desempenho dos materiais produzidos. Para estudo das pastas foram feitas caracterizações das matérias-primas, ensaios de reologia para determinar o teor ótimo de dispersante, e ensaios de resistência à compressão para teores de água fixos, variando os fíleres com três composições granulométricas distintas. Para avaliação das argamassas, foram realizados ensaios de resistência à compressão e determinados os módulos de elasticidade. A análise dos resultados foi feita por meio de comparativos entre os comportamentos reológicos e mecânicos das misturas, além do cálculo do indicador de eficiência Binder Intensity (BI), que é uma relação entre o consumo de cimento e a resistência mecânica. Os materiais produzidos com fíleres atingiram comportamentos reológicos próximos ao material convencional, mas com teores de água reduzidos, contribuindo para o alcance de boas resistências mecânicas com menor consumo de cimento, e módulos de elasticidade equivalentes. Os resultados obtidos nos II experimentos realizados comprovam os ganhos de eficiência alcançados com a adição de fíleres de quartzo em materiais cimentícios e a viabilidade para aplicação na construção civil. / The use of cement in cementitious materials dosages has always been a concern in civil construction for costs issues. With the emergence of sustainability discussions, also arise concerns about environmental impacts generated in its production, mainly 2 emissions. Although the large industrials efforts to reduce these emissions, the strategies adopted havent been efficient to achieve sufficient reduction levels. In this scenario, partial replacement of cement by inert fines, denominated fillers, from abundant and cheap raw materials, can provide environmental and economic gains, since these materials produce lower environmental impact as they dont need to be submitted to thermal processes. Beyond that, the fillers addition in cementitious matrix can contribute to the increase of binders efficiency, as it allows the particles packaging, with the decreasing of voids, which contributes to the reduction of water content in the mixture which means possibility of satisfactory mechanical performance with less clinker content. Thus, this study aims to evaluate the potential of cement replacement by quartz fíller in cement mixtures, in order to reduce clinkers consumption. Were evaluated the rheological and mechanical behavior of pastes and mortars dosages made of clinker-filler, and was verified the performance of the materials produced. To the paste study, were made raw materials characterizations, rheology tests to determine the optimum dispersant content, and compressive strength tests for fixed water contents, varying three fillers with different particle sizes. For mortars evaluation, were performed compressive strength tests and was determined the elastic modulus. The analysis of the results were made though comparisons between mixtures rheological and mechanical behaviors, besides the calculation of the efficiency index Binder Intensity (BI), which is a relation between cement consumption and the mechanical strength. The materials produced with fillers reached a rhealogical behavior close to the conventional materials behavior, but with reduced water contents, contributing to the achievement of good mechanical resistance with lower cement consumption, and equivalentmodulus of elasticity. The results obtained in the experiments performed demonstrate the efficiency gains achieved with the addition of quartz fillers in cementitious materials and the feasibility for application in the civil construction industry.
83

Resolução de problemas de empacotamento de itens irregulares usando técnicas de programação não-linear / Solving irregular packing problems using non-linear programming techniques

Polo, Jeinny Maria Peralta 11 May 2018 (has links)
Os problemas de empacotamento de itens irregulares são problemas de corte e empacotamento, nos quais peças irregulares de menor tamanho (que chamamos de itens) devem ser empacotados inteiramente em uma peça grande (que chamamos de placa), obedecendo a restrições de nãosobreposição e minimizando as dimensões da placa. Para garantir a não-sobreposição, fazemos uso de retas separadoras, quer dizer, retas que separam um item de outro. Apresentamos modelos de programação não-linear para problemas de empacotamentos de itens regulares e irregulares que rotacionam livremente. Os itens podem ser círculos, polígonos convexos e não-convexos. A principal vantagem dos modelos é a simplicidade, já que estes utilizam somente conceitos básicos de geometria. Usamos o algoritmo de programação não-linear IPOPT (um algoritmo de tipo de pontos interiores), que faz parte da COIN-OR, para a resolução dos problemas. Testes computacionais foram executados usando instâncias conhecidas da literatura e os resultados foram comparados com resultados apresentados na literatura, obtidos com outras metodologias que também usam rotações livre, mostrando que nossos modelos são competitivos. Propomos também o uso de parábolas separadoras para a verificação de não-sobreposição na modelagem do problema, o que pode trazer ganhos computacionais e melhor qualidade de soluções. / The irregular packing problems are cutting and packing problems, in which smaller irregular pieces (which we call items) should be packaged entirely in one large piece (which we call a plate), obeying non-overlapping constraints and minimizing the dimensions of the plate. To ensure non-overlapping, we make use of separation lines, that is, lines that separate one item from another. We present nonlinear programming models for problems of packing regular and irregular items that rotate freely. The items can be circles, convex and nonconvex polygons. The main advantage of the models is their simplicity, because they use only basic geometry concepts. We use the nonlinear programming algorithm IPOPT (an algorithm of interior points type), which is part of COIN-OR, to solve the problems. Computational tests were performed using known instances of the literature and the results were compared with results presented in the literature, obtained with other methodologies that also use free rotations, showing that our models are competitive. We also propose the use of separating parabola to avoid items overlaping in the models, which could provide greater computational eficiency as well as solutions with better quality.
84

Integração dos problemas de carregamento e roteamento de veículos com janela de tempo e frota heterogênea. / Integration of loading and vehicle routing problems with time windows and heterogeneous fleet.

Campos, Danilo da Silva 24 March 2008 (has links)
Este trabalho aborda um problema ainda não explorado na literatura denominado 3L-FSMVRPTW (three-dimensional loading fleet sizing and mix vehicle routing problem with time windows), que compreende resolver simultaneamente o roteamento e carregamento tridimensional de veículos considerando frota heterogênea e janela de tempo. Foi desenvolvido um algoritmo específico para resolver o problema, denominado 3DC. Neste algoritmo foram introduzidas algumas inovações, entre elas, um novo operador de busca local (k-IntensiveSwap) e uma nova heurística de carregamento de contêiner. O algoritmo foi comparado aos melhores resultados disponíveis na literatura para problemas particulares ao apresentado. Houve bom desempenho no caso do CLP (container loading problem), bom resultado na redução do tamanho de frota no caso do 3L-VRP (threedimensional loading vehicle routing problem) e desempenho superior ao problema mais complexo estudado, o 3L-VRPTW (three-dimensional loading vehicle routing problem with time windows). Finalmente, apresentou-se um conjunto de avaliação, instâncias e soluções, para o problema completo com frota heterogênea e janela de tempo. / This work presents a problem not treated yet on the literature referenced as 3L-FSMVRPTW (three-dimensional loading fleet sizing and mix vehicle routing problem with time windows), which deals simultaneously with vehicle routing and its three-dimensional loading considering heterogeneous fleet and time windows. The algorithm developed for the specific problem is called 3DC. This algorithm introduces a new local search operator called k-IntensiveSwap and a new container loading heuristic. The results are compared with the best-known results from literature for particular problems embeeded on the general problem presented. The quality of solution was good in comparison other methods for CLP (container loading problem), it has good results in terms of reduction fleet sizing in the case of 3L-VRP (three-dimensional loading vehicle routing problem) and as for 3L-VRPTW (threedimensional loading vehicle routing problem with time windows) the performance was very superior. Finally, it is presented a solution set as benchmark for future comparison with the general problem, with heterogeneous fleet.
85

Modelos matemáticos para o problema de empacotamento em faixas de peças irregulares / Mathematical models for the irregular packing problem

Rodrigues, Marcos Okamura 11 February 2015 (has links)
O problema de empacotamento em faixas de peças irregulares consiste em cortar um conjunto de peças bidimensionais a partir de um objeto de largura fixa utilizando o menor comprimento possível. Apesar de sua importância econômica para diversos setores industriais, há poucos trabalhos que abordam o problema de forma exata devido a sua dificuldade de resolução. Recentemente, Toledo et al. (2013) propuseram um modelo inteiro misto para este problema, no qual as peças são posicionadas em uma malha de pontos. Este modelo obteve bons resultados, provando a otimalidade para instâncias com até 21 peças. No entanto, o modelo possui um grande número de restrições de não-sobreposição, que cresce rapidamente de acordo com a discretização utilizada e a quantidade de peças distintas que devem ser alocadas. Neste trabalho, são propostas novas formulações matemáticas baseadas neste modelo, com o objetivo de reduzir o número de restrições. Na primeira abordagem, são propostos dois modelos reduzidos que mostraram ser eficientes para instâncias com poucas repetições de peças. Na segunda abordagem, foi proposto um modelo de cobertura por cliques para o problema. Este modelo obteve desempenho igual ou superior ao modelo da literatura para todas as instâncias avaliadas, obtendo uma solução ótima para instâncias com até 28 peças. / The irregular strip packing problem consists of cutting a set of two-dimensional pieces from an object of fixed width using the smallest possible length. Despite its economic importance for many industrial sectors, few exact studies have been made on this problem due to its difficulty of resolution. Recently, Toledo et al. (2013) proposed a mixed-integer model to this problem in which the pieces are placed on a grid. This model has worked successfully proving the optimality for instances up to 21 pieces. However, the model has a large number of non-overlapping constraints, which grows quickly in accordance with the discretization resolution and number of distinct pieces. In this work, we propose new mathematical formulations based on this model in order to reduce the number of constraints. In the first approach, we present two reduced models that have shown to be effective for instances with few repetitions of pieces. In the second approach, it was proposed a clique covering model for the problem. This model achieved a greater or equal performance than the literature for all instances, getting an optimal solution for instances up to 28 pieces.
86

Ellipsoid packing / Empacotamento de elipsoides

Lobato, Rafael Durbano 06 November 2015 (has links)
The problem of packing ellipsoids consists in arranging a given collection of ellipsoids within a particular set. The ellipsoids can be freely rotated and translated, and must not overlap each other. A particular case of this problem arises when the ellipsoids are balls. The problem of packing balls has been the subject of intense theoretical and empirical research. In particular, many works have tackled the problem with optimization tools. On the other hand, the problem of packing ellipsoids has received more attention only in the past few years. This problem appears in a large number of practical applications, such as the design of high-density ceramic materials, the formation and growth of crystals, the structure of liquids, crystals and glasses, the flow and compression of granular materials, the thermodynamics of liquid to crystal transition, and, in biological sciences, in the chromosome organization in human cell nuclei. In this work, we deal with the problem of packing ellipsoids within compact sets from an optimization perspective. We introduce continuous and differentiable nonlinear programming models and algorithms for packing ellipsoids in the n-dimensional space. We present two different models for the non-overlapping of ellipsoids. As these models have quadratic numbers of variables and constraints, we also propose an implicit variables models that has a linear number of variables and constraints. We also present models for the inclusion of ellipsoids within half-spaces and ellipsoids. By applying a simple multi-start strategy combined with a clever choice of starting guesses and a nonlinear programming local solver, we present illustrative numerical experiments that show the capabilities of the proposed models. / O problema de empacotamento de elipsoides consiste em arranjar uma dada coleção de elipsoides dentro de um determinado conjunto. Os elipsoides podem ser rotacionados e transladados e não podem se sobrepor. Um caso particular desse problema surge quando os elipsoides são bolas. O problema de empacotamento de bolas tem sido alvo de intensa pesquisa teórica e experimental. Em particular, muitos trabalhos têm abordado esse problema com ferramentas de otimização. O problema de empacotamento de elipsoides, por outro lado, começou a receber mais atenção apenas recentemente. Esse problema aparece em um grande número de aplicações práticas, como o projeto de materiais cerâmicos de alta densidade, na formação e crescimento de cristais, na estrutura de líquidos, cristais e vidros, no fluxo e compressão de materiais granulares e vidros, na termodinâmica e cinética da transição de líquido para cristal e em ciências biológicas, na organização de cromossomos no núcleo de células humanas. Neste trabalho, tratamos do problema de empacotamento de elipsoides dentro de conjuntos compactos do ponto de vista de otimização. Introduzimos modelos de programação não-linear contínuos e diferenciáveis e algoritmos para o empacotamento de elipsoides no espaço n-dimensional. Apresentamos dois modelos diferentes para a não-sobreposição de elipsoides. Como esses modelos têm números quadráticos de variáveis e restrições em função do número de elipsoides a serem empacotados, também propomos um modelo com variáveis implícitas que possui uma quantidade linear de variáveis e restrições. Também apresentamos modelos para a inclusão de elipsoides em semi-espaços e dentro de elipsoides. Através da aplicação de uma estratégia multi-start simples combinada com uma escolha inteligente de pontos iniciais e um resolvedor para otimização local de programas não-lineares, apresentamos experimentos numéricos que mostram as capacidades dos modelos propostos.
87

Algoritmos para o empacotamento de bins tridimensionais: uma abordagem distribuída.

José Lassance de Castro Silva 00 December 2002 (has links)
Inicialmente este problema é enquadrado no contexto mais amplo de Corte e Empacotamento e uma forma exata de resolver o problema é apresentada. O problema é NP-'Arduo no sentido forte e extremamente difícil de ser resolvido na prática, por isso uma atenção especial aos algoritmos aproximativos e seus desempenhos, não poderia ser omitida. Como resultado, uma classe de algoritmos aproximativos (heurísticas e meta-heurísticas) foi desenvolvida e seus desempenhos avaliados com relação às heurísticas famosas. O procedimento para o preenchimento dos itens dentro dos bins utiliza o bem conhecido princípio da alocação em pontos de cantos. Os critérios para a estabilidade estática dos itens dentro dos bins são apresentados com detalhes. Uma abordagem distribuída também foi usada como forma de resolver o problema, com o intuito de diminuir o tempo de execução computacional dos algoritmos aproximativos que levam em conta a estabilidade estática dos itens dentro dos bins. Grande quantidade de experimentos computacionais são apresentados para problemas com até 90 itens (com e sem estabilidade estática) e os resultados são comparados com aqueles obtidos da literatura. Por último, foi sugerida algumas idéias para o direcionamento das futuras pesquisas sobre o problema.
88

Aplicação do estudo de empacotamento de partículas de perclorato de amônio, e a utilização de modelo para a otimização de formulações de propelentes compósitos com alto desempenho à base de PBLH e aluminio

Maria Cecília Cândida da Silva 23 December 2008 (has links)
O objetivo deste trabalho foi obter formulações de propelente à base de AP/PBLH/Al, na qual as quantidades de sólidos fossem maiores do que as utilizadas atualmente. O aumento da fração de sólidos acarreta um aumento do impulso do motor-foguete. Entretanto, ele deve seguir um conjunto de critérios que também foi objeto de estudo neste trabalho. Esses critérios foram baseados nas teorias de empacotamento de partículas, as quais têm sido utilizadas como uma ferramenta para a definição da modalidade, distribuição, granulometria e carga de sólidos. Alguns ensaios também foram realizados para verificar a aplicabilidade de um modelo de empacotamento linear. O modelo testado se mostrou aplicável e as predições teóricas apresentaram boa concordância com os resultados experimentais. Um modelo de correlação foi ainda proposto neste trabalho para correlacionar os dados de viscosidade da mistura final a 50, 55 e 60C sob pressão atmosférica. Um outro modelo de correlação também foi proposto para correlacionar dados experimentais do módulo de Young a 25C. Ambos os modelos foram bem sucedidos na correlação dos pontos experimentais. As propriedades balísticas foram ainda determinadas para uma faixa de pressões variando de 4 a 10 MPa. Os efeitos da ordem de adição do agente de ligação e do Alumínio também foram avaliados. Os melhores resultados foram obtidos quando o Alumínio e o agente de ligação foram adicionados ao PBLH no início do processo de mistura. O catalisador de cura também foi substituído por DBTDL nos ensaios seguintes a fim de acelerar o processo de cura. Os testes conduzidos com 5 ppm de DBTDL apresentaram os melhores resultados para a viscosidade da mistura final e para as demais propriedades do propelente. A utilização de sistemas de partículas com alto empacotamento, associados com a utilização de 5 ppm de DBTDL como agente de cura, permitiu elevar a carga sólidos até 88%, muito superior aos 84% em uso no propelente do VLS. Além disso, as propriedades mecânicas e balísticas deste propelente produzido em escala de laboratório são apropriadas para os projetos em andamento no IAE.
89

Problemas de Corte e Empacotamento: Uma abordagem em Grafo E/OU / Cutting and packing problems: an AND/OR-Graph approach

Vianna, Andréa Carla Gonçalves 19 December 2000 (has links)
O problema de corte consiste no corte de objetos maiores para produção de peças menores, de modo que uma certa função objetivo seja otimizada, por exemplo, a perda seja minimizada. O problema de empacotamento pode também ser visto como um problema de corte, onde as peças menores são arranjadas dentro dos objetos. Uma abordagem em grafo E/OU para a resolução de problemas de corte e empacotamento foi proposta inicialmente por Morabito (1989) para problemas de corte bidimensionais e, mais tarde, estendida para problemas tridimensionais (Morabito, 1992). Nesta abordagem foi utilizada uma técnica de busca híbrida, onde se combinou a busca em profundidade primeiro com limite de profundidade e a busca hill-climbing, utilizando-se heurísticas baseadas nos limitantes superiores e inferiores. Experiências computacionais mostraram a viabilidade de uso na prática desta abordagem. Mais tarde, Arenales (1993) generalizou esta a abordagem em grafo E/OU mostrando como diferentes problemas de corte poderiam ser resolvidos, independentemente da dimensão, formas dos objetos e itens, baseado em simples hipóteses, sem realizar, entretanto, estudos computacionais. O presente trabalho tem por objetivo estender a abordagem em grafo E/OU para tratar outros casos não analisados pelos trabalhos anteriores, tais como situações envolvendo diferentes processos de corte, bem como a implementação computacional de métodos baseados na abordagem em grafo E/OU, mostrando, assim, a versatilidade da abordagem para tratar diversas situações práticas de problemas de corte e sua viabilidade computacional. / The cutting problem consists of cutting larger objects in order to produce smaller pieces, in such a way as to optimizing a given objective function, for example, minimizing the waste. The packing problem can also be seen as a cutting problem, where the position that each smaller piece is arranged inside of the objects can be seen as the place it was cut from. An AND/OR-graph approach to solve cutting and packing problems was initially proposed by Morabito (1989) for two-dimensional cutting problem and, later, extended to threedimensional problems (Morabito, 1992). That approach uses a hybrid search, which combines depth-first search under depth bound and hill-climbing strategy. Heuristics were devised based on upper and lower bounds. Computational experiences demonstrated its practical feasibility. The AND/OR-graph approach was later generalized by Arenales (1993) based on simple hypothesis. He showed that different cutting problems Gould be solved using the AND/ORgraph approach, independently of the dimension and shapes. The main objective of this thesis is the practical extension of the AND/OR-graph approach to handle other cases not considered by previous works. It was considered different cutting processes, as well as the analysis of computational implementation, showing how can it be adapted to many classes of practical cutting and packing problems.
90

Limitantes para empacotamentos de esferas em variedades flag / Sphere packing bounds on flag manifolds

Bressan, João Paulo, 1983- 11 September 2018 (has links)
Orientador: Sueli Irene Rodrigues Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-09-11T21:20:45Z (GMT). No. of bitstreams: 1 Bressan_JoaoPaulo_D.pdf: 1164660 bytes, checksum: 4825edafe6fbea5e3bc43934bc528376 (MD5) Previous issue date: 2012 / Resumo: A partir das desigualdades de Hamming e Gilbert-Varshamov obtém-se um limitante superior e um limitante inferior para o número de pontos de um código numa variedade flag geométrica. Isto é feito tomando-se uma estimativa para o volume de bolas geodésicas, que resulta de cálculos envolvendo a curvatura seccional destas variedades. Em particular, são derivados limitantes para empacotamentos de esferas numa variedade de Grassmann complexa. Um limitante superior para a distância mínima também é obtido através da inversa da função que calcula o volume de um chapéu esférico. Esta técnica geométrica também é aplicada no estudo de limitantes para empacotamentos em alguns casos particulares de variedades flag maximais. Através de procedimentos computacionais, tais limitantes são implementados numericamente em alguns exemplos. Uma motivação para este trabalho foi à busca de possíveis extensões de alguns resultados sobre as grassmanianas complexas, cujo interesse na área de comunicações vem de uma interpretação que pode ser feita da transmissão em canais MIMO não coerentes via códigos em tais variedades / Abstract: Upper and lower bounds for the number of points of codes in geometric flag manifolds are obtained from Hamming and Gilbert-Varshamov inequalities. This is done by taking an estimate for the volume of geodesic balls, as a result of calculations involving the sectional curvature of such manifolds. As a particular case, sphere packing bounds in complex Grassmann manifolds are derived. An upper bound on the minimum distance is also obtained through the inverse mapping for the volume of spherical caps. This geometric technique is also applied in the study of sphere packing bounds in some particular cases of full-flag manifolds. Such bounds are numerically implemented in some examples. One motivation for this work was the search for possible extensions of some results on complex Grassmann manifolds, which interest in communications comes from a model for the transmition on non-coherent MIMO channels via codes in such manifolds / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada

Page generated in 0.0527 seconds