Orientador: Mario de Jesus Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-27T03:52:46Z (GMT). No. of bitstreams: 1 Simoes_AlexandreRodrigues_M.pdf: 3484513 bytes, checksum: f412203a0df7736887e63d3c2e42752f (MD5) Previous issue date: 2000 / Resumo: Uma das maiores dificuldades encontradas no estudo dos processos de separação por estágios é a grande dimensão dos modelos do processo. Assim, a simulação desses processos envolve um elevado número de equações algébrico-diferenciais não-lineares ocasionando um elevado esforço computacional. Vários pesquisadores têm proposto estratégias que reduzam a dimensão dos modelos, estas técnicas recebem o nome de métodos de redução de ordem e os modelos por ela obtidos são denominados modelos de ordem reduzida. Este trabalho tem como objetivos o desenvolvimento de modelos de ordem reduzida para sistemas de processos de separação por estágios usando a metodologia da colocação ortogonal discreta, a seleção da melhor estratégia de colocação, assim como a seleção do algoritmo mais adequado para a solução das equações do modelo reduzido visando selecionar aquela combinação de estrutura de modelo e de algoritmo que permita obter uma simulação adequada e custo computacional mínimo. A aplicação do método da colocação ortogonal é estendida à solução de equações às diferenças, a partir do desenvolvimento de uma metodologia que unifica o uso do método da colocação ortogonal tanto para a solução de equações diferenciais quanto para a de equações às diferenças. Os resultados obtidos nas simulações realizadas demonstram a viabilidade da aplicação da colocação ortogonal discreta na simulação de colunas de destilação em estado estacionário. O esquema de colocação ortogonal mista levou a uma melhor aproximação em relação à colocação ortogonal mista modificada, além de uma redução considerável no tempo computacional em comparação com o modelo completo / Abstract: One of the largest difficulties found in the analysis of staged separation processes is the great dimension of their models. Thus, the simulation of these processes involves a high number of algebraic-differential equations, causing a high computational effort. Several researchers have been proposing order reduction strategies, that is reduce the dimension of the models. This work has as objectives the development of reduced order models for systems of staged separation processes through collocation strategies, the selection of the best collocation strategy, as well as the selection of the algorithm more adapted for the solution of the equations of the model seeking that combination of model structure and of algorithm that allows to obtain an appropriate simulation and minimum computational cost. The application of the method of orthogonal collocation is extended to the solution of differences equations, starting from the development of a methodology that unifies the use of orthogonal collocation for the solution of differential equations as well as for the one of differences equations. The results obtained in the simulations demonstrate the viability of the application of discrete orthogonal collocation in the simulation of distillation columns in stationary state. The discrete mixed orthogonal collocation led to a better approach than the modified mixed orthogonal collocation. Besides, a considerable reduction in the computational time in comparison to the complete model was obtained. / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Orientador : Mario Carvalho de Matos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T00:46:54Z (GMT). No. of bitstreams: 1 Souza_MarcelaLucianoVilelade_D.pdf: 699947 bytes, checksum: a087d1a4654b677def08d8e048c7d43a (MD5) Previous issue date: 2003 / Doutorado / Doutor em Matemática

