• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 292
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 311
  • 252
  • 152
  • 81
  • 79
  • 64
  • 49
  • 47
  • 47
  • 45
  • 44
  • 40
  • 38
  • 36
  • 33
  • 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.
211

Simulação de escoamentos sobre um foguete de sondagem utilizando malhas multiblocos chimera e justapostas.

José Carlos Papa 00 December 2002 (has links)
Simulações dos escoamentos aerodinâmicos sobre um foguete de sondagem típico são apresentadas. Freqüentemente, os foguetes de sondagem utilizam mais de um conjunto de empenas e necessitam que essas empenas possuam um tamanho razoável. A fim de lidar com esse tipo de configuração, o presente trabalho faz uso de uma nova metodologia, que combina simultaneamente malhas multibloco Chimera e justapostas na discretização do domínio computacional. Os escoamentos de interesse são modelados utilizando as equações de Euler em três dimensões e o trabalho descreve os detalhes dos procedimentos de discretização, os quais utilizam uma abordagem de diferenças finitas para malhas estruturadas multibloco que se conformam ao corpo simulado. O método é utilizado para calcular a aerodinâmica de um veículo de sondagem atualmente em desenvolvimento. Os resultados indicam que a presente metodologia pode ser uma ferramenta poderosa de análise aerodinâmica e de projeto.
212

Análise teórica-experimental de perfis de aço formados a frio devido à instabilidade por distorção na flexão / Theoretical-experimental analysis of cold-formed steel for distortional buckling in flexural members

Silva, Julio Cesar Martins da 24 September 2004 (has links)
Apresenta-se neste trabalho um estudo teórico-experimental sobre a instabilidade de perfis formados a frio submetidos à flexão. A instabilidade distorcional se faz comum na presença de tensões de compressão atuando sobre perfis enrijecidos e fabricados com aços de elevada resistência mecânica. A parte teórica abrange os métodos de cálculo analíticos e numéricos para a análise de instabilidade distorcional de perfis de seção aberta formados a frio. Na parte experimental inclui-se o estudo de perfis formados a frio com seções do tipo U enrijecidos submetidos aos ensaios à flexão. Nestes ensaios variou-se a altura de alma e espessura de chapa procurando-se abranger maior número de condições geométricas para análise da estabilidade distorcional. Inclui-se também a análise de instabilidade numérica dos perfis do programa experimental através do método de resistência direta via método das faixas finitas. Com base nos resultados experimentais, numéricos e na análise teórica do problema, verificou-se o procedimento adotado pela NBR14762/2001 e efetuou-se comparação entre curvas de resistência propostas para o dimensionamento de perfis formados a frio à flexão. Foi verificado que o fenômeno de instabilidade distorcional pode ser o estado limite último crítico para o dimensionamento dos perfis formados a frio. / This work present a study theoretical-experimental about the distortional buckling of cold-formed steel members under bending. The distortional buckling is common for members with edge-stiffened sections and manufactured with steel of high strength. The theorical part present the analitic and numerical methods for stability analysis by distortional buckling. The experimental part included the study of cold-formed with sections channel altering flange width and thickness by proof in flexural members. Included too the numerical analysis by Direct Strength Method in Finite Strip Method on members with the same configurations of experimental investigation. Based on the experimental measurements, numerical analysis and in the theorical analysis of work, verified the procedures adopted in brazilian code NBR14762/2001 and compared with others distortional curve proposed for to design of cold-formed members under bending. Verified that the distortional buckling may control the design being the critical mode for the ultimate limit state.
213

Análise e implementação de métodos implícitos e de projeção para escoamentos com superfície livre. / Analysis and implementation of implicit and projection methods for free surface flows

