Orientador: Michael B. Wrigley / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-21T09:22:59Z (GMT). No. of bitstreams: 1 Vilela_DeniseSilva_M.pdf: 5000035 bytes, checksum: 7f99d443a1b422dc4a4ff7bfeb08b4b0 (MD5) Previous issue date: 1996 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientador: Marcelo Firer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T06:58:11Z (GMT). No. of bitstreams: 1 Spreafico_MarcosViniciusPereira_M.pdf: 558857 bytes, checksum: a9d033bd1132fd1bc42fcb1aa2296ef5 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho fazemos uma apresentação dos espaços poset, introduzidos por Brualdi (1995), apresentamos os conceitos necessarios da teoria de conjuntos parcialmente ordenados e da teoria de codigos. Trabalhamos com uma questão de caráter amplo e estrutural deste contexto, o problema da determinação da ordem atraves da distribuição de pesos. A distribuição de pesos é essencialmente o conjunto das cardinalidades das esferas métricas e a pergunta que se coloca é em que medida este invariante determina a métrica em questão. Demonstramos que para as classes de codigos, cadeia, anticadeia, coroa e hierárquico, classes importantes no contexto da teoria de codigos, o problema possui uma resposta positiva e justificamos algumas conjecturas que relacionam este problema ao da reconstrução de grafos. / Abstract: In this work, we introduce the concept of poset codes (Brualdi - 1995) and in this context we study the weight distribution problem, presenting the necessary concepts of the partially ordered set and error correcting codes theory. The weight distribution is the cardinality of metric-spheres in finite dimensional vector space over a finite field endowed with a poset metric. The weight distribution problem asks for conditions to ensure that the weight distribution determines the metric. In this work we show that the weight distribution of some families of posets, namely the classes of anti-chain, chain, crown and hierarchical posets, determines the metric. We also show that the weight distribution determines some known invariants of posets. Finally, we present some conjectures relating the weight distribution problem and the reconstruction problem of graphs. / Mestrado / Mestre em Matemática