Orientador: Marco Lucio Bittencourt / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-04T00:53:05Z (GMT). No. of bitstreams: 1 Vazquez_MarianaGodoy_M.pdf: 2594508 bytes, checksum: de672c4c1a82ad3277415f0ff10ddd83 (MD5) Previous issue date: 2004 / Resumo: Nesse trabalho, apresentam-se procedimentos baseados em produto tensorial para a construção de funções de interpolação nodal (versão h) e modal (versão p), com emprego, respectivamente, de Polinômios de Lagrange e J acobi em elementos finitos uni, bi (quadrados e triângulos) e tridimensionais (hexaedros e tetraedros). Os procedimentos apresentados são simples c permitem um tratamento uniforme para a construção das funções de interpolação. Realizaram-se estudos sobre o condicionamento numérico e a esparsidade de algumas bases aqui definidas. Em particular, para as funções triangulares modais tensorizáveis realizou-se um estudo sobre a influência das ponderações dos Polinômios de Jacobi na esparsidade e condicionamento numérico das matrizes locais de massa / Abstract: This work presents procedures based on the tensorial product for the construction of nodal (version h) and modal (version p) interpolation functions, with the use of Lagrange and Jacobi polynomials, respcctively, for one, two (square and triangles) and three-dimensional (hexahedral and tetrahedral) elements. The procedures presented are simple and permit an uniform treatment of the construction of the interpolation functions. The numerical conditioning and sparsity of some bases defined are studied. For the tensorial modal functions for triangles the influence of the weights of the Jacobi polynomials in the sparsity and numerical conditioning of the local mass matrices is considercd / Mestrado / Mecanica de Solidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T13:45:04Z (GMT). No. of bitstreams: 1 Carolino_PietroKreitlon_M.pdf: 612208 bytes, checksum: d9a9dde30e7c7ea6f5a420ad1dfde09c (MD5) Previous issue date: 2009 / Resumo: A obra de George Boole, pedra fundamental da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles, Leibniz, Newton e dos analistas a partir do século XVII, como Taylor, MacLaurin e Lagrange. O que foi chamado em [12] de polinomizar é precisamente a tentativa de reavaliar os métodos oriundos de Boole e Leibniz, que permitem representar a semântica e a sintaxe de diversos sistemas lógicos pela manipulação algébrica. Tirando partido de resultados combinatórios elementares, é possível tratar todas as lógicas multivalentes verofuncionais com base em manipulação polinomial; não somente estas, mas também lógicas não-verofuncionais, e ainda fragmentos da lógica de primeira ordem, que formalizam a teoria clássica de silogismos de Aristóteles. Este trabalho pretende esclarecer tais questões de forma mais abrangente, e investigar a possibilidade de estender o tratamento da polinomização a outras lógicas. São obtidos alguns resultados positivos, como novas demonstrações de teoremas conhecidos, mas também negativos, que mostram as limitações do método. Investiga-se também a relação da polinomização de lógicas com outros tratamentos conhecidos, como paraconsistentização, temporalização, algebrização etc. / Abstract: The work of George Boole, cornerstone of contemporary logic, does not draw a clear distinction between the methods of mathematical analysis, and those of logic proper. If, on the one hand, this lack of well-de ned borders has earned it harsh criticism, on the other hand it makes Boole's work a true synthesis of formal thought, inherited from Aristotle, Leibniz, Newton and the 17th-century analysts, such as Taylor, MacLaurin and Lagrange. What was called polynomizing in [12] is precisely the attempty to re-evaluate the methods originiating in Boole and Leibniz, which allow one to represent the semantics and syntax of varioius logical systems through algebraic manipulation. Using elementary combinatorial results, it is possible to treat all multivalent truth-functional logics by polynomial manipulation; not only these, but some non-truth-functional logics, and also fragments of first-order logic, which formalize Aristotle's classical theory of syllogisms. The present work intends to throw light upon such questions in a broader way, and to investigate the possibility of extending the method of polynomization to other logics. Some positive results are obtained, such as new proofs of known theorems, but also some negative ones, which show the inherent limitations of the method. We further investigate the relationship between polynomization of logics and other known treatments, such as paraconsistentization, temporalization, algebrization etc. / Mestrado / Filosofia / Mestre em Filosofia

Orientador : Maria Cristina Cunha Bezerra / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T01:53:00Z (GMT). No. of bitstreams: 1 Carvalho_EdsonRodrigues_M.pdf: 1249803 bytes, checksum: b2e4b1b86bd64cb5c291308a32cbb395 (MD5) Previous issue date: 1987 / Resumo: Não informado / Abstract: Not informed / Mestrado / Analise Aplicada / Mestre em Matemática Aplicada

Orientador : Mario de Jesus Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-18T13:20:01Z (GMT). No. of bitstreams: 1 Rocha_EtienneMarcosdeAlmeida_M.pdf: 2562251 bytes, checksum: af087981260c2788f2ae1ed5f8286018 (MD5) Previous issue date: 1993 / Resumo: Uma forte influência dos efeitos de difusão intraparticular é observada na desidrogenação do n-dodecano num catalisador comercial de Pi-Sn/¿AL IND. 2¿¿O IND. 3¿. Dados experimentais de composição na superfície de partículas inteiras foram obtidos num reator ¿sem gradientes externos¿ do tipo Carberry para uma temperatura de '450 GRAUS¿C, pressão de 2,4 atm e razão molar de alimentação 'H IND. 2¿/¿C IND. 12¿¿H IND.26¿ igual a 5 e 10 e 'H IND. 2¿/¿N IND. 2¿ igual a 3. Problemas de gradiente de temperatura e concentração ao longo do reator com cesta rotatória foram resolvidos com modificações do sistema de aquecimento do reator. Os valores de taxas de reação obtidos foram combinados com as expressões da taxa de reação intrínseca, o que permitiu calcular o fator de efetividade. Valores muito baixos do fator de efetividade foram encontrados para as reações em série dodecano '1 SOBRE 2 BARRAS¿ dodeceno ' SOBRE 2 BARRAS¿ dodecadieno '3 SOBRE SETA¿ aromáticos. A complexidade do sistema com três reações consecutivas e a difusão multicomponente, em partículas porosas e esféricas de catalisador, tornam complexa a modelagem do processo de difusão intraparticular. Equações de difusão do tipo Stefan-Maxwell modificadas foram combinadas com as equações de balanço material para o componente chave de cada reação; não foram incluídos os efeitos de gradiente de pressão e da difusão superficial... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Not informed. / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Orientador: Milton Mori / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-18T18:59:10Z (GMT). No. of bitstreams: 1 Steffani_Evandro_M.pdf: 2084852 bytes, checksum: 83b4e22bb98d52c5e934872728f0ee19 (MD5) Previous issue date: 1993 / Resumo: Este trabalho consiste na elaboração de uma rotina de cálculo para a simulação do escoamento laminar de fluidos em dutos cilíndricos. As equações da continuidade e a componente axial da equação de Navier-Stokes são resolvidas utilizando-se o método de colocação ortogonal em elementos finitos. Como resultado deste trabalho tem-se um programa fácil de se utilizar que calcula os perfis de velocidade, para o escoamento de um fluido newtoniano, no interior de tubos. O programa é testado fazendo-se simulações do escoamento laminar de ar a 25°C a diferentes números de Reynolds, variando-se também o tamanho da malha, ou seja, o número de elementos finitos utilizados nas direções axial e radial. Os resultados obtidos são comparados à solução analítica para perfil desenvolvido / Abstract: This work presents a computer program for the simulation of the laminar flow of fluids in cylindrical ducts. The continuity equation and the axial component of Navier-Stokes equation are solved using the orthogonal collocation on finite elements method. As a result we have a simple program which gives the velocity profiles for the flow of a Newtonian fluid. The program is tested using air at 25°C at different Reynolds numbers and different grid sizes. The results are compared to the analytical solution for fully developed flow / Mestrado / Desenvolvimento de Processos Químicos / Mestre em Engenharia Química

