Made available in DSpace on 2016-01-13T13:28:04Z (GMT). No. of bitstreams: 0 Previous issue date: 1988. Added 1 bitstream(s) on 2016-01-13T13:31:50Z : No. of bitstreams: 1 000027522.pdf: 1765001 bytes, checksum: a0e45b57c52d97a28a1bdc1c6056bc5b (MD5)

Made available in DSpace on 2014-06-11T19:24:52Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-05-30Bitstream added on 2014-06-13T19:31:58Z : No. of bitstreams: 1 martines_pt_me_rcla.pdf: 437490 bytes, checksum: b3df75f43fef6c6e288a3596c957bb63 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Essa pesquisa tem por objetivo identificar como os professores da disciplina de Análise e os coordenadores de cursos de licenciatura em matemática compreendem o papel dessa disciplina para a formação do professor. Fundamentando-se na metodologia de pesquisa qualitativa, esse trabalho teve os dados coletados por meio de entrevistas em quatro instituições públicas de ensino superior do interior do estado de São Paulo. A análise dos dados possibilitou a constituição de três categorias referentes ao papel da disciplina de Análise na formação do professor: a primeira categoria considera que o papel da disciplina é fundamentar o conhecimento matemático do futuro professor, para propiciar-lhe um conhecimento mais sólido e profundo de temas com os quais irá trabalhar; para a segunda categoria, o papel da disciplina é o consolidar e formalizar uma série de conceitos aprendidos ao longo da graduação, e também fornecer ao aluno cultura e bagagem matemática; a terceira categoria considera que o papel da disciplina de Análise é fundamentar o conhecimento do professor sobre a construção do conjunto dos números reais. As categorias, em suma, expressam que o papel da Análise é fundamentar, consolidar e aprofundar o conhecimento matemático do futuro professor / The main aim of this research is to identify how lectures of the Analysis course and coordinators of undergraduate programs in mathematics comprehend the role of this course for the teacher education. The research is based on a qualitative research methodology, and the source of data is interviews which were developed in four public tertiary level institutions at the state of São Paulo. The data analysis allowed the construction of three categories related with the role of the Analysis course in teacher education: the first category considers that the role of the course is ground the mathematical knowledge of the prospective teacher, to provide him a more solid and deep knowledge about themes he is going to work with; for the second category, the role of the course is to consolidate and formalize a series of concepts learned during the undergraduation, and also provide the student with mathematical culture and background; the third category considers that the role of the Analysis course is ground the teacher’s knowledge about the construction of real numbers. The categories, in sum, express that the role of Analysis is support, consolidate and deepen the mathematical knowledge of the prospective teacher

Resumo: Este trabalho consiste na comparação de métodos para determinações astronômicas de alta precisão. Para este fim, utilizou-se o método de Sterneck para a determinação da latitude, o método de Mayer para determinação da longitude e o método de determinação simultânea das coordenadas astronômicas através de observações de estrelas em alturas iguais. Neste ultimo, utilizou-se um novo tratamento matemático, apresentado por Kivioja, L. A. e Mihalko, J . A.

Nesta tese mostramos que uma função de custo contínua e uma tecnologia uniproduto, convexa, monôtona não-crescente e regular implicam que a função de custo mínimo é semicontínua superior em relação ao produto e que a demanda por insumos é fechada. Se a imagem da tecnologia for compacta então a função de custo mínimo é contínua e a demanda por insumos é hemicontínua superior e valor-compacto em relação ao produto. Se a tecnologia possuir a propriedade de ser localmente não-disjunta então a função de custo mínimo é contínua e a demanda por insumos é hemicontínua superior e valorcompacto em relação ao produto. Se a função de custo for monôtona não-decrescente, semicontínua inferior em relação aos contornos inferiores e a tecnologia for uniproduto, convexa, monótona não-crescente, regular, fechada com imagem compacta então a função de custo mínimo é semicontínua inferior em relação ao produto e a demanda ampliada por insumos é hemicontínua superior e valor-compacto em relação ao produto. Se a tecnologia possuir a propriedade de ser localmente não-disjunta então o mesmo resultado é válido. Introduzimos as noções de função monótona não-decrescente e semicontínua inferior em relação aos contornos num espaço topológico ordenado, de correspondência localmente não-disjunta e de demanda ampliada. Mostramos que funções com a propriedade anterior são semicontínuas inferiores e que correspondências convexas localmente não-disjuntas são hemicontínuas inferiores.

