Diversos modelos teóricos para o descasamento entre dispositivos na tecnologia MOS foram propostos desde a década de ’80, sendo que geralmente estes pecam ou pela simplicidade, sendo válidos apenas sob condições de operação específicas, ou por resultarem em expressões muito complexas, o que torna necessário o uso de pesados recursos computacionais. Esta tese propõe uma abordagem inovadora para a modelagem do descasamento dos transistores de efeito de campo de porta isolada (MOSFETs), chegando a resultados melhores e mais abrangentes que outras propostas já publicadas. Para tanto, as variações microscópicas na corrente que flui pelo dispositivo, resultado das flutuações na concentração de dopantes na região ativa, são contabilizadas levando-se em conta a natureza não-linear do transistor. O resultado é um modelo compacto que prevê o descasamento com grande exatidão e de forma contínua, em todas as condições de operação do transistor, da inversão fraca à forte, e da região linear à saturação, necessitando apenas dois parâmetros de ajuste. Duas versões de circuitos de teste foram desenvolvidas e implementadas em diversas tecnologias, como forma de se obter suporte experimental para o modelo. A versão mais avançada possibilita a caracterização elétrica, de forma totalmente automática, de um grande número de dispositivos. O uso deste modelo substitui com vantagens a tradicional simulação Monte Carlo, que exige grandes recursos computacionais e consome muito tempo, além de oferecer uma excelente ferramenta de projeto manual, como é demonstrado através do desenvolvimento de um conversor digitalanalógico, cujo resultado experimental corroborou a metodologia empregada. / Many mismatch models were proposed for the MOS devices since the ‘80s, but they use either too simple approaches, being restricted to specific operating conditions, or too complex expressions, only useful through hard computational resources. This thesis proposes a new approach for MOSFETs mismatch modeling, presenting better and more general results than that found in preceding articles. In this approach, the microscopic variations of the drain current, caused by random doping fluctuation inside the channel region, are integrated along the channel, considering the main transistor nonlinearities. It results in a compact model that accurately predicts mismatch, continuously over any transistor operating condition, from weak to strong inversion, and from linear to saturation region, and only needing two fitting parameters. Two versions of a test chip were developed and fabricated in many technologies to give experimental support to this model. The most advanced of them makes the automated electrical characterization possible for a huge number of devices. This model can surpass the traditional Monte Carlo simulation method with advantages, and can also be used as a hand-design tool, as demonstrated here through the design of a digital-to-analog converter.