Oishi, Cássio Machiaveli 05 August 2008 (has links)
No contexto do método MAC e baseado em esquemas de diferenças finitas, este trabalho apresenta três estudos: i) uma análise de estabilidade, ii) o desenvolvimento de técnicas implícitas e, iii) a construção de métodos de projeção para escoamentos com superfície livre. Na análise de estabilidade, o principal resultado mostra que o método de Crank-Nicolson torna-se condicionalmente estável quando aplicado para uma malha deslocada com a discretiza ção explícita das condições de contorno do tipo Dirichlet. Entretanto, o mesmo método com condições de contorno implícitas é incondicionalmente estável. Para obter métodos mais estáveis, formulações implícitas são desenvolvidas para a equação da pressão na superfície livre, derivada da condição de tensão normal. Esta estratégia resulta no acoplamento dos campos de velocidade e pressão, o que exige a introdução de novos métodos de projeção. Os métodos de projeção assim desenvolvidos resultam em novas metodologias para escoamentos com superfície livre que são apropriados para o tratamento de problemas com baixo número de Reynolds. Além disso, mostra-se que os métodos propostos podem ser aplicados para fluidos viscoelásticos. Novas estratégias são derivadas para obter métodos de projeção de segunda ordem de precisão para escoamentos com superfícies livres. Além dos resultados teóricos sobre a estabilidade de esquemas numéricos, técnicas implícitas e métodos de projeção, testes computacionais são realizados e comparados para consolidação da teoria apresentada. Os resultados numéricos são obtidos no sistema FREEFLOW. A eficiência e robustez das técnicas desenvolvidas neste trabalho são demonstradas na solução de problemas tridimensionais complexos com superfície livre e baixo número de Reynolds, incluindo os problemas do jato oscilante e do inchamento do extrudado / In the context of the MAC method and based on finite difference schemes, this work presents three studies: i) a stability analysis, ii) the development of implicit techniques, and iii) the construction of projection methods for free surface flows. In the stability analysis, the main result shows a precise stability restriction on the Crank-Nicolson method when one uses a staggered grid with Dirichlet explicit boundary conditions. However, the same method with implicit boundary conditions becomes unconditionally stable. In order to obtain more stable methods, implicit formulations are applied for the pressure equation at the free surface, which is derived from the normal stress condition. This approach results in a coupling of the velocity and pressure fields; hence new projection methods for free surface flows need to be developed. The developed projection methods result in new methodologies for low Reynolds number free surface flows. It is also shown that the proposed methods can be applied for viscoelastic fluids. New strategies are derived for obtaining second-order accurate projection methods for free surface flows. In addition to the theoretical results on the stability of numerical schemes, implicit techniques and projection methods, computational tests are carried out and the results compared to consolidate the theory. The numerical results are obtained by the FREEFLOW system. The eficiency and robustness of the techniques in this work are demonstrated by solving complex tridimensional problems involving free surface and low Reynolds numbers, including the jet buckling and the extrudate swell problems
214

[en] PHASE-SHIFT DEPTH MIGRATION FOR QP AND QSV WAVEFIELDS ON LOCALLY TRANSVERSE ISOTROPIC (LTI) MEDIA / [pt] MIGRAÇÃO EM PROFUNDIDADE POR ROTAÇÃO DE FASE DOS CAMPOS DE ONDA QP E QSV EM MEIOS COM SIMETRIA POLAR LOCAL

