Orientador: Rodney Carlos Bassanezi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T16:23:12Z (GMT). No. of bitstreams: 1 Geronimo_JoaoRoberto_M.pdf: 2298898 bytes, checksum: 4b2899c37ba8eea243bb1b0687ba710c (MD5) Previous issue date: 1988 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática Aplicada

Orientador: Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-20T17:07:34Z (GMT). No. of bitstreams: 1 Sautter_FrankThomas_M.pdf: 1965384 bytes, checksum: de383de9d44d5f50a346a84f71ec3e04 (MD5) Previous issue date: 1995 / Resumo: Analisamos as definições de conjunto finito de Dedekind (1893), de Zermelo (1908) e de Alarcón Athens (1987). A partir destas definições, formulamos e demonstramos diversos princípios de indução matemática para conjuntos finitos. Obtivemos uma nova definição de conjunto finito: um conjunto C é finito 'Se e somente se o conjunto vazio pertence a toda família não-vazia F de subconjuntos de C tal que para todo conjunto não vazio D 'PERTENCE¿ F existe um único conjunto E 'PERTENCE¿ F onde E = D - {d} para algum d 'PERTENCE¿ D. Demonstramos que, na axiomática de Zermelo-Fraenkel sem o axioma da escolha, esta definição é formalmente equivalente ao axioma de Dedekind, segundo o qual todo conjunto infinito, no sentido aritmético usual, tem subconjunto enumerável / Abstract: We analize Dedekind's (1893), ZermeIo's (1908) and Alarcón Athens' (1987) definitions of finite sets. From these definitions we formulate and prove some mathematical induction principles for finite sets. We obtain a new definition of finite sets: a set C is finite if and only if the empty set beIongs to every non-empty famiIy F of subsets of C, such that for every non-empty set D 'PERTENCE¿ F there exists exactly one set E 'PERTENCE¿ F such that E = D - {d} for some d 'PERTENCE¿ D. We prove that, in ZermeIo-Fraenkel axiomatics without the choice axiom, this definition is formally equivalent to Dedekind's axiom, which says that every infinite set, in the ordinary sense, has an enumerabIe subset / Mestrado / Mestre em Filosofia

Orientador: Rodney Carlos Bassanesi / Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-16T12:53:05Z (GMT). No. of bitstreams: 1 Brambilla_PrimoManoel_M.pdf: 1748346 bytes, checksum: a86197a34222727e64f821bf6d13e5f2 (MD5) Previous issue date: 1978 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador : Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-16T22:28:00Z (GMT). No. of bitstreams: 1 Pedrosa_RenatoHyudadeLuna_M.pdf: 2015565 bytes, checksum: b7d81d45dac1c68e5b5fa95933d079b9 (MD5) Previous issue date: 1981 / Resumo: Não informado / Abstract; Not informed / Mestrado / Mestre em Matemática

Orientador: Alejandro Engel Brotter / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T12:14:51Z (GMT). No. of bitstreams: 1 Schneider_HomeroMauricio_M.pdf: 861726 bytes, checksum: 6e215c0bedfb2e6363b408154e0ca56f (MD5) Previous issue date: 1984 / Resumo: Foi proposto um modelo de estruturação de células do Núcleo Geniculado Lateral (NGL) para explicar a propriedade de orientação seletiva de células do Córtex Visual. Este modelo baseia-se na correlação dos padrões de impulsos de células do NGL de mesmo tipo funcional e campos receptivos deslocados relativamente. No desenvolvimento formal deste modelo foi utilizada a Teoria dos Conjuntos como recurso básico para a formalização dos Aspectos funcionais e estruturais do modelo. Concluiu-se, matematicamente, que o modelo proposto é uma condição suficiente para algumas das características da propriedade de orientação seletiva. Outras características desta propriedade são mostradas através da aplicação do modelo formal. Para esta aplicação é feita uma interpretação Neurofisiológica de certas características formais do modelo e o desenvolvimento de um método para correlacionar histogramas de células corticais com os de células do NGL. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: Gilberto de Martino Jannuzzi / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-18T09:19:05Z (GMT). No. of bitstreams: 1 Haddad_Jamil_D.pdf: 10154495 bytes, checksum: 54eb7f8d81b1b75479eabcace61371dc (MD5) Previous issue date: 1993 / Resumo: O trabalho apresenta uma metodologia para a tomada de decisão em estudos envolvendo a conservação de energia elétrica utilizando-se a Teoria dos Conjuntos Fuzzy (Fuzzy Sets). Esta teoria permite manusear e operar proposições exatas e inexatas, ou seja, incorporar dados numéricos (exatos) e o conhecimento do especialista ou analista (inexato). Os conceitos básicos desta teoria são apresentados com suas principais operações e propriedades. Em seguida, após uma conceituação dos modelos clássicos e Fuzzy, é apresentada a metodologia de tomada de decisão utilizada nas análises seguintes. Um primeiro exemplo de aplicação procura avaliar o emprego de lâmpadas mais eficientes através de aspectos como vida útil, preço de aquisição, eficiência luminosa, entre outros. Um segundo exemplo de aplicação analisa o estabelecimento de estratégias de geração e conservação de energia elétrica durante a fase de planejamento da expansão da geração de um sistema elétrico / Abstract: A methodology for decision-making in studies involving energy saving by using the Fuzzy Sets Theory is presented. The Fuzzy Sets Theory permits to handle and to operate exact and non-exact propositions, that is, to incorporate both numerical data (exact) and the knowledge of either the expert or the analyst (inexact). The basic conceptsof this theory are presented with its main operations and properties. Following, after a conceptualizationof the classical and Fuzzy models, the methodologyof decision-making used in the following analyses is presented.A first applicationexample seeks to evaluatethe use of more efficient lamps through features such as useful life, acquisition costs, luminous efficiency,among others. A second application example assessesthe establishmentof generation and conservation strategiesof electric power during planning of the generation expansion of a electrical system / Doutorado / Doutor em Engenharia Mecânica

