Orientador: João Maurício Rosário / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-17T09:31:47Z (GMT). No. of bitstreams: 1 Pacifico_DouglasSozzi_M.pdf: 4000960 bytes, checksum: 072558107a877761c6e2de97a3ee0100 (MD5) Previous issue date: 2010 / Resumo: Os projetos de engenharia são até hoje amplamente baseados em processos empíricos, em metodologias ad hoc e em métodos iterativos. A experiência de quem os executa tem grande influência nos resultados obtidos por conta da falta de critérios científicos para a análise e tomada de decisões ao longo do desenvolvimento de um produto ou de um processo. As conseqüências mais comuns são os problemas de qualidade e confiabilidade, os atrasos na execução e a extrapolação dos custos previstos. Atualmente existem poucas metodologias científicas com abordagem global de um projeto, dentre elas podemos considerar o Projeto Axiomático. Desenvolvida ao longo das últimas décadas pelo Prof. Nam Pyo Suh, ela propõe dois axiomas básicos para nortear a análise e tomada de decisões em projetos de qualquer ordem, os quais são então desdobrados em teoremas e corolários específicos. Embora não possa ser demonstrada ou comprovada enquanto axioma, a metodologia tem sido constantemente validada por sua utilização bem-sucedida em diferentes especialidades técnicas, da manufatura ao desenvolvimento de produtos, da organização de empresas à tecnologia da informação. Apesar da clareza de sua proposição e da existência de modelos matemáticos para seu uso, o Projeto Axiomático não é de simples e direta aplicação às diferentes especialidades técnicas a que se propõe. Esta dissertação de mestrado tem como proposta desenvolver uma metodologia pragmática e acessível para a aplicação integral do Projeto Axiomático à tomada de decisões em projetos de dispositivos de manufatura. A metodologia desenvolvida é então validada e demonstrada através da aplicação da mesma em um caso fabril real de uma indústria de autopeças de grande porte / Abstract: Engineering design is till present times widely based on empiric processes, ad hoc methodologies and iterative methods. The experience of those who perform the task is of great influence on the outcome due to the lack of scientific criteria for both analysis and decision making along the development of a product or a process. The common consequences are quality and reliability problems, execution delays and cost overrun. Currently there are only a few scientific design methodologies with a holistic approach, Axiomatic Design among them. Developed during the last decades by Prof. Nam Pyo Suh, it proposes two basic axioms to guide the analysis and decision-making for projects of any kind, both being then unfolded in theorems and corollaries. Although not able of being neither demonstrated nor proved as axiom, the methodology has been constantly validated through its successful utilization on different technical fields, from manufacturing to product design, from organizational structures to information technology. In spite of the clearness of its proposition and the existence of mathematical models for its usage, the Axiomatic Design is not of simple and direct application to the different technical fields it is suitable for. This master's degree dissertation has the purpose of developing a pragmatic and accessible methodology for the complete application of the Axiomatic Design to the decision making regarding the design of devices. The proposed methodology is then validated and demonstrated through its application to a real industrial process in a large size multinational automotive industry / Mestrado / Projetos / Mestre em Engenharia Automobilistica

Este trabalho apresenta a construção dos conjuntos dos números naturais, inteiros, racionais e reais, buscando contemplar uma mediação entre alunos e professores do ensino médio que possa contribuir em uma abordagem facilitadora para o processo de ensino e aprendizagem. A construção dos conjuntos numéricos é feita de modo progressivo, apresentando leis e propriedades que definem cada um deles. Os capítulos apresentam teoremas que são provados de modo que o leitor possa conseguir, efetivamente, estabelecer um elo entre a teoria matemática e suas abstrações iniciais inerentes aos estudantes em formação. / This work presents the construction of the sets of natural, integer, rational and real numbers, aiming to contemplate a mediation between high school students and teachers that can contribute to an easy approach to the teaching and learning processes. The construction of the numerical sets is done progressively presenting laws and properties that define each one of them. The chapters present theorems that are proven so that the reader can effectively establish a link between mathematical theory and its initial abstractions inherent in the students in formation.