Orientadores: Raul Vinhas Ribeiro, João Frederico da Costa Azevedo Meyer / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-13T15:58:01Z (GMT). No. of bitstreams: 1 Poletti_ElaineCristinaCatapani_D.pdf: 4221797 bytes, checksum: 73aff4b1cd65fe8401a1e01bd20fb19d (MD5) Previous issue date: 2009 / Resumo: O presente trabalho propõe um método para o estudo da dispersão de poluente num sistema de reservatório, via Modelagem Matemática dos fenômenos principais envolvidos na análise deste tipo de situação. Na modelagem, a opção foi pela clássica Equação Diferencial Parcial de Difusão- Advecção com parâmetros fuzzy reunindo, portanto, aspectos determinísticos e a Lógica Fuzzy de modo a incorporar aspectos característicos e relevantes de dispersão efetiva do poluente, seu transporte e degradação. Condições iniciais e de contorno compatíveis com casos conhecidos são propostas, além de aproximações numéricas adequadamente dimensionadas, via Elementos Finitos, na discretização espacial, com um método de tipo Crank-Nicolson na aproximação temporal. Propõe-se, também, um algoritmo que se preste a simulações computacionais eficientes, em ambiente Matlab. Como estudo de caso, utiliza-se a situação evolutiva do reservatório de Salto Grande, represamento do rio Atibaia, um dos mais importantes mananciais de abastecimento público da região, inserido numa importante região do Estado de São Paulo. / Abstract: Current work presents an instrument for dispersion of water's surface pollutant study through Mathematical Modelling and the main phenomenas involved in this type of analysis. For this purpose, we use the Partial Differential Equation of diffusion-advection that incorporates the dispersion accomplish of the pollutant, its transport and decline, with compatible initial and boundering conditions. Numerical approximation well dimensioned are defined and effective computational simulations algorithms, are implemented which considered independent variable, were developed. The independent variable considered can be spatial as well as temporary. As a case study, we use Salto Grande reservoir situation, which is a dike of Atibaia river, one of the most important public water sypply in an important region of São Paulo state. In the descriptive parameters of the problem, the option was the use of fuzzy techniques sets that allow incorporating inherent uncertainties to this situation. / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientadores: Akebo Yamakami, Jose Luis Verdegay Galdeano / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-14T06:44:19Z (GMT). No. of bitstreams: 1 Silva_RicardoCoelho_D.pdf: 1144878 bytes, checksum: 38379443fb6892fd6eda74c55c3b99dc (MD5) Previous issue date: 2009 / Resumo: O objetivo deste trabalho é buscar, estudar e estabelecer as condições de otimali-dade para resolver problemas de programação multi-objetivo irrestritos e restritos em um ambiente impreciso. Essas imprecisões estão presentes nos problemas da vida real e existem muitas formas de tratá-las, mas nesse trabalho será usado a teoria de conjuntos nebulosos. Utilizando como base a otimização nebulosa, foram desenvolvidas duas abordagens para resolver problemas multi-objetivo nebulosos. A primeira abordagem transforma um problema nebuloso em um problema clássico paramétrico com um número maior de funções objetivo, a qual é chamada de paramétrica. A segunda abordagem, chamada de possibilística, usa a teoria de possibilidade como um índice de comparação entre números nebulosos com a finalidade de garantir condições de otimalidade em um ambiente nebuloso. Alguns exemplos numéricos são resolvidos usando um algoritmo genético chamado NSGA-II elitista, com algumas modificações para a comparação de números nebulosos, e depois feita uma análise dos resultados encontrados por ambos os enfoques. / Abstract: The main goal of this work is to search, study and present the optimality conditions to solve the unconstraint and constraint multiobjetive programming problems in imprecise environment. These imprécisions can be found in the real-world optimization problems and there are utmost ways for dealing with them, but in this work will be used the theory of fuzzy sets. Using as a basis the fuzzy optimization, two approaches were developed to solve fuzzy multiobjective problems. The first approach transforms a fuzzy problem into a parametric classic multiobjective programming problem with many more objective functions, which is called parametric approach. The second one, called possibilistic, uses the possibility theory as a comparison index between two fuzzy numbers in order to ensure optimality conditions in a fuzzy environment. Some numerical examples are solved by using a genetic algorithm called elitist NSGA-II with some modifications to compare fuzzy numbers, and then the results obtained with both approaches are analysed. / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Akebo Yamakami / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-14T08:52:58Z (GMT). No. of bitstreams: 1 Verga_Juliana_M.pdf: 625534 bytes, checksum: 396d5b5c1dafff5b2fbb632e185c4a72 (MD5) Previous issue date: 2009 / Resumo: A teoria dos grafos é comumente utilizada na área da engenharia para resolver problemas que podem ser representados na forma de redes. Dentre diversos problemas abordados, o problema de fluxo multiproduto é um dos que também podem ser modelados por grafos. Este trabalho apresenta uma proposta de solução para o problema de fluxo multiproduto fuzzy. O problema foi modelado através de um grafo, cujos nós representam pontos de oferta e demanda de produtos, os quais trafegam pelos arcos da rede. O algoritmo proposto visa encontrar soluções factiveis e boas para o problema de fluxo multiproduto fuzzy em redes com incertezas nos custos e capacidades, contendo múltiplas origens e múltiplos destinos. As incertezas são modeladas por meio da teoria dos conjuntos fuzzy, que tem sido aplicada com sucesso em problemas com incertezas. / Abstract: The graph theory is commonly used in the area of engineering to solve problems that can be represented in the form of nets. Among several problems, the multicommodity flow problem is one that can be modeled by graphs. This work presents an approach for solving the fuzzy multicommodity flow problem. The problem was modeled through a graph whose nodes represent points of supply and demand of commodities, which pass through arcs of the network. Our algorithm aims to find a set of good feasible solutions for the fuzzy multicommodity flow problem in networks with uncertainties in the costs and capacities, containing multiple origins and multiple destinations. The uncertainties are modeled by means of the fuzzy sets theory, which has been successfully applied to problems with uncertainties. / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientadores: Akebo Yamakami, Marcia Tomie Takahashi / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-08T13:05:12Z (GMT). No. of bitstreams: 1 Hernandes_Fabio_D.pdf: 995506 bytes, checksum: c4a27a827d2ca5ec109571ba03e4e094 (MD5) Previous issue date: 2007 / Resumo: A teoria de grafos é uma importante área da programação matemática, tendo um importante papel em áreas tais como engenharia e pesquisa operacional. Em particular, ela fornece ferramentas para tratar problemas de redes (tais como: alocação, caminho mínimo, fluxo máximo, etc.), que têm aplicações em diversas subáreas da engenharia (por exemplo: telecomunicações, transporte, manufatura, etc.). Estas aplicações podem, entretanto, possuir incertezas em seus parâmetros ou em sua estrutura. Baseado nisto, este trabalho trata de algumas importantes aplicações de problemas em grafos com incertezas em seus parâmetros ou estruturas e propõe algoritmos para encontrar suas soluções. As aplicações estudadas são: problemas de caminho mínimo, problemas de fluxo máximo, problemas de fluxo de custo mínimo e problemas de coloração de grafos. As incertezas são modeladas por meio da teoria dos conjuntos fuzzy, que tem sido aplicada com sucesso em problemas com incertezas e imprecisões / Abstract: The graph theory is an important area of mathematical programming, it has an important role in fields such as engineering and operational research. In particular, it provides the tools to tackle network problems (e.g. allocation, shortest path, maximum flow, etc), which have applications in several sub areas of engineering (e.g. telecommunications, transportation, manufacturing, etc). These applications can, however, possess uncertainties in their parameters or in their structure. Based on that, this work addresses some important applications of graph problems with uncertainties in their structure or parameters and proposes algorithms to find the solution to them. The applications studied are: shortest path problems, maximum flow problems, minimum cost flow problems and graph coloring problems. The uncertainties are modeled by means of the fuzzy sets theory, which has been successfully applied to problems with uncertainties and vagueness / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Akebo Yamakami / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-08T23:52:00Z (GMT). No. of bitstreams: 1 Carvalho_MarciaBragade_M.pdf: 2154346 bytes, checksum: caafd847980349294a73d2ad38d6414c (MD5) Previous issue date: 2007 / Resumo: Dentre as várias técnicas heurísticas e exatas existentes para a resolução de problemas combinatórios, os algoritmos populacionais de otimização por colônia de formigas e genéticos têm se destacado devido à sua boa performance. Em especial os algoritmos de colônia de formigas são considerados atualmente como uma das técnicas mais bem sucedidas para a resolução de vários problemas combinatórios, dentre eles o problema do caixeiro viajante. Neste trabalho é apresentado um algoritmo híbrido que trabalha com as meta-heurísticas de sistema de colônia de formigas e genético conjuntamente aplicados no problema do caixeiro viajante simétrico. Além disso, apresentamos uma proposta para o algoritmo de formigas quando temos incertezas associadas aos parâmetros do problema. Os resultados obtidos com as metodologias propostas apresentam resultados satisfatórios para todas as instâncias utilizadas / Abstract: Amongst the several existing heuristical and accurate techniques for the resolution of combinatorial problems, the population algorithms ant colony optimization and genetic have been detached due to their good performance. In special the ant colony algorithms are considered currently as one of the techniques most succeeded for the resolution of some combinatorial problems, amongst them the travelling salesman problem. In this work is presented a hybrid algorithm which works with the ant colony system and genetic metaheuristics jointly applied in the symmetric travelling salesman problem. Moreover, we presented a proposal for the ant algorithm when we have uncertainties associated to problem parameters. The results gotten with the methodology proposals present resulted satisfactory for all the used instances / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador: Geraldo Lucio Diniz / Dissertação (mestrado profissional) Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-14T22:58:03Z (GMT). No. of bitstreams: 1 Baumgartner_Ronaldo_M.pdf: 1920777 bytes, checksum: e7ec868482e4dfcf3fc862840df5519f (MD5) Previous issue date: 2009 / Resumo: O presente trabalho propõe através do modelo fuzzy, a construção de um sistema de inferência para uma ferramenta de autoconhecimento (Método Habilis), que forneça orientação às pessoas com relação às tomadas de decisão quanto à escolha da profissão, curso universitário, papéis profissionais, etc. através da análise de seus sonhos, medos e habilidades sensoriais, cognitivas e emocionais. Esta análise é feita através do método de inferência fuzzy do tipo Mamdani, utilizando-se da lógica fuzzy e da teoria dos conjuntos fuzzy. Este método tem como entrada, os sonhos, medos e habilidades da pessoa analisada e fornece como saída, índices que a classificam quanto ao possível sucesso nas profissões, cursos, papéis profissionais, etc. Neste trabalho, é apresentado como exemplo, o método de inferência fuzzy (Mamdani) para os potenciais funcionais. / Abstract: A fuzzy model is proposed in this thesis, in order to develop an inference system as a tool of self-knowledge (named by Habilis method), that have the purpose to provide a frame of reference for the people to make a decision of professional choice, university studies or professional functions, and others. The analysis is made based on data bank of experts and self-evaluation of the people that will be self-analyzed, with respect to yours setting of yearning-dream, limitation-phobias, sensory abilities, cognitive abilities and emotional abilities, using fuzzy sets and fuzzy logic by the inference method of Mandani. This analysis has as input the dreams, the fears and the abilities of the person that will be analyzed, and the system has as output a rank of professional success or performance of study or professional functions, through the rule-based computation. As example, is presented the inference method of Mandani for the professional functions. / Mestrado / Logica Fuzzy / Mestre em Matemática

