Orientadora : Profª. Drª. Luciane Mulazani dos Santos / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Matemática. Defesa: Curitiba, 16/02/2017 / Inclui referências : f. 98-100 / Área de concentração: Matematica / Resumo: Neste trabalho são apresentados passos de uma pesquisa de Mestrado na tentativa de descrever um caminho trilhado por livros didáticos de Matemática destinados à Educação do Campo, desde sua concepção até o instante em que o professor faz seu uso numa sala de aula da Escola Municipal do Campo Contestado, na Lapa - PR. Inicialmente, apresenta-se o contexto histórico do Programa Nacional do Livro Didático do Campo, o PNLD Campo, e os editais de convocação para o processo de inscrição, avaliação, escolha e distribuição de obras didáticas. Descreve-se o processo editorial de desenvolvimento do livro didático pautado na experiência profissional do pesquisador e adotam-se os procedimentos de pesquisa da História Oral para entrevistar a diretora e a professora de Matemática da escola, com a intenção de levantar tópicos relevantes que fundamentam a escolha e concepção de uso do livro didático de Matemática, bem como mapear as características da realidade em que a escola está inserida. Palavras-chave: Livro didático de Matemática; Educação do Campo; História Oral, Educação Matemática. / Abstract: This paper presents the steps taken in a research for the Master's degree thesis which describes a path followed by Math textbooks aimed at Field Education, since its conception to the moment when a teacher uses them in the classroom at Campo Contestado Municipal School, located in the city of Lapa, state of Paraná. Firstly, it is presented the historical background of the National Field Textbook Program (PNLD Field) and the call notice for registration, evaluation, choice and distribution of the textbooks. The editorial process of the development of the textbooks is described based on the researcher's professional experiences. The search procedures of Oral History were adopted to interview the principal and the Math teacher of the abovementioned school in order to gather important topics that base the choices and the conceptions of the use of Math textbooks, as well as to map some real situations which the school is taking part of. Keywords: Math textbook; Field Education; Oral History; Math Education.

Made available in DSpace on 2016-06-02T20:28:24Z (GMT). No. of bitstreams: 1 2253.pdf: 497474 bytes, checksum: e0843e120a9d04f34836b613a37f6149 (MD5) Previous issue date: 2009-03-06 / Financiadora de Estudos e Projetos / We study degenerate parabolic systems arised in three-phase capillary flows in porous media under a pressure control at the inflow and outflow boundaries. We perform a mathematical study of such systems for a class of linear capillarity pressure functions. To this end, a theory of nondegenerate parabolic approximations is developed. It has been proved the unique solvability of the initial boundary problems. / Estudamos sistemas parabólicos degenerados que surgiram através de um fluxo trifásico num meio poroso sob um controle de pressão de entrada e saída na fronteira. Realizamos um estudo matemático de tais sistemas para uma classe de funções de pressões de capilaridade linear. Para este fim, foi desenvolvida uma teoria de aproximações parabólicas não-degeneradas. Então, foi provada, a unicidade da solução para o problema de valores inicial e de contorno.

Made available in DSpace on 2016-06-02T20:28:28Z (GMT). No. of bitstreams: 1 5283.pdf: 462198 bytes, checksum: 793f99e3048fc8ae85216453e38144f8 (MD5) Previous issue date: 2013-01-09 / Financiadora de Estudos e Projetos / In this work, based on the papers [5] and [6], we present the classification of Euclidean hypersurfaces that admit nontrivial isometric deformations, called Sbrana -Cartan hypersurfaces, by means of the Gauss parameterization. / Neste trabalho, baseado nos artigos [5] e [6], apresentamos a classificação das hipersuperfícies do espaço Euclidiano que admitem deformações isométricas não triviais, chamadas de hipersuperfícies de Sbrana-Cartan, por meio da parametrização de Gauss.

Made available in DSpace on 2015-08-20T17:10:17Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-05-22. Added 1 bitstream(s) on 2015-08-20T17:25:38Z : No. of bitstreams: 1 000841360.pdf: 3682640 bytes, checksum: eaf27985d250e3c985af9a2b6f309687 (MD5) / No presente trabalho estudamos a teoria de Cálculo Variacional com o intuito de nos familiarizarmos com a teoria de Controle Ótimo. Estudamos também resultados da Teoria de Equações Diferenciais, com foco em Teoria da Medida, com o objetivo de demonstrarmos o Princípio Mínimo de Pontryagin, condição esta necessária para otimalidade de um controle. Por sua vez, condições de regularidade e existência para Controles Ótimos Lineares também foram estudadas, uma vez que são essenciais para determinação de controles ótimos. Por m, utilizamos a teoria de Controle Ótimo acima indicada para a análise de um modelo de crescimento de câncer com quimioterapia com o objetivo de minimizar a quantidade de quimioterápico aplicada no tratamento / In the worked here presented we study the theory of Optimal Control. We also studied results in Theory of Di erential Equations focusing on Measure Theory, with the goal of proving the Pontryagin Mininum Principle, a necessary condition for optimality of a control. In turn, regularity and existence conditions for Optimal Linear Controls were also studied, since they are essential for determination of optimal controls. Finally, we used the theory of Optimal Control above mentioned for an analysis of a model of tumor with chemotherapy with the goal of minimizing the quantity of chemotherapy applied in the treatment