MARCO ANTONIO CETALE SANTOS 13 January 2004 (has links)
[pt] Este trabalho propõe uma técnica do tipo rotação de fase para migração em profundidade de dados sísmicos para meios com simetria polar local (localmente transversalmente isotrópicos, LTI), nos quais a direção do eixo de simetria varia continuamente ao longo das camadas. São testadas, através de simulações numéricas de levantamentos sísmicos, a precisão e a estabilidade do método, em função da variação do eixo de simetria. Para a realização das simulações, desenvolveu-se um método a partir da solução da equação elástica da onda usando-se a técnica das diferenças finitas, que possibilita a modelagem em meios LTI, onde cada ponto da malha tem suas características definidas pelas velocidades de fase P e SV, parâmetros de Thomsen, densidade e inclinação do eixo de simetria. Na separação dos modos de onda qP e qSV dos sismogramas, implementou-se um algoritmo baseado na solução da equação de Christoffel para determinar os operadores de separação. A migração para cada família de tiro comum é realizada por soluções da equação da onda usando somente técnicas de rotações de fase. De fato, tanto a depropagação do campo registrado quanto a geração das matrizes de tempo utilizadas na condição de imageamento, são realizadas por soluções que envolvem rotações de fase para cada conjunto de parâmetros, em cada nível de profundidade. Nos resultados das migrações usando reflexões dos tipos qP-qP, e qP-qSV, os horizontes foram localizados precisamente e verificou-se que o processo é estável em relação à variação do eixo de simetria. Vale ressaltar que o método não está restrito a aquisições sísmicas multicomponentes, podendo ser aplicado em dados sísmicos marítimos convencionais, como também em dados provenientes de aquisições do tipo OBC (Ocean Bottom Cable) e com cabo vertical. Como o método proposto se baseia em algoritmos que utilizam técnicas de rotação de fase, a sua implementação conta com o beneficio de ser altamente paralelizável. / [en] This work proposes a technique based on the phase-shift method to implement pre-stack depth migration on locally transverse isotropic media (LTI), in which the direction of the symmetry axis varies continually along the layers. Through numerical seismic data simulations the methods robustness and stability were tested in relation to the axis symmetry variations. For seismic modeling, a generalization of the finite differences method for the solution of the elastic wave equation was used. With this procedure, it was possible to accommodate seismic modeling on LTI media defined by six parameters at each grid point, i.e., density, P and S wave propagation velocities along the local symmetry axis, Thomsen parameters and, the direction of the local symmetry axis itself. In order to separate from the seismograms the qP and qSV wavefields, an algorithm based on the Christoffel equation was implemented. The migration for each common shot gather is implemented solely by phase-shift based algorithms, which means that not only the depropagation of the registered wavefield, but also the generation of the time matrices involved in the imaging condition were obtained in this manner for each set of parameters at each depth level. The migration results using qP-qP and qP-qSV reflections show that the horizons were located precisely, and that the process is stable in relation to the symmetry axis variations. The proposed method is not restricted to multicomponent seismic acquisitions, but it can be applied to marine seismic data using streamers, or Ocean Bottom Cables or vertical cables. Since the proposed method uses phaseshift algorithms, its parallel implementation can be highly efficient.
215

Método de fronteira virtual para escoamentos invíscidos compressíveis / Virtual boundary method for inviscid compressible flow

Jhonathan Solarte Pineda 13 February 2015 (has links)
O presente trabalho apresenta um método de interação fluido estrutura chamado de fronteira virtual para modelagem de escoamentos sobre geometrias complexas. A principal característica do método é que a condição de contorno interna da superfície do corpo imerso é obtida usando uma função que calcula a força de campo das equações de momentum. Este método de cálculo da força de campo é conhecido como método direto. A principal vantagem do método da fronteira virtual é que se trabalha com duas malhas, uma cartesiana (também conhecida como euleriana) para o fluido e outra curvilínea (também conhecida como malha lagrangiana) para o objeto imerso. Como estas malhas são independentes uma da outra, os algoritmos de geração das malhas são simples em comparação com outros métodos de geração de malha, nos quais a esta precisa se adaptar ao corpo que se quer analisar. Nos métodos de body fitted, algoritmos complexos com custo computacional muito elevado são necessários para se trabalhar com geometrias complexas. Neste trabalho, o método de fronteira virtual é desenvolvido para trabalhar escoamentos compressíveis não viscosos em duas dimensões sobre geometrias complexas, e testado sobre um cilindro de seção circular e sobre uma série de aerofólios NACA da série 4. O regime de principal interesse é o regime transônico, em particular para velocidades abaixo da velocidade do som (Mach entre 0,8 e 1). No entanto, resultados para outros regimes de escoamento (subsônico incompressível, subsônico compressível, transônico e supersônico) também são mostrados. / This work presents a fluid-structure interaction method, known as virtual boundary method, developed for flow modeling, over complex geometries. The main characteristic of the method is that, the internal boundary condition at the surface are created using a function, that compute the body force from the momentum equations. This method is known as direct method. The virtual boundary method main advantage is the easy and quick mesh generation. Due the use two different grids, a Cartesian grid for the fluid and a curvilinear grid for the body that interact with the fluid. As these two grids are independent one of other, the grid generation algorithms are easier compared with other methods on CFD as the body fitted. Where the grid has to be adapted to the body of interest. The body fitted methods are implemented with complex algorithms, and high computational cost, especially when complex geometries are analyzed. In this work, the virtual boundary method are developed in order to work with in viscid compressible flow in two dimensions over complex geometries, tested over a cylinder and several NACA series 4 and critical airfoils. The regime of interest is the transonic, below the speed of sound, nevertheless results for several flow regimens (incompressible subsonic, compressible subsonic, transonic and supersonic) are also presented.
216

