Made available in DSpace on 2013-08-07T18:51:54Z (GMT). No. of bitstreams: 1 000427515-Texto+Completo-0.pdf: 6913424 bytes, checksum: 32f578bbed86d2c591f8599f0e316fef (MD5) Previous issue date: 2010 / This paper aims to present a study that used the technique of error analysis for understanding the difficulties presented by the students in the discipline of Differential Calculus. While acknowledging the influence of other factors, the concern of the researcher in this work was focused on mathematical knowledge for the Calculus. The starting point was the analysis of the assessments made during the term. lt also was analyzed material that students could consult during the examinations and applied a questionnaire to those involved with the discipline (students, teachers and mentors). This research concluded that the greatest obstacle faced by students in this discipline is not the specific content of the calculus, but the basic knowledge of mathematics, studied in elementary and high levels. / Este trabalho tem como objetivo apresentar uma pesquisa que utilizou a técnica de análise de erros para a compreensão das dificuldades apresentadas pelos alunos na disciplina de Cálculo Diferencial. Embora reconheça a influência de outros fatores, a preocupação do pesquisador nessa investigação esteve centrada nos conhecimentos matemáticos relativos ao Cálculo. O ponto de partida foi análise das avaliações realizadas durante o semestre. Além disso, também foi analisado um material que os alunos poderiam confeccionar para consultar durante as provas e aplicado um questionário junto aos envolvidos com a disciplina (alunos, professores e monitores). Essa pesquisa permitiu concluir que o maior obstáculo enfrentado pelos educandos nessa disciplina não está nos conteúdos específicos do Cálculo, mas sim nos conhecimentos da Matemática básica, estudados nos níveis Fundamental e Médio.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2014. / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2015-02-02T14:33:48Z No. of bitstreams: 1 2014_GelsondeSousaAlves.pdf: 3157421 bytes, checksum: eeab3b2a19a7016154bca4fa5dc72938 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-02-03T19:23:47Z (GMT) No. of bitstreams: 1 2014_GelsondeSousaAlves.pdf: 3157421 bytes, checksum: eeab3b2a19a7016154bca4fa5dc72938 (MD5) / Made available in DSpace on 2015-02-03T19:23:47Z (GMT). No. of bitstreams: 1 2014_GelsondeSousaAlves.pdf: 3157421 bytes, checksum: eeab3b2a19a7016154bca4fa5dc72938 (MD5) / Esta pesquisa teve o objetivo de implementar formulações não convencionais do método dos elementos finitos (MEF) aplicado a análise estrutural em regime elástico linear. Especificamente, o método dos elementos finitos generalizados (MEFG) foi desenvolvido para simulações em domínios bidimensionais. Várias funções de enriquecimento, como as funções polinomiais, singulares e de interface, foram implementadas a fim de melhorar a aproximação dos problemas de valor de contorno com soluções suaves, singulares e descontínuas devido a diferentes interfaces de materiais. Uma técnica especial foi formulada e implementada levando em consideração a interface do material em compósitos sem a correspondência da malha de elementos finitos com o contorno dos diferentes materiais nos membros estruturais: vigas laminadas, placa com dois materiais e compósitos heterogêneos (matriz e inclusões). Assim, os resultados foram comparados com soluções analíticas e soluções pelo MEF. Os resultados mostram que melhores aproximações foram alcançadas usando o modelo proposto. A estratégia demonstrou potencial para resolver problemas com gradiente descontínuo causado pela interface material. Além disso, o método proposto atribuiu nós fictícios somente na interface, eliminando problemas comuns do MEFG convencional no momento da atribuição das condições de contorno e de mapeamento da continuidade de contorno dos elementos. __________________________________________________________________________________ ABSTRACT / This research aimed to implement non-conventional formulations of the finite element method (FEM) applied to structural analysis in linear elastic regime. Specifically, the framework of the generalized finite element method (GFEM) was developed for simulations in two-dimensional domains. Several enrichment functions such as polynomials, singular and interface functions were implemented in order to enhance the approximation of boundary values problems with smooth, singular, and discontinuous gradient solutions due interface of materials. A special technique was formulated and implemented to account the material interface in composite materials without matching the finite element mesh to the boundaries of different materials in structural members: layered beams, bi-material plates and heterogeneous composites (matrix and inclusions). Thereafter, the results were compared with analytical solutions or FEM solutions. As a result, more efficient approximations were achieved using the proposed framework. The strategy demonstrated potential for solving problems with discontinuous gradient caused by the material interface. Furthermore, the proposed method assigned only enrichment fictitious nodes at the interfaces which eliminate common issues in conventional GFEM when assigning boundary conditions and mapping boundary continuity through the elements.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Física, 2007. / Submitted by Raquel Viana (tempestade_b@hotmail.com) on 2009-11-18T18:14:12Z No. of bitstreams: 1 2007_AdonielWelderSaraivaAntunes.pdf: 931332 bytes, checksum: 771ab6daddb1d0180eaeddcf8e7eb19e (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2010-01-12T16:33:26Z (GMT) No. of bitstreams: 1 2007_AdonielWelderSaraivaAntunes.pdf: 931332 bytes, checksum: 771ab6daddb1d0180eaeddcf8e7eb19e (MD5) / Made available in DSpace on 2010-01-12T16:33:26Z (GMT). No. of bitstreams: 1 2007_AdonielWelderSaraivaAntunes.pdf: 931332 bytes, checksum: 771ab6daddb1d0180eaeddcf8e7eb19e (MD5) Previous issue date: 2007-04-01 / Recentemente o Genetic Algorithm Optimization Technique (GAOT) foi utilizado para construir uma nova Superfície de Energia Potencial (SEP) para a reação Na + HF ? NaF + H (SEP GAOT). As propriedades dinâmicas dessa nova SEP foram determinadas com o uso do Método Quase-Clássico de Trajetórias. Para verificar a qualidade dessa SEP, foi realizado um estudo comparativo com as propriedades dinâmicas obtidas a partir de duas SEPs consideradas benchmarks da literatura. Dessa comparação e possivel verificar um bom acordo entre as SEPs analisadas. _______________________________________________________________________________________ ABSTRACT / Recently the Genetic Algorithm Optimization Technique (GAOT) was used tobuildanewPotencialEnergySurface(PES)totheNa+HF ? NaF+H reaction (GAOT PES). Dynamical properties of this new PES were determined using the QuasiClassicalTrajectoriesMethod. Theseresultswerecomparedwiththedynamic properties obtained to two others PES considered benchmark of literature. From these comparison it was possible to verify a good agreement among these PES.

Dissertação (mestrado)—Universidade de Brasília, Departamento de engenharia civil e ambiental, 2010. / Submitted by wiliam de oliveira aguiar (wiliam@bce.unb.br) on 2011-06-20T18:30:40Z No. of bitstreams: 1 2010_AlberHerbertRodriguesVasconcelos.pdf: 4344236 bytes, checksum: 04b5e7ba9dc9b57da7c2e0f08e9ae213 (MD5) / Approved for entry into archive by Guilherme Lourenço Machado(gui.admin@gmail.com) on 2011-06-22T14:52:18Z (GMT) No. of bitstreams: 1 2010_AlberHerbertRodriguesVasconcelos.pdf: 4344236 bytes, checksum: 04b5e7ba9dc9b57da7c2e0f08e9ae213 (MD5) / Made available in DSpace on 2011-06-22T14:52:18Z (GMT). No. of bitstreams: 1 2010_AlberHerbertRodriguesVasconcelos.pdf: 4344236 bytes, checksum: 04b5e7ba9dc9b57da7c2e0f08e9ae213 (MD5) / Rampas helicoidais são estruturas muito apreciadas na arquitetura. Devido à grande procura por estruturas deste tipo os engenheiros devem analisá-las de forma cuidadosa, avaliando corretamente o desenvolvimento dos esforços envolvidos e as deformações que podem ocorrer. Neste trabalho as rampas de formato helicoidal foram analisadas por meio de diferentes métodos, de forma a avaliá-los e entender as suas diferenças quando submetidas a cargas estáticas. Foram utilizados os métodos propostos por Fuchssteiner, Scordelis, Bergman e Prudon. Também foram desenvolvidos modelos em elementos finitos de barras e de cascas por meio do programa SAP 2000. Para tal objetivo foram desenvolvidos os cálculos dos esforços internos de oito rampas idealizadas. Foram feitos também comentários a respeito do comportamento de cada esforço nas estruturas analisadas. Constatou-se por meio dos resultados que os métodos de Bergman e Prudon distanciaram-se bastante dos demais por não considerarem todos os efeitos da interação dos esforços internos que ocorrem em uma estrutura helicoidal. Os métodos propostos por Fuchssteiner e Scordelis apresentam resultados muito semelhantes aos obtidos pelo programa SAP 2000 simulando elementos de barras. Os modelos de cascas desenvolvidos também apresentaram resultados coerentes com os obtidos pelos métodos citados. _______________________________________________________________________________ ABSTRACT / Helical ramps are structures highly prized in architecture. Due to the high demand for such structures engineers must analyze them carefully, measuring correctly the forces involved and strains that can occur. In this paper helical ramps were analyzed by different methods in order to evaluate them and understand their differences. The methods proposed by Fuchssteiner, Scordelis, Bergman and Prudon were used. Models were also developed in finite element bars and shells using the program SAP 2000. For this purpose were developed the calculations of the internal forces of eight idealized ramps. There were made comments about the behavior of each individual force in the analyzed structures. It was verified by the results for the methods of Bergman and Prudon distanced themselves enough from the others because they do not consider rightly the effects of the interaction of the internal forces that occur in a helical structure. The proposed methods by Fuchssteiner Scordelis show very similar results to those obtained by SAP 2000 program simulating bar elements. The models developed with shells finite elements also showed results consistent with those obtained by the previous methods cited.

Tese (doutorado)-Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2010. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2011-06-29T19:49:47Z No. of bitstreams: 1 2010_AdailCastroCavalheiro.pdf: 324127 bytes, checksum: 5275bdb41bf144d6ad410b8106ac755d (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2011-06-29T19:50:27Z (GMT) No. of bitstreams: 1 2010_AdailCastroCavalheiro.pdf: 324127 bytes, checksum: 5275bdb41bf144d6ad410b8106ac755d (MD5) / Made available in DSpace on 2011-06-29T19:50:27Z (GMT). No. of bitstreams: 1 2010_AdailCastroCavalheiro.pdf: 324127 bytes, checksum: 5275bdb41bf144d6ad410b8106ac755d (MD5) / Um problema com muitas aplicações físicas é estimar os autovalores do operador de Laplace e suas generalizações. Neste trabalho, apresentamos algumas cotas universais para os autovalores dos operadores Laplaciano e Bi-harmônico em domínios limitados de Variedades Riemannianas Completas. Para o Laplaciano, temos uma estimativas para a soma de quaisquer n autovalores consecutivos e, para o Bi-harmônico, uma desigualdade tipo-Yang foi provada. Finalmente, estudamos autovalores do Poli-Harmônico em domínios limitados de Rn e Sn (1) e encontramos cotas para autovalores de ordem inferior. ___________________________________________________________________________________________ ABSTRACT / A problem with many applications in physics is to estimate the eigenvalues of the Laplacian operator and its generalizations. In this work, we present some universal bounds for the eigenvalues of Laplacian and Biharmonic operators in bounded domains of Complete Riemannian Manifolds. For the Laplacian, we have an estimate for the sum of any n consecutive eigenvalues and, for the Biharmonic, a Yang-type inequality has been proved. Finally, we study Polyharmonic eigenvalues in bounded domains of Rn and Sn(1) and we found bounds for lower order eigenvalues.

No presente trabalho procurou-se estudar o Problema de Dirichlet, enxergando-o através de sua formulação variacional. Para tal, introduzimos os espaços de Sobolev e uma série de suas propriedades. Após, estudamos a formulação fraca do problema, onde, na busca pela existência e uni cidade de sua solução, estudamos o funcional que surge naturalmente. Finalmente, usando esses resultados, apresentamos a formulação variacional do referido problema, para fecharmos o trabalho com um estudo de caso, onde a solução existe e é única. / In the present work sought to study the Problem of Dirichlet, in a variational formulation view. To this end, we introduced the spaces of Sobolev, and a number of its properties. After we studied the weak formulation of the problem, where in the search for the existence and uniqueness of its solution, we studied the way that comes naturally. Finally, using these results, we present the variational formulation of the problem, to dose the work with a case study where the solution exists and is unique.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T14:54:25Z No. of bitstreams: 2 Dissertacao Ruan Carvalho.pdf: 760651 bytes, checksum: 11973d9d0a63868703fa87f2c9daf83b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:14:37Z (GMT) No. of bitstreams: 2 Dissertacao Ruan Carvalho.pdf: 760651 bytes, checksum: 11973d9d0a63868703fa87f2c9daf83b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T13:14:37Z (GMT). No. of bitstreams: 2 Dissertacao Ruan Carvalho.pdf: 760651 bytes, checksum: 11973d9d0a63868703fa87f2c9daf83b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-10-03 / Desde que proof-nets para MLL− foram introduzidas por Girard, vários estudos foram realizados na prova de corretude desse sistema. O primeiro critério foi o no shorttrip condition: Girard usou a noção de trips para definir impérios e provou que se todas as fórmulas terminais numa proof-net R forem conclusões de links ou de axiomas, então pelo menos um link terminal divide R em duas partes (a conclusão deste link é chamada de “nó split”). Outro avanço na prova de corretude de proof-nets foi obtido pela introdução de um novo tipo de subnets. Uma vez que a noção de reinos foi introduzida, Bellin & van de Wiele produziram uma elegante prova do teorema de sequentização utilizando propriedades simples das subnets e mostrando como encontrar o nó split. Todavia, estas abordagens não se aplicam integralmente aos N-Grafos, uma vez que a noção de reinos não é possível de ser empregada. Não obstante, a necessidade de identificar o nó split está no coração da prova da sequentização. Então, usamos alguns resultados obtidos para as proof-nets e apresentamos uma outra abordagem para chegar à prova da sequentização para os N-Grafos. Usando a noção de subprovas, definimos o império do norte, o do sul e o total (whole empire) de uma ocorrência de fórmula A. Com isso, além da apresentação de uma nova prova de corretude para os N-Grafos (sem o conectivo !), também é dado um método generalizado para realizar cortes precisos em provas.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-25T16:14:37Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO(PDF)_SEM ASSINATURAS_SEM CAPA.pdf: 5719115 bytes, checksum: de29920a6cadc876db1ffac5f02a49a2 (MD5) / Made available in DSpace on 2016-01-25T16:14:37Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO(PDF)_SEM ASSINATURAS_SEM CAPA.pdf: 5719115 bytes, checksum: de29920a6cadc876db1ffac5f02a49a2 (MD5) Previous issue date: 2014-01-31 / CAPES / O trabalho desenvolvido teve como objetivo complementar estudos realizados anteriormente por Magalhães (2013), sobre o comportamento geotécnico da encosta do Alto do Padre Cícero, localizada no município de Camaragibe/PE, quanto à estabilidade dos taludes existentes. Foi realizada uma comparação e discussão entre os parâmetros e classificações aqui obtidas com aqueles apresentados nos estudos de Magalhães (2013), bem como com outros resultados existentes na bibliografia. A unidade geológica da encosta foi classificada como Formação Barreiras. A revisão bibliográfica abrange movimentos de massa e métodos de cálculo de estabilidade de taludes. Durante a elaboração desse estudo, realizou-se levantamento planialtimétrico da área para obtenção da geometria da encosta o que não havia sido apresentado no trabalho de Magalhães (2013), proporcionando a definição da geometria da encosta. A encosta do Alto do Padre Cícero, está localizada a aproximadamente 2 km do Vale das Pedreiras, também pertencente ao município de Camaragibe e onde foram executadas pesquisas científicas por Silva (2007) e Silva (2010). A seção da encosta estudada na pesquisa atual está localizada a leste da seção estudada por Magalhães (2013), a uma distância de aproximadamente 20 metros. Em campo foram executadas sondagens a percussão para prospecção do perfil geotécnico e ensaios do Permeâmetro Guelph para estudo da permeabilidade do solo. Os parâmetros geotécnicos da encosta foram definidos, a partir da coleta de amostras deformadas e indeformadas e ensaios de laboratório tais como caracterização física, classificando o material das camadas de solo, ensaios de cisalhamento direto, cujos parâmetros foram utilizados no cálculo da estabilidade de taludes através do software SLOPE/W 2007, ensaios edométricos, cujos parâmetros obtidos serviram para classificar os solos quanto à colapsibilidade e o ensaio de condutividade hidráulica (Triflex II). Os ensaios de laboratório foram realizados nas condições de umidade natural e na condição inundada, para simular os períodos de chuvas intensas e avaliar a influência da água nos parâmetros de resistência. Dentre os resultados dos fatores de segurança obtidos nas análises de estabilidade, os mais baixos foram relativos à região do Topo da Encosta com valores de 1,705 para a condição de umidade natural e de 1,064 na condição inundada. / The work aimed to complement studies conducted previously on the Geotechical behavior of the Padre Cícero hill, located in the municipality of Camargibe, regarding the stability of existing SLOPEes. A comparison and discussion was held between the parameters and classifications here obtained with those presented in the studies do Magalhães (2013), who had studies this hill previously, as well as with other existing results in the bibliography. The geological unit of the SLOPEe was classified as Formação Barreiras. The literature rewiew includes mass movements and methods of SLOPEe stability calculation. During the preparation of this study, survey was carried out in the area to obtain the geometry of the SLOPEe that had not been presented in the studies of Magal, providing the definition of the geometry of the SLOPEe. The SLOPEe of the Padre Cícero hill is located approximately 2 Km from the Vale das Pedreiras, another area belonging to the municipality of Camaragibe and where were executed scientific researches by Silva (2007) and Silva (2007). The section of the SLOPEe studied at current research is located east of section studied by Magalhães (2013), at a distance of approximately 20 meters. In the fiel were performed polls the percussion for prospecting of the geotechnical profile and tests of the Guelph Permeameter to study of the permeability of soil. The geotechnical parameters of the SLOPEe were defined from the deformed and undeformed samples collection and laboratory testing such as physical characterization, sorting the material layers of soil direct shear strength tests, whose parameters mere used in the calculation of SLOPE stability SLOPE/W software, oedometer, whose parameters were used to classify the soils on the colapsibilidade and the hydraulic conductivity tests (TRIFLEX II). Laboratory tests were conducted under conditions heavy rainfall and assess the influence of water on strength parameters. Among the results of the safety factors obtained in the analyses of stability, the lowest were related to the top of the SLOPE with 1.705 values for natural humidity condition and 1.064 inflooded conditions.

Made available in DSpace on 2014-06-12T15:59:35Z (GMT). No. of bitstreams: 2 arquivo5187_1.pdf: 772703 bytes, checksum: 4e26836d89a94b44e061ba19cd085a7a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / A teoria das categorias é um ramo relativamente novo da investigação matemática. A idéia básica reside na observação de que diversas áreas da matemática envolvem o estudo ele objetos e mapeamentos entre estes objetos, por exemplo, conjuntos e funções, domínios intervalares e funções contínuas. Tal uniformidade de estrutura pode ser explorada livrando¬-se dos detalhes internos dos objetos, e focalizando-se somente nas funções e nos meios ele combiná-las. Motivados pelo caráter construtivo da teoria das categorias, neste trabalho tem-se como objetivo implementar construções categóricas intervalares através de progra¬mas em H askell

Orientador : Dario Fiorentini / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-28T03:11:24Z (GMT). No. of bitstreams: 1 Reis_FredericodaSilva_D.pdf: 732172 bytes, checksum: 29c29c8ad5c3ea533fd130e4a774c297 (MD5) Previous issue date: 2001 / Doutorado