Orientador: Marcelo Moreira Ganzarolli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-06T22:57:02Z (GMT). No. of bitstreams: 1 Rocha_AndreDamiani_M.pdf: 4938161 bytes, checksum: e139ea372e776b57e12d4e6c9bb02645 (MD5) Previous issue date: 2005 / Resumo: No presente trabalho o resfriamento por convecção natural de uma placa plana, disposta em um meio infinito, contendo elementos protuberantes aquecidos e distribuídos uniformemente sobre uma das paredes da placa é analisado experimentalmente sob a condição de aquecimento uniforme. A parede oposta da placa de teste é isolada utilizando um aquecedor de proteção que possui as mesmas dimensões da placa de teste. Os testes experimentais utilizam um aparato com placa de fibra de vidro contendo elementos protuberantes de alumínio de seção quadrada, em cujo interior passa uma resistência. A placa de teste é posicionada em uma estrutura de ferro que foi projetada para permitir a variação da inclinação da placa. As trocas de calor por condução, através da placa de fixação dos elementos protuberantes, e por radiação, entre as superfícies das protuberâncias foram consideradas. Testes experimentais foram realizados variando a potência entre 30 e 70W para uma variação angular entre 0° e 60° a partir da posição vertical. Do presente trabalho concluiu-se que foi possível avaliar o número de Nusselt em função do número de Rayleigh para placa protuberante e inclinada através de uma única correlação, desde que a componente da aceleração gravitacional paralela à placa seja utilizada no cálculo do número de Rayleigh modificado / Abstract: In the present work, cooling with natural convection of a plate, disposed in an infinite middle, containing protruding heated elements and distributed evenly on one of the walls of the plate it is analyzed experimentally about the condition of uniform heating. The opposite wall of the test plate is considered isolated using a guard heater that possesses the same dimensions that the test plate. Experimental tests are performed in a apparatus containing fiberglass plates with protruding, square section, aluminum elements. The test plate is positioned in a structure of iron that was projected to allow the angular variation of the plate. The conduction heat transfer through the plate and radiation heat transfer among the surfaces of the protruding were considered. Tests were accomplished varying the power between 30 and 70W for an angular variation between 0° and 60° starting from the vertical position. The investigation shows that it is possible to evaluate Nusselt number as a function of the modified Rayleigh number for inclined and protruding plate through an only correlation, since to component of the gravitational acceleration parallel to the plate it is used in the calculation ofthe modified Rayleigh number / Mestrado / Termica e Fluidos / Mestre em Engenharia Mecânica

A necessidade de um registro rápido e eficiente de frequência do corpo discente de instituições de ensino mostrou uma grande oportunidade de automação com a utilização da identificação biométrica por impressão digital, tornando o controle de frequência integro e ágil, otimizando o tempo de aula e garantindo a disponibilidade da informação, atingindo assim a eficiência necessária no sistema de apuração como um todo. Este trabalho mostra a utilização da biometria como mecanismo seguro dentro de sala de aula na identificação de alunos e a eficiência do sistema aplicando o algoritmo linear a partir de um universo selecionado. A busca pela identificação deve ser feita registro a registro, o que aumenta e muito o custo da aplicação e desta forma aplicou-se o algoritmo linear dentro de um universo selecionado, através de uma chave, diminuindo e muito o custo de busca de um registro. Outro fator é a possibilidade de se diminuir a quantidade de pontos equivalentes, uma vez que a comparação é executada dentro de um universo menor. Os resultados se mostraram favoráveis uma vez que a performance de busca dentro do universo total sofre depreciação cada vez que este universo aumenta e a busca linear dentro de um universo selecionado mantém a performance que inicialmente já é superior, uma vez que esta seleção mantém uma média linear entre todas as turmas dentro de uma instituição de ensino. Outro fator importante para os resultados na utilização do algoritmo linear é que o comparador de características pode ser otimizado, diminuindo a quantidade de características a serem comparadas, uma vez que o universo selecionado para comparação sendo menor, a probabilidade do encontro de impressões digitais com características semelhantes é bastante reduzido. / A great deal of the most critical systems of the current civilization depends on the surveillance, analysis and modulation of biometric signs. The security of several automatic systems is based more and more on biometric data namely by the identification of fingerprints. In spite of the recognition of fingerprints be an already quite studied and well documented issue still subsist enough challenges for investigate, improve and resolve. The necessity an efficient control fast e in the register of frequency of the student of college showed a great chance of automation with the use of the biometric access with fingerprint, becoming the control of efficient, integral and agile frequency, optimizing the lesson time and guaranteeing the availability of the information. This work studied the use of the biometry as mechanism of security inside of classroom in the identification of students, applying the linear algorithm in a selected universe. The search for a biometric identification must be made register to register, what it increase the cost of the application, applying the linear algorithm in the selected universe, through a key, diminishing the cost of search of a register. Another factor is the possibility of the diminishing the amount of points equivalents, in the time that the comparison is executed inside of a minor universe. The results had shown favorable a time that the performance of search inside of the total universe suffers to depreciation each time that this universe increases and the linear search inside of a selected universe keeps the performance that initially already is superior, a time that this selected universe keeps a linear average enters all inside the groups of an education institution. Another important factor for the results in the use of the linear algorithm is that the comparator of characteristics can be optimized, diminishing the amount of characteristics to be comparative, a time that the universe selected for comparison being lesser, the probability of the meeting of fingerprints with similar characteristics sufficiently is reduced.