Sobre o conceito semântico de satisfação

Alves, Carlos Roberto Teixeira 14 December 2015 (has links)
Made available in DSpace on 2016-04-27T17:27:13Z (GMT). No. of bitstreams: 1 Carlos Roberto Teixeira Alves.pdf: 1331347 bytes, checksum: cebe03a83120937101a3595710844df2 (MD5) Previous issue date: 2015-12-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work aims to show the current treatment of the semantic notion of satisfiability to the logic of the first order, the relevant problems of Tarski's solution to define this notion - in this case, the use of infinite sequences to satisfy the formulas - and propose an alternative to circumvent this problem. The notion established by Tarski became, in discussions on the subject, standard solution and resulted in rich tools to work with the languages, in particular tools such as the Theory of Models. However, from a philosophical point of view, it is very important to broaden perspectives and look at the problem from a new dimension. Our proposal is to avoid the counterintuitive idea of using infinite sequences of objects to satisfy the finite formulas, knowing that these infinite sequences are composed almost entirely of 'superfluous terms', expendable in the process of satisfaction, but they should and are listed and indexed in the process. It would be interesting to solve the issue involving sequences without 'superfluous terms'. We propose a structure of first-order language that dispenses variables and constants. The notion of satisfaction in this case is distinct, which increases the possibilities and provides an alternative to the satisfaction of infinite sequences. In the end, we show how our solution can produce the satisfaction of formulas of a first-order language within a framework where satisfaction is interpreted according to certain specific criteria and can be performed by finite sequences, differing essentially from Tarski solution / Este trabalho tem por objetivo mostrar o tratamento atual da noção semântica de satisfatibilidade para as lógicas de primeira ordem, os problemas relevantes da solução de Tarski para definir essa noção no caso, o uso de sequências infinitas para a satisfação das fórmulas , e propor uma alternativa que contorne esse problema. A noção estabelecida por Tarski tornou-se, nas discussões a respeito do tema, a solução padrão e resultou em ferramentas ricas para operar com as linguagens, em especial ferramentas como a Teoria dos Modelos. No entanto, de um ponto de vista filosófico, é sadio ampliar as perspectivas e olhar o problema sob uma dimensão nova. Nossa proposta é superar a ideia contraintuitiva de elencarmos sequências infinitas de objetos para satisfação das formulas finitas, sabendo que essas sequências infinitas são compostas quase que totalmente de termos supérfluos , dispensáveis no processo de satisfação, mas que devem e são enumerados e indexados no processo. Seria interessante solucionar a questão envolvendo sequências sem termos supérfluos . Proporemos uma estrutura de linguagem de primeira ordem que dispensa variáveis e constantes. A noção de satisfação nesse caso é distinta, o que amplia as possibilidades e fornece uma alternativa à satisfação por sequências infinitas. No fim, mostraremos como nossa solução consegue produzir a satisfação de fórmulas de uma linguagem de primeira ordem dentro de uma estrutura interpretada onde a satisfação ocorre segundo certos critérios específicos e consegue ser realizada por sequências finitas, diferindo essencialmente da solução de Tarski
217

Modelagem matemática e simulação numérica do transporte de metano em reservatórios de hidrelétricas / Mathematical modeling and numerical simulation of the methane transport in hydroelectric reservoirs

Cirilo, Eliandro Rodrigues 05 September 2012 (has links)
É notório que a degradação ambiental vem ao longo do tempo posicionando-se como um dos principais problemas do mundo moderno. Dentre as várias questões do interesse ambiental podemos destacar a ascensão da bolha de metano, em reservatórios hidrelétricos, desde o sedimento anóxico no fundo do reservatório até a interface água atmosfera. Neste contexto, a presente tese vêm propor uma nova modelagem matemática para a ascensão da bolha axissimétrica em fluidos newtonianos/nãonewtonianos e mostrar resultados numéricos simulados. Desta forma, o estado da arte estaria elevado a posição de permitir, via Matemática e Simulação Numérica-Computacional, a análise do transporte de metano em reservatórios de hidrelétricas através da bolha / It is well-known that environmental degradation has come along the time positioning as one of the main problems from modern world. Among several questions of the environmental interest may emphasize the methane bubble rise in hydroelectric reservoirs from the anoxic sediment in the bottom of reservoir until water interface atmosphere. In this context, the current thesis has come to propose a new mathematic modeling to the rise of the axisymmetric bubble in the newtonian/non-newtonian fluids and display numerical results simulated. Therefore, the state of art would be ascended to a position to permit, via Mathematics and Computing-Numeric Simulation, the analysis of transport of methane in hydroelectric reservoirs through of bubble
218