PORTELA, Antonio Edilson Cardoso. Noções de geometria projetiva. 2017. 58 f. Dissertação (Mestrado Profissional em Matemática em Rede Nacional) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Jessyca Silva (jessyca@mat.ufc.br) on 2017-09-06T17:17:00Z No. of bitstreams: 1 2017_dis_aecportela.pdf: 1065928 bytes, checksum: 468c05aa35745f3fd2761f13aa26eff1 (MD5) / Rejected by Rocilda Sales (rocilda@ufc.br), reason: Boa tarde, Estou devolvendo a Dissertação de ANTONIO EDILSON CARDOSO PORTELA, para que o mesmo realize algumas correções na formatação do trabalho. 1- SUMÁRIO ( A formatação do sumário está incorreta, primeiro, retire o último ponto final que aparece após a numeração dos capítulos e seções (Ex.: 3.1. Axioma....; deve ser corrigido para: 3.1 Axioma.....), o alinhamento dos títulos deve seguir o modelo abaixo 1 INTRODUÇÃO.....................00 2 O ESPAÇO...........................00 3 GEOMETRIA........................00 3.1 Axiomas...............................00 REFERÊNCIAS...................00 (OBS.: não altere a formatação do negrito, pois já estava correta) 2- TITULO DOS CAPÍTULOS E SEÇÕES ( retire o ponto final que aparece após o último dígito da numeração dos capítulos e seções, seguindo o modelo do sumário. Retire o recuo de parágrafo dos títulos das seções. Ex.: 3.1 Axioma.......) 3- REFERÊNCIAS ( substitua o termo REFERÊNCIAS BIBLIOGRÁFICAS apenas por REFERÊNCIAS, com fonte n 12, negrito e centralizado. Retire a numeração progressiva que aparece nos itens da referência. Atenciosamente, on 2017-09-06T17:56:50Z (GMT) / Submitted by Jessyca Silva (jessyca@mat.ufc.br) on 2017-09-11T14:48:40Z No. of bitstreams: 1 2017_dis_aecportela.pdf: 944228 bytes, checksum: 3ab4691817df04ba5d7818fd02e5095f (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2017-09-11T15:30:32Z (GMT) No. of bitstreams: 1 2017_dis_aecportela.pdf: 944228 bytes, checksum: 3ab4691817df04ba5d7818fd02e5095f (MD5) / Made available in DSpace on 2017-09-11T15:30:32Z (GMT). No. of bitstreams: 1 2017_dis_aecportela.pdf: 944228 bytes, checksum: 3ab4691817df04ba5d7818fd02e5095f (MD5) Previous issue date: 2017 / In this work, initially, some results of Linear Algebra are presented, in particular the study of the Vector Space R^n, which becomes, together with Analytical Geometry, the language used in the chapters that follow. We present a study from an axiomatic point of view, from the perspectives of Hilbert's axioms and we elaborate models of planes for the Euclidean, Elliptic and Projective Geometries. The validity of the Incidence and Order axioms for Euclidean Geometry is verified. In R^3, an approach is made to the study of the plane and the unitary sphere, highlighting the elliptical line obtained by the intersection of these sets, thus making an approach to the Elliptic Geometry. With the concepts and definitions studied in the Vector Space R^n, Three-dimensional Space and in the Euclidean and Elliptic Geometries we will approach the study of Projective Geometry, demonstrating propositions and verifying its axioms. / Neste trabalho, inicialmente, apresenta-se alguns resultados da Álgebra Linear, em especial o estudo do Espaço Vetorial R^n, que passa a ser, juntamente com a Geometria Analítica, a linguagem empregada nos capítulos que se seguem. Apresentamos um estudo de um ponto de vista axiomático, sob a ótica dos axiomas de Hilbert e elaboramos modelos de planos para as Geometrias Euclidiana, Elíptica e Projetiva. É verificada a validade dos axiomas de Incidência e Ordem para a Geometria Euclidiana. No R^3, é feita uma abordagem do estudo de plano e da esfera unitária, destacando a reta elíptica obtida pela interseção destes conjuntos, passando assim a fazer uma abordagem da Geometria Elíptica. Com os conceitos e definições estudadas no Espaço Vetorial R^n, Espaço tridimensional e nas Geometrias Euclidiana e Elíptica, abordaremos o estudo da Geometria Projetiva, demonstrando proposições e verificando os seus axiomas.

A presente dissertação tem o objetivo de mostrar a arte Origami sob um contexto matemático, apresentando um pequeno resumo dos aspectos história e o desenvolvimento do Origami ao longo do tempo e dando maior destaque às suas aplicações na matemática, com o emprego dos axiomas de Huzita e a proposta de ampliação deste conjunto de axiomas com a inclusão da circunferência no papel Origami. Com o uso das técnicas de dobraduras, este trabalho mostra várias aplicações do Origami na matemática, tais como: a solução de alguns problemas clássicos, a construção de polígonos, a demonstração da soma dos ângulos internos de um triângulo, cálculo de algumas áreas, a solução de alguns problemas de máximos e mínimos, seguidos dos conceitos matemático envolvidos em cada um deles. E a inclusão da circunferência no plano Origami permitiu ainda, o estudo das construções das cônicas por dobraduras / This work aims to demonstrate the Origami art in a mathematical context, with a brief summary of the historical aspects and its development over time, giving more prominence to applications in mathematics, with the use of the axioms of Huzita and proposal to expand this set of axioms to include the circle in Origami paper. As the use of folding techniques, this work shows various applications of Origami in mathematics, such as the solution of some classical problems; the construction of polygons; the demonstration of the sum of the interior angles of a triangle; the calculation of some areas and the solution of some problems of maximum and minimum, followed by mathematical concepts involved in each of them. The inclusion of the circle in Origami plan allowed also to study the constructions of conic by folding

A presente dissertação tem o objetivo de mostrar a arte Origami sob um contexto matemático, apresentando um pequeno resumo dos aspectos história e o desenvolvimento do Origami ao longo do tempo e dando maior destaque às suas aplicações na matemática, com o emprego dos axiomas de Huzita e a proposta de ampliação deste conjunto de axiomas com a inclusão da circunferência no papel Origami. Com o uso das técnicas de dobraduras, este trabalho mostra várias aplicações do Origami na matemática, tais como: a solução de alguns problemas clássicos, a construção de polígonos, a demonstração da soma dos ângulos internos de um triângulo, cálculo de algumas áreas, a solução de alguns problemas de máximos e mínimos, seguidos dos conceitos matemático envolvidos em cada um deles. E a inclusão da circunferência no plano Origami permitiu ainda, o estudo das construções das cônicas por dobraduras. / This work aims to demonstrate the Origami art in a mathematical context, with a brief summary of the historical aspects and its development over time, giving more prominence to applications in mathematics, with the use of the axioms of Huzita and proposal to expand this set of axioms to include the circle in Origami paper. As the use of folding techniques, this work shows various applications of Origami in mathematics, such as the solution of some classical problems; the construction of polygons; the demonstration of the sum of the interior angles of a triangle; the calculation of some areas and the solution of some problems of maximum and minimum, followed by mathematical concepts involved in each of them. The inclusion of the circle in Origami plan allowed also to study the constructions of conic by folding.

Submitted by JOÃO PAULO DA CRUZ ALMEIDA (joaopauloalmeida2010@gmail.com) on 2017-09-26T16:20:50Z No. of bitstreams: 1 Minha Dissertação.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) / Approved for entry into archive by Monique Sasaki (sayumi_sasaki@hotmail.com) on 2017-09-28T12:58:50Z (GMT) No. of bitstreams: 1 almeida_jpc_me_sjrp.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) / Made available in DSpace on 2017-09-28T12:58:50Z (GMT). No. of bitstreams: 1 almeida_jpc_me_sjrp.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) Previous issue date: 2017-06-29 / Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentadas inúmeros esquemas de dedução referentes às “fórmulas” e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática. / This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics.

