Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Etsadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:17:27Z (GMT). No. of bitstreams: 1 ErtolaBiraben_RodolfoCristian_D.pdf: 6541731 bytes, checksum: 679633ee0bf6443f0e2e45097736869c (MD5) Previous issue date: 2001 / Resumo: Nesta Tese examinamos algumas questões relacionadas com o conceito de função computável. Entre as análises destacamos um estudo de uma objeção às definições habituais desse conceito, quanto ao caráter construtivo do mesmo. Desenvolvemos uma teoria de computabilidade onde são distinguidas as noções de auto-referência e automodificação. Além disso, estudamos uma reformulação da Tese de Turing-Church, devida a Yiannis Moschovakis / Abstract: In this Thesis we examine some problems related to the concept of computable function. In particular, we present an analysis of an objection to the usual definition as regards its constructive contentoWe also develop computability theory distinguishing selfreference and self-modification and we make an evaluation of a reformulation of Turing- Church Thesis by Yiannis Moschovakis / Doutorado / Doutor em Filosofia

Orientador : Basilio E. A. Milani / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-28T02:39:49Z (GMT). No. of bitstreams: 1 Coelho_AlessandraDutra_D.pdf: 4008477 bytes, checksum: bad126e9e796aef7ecc084434839d458 (MD5) Previous issue date: 2001 / Resumo: Esta tese é dedicada à análise de estabilidade de sistemas lineares discretos no tempo com controles em malha fechada com saturações ou zonas mortas, com atenção especial para sistemas instáveis em malha aberta. São considerados sistemas lineares com parâmetros perfeitamente conhecidose sistemas com parâmetros incertos restritos a um politopo compacto. Para sistemascom saturações, o objetivo principal é a determinação de estimativas poliedrais convexasda região de estabilidade assintótica local da origem. Para sistemas com zonas mortas, o objetivo principal é a determinação de aproximações poliedrais convexasexternas do mínimo conjunto de confinamento final uniforme contendo a origem, para delimitar e analisar a estabilidade de possível ciclo limite nele contido. Os problemas são tratados de acordo com o segundo método de Lyapunov através da caracterização e construção de funções de Lyapunov lineares por partes. As funçõesde Lyapunovsão caracterizadas e construídas utilizando formulações e algoritmos de programação linear / Abstract: This thesis is dedicated to stability analysis of linear discrete-time systems with saturation ar deadzone in feedback controls, with special attention to unstable open-Ioop systems. Linear systems with perfectly known parameters and systems with uncertain parameters constrained to a compact polytope are considered. For systems with saturations, the main objective is determination of convex polyhedral estimates of the region of local asymptotic stability of origino For systems with deadzones, the main objective is determination of external convex polyhedral approximations of the minimal uniform ultimate boundedness set containing origin, for delimitation and stability analysis of a possible limit cyc1einside it. The problems are treated according to second method of Lyapunov via characterization and construction of piecewise-linear Lyapunov functions. The Lyapunov functions are characterized and constructed using linear programming formulations and algorithms / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientadores : Osvair Vidal Trevisan, Roseana da Exaltação Trevisan / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-28T02:20:47Z (GMT). No. of bitstreams: 1 Fassani_RoseliNorikoSuzuki_D.pdf: 7459731 bytes, checksum: e84ef6b65a4a5d64f3b03f26bd006305 (MD5) Previous issue date: 2001 / Resumo: No processo de soldagem com múltiplos passes, o material passa por rápidos ciclos de aquecimento e resmamento. Podem ocorrer modificações na microestrutura dos materiais sujeitos a transformações de fase, resultando em alterações nas suas propriedades mecânicas. O conhecimento do ciclo térmico para uma dada posição fornece importantes informações, tais como a temperatura de pico e a taxa de resmamento, indicadores de eventuais transformações de fase no material soldado. Neste trabalho, foram desenvolvidos modelos analíticos e numéricos para as configurações uni e bidimensionais, em regime transiente, e também para as configurações bi e tridimensionais, em regime quase-estacionário. A distribuição da fonte de calor e as perdas superficiais foram consideradas nos modelos analíticos. Nos modelos numéricos, além das perdas por convecção e radiação, foi analisado o efeito da variação das propriedades físicas com a temperatura. A principal contribuição deste trabalho foi o de prover, pela primeira vez, soluções analíticas para a soldagem multipasse, de acordo com as configurações e fatores citados. A comprovação dos modelos analíticos foi feita através da comparação entre os ciclos térmicos simulados por estes modelos com aqueles obtidos pelas soluções numéricas. No caso das configurações unidimensional transiente e bidimensional quase-estacionário, os ciclos térmicos analíticos e numéricos foram comparados também com os ciclos térmicos obtidos experimentalmente. A concordância entre os resultados analíticos, teóricos e experimentais mostra a validade dos modelos analíticos propostos. A vantagem destes modelos é a possibilidade de avaliar a influência dos parâmetros de soldagem, material e espessura de chapa sobre o ciclo térmico, de forma simples, direta e segura / Abstract: In multiple pass welding process, the material undergoes fast cycles of heating and cooling. Materials subjected to phase changes may undergo microstructural modifications, resulting in alterations in their mechanical properties. The knowledge of the thermal cycle for a specific position gives important informations about the peak temperature and the cooling rate, which indicate possible phase changes in the weldment. In this work, analytical and numerical models were developed for onedimensional and two-dimensional transient heat flow, and also for two-dimensional and three-dimensional steady-state heat flow. The distributed heat source and heat loss were taken into account in the analytical models. Besides convective and radiative heat losses, the change of physical properties with temperature was studied in the numerical models. The main contribution of this work was to provide original analytical solutions for the multipass welding process, in accordance with the heat flow and the mentioned topics. The thermal cycles provided by the analytical solutions were checked against the thermal cycles simulated by the numerical solutions. In one-dimensional transient and two-dimensional steady-state heat flow, the analytical and numerical thermal cycles were compared with those obtained in a experimental setup. The agreement between analytical, numerical and experimental results shows the validity of the proposed analytical models. The advantage of these models is that the influence of the welding parameters, material and plate thickness on the thermal cycle may be assessed in a confident and straightforward manner / Doutorado / Materiais e Processos de Fabricação / Mestre em Engenharia Mecânica