Submitted by Cristiane Chim (cristiane.chim@ucpel.edu.br) on 2017-08-14T14:59:15Z No. of bitstreams: 1 ANDERSON AFONSO CARDOZO.pdf: 14214534 bytes, checksum: 2fe18ba05bfad7a5bf6b404bb2fcfd6c (MD5) / Made available in DSpace on 2017-08-14T14:59:15Z (GMT). No. of bitstreams: 1 ANDERSON AFONSO CARDOZO.pdf: 14214534 bytes, checksum: 2fe18ba05bfad7a5bf6b404bb2fcfd6c (MD5) Previous issue date: 2017-02-24 / Recent surveys show that in the near future billions of smart devices will be interconnected via the Internet, thus attracting the attention of Industry and directing the research of the academic community, this synergy of investment has contributed to the materialization of the scenario known as IoT. From the perspective of IoT, computing provides information of all the "things" at all times, regardless of location, providing a highly distributed environment, heterogeneous, dynamic and strong interaction between man and machine. To this end, the IoT devices need to be aware of contextual data that interest you and where appropriate respond to, interoperating autonomously and with minimal human intervention possible in the aspects of management. For the processing of contextual data in IoT has been used cloud-based strategies, which has proven effective in the treatment of important aspects for the IoT, such as ease of access and availability. Howere, these strategies are vulnerable to systems that have limitations on their channels to the Internet, as well as for systems that require low latency in responses or present high disconnect chances. Given this motivation, the central objective of this thesis is the design of an architecture capable of providing the acquisition and processing of distributed contextual events. Therefore, the proposed architecture, called EXEHDA-FOG provides the middleware EXEHDA support to Fog Computing, using the distributed event processing at the edges as a cloud computing extension strategy. The results obtained with the case studies conducted have shown promising results, leading to the continuity of research efforts. / Pesquisas recentes apontam que em um futuro próximo bilhões de dispositivos inteligentes estarão interconectados através da Internet, atraindo assim a atenção da Indústria e direcionando as pesquisas da comunidade acadêmica. Esta sinergia de investimentos vem contribuindo para a materialização do cenário conhecido como Internet of Things (IoT). Na perspectiva da IoT a computação provê informação de todas as "coisas", a todo o momento, independente de localização, constituindo um ambiente altamente distribuído, heterogêneo, dinâmico e com forte interação entre homem e máquina. Para tal, os dispositivos da IoT necessitam ter ciência dos dados contextuais que lhe interessam e quando for o caso reagirem aos mesmos, interoperando de forma autônoma e com o mínimo de intervenção humana possível nos aspectos de gerenciamento. Para o processamento de dados contextuais na IoT tem sido empregadas estratégias baseadas em Cloud, as quais tem se provado eficientes no tratamento de aspectos importantes para a IoT, como a facilidade de acesso e disponibilidade. Estas estratégias porém mostramse vulneráveis para sistemas que possuem limitações nos seus canais com a Internet, assim como para sistemas que necessitam de baixa latência nas respostas ou ainda apresentem chances de desconexão elevadas. Considerando esta motivação, o objetivo central desta dissertação é a concepção de uma arquitetura capaz de prover a aquisição e o processamento de eventos contextuais distribuídos. Para tanto, esta arquitetura, denominada EXEHDA-FOG capacita o middleware Execution Environment for Highly Distributed Applications (EXEHDA) o suporte à Fog Computing, empregando o processamento distribuído de eventos nas bordas como estraté- gia de extensão da Cloud Computing. Os resultados obtidos com o estudo de caso desenvolvido se mostraram promissores, apontando para continuidade dos esforços de estudo e pesquisa.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T03:42:55Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T01:04:58Z : No. of bitstreams: 1 139021.pdf: 36698618 bytes, checksum: cca3c3b86412883fdeca86f1b0263109 (MD5)