A presente dissertação tem o objetivo de mostrar a arte Origami sob um contexto matemático, apresentando um pequeno resumo dos aspectos história e o desenvolvimento do Origami ao longo do tempo e dando maior destaque às suas aplicações na matemática, com o emprego dos axiomas de Huzita e a proposta de ampliação deste conjunto de axiomas com a inclusão da circunferência no papel Origami. Com o uso das técnicas de dobraduras, este trabalho mostra várias aplicações do Origami na matemática, tais como: a solução de alguns problemas clássicos, a construção de polígonos, a demonstração da soma dos ângulos internos de um triângulo, cálculo de algumas áreas, a solução de alguns problemas de máximos e mínimos, seguidos dos conceitos matemático envolvidos em cada um deles. E a inclusão da circunferência no plano Origami permitiu ainda, o estudo das construções das cônicas por dobraduras / This work aims to demonstrate the Origami art in a mathematical context, with a brief summary of the historical aspects and its development over time, giving more prominence to applications in mathematics, with the use of the axioms of Huzita and proposal to expand this set of axioms to include the circle in Origami paper. As the use of folding techniques, this work shows various applications of Origami in mathematics, such as the solution of some classical problems; the construction of polygons; the demonstration of the sum of the interior angles of a triangle; the calculation of some areas and the solution of some problems of maximum and minimum, followed by mathematical concepts involved in each of them. The inclusion of the circle in Origami plan allowed also to study the constructions of conic by folding