Estudo comparativo de formulações do MEC para análise da interação estaca-solo / Comparative study of BEM formulations for the analysis of pile-soil interaction

Rosa, Alessandra Kiyoko da 01 November 2013 (has links)
Para uma análise mais exata do sistema estrutural, é necessário um estudo do comportamento interativo entre as diversas partes que o compõe, entre eles, destaca-se a interação entre os elementos de fundação e o maciço de solos. Neste trabalho foram desenvolvidas formulações numéricas para a análise da interação estaca-solo via acoplamento entre diferentes métodos numéricos: método dos elementos de contorno, método dos elementos finitos e método das diferenças finitas. As estacas podem estar submetidas a carregamentos horizontais, verticais e momentos aplicados em seu topo. Nestas formulações foram utilizadas, além das equações integrais de deslocamentos, as equações de suas derivadas, levando a um grau maior de singularidade, porém permitindo a adoção de aproximações mais refinadas para os deslocamentos e tensões ao longo da estaca. Todos os deslocamentos e suas derivadas referentes à estaca foram compatibilizados com os correspondentes do solo. Desenvolvidas as formulações, feito o devido acoplamento entre eles, foram analisados exemplos, que foram comparados com os resultados obtidos por outros pesquisadores, demonstrando sua validade. / For a more accurate analysis of the structural system, it is necessary to study the interactive behavior between the various parts that compose it, among them, there is the interaction between the foundation elements and massive soil. In this work, numerical formulations were developed for the analysis of pile-soil interaction by coupling between different numerical methods: the boundary element method, finite element method and finite difference method. Piles can be subjected to horizontal loads, vertical and moments applied on its top. In these formulations were used in addition to the displacement integral equations, the equations of their derivatives, leading to a higher degree of uniqueness but allowing the adoption of more sophisticated approaches to displacements and contact tractions along the pile. All displacements and their derivatives relating to the pile were matched with the corresponding soil. Developed formulations made due coupling between them were analyzed examples, which were compared with results obtained by other authors, demonstrating its validity.
219

Método da propagação de feixe de ângulo largo para análise de guias de ondas ópticos não-lineares / not available