Made available in DSpace on 2014-06-11T19:24:46Z (GMT). No. of bitstreams: 0 Previous issue date: 2004-03-30Bitstream added on 2014-06-13T18:21:14Z : No. of bitstreams: 1 oliveira_vjs_me_ilha.pdf: 825294 bytes, checksum: 1231181cf2748d4fec35e435930c317b (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Nesse trabalho, propõe-se o projeto e implementação de um sintetizador de sinais ortogonais utilizando técnicas de circuito integrado e processo CMOS. O circuito do sintetizador baseia-se em um modelo matemático que utiliza multiplicadores e integradores analógicos, para geração de bases de funções ortogonais, tais como os polinômios de Legendre, as funções de base coseno e seno, a smoothed-cosine basis e os polinômios de Hermite. Funções ortogonais são bastante empregadas em processamento de sinais, e a implementação deste método matemático é capaz de gerar vários tipos de funções em um mesmo circuito integrado. O projeto proposto utiliza blocos analógicos funcionais para implementar o sintetizador. Os blocos que compõem o sintetizador foram projetados utilizando circuitos diferenciais, processamento em modo de corrente e técnicas de low-voltage. Algumas topologias utilizadas estão descritas na literatura, sendo que algumas foram adaptadas e mesmo modificadas, como no caso do multiplicador de corrente. Outras tiveram que ser propostas. As simulações e os resultados experimentais mostraram que o sintetizador é capaz de gerar funções ortogonais com amplitude e distorções satisfatórias. O sintetizador pode ser alimentado em 3V, tal qual foi projetado, tem faixa de entrada de ±20 μA e apresenta DHT (distorção harmônica total) inferior a 4% no quinto e último estágio em cascata. / In this work, a design and implementation of a synthesizer of orthogonal signals using CMOS technology and design technique for integrated circuits is proposed. The synthesizer circuit used analog multipliers and integrators for produce orthogonal functions such as Legendre polynomials, cosine and sine basis of functions, smoothed-cosine basis and Hermite polynomials. Orthogonal functions can be employed in signal processing and the implementation proposed can generate several kinds of functions in the same integrated circuit. In the synthesizer design building blocks was employed. The synthesizer’s blocks were design using differential circuits, low-voltage and current-mode techniques. Some topologies from papers were adapted or modified, as in the case of the current multiplier. Other topologies had to be proposed. The simulation and experimental results have shown that the synthesizer is able to produce orthogonal functions with satisfactory quality in distortions and amplitude. The synthesizer has a 3V supply voltage, a input current range of ±20 μA and it presents less than 4% of THD (Total Harmonic Distortion) in the last output in cascade.

Submitted by Cristiane Chim (cristiane.chim@ucpel.edu.br) on 2016-10-17T11:10:28Z No. of bitstreams: 1 JULIO FRANCISCO ROCHA DE OLIVEIRA.pdf: 2087173 bytes, checksum: c38d1eda0641d13eef2ccdb59655b27a (MD5) / Made available in DSpace on 2016-10-17T11:10:28Z (GMT). No. of bitstreams: 1 JULIO FRANCISCO ROCHA DE OLIVEIRA.pdf: 2087173 bytes, checksum: c38d1eda0641d13eef2ccdb59655b27a (MD5) Previous issue date: 2016-08-01 / This work proposes the exploration of approximate adders circuits for the implementation of power-efficient for Image Processing. The Gaussian filter is a convolution operator which is used to blur images and to remove noise. On the other hand, the Gradient of an image measures how it is changing. Both blocks can be designed in hardware using only shifts and additions/subtractions. In this work we exploit a set of approximate adders in order to implement energy-efficient filters. The tree of adders of Gaussian and Gradient filters are implemented using one Copy of bits adder, as well as an Error-Tolerant Adders - ETA. The approximate architectures are compared to the best precise implementation of the filters. As the Gaussian and Gradient blocks are part of the Canny edge detector algorithm, we have implemented the tree of adders of the filters aiming this application. In particular, an algorithm was proposed in the scope of this work in order to achieve the best adder trees for the Gaussian and Gradient filters. The main results show that for an efficient power realization of this algorithm, the best strategy consists in the implementation of the Gaussian filter with ETA I adder, and the Gradient filter with the Copy of bits adder. The approximate Gaussian and Gradient filters were applied to the fully hardware of Canny edge detector. The main results showed that the approximate Canny edge detector architectures present the best performance and precision metrics results, for most of the cases, when using both the Copy of bits and ETA I adders. For these tests a set of true images were used. The synthesis results showed that the use of the Gaussian and Gradient filters including the Copy of bits and ETA I adders has been efficient to the hardwired Canny edge detector that presented both area and energy consumption reductions. / Este trabalho propõe a exploração de circuitos somadores aproximados para a implementação de filtros eficientes em consumo de potência para Processamento de Imagem. O filtro Gaussiano é um operador de convolução que é usado para borrar as imagens e remover ruídos. Por outro lado, o Gradiente de uma imagem quantifica o quanto uma imagem está mudando. Ambos os blocos podem ser implementados em hardware usando apenas operações de deslocamento e somas/subtrações. Nesse trabalho, um conjunto de somadores aproximados é explorado para a implementação de filtros eficientes em termos de energia. As árvores de somadores dos filtros Gaussiano e Gradiente são implementadas usando um somador aproximado baseado na cópia de bits para a saída, bem como somadores tolerantes a erros (ETA - Error-Tolerant Adders). As arquiteturas aproximadas são comparadas com as implementações dos filtros com somadores precisos. Como os blocos Gaussiano e Gradiente são partes integrantes do algoritmo de detecção de bordas de Canny, logo as árvores de somadores dos filtros Gaussiano e Gradiente foram implementadas visando a esta aplicação. Em particular, um algoritmo foi proposto no âmbito deste trabalho para encontrar a melhor composição da árvore de somadores nos filtros Gaussiano e Gradiente. Os principais resultados mostram que, para a realização eficiente em potência desse algoritmo, as melhores estratégias consistem na implementação do filtro Gaussiano com o somador ETA I e a implementação do filtro Gradiente com o somador baseado em cópia de bits. Os filtros Gaussiano e Gradiente aproximados foram aplicados ao circuito completo de detecção de bordas de Canny. Os resultados mostraram que as arquiteturas de detecção de bordas de Canny aproximadas, com somadores baseado na cópia de bits e ETAI, na maioria dos casos possuem melhores resultados em relação às métricas de desempenho e precisão, com relação à arquitetura precisa. Os testes foram realizados usando um conjunto de imagens reais. Os resultados da síntese em ASIC mostraram que, as aproximações dos filtros Gaussiano e Gradiente com os somadores baseado em cópia de bits e ETA I trazem economia em área e energia ao circuito de detecção de bordas de Canny.

Elétrons em bandas estreitas de energia são fortemente afetados pela interação coulombiana como também por desordem na rede. Ambos os efeitos podem levar à localização, mas de naturezas diferentes: estado isolante de Mott, induzido por correlação, e localização de Anderson, induzida por desordem. A existência da fase de Mott ´e também significativamente dependente do preenchimento da banda. Abordagens teóricas para lidar com esse tipo de sistema são usualmente baseadas no hamiltoniano de Hubbard ou modelos relacionados, incluindo desordem como uma distribuição de energias locais. Neste trabalho, utilizando a Teoria de Campo Médio Dinâmico (DMFT), estudamos o modelo de Anderson-Falicov-Kimball e sua versão de três bandas, obtida como uma simplificação do modelo de Hubbard de três bandas associado aos planos de CuO2 dos cupratos supercondutores de alta temperatura crítica, realizando nossa análise para os casos magnético e não magnético. A densidade de estados de uma partícula é obtida por medias aritmética e geométrica sobre a desordem, já que somente a última pode detectar a localização na ausência de um gap de energia. Variando as intensidades de interação coulombiana e desordem, construímos diagramas de fases para esse modelo, onde identificamos transições metal-isolante mediadas por correlação e desordem, bem como a inter-relação entre esses efeitos. Isso é feito para vários preenchimentos de banda, já que nosso principal interesse aqui é estudar como a variação da densidade de elétrons (dopagem) afeta os diagramas de fases previamente obtidos na ausência de dopagem. Para o modelo de uma banda no caso paramagnético, as informações reveladas pela densidade de estados são confirmadas pela análise das condutividades estática e dinâmica, incluindo efeitos de temperatura. Quando consideramos a solução magnética, observamos o comportamento da temperatura de Néel e podemos apresentar um diagrama de fases mais completo. Além de uma análise bastante extensa do modelo de uma banda, fazemos um estudo inicial do modelo de três bandas, focalizando comportamentos que possam vir a ser comparados ao que se observa nos óxidos supercondutores. / Electrons in narrow-band solids are strongly affected by the Coulomb interaction as well as lattice disorder. Both effects can lead to localization, but of different nature: correlation-induced Mott insulating state, and disorder-induced Anderson localization. The existence of the Mott phase is also significantly dependent on the band filling. Theoretical approaches to deal with this kind of system are usually based on the Hubbard Hamiltonian or related models, including disorder as a distribution of the on-site energies. In this work, utilizing Dynamic Mean Field Theory (DMFT), we study the Anderson- Falicov-Kimball and its three-band version, obtained as a simplification of the three-band Hubbard model associated to the CuO2 planes of high-critical-temperature cuprate superconductors, performing our analysis for the magnetic and non-magnetic cases. The one-particle density of states is obtained by both arithmetic and geometrical averages over disorder, since only the latter can detect localization in the absence of an energy gap. Varying the strengths of Coulomb interaction and disorder, we construct phase diagrams for these models, where we identify metal-insulator transitions driven by correlation and disorder, as well as the interplay between these effects. This is done for various band fillings, since our main interest here is to study how the variation of the electron density affects the phase diagrams previously obtained in the absence of doping. For the one-band model in the paramagnetic case, the picture revealed by the density of states is further checked by evaluating the static and dynamic conductivities, including temperature effects. When we consider the magnetic solution, we observe the N´eel temperature behavior, and we are able to present a more complete phase diagram. Besides a quite extensive analysis of the one-band model, we develop an initial study of the threeband model, focusing on behaviors that might be linked with what is observed on the superconducting oxides.

Submitted by Cristiane Chim (cristiane.chim@ucpel.edu.br) on 2017-02-10T11:09:37Z No. of bitstreams: 1 BiancaSilveira.pdf: 2865763 bytes, checksum: 154f3813d9a5ded371c8750e3681ced3 (MD5) / Made available in DSpace on 2017-02-10T11:09:37Z (GMT). No. of bitstreams: 1 BiancaSilveira.pdf: 2865763 bytes, checksum: 154f3813d9a5ded371c8750e3681ced3 (MD5) Previous issue date: 2016-12-01 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES# / #2075167498588264571# / #600 / The HEVC video compression standard is one of the newest standards. It achieves higher compression ratio compared to existing standards and doubles the compression ratio of the previous standard, the H.264/AVC (Advanced Video Coding). In video encoder, the Motion Estimation and Intra Prediction modules are present and uses intensively the follow similarity metrics for mode decision: the Sum of Absolute Differences and the Sum of Absolute Transformed Differences. The intense use of these metrics represents the major part of the computational complexity of the HEVC video encoder. The aim of this work is to explore hardware architectures for SAD and SATD similarity metrics using power consumption reduction techniques. For the SATD metric two studies were performed: the first study focuses on the architectural exploration at different levels of parallelism of the 8x8 Hadamard Transform; the second study aims at the implementation of architectures based on multiple sizes of the Hadamard Transform. As power reduction techniques, adders compressor were used in the SATD architectures. Adders compressor were also used in different recombinations of SAD metric. All architectures presented in this work were implemented in hardware description language VHDL and synthesized for ASIC in Nangate’s 45nm technology using the Cadence RTL Compiler tool. The power estimation of the architectures was obtained using real inputs extracted from the reference software of the HEVC standard. Comparative analyzes were performed between these architectures, as well as comparisons with architectures state-of-the-art. The architectures using adders/subtractors compressors compared to architectures using adder from the synthesis tool have a power reduction of 16.3 % for the sequential, 21.1 % for the semi-parallel and 26.6 % for the parallel for the SATD based on HT 8x8 and 10.07 % for SATD based on multiple sizes of HT. For the SAD architecture using 8: 2 compressor adders the power reduction was 61.8 %. / O padrão de compressão de vídeo HEVC (High Efficiency Video Coding) é um dos mais novos padrões desenvolvidos. Ele alcança taxas de compressão de vídeo maiores em relação aos outros padrões já existentes e dobra a taxa de compressão comparado ao padrão anterior, o H.264/AVC (Advanced Video Coding). No codificador de vídeo, os módulos de Estimação de Movimento e Predição Intra estão presentes e utilizam intensamente as seguintes métricas de similaridade para decisão de modo de codificação: a SAD (Sum of Absolute Differences) e a SATD (Sum of Absolute Transformed Differences). O uso intenso destas métricas representa a maior parte da complexidade computacional do codificador de vídeo HEVC. O objetivo deste trabalho é explorar arquiteturas de hardware para as métricas de similaridade SAD e SATD utilizando técnicas de redução do consumo de potência. Para a métrica SATD foram realizados dois estudos: o primeiro estudo foca na exploração arquitetural em diferentes níveis de paralelismo da Transformada Hadamard 8x8; o segundo estudo visa a implementação de arquiteturas baseadas em múltiplos tamanhos da Transformada Hadamard. Como técnicas de redução de potência, foram utilizados somadores compressores nas arquiteturas de SATD. Também foram utilizados somadores compressores em diferentes recombinações em arquitetura da métrica SAD. Todas arquiteturas apresentadas neste trabalho foram implementadas em linguagem de descrição de hardware VHDL e sintetizadas para ASIC na tecnologia 45nm da Nangate utilizando a ferramenta Cadence RTL Compiler. A estimação de potência das arquiteturas foi obtida utilizando entradas reais extraídas do software de referência do padrão HEVC. Foram realizadas análises comparativas entre estas arquiteturas, assim como comparações com arquiteturas estado-daarte. As arquiteturas utilizando somadores/subtratores compressores em comparação às arquiteturas utilizando somadores da ferramenta de síntese apresentam uma redução de potência de 16,3% para a sequencial, 21,1% para a semi-paralela e 26,6% para a paralela para SATD baseada na HT 8x8 e 10,07% para a SATD baseada em múltiplos tamanhos da HT. Para a arquitetura de SAD utilizando somadores compressores 8:2 a redução de potência foi de 61,8%.

Neste trabalho estudamos modelos teóricos que descrevem sistemas eletrônicos fortemente correlacionados, em especial o modelo t-J, e suas aplicações a compostos de óxidos de cobre, notadamente os compostos que apresentam supercondutividade de alta temperatura crítica e o composto Sr2CuO2Cl2. No primeiro capítulo do trabalho, fazemos uma exposição de três modelos que envolvem o tratamento das interações elétron-elétron, que são os modelos de Hubbard de uma banda, o modelo de Heisenberg e o modelo t-J. Na dedução deste último fazemos uma expansão canônica do hamiltoniano de Hubbard, no limite de acoplamento forte, levando-nos a obter um novo hamiltoniano que pode ser utilizado para descrever um sistema antiferromagnético bidimensional na presen- ça de lacunas, que é exatamente o que caracteriza os compostos supercondutores de alta temperatura crítica na sua fase de baixa dopagem.Após termos obtido o hamiltoniano que descreve o modelo t-J, aplicamos à este uma descrição de polarons de spin, numa representação de holons, que são férmions sem spin, e spinons, que são bósons que carregam somente os graus de liberdade de spin. Utilizando uma função de Green para descrever a propagação do polaron pela rede, obtemos uma equação para a sua autoenergia somando uma série de diagramas de Feynman, sendo que para este cálculo utilizamos a aproxima ção de Born autoconsistente[1]. Do ponto de vista numérico demonstramos que a equação integral de Dyson resultante do tratamento anterior não requer um procedimento iterativo para sua solução, e com isto conseguimos trabalhar com sistemas com grande número de partículas. Os resultados mostram, como um aspecto novo, que o tempo de vida média do holon tem um valor bastante grande no ponto (π,0 ) da rede recíproca, perto da singularidade de Van Hove mencionada na literatura[2]. Este aspecto, e suas implicações, é amplamente discutido neste capítulo. No capítulo 3 estudamos o modelo estendido t-t'-J, com tunelamento à segundos vizinhos e a incorporação dos termos de três sítios[3]. Fazemos a mesma formulação do capítulo anterior, e discutimos as aplicações dos nossos resultados ao óxido mencionado anteriormente. Finalmente, no último capítulo apresentamos uma aplicação original do modelo t-J à uma rede retangular, levemente distorcida, e demonstramos que os resultados do capítulo 3 são reproduzidos sem necessidade de introduzir termos de tunelamento adicionais no hamiltoniano. Esta aplicação pode se tornar relevante para o estudo das fases de tiras encontradas recentemente nesses materiais de óxidos de cobre.

Neste trabalho estudamos modelos teóricos que descrevem sistemas eletrônicos fortemente correlacionados, em especial o modelo t-J, e suas aplicações a compostos de óxidos de cobre, notadamente os compostos que apresentam supercondutividade de alta temperatura crítica e o composto Sr2CuO2Cl2. No primeiro capítulo do trabalho, fazemos uma exposição de três modelos que envolvem o tratamento das interações elétron-elétron, que são os modelos de Hubbard de uma banda, o modelo de Heisenberg e o modelo t-J. Na dedução deste último fazemos uma expansão canônica do hamiltoniano de Hubbard, no limite de acoplamento forte, levando-nos a obter um novo hamiltoniano que pode ser utilizado para descrever um sistema antiferromagnético bidimensional na presen- ça de lacunas, que é exatamente o que caracteriza os compostos supercondutores de alta temperatura crítica na sua fase de baixa dopagem.Após termos obtido o hamiltoniano que descreve o modelo t-J, aplicamos à este uma descrição de polarons de spin, numa representação de holons, que são férmions sem spin, e spinons, que são bósons que carregam somente os graus de liberdade de spin. Utilizando uma função de Green para descrever a propagação do polaron pela rede, obtemos uma equação para a sua autoenergia somando uma série de diagramas de Feynman, sendo que para este cálculo utilizamos a aproxima ção de Born autoconsistente[1]. Do ponto de vista numérico demonstramos que a equação integral de Dyson resultante do tratamento anterior não requer um procedimento iterativo para sua solução, e com isto conseguimos trabalhar com sistemas com grande número de partículas. Os resultados mostram, como um aspecto novo, que o tempo de vida média do holon tem um valor bastante grande no ponto (π,0 ) da rede recíproca, perto da singularidade de Van Hove mencionada na literatura[2]. Este aspecto, e suas implicações, é amplamente discutido neste capítulo. No capítulo 3 estudamos o modelo estendido t-t'-J, com tunelamento à segundos vizinhos e a incorporação dos termos de três sítios[3]. Fazemos a mesma formulação do capítulo anterior, e discutimos as aplicações dos nossos resultados ao óxido mencionado anteriormente. Finalmente, no último capítulo apresentamos uma aplicação original do modelo t-J à uma rede retangular, levemente distorcida, e demonstramos que os resultados do capítulo 3 são reproduzidos sem necessidade de introduzir termos de tunelamento adicionais no hamiltoniano. Esta aplicação pode se tornar relevante para o estudo das fases de tiras encontradas recentemente nesses materiais de óxidos de cobre.