Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2015-10-26T16:12:34Z No. of bitstreams: 2 Dissertação - Iron Felisberto de Freitas - 2015.pdf: 4566285 bytes, checksum: 347da00cced574440e6a02e8b4ddf92f (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-27T14:35:43Z (GMT) No. of bitstreams: 2 Dissertação - Iron Felisberto de Freitas - 2015.pdf: 4566285 bytes, checksum: 347da00cced574440e6a02e8b4ddf92f (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-27T14:35:43Z (GMT). No. of bitstreams: 2 Dissertação - Iron Felisberto de Freitas - 2015.pdf: 4566285 bytes, checksum: 347da00cced574440e6a02e8b4ddf92f (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-03-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper addresses the formal-logical construction of number systems from the set of natural numbers to the real numbers. Being the rst of these sets presented by the axioms of Peano (1858 - 1932) and the latter results of Dedekind cuts (1831 - 1916) on the set of rational numbers. The passage the set of natural numbers to the integers and for these the rational is done by equivalence classes. From a historical perspective, in order to do that mathematics could advance, had to migrate from a sense of \reality" to an abstract concept of number not subject to the amount of idea. Since the beginning of this formal-logical construction of number systems it is necessary to use the concept of correspondences between any two non-empty sets. Finally , are also addressed the polynomial functions of 1st and 2nd degrees and the respective charts in orthogonal Cartesian plane. / O presente trabalho aborda a constru c~ao l ogico-formal dos sistemas num ericos desde, o conjunto dos n umeros naturais at e ao dos n umeros reais. Sendo o primeiro destes conjuntos apresentado pelos axiomas de Peano (1858 - 1932), e o ultimo resulta dos cortes de Dedekind (1831 - 1916) sobre ao conjunto dos n umeros racionais. A passagem do conjunto dos n umeros naturais ao dos inteiros e destes ao dos racionais e realizado por classes de equival^encias. Em uma perspectiva hist orica, a m de que, a Matem atica pudesse avan car, era preciso migrar de uma no c~ao de \realidade" para um conceito abstrato de n umero n~ao subordinado a ideia de quantidade. Desde o in cio desta constru c~ao l ogico-formal dos sistemas num ericos faz-se necess ario o uso do conceito de correspond^encias entre dois conjuntos n~ao vazios quaisquer. Por m, s~ao tamb em abordadas as fun c~oes polinomiais de 1o e 2o graus e seus respectivos gr a cos no plano cartesiano ortogonal.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Neste trabalho avaliamos mÃtodos heurÃsticos e exatos para o Problema de Particionamento de Conjuntos (PPC). Realizamos testes computacionais com heurÃsticas lagrangeanas baseadas em algoritmos gulosos, busca tabu e mÃtodo de otimizaÃÃo pelo subgradiente. Os resultados obtidos, comparados com os da literatura, comprovam a eficiÃncia de nossas heurÃsticas na obtenÃÃo de limites inferiores e superiores de boa qualidade, em tempo computacional razoÃvel, para instÃncias da literatura. Utilizamos um esquema de Branch and Bound para tentar resolver instÃncias do PPC ÃÂotimalidade e para comprovar a qualidade dos resultados alcanÃados por nossas heurÃsticas. / In this work we evaluate both exact and heuristic methods for the set partitioning problem (SPP). These heuristics are based on greedy algorithms, tabu search and subgradient optimization. Computational experiments performed on benchmark instances of the problem indicate that our heuristics are competitive with existing ones from the literature in obtaining both lower and upper bounds of good quality in reasonable execution time. We use a Branch and Bound algorithm that allows to prove optimality of solutions obtained by our heuristics for a large set of benchmark instances of the SPP. Thus, we show that our heuristics are efficient in obtaining feasible solutions of good quality for this problem.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-10-05T11:30:17Z No. of bitstreams: 2 Dissertação - Sidney Ribeiro Junior - 2017.pdf: 1832065 bytes, checksum: 41b96bdea09ea7b5ddb6551265e0622b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-10-05T11:30:38Z (GMT) No. of bitstreams: 2 Dissertação - Sidney Ribeiro Junior - 2017.pdf: 1832065 bytes, checksum: 41b96bdea09ea7b5ddb6551265e0622b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-10-05T11:30:38Z (GMT). No. of bitstreams: 2 Dissertação - Sidney Ribeiro Junior - 2017.pdf: 1832065 bytes, checksum: 41b96bdea09ea7b5ddb6551265e0622b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-08-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Similarity Join is an important operation for information retrieval, near duplicate detection, data analysis etc. State-of-the-art algorithms for similarity join use a technique known as prefix filtering to reduce the amount of sets to be entirely compared by previously discarding dissimilar sets. However, prefix filtering is only effective when looking for very similar data. An alternative to speedup the similarity join when prefix filtering is not efficient is to explore parallelism. In this work we developed three multi-level fine-grained parallel algorithms for many-core architectures (such as modern Graphic Processing Units) to solve the similarity join problem. The proposed algorithms have shown speedup gains of 109x and 17x when compared with sequential (ppjoin) and parallel (fgssjoin) state-of-the-art solutions, respectively, on standard real text databases. / A Junção por Similaridade é uma operação importante no contexto de recuperação da informação, identificação de duplicatas, análise de dados etc. Os algoritmos do estado da arte que realizam a junção por similaridade utilizam uma técnica chamada filtragem por prefixo, que diminui a quantidade de pares a serem totalmente comparados ao descartar previamente pares dissimilares. No entanto, a filtragem por prefixo é eficaz apenas quando se deseja encontrar pares muito similares. Uma alternativa para melhorar o desempenho da junção por similaridade quando a filtragem por prefixo é ineficaz, é explorar paralelismo. Neste trabalho foram desenvolvidos três algoritmos com paralelismo multinível de granularidade fina para arquiteturas many-core (como as modernas Unidades de Processamento Gráfico) para resolver o problema da junção por similaridade. Os algoritmos desenvolvidos demonstraram ganhos de speedup de até 109x e 17x em relação às soluções do estado da arte sequencial (ppjoin) e paralela (fgssjoin), respectivamente, quando executado sobre bases de dados textuais padrão reais.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-09-28T21:13:38Z No. of bitstreams: 2 Dissertacão - Edinardo Rodrigues Lucas - 2016.pdf: 19077249 bytes, checksum: c49a9650b8e12ca3bb256286e7ea6d5b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-09-30T12:58:03Z (GMT) No. of bitstreams: 2 Dissertacão - Edinardo Rodrigues Lucas - 2016.pdf: 19077249 bytes, checksum: c49a9650b8e12ca3bb256286e7ea6d5b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-09-30T12:58:03Z (GMT). No. of bitstreams: 2 Dissertacão - Edinardo Rodrigues Lucas - 2016.pdf: 19077249 bytes, checksum: c49a9650b8e12ca3bb256286e7ea6d5b (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-01-29 / Great deal of Brazilian cities’ territory could show urban quality of excellence if the state as a funding entity and a promoter of urban interventions such as the construction of housing projects put value on the project. Goiânia, capital of Goiás state, is a city that was planned in the early 1930s to house 50,000 inhabitants. In 2015, its population exceeds 1.4 million people. In addition to the original city plan — made by architects Attilio Corrêa Lima and, later, Armando de Godoy —, a significant part of its urban fabric had an effective participation of the State in its building by conducting and implementing housing projects of social interest. This study aimed to think of Goiânia’s urban space production that was a result from housing developments undertaken by local government, since the early days of territory occupation to the present day. It focuses on architecture and urbanism based on the idea that a social housing plan needs a clear understanding of past processes and of scars left in the territory. To understand the current and past processes was necessary to seek theoretical frameworks that conceptualize housing and city also in its subjective dimensions expanding the possibilities of analysis. In a second step it was necessary to establish a research methodology that would enable the analysis at different scales (municipal and enterprise) reaching satisfactory results formatted based on quality parameters from different authors. Done methodology, research brings a periodization of the issue of housing in Goiania analyzing aspects of the production of urban space in the municipal scale and highlighting projects that are analyzed in more detail. The mapping and analysis of the production of detailed urban space in two main case studies (Conjunto Vera Cruz and Residencial Jardim Cerrado) allows reflect on the projective premises that contribute to the creation of qualified spaces for full human development. Research results lead to the understanding that a social housing project must be connected to a city project. Thus, promoting the right to housing becomes a tool for a city that was born as planned one to regain control of its expansion by producing and managing urban space to ensure good living conditions for the whole of the population. / Boa parte do território das cidades brasileiras poderia apresentar qualidade urbanística de excelência se o Estado — financiador e/ou promotor de intervenções urbanas como a construção de conjuntos habitacionais — valorizasse o projeto. Goiânia, capital de Goiás, planejada na década de 1930 para abrigar 50 mil pessoas, abriga na atualidade mais de 1,4 milhão de habitantes. Além do plano original — de Attílio Corrêa Lima e Armando de Godoy —, parte significativa do seu tecido urbano teve participação efetiva do Estado em sua construção, em especial na condução e implementação de conjuntos habitacionais de interesse social. A pesquisa apresentada visa refletir sobre a produção do espaço urbano em Goiânia resultante de empreendimentos habitacionais realizados pelo poder público com ênfase na arquitetura e no urbanismo, partindo do princípio de que um plano de habitação social necessita de entendimento claro dos processos passados e das cicatrizes deixadas no território. Para compreender os processos atuais e do passado foi necessário buscar referenciais teóricos que conceituassem habitação e cidade também em suas dimensões subjetivas ampliando as possibilidades de análise. Em um segundo momento foi necessário estabelecer uma metodologia de pesquisa que possibilitasse a análise em diferentes escalas (municipal e do empreendimento) chegando a resultados satisfatórios baseados em parâmetros de qualidade formatados a partir de diversos autores. Concluído a metodologia, a pesquisa traz uma periodização da questão da habitação em Goiânia analisando aspectos relativos a produção do espaço urbano na escala municipal e destacando empreendimentos que são analisados de forma mais detalhada. O mapeamento e a análise da produção do espaço urbano detalhada em dois principais estudos de caso (Conjunto vera Cruz e Residencial Jardim Cerrado) permite refletir sobre as premissas projetuais que colaboram para a criação de espaços qualificados para o pleno desenvolvimento humano. A análise crítica nos leva a crer que um projeto de habitação social tem de estar conectado a um projeto de cidade. Assim, a promoção do direito à habitação passa a ser instrumento para que a capital que nasceu planejada retome o controle de sua expansão, produzindo e gerindo o espaço urbano de forma a garantir boas condições de vida à toda a população.

Submitted by Marta Toyoda (1144061@mackenzie.br) on 2017-06-30T14:44:49Z No. of bitstreams: 2 Cecília Pisetta.pdf: 45627732 bytes, checksum: 183f0e3088963b8c9d0541dc9a068493 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2017-07-03T15:32:20Z (GMT) No. of bitstreams: 2 Cecília Pisetta.pdf: 45627732 bytes, checksum: 183f0e3088963b8c9d0541dc9a068493 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-07-03T15:32:20Z (GMT). No. of bitstreams: 2 Cecília Pisetta.pdf: 45627732 bytes, checksum: 183f0e3088963b8c9d0541dc9a068493 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-04-11 / When analyzing the contemporary production of housing in Brazilian cities it is possible to note that the great majority of buildings are constructed without regard to the urban context in which they are inserted. When we transfer the production of these houses to the large scale, that is, the construction of housing complexes, the problems resulting from the denial of the public space of the cities become even more evident. More and more the sets close to the surroundings, forming enclaves and making their dialogue with the city practically null. Such a situation becomes worrying when thinking about the future of urban centers since the sets are designed as architectural objects, defined by the boundaries of the plots and isolated from the life of the cities. Based on this concern, this research intends to investigate the importance of public spaces in the construction of cities and has as research object the relationship between the street, the process of designing projects and the qualification of housing projects. A question motivates us to investigate: What role can the street play as an instrument for qualification of architecture and urban planning projects? When thinking about the street as an organizing element and qualifier of the project and not as a simple consequence of the proposed architecture, what is being done is to verify the possibility of a new way of designing the project itself, that is, the street as a design tool and Not as a residual space between buildings. In this way, it is tried to discover what would be its qualifying elements and how these could contribute in the conception of architectonic projects more contextualized and formadores of the construction of the cities. For the analysis of the relationship between the street, the process of designing projects and the qualification of housing complexes, this research considers two case studies: the Residencial Alto de Pinheiros and the Residencial Natingui, implanted by the public power in São Paulo in 1968 And 1971, respectively, the term of validity of BNH - National Bank of Housing. / Ao analisar a produção contemporânea da habitação nas cidades brasileiras, é possível notar que a grande maioria das edificações são construídas sem consideração ao contexto urbano no qual estão inseridas. Quando transferimos a produção destas moradias para a grande escala, ou seja, a construção de conjuntos habitacionais, os problemas resultantes da negação do espaço público das cidades tornam-se ainda mais evidentes. Cada vez mais, os conjuntos se fecham ao entorno, formando enclaves e tornando seu diálogo com a cidade praticamente nulo. Tal situação torna-se preocupante ao pensarmos no futuro dos centros urbanos, uma vez que os conjuntos são projetados como objetos arquitetônicos, definidos pelos limites dos lotes e isolados da vida das cidades. A partir desta inquietação, esta pesquisa pretende investigar a importância dos espaços públicos na construção das cidades, e tem como objeto de pesquisa a relação entre a rua, o processo de elaboração de projetos e a qualificação de conjuntos habitacionais. Uma pergunta nos motiva a investigar: Qual o papel que a rua pode desempenhar como instrumento de qualificação de projetos de arquitetura e urbanismo? Ao pensar a rua como elemento organizador e qualificador do projeto, e não como uma simples decorrência da arquitetura proposta, o que se está fazendo é verificar a possibilidade de uma nova maneira de conceber o próprio projeto, ou seja, a rua como uma ferramenta de projeto, e não como um espaço residual entre as edificações. Desta maneira, pretende-se descobrir quais seriam seus elementos qualificadores, e como estes poderiam contribuir na concepção de projetos arquitetônicos mais contextualizados e formadores da construção das cidades. Para a análise da relação entre a rua, o processo de elaboração de projetos e a qualificação de conjuntos habitacionais, esta pesquisa considera dois estudos de caso: o Residencial Alto de Pinheiros e o Residencial Natingui, implantados pelo poder público em São Paulo, em 1968 e 1971, respectivamente, período de vigência do BNH– Banco Nacional da Habitação.

O Método da Coordenada Geradora Hartree-Fock Polinomial (pMCG-HF), desenvolvido por R.C. Barbosa e A.B.F. da Silva [1], é uma ferramenta matemática valiosa que permite gerar funções de base (também conhecidas como conjuntos de base). As funções de base geradas por este método têm um bom comportamento e são capazes de calcular valores precisos de propriedades eletrônicas moleculares. Porém, depois de gerar funções de base do hidrogênio até o flúor [2], fez-se necessário a adição de expoentes à função de base, correspondentes a cada átomo, para melhor adaptação à realização dos cálculos moleculares. Estas funções adicionais são o que chamamos de funções de polarização. A adição de funções de polarização, através de otimização computacional, é muito custosa, deste modo o desenvolvimento de uma regra de polarização para se esquivar desta otimização é de grande importância e por isso se transforma na beleza e no objetivo deste trabalho. Portanto, nesta dissertação, estudar-se-á um procedimento para escolher funções de polarização que reduza drasticamente o tempo computacional, no sentido de permitir uma seleção, mais simples, de expoentes da própria função de base primitiva para serem usadas nas funções de polarização p, d, f, g, etc. para a obtenção de propriedades moleculares calculadas através de métodos químico-quânticos / The polynomial generate coordinate method pGCM developed by R.C. Barbosa and A.B.F. da Silva [1] is an remarkble mathematic tool for the generation of basis functions (also known as basis sets). The basis sets generated from this method have a good behavior and are able to produce accurate values for electronic molecular properties. In fact, after generating a basis set [2] we need to add a set of exponent functions in order to better adequate a basis set to perform molecular calculations. These sets of additional functions are called polarizations functions. This work provides a methodology where the polarization functions are obtained from the initial basis set (the primitive set) without optimizing them separately by using optimization algorithms that are, computationally speaking, very costly. This procedure reduces drastically the computational time used to find polarization functions to be used in molecular quantum chemical calculations. Our methodology permits to choose the polarization functions directly from the primitive orbital exponents of each atomic symmetry s, p, d, f etc. in a very simple manner. The finding of polarization functions using our methodology was performed with several quantum chemical methods.

A afinidade eletrônica (AE) é uma importante propriedade de átomos e moléculas, sendo definida como a diferença de energia entre a espécie neutra e seu respectivo íon negativo. Uma vez que a AE é uma fração muito pequena da energia eletrônica total das espécies neutra e aniônica, é necessário que tais energias sejam determinadas com elevado grau de precisão. A receita utilizada para o cálculo teórico acurado da AE atômica e molecular baseia-se na escolha de um conjunto adequado de funções de base juntamente com o emprego de teorias com altos níveis de correlação eletrônica. Durante o cálculo, o mesmo conjunto de base é utilizado para descrever o elemento neutro e seu respectivo ânion. Geralmente, os conjuntos de base para descrever propriedades de ânions possuem seus expoentes otimizados em ambiente neutro, e sua difusibilidade é conferida pela adição de funções difusas para cada valor de momento angular, l. A ideia deste trabalho está no desenvolvimento de conjuntos de base otimizados exclusivamente em ambiente aniônico para cálculos precisos de afinidade eletrônica. Deste modo, foram escolhidos os átomos para serem estudados: B, C, O e F. Os conjuntos de base foram gerados pelo Método da Coordenada Geradora Hartree-Fock, empregando a técnica da Discretização Integral Polinomial para a solução das integrais do problema. Os conjuntos de base obtidos são compostos por (18s13p) primitivas que foram contraídos para [7s6p] via esquema de contração geral proposto por Raffenetti. Os conjuntos contraídos foram polarizados para 4d3f2g e 4d3f2g1h, sendo os expoentes otimizados em ambiente CISD através do método SIMPLEX. Avaliaram-se as funções de base no cálculo de afinidades eletrônicas, tendo seus resultados comparados aos obtidos utilizando as bases aug-cc-pVQZ e aug-cc-pV5Z. A análise dos resultados demonstrou que os conjuntos de base difusos, gerados neste trabalho, reproduzem de maneira satisfatória as afinidades eletrônicas em relação ao valor experimental. Os conjuntos difusos polarizados para 4d3f2g1h apresentaram eficiência superior aos conjuntos aug-cc-pVQZ e, em alguns casos, aos conjuntos aug-cc-pV5Z que são consideravelmente maiores. / The electron affinity (EA) is an important property of atoms and molecules defined as the energy difference between the neutral species and its negative ion. Since the EA is a very small fraction of the total electronic energy of anionic and neutral species, one must determine these energies with high accuracy. The recipe used to calculate accurate atomic and molecular EAs is based on the choice of an adequate basis set and the use of high level of electron correlation calculations. In the computation of EAs, the same basis set is used to describe both neutral and negatively charged species. In general, the basis sets designed to describe anionic properties have their exponents optimized in neutral environment, and its diffuseness is acquired through the addition of diffuse functions for each angular momentum. The main idea of this work is to develop basis sets optimized exclusively in anionic environment that would be applied in accurate calculations of electron affinity. Thus, here follows the chosen atoms to be studied: B, C, O and F. The basis sets were generated by the Generator Coordinate Hartree-Fock Method through the Polynomial Integral Discretization Method. Basis sets were obtained containing (18s13p) primitives that were contracted to [7s6p] via Raffenetti\'s general contraction scheme. The contracted basis sets were polarized to 4d3f2g and 4d3f2g1h, and the exponents of polarization were optimized in a CISD environment through the Simplex algorithm. The basis sets quality was evaluated through the calculation of the electron affinities. The results were compared to those obtained by using the aug-cc-pVQZ and aug-cc-pV5Z basis-sets. The calculation showed that our diffuse basis sets reproduce satisfactorily the electron affinities when compared to the experimental data. The diffuse basis sets polarized to 4d3f2g1h showed to be more efficient than the aug-cc-pVQZ basis sets and in some cases also better than the aug-cc-pV5Z basis sets that are considerably larger.

O problema da Satisfazibilidade Probabilística, PSAT, apesar da sua flexibilidade, torna exponencialmente complexa a modelagem de variáveis estatisticamente independentes. Esta tese busca desenvolver algoritmos e propostas de relaxamento para permitir o tratamento eficiente de independência parcial pelo PSAT. Apresentamos uma aplicação do PSAT ao problema da etiquetagem morfossintática que serve tanto de motivação como de demonstração dos conceitos apresentados. / The Probabilistic Satisfiability Problem, PSAT, despite its flexibility, makes it exponentially complicated to model statistically independent variables. This thesis develops algorithms and relaxation proposals that allow an efficient treatment of partial independence with PSAT. We also present an application of PSAT on the Part-of-speech tagging problem to serve both as motivation and showcase of the presented concepts.

O Banco Hipotecário Lar Brasileiro constitui o fio condutor do presente trabalho, que visa reconstruir a trajetória de uma instituição responsável pela existência de numerosos edifícios e conjuntos habitacionais considerados, ainda em dia de hoje, marcos urbanos nas cidades brasileiras e referências em termos de qualidade formal, construtiva e de implantação. Objetivo desta pesquisa é a análise das obras, incluindo a divulgação da listagem de obras realizadas no Estado de São Paulo pelo BHLB ao longo de sua atividade de financiador de moradias, visando promover o reconhecimento, a valorização e a preservação dos imóveis e das áreas que os envolvem, caracterizando-os como parte do patrimônio do País e bens matérias da memória coletiva. / The \"Banco Hipotecario Lar Brasileiro\" is the subject of this work, which seeks to reconstruct the trajectory of an institution responsible for the existence of numerous buildings and housing estates considered, still today, landmarks in Brazilian cities. Objective of this project is to analyze and list the works made in the State of São Paulo by BHLB, to promote the recognition, appreciation and preservation of buildings and the areas that involve, characterizing them as part of the country\'s heritage and as elements of collective memory.

Orientador: Peter Sussner / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T00:54:31Z (GMT). No. of bitstreams: 1 Esmi_Estevao_D.pdf: 1836434 bytes, checksum: 5c3a2879200ff2c7bb59b21e24a173fc (MD5) Previous issue date: 2014 / Resumo: Muitas das memórias associativas fuzzy (FAMs) da literatura correspondem a redes neurais com uma única camada de pesos que armazenam de forma distributiva as informações das associações desejadas. As principais aplicações deste tipo de mémorias associativas são encontradas em sistemas baseados em regras fuzzy. Nesta tese introduzimos a classe de memórias associativas fuzzy-T (T-FAMs) que, em contraste com estes outros modelos, representam redes neurais fuzzy com duas camadas. Caso particulares de T-FAMs, denominadas S-FAMs (duais) e E-FAMs, são baseadas em medidas de subsethood e equivalência fuzzy. Resultados gerais sobre a capacidade de armazenamento e a capacidade de correção de erro das T-FAMs também foram providenciados. Adicionalmente, introduzimos um algoritmo geral de treinamento para T-FAM cuja convergência é sempre garantida. Apresentamos ainda um algoritmo alternativo para treinamento de uma certa classe de E-FAMs que além de ajustar os seus parâmetros também determina automaticamente a topologia da rede. Finalmente, comparamos as taxas de classificação produzidas pelas T-FAMs com alguns classificadores bem conhecidos em diversos problemas de classificação disponíveis na internet. Além disso, aplicamos com sucesso as T-FAMs em um problema de auto-localização de robô móvel baseado em visão / Abstract: Most fuzzy associative memories in the literature correspond to neural networks with a single layer of weights that distributively contains the information about the associations to be stored. The main applications of these types of associative memory can be found in fuzzy rule-base systems. In contrast, we present in this thesis the class of T-fuzzy associative memories (T-FAMs) that represent fuzzy neural networks with two layers. Particular cases of T-FAMs, called (dual) S-FAMs and E-FAMs, are based on fuzzy subsethood and equivalence measures. We provide theoretical results concerning the storage capability and error correction capability of T-FAMs. Furthermore, we introduce a general training algorithm for T-FAM that is guaranteed to converge in a finite numbers of iterations. We also proposed another alternative training algorithm for a certain type of E-FAM that not only adjusts the parameters of the corresponding network but also automatically determines its topology. We compare the classification rates produced by T-FAMs with that ones of some well-known classifiers in several benchmark classification problems that are available on the internet. Finally, we successful apply T-FAM approach to a problem of vision-based selflocalization in mobile robotics / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada