Orientador: Marcia Regina Ferreira de Brito / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-28T12:18:20Z (GMT). No. of bitstreams: 1 Utsumi_MiriamCardoso_D.pdf: 14749786 bytes, checksum: d81862cad3127b87ce226a53744a19f6 (MD5) Previous issue date: 2000 / Doutorado

Orientador: Alvaro Rodolfo De Pierro / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-29T03:52:48Z (GMT). No. of bitstreams: 1 Yamagishi_MichelEduardoBeleza_D.pdf: 5189724 bytes, checksum: 3dac6c65c98bf0fdbe29c02d0602de8a (MD5) Previous issue date: 2001 / Resumo: Apresentamos uma extensão do RAMLA para o problema de Máxima Verossimilhança Regularizado em Tomografia por Emissão. Provamos que, se a seqüência gerada por este método converge, então deve convergir para a solução. Propomos também novos métodos iterativos de reconstrução para os problemas de Máxima Verossimilhança e Máxima Verossimilhança Regularizado em Tomografia por Transmissão. Estes algoritmos são extensões em CT do RAMLA. Mostramos que os novos algoritmos produzem soluções similares ou melhores que o EM para CT e outros métodos de subconjuntos ordenados com a vantagem de serem mais rápidos e terem boas propriedades de convergência / Abstract: We present an extension of RAMLA for Regularized Maximum Likelihood (MAP) in Emission Tomography (ECT) reconstruction. We show that, ifthe sequence generated by this method converges, then it must converge to the true MAP solution. New iterative algorithms are presented for Maximum Likelihood (ML) and MAP reconstruction in Transmission Tomography (CT). The algorithms are natural extensions to CT of RAMLA. We show that the new algorithms for ML and MAP solutions produce similar, or even better results than the EM algorithm and other ordered subsets methods, but in much fewer iterations, and their convergence properties are better than other algorithms / Doutorado / Doutor em Matemática Aplicada

Submitted by MARCOS LEANDRO TEIXEIRA DE OLIVEIRA (marcosteixeira@ufv.br) on 2018-11-08T12:16:29Z No. of bitstreams: 1 RESUMO.pdf: 1418107 bytes, checksum: fd4ded55a1aa529a2917d0ed85d27661 (MD5) / Made available in DSpace on 2018-11-08T12:16:29Z (GMT). No. of bitstreams: 1 RESUMO.pdf: 1418107 bytes, checksum: fd4ded55a1aa529a2917d0ed85d27661 (MD5) Previous issue date: 2017-02-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho trata aos conceitos de Aritmética Modular e Matrizes que são utilizados na Criptografia. Foram abordados fatos históricos para mostrar a importância da Criptografia. Apresentamos conteúdos que podem ser facilmente trabalhados em aula do Ensino Médio. Demonstramos dois métodos distintos de se criptografar mensagens utilizando tais conceitos, com sugestões de como podem ser utilizados. / Historical facts have been approached to show the importance of cryptography. We present contents that can be easilly applied in high school classes. We demonstrate two distinct methods of how to encrypt messages using these concepts, with suggestions on how they can be used. / O ALUNO NAO ENVIOU O ARQUIVO EM PDF. FOI ENVIADO EMAIL SOLICITANDO TAL ARQUIVO, POREM SEM RETORNO.