Apresentamos neste trabalho, a evolução do conceito de função ao longo da história, destacando a relação entre as primeiras concepções e a Matemática Aplicada. Trouxemos uma lista de medidas que levaram à criação do Programa Nacional do Livro Didático, enfatizamos algumas das principiais preocupações, no que concerne ao ensino de funções, presentes nas resenhas do Guia de Livros Didáticos 2015 Ensino Médio: Matemática. Dentre essas preocupações, destacamos as diferentes representações da função abordadas nos livros, a construção de gráfico a partir de poucos pontos e o uso da taxa de variação média na introdução do ensino de funções. Como opção frente aos obstáculos levantados nas resenhas, propomos, como estratégia de ensino, a utilização da Modelagem Matemática. Veremos que essa estratégia é uma forma de Resolução de Problemas, sendo esta, recomendada nos Parâmetros Curriculares, além disso diferenciamos a Modelagem Matemática de duas outras formas de Resolução de Problemas, A Situação Problemas e a Tarefa Investigativa. Na proposta, oferecemos, e justificamos, uma atividade em que os estudantes do primeiro no do Ensino Médio elaboram um Modelo Matemático para estudar A Queda da Temperatura DÁgua. A experiência se deu no Laboratório de Ciências e na sala de aula dos alunos do Primeiro Ano do Ensino Médio do Colégio Marupiara. Ao final da experiência os estudantes se mostraram mais interessados pelas aulas de Matemática, apresentaram predileção por tarefas que envolvem investigação e mostraram ter maior compreensão da continuidade na representação gráfica das funções. / We present in this work, the evolution of the function concept throughout history, highlighting the relationship between the first conceptions and Applied Mathematics. We brought a list of measures that led to the creation of the \"National Textbook Program\", we emphasize some of all major concerns regarding the teaching of functions, present in the \"Guide Textbook for Secondary Education: Mathematics - 2015\" review. Among these concerns, we highlight the different representations of function addressed in books, building ghraphics from a few points and the use of the average rate of variation in the introduction of teaching functions. As an option taking into account the obstacles raised in the reviews, we propose, as a teaching strategy, the use of Mathematical Modeling. We will see that this strategy is a way to Problem Solving, which is recommended in the \"Curriculum Guidelines\" we also differ the mathematical modeling of two other forms of Problem Solving, The Problem Situation and the Investigative Task. In the proposal, we offer and justify an activity in which students from first grade high school elaborate a Mathematic Model to study the Temperature Drop of the Water. The experiment took place in the science lab and in the classroom of students in First Grade of High School at Marupiara School. At the end of the experiment the students were more interested in the mathematic classes, they showed preference for tasks involving challenge and they appeared to have greater understanding of the continuity in the graphical representation of functions.