Orientador: Peter Sussner / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T11:23:27Z (GMT). No. of bitstreams: 1 Miyasaki_Rodolfo_M.pdf: 1324947 bytes, checksum: a4ab87815520ddfd33ed0ac1b2ffcac2 (MD5) Previous issue date: 2008 / Resumo: As memórias associativas (AMs - Associative Memories) permitem armazenar associações de padrões e recuperar desejados padrões de saída mesmo após a apresentação de possíveis versões incompletas e/ou distorcidas de um padrão de entrada. As memórias associativas fuzzy (FAMs - Fuzzy Associative emories) s¿ao modelos de AMs cujos padrões de entrada e saída são conjuntos fuzzy. As FAMs mostraram-se poderosas ferramentas na implementação em sistemas de base de regras fuzzy. O fato de modelos de FAMs estarem relacionadas à morfologia matemática (MM) levou ao recente desenvolvimento das memórias associativas morfológicas fuzzy (FMAMs - Fuzzy Morphological Associative Memories), em particular as memórias associativas fuzzy implicativas (IFAMs - Implicative Fuzzy Associative Memories). Os neurônios da FMAM executam uma das operações elementares da MM, i.'é, erosão, dilatação, anti-erosão ou anti-dilatação. Essa dissertação relaciona a existência de soluções nos sistemas de equações relacionais fuzzy (FREs - Fuzzy Relational Equations) à recordação perfeita das IFAMs. Formulamos o problema de escolher um modelo apropriado de IFAM para uma dada aplicação através de um problema de otimização. Mais precisamente, determinamos o modelo de IFAM dado pela t-norma parametrizada de Yager que minimiza o erro entre os padrões recordados e os desejados padrões de saída. Uma imagem em tons de cinza pode ser expressa como uma relação fuzzy e dado uma família de conjuntos fuzzy, pode-se comprimi-la através de FREs. Assim, surge o problema inverso de encontrar uma reconstrução da imagem original a partir da imagem comprimida. Essa dissertação de mestrado determina a melhor aproximação por meio de uma IFAM / Abstract: Associative Memories (AMs) allow for the storage of pattern associations and the retrieval of the desired output patterns upon the presentation of a possibly noisy or imcomplete version of an input pattern. Fuzzy Associative Memories (FAMs) are models of AMs whose input and output patterns are fuzzy sets. FAMs have proven to be a powerful tool for implementing fuzzy rule-based systems. The fact that FAMs models are related to mathematical morphology (MM) has led to the development of fuzzy morphological associative memories (FMAMs), in particular fuzzy implicative fuzzy associative memories (IFAMs). The neurons of an FMAM perform one of the elementary operations of MM which as erosion, dilation, anti-erosion and anti-dilation. This thesis relates the existence of solutions in systems of fuzzy relational equations (FREs) to the perfect recall using IFAMs. We formulated the problem of choosing an appriopriate IFAM model for a given application as an optimization problem. More precisely, we determined the IFAM model given by a parameterized Yager t-norm which minimizes the error between the recalled patterns and the desired output patterns. A gray-scale image can be expressed as a fuzzy relation and, given a family of fuzzy sets, it can be compressed by means of FREs. Thus, the inverse problem arises of finding a reconstruction of the image original based on the compression. This master thesis determines the best approximation by means of a IFAMs / Mestrado / Mestre em Matemática Aplicada

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃtulo 1, nÃs damos algumas motivaÃÃes e revisamos alguns conceitos bÃsicos de LÃgica. No CapÃtulo 2, nos estudamos a LÃgica de Menor Ponto Fixo|LFP. NÃs exibimos uma prova de que o Teorema de Beth nÃo vale para LFP. NÃs usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nÃs mostramos que o Teorema de Beth continua nÃo valendo mesmo para teorias finitas de LFP. NÃs continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definiÃÃes implÃcitas formadas por Sistemas Recursivos, que funcionam como definiÃÃes recursivas em determinados contextos, existe uma definiÃÃo explÃcita. NÃs promavos ainda que o Teorema de LÃowenheim-Skolem Descendente vale para qualquer conjunto de fÃrmulas de LFP, independentemente de sua cardinalidade. No CapÃtulo 3, a CircunscriÃÃo de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalizaÃÃo da primeira. NÃs abordamos o poder expressivo de CircunscriÃÃo e a falha do Teorema de LÃowenheim-Skolem Descendente. NÃs tambÃm investigamos questÃes de definibilidade no contexto de CircunscriÃÃo. NÃs encerramos esse capÃtulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparÃvel com o da LÃgica de Segunda-Ordem. No CapÃtulo 4, nÃs estendemos uma lÃgica criada por van Benthem dando origem a duas outras lÃgicas, a saber, U-MIN e I-MIN. NÃs provamos que ambas sÃo equivalentes entre si em poder expressivo e daà em diante chamamos U-MIN de MIN. NÃs introduzimos a LÃgica Si-MIN de minimalizaÃÃo simultÃnea e provamos que Si-MIN à equivalente a U-MIN e I-MIN e tambÃm à LÃgica de Segunda-Ordem. NÃs entÃo propomos o fragmento MIN de MIN, cujo poder expressivo situa-se entre o da LÃgica de Segunda-Ordem e o de LFP. No CapÃtulo 5, nÃs reunimos nossas conclusÃes e apontamos trabalhos futuros.