Made available in DSpace on 2014-06-11T19:22:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-12-07Bitstream added on 2014-06-13T19:28:02Z : No. of bitstreams: 1 tiago_mm_me_ilha.pdf: 962669 bytes, checksum: 4988399c15f758626b264c1adb577b2f (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Um dos setores de grande importância na indústria frigorífica é o responsável pelo esquarte- jamento de aves, no qual peças inteiras são separadas em partes menores para comercialização. O processo de esquartejamento pode ser feito de forma automática, através de máquinas de corte, ou por trabalhadores, que cortam as aves utilizando uma serra circular. Por ser um tra- balho manual e envolver uma lâmina de corte, a periculosidade desse tipo de trabalho é alta, de maneira que mesmo com o uso de uma luva de aço inox como equipamento de proteção, costumam ocorrer acidentes que podem variar desde pequenos cortes até amputação de parte da mão do trabalhador atingido. Neste trabalho, é apresentado um método de análise de sinais para evitar que esse tipo de acidente ocorra. Esse sistema baseia-se na análise dos sinais acústicos envolvidos gerados durante esse processo e são utilizados para desligar o motor que impulsiona a serra e acionar um sistema de frenagem em casos quando houver a ocorrência de acidentes. O problema é abordado utilizando inicialmente um filtro digital e, posteriormente, com as técni- cas de análise multirresolução apresentadas pelas wavelets. Além disso, empregou-se também a decomposição de modo empírico, que também realiza uma análise multirresolução dos sinais decompondo os mesmos em funções de modo intrínseco. Visando detectar o maior número possível de toques suaves de luva na serra sem que cortes de ossos de frango fossem confundi- dos com toques de luva, o sistema apresentou um índice de acertos de aproximadamente 70%, havendo a ocorrência de apenas 2% de falsos positivos. Além desse problema, abordou-se o caso de detecção de trinca em ovos, no qual o objetivo era separar ovos trincados de ovos in- teiros utilizando um sistema barato e eficiente... / One of the most important sectors in the meatpacking industry is chicken quartering, where whole pieces are cut into smaller ones. The quartering process can be done by automatic ma- chines or by manually cutting the chickens using a circular saw. The manual technique imposes physical risks for the workers, which wear protective stainless steel gloves. Small injuries or, in the worst case, amputation of part of the hand can occur in the event of an accident. In this work, we propose a methodology to prevent this type of accident, which is based on the anal- ysis of the acoustic signals generated during this process. In the event of an accident, the saw touches the metal glove, the acoustic signals are processed and used to turn off the engine that drives the saw and trigger a braking system. The problem is firstly analyzed using a digital filter and then with multiresolution techniques by wavelet analysis. In addition, the empirical mode decomposition technique is also employed, which also performs multiresolution analysis of sig- nals. These three techniques are implemented and compared. The method presented a 70% of successful detection of light touches of saw/glove and 2% of false positives, when a normal cut operation is detected as a saw/glove touch, in general occurring when cutting specific parts of bone. Besides this problem, the case of eggshell crack detection is studied, where the goal was to separate cracked eggs from intact eggs using an inexpensive and efficient system. A solenoid was used as a source of mechanical excitation and the resulting acoustic signals were acquired and processed. The same signal processing techniques were employed and compared, with small changes in parameters. As a result, it was possible to detect 80% of cracked eggs and 100% of intact eggs. The multiresolution technique... (Complete abstract click electronic access below)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Um dos temas mais interessantes em Geometria Riemanniana é obter resultados topológicos a partir de hipóteses geométricas locais, por exemplo, hipóteses sobre a curvatura. Nesta dissertação, no capítulo 1, estudaremos conjuntos convexos, que formam uma ferramenta bastante útil na prova do Teorema de Cheeger-Gromoll. No segundo capítulo mostraremos uma versão generalizada do Teorema de Machigashira, que estende o Teorema de Toponogov para a curvatura radial. No terceiro capítulo provamos o Teorema da Alma e no quarto capítulo apresentamos o Teorema de Perelman.

Simulações numéricas envolvendo mecanismos cinéticos de combustão detalhados, principalmente quando se tratam da implementação de modelos de CFD (Dinâmica de Fluidos Computacional) 3D, estão associadas a tempos computacionais proibitivos para condições do cenário atual. Isso ca mais evidente se o objetivo é trabalhar com mecanismos que representam a oxidação do biodiesel, os quais podem conter dezenas de milhares de reações elementares entre milhares de espécies. Por isso, a redução de mecanismos cinéticos de combustão tem ganhado bastante atenção nos últimos anos, com o desenvolvimento de diversas técnicas para tal, as quais usam diferentes abordagens matemáticas. Uma das estratégias mais bemsucedidas, para mecanismos de tamanho pequeno a moderado, que se conhece é a aplicação adequada das hipóteses de regime permanente e equilíbrio parcial, as quais podem ser justi cadas pela análise assintótica. Desta forma, neste trabalho é proposta a automatização do processo de análise assintótica usado na veri cação de mecanismos cinéticos reduzidos, além de ser feita uma discussão sobre as principais técnicas matemáticas usadas na redução de mecanismos. Os algoritmos KinAsym e vKinAsym são desenvolvidos e implementados em Fortran, e usados na obtenção e veri cação de mecanismos cinéticos reduzidos para a combustão do hidrogênio, metano, etanol, metanoato de metila (MF) e butanoato de metila (MB). Os mecanismos reduzidos obtidos contam com, respectivamente, 2, 6, 8, 10 e 14 reações e 4, 9, 14, 11 e 17 espécies. A solução da chama difusiva (jato) do etanol é dada para a validação do mecanismo obtido para ele, aumentando a con abilidade dos demais mecanismos apresentados. / Numerical simulations involving detailed kinetic mechanisms of combustion, especially in the case of implementation of CFD models (Computational Fluid Dynamics) 3D, are associated with prohibitive computational times for conditions of the current scenario. This is most evident if the goal is to work with mechanisms that represent the biodiesel oxidation, which may contain ten thousands of elementary reactions among thousands of species. Therefore, the reduction of kinetic mechanisms of combustion has gained considerable attention in recent years, with the development of various techniques for this purpose, which use di erent mathematical approaches. One of the most successful known strategies, for small and moderate size mechanisms, is the appropriate application of the steady-state and partial equilibrium assumptions, which can be justi ed by asymptotic analysis. Thus, this work proposes the automation of asymptotic analysis process used in the veri cation of reduced kinetic mechanisms, and discusses the main mathematical techniques used in reducing mechanisms. The algorithms KinAsym and vKinAsym are developed and implemented in Fortran, and used in the obtainment and veri- cation of reduced kinetic mechanisms for the combustion of hydrogen, methane, ethanol, methyl formate (MF) and methyl butanoate (MB). The obtained reduced mechanisms have, respectively, 2, 6, 8, 10 and 14 reactions and 4, 9, 14, 11 e 17 species. The solution of the ethanol jet di usion ame is given to validate the obtained mechanism for it, increasing the reliability of other mechanisms presented.

Neste trabalho consideramos casos especiais de uma versão modificada do Modelo de Isard-Liossatos para crescimento econômico espacial, levando em consideração a interação entre as distribuições de capital e mão-de-obra. Por um lado, consideramos que o capital se move de regiões com alta densidade de capital para regiões com baixa densidade de capital de uma forma difusiva, e, por outro lado, que ele se move para regiões com uma maior densidade de mão-de-obra (o que chamamos de movimento por taxia do capital). De forma similar, consideramos um movimento difusivo e por taxia para a mão-de-obra. No primeiro caso, consideramos um sistema de reação-difusão-taxia governando a evolução espaço-temporal das densidades de capital e trabalho, e encontramos quatro tipos de comportamentos para o sistema: (i) a economia converge para um estado estacionário homogêneo; (ii) a economia converge para um estado estacionário não-homogêneo; (iii) a economia desenvolve ciclos periódicos; e (iv) a economia desenvolve ciclos irregulares e aperiódicos. No segundo caso, consideramos um modelo dinâmico e hiperbólico, derivado a partir da Lei de Fourier Modificada proposta por Cattaneo (1948), a qual implica que a informação se propaga com velocidade finita através da economia. Finalmente, introduzimos um estoque de recursos naturais não-renovável no modelo de reação-difusãotaxia, e mostramos que, para o caso (ii) acima, a economia como um todo se beneficia. / In this work we consider special cases of a modi ed version of the Isard-Liossatos Model for spatial economic growth, taking into account the interplay between the distributions of capital and labor. On one hand we consider that capital moves from regions with high density of capital to regions with low density of capital in a di use way, and, on the other hand, we consider that it moves into regions with a higher density of labor available (what we call the capital taxis motion). In the same fashion, we consider a di usive and a taxis motion for the labor force. In the rst case we consider a taxis-reaction-di usion system governing the spatio-temporal evolution of capital and labor densities, and nd four kinds of spatio-temporal behaviors for the system: (i) the economic converges to a homogeneous steady-state; (ii) the economy converges to a non-homogeneous steadystate; (iii) the economy develops periodic cycles; and (iv) the economy develops irregular and aperiodic cycles. In the second case we consider a dynamic and hiperbolic model, derived from the modi ed Fourier Law proposed by Cattaneo (1948), which implies that information propagates throughout the economy in a nite speed. Finally, we introduce a non-renewable natural resource in the taxis-reaction-di usion model, and show that, in the case (ii) above, the economy as a whole bene ts from it.

Estuda-se a relação entre vários conceitos de estabilidade (permanência, estabilidade assintótica e V L-estabilidade) para a equação de Lotka-Volterra e certas propriedades algébricas da Matriz de Interação. Analisa-se os pontos de equilibrio saturados. / We show a relation of several different concepts of stability (permanence, asymptotic stability and VL-stability) for the Lotka-Yolterra equations and certain algebraic properties of the Interaction Matrix. We analize the saturated equilibrium points.

Estuda-se a relação entre vários conceitos de estabilidade (permanência, estabilidade assintótica e V L-estabilidade) para a equação de Lotka-Volterra e certas propriedades algébricas da Matriz de Interação. Analisa-se os pontos de equilibrio saturados. / We show a relation of several different concepts of stability (permanence, asymptotic stability and VL-stability) for the Lotka-Yolterra equations and certain algebraic properties of the Interaction Matrix. We analize the saturated equilibrium points.