Orientador: Marko Antonio Rojas Medar / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-01T13:25:35Z (GMT). No. of bitstreams: 1 Faro_JoseHeleno_M.pdf: 2670999 bytes, checksum: abcc63bab1674d3ddf208ffc7bacfaba (MD5) Previous issue date: 2002 / Resumo: A análise matemática apresentou, principalmente a partir da década de 60, um considerável avanço no que se refere à teoria de correspondências ou multifunções. Muitas das contribuições nesta área são devidas a economistas matemáticos, tais como Robert Aumann, Wener Wildenbrand, Gerad Debreu, dentre outros, que motivados por problemas teóricos da ciência econômica, mais especificamente à Teoria do Equilíbrio Geral e Teoria de Jogos, foram responsáveis por vários resultados que, ou generalizavam alguns fatos obtidos na análise de funções clássicas, ou mesmo apresentavam novos conceitos e resultados. O objetivo principal deste trabalho é o de, num primeiro momento, sistematizar a teoria básica de correspondências: passando por sua definição, a conceituação de convergência, o estudo da continuidade até mensurabilidade e integração. Por fim, vamos dar algumas das aplicações deste escopo à Teoria do Equilíbrio Geral com finitos bens; mais especificamente, o modelo de Equilíbrio Geral com um contínuo de agentes e puras trocas e ao modelo com produção e agentes mensuráveis, conhecido como coalition production economy / Abstract: The mathematical analysis has presented, special1y after the 60's, a considerable development in what is referred to the theory of correspondences or multifunctions. Many of the contributions in this area are due to mathematic-economists, such as Robert Aumann, Wener Hildenbrand, Gerard Debreu, amongst others, that motivated by theoretical problems of economic science, more specifical1y the Theory of General Equilibrium and the Game Theory, were reponsable for many results that have, either generalized facts obtained in the analysis of c1assical functions, or even presented new concepts and results. The main goal of this work is to, in a fist stage, synthesize the basic theory of correspondences; passing by its definition, the concept of convergence, the study of continuity up to measurability and integration. In the end we give some aplications of this framework to the theory of General Equilibrium with finite goods; more specifical1y, to the model of General Equilibrium with a continuum of agents and pure exchange and the model with production and measurable agents, known as coalition production economy / Mestrado / Mestre em Matemática Aplicada

Orientador : Marcia R. F. de Brito / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-01T19:13:21Z (GMT). No. of bitstreams: 1 Sanches_MariaHelenaFigueiredo_M.pdf: 2159591 bytes, checksum: 74801e85f204f4f9a794b583ce738842 (MD5) Previous issue date: 2002 / Mestrado

Orientador: Reginaldo Guirardello / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-08-03T22:32:26Z (GMT). No. of bitstreams: 1 Drummond_DanielaMedeirosDevienne_M.pdf: 955206 bytes, checksum: a94504eae86d3afd27583694f8f8cd9e (MD5) Previous issue date: 2004 / Resumo: A principal área de ação de um layout industrial é sem nenhuma dúvida a empresa, definindo e integrando os elementos produtivos. A questão está relacionada com o local e arranjo de departamentos, células ou máquinas em uma planta ou chão de escritório. Por causa dos aspectos geométricos e combinatoriais do problema, trata-se de uma questão cuja solução pode atingir altos níveis de complexidade, de acordo com o incremento de variáveis do sistema. Além disso, o layout industrial engloba fatores quantitativos e qualitativos que associados, podem tornar-se difíceis de modelar e analisar. A otimização é o processo de encontrar a melhor solução (ou solução ótima) de um conjunto de soluções para um problema. Existe um conjunto particular de problemas nos quais é decisiva a aplicação de um procedimento de otimização. São problemas complexos, muitas vezes de difícil solução, e que envolvem significativas reduções de custos, melhorias de tempos de processos, ou uma melhor alocação de recursos em atividades. Os modelos matemáticos podem ser usados para se obter o layout de processo mais econômico, sujeito a restrições que possibilitem a operação, manutenção e segurança. Portanto, todos os modelos objetivam minimizar o custo total, desde que satisfaçam as restrições de espaço livre ao redor dos componentes. Essa categoria abrange a fabricação de papéis higiênicos, que respondem por 80% da produção, as toalhas (16%) e guardanapos/lenços (4%), além da chamada "linha institucional" para atendimento a consumidores maiores, como redes de fast-food, hospitais, escritórios, indústrias, etc. O Brasil contribui com 3,1 % da produção mundial e é o 8° produtor mundial de papel sanitário. Este trabalho tem como objetivo a utilização da modelagem matemática para otimização dos equipamentos na fabricação papel de papel Tissue. O modelo utilizado foi baseado em (GUlRARDELLO, 1993) e a programação foi feita em MILP, o software utilizado para a modelagem foi o GAMS (General Algebraic Modeling System), o qual é designado à construção e solução de grandes e complexos modelos de programação matemática, oferecendo recursos poderosos para programadores e sendo mais compreensível para usuários de modelos de outras disciplinas. Palavras Chave: Otimização, Papel Tissue, Layout, MILP, GAMS / Abstract: The main area of an industrial layout is without no doubt the company, defining and integrating the productive elements. The main question is related to the right the place and arrangement of departments, cells or machines in a plant or clerical soil. Because of the geometrical and combinatorid aspects of the problem, it is a kind of question that solution can reach high levels of complexity, in accordance with the incremented in variables of the system. Moreover, the industrial layout embodies quantitative and qualitative factors that in association, can become difficult to analyze and model . The optimization is the process to find the best solution (or excellent solution) amon a set of solutions for a problem. The application of a optimization procedure exists . There is a particular set problems in which is decisive. They are complex problems, many times of difficult solution, and that they involve significant reductions of costs, improvements of times of processes, or one better allocation of resources in atividades. Os mathematical models they can be used to get the layout of more economic process, subject to restrictions that make possible the operation, maintenance and security. Therefore, all the models objectify to minimize the total cost, since that they around satisfy the restrictions of free space of the components. This category encloses the toillet papers, that answer for 80% of the production, the towels (16%) and nippes (4%), beyond the call "institucional line" for attendance the consumers biggest, as nets of fast-food, hospitals, offices, industries, etc. Brazil contributes with 3.1 % of the world-wide production and is 8° producing world-wide of tissue paper. This work has as objective the use of the mathematical modeling for optimizing the position equipment in the manufacture paper of Tissue paper. The model used was based of (GUlRARDELLO, 1993) and the programming was made in Entire Mixing MILP, the software used for the modeling was the GAMS (General Algebraic Modeling System), which is assigned to the great construction and solution of and complex models of mathematical programming, offering powerful resources for programmers and being more understandable for users of models of others you discipline. Keywords: Optimization, Tissue Paper, Layout, MILP, GAMS / Mestrado / Mestre em Engenharia Química

Made available in DSpace on 2014-06-12T18:33:40Z (GMT). No. of bitstreams: 2 arquivo934_1.pdf: 678753 bytes, checksum: af8d8f157b72162d2a4446bf7978c0c6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Universidade Federal de Pernambuco / O Polinômio de Tutte generaliza alguns polinômios usados para contar estruturas em grafos, tais como colorações e fluxos. Não obstante, é mais naturalmente definido para matróides. Em termos mais formais, é essencialmente o único invariante polinomial com comportamento multiplicativo para soma direta de matróides ou uniões disjuntas de grafos conexos. Adicionando alguma complexidade em sua formulação, é possível capturar nele as simetrias de um grafo por um argumento de contagem de órbitas de grupos. Com outro viés, é possível codificar algebricamente uma matróide atribuindo pesos para os seus elementos ao construirmos uma variação do Polinômio de Tutte, o que resulta praticamente na função de partição do modelo de Potts

Orientador: Alejandro Engel Bratter / Dissertação (mestrado)- Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Ciência da Computação / O exemplar da FE pertence a Coleção de Teses do Circulo de Estudos, Memoria e Pesquisa em Educação Matematica (CEMPEM) / Made available in DSpace on 2018-07-24T12:39:26Z (GMT). No. of bitstreams: 1 Simon_HeloisaSirio_M.pdf: 7589751 bytes, checksum: c7a1cd2d8b82a47db758da4b3c0591c9 (MD5) Previous issue date: 1981 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Ensino de Ciencias e Matematica / Mestre em Matemática