Orientador : Jose Plinio O. Santos / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-02T06:04:29Z (GMT). No. of bitstreams: 1 Ivkovic_Milos_M.pdf: 1423725 bytes, checksum: 2ceff733ce4af89bd9efc3526566f328 (MD5) Previous issue date: 2002 / Resumo: Neste trabalho 5 conjeturas relacionadas com versões finitas das identidades do tipo Rogers-Ramanujan são provadas. Usando estes resultados, foi possível obter generalizações polinomiais para seqüências de Fibonacci e Pell. Diversas novas interpretações combinatórias para estas seqüências, em termos de partições e caminhos reticulados são obtidas, usando-se técnicas de q-calculo e funções geradoras / Abstract: Ins this work conjectures related with the finite versions of the RogersRamanujan type identies are proved. Using this results it was possible to obtain polynomial generalizations of the Fibonacci and Pell sequences. Various new interpretations for these sequences, in terms of partitions and lattice paths, were obtained using q-calculus and generating functions / Mestrado / Mestre em Matemática Aplicada

Orientador : Jorge Tulio Mujica Ascui / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T00:57:25Z (GMT). No. of bitstreams: 1 Kuo_PoLing_M.pdf: 558728 bytes, checksum: c3e86d7e2ae08fa1336b62cf274673dc (MD5) Previous issue date: 2003 / Mestrado / Mestre em Matemática

Orientador : Pedro Luis Dias Peres / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T14:12:12Z (GMT). No. of bitstreams: 1 Oliveira_RicardoCoracaodeLeaoFontourade_M.pdf: 623656 bytes, checksum: 92bdf24d607947f0bff1fef165620ecb (MD5) Previous issue date: 2003 / Mestrado

Orientador: Pedro Luis Dias Peres / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T16:30:08Z (GMT). No. of bitstreams: 1 Ramos_DomingosCandidoWong_D.pdf: 4394101 bytes, checksum: b526232f4001fa8f3ab65ae67e966cce (MD5) Previous issue date: 2003 / Resumo: Este trabalho trata da obtenção de condições suficientes de estabilidade robusta de sistemas lineares incertos (incerteza politópica), tanto contínuos quanto discretos no tempo, através de funções de Lyapunov dependentes de parâmetros e desigualdades matriciais lineares (em inglês, LMI's - Linear Matrix Inequalities). As condições de estabilidade robusta são usadas diretamente na determinação de domínios de estabilidade dos sistemas lineares incertos. O problema de estabilização robusta, via realimentação de estados, também é tratado através da parametrização convexa da solução da equação de Lyapunov, no contexto de sistemas lineares com controladores que variam com os parâmetros, usando como ponto de partida as condições suficientes de estabilidade robusta estabeleci das neste trabalho. Adicionalmente, a determinação de domínios de não fragilidade de controladores (em casos de realimentação de estática de estados ou da saída, e realimentação dinâmica de saída) é ilustrada. Tais condições suficientes de estabilidade robusta também são exploradas, em conjunto com os algoritmos genéticos (usados apenas como ferramentas de busca no universo de parâmetros do controlador), na obtenção de controladores robustos, trabalhando diretamente sobre o espaço dos parâmetros do controlador e permitindo a imposição de restrições de estrutura sobre os mesmos Finalmente, a síntese de controladores que variam linearmente com os parâmetros incertos também é apresentada como uma extensão da aplicação da abordagem que envolve algoritmos genéticos / Abstract: This work deals with the study of sufficient robust stability conditions for uncertain linear systems (politopic uncertainty), in both continuous and discrete-time, using parameter dependent Lyapunov functions and Linear Matrix Inequalities (LMI's). The robust stability conditions are directly used to determine the stability domain of uncertain linear systems. The state feedback stabilization problem is also treated through the convex parametrization of the solution of the associate Lyapunov equation, in the context of linear parameter varying systems, using as starting point the sufficient robust stability conditions obtained in this work. Additionaly, the determination of the non-fragile stability domains for the controlers (static state or output feedback, and dynamic output feedback) is illustrated. Those sufficient robust stability conditions are also exploited, in conjuction with genetic algorithms (here, used only as a search tool) to compute robust controllers, searching directly in the parameter domain of the controller, thus allowing the inc1usion of additional controller structure constraints. Finally, the synthesis of LPV controllers is also presented as an extention of the combined robust stability conditions and genetic algorithms approach / Doutorado / Doutor em Engenharia Elétrica

Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T17:41:22Z (GMT). No. of bitstreams: 1 Pinto_GuilhermeAlbuquerque_D.pdf: 4219537 bytes, checksum: acd92f5d71678809ad0e63efea423560 (MD5) Previous issue date: 2003 / Doutorado

Orientador: Jose Plinio de Oliveira Santos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T19:13:49Z (GMT). No. of bitstreams: 1 Craveiro_IreneMagalhaes_D.pdf: 478619 bytes, checksum: 002cd67ea4ffe9740bdb584528e54706 (MD5) Previous issue date: 2004 / Doutorado / Doutor em Matemática