CARVALHO. V. V. S. Geração de jogos multiníveis e com múltiplos usuários por meio de modelagem em Redes de Petri coloridas hierárquicas. 2014. 85 f. Dissertação (Mestrado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-03-02T16:29:31Z No. of bitstreams: 1 2014_dis_wvscarvalho.pdf: 7949225 bytes, checksum: e4c256bf8e905b725cc0b9c310e89167 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-03-05T17:53:42Z (GMT) No. of bitstreams: 1 2014_dis_wvscarvalho.pdf: 7949225 bytes, checksum: e4c256bf8e905b725cc0b9c310e89167 (MD5) / Made available in DSpace on 2015-03-05T17:53:42Z (GMT). No. of bitstreams: 1 2014_dis_wvscarvalho.pdf: 7949225 bytes, checksum: e4c256bf8e905b725cc0b9c310e89167 (MD5) Previous issue date: 2014-12-19 / This work presents a method to generate games with multilevel and multiple users using Hierarchical Coloured Petri Nets. The design of a multiuser game containing multiple navigation environments (multilevel) is made from the model of a Hierarchical Coloured Petri Net, in which are specified all of the rules, properties and structures of the game. The created model for the game can be formally analysed, verifying the existence of deadlocks and invalid paths, for example, and others possible conception problems, that can be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called CPN Games, which allows fast and dynamic development of simple conception games only using Hierarchical Coloured Petri Nets. The XML codes of the designed models in CPN Tools are interpreted by CPN Games following a set of predefined rules to instantiate different games, without additional programing. It is demonstrated the mechanisms of the design, analysis and validation of the models and finally it is presented several examples of games developed by this tool. / Este trabalho apresenta um método para geração de jogos multiníveis e com múltiplos usuários por meio de modelagem em Redes de Petri Coloridas Hierárquicas. A concepção de um jogo multiusuário, contendo múltiplos ambientes de navegação (multiníveis), é feita a partir da criação de um modelo hierárquico em Rede de Petri Colorida, no qual se especificam todas as regras, propriedades e estruturas do jogo. O modelo criado para o jogo pode ser analisado formalmente, verificando-se, por exemplo, a existência de bloqueios e de transições mortas (caminhos inválidos), entre outros possíveis problemas de concepção, o que pode ser feito com a utilização de ferramentas disponíveis no CPN Tools. Para validar esse método, foi concebida uma ferramenta, denominada CPN Games, que permite o desenvolvimento rápido e dinâmico de jogos de concepção simples exclusivamente por Rede de Petri Colorida Hierárquica. Os códigos em XML de modelos constituídos com o CPN Tools são interpretadas pelo CPN Games seguindo um conjunto de regras pré estabelecidas para instanciar diferentes jogos, sem a necessidade de programação adicional. São demonstrados os mecanismos de criação, análise e validação dos modelos e diferentes exemplos de jogos construídos com a ferramenta.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Letras/Inglês e Literatura Correspondente. / Made available in DSpace on 2012-10-26T10:38:42Z (GMT). No. of bitstreams: 1 301705.pdf: 1206279 bytes, checksum: 274fd03c882c37f1bd444dc13e1a936c (MD5) / Chico Mendes was a Brazilian rubber tapper and environmentalist who fought against the deforestation in the Amazon region. He was killed in 1988 by landowners who accused him of stopping the progress in the area. After his death, the press, especially the international one started spreading his case, which promoted Chico Mendes' fight to the whole world. Because of the relevance of Chico Mendes's case this work investigates 6 (six) articles published by the online newspapers, BBC, Folha de São Paulo, and The New York Times regarding Chico Mendes's case from the years of 1988 and 2008, to analyze the linguistic and sociocultural meanings surrounding Chico Mendes's case disclosed by the media. The present study acknowledges as main theoretical analytical tools the theories of Critical Discourse Analysis (Fairclough, 1995; 2003; 2006), Systemic Functional Linguistics (Halliday & Matthiensen, 2004), and a sociological perspective based on Sachs, (2007), Bauman, (1999), and Santos, (2000). The results revealed that Chico Mendes is seen as the main leader of the rubber tappers' cause by the media because of his fight against deforestation. / Chico Mendes foi um seringueiro e ambientalista brasileiro que lutou contra o desmatamento na região amazônica e que foi morto em 1988 por proprietários de terras que o acusavam de impedir o progresso na região. Após sua morte, a imprensa, especialmente internacional começou a divulgar seu caso, o que promoveu a luta de Chico Mendes no mundo todo. Devido à relevância do caso Chico Mendes, esse trabalho investiga 6 (seis) artigos publicados pelos jornais online, BBC, Folha de São Paulo, e The New York Times dos anos de 1988 e 2008, de modo a desvendar os significados linguísticos e socioculturais em torno caso Chico Mendes divulgado pela mídia. O presente estudo reconhece como principal arcabouço teórico os preceitos da Análise Crítica do Discurso (Fairclough, 1995; 2003; 2006), Linguística Sistêmico-Funcional (Halliday & Matthiensen, 2004), e a perspectiva sociológica com base em Sachs, (2007), Bauman, (1999), e Santos, (2000). Os resultados revelaram que Chico Mendes é visto pela mídia como o principal líder da causa dos seringueiros devido a sua luta contra a destruição da floresta.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística / Made available in DSpace on 2013-03-04T19:40:17Z (GMT). No. of bitstreams: 1 313750.pdf: 5151461 bytes, checksum: ebe9248b7351a00750e4734c801ab4a9 (MD5) / Diversas pesquisas contemporâneas no campo da Linguística Aplicada têm procurado compreender a constituição e o funcionamento dos gêneros do discurso. Nesta tese apresentamos a análise do gênero do discurso carta de conselhos, publicado em revistas online. A pesquisa baseia-se nos estudos do Círculo de Bakhtin, e estudos contemporâneos da Análise Dialógica de Discurso, nos estudos sobre comunicação virtual e nos estudos sociológicos de Giddens. Os dados são formados por 30 (trinta) exemplares do gênero carta de conselhos, publicados nas revistas online Claudia, Nova e Veja, no período de 10 a 17 de março de 2010. Inicialmente, analisamos a dimensão social do gênero, focalizando sua esfera social e seu cronotopo. Observamos que, na contemporaneidade, o jornalismo de revista online tem se caracterizado como um jornalismo de revista especializado, seguindo caminhos discursivos múltiplos, dentre eles o do entretenimento e da autoajuda. Em relação ao grande cronotopo, pudemos compreender que a carta de conselhos se constitui nas condições sócio-históricas da modernidade tardia, um tempo-espaço da angústia existencial, da cultura de riscos e da busca incessante por respostas para os problemas da vida social. Acerca do pequeno cronotopo do gênero carta de conselhos, a situação social de interação, constatamos que a posição de autoria é discursivamente construída por profissionais de diferentes esferas de atuação que assinam as cartas e que são denominados pelas revistas como conselheiros ou articulistas. Quanto ao interlocutor previsto, entendemos que é o leitor da revista, um sujeito interessado em saber sobre os problemas íntimos do outro e as soluções propostas para esses problemas (que inclusive podem se projetar como seus). Em um segundo momento, procuramos analisar a dimensão verbo-visual do gênero. Como resultados, observamos que o objeto do discurso do gênero carta de conselhos é o reclamante e seu dizer, ao passo que o projeto discursivo da carta é a evidenciação desse dizer do reclamante e a reação-resposta do conselheiro/articulista frente a esse dizer. Além disso, na análise das relações dialógicas, observamos que o conselheiro/articulista avalia o discurso do reclamante a partir de movimentos dialógicos convergentes e divergentes. Quanto às projeções de estilo, o autor do gênero carta de conselhos se utiliza de diversos recursos de estilo, como: verbos de introdução do discurso do outro, modalizadores, marcadores conversacionais, perguntas retóricas, marcadores avaliativos e verbos conjugados nas 1as pessoas do singular e do plural, que estão a serviço da orientação apreciativa do conselheiro/articulista face aos problemas do reclamante. Em relação à intercalação da carta do reclamante, entendemos que ela se apresenta como um elemento composicional da carta de conselhos e se conjuga à reação-resposta do conselheiro/articulista como enunciado citado. A fotografia do conselheiro/articulista inserida na carta, por sua vez, também se apresenta como um elemento composicional do gênero e está a serviço da construção de elos pessoais, além de ratificar a postura de autor e o ethos do conselheiro/articulista. A partir desses resultados, interpretamos a carta de conselhos como um gênero híbrido perpassado pelos discursos do jornalismo de entretenimento e de autoajuda.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-07-15T22:47:27Z (GMT). No. of bitstreams: 1 224775.pdf: 1183136 bytes, checksum: 370f80271b45490d241f1e22ecfd155e (MD5) / A grande quantidade de informações trocadas diariamente via Internet, tem exigido dos Sistemas de Gerenciamento Eletrônicos de Documentos novos requisitos que até pouco tempo não eram essenciais. A necessidade da disponibilidade e confiabilidade das informações contidas nos documentos eletrônicos faz com que os usuários que utilizam esta tecnologia tenham a extrema garantia do seu correto funcionamento. Uma forma de garantir estes requisitos de maneira otimizada seria fazer com que cada documento eletrônico fosse responsável pelo gerenciamento de suas próprias informações. Assim, cada ação de gerência que fosse tomada, deveria partir do próprio documento, fazendo com que, os usuários interessados em suas informações tivessem rápido acesso a elas. Desta forma, o documento eletrônico deixa de ser estático e passa a reagir dinamicamente a cada mudança que ocorrer em seu ambiente. Nesta Dissertação é proposta uma nova abordagem para o controle de informações em sistemas de Gerenciamento Eletrônico de Documentos. A contribuição vem através do desenvolvimento e implementação de documentos eletrônicos inteligentes e auto gerenciáveis. Esta nova proposta denominada de documento holônico, devido às suas características autônomas, será responsável pelo seu próprio gerenciamento e terá de atuar conforme as necessidades administrativas do usuário. A colaboração desenvolvida nesta Dissertação é caracterizada por um sistema fundamentado em experiências empíricas no uso dos documentos holônicos. Através de pesquisas e com exemplos da utilização dos documentos holônicos, pôde-se comprovar o sucesso da abordagem, tornando um ramo de pesquisas nesta área.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015 / Made available in DSpace on 2016-10-19T13:20:16Z (GMT). No. of bitstreams: 1 336415.pdf: 822253 bytes, checksum: 9704a2d81140ede18af8530f9cbebddd (MD5) Previous issue date: 2015 / O uso de documentos eletrônicos para compartilhar informações é de fundamental importância, assim como a garantia de integridade e autenticidade dos mesmos. Para provar que alguém é dono ou concorda com o conteúdo de um documento em papel, essa pessoa precisa assiná-lo. Se o documento foi modificado após a assinatura, geralmente é possível localizar essas modificações através de rasuras. Existem técnicas similares em documentos digitais, conhecidas como assinaturas digitais, porém, propriedades como as de identificar as modificações são perdidas.Ao determinar quais partes de um documento foram modificadas, o receptor da mensagem seria capaz de verificar se essas modificações ocorreram em partes importantes, irrelevantes ou até esperadas do documento. Em algumas aplicações, uma quantidade limitada de modificações são permitidas mas é necessário manter o controle do local em que elas ocorreram, como em formulários eletrônicos. Em outras aplicações modificações não são permitidas, mas é importante poder acessar partes das informações que tem integridade garantida ou até mesmo utilizar a localização das modificações para investigação.Neste trabalho é considerado o problema de garantia parcial de integridade e autenticidade de dados assinados. Dois cenários são estudados: o primeiro está relacionado com a localização de modificações em um documento assinado e o segundo está relacionado com a localização de assinaturas inválidas em um conjunto de dados assinados individualmente. No primeiro cenário é proposto um esquema de assinatura digital capaz de detectar e localizar modificações num documento. O documento a ser assinado é primeiramente dividido em n blocos, tendo em conta um limite d para a quantidade máxima de blocos modificados que o esquema de assinatura consegue localizar. São propostos algoritmos eficientes para as etapas de assinatura e verificação, resultando em uma assinatura de tamanho razoavelmente compacto. Por exemplo, para d fixo, são adicionados O(log n) hashes ao tamanho de uma assinatura tradicional, ao mesmo tempo permitindo a identificação de até d blocos modificados.No cenário de localização de assinaturas inválidas em um conjunto de dados assinados individualmente é introduzido o conceito de níveis de agregação de assinatura. Com esse método o verificador pode distinguir os dados válidos dos inválidos, em contraste com a agregação de assinaturas tradicional, na qual até mesmo um único dado modificado invalidaria todo o conjunto de dados. Além disso, o número de assinaturas transmitidas é muito menor que num método de verificação em lotes, que requer o envio de todas as assinaturas individualmente. Nesse cenário é estudada uma aplicação em bancos de dados terceirizados, onde cada tupla armazenada é individualmente assinada. Como resultado de uma consulta ao banco de dados, são retornadas n tuplas e um conjunto de t assinaturas agregadas pelo servidor (com t muito menor que n). Quem realizou a consulta executa até t verificações de assinatura de maneira a verificar a integridade das n tuplas. Mesmo que algumas dessas tuplas sejam inválidas, pode-se identificar exatamente quais são as tuplas válidas. São propostos algoritmos eficientes para agregar, verificar as assinaturas e identificar as tuplas modificadas.Os dois esquemas propostos são baseados em testes combinatórios de grupo e matrizes cover-free. Nesse contexto são apresentadas construções detalhadas de matrizes cover-free presentes na literatura e a aplicação das mesmas nos esquemas propostos. Finalmente, são apresentadas análises de complexidade e resultados experimentais desses esquemas, comprovando a sua eficiência. <br> / Abstract : We consider the problem of partially ensuring the integrity and authenticity of signed data. Two scenarios are considered: the first is related to locating modifications in a signed document, and the second is related to locating invalid signatures in a set of individually signed data. In the first scenario we propose a digital signature scheme capable of locating modifications in a document. We divide the document to be signed into n blocks and assume a threshold d for the maximum amount of modified blocks that the signature scheme can locate. We propose efficient algorithms for signature and verification steps which provide a reasonably compact signature size. For instance, for fixed d we increase the size of a traditional signature by adding a factor of O(log n) hashes, while providing the identification of up to d modified blocks. In the scenario of locating invalid signatures in a set of individually signed data we introduce the concept of levels of signature aggregation. With this method the verifier can distinguish the valid data from the invalid ones, in contrast to traditional aggregation, where even a single invalid piece of data would invalidate the whole set. Moreover, the number of signatures transmitted is much smaller than in a batch verification method, which requires sending all the signatures individually. We consider an application in outsourced databases in which every tuple stored is individually signed. As a result from a query in the database, we return n tuples and a set of t signatures aggregated by the database server (with t much smaller than n). The querier performs t signature verifications in order to verify the integrity of all n tuples. Even if some of the tuples were modified, we can identify exactly which ones are valid. We provide efficient algorithms to aggregate, verify and identify the modified tuples. Both schemes are based on nonadaptive combinatorial group testing and cover-free matrices.

Tese (doutorado) - Universidade Federal de Minas Gerais, Escola de Ciência da Informação. Programa de Pós-graduação em Ciência da Informação / Made available in DSpace on 2012-10-21T23:22:58Z (GMT). No. of bitstreams: 0

Diversos modelos teóricos para o descasamento entre dispositivos na tecnologia MOS foram propostos desde a década de ’80, sendo que geralmente estes pecam ou pela simplicidade, sendo válidos apenas sob condições de operação específicas, ou por resultarem em expressões muito complexas, o que torna necessário o uso de pesados recursos computacionais. Esta tese propõe uma abordagem inovadora para a modelagem do descasamento dos transistores de efeito de campo de porta isolada (MOSFETs), chegando a resultados melhores e mais abrangentes que outras propostas já publicadas. Para tanto, as variações microscópicas na corrente que flui pelo dispositivo, resultado das flutuações na concentração de dopantes na região ativa, são contabilizadas levando-se em conta a natureza não-linear do transistor. O resultado é um modelo compacto que prevê o descasamento com grande exatidão e de forma contínua, em todas as condições de operação do transistor, da inversão fraca à forte, e da região linear à saturação, necessitando apenas dois parâmetros de ajuste. Duas versões de circuitos de teste foram desenvolvidas e implementadas em diversas tecnologias, como forma de se obter suporte experimental para o modelo. A versão mais avançada possibilita a caracterização elétrica, de forma totalmente automática, de um grande número de dispositivos. O uso deste modelo substitui com vantagens a tradicional simulação Monte Carlo, que exige grandes recursos computacionais e consome muito tempo, além de oferecer uma excelente ferramenta de projeto manual, como é demonstrado através do desenvolvimento de um conversor digitalanalógico, cujo resultado experimental corroborou a metodologia empregada. / Many mismatch models were proposed for the MOS devices since the ‘80s, but they use either too simple approaches, being restricted to specific operating conditions, or too complex expressions, only useful through hard computational resources. This thesis proposes a new approach for MOSFETs mismatch modeling, presenting better and more general results than that found in preceding articles. In this approach, the microscopic variations of the drain current, caused by random doping fluctuation inside the channel region, are integrated along the channel, considering the main transistor nonlinearities. It results in a compact model that accurately predicts mismatch, continuously over any transistor operating condition, from weak to strong inversion, and from linear to saturation region, and only needing two fitting parameters. Two versions of a test chip were developed and fabricated in many technologies to give experimental support to this model. The most advanced of them makes the automated electrical characterization possible for a huge number of devices. This model can surpass the traditional Monte Carlo simulation method with advantages, and can also be used as a hand-design tool, as demonstrated here through the design of a digital-to-analog converter.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2017. / Submitted by Priscilla Sousa (priscillasousa@bce.unb.br) on 2017-10-06T14:44:17Z No. of bitstreams: 1 2017_AlencarCaldeiraCamposJúnior.pdf: 7370985 bytes, checksum: dda58dedd332ee584f61e054668dea1a (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-10-09T10:55:43Z (GMT) No. of bitstreams: 1 2017_AlencarCaldeiraCamposJúnior.pdf: 7370985 bytes, checksum: dda58dedd332ee584f61e054668dea1a (MD5) / Made available in DSpace on 2017-10-09T10:55:43Z (GMT). No. of bitstreams: 1 2017_AlencarCaldeiraCamposJúnior.pdf: 7370985 bytes, checksum: dda58dedd332ee584f61e054668dea1a (MD5) Previous issue date: 2017-10-09 / O presente trabalho, de cunho experimental, tem como objetivo investigar o processo de resfriamento em um componente eletrônico (célula Peltier) utilizando convecção forçada interna (tema 1), convecção forçada externa (tema 2) e convecção natural (tema 3). Para o primeiro tema, os testes foram realizados em uma célula Peltier (fonte de calor) encaixada em uma régua com e sem promotores de turbulência para velocidades variando de 3 a 15 m/s, abrangendo uma faixa de Reynolds entre 8140 e 40701. Os promotores de turbulência utilizados consistiam em arranjos de cilindros, em 6 configurações diferentes. Para o problema envolvendo convecção forçada externa foi desenvolvido um suporte possibilitando a variação do ângulo de ataque entre o componente aquecido e o escoamento de 0 a 90 graus em relação ao escoamento. Foram utilizadas as mesmas velocidades do primeiro problema. Já para o estudo de convecção natural foi utilizado o mesmo suporte da convecção forçada externa dentro de um cubo de acrílico com dimensões muito superiores as da célula Peltier. Os testes foram realizados para variação do ângulo de ataque entre 0 e 90 graus em relação a horizontal e utilizando 5 pares de tensões e correntes diferentes para alterar a temperatura da célula Peltier. A análise do processo de resfriamento para o tema 1 foi realizada da proposição de correlações Reynolds-Nusselt que representassem o efeito de novas geometrias configuracionais de promotores de turbulência. A mesma análise foi realizada para os testes do tema 2, porém com ênfase na influência do ângulo formado entre escoamento e componente aquecido nas taxas de troca de calor fluido-parede. A análise do tema 3 foi realizada através do número de Nusselt e do número de Rayleigh. Para o primeiro tema apresentamos os arranjos operacionais mais eficientes medidos do ponto de vista de maximização das taxas de troca de calor utilizando arranjos de promotores de turbulência. Para o Tema 2 foi observado que a configuração a 0 graus foi a que apresentou a maior transferência de calor para todos os números de Reynolds. Já para o tema 3 a configuração de 90 graus foi a que obteve um maior coeficiente de transferência de calor para todos os pares de tensão e corrente, e consequentemente maiores valores nos números de Nusselt. Todos os resultados obtidos são interpretados a luz de interpretações físicas baseadas na fenomenologia do escoamento e complementadas por análises de escala. / The experimental investigation presented is aimed on of the cooling process of an electronic component, represented by a Peltier cell. Such cooling is achieved via internal forced convection (first topic), external forced convection (second topic) and natural convection (third topic). Regarding the forced internal convection, measurements were made on a Peltier cell mounted on a rule with, and without, the turbulence promoters for incident flow velocities ranging from 3 to 15 m/s (8140 ≤ Re ≤ 40701). Such turbulence promoters consist in cylinders in six different arrangements. For the external forced convection an adaptive mount was employed, enabling the measurements on different attack angles between cell and flow direction ranging from 0 to 90 degrees. Same flow velocities applied to the internal convection were set to the external forced convection. Regarding the natural convection, measurements were made using the same setup employed on the external forced convection inside an acrylic cube much bigger than the Peltier cell. Natural convection investigations were conduced for different inclination angles 0 to 90 degrees on five different voltage and electric current intensities, resulting in 5 different temperatures on the Peltier cell. The cooling investigation conduced at the first topic was based on proposed Reynolds-Nusselt correlations, which represents the effect of different geometries of the turbulence promoters on the cooling process. A similar analysis was conduced on the second topic, although focused on the effect of the resultant angle on the heat transfer properties between the air and the cell. The analysis on the third topic was developed from the Nusselt and Rayleigh numbers. At the first topic, different arrangements are presented and a effectiveness evaluation is conduced, aimed on the optimization of the heat transfer properties for each arrangement. At the second topic it could be observed that the horizontal configuration resulted in a maximum heat transfer for all Reynolds numbers investigated. On the other hand, it was possible to measure a maximum heat transfer coefficient at the 90 degrees configuration, for all voltage-current intensity approached, resulting in higher Nusselt numbers measured. The obtained results are related to physical interpretations

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, 2011. / Submitted by Shayane Marques Zica (marquacizh@uol.com.br) on 2011-10-10T20:40:43Z No. of bitstreams: 1 2011_ValeryNoblRozental.PDF: 9912457 bytes, checksum: c5116694d395382279d3ccfa0baa22df (MD5) / Approved for entry into archive by Leila Fernandes (leilabiblio@yahoo.com.br) on 2011-10-19T11:42:31Z (GMT) No. of bitstreams: 1 2011_ValeryNoblRozental.PDF: 9912457 bytes, checksum: c5116694d395382279d3ccfa0baa22df (MD5) / Made available in DSpace on 2011-10-19T11:42:31Z (GMT). No. of bitstreams: 1 2011_ValeryNoblRozental.PDF: 9912457 bytes, checksum: c5116694d395382279d3ccfa0baa22df (MD5) / Este trabalho investiga de forma experimental o desempenho de algumas técnicas para evitar singularidades em receptores ópticos de sistemas DP-QPSK que operam na taxa de transmissão de 112 Gb/s, e cujos equalizadores utilizam o algoritmo do módulo constante (CMA) para a desconvolução e a separação de fontes. O termo “singularidade” se refere `a situação na qual ambas as saídas do equalizador convergem para o mesmo sinal de entrada. Os dados experimentais são obtidos usando um arranjo de transmissão que emula mudanças arbitrárias de polarização, ruído óptico, dispersão cromática e a dispersão dos modos de polarização de primeira ordem. A influência destes efeitos na ocorrência de singularidades é analisada individualmente. Em particular, são comparados os seguintes algoritmos: • CMA padrão; • CMA com restrição; • CMA de dois estágios; • CMA para usuários múltiplos (MU-CMA). É demonstrado que todos os algoritmos reduzem o número de singularidades de forma eficiente, melhorando, assim, as propriedades de convergência do equalizador. No entanto, sob certas condições, os algoritmos MU-CMA e CMA com restrição – ambos utilizados para inicialização do sistema – apresentaram melhor desempenho em comparação com CMA de dois estágios, que não distingue entre as fases de inicialização e de operação do sistema. `A luz dos resultados, considerando a sua baixa complexidade computacional, o CMA com restrição é recomendado para uso em sistemas práticos. _______________________________________________________________________________ ABSTRACT / This work experimentally investigates the performance of several techniques for singularity avoidance in optical receivers of dual-polarization quadrature phase shift keying (DP-QPSK) systems operating at the transmission rate of 112 Gb/s, and whose equalizers use the Constant Modulus Algorithm (CMA) for deconvolution and source separation. The term “singularity” refers to the condition where both equalizer outputs converge to the same input signal. Experimental data is acquired using a transmission setup that emulates arbitrary polarization changes, optical noise, chromatic dispersion (CD) and first-order polarization mode dispersion (PMD). The influence of these effects on the singularity occurrence is individually analyzed. Specifically, the following algorithms are compared: • Standard CMA; • Constrained CMA; • Two-Stage CMA; • Multi-User (MU) CMA. It is shown that all algorithms effectively mitigate singularities, thus improving equalizer convergence properties. However, under certain conditions, the Multi-User and Constrained CMA algorithms – both used for system startup – outperformed the Two-Stage CMA, which does not distinguish between the system startup and operation phases. In light of the results, considering also its low computational complexity, the Constrained CMA is recommended to be used in practical systems.