Made available in DSpace on 2015-09-17T15:25:13Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-20. Added 1 bitstream(s) on 2015-09-17T15:49:07Z : No. of bitstreams: 1 000843912.pdf: 291572 bytes, checksum: 27c827309dfe8eb316bd49fc6997d34e (MD5) / Neste trabalho consideramos o problema de controle otimo com restrições de contorno funcionais. O propósito deste trabalho e propor condições de otimalidade para problemas com condições de contorno funcionais envolvendo funções continuamente diferenci aveis, considerando a classe dos problemas de controle otimo MP - pseudo - invexos. Nossos resultados mostram que a MP - pseudo - invexidade e uma condição suficiente de otimalidade para tais problemas / In this work we consider the optimal control problem with functional boundary cons- traints. The purpose of this work is to propose optimality conditions for problems with functional boundary conditions involving continuously differentiable functions, considering the class of MP-pseudoinvex optimal control problems. Our results show that MP-pseudo- invexity is a sufficient condition of optimality for such problems

Made available in DSpace on 2015-09-17T15:25:24Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-26. Added 1 bitstream(s) on 2015-09-17T15:48:53Z : No. of bitstreams: 1 000831631_20160226.pdf: 456086 bytes, checksum: e08fba71391f45251c1ff91038f7b50e (MD5) Bitstreams deleted on 2016-02-26T14:03:52Z: 000831631_20160226.pdf,. Added 1 bitstream(s) on 2016-02-26T14:04:47Z : No. of bitstreams: 1 000831631.pdf: 1111810 bytes, checksum: 0779e46e0c0ee233caedc7aa8be3e030 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / São apresentados resultados clássicos sobre zeros de polinômios, como também resultados mais recentes. O interesse deste trabalho é apresentar resultados que mostram o comportamento dos zeros de polinômios auto-recíprocos reais em relação ao círculo unitário. O comportamento dos zeros destes polinômios é interessante, pois se P(z) é um polinômio auto-recíproco e z0 um zero de P(z) então o inverso conjugado de z0 também será zero de P(z): São apresentados resultados conhecidos sobre condições necessárias e suficientes para que esta classe de polinômios tenha todos os seus zeros no círculo unitário, além de alguns exemplos como aplicações dos resultados para a melhor compreensão do texto. Em especial são estudadas duas classes de polinômios auto-recíprocos reais, denotadas por R( ) n (z) e S( ) n (z), apresentando suas propriedades e mostrando condições necessárias e suficientes para que todos os zeros de ambos polinômios estejam no círculo unitário / Classical results of zeros of polynomials are presented, such as more recent results. The interest of this work is to present results on the behavior of zeros of real self-reciprocal polynomial with respect to the unit circle. The behavior of zeros of these polynomials is interesting, because if P(z) is a self-reciprocal polynomial and z0 is a zero of P(z) so the inverse conjugate z0 will be zero of P(z) as well. Known results about necessary and sufficient conditions are presented in order that this class of polynomial has all its zeros on the unit circle, also examples as applications of the results for the best comprehension of the text. In particular two real self-reciprocal polynomial classes are studied, denoted by R( ) n (z) and S( ) n (z), presenting its properties and showing necessary and sufficient conditions so all zeros of both polynomials are on the unit circle