Este trabalho aborda principalmente dois tópicos em Análise Funcional. No primeiro tópico, estudamos zeros de polinômios em espaços de Banach reais. Apresentamos resultados devidos a J. Ferrer, estabelecendo que todo polinômio fracamente contínuo sobre os subconjuntos limitados de um espaço de Banach, de dual não separável na topologia fraca estrela, admite um subespaço linear fechado de dual não separável na topologia fraca estrela, no qual o polinômio se anula. No segundo tópico, exibimos a versão multilinear do Lema de Phelps devido a R. Aron, A. Cardwell., D. García e I. Zalzuendo. / We study two topics in Functional Analysis. In the first topic, we study zeros of polynomials on real Banach spaces. We present results due to J. Ferrer, stating that every polynomial weakly continuous on bounded subsets of a Banach space, whose dual is not separable in the weak-star topology, admits a closed linear subspace whose dual is not separable in the weak- star topology either, where the polynomial vanishes. In the second topic, we show a multilinear version for the Phelps\' Lemma by R. Aron, A. Cardwell., D. García and I. Zalzuendo.

Neste trabalho, estudamos polinômios e equações polinomiais, apresentando orientações dos Parâmetros Curriculares Nacionais e informações de como alguns livros didáticos abordam o tema quanto ao tratamento, à metodologia e à priorização no planejamento escolar. Considerando polinômios com coeficientes reais ou complexos, buscamos condições sobre os coeficientes para que tais polinômios tenham raízes. Refletimos sobre como os professores de Matemática podem tratar o tema em sala de aula para obter resultados positivos e tornar a aprendizagem mais atrativa. Abordamos diversos resultados, como o Teorema do Resto, o dispositivo prático de Briot-Ruffini, o Teorema da Decomposição, as relações de Girard, o Teorema das Raízes Racionais, o Teorema Fundamental da Álgebra e as fórmulas de resolução de equações polinomiais por radicais até o quarto grau. Apresentamos uma abordagem para sala de aula com a utilização de um recurso computacional didático e instrumento de avaliação diferenciado. / In this dissertation, we study polynomials and polynomial equations, presenting guidelines from the National Curricular Parameters and information on how some textbooks discuss the topic regarding the treatment, the methodology and the prioritization in school planning. Considering polynomials with real or complex coefficients, we seek conditions on these coefficients so that we ensure that these polynomials have roots. We reflect on how Math teachers can address the topic in the classroom in order to get positive results making the learning more attractive. We address several results such as the Polynomial Remainder Theorem, the Briot-Ruffinis practical rule, the Decomposition Theorem, the Girards relations, the Rational Roots Theorem, the Fundamental Theorem of Algebra and the resolution formulas for polynomial equations by radicals up to the fourth degree. We present a lesson plan with the use of a teaching computational resource and differentiated evaluation tool.

Neste trabalho, estudamos a relação que existe entre o número de Milnor de um polinômio cômodo ou seja, a soma dos números de Milnor dos pontos singulares isolados deste polinômio, com seu número de Newton. Este número é sempre menor ou igual ao número de Newton e a igualdade entre os números é obtida sempre que o polinômio cômodo possui parte principal Newton não-degenerada no infinito / In this work, we study the relation between the Milnor number of a polynomial cômodo ie. the sum of Milnor numbers of isolated singular points of polynomial, with the Newton number. This number is always lower than or equal to the Newton number and equality between the numbers is obtained when the polynomial has non-degenerate newtonian principal part at the infinity