Orientador: Patricio A. Letelier Sotomayor / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-25T08:30:12Z (GMT). No. of bitstreams: 1 D'Afonseca_LuisAlberto_M.pdf: 3660155 bytes, checksum: bd590f0bb71985ebc9273e35064d21a5 (MD5) Previous issue date: 1999 / Resumo: Esta dissertação é uma revisão das soluções das equações de Einstein para sistemas estáticos com simetria axial, que são conhecidas como soluções de Weyl. Os primeiros capítulos tratam dos aspectos gerais destas soluções. Inicialmente apresentando a forma das equações de Einstein para este caso e as equações para suas geodésicas. Em seguida tratamos das singularidades que podem ser encontradas. Nos capítulos seguintes são apresentadas várias soluções de Weyl, com algumas informações sobre suas interpretações físicas e geométricas. Começando com soluções para distribuições de matéria em equilíbrio estático, isto é, que não contradizem a estaticidade imposta a estas métricas. Depois apresentamos uma série de soluções onde a hipótese de estaticidade não é compatível com a distribuição de matéria, essa discrepância é resolvida pelo aparecimento de singularidades estruturais. Algumas destas soluções são originais sendo obtidas numericamente. Por fim segue um conjunto de apêndices. Entre os quais, um com a descrição dos métodos numéricos empregados e as listagens dos programas. / Abstract: This dissertation is a review of static axial-symmetric solutions of Einstein equations also known as Weyl solutions. The first chapters deal with general aspects of these solutions, the form of Einstein equation and its geodesic equations. Next we study the singularities at these metrics. In the following chapters several Weyl solutions, also some information about its physic and geometric interpretations are presented. Beginning with solutions for matter distributions with static equilibrium, that is, which agree with the imposed staticty of the metric. We show a list of solutions which contradict this hypothesis, this discrepancy is solved by the existence of strut singularities. Some of this solutions are originals and are obtained using numerical methods. At the end follows a set of appendices. Among them, there are a description of numerical methods employed and the programs listings. / Mestrado / Mestre em Matemática Aplicada

Orientador: Jose Armando Valente / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / O exemplar da FE pertence a Coleção de Teses do Circulo de Estudos, Memoria e Pesquisa em Educação Matematica (CEMPEM) / Made available in DSpace on 2018-07-14T02:40:07Z (GMT). No. of bitstreams: 1 SchlunzenJunior_Klaus_M.pdf: 3553194 bytes, checksum: 216d995f5b69be586899536ef8334f00 (MD5) Previous issue date: 1992 / Resumo: SICRE é um sistema computacional destinado ao ensino da resolução de equações de 1° grau. Sua implementação foi baseada na integração dos conceitos de ferramentas do tipo "SHELL", especificas para construção rápida de sistemas Especialistas, e na metodologia educacional da linguagem LOGO, onde o estudante aprende através do processo de "ensinar" o computador. O usuário fornece regras à base de conhecimento e, assim, consegue formalizar e explicitar seu conhecimento. O sistema permite que o aluno, durante a resolução dos exercícios, seja capaz de testar suas regras e corrigi-Ias, se necessário. Descreve-se, neste trabalho não apenas os aspectos de implementação do SICRE, mas também a metodologia e os resultados obtidos durante a realização de um Trabalho de Campo, o que ao final permitiu efetuar-se uma avaliação sobre as contribuições deste sistema. / Abstract: SICRE is a computational system to help the teaching of 1st degree equation. The implementation is based on the integration of two concepts: SHELL-like tools, used to quickly develop expert systems, and LOGO educational methodology, where the pupils learn through the process of "teaching" the computer. The user provides the rules to the knowledge base, so that he can formalize and make explicit his own knowledge. The system allows the pupil, during the process of solving 1st degree equation, to test the rules and also to correct them, if necessary. This work describes the implementation of SICRE, the use of the system by students and the results obtained. / Mestrado / Mestre em Ciência da Computação