Orientadores: Djairo Guedes de Figueiredo, Francisco Odair Vieira de Paiva / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T06:21:00Z (GMT). No. of bitstreams: 1 Silva_EdcarlosDomingosda_D.pdf: 993704 bytes, checksum: d68d4e58a916f7d2428f76207a8cb4da (MD5) Previous issue date: 2009 / Resumo: Nesta tese lidamos com três classes de sistemas gradientes ressonantes. A primeira classe é um sistema com ressonância do tipo Landesman-Lazer. A segunda classe é um sistema fortemente ressonante enquanto a terceira classe é um sistema com ressonância no infinito e na origem. Analisamos as questões de existência e multiplicidade de soluções em cada uma das classes mencionadas. Para obtermos os nossos principais resultados aplicamos alguns métodos variacionais, tais como, teoremas Min-Max e minimização. Além disso, usamos a Teoria de Morse para distinguirmos soluções dados por métodos variacionais distintos. / Abstract: In this thesis we deal with three classes of gradient elliptic systems with resonance. The first class is a resonant system of Landesman-Lazer type. The second class is a system of strong resonance type while the third class is a system with resonance at infinity and at origin. We are concerned about the questions of existence and multiplicity of solutions in each of the classes mentioned. To obtain our main results we apply variational methods, such as, Min-max theorems and minimization. Moreover, we use Morse Theory to distinguish the solutions given by different variational methods. / Doutorado / Doutor em Matemática

Orientador: Pedro Jose Catuogno / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T12:34:53Z (GMT). No. of bitstreams: 1 Felix_LucianoVianna_M.pdf: 566321 bytes, checksum: f717034fada0c65f1b886ba7bd821902 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho estudamos a geometria dos caminhos em grupos de Lie usando a exponencial estocástica e o logaritmo estocástico. Apresentamos as construções geométricas do espaço tangente, uma métrica e uma conexão natural as caminhos em grupos de Lie. Finalmente apresentamos uma situação em que essa conexão é Levi-Civita e outra que não é / Abstract: In this work, we study the path geometry in Lie groups using the stochastic exponential and the stochastic logarithm. We show the geometric constructions of tangent space, one metric and one natural conection of Lie groups valued path. Finelly we show one situation that this conection is Levi-Civita and another one that is not / Mestrado / Geometria / Mestre em Matemática

Orientador: Edmundo Capelas de Oliveira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T17:01:55Z (GMT). No. of bitstreams: 1 Rosendo_DaniloCastro_M.pdf: 1231397 bytes, checksum: 33e1a80ea06fa615b7b7aec7917bbbe2 (MD5) Previous issue date: 2008 / Resumo: Neste trabalho abordamos um estudo da equação diferencial ordinária, linear, homogênea de segunda ordem com três singularidades regulares, incluindo uma no infinito de onde obtivemos a equação hipergeométrica e, através do método de Frobenius, introduzimos a função hipergeométrica com singularidade na origem. Por um conveniente processo de limite na equação hipergeométrica obtivemos a equação hipergeométrica confluente, bem como a função hipergeométrica confluente. Apresentamos a função de Mittag-Le²er como uma generalização da função exponencial e suas relações com outras funções, em especial com a função hipergeométrica confluente. Abordamos o conceito de integral e derivada de ordens fracionárias de algumas funções conhecidas. Através da metodologia da transformada de Laplace discutimos uma equação diferencial fracionária com coeficientes constantes de onde emergem as funções de Mittag-Leffler. Por fim, definimos as equações diferenciais fracionárias e, como aplicação, efetuamos um estudo sistemático do oscilador harmônico fracionário. / Abstract: This work presents an introductory study of a second order, linear and homogeneous, ordinary differential equation with three singular regular points, including a singularity at the infinity. We obtain the hypergeometric equation and, by means of the Frobenius method, we introduce the hypergeometric function which is regular at the origin. By a convenient limit process we obtain the confluent hypergeometric equation which has the confluent hypergeometric function as a regular solution at the origin. We introduce the Mittag-Leffler function as a generalization of the exponential function and present a relation with the confluent hypergeometric function. Finally, we present the so-called fractional ordinary differential equation and as an application we discuss the fractional harmonic oscillator / Mestrado / Mestre em Matemática

Made available in DSpace on 2016-01-26T18:49:42Z (GMT). No. of bitstreams: 1 Mikelli_DISSERTACAO_10_08_2011.pdf: 1426547 bytes, checksum: b10606d3e1c92ec94ba352eb9d78bd91 (MD5) Previous issue date: 2011-06-22 / The teaching of mathematics has become the subject of constant discussion among students and researchers. Most of the researches and studies on the subject has revealed that the major difficulty is related to what is taught to students in the school and what is needed to confront the difficulties in their daily routine. The parameters for a national mathematics curriculum (BRAZIL, 1997) approach the issue by presenting a new perspective on teaching based on the significant knowledge, suggesting procedures that were done in the early years of elementary school that promote understanding of mathematical concepts and particularly the mental calculus and estimate. In this study, it aims to investigate the procedures adopted by the professor for teaching mental calculus in the early years of elementary school. The study was developed in the early years of elementary school in a public school in Presidente Prudente. The research was developed within a qualitative approach in the ethnographic case study, involving literature, documentary and field researches. Data collection was conducted through interviews with teachers looking for information on how is the teaching and learning of mental calculus, and analysis of official documents, diaries and records written in the student s notebook by the students. The qualitative data were collected in the content analysis proposed by Bardin (2008) which involves the interpretation of the messages having as parameter the theoretical reference on the subject. / O ensino da Matemática tem se tornado objeto de reflexão constante entre os estudiosos e pesquisadores sobre o assunto. Grande parte das pesquisas e dos estudos realizados sobre o tema tem revelado que a grande dificuldade dos alunos está em relacionar o que lhe é ensinado na escola com o que é necessário para o enfrentamento das dificuldades no seu cotidiano. Os Parâmetros Curriculares Nacionais de Matemática (BRASIL,1997) abordam o tema apresentando uma nova perspectiva de ensino baseada no conhecimento significativo, sugerindo procedimentos que, trabalhados nos anos iniciais do Ensino Fundamental, venham favorecer a compreensão dos conceitos matemáticos e, em específico, o trabalho com o cálculo mental e a estimativa. No presente estudo, buscou-se investigar os procedimentos adotados pelo docente para o ensino do cálculo mental nos anos iniciais do Ensino Fundamental. O trabalho foi desenvolvido nos anos iniciais do Ensino Fundamental de uma escola pública municipal de Presidente Prudente. A pesquisa foi desenvolvida dentro da abordagem qualitativa do tipo estudo de caso etnográfico, envolvendo pesquisa bibliográfica, documental e pesquisa de campo. A coleta de dados foi realizada por meio de entrevistas com professores procurando obter informações sobre como se dá o ensino e aprendizagem do cálculo mental, além de análise de documentos oficiais, diários e registros feitos no caderno pelo aluno. Os dados qualitativos obtidos foram tratados à luz da análise de conteúdo proposta por Bardin (2008) que envolve a interpretação do significado das mensagens tendo como parâmetro o referencial teórico levantado sobre o assunto.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-10-22T17:54:48Z No. of bitstreams: 2 Dissertação - Rosana de Paula Lucas - 2014.pdf: 2188388 bytes, checksum: 3657f86e73f4c67924c818227205f5d6 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-10-22T17:56:21Z (GMT) No. of bitstreams: 2 Dissertação - Rosana de Paula Lucas - 2014.pdf: 2188388 bytes, checksum: 3657f86e73f4c67924c818227205f5d6 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-22T17:56:21Z (GMT). No. of bitstreams: 2 Dissertação - Rosana de Paula Lucas - 2014.pdf: 2188388 bytes, checksum: 3657f86e73f4c67924c818227205f5d6 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-12-04 / In this thesis, we present an algorithm for adaptive estimation of the parameter (Hurst parameter) that measures the selfsimilar degree of the network traffic process. Using this parameter, called the Global Scale parameter, we developed an adaptive bandwidth allocation scheme. We evaluate the performance of this transmission rate allocation scheme with adaptive global parameter, comparing its performance to that of another algorithm that uses only one value for the Hurst parameter. Additionally, using the concepts of Network Calculus, specifically the Effective envelope, we obtain estimates for the quality of service (QoS) parameters. That is, we present a proposal for estimating average queue size (backlog) and delay for different network traffic traces. To this end, we derive an equation for the effective envelope of network traffic trace that can be seen as a generalization of the Multifractal Bounded Arrival Process (MFBAP). Comparisons between the real backlog and delay values are carried out to those estimated by using the proposed Effective Envelope for various violation probabilities and with those obtained by other Envelop Processes. / Nesta dissertação, apresentamos um algoritmo para estimação adaptativa do parâmetro que mede o grau de autossimilaridade do processo de tráfego. Utilizando esse parâmetro, denominado de Parâmetro de Escala Global, elaboramos um esquema de alocação adaptativo de banda. Avaliamos o desempenho deste esquema de alocação de banda com parâmetro de escala global adaptativo comparando seu desempenho com outro algoritmo que utiliza apenas um valor para o parâmetro de Hurst. Além disso, utilizando os conceitos de Cálculo de Rede (Network Calculus), mais especificamente de Envelope Efetivo, obtemos estimativas para parâmetros de qualidade de serviço. Ou seja, apresentamos uma proposta de método para estimação de tamanho médio da fila (backlog) e retardo (delay) para diferentes séries de tráfego de redes. Para tal, deduzimos uma equação para o Envelope Efetivo de séries de tráfego, que pode ser vista como uma generalização do Processo Envelope do modelo Processo de Chegada com Limitante (MFBAP-Multifractal Multifractal Bounded Arrival Process). São realizadas comparações entre os valores de backlog e delay reais (séries de tráfego reais) com os valores limitantes estimados utilizando o Envelope Efetivo proposto para vários valores de probabilidade de violação e com obtidos por outros Processos Envelopes.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2017-06-08T17:36:27Z No. of bitstreams: 2 Dissertação - Paulo Roberto Ferreira - 2017.pdf: 14996898 bytes, checksum: cdb17170fa3d2d81ae6bea7a5743f3a9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-06-09T10:59:26Z (GMT) No. of bitstreams: 2 Dissertação - Paulo Roberto Ferreira - 2017.pdf: 14996898 bytes, checksum: cdb17170fa3d2d81ae6bea7a5743f3a9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-06-09T10:59:26Z (GMT). No. of bitstreams: 2 Dissertação - Paulo Roberto Ferreira - 2017.pdf: 14996898 bytes, checksum: cdb17170fa3d2d81ae6bea7a5743f3a9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-17 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The proposal of this dissertation is the development of an extracurricular project that meets the demand of students that are about to conclude high school, of notable knowing in mathematics and physics, specifically in basic electromagnetics. Using the theory of meaningful learning of David Ausubel, the proposal of this project is to incorporate through expositive classes concepts of differential and integral calculus, dot product and vector product of higher education exact sciences courses to the high school environment in order to help high school students that present resourcefulness in exact sciences and yearn for new knowledge. Such mathematical tools presented are going to serve as prior organizers, according to the meaningful learning theory, to the understanding of the pool of the four most influential equations of electromagnetism as a whole: Maxwell's equations. The immediate solutions of Maxwell's equations allow students to link new concept with subsumers already acquired in their regular classes, providing a more detailed view of formulas and concepts only quoted before without any previous reference. In this sense, the goal of this dissertation is not to teach the whole concepts pertinent to higher education, but sharpen the interest for the study area, which is already shown by most students interested in joining exact sciences, engineering courses and similars. Hence, the project improves the performances of apprentices in higher education entrance exams and foments interest in subjects which are classified as boring and difficult both to teach and to learn for most students, although fascinating. / A proposta desta dissertação é o desenvolvimento de um projeto extracurricular que atende à demanda de alunos concluintes do Ensino Médio, de saber notório em matemática, em física, especificamente em eletromagnetismo básico. Utilizando a teoria da aprendizagem significativa de David Ausubel, o objetivo deste projeto é trazer, por meio de aulas expositivas, noções de Cálculo diferencial e integral, produto escalar e produto vetorial, do domínio de cursos superiores de exatas para o ambiente do Ensino Médio de modo a auxiliar estudantes secundaristas que apresentam desenvoltura em exatas e anseiam por um novo saber. Tais ferramentas matemáticas apresentadas servirão como organizadores prévios, de acordo com a teoria da aprendizagem significativa, para o entendimento do conjunto das quatro equações mais influentes do eletromagnetismo na sua forma integral: as equações de Maxwell. As soluções imediatas das equações de Maxwell permitem que os alunos relacionem o novo conceito a subsunçores adquiridos em suas aulas regulares, proporcionando uma visão mais detalhada de fórmulas e de conceitos antes apenas citados e sem qualquer referência anterior. Nesse sentido, a função do presente trabalho não é de ensinar, na sua totalidade, conceitos pertinentes ao ensino superior, mas aguçar o interesse pela área de estudo, que já é demonstrado pela maioria dos estudantes interessados em ingressar em cursos de exatas, engenharias e afins. Dessa forma, o projeto aperfeiçoa as performances dos aprendizes em exames de ingresso ao ensino superior e fomenta o interesse por assuntos que, na maioria das vezes, são classificados como entediantes e difíceis tanto para ensinar quanto para aprender, embora sejam fascinantes.