A presente dissertação tem o objetivo de mostrar a arte Origami sob um contexto matemático, apresentando um pequeno resumo dos aspectos história e o desenvolvimento do Origami ao longo do tempo e dando maior destaque às suas aplicações na matemática, com o emprego dos axiomas de Huzita e a proposta de ampliação deste conjunto de axiomas com a inclusão da circunferência no papel Origami. Com o uso das técnicas de dobraduras, este trabalho mostra várias aplicações do Origami na matemática, tais como: a solução de alguns problemas clássicos, a construção de polígonos, a demonstração da soma dos ângulos internos de um triângulo, cálculo de algumas áreas, a solução de alguns problemas de máximos e mínimos, seguidos dos conceitos matemático envolvidos em cada um deles. E a inclusão da circunferência no plano Origami permitiu ainda, o estudo das construções das cônicas por dobraduras. / This work aims to demonstrate the Origami art in a mathematical context, with a brief summary of the historical aspects and its development over time, giving more prominence to applications in mathematics, with the use of the axioms of Huzita and proposal to expand this set of axioms to include the circle in Origami paper. As the use of folding techniques, this work shows various applications of Origami in mathematics, such as the solution of some classical problems; the construction of polygons; the demonstration of the sum of the interior angles of a triangle; the calculation of some areas and the solution of some problems of maximum and minimum, followed by mathematical concepts involved in each of them. The inclusion of the circle in Origami plan allowed also to study the constructions of conic by folding.

Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-28T14:00:56Z No. of bitstreams: 1 Carlos Bino de Souza.pdf: 2371603 bytes, checksum: d2f0bb2e430fc899161fe573fbae4e50 (MD5) / Made available in DSpace on 2017-03-28T14:00:56Z (GMT). No. of bitstreams: 1 Carlos Bino de Souza.pdf: 2371603 bytes, checksum: d2f0bb2e430fc899161fe573fbae4e50 (MD5) Previous issue date: 2015-08-26 / Euclid wrote a book in 13 volumes called Elements where systematized all the mathematical knowledge of his time. In this work, the 5 postulates of Euclidean geometry were presented. For several years, the 5th Postulate was frequently asked, this inquiries it was discovered that there are several other possible geometries, including hyperbolic geometry. Beltrimi proved that hyperbolic geometry is consistent if Euclidean geometry is consistent. Hilbert showed that Euclidean geometry is consistent if the arithmetic is consistent and presented an axiomatic system that capped the gaps in Euclid’s axiomatic system. Poincaré created a model, called the Poincaré disk, to represent the plan of hyperbolic geometry. The objective of this work is to show that the Poincaré disk model is consistent with reference Axioms Hilbert, replacing only the Axioms of Parallel to "On a point outside a line passes through the two parallel straight lines given", by constructions of Euclidean geometry. / Euclides escreveu uma obra em 13 volumes chamada de Elementos onde sistematizava todo o conhecimento matemático do seu tempo. Nesta obra, foram apresentados os 5 postulados da Geometria Euclidiana. Durante vários anos, o 5o Postulado foi muito questionado, desses questionamentos descobriu-se a existência de várias outras Geometrias possíveis, entre elas a Geometria Hiperbólica. Beltrimi provou que a Geometria Hiperbólica é consistente se a Geometria Euclidiana é consistente. Hilbert mostrou que a Geometria Euclidiana é consistente se a Aritmética é consistente e apresentou um sistema axiomático que preencheu as lacunas do sistema axiomático de Euclides. Poincaré criou um Modelo, chamado de Disco de Poincaré, para representar o plano da Geometria Hiperbólica. O objetivo deste trabalho é mostrar que o Modelo de Disco de poincaré é consistente, tomando como referência os Axiomas de Hilbert, substituindo apenas os Axiomas das Paralelas para "Por um ponto fora de uma reta passam duas retas paralelas à reta dada", através de construções da Geometria Euclidiana.

