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

In this work, we investigated the construction of natural, integer, rational, real, complex, quaternion and Octonion numbers. More precisely, the set of real numbers was achieved by applying two methods: Dedekind Cuts and Equivalence Classes of Cauchy Sequences. Our study is only based on using Peano Axioms, which are directly related to the natural numbers, in order to get the basic properties satis ed by these numbers. In addition, we carefully proved the elementary results involving real numbers. This process in question was developed constructively throughout of the concepts of the integer and rational numbers. Next, we show that it is possible to establish the existence of complex numbers along with their more usual arithmetic properties. Finally, we nish each chapter of our work showing some possible applications in each set worked. / No presente trabalhos, investigamos, cuidadosamente, a construção do números Naturais, inteiros, Racionais, Reais e Complexos. Sendo que, o conjunto dos números reais foi obtido através dos conhecidos métodos: Cortes de Dedekind e Classes de Equivalência por sequência de Cauchy. O estudo consistiu em utilizar os famosos Axiomas de Peano, ps quais estão relacionados aos números naturais, em ordem a obter as em conhecidas propriedades elementares, satisfeitas para todos esses números. E, a partir deste conhecimento, encontramos rigorosamente as provas dos resultados básicos envolvendo os números reais. Este processo em questão, foi desenvolvida de maneira construtiva através dos números inteiros e racionais. Em seguida, mostramos que é possível estabelecer a existência de números complexos, juntamente com suas propriedades aritméticas mais usuais. Por fim, terminamos cada capítulo do nosso trabalho, mostrando algumas possíveis aplicações em cada conjunto trabalhado.

Realistically, organizational and/or system efficiency performance is dynamic, non-linear, and a function of multiple interactions in production. However, in the efficiency literature, system performance is frequently evaluated considering linear combinations of the input/output variables, without explicitly taking into account the interactions and feedback mechanisms that explain the causes of efficiency behavior, the dynamic nature of production, and non-linear combinations of the input/output variables. Consequently, policy decisions based on these results may be sub-optimized because the non-linear relationships among variables, causal relationships, and feedback mechanisms are ignored. This research takes the initial steps of evaluating system efficiency performance in a dynamic environment, by relating the factors that effect system efficiency performance to the policies that govern it. First, this research extends the concepts of the static production axioms into a dynamic realm, where inputs are not instantaneously converted into outputs. The relationships of these new dynamic production axioms to the basic behaviors associated with system dynamics structures are explored. Second, this research introduces a methodological approach that combines system dynamics modeling with the measurement of productive efficiency. System dynamics is a modeling paradigm that evaluates system policies by exploring the causal relationships of the important elements within the system. This paradigm is coupled with the fundamental assumptions of production theory in order to evaluate the productive efficiency of a production system operating within a dynamic and non-linear environment. As a result, a subsystem within the system dynamics model is introduced that computes efficiency scores based on the fundamental notions of productive efficiency. The framework's ability to combine prescriptive and descriptive modeling characteristics, as well as dynamic and combinatorial complexity, can potentially have a greater impact on policy decisions and how they affect system efficiency performance. Finally, the utility of these concepts is demonstrated in an implementation case study. This methodology generates a prescriptive dynamical production frontier which defines the optimal production resources required to satisfy system requirements. Additionally, the dynamical production frontier allows for analysis for comparisons between options during a transient period, insight into possible unintended consequences, and the ability to forecast optimal times for introducing system or process improvements. / Ph. D.

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.