Este trabalho versa sobre técnicas de estimação de derivadas de forma não assintótica conforme abordagem algébrica de Michel Fliess, e sua aplicação na determinação quase instantânea do estado interno de um sistema dinâmico, cria-se assim estimadores de estado que não se baseiam no observador de Luenberger. Resumo No desenvolvimento do trabalho demonstramos algumas características destes estimadores e apresentamos uma contribuição teórica para viabilizar a implementação destes estimadores em sistemas de controle de tempo real. Posteriormente, um sistema mecânico de dinâmica não linear foi construído e permitiu ensaios em laboratório que atestam, através dos resultados experimentais encontrados, a funcionalidade deste tipo de estimador de estados. / This work is about derivative estimation technique based on a algebraic and non-asymptotically approach, as devised by Michel Fliess, applied on quasi-instantaneous determination of the internal state of a dynamical system, using state estimators that aren\'t based on the Luenberger observer. Abstract Over this work we present some particularities of these estimators and a theoretical contribution that will able to implement these algebraic estimators in a real time control system. After that, a non-linear mechanical system was built to verify the functionality of these state estimators.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-05-10T13:42:23Z No. of bitstreams: 1 ariosvaldoandradesantos.pdf: 3775881 bytes, checksum: d960dc15077f4373a4fcc56b31c92b78 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-06-15T13:13:37Z (GMT) No. of bitstreams: 1 ariosvaldoandradesantos.pdf: 3775881 bytes, checksum: d960dc15077f4373a4fcc56b31c92b78 (MD5) / Made available in DSpace on 2016-06-15T13:13:37Z (GMT). No. of bitstreams: 1 ariosvaldoandradesantos.pdf: 3775881 bytes, checksum: d960dc15077f4373a4fcc56b31c92b78 (MD5) Previous issue date: 2015-04-22 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Através deste trabalho venho defender a inclusão de conceitos básicos do Cálculo Diferencial e Integral no Ensino Médio, pois estes proporcionariam aos alunos uma melhor preparação e motivação para se submeterem às dificuldades inerentes a estes conteúdos no ensino superior. A inserção destes temas acarretaria ainda uma melhor assimilação dos conteúdos já abordados no Ensino médio, valorizando-os com abordagens multidisciplinares e melhores contextualizadas e tornando os alunos mais capazes de fazer reflexões sobre algo que está além do que seus olhos podem ver. Serão apresentadas propostas de atividades a serem utilizadas para abordar o conteúdo de integrais no Ensino Médio, por meio do calculo de áreas, pelo método da exaustão. Tais atividades visam uma assimilação natural de tais conceitos através da visualização do processo de cálculo e interpretação dos resultados. Para isto serão utilizados figuras e softwares específicos que valorizarão ainda mais tais atividades, já que a inserção de tecnologias no ensino do conteúdo didático de nossas escolas é um desafio e uma necessidade. / Through this work I come to defend the inclusion of basic concepts of Differential and Integral Calculus in high school, as this would provide students with a better preparation and motivation to undergo the difficulties inherent in such contents in higher education. The insertion of those topics would also lead the students to a better assimilation of the contents already covered in high school, valuing them with multidisciplinary and better-contextualized approaches and making the students more able to make reflections on something that is beyond what their eyes can see. The activities here proposed will be submitted to be used to address the contents of integral in high school, by calculating the areas of, by the method of exhaustion. The activities aim at a natural assimilation of these concepts through the visualization of the process of calculations and the interpretation of results. For this, figures and a specific software that value even more those activities will be used, since the integration of technology into teaching contents of our schools is a challenge and a necessity.