Made available in DSpace on 2014-08-27T14:36:42Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-09-17Bitstream added on 2014-08-27T15:57:10Z : No. of bitstreams: 1 000773092.pdf: 628332 bytes, checksum: eb30fdb970ce8b80e0cf4467a8bb5c64 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / A conjectura de Maldacena ou (AdS/CFT) desde a sua formulação é um dos tópicos em física de altas energias mais estudados. Uma das versões da conjectura é a dualidade entre a teoria de supercordas do tipo IIB em um background Ad'S IND. 5' × 'S POT. 5' suportado por um ?uxo Ramond-Ramond e a teoria deN = 4 super-YangMills em quatro dimensões. Embora a ação para supercordas neste background seja conhecida tanto no formalismo de Green-Schwarz como no formalismo de espinores puros, a construção explícita dos operadores de vértice da teoria em termos de supercampos é um problema em aberto. Nesta tese, os operadores de vértice do formalismo de espinores puros correspondentes aos estados de supergravidade são construídos próximos a fronteira de AdS. A conjectura prevê que todo estado na camada de massa da supercorda é dual a um operador invariante de gauge de N = 4 d = 4 super-Yang-Mills, em particular, os estados de supergravidade são duais a operadores Half-BPS. Os operadores Half-BPS e seus duais podem ser descritos como supercampos em um superespaço harmônico. Os resultados obtidos para os operadores de vértice são descritos em função desses supercampos duais de acordo com o previsto pela conjectura / The Maldacena’s conjecture or (AdS/CFT) has been one of the most studied topics in high energy physics since its formulation. One of the versions of the conjecture is the duality between the theory of type IIB superstrings in the background Ad'S IND. 5' × 'S POT. 5' supported by a Ramond-Ramond ?ux and the theory of N = 4 superYang-Mills in four dimensions. Although the action for the superstrings in this background is known both in the Green-Schwarz and in the pure spinor formalisms, an explicit super?eld construction of the vertex operators of the theory is an open problem. In this thesis, using the pure spinor formalism, we explicitly construct the vertex operators corresponding to supergravity states close to the boundary ofAdS. The conjecture predicts that every on-shell superstring state is dual to a gaugeinvariant operator of N = 4d = 4 super-Yang-Mills, in particular, the supergravity states are dual to Half-BPS operators. It is possible to describe all the Half-BPS operators and their duals as super?elds in harmonic superspace. The results for the vertex operators are described in terms of these dual super?elds in agreement with the prediction of the conjecture / FAPESP: 09/50775-3

Esta dissertação de mestrado tem foco no ensino introdutório de álgebra na 6ª série do Ensino Fundamental. A partir de estudo de características do ensino vigente registrados na literatura e nos livros didáticos, das dificuldades apresentadas pelos alunos e de seus desempenhos nas avaliações do SAEB / MEC, avançamos na discussão sobre perspectivas que poderiam ser trabalhadas na escola de forma a melhorar a introdução ao ensino de álgebra, e fizemos nossas escolhas didáticas para construção de uma proposta de ensino. A metodologia de investigação, a Engenharia Didática, definiu o processo de concepção da situação didática acompanhada de análise a priori, de experimentação e de análise a posteriori. Desta forma foi possível validar a proposta e o produto que se constituem, como parte desta dissertação, na nossa contribuição para melhorias no ensino de Matemática. Como proposta trazemos a possibilidade de se fazer uma introdução ao pensamento algébrico através do estudo de relações funcionais, nisso usando diferentes situações-problema, incluindo-se entre elas situações de modelagem matemática. Na viabilização da proposta, considerando a faixa etária de nosso público alvo, de grande importância foi a utilização do objeto de aprendizagem “Máquinas Algébricas” nas suas possibilidades de concretizar as relações funcionais a serem estabelecidas pelos alunos. Como produto resultante deste trabalho temos, de forma organizada, uma seqüência de atividades, organizada em grau crescente de complexidade, sempre contemplando os importantes momentos de exploração no objeto “Máquinas Algébricas”. Foi com este produto que constatamos a evolução dos alunos no uso da linguagem algébrica: de início raciocínios de natureza aritmética estavam presentes, mas aos poucos, raciocínios algébricos foram se fazendo cada vez mais presentes. Ao final da experimentação com nossa turma de 6ª série, os alunos mostraram entendimento sobre as relações funcionais, sabendo expressá-las via “leis”, tabelas e gráficos. / This dissertation is focused in the early teaching of Algebra, in the 6th grade of the Elementary School. From the study of characteristics of the teaching recorded in the literature and textbooks, and the difficulties faced by the students and their performance in the evaluations of SAEB, we move in the discussion of prospects that could be worked at the school in order to improve the introduction of the teaching of algebra, and made our didactic choices to construct a teaching proposal. The research methodology, “Didactic Engineering”, defined the process of designing the didactic situation accompanied by a priori analysis, experimentation and analysis afterwards. In this way, it was possible to validate the proposal and the product which are, as part of this dissertation, our contribution to the improvement in the teaching of Mathematics. As a proposal we brought the possibility of developing an introduction to algebraic thinking through the study of functional relationships, using different problemsituations, including situations with mathematical modeling. To make this proposal feasible, considering the age range of our target audience, the use of the object of learning “Algebraic Trees” was very important, since it helped the students to understand functional relations in a more concrete way. As a product resulting from this work, we have organized a sequence of activities, in an increasing degree of complexity, always contemplating the important moments of exploration in the object "Algebraic Trees." It was with this product we saw the evolution of the students in the use of algebraic language: in the beginning, arguments of arithmetic nature were present but gradually, algebraic reasoning was increasingly present. At the end of the experiment on our 6th grade class the students showed understanding of the functional relationships, being able to express them via "laws", charts and graphs.