Nesta dissertação apresentamos um método de quantização matemática e conceitualmente rigoroso para o campo escalar livre de interações. Trazemos de início alguns aspéctos importantes da Teoria de Distribuições e colocamos alguns pontos de geometria Lorentziana. O restante do trabalho é dividido em duas partes: na primeira, estudamos equações de onda em variedades Lorentzianas globalmente hiperbólicas e apresentamos o conceito de soluções fundamentais no contexto de equações locais. Em seguida, progressivamente construímos soluções fundamentais para o operador de onda a partir da distribuição de Riesz. Uma vez estabelecida uma solução para a equação de onda em uma vizinhança de um ponto da variedade, tratamos de construir uma solução global a partir da extensão do problema de Cauchy a toda a variedade, donde as soluções fundamentais dão lugar aos operadores de Green a partir da introdução de uma condição de contorno. Na última parte do trabalho, apresentamos um mínimo da Teoria de Categorias e Funtores para utilizar esse formalismo na contrução de um funtor de segunda quantização entre a categoria de variedades Lorentzianas globalmente hiperbólicas e a categoria de redes de álgebras C* satisfazendo os axiomas de Haag-Kastler. Ao fim, retomamos o caso particular do campo escalar quântico livre. / In this thesis we present a both mathematical and conceptually rigorous quantization method for the neutral scalar field free of interactions. Initially, we introduce some aspects of the Theory of Distributions and we establish some points of Lorentzian geometry. The rest of the work is divided in two parts: in the first one, we study wave equations on globally hyperbolic Lorentzian manifolds, hence presenting the concept of fundamental solutions within the context of locally defined wave equations. Next, we progressively construct fundamental solutions for the wave operator from the Riesz distribution. Once established a solution to the wave equation in a neighbourhood of a point of the manifold, we move forward to produce a global solution from the extension of the Cauchy problem to the whole manifold. At this stage, fundamental solutions are replaced by Green\'s operators by the imposition of appropriate boundary conditions. In the last part, we present a minimum on the Theory of Categories and Functors. This is followed by the use of this formalism in the development of a second-quantization functor between the category of Lorentzian globally hyperbolic manifolds and the category of nets of C*-algebras obeying Haag-Kastler axioms. Finally, we turn our attention to the particular case of the quantum free scalar field.