Flamino, Reinaldo de Sales 21 September 2001 (has links)
Este trabalho propõe uma extensão do método de propagação de feixe (BPM - Beam Propagation Method) para a análise de guias de ondas ópticos e acopladores baseados em materiais não-lineares do tipo Kerr. Este método se destina à investigação de estruturas onde a utilização da equação escalar de Helmholtz (EEH) em seu limite paraxial não mais se aplica. Os métodos desenvolvidos para este fim são denominados na literatura como métodos de propagação de feixe de ângulo largo. O formalismo aqui desenvolvido é baseado na técnica das diferenças finitas e nos esquemas de Crank-Nicholson (CN) e Douglas generalizado (GD). Estes esquemas apresentam como característica o fato de apresentarem um erro de truncamento em relação ao passo de discretização transversal, &#916x, proporcional a O(&#916x2) para o primeiro e O(&#916x4). A convergência do método em ambos esquemas é otimizada pela utilização de um algoritmo interativo para a correção do campo no meio não-linear. O formalismo de ângulo largo é obtido pela expansão da EEH para os esquemas CN e GD em termos de polinômios aproximantes de Padé de ordem (1,0) e (1,1) para CN e GD, e (2,2) e (3,3) para CN. Os aproximantes de ordem superior a (1,1) apresentam sérios problemas de estabilidade. Este problema é eliminado pela rotação dos aproximantes no plano complexo. Duas condições de contorno nos extremos da janela computacional são também investigadas: 1) (TBC - Transparent Boundary Condition) e 2) condição de contorno absorvente (TAB - Transparent Absorbing Boundary). Estas condições de contorno possuem a facilidade de evitar que reflexões indesejáveis sejam transmitidas para dentro da janela computacional. Um estudo comparativo da influência destas condições de contorno na solução de guias de ondas ópticos não-lineares é também abordada neste trabalho. / This work introduces an extension of the beam propagation method (BPM) for the analysis of optical waveguides and couplers based on Kerr-type nonlinear materials. This method is intended for the investigation of structures where the paraxial scalar Helmholtz equation (EEH) no longer holds. The numerical methods developed for this situation are known in the literature as wide-angle beam propagation methods. The formulation developed in this work is based on finite differences and on the Crank-Nicholson (CN) and Generalized Douglas (GD) schemes. These schemes are characterized by a truncation error with respect to the transverse discretization step, &#916x, proporcional to O(&#916x2) for the CN and to O(&#916x4) for the GD scheme. The convergence of the method for both schemes is optimized by the application of an iterative algorithm for the correction of the field in the nonlinear medium. The wide-angle formalism is obtained by the expansion of the EEH for the CN and GD schemes in terms of Padé approximant polynomials. The expansions addressed in this work utilize Padé approximants of order (1,0) and (1,1) for the CN and GD scheme, and (2,2) and (3,3) for the CN scheme. Approximants orders higher than (1,1) show serious stability problems. This problem is circumvented by rotating the approximants in the complex plane. Two boundary conditions on the edge of the computational window are also investigated: 1) transparent boundary condition (TBC) and 2) transparent absorbing boundary (TAB). These boundary conditions are necessary in order to avoid unwanted reflections back to computational domain. A comparative study of the influence of these boundary conditions on the solution of nonlinear optical waveguides is also addressed in this work.
220

Nova metodologia para análise e síntese de sistemas de aterramento complexos utilizando o método lN-FDTD, computação paralela automática e redes neurais artificiais / New methodology for analysis and synthesis of complex systems of aterramento using method LN-FDTD, automatic parallel computation and artificial neural nets

OLIVEIRA, Rodrigo Melo e Silva de 29 February 2008 (has links)
Made available in DSpace on 2011-03-23T21:19:48Z (GMT). No. of bitstreams: 0 / Item created via OAI harvest from source: http://www.bdtd.ufpa.br/tde_oai/oai2.php on 2011-03-23T21:19:49Z (GMT). Item's OAI Record identifier: oai:bdtd.ufpa.br:312 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / The FDTD method in General Coordinates (LN-FDTD) was implemented for analyzing structures not coincident to the Cartesian coordinate system. The method solves the Maxwells equations in time domain, allowing the calculation of data concerning the transitory and steady-state responses of such structures. The method is applied to analyze of special grounding electrodes. A new formulation for the truncating technique UPML, for conductive media, referred here as LN-UPML, was developed and implemented in order to make the simulations viable. A new methodology for locating grounding grid faults using two Artificial Neural Networks is presented. The LN-FDTD software was tested and validated though simulations of various grounding systems. A graphical user interface, named LANE SAGS, was implemented to simplify the use and to automate the data processing. / Neste trabalho, o método FDTD em coordenadas gerais (LN-FDTD) foi implementado para a análise de estruturas de aterramento com geometrias coincidentes ou não com o sistema de coordenadas cartesiano. O método soluciona as equações de Maxwell no domínio do tempo, permitindo a obtenção de dados a respeito da resposta transitória e de regime estacionário de estruturas diversas de aterramento. Uma nova formulação para a técnica de truncagem UPML em coordenadas gerais, para meios condutivos, foi desenvolvida e implementada para viabilizar a análise dos problemas (LN-UPML). Uma nova metodologia baseada em duas redes neurais artificiais é apresentada para a deteccão de defeitos em malhas de terra. O software FDTD em coordenadas gerais foi testado e validado para vários casos. Uma interface gráfica para usuários, chamada LANE SAGS, foi desenvolvida para simplificar o uso e automatizar o processamento dos dados.

Page generated in 0.0577 seconds