Este trabalho apresenta um conjunto de técnicas para a modelagem paramétrica e geração de malhas de superfícies para uso em sistemas de análise e simulações numéricas pelo Método dos Elementos Finitos. Foram desenvolvidos algoritmos para a geração paramétrica de superfícies, para a determinação das curvas de interseções entre superfícies e para a geração de malhas em superfícies curvas e recortadas. Foram implementas linhas e curvas paramétricas básicas, a partir das quais são geradas superfícies paramétricas de vários tipos que proporcionam uma grande flexibilidade de modelamento geométrico. Curvas e superfícies são geradas e manipuladas de forma interativa. São apresentadas técnicas que simplificam a implementação de linhas e superfícies paramétricas. Foi desenvolvido um algoritmo para determinar as curvas de interseção entre superfícies paramétricas, que são utilizadas como linhas de recorte (trimming lines) para obter geometrias complexas e compostas de várias superfícies. O algoritmo desenvolvido emprega técnicas de subdivisão adaptativa, por quadtrees, em função da curvatura local das superfícies. Primeiramente, obtém-se uma aproximação das curvas de interseção no espaço 3D, através da aproximação por triângulos. Os resultados iniciais são refinados e projetados sobre as duas superfícies envolvidas com algoritmos que permitem obter grande precisão. As curvas de interseção finais são mapeadas nos espaços paramétricos das duas superfícies, porém com uma parametrização única, o que facilita a junção com superfícies adjacentes Um algoritmo de geração de malha foi desenvolvido para gerar malhas triangulares de qualidade sobre as superfícies curvas e recortadas. O algoritmo utiliza um processo de subdivisão adaptativa por quadtrees, similar ao utilizado no algoritmo de interseção, para definir tamanhos de elementos em função da curvatura local. Em seguida, aplica-se um algoritmo tipo advancing front para gerar a malha sobre a superfície. Os algoritmos foram implementados e testados em um ambiente gráfico interativo especialmente desenvolvido para este trabalho. São apresentados vários exemplos que comprovam a eficiência das técnicas e algoritmos propostos, incluindo exemplos de matrizes de conformação mecânica para uso com código de análise METAFOR, análise de sensibilidade para otimização de pré-formas e de modelagem de superfícies compostas recortadas com geração de malhas de qualidade, para uso em análise por Elementos Finitos ou como contorno para geração de elementos tridimensionais.

A comunicação é essencial para a vida em grupo, e se dá através da linguagem. Existem diversas formas de linguagem, porém a linguagem matemática vai além das demais, pois é universal. O advento dos aparelhos eletrônicos e, em especial, do computador, tornou possível o desenvolvimento de padrões e aplicativos que pudessem manipular símbolos matemáticos eletronicamente. A Web trouxe consigo a linguagem HTML para visualização de textos e, mais atualmente, o padrão de linguagem de marcação XML e seus aplicativos, que têm características melhores que o HTML quanto à estruturação, armazenamento e indexação de dados. Uma das aplicações advindas do XML foi a linguagem de marcação matemática MathML, que contribui para a manipulação e visualização de formalismos matemáticos na Web, e vem se tornando um padrão no meio acadêmico, educacional e comercial. As diversas aplicações matemáticas (editores, ambientes matemáticos) desenvolvidas para o computador geralmente não permitem a discussão em linguagem matemática de forma síncrona pela rede de computadores. Sabe-se que na Internet a conexão de pessoas num mesmo momento através de ferramentas síncronas é muito difundida, como é o caso de aplicativos do tipo bate-papo; no entanto, esses aplicativos não possuem funcionalidades que permitam a troca de textos matemáticos. Há, portanto, uma limitação em relação a ferramentas de comunicação síncrona para matemática na Web. Este trabalho quer oferecer uma alternativa ao público que deseje trocar formalismos matemáticos de forma síncrona pela Web, a fim de verificar se esse tipo de ferramenta é efetivamente usável para discussões matemáticas. Para isso, foi desenvolvido um protótipo que reúne as características de uma ferramenta típica de bate-papo com as vantagens advindas das linguagens de marcação: o ChatMath. O trabalho também aponta características de aplicativos matemáticos e de ferramentas síncronas textuais e descreve as linguagens de marcação matemática. Para fins de avaliação do protótipo desenvolvido, fez-se uma pesquisa a fim de verificar sua efetiva utilidade para troca de formalismos matemáticos, dentro do contexto educacional. Os resultados dessa pesquisa confirmam a hipótese levantada, embora identifiquem modificações funcionais e de uso da ferramenta, havendo necessidade de reaplicação da avaliação, para se obter resultados mais detalhados.