Context. Name-bounded analysis is a type of static analysis that allows us to take a concurrent program, abstract away from it, and check for some interesting properties, such as deadlock-freedom, or watching the propagation of variables across different components or layers of the system. Objectives. In this study we investigate the difficulties of giving a representation of computer programs in a name-bounded variation of π-calculus. Methods. A preliminary literature review is conducted to assess the presence (or lack thereof) of other successful translations from real-world programming languages to π-calculus, as well for the presence of relevant prior art in the modelling of concurrent systems. Results. This thesis gives a novel translation going from a relevant subset of the Java programming language, to its corresponding name-bounded π-calculus equivalent. In particular, the strengths of our translation are being able to dispose of names representing inactive objects when there are no circular references, and a transparent handling of polymorphism and dynamic method resolution. The resulting processes can then be further transformed into their Petri-Net representation, enabling us to check for important properties, such as reachability and coverability of program states. Conclusions. We conclude that some important properties that are not, in general, easy to check for concurrent programs, can be in fact be feasibly determined by giving a more constrained model in π-calculus first, and as Petri Nets afterwards. / +49 151 52966429

Les modèles de champ moyen en QED apparaissent naturellement dans la modélisation du nuage électronique des atomes lourds. Cette modélisation joue un rôle croissant en physique et chimie quantique, les effets relativistes ne pouvant pas être négligés pour ces atomes. En physique quantique relativiste, le vide est un milieu polarisable, susceptible de réagir à la présence de champ électromagnétique.On se place dans le cadre du modèle variationnel de Bogoliubov-Dirac-Fock (BDF) qui est une approximation de champ moyen de la QED sans photon (en particulier, les interactions considérées sont purement électrostatiques).Il est à noter que pour donner un sens au modèle BDF, il est nécessaire d'introduire une régularisation ultra-violette. Il se produit un phénomène de renormalisation de charge due à la polarisation du vide : la charge de l'électron observée dépend de la charge « nue » de l'électron et du paramètre de régularisation. On étudie rigoureusement ce phénomène ainsi que le problème de la renormalisation de la masse. Cette dernière est en lien avec l'existence d'un état fondamental pour le système d'un électron dans le vide, en l'absence de tout champ extérieur. En revanche, on montre l'absence de minimiseurs dans le cas de deux électrons.Enfin, on exhibe des points critiques de l'énergie BDF, interprétés comme des états excités du vide. On met en évidence le positronium, système métastable d'un électron et de son antiparticule le positron, ainsi que le dipositronium, molécule métastable constituée de deux électrons et de deux positrons.Les méthodes utilisées sont variationnelles (concentration-compacité, lemme de Borwein et Preiss). / In QED, mean-field models appear in the modelling of the electron clouds of heavy atoms. This modelling plays a increasing role in physics and in quantum chemistry: relativistic effects cannot be neglected in these atoms. In relativistic quantum physics the vacuum is a polarizable medium that can react to the presence of an electromagnetic field.We consider the so-called Bogoliubov-Dirac-Fock (BDF) model, a variational model which is a mean-field approximation of no-photon QED (in particular the interactions are purely electrostatic).We point out that an ultraviolet regularisation is necessary to properly define the BDF model. The vacuum polarisation leads to a \emph{renormalisation} phenomenon, the "observed" charge of the electron depends on its "bare" charge and the regularisation parameter. We rigorously study both the problem of charge renormalisation and mass renormalisation. This last one is linked to the existence of ground state in the case of an electron in the vacuum, without any external field. In contrast, we show there is no ground state in the case of two electrons.Finally we exhibit some critical points of the BDF energy which are interpreted as vacuum excited states. In particular, there are the positronium (a metastable system constituted by an electron and its antiparticle called the positron) and the dipositronium (a metastable molecule constituted by two electrons and two positrons).The methods that we use are variational (concentration-compactness, Borwein and Preiss's Lemma).