Orientadores: Marcio Luiz de Andrade Netto, Armando Freitas de Rocha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T19:59:28Z (GMT). No. of bitstreams: 1 Silva_MyriamRegattieriDeBiasida_M.pdf: 5682991 bytes, checksum: 50fb893bb784a410563523f1ce96f602 (MD5) Previous issue date: 1993 / Resumo: Este trabalho propõe um método de compressão-descompressão de dados aplicado a curvas no espaço 2D. Novas técnicas como Redes Neurais e Lógica Nebulosa são usadas para comprimir e descomprimir os pontos de uma curva plana. No processo de compressão, estruturas de redes neurais são desenvolvidas para operarem conjuntos de pontos seqüenciais (x,y). O objetivo é extrair o mínimo de dados possíveis de modo a permitir a recuperação da curva original. Um método de interpolação baseado em regras nebulosas é proposto, introduzindo-se modificações no algoritmo original apresentado por Uchino et aI.. Este algoritmo é utilizado para recuperar a informação, sempre que necessário. O algoritmo original (INL) - Interpolação Nebulosa Linear - funciona somente quando os pares de entrada saída (x,y) representam funções. O algoritmo proposto (INNL) - Interpolação Nebulosa Não Linear - introduz não linearidades no cálculo das funções de pertinência associadas às regras nebulosas, visando à obtenção de curvas interpoladas mais suaves. Uma outra modificação é introduzida no sentido de se generalizar a aplicação do método a curvas genéricas (curvas fechadas e não funções) / Abstract: This work proposes a method for compression-restoring data applied to bi-dimensional curves. New techniques as Neural Networks and Fuzzy Logic are used on compressing and restoring the points of the curve. On data compression, neural-like structures are developed to operate on a set of sequential points (x,y) in order to extract the minimal amount of data that can still accurately represent the entire original set. A method of interpolation based on fuzzy rules is proposed introducing modifications on the original algorithm presented by Uchino et al., to regenerate the whole original set of data whenever necessary. The original algorithm based on linear fuzzy rules works only when the input-output relation (x,y) represent a function. The modified algorithm (INNL) makes use of non linear fuzzy rules introducing the nonlinearities to calculate the membership functions associated to the rules, whose purpose is to obtain smoother interpolated curves. Another modification is introduced to generalize the algorithm to any kind of curve (closed and non-fullctions) / Mestrado / Mestre em Engenharia Elétrica

Orientador: Rodney Carlos Bassanezi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-19T20:32:45Z (GMT). No. of bitstreams: 1 Blinder_PauloBernardo_M.pdf: 3862568 bytes, checksum: 62af5bd0c403d3aea4069935a7e9aa90 (MD5) Previous issue date: 1994 / Resumo: Não informado / Abstract: Not informed / Mestrado / Analise Aplicada / Mestre em Matemática Aplicada

Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T03:50:38Z (GMT). No. of bitstreams: 1 Barros_CarlosJoseBraga_D.pdf: 2478809 bytes, checksum: 6c0e7d07f1b5d16baccb9e02aca2ee2a (MD5) Previous issue date: 1995 / Resumo: Este trabalho trata dos conjuntos controláveis e dos conjuntos controláveis por cadeias para ações de subsemigrupos de grupos de Lie. Ele é dividido em sete capítulos. No Capitulo 1, apresentamos uma revisão dos resultados sobre conjuntos controláveis que serão necessários ao desenvolvimento deste trabalho. Exibimos também uma tabela com o número máximo de conjuntos controláveis nas variedades flag dos grupos de Lie simples reais e não compactos. No Capitulo 2, estudamos como se comportam os conjuntos controláveis em fibrados. No Capitulo 3, determinamos o número máximo de conjuntos controláveis nos espaços projetivos. No Capitulo 4, analisamos a controlabilidade de sistemas de controle onde o semigrupo do sistema é um subsemigrupo do grupo simplético. Nos Capítulos 5,6 e 7 definimos e estudamos os conjuntos controláveis por F-cadeias. / Abstract: This work deals with control sets and chain control sets for semi group actions. It is divided in seven Chapters. Chapter 1 revises the results on control sets, which will be needed in the development of this work. It also gives a table showing the maximum number of control sets on the flag manifolds of the real simple non-compact Lie groups. Chapter 2, studies the behavior of the control sets in fiber bundles. ln Chapter 3 we determine the maximum number of control sets on the projective spaces. Chapter 4, analyses controllability of control systems where the system semi group is a subsemigroup of the simple tic group. In the Chapters 5,6 and 7 we define and study the F-chain control sets. / Doutorado / Doutor em Matemática

El Proyecto desarrolla un complejo habitacional ubicado entre las avenidas Costanera y La Paz, en el distrito de San Miguel. El proyecto tiene como finalidad el diseño de un complejo habitacional con un alto número de áreas colectivas, para el desarrollo de la denominada "vida de barrio" en la zona. Para este planteamiento se diseña una gradiente de espacios públicos que permite que el proyecto se desarrolle cumpliendo la finalidad de la investigación. / Tesis