Dissertação (mestrado)—Universidade de Brasília, Departamento de Engenharia Elétrica, 2012. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2012-05-21T13:06:57Z No. of bitstreams: 1 2012_DanielVieira.pdf: 1346139 bytes, checksum: 4b3c1c45ed568636823e91b3270a470d (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2012-05-23T11:31:27Z (GMT) No. of bitstreams: 1 2012_DanielVieira.pdf: 1346139 bytes, checksum: 4b3c1c45ed568636823e91b3270a470d (MD5) / Made available in DSpace on 2012-05-23T11:31:27Z (GMT). No. of bitstreams: 1 2012_DanielVieira.pdf: 1346139 bytes, checksum: 4b3c1c45ed568636823e91b3270a470d (MD5) / A medição eletrônica de potência em sistemas elétricos nos quais a tensão ou corrente sejam distorcidas pode apresentar sérias discrepâncias entre os valores medidos e aqueles definidos teoricamente. Esse cenário se agrava quando se trata da obtenção dos valores de potência reativa, tanto pelo fato de as definições teóricas ainda não estarem completamente consolidadas, quanto devido à inexatidão dos medidores eletrônicos para exibir valores coerentes com a realidade. Nesse contexto, este trabalho faz uma análise das técnicas de medição para faturamento de potência reativa em instalações de baixa tensão com grandes distorções harmônicas. Primeiramente, apresentam-se as definições de potência sob condições não-senoidais e os problemas atrelados a essas acepções e, em seguida, são analisados e comparados seis métodos de medição: técnica do triângulo de potências, deslocamento de 90°, integração da tensão, derivação da tensão, transformada de Fourier e, por fim, a transformada wavelet, para a qual é dada especial atenção. Utilizando-se algoritmos dessas técnicas de medição implementados computacionalmente, fazem-se simulações de sinais de tensão e corrente com distorções harmônicas. Os resultados revelam que diversas formas de medição apresentam erros grandes quando submetidas a sinais não-senoidais, mesmo nos casos em que a tensão e corrente tenham distorções dentro de valores de referência. Adicionalmente, realiza-se uma análise de sensibilidade que demonstra que a escolha da técnica de medição mais apropriada depende fortemente da definição de potência reativa. Em especial, conclui-se que a utilização da transformada wavelet fornece bons resultados em todos os cenários, com esforço computacional significativamente menor que aquele da tradicional transformada de Fourier. Conclui-se ainda que a utilização do fator de descolamento como forma de faturamento tem vantagens sobre o uso do fator de potência verdadeiro, visto que se trata de uma grandeza independente das distorções harmônicas na tensão de fornecimento e que pode ser facilmente medida pelo uso de transformadas e também por algumas técnicas simples de medição eletrônica. ______________________________________________________________________________ ABSTRACT / This paper analyzes reactive power measurement techniques in low voltage installations with high harmonic distortion levels. First, we present the definitions of power under non-sinusoidal conditions and their outcomes, and then we analyze and compare six different methods of reactive power measurement: power triangle technique, 90° displacement of voltage, voltage integration, voltage differentiation, Fourier transform, and wavelet transform. By using computationally implemented algorithms, we perform simulations with typical non-sinusoidal voltage and current signals. The results show that several measurement techniques engender large errors when obtaining reactive power in systems with harmonic distortions, even when the voltage and current distortions are within reference values. Finally, a sensitivity analysis is carried out and helps infer that the appropriate choice of the measurement technique depends strongly on the definition of reactive power (considering all harmonic distortions or only the fundamental component). In particular, we conclude that the use of wavelet transform provides good results in all cases, with significantly less computational effort than that of traditional Fourier transform.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-04-26T15:53:16Z No. of bitstreams: 1 2012_FabioHenriquedaSilva.pdf: 552243 bytes, checksum: e64f674891aeafd428d4d66fd0fe9706 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-07-29T13:03:08Z (GMT) No. of bitstreams: 1 2012_FabioHenriquedaSilva.pdf: 552243 bytes, checksum: e64f674891aeafd428d4d66fd0fe9706 (MD5) / Made available in DSpace on 2013-07-29T13:03:08Z (GMT). No. of bitstreams: 1 2012_FabioHenriquedaSilva.pdf: 552243 bytes, checksum: e64f674891aeafd428d4d66fd0fe9706 (MD5) / Os cálculos de Substituições Explícitas (CSEs) são variações do cálculo λ que especificam de maneira concreta a operação de substituição, definida de maneira implícita no cálculo λ. Estes cálculos estendem a linguagem do cálculo λ de maneira a atomizar os passos envolvidos numa aplicação concreta da operação de substituição. Este trabalho abordará a propriedade de expansibilidade em alguns CSEs que podemos dizer que seja uma investigação do passado de um termo. Esta propriedade é interessante quando este passado nos revela um termo puro, ou seja, um termo pertencente à linguagem do cálculo λ Para isso fez-se necessário estudar várias outras propriedades, como a simulação da regra β do cálculo λ, a correção da regra (B) no λ? -cálculo e, a propriedade de Projeção do λ?-cálculo e do λσ-cálculo. O objetivo é estudar o problema de expansão no lambda sigma-cálculo, e para isso observamos os resultados de Ariel Arbiser no lambda upsilon-cálculo, em que o Teorema de Scott foi uma ferramenta crucial. _______________________________________________________________________________________ ABSTRACT / Calculi of Explicit Substitutions (CSEs) are variants of the λ calculus which specify concretely the substitution operation, defined implicitly in the λ calculus. These calculi extend the language of λ calculus in order to atomize the steps involved in the practical application of replacement operation. This work will discuss the expansion property in some CSEs, that it is an investigation of the past of a term. This property is interesting when it discloses a past term pure, i.e. a term belonging to the language of λ calculus. For this it was necessary to study several other properties, such as the simulation of rule β of λ calculus, the correction of the rule (B) in λ?-calculus and the property projection of λ?-calculus and the λσ-calculus. The goal is to study the expansion problem in the λσ-calculus and verify the aplication of the results of Ariel Arbiser in the λ?-calculi, in which the Scott Theorem was a crucial tool.

Dissertação (Mestrado em Matemática)-Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Brasília, 2010. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2011-06-29T20:20:12Z No. of bitstreams: 1 2010_DanielLimaVentura.pdf: 943550 bytes, checksum: 33a595d3777e87c528eaa8917894eba0 (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2011-06-29T20:25:33Z (GMT) No. of bitstreams: 1 2010_DanielLimaVentura.pdf: 943550 bytes, checksum: 33a595d3777e87c528eaa8917894eba0 (MD5) / Made available in DSpace on 2011-06-29T20:25:33Z (GMT). No. of bitstreams: 1 2010_DanielLimaVentura.pdf: 943550 bytes, checksum: 33a595d3777e87c528eaa8917894eba0 (MD5) / O calculus é um modelo teórico de computação tão antigo quanto a própria noção de função computável. Devido a definição da substituição como uma metaoperação. existem várias formas de tornar esta substituição explícita no sistema, dando surgimento a uma grande variedade de sistemas baseados no calculus. Estudamos dois cálculos de substituições explícitas, o e o se, com sistemas de tipos com interseção. Estes cálculos utilizam uma notação à la de Bruijn, onde variáveis são representadas por índices ao invés de nomes. Sistemas de atribuição de tipos permitem uma análise sintática (estática) de propriedades semânticas (dinâmicas) de programas, dispensando qualquer declaração de tipos dentro destes. Os tipos com interseção apresentam uma maneira de integrar polimorfismo ao sistema, que tem se mostrado conveniente computacionalmente com propriedades como a tipagem principal, que permite, e.g a compilação separada e a recompilação inteligente para o sistema de tipos computacionais. Para a adição de tipos com interseção aos cálculos estudados, fazemos um estudo do calculus à la de Bruijn com dois sistemas de tipos diferentes. Uma caracterização sintática de tipagens principais, para termos irredutíveis, em um dos sistemas é apresentada. Baseado neste sistema, introduzimos sistemas de tipos com interseção para e o se. A propriedade básica de redução de sujeito, que garante a preservação dos tipos em qualquer computação possível para termos tipáveis, é analisada nas variações dos sistemas propostos. Outra propriedade analisada é a relevância do sistema, garantindo que apenas a informação de tipos necessária para inferência é utilizada, impossibilitando a admissibilidade de uma lei de redundância para o sistema de tipos. ______________________________________________________________________________________ ABSTRACT / The ג-calculus is a well known theoretical computation model as old as the concept of computable functions. Due to the substitution definition as a meta-operator there exists a great quantity of variations of this computational system in which the operation of substitution is treated explicitly. In this work we investigate intersection type systems for two explicit substitution calculi, the גσ and the גse, both with de Bruijn indices. Type assignment systems allow one to have a static code analysis through implicit typing inference, where no type declaration is required. Intersection types present a machine friendly way to add polymorphism to type systems with features such as the principal typing property, allowing e.g. a separate compilation and the smartest recompilation. We study the ג–calculus with de Bruijn indices with two diferente type systems, in a preliminary step for adding intersection types for both explicit substitution calculi. A characterisation for principal typíngs of irreducibe terms is a given in on of the systems, wich the intersection type systems for each גσ and גse are basead on. We analyse the subject reduction property, which guarantees that all terms of the system preserve their types during any possible computation, in some variations for the proposed type systems. Another analysed property is the relevance, in which only necessary suppositions are allowed in a typing inference, turning a weakening rule inadmissible in the type system.

Orientador: Jose Roberto Nunhez / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-08-03T02:49:12Z (GMT). No. of bitstreams: 1 Souza_ValterCesarde_M.pdf: 2996502 bytes, checksum: 127be7b7a9965eb2e4ffb39855d70649 (MD5) Previous issue date: 2001 / Resumo: Os atomizadores de uma unidade petroquímica de craqueamento catalítico fluidizado (FCC), tem como papel fundamental atomizar o gasóleo na entrada do reator catalítico (riser). Os atomizadores utilizados nas unidades da PETROBRÁS, até início da década de noventa, apresentavam forte erosão, o que causa uma deficiência na atomização, influenciando o rendimento do processo como um todo. Os métodos convencionais de análise proporcionam uma visão global do equipamento, de forma que não se consegue avaliar comportamentos locais, principalmente dentro do equipamento. Utilizando-se uma modelagem ponto a ponto, através da fluido dinâmica computacional, mesmo com fortes simplificações, através de uma análise bidimensional associada ao conhecimento experimental, é possível propor um mecanismo para o processo inicial de erosão, juntamente com a apresentação dos perfis de velocidade, pressão e temperatura. O pacote fluido dinâmico CFX-4.3 da AEA Technology Inc. foi utilizado para obtenção dos resultados numéricos do modelo proposto / Abstract: The atomizers of a petrochemical fluid catalytic cracking unit (FCC) have a main role of atomizing the gas-oil at the base of the catalytic reactor (riser). Until the beginning of the decade of 1990 the atomizers used in the units of PETROBRAS suffered pronounced erosion, that causes deficiencies which affects adversely the whole process yield. The conventional methods of analysis provide only a global picture of the equipment, 50 that is not possible to evaluate the equipment efficiency locally, mainly inside of the equipment. Modeling the equipment point the point, using computational fluid dynamics (CFD), even assuming strong simplifications, through a two dimensional model along with experimental analysis, it is possible to propose a mechanism for the initial process of erosion, the contours of speed, pressure and temperature are also obtained. The fluid dynamics software CFX-4.3 from AEA Technology Inc. was used to obtain the numerical data of the mode / Mestrado / Desenvolvimento de Processos Químicos / Mestre em Engenharia Química

Orientador : Yaro Burian Junior / Dissertação (mestrado) - Universidade Estadual de Campinas. Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-16T04:31:57Z (GMT). No. of bitstreams: 1 Miskulin_MauroSergio_M.pdf: 1070184 bytes, checksum: 7bda9bb9ce7266b40a82cb28e1c39aac (MD5) Previous issue date: 1974 / Resumo: O modelo normal do motor de indução é constituido de seis equações diferenciais a seis incógnitas, cob os coeficientes variáveis com o tempo.Em regime permanente, supondo-se velocidade angular do rotor constante e, em operação balanceada elas podem ser resolvidas analíticamente.Modelos tem sido apresentados para soluções em computadores porém, envolvendo dificuldades no cálculo numérico e tempo de computação grande. O presente trabalho procurou um modelo de ordem menos elevada que possibilita um tratamento analltico mais simples, e que, se tratado digitalmente reduz o tempo de computação / Mestrado / Mestre em Ciências

Made available in DSpace on 2014-06-11T19:22:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-28Bitstream added on 2014-06-13T20:09:06Z : No. of bitstreams: 1 oliveira_mws_me_sjrp.pdf: 3828836 bytes, checksum: 680508c509760317dd7d5d894a6d7f85 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho é abordar o campo de orientação de impressões digitais, técnicas para sua extração e algumas de suas aplicações na área de processamento de imagens de impressões digitais. Almejando diminuir a interferência humana no processo de regularização do campo de oreintação foi, também, proposto um método para detecção da área da impressão digital, de forma automática no caso de imagens com boa qualidade e semi-automática no caso de imagens latentes, baseado em contronos ativos. Os testes realizadoscomprovam a eficácia das técnicas propostas / The aim of this study is to discuss the orientation field of fingerprints, techniques for extraction and some of its applications in fingerprint image processing. Aiming to reduce human interference in the process of regularization of the orientation field was also proposed a method for fingerprint area detection, automatic in the case of good quality images and semi-automatic in the case of latent images, which was based on active contours. The computational tests showed the effectiveness of proposed techniques

Made available in DSpace on 2014-06-11T19:24:01Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-04-17Bitstream added on 2014-06-13T20:51:12Z : No. of bitstreams: 1 momente_jc_me_sjrp_parcial.pdf: 96024 bytes, checksum: 2986b3ed814b10224124ed321b8aed8e (MD5) Bitstreams deleted on 2014-10-03T16:24:40Z: momente_jc_me_sjrp_parcial.pdf,Bitstream added on 2014-10-03T16:27:37Z : No. of bitstreams: 2 momente_jc_me_sjrp_parcial.pdf.txt: 10898 bytes, checksum: d70d65cb5a522f43fbdb2608b2891166 (MD5) 000715098.pdf: 1117357 bytes, checksum: 3dd48b6c64edbe99d5c6095aecb7fbab (MD5) Bitstreams deleted on 2014-10-03T16:33:15Z: 000715098.pdf,Bitstream added on 2014-10-03T16:43:28Z : No. of bitstreams: 2 momente_jc_me_sjrp_parcial.pdf.txt: 10898 bytes, checksum: d70d65cb5a522f43fbdb2608b2891166 (MD5) 000715098.pdf: 1117357 bytes, checksum: 3dd48b6c64edbe99d5c6095aecb7fbab (MD5) Bitstreams deleted on 2014-10-03T16:48:54Z: 000715098.pdf,Bitstream added on 2014-10-03T16:49:46Z : No. of bitstreams: 1 000715098.pdf: 1117357 bytes, checksum: 3dd48b6c64edbe99d5c6095aecb7fbab (MD5) Bitstreams deleted on 2014-10-27T11:47:08Z: 000715098.pdf,Bitstream added on 2014-10-27T11:48:04Z : No. of bitstreams: 1 000715098.pdf: 1117357 bytes, checksum: 3dd48b6c64edbe99d5c6095aecb7fbab (MD5) / As descargas corona e a geração de fluxo eletrohidrodinâmico têm sido objeto de estudo de diversas publicações. Estes efeitos podem ser utilizados em vários processos industriais, tais como processos de resfriamento de componentes, de coleta de partícu-las em suspensão, entre outros. Quando utilizadas com as configurações apropriadas, as descargas corona e o fluxo eletrohidrodinâmico provêm melhorias nos processos que os utilizam. A simulação computacional destes efeitos tem se tornado cada vez mais impor-tante devido a sua grande aplicabilidade e à necessidade de um total entendimento destes, com o intuito de otimizá-los para o uso em processos industriais / Corona discharges and electrohydrodynamic flow generation have been addressed by numerous works. These effects could be useful in many industrial applications, such as processes of cooling components, collection of particles in suspension and others. With the appropriate configurations, the corona discharges and the electrohidrodynamic flows can enhance the processes that use them. The simulation analysis of these effects have become increasingly important because of its wide applicability and the need of a full understanding of these in order to optimize them for use in industrial processes

Orientador : Wilson Castro Ferreira Jr / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T14:41:56Z (GMT). No. of bitstreams: 1 Assis_RaulAbreude_M.pdf: 1894087 bytes, checksum: c9964859af25f046ccaf8b9c4be288d6 (MD5) Previous issue date: 2003 / Resumo: Realizamos uma seleção de modelos matemáticos em forragearnento de formigas, introduzindo as hipóteses e detalhes de suas construções. Os modelos foram utilizados para apontar possíveis mecanismos de fenômenos auto-organizados em colônias de formigas. Em especial, o fenômeno de rotação de direção de forragearnento de uma colônia E. burchelli foi estudado. Finalmente, apontamos possibilidades de extensões dos modelos, bem como novas direções de pesquisa na área. / Abstract: We accomplished a selection of mathematical models in ant foraging, introducing the hypotheses and details of their constructions. The models were used to point possible mechanisms of self-organized phenomena in colonies of ants. Particularly, the phenomenon of rotation of foraging direction of a colony of E. burchelli was studied. Finally, we indicate possibilities of extensions of the models, as well as new directions of research in the area. / Mestrado / Mestre em Matemática Aplicada

Orientador : Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T01:31:31Z (GMT). No. of bitstreams: 1 BreternitzJunior_Mauricio_M.pdf: 1239855 bytes, checksum: d471fe519d92ebf63f59d23b8a867ce4 (MD5) Previous issue date: 1984 / Resumo: Este trabalho descreve a implementação de um mecanismo de alocação de registradores em programas estruturados, através da técnica de coloração de grafos sugerida por Chai tin.. O problema da coloração é resolvido colorindo-se individualmente uma série de sub~grafos do grafo de interferências global, escolhidos de acordo com a estrutura do programa. Técnicas de análise de fluxo são utilizadas para construir os grafos de interferência / Abstract: Not informed / Mestrado / Mestre em Matemática

Submitted by Bruno Monteiro Pires null (brunomonteiropires@gmail.com) on 2017-03-26T17:30:46Z No. of bitstreams: 1 [ExemplarDefinitivo]Dissertacao_BrunoMonteiroPires.pdf: 2266231 bytes, checksum: a2a20d6564dd53026d68385939001d1c (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-03-29T18:43:55Z (GMT) No. of bitstreams: 1 pires_bm_me_sjrp.pdf: 2266231 bytes, checksum: a2a20d6564dd53026d68385939001d1c (MD5) / Made available in DSpace on 2017-03-29T18:43:55Z (GMT). No. of bitstreams: 1 pires_bm_me_sjrp.pdf: 2266231 bytes, checksum: a2a20d6564dd53026d68385939001d1c (MD5) Previous issue date: 2017-03-03 / Redes de sensores sem fios possibilitam o monitoramento dos mais diversos fenômenos e processos, além de abrir caminho para a criação de uma nova geração de dispositivos inteligentes, dinâmicos e interconectados. A diversidade das aplicações as quais se destinam estes sistemas, no entanto, impõe uma série de restrições de projeto, o que favorece iniciativas de desenvolvimento orientadas à aplicação. Embora esta abordagem leve à criação de soluções eficazes para aplicações específicas, estabelece um padrão de desenvolvimento restrito e desconsidera possibilidades de otimização mais abrangentes. Atualmente existem iniciativas de padronização bastante ativas para esta categoria de sistemas, como é o caso do IEEE 802.15.4, no entanto ainda restam questões não resolvidas, comuns à maioria das redes de sensores sem fios, como é o caso da instabilidade inerente aos links de rádio de baixa potência. Este trabalho tem como objetivo utilizar mecanismos disponibilizados por padrões bem estabelecidos como o IEEE 802.15.4 para mitigar os problemas de instabilidade relacionados aos links de comunicação nas redes de sensores sem fios, criando uma plataforma de desenvolvimento robusta e versátil, alinhada com os esforços de padronização que se encontram em andamento. Este trabalho apresenta uma proposta para a arquitetura de nodos de sensores sem fios, a qual busca complementar o modelo genérico comumente utilizado, através da adição de suporte à diversidade de interfaces. Também é introduzida uma proposta de extensão para a camada MAC do padrão IEEE 802.15.4, capaz de abstrair as particularidades relacionadas à transmissão de dados em nodos dotados de múltiplas interfaces de comunicação. A fim de validar as propostas realizadas, são descritos e executados experimentos utilizando protótipos reais, construídos com base na arquitetura sugerida anteriormente. Os resultados obtidos demonstram que a grande variedade de interfaces disponibilizada pelo IEEE 802.15.4 é suficiente para implementação de sistemas de comunicação robustos, baseados na técnica de diversidade de interfaces. Também conclui-se que as camadas inferiores da pilha de protocolos são capazes de fornecer informações suficientes para que se possa prever com precisão razoável a qualidade dos links de comunicação. Por fim constata-se, que através da utilização de algoritmos de estimativa de qualidade dos links, em conjunto com técnicas de diversidade de interfaces, pode-se obter links de comunicação mais robustos, com baixo overhead energético. / Wireless Sensor Networks enable the monitoring of various process and fenomena, also leading the way to the creation of a new generation of smart, dynamic and interconected devices. The great diversity of applications to which these systems are intended for, however, put several constraints on it’s projects, motivating the use of application oriented solutions. Although this approach might lead to effective solutions for targeted applications, it also ignores wider optimization possibilities. Currently there are some very active ongoing standardization efforts related to low-power wireless sensor networks, like the IEEE 802.15.4 standard, however there are still unresolved issues, common to the vast majority of these systems like, for example, the inherent unstability of low power wireless comunication links. This paper’s main goal is to provide solutions to mitigate link stability issues related to most of the common wireless sensor network’s radio communication systems. By utilizing mechanisms provided by well established standards, like IEEE 802.15.4, a robust and flexible development platform, aligned with the ongoing standardization processes, will be created. This paper proposes a wireless sensor node architecture that intends to complement most common generic models by adding suport to interface diversity. It also proposes an amendment to IEEE 802.15.4 MAC layer, by adding the capabilities needed to handle interface diversity specifics. In order to validate the previously made proposals, prototipes based on the sugested architecture were built and real-life experiments were conducted. The results indicate firstly that the great number of interfaces supported by IEEE 802.15.4 is enough to allow for the use of frequency based interface diversity technics. It is also possible to conclude that the lower layers of the protocol stack are able to provide enough information to predict link quality with reasonable accuracy. Finally we conclude that through the use link quality estimation algorithms in conjunction with interface diversity techniques it is possible to attain more robust communication links, without incurring in great power consumption overhead.