Ensino e orientação para projeto de conversores CC-CC através de aplicativos em java

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Contribuições para a detecção e identificação de faltas em inversores Multiníveis

This work presents contributions in the detection and identication of faults in multilevel inverters through the study of the converters behavior under these operation conditions. Basically, the approached fault consists of an open-circuit in any switch of a three-level clamped diode inverter. The converter operation is characterized in the pre and post-fault states. A wave form behavior analysis of the pole voltage, phase current and dc-bus current is also done, which highlights characteristics that allow the detection of failure and, even, under favorable conditions, the identication of the faulty device. A compensation strategy of the approached fault (open-switch) is also investigated with the purpose of maintaining the driving system operational when a failure occurs. The proposed topology uses SCRs in parallel with the internal switches of the inverter, which allows, in some occasions, the full utilization of the dc-bus

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Actively transcribed GAL genes can be physically linked to the nuclear pore by the SAGA chromatin modifying complex

Recent work has demonstrated that some actively transcribed genes closely associate with nuclear pore complexes (NPC) at the nuclear periphery. The Saccharomyces cerevisiae Mlp1 and Mlp2 proteins are components of the inner nuclear basket of the nuclear pore that mediate interactions with these active genes. To investigate the physical link between the NPC and active loci, we identified proteins that interact with the carboxyl-terminal globular domain of Mlp1 by tandem affinity purification coupled with mass spectrometry. This analysis led to the identification of several components of the Spt-Ada-Gcn5-acetyltransferase ( SAGA) histone acetyltransferase complex, Gcn5, Ada2, and Spt7. We utilized co-immunoprecipitation and in vitro binding assays to confirm the interaction between the Mlp proteins and SAGA components. Chromatin immunoprecipitation experiments revealed that Mlp1 and SAGA components associate with the same region of the GAL promoters. Critically, this Mlp-promoter interaction depends on the integrity of the SAGA complex. These results identify a physical association between SAGA and the NPC, and support previous results that relied upon visualization of GAL loci at the nuclear periphery by microscopy ( Cabal, G. G. Genovesio, A., Rodriguez-Navarro, S., Zimmer, C., Gadal, O., Lesne, A., Buc, H., Feuerbach- Fournier, F., Olivo-Marin, J.-C., Hurt, E. C., and Nehrbass, U. ( 2006) Nature 441, 770-773). We propose that a physical interaction between nuclear pore components and the SAGA complex can link the actively transcribed GAL genes to the nuclear pore.

Mini-inversores para aproveitamento de energia fotovoltaica, com técnicas de MPPT, sincronismo e conexão com a rede de CA em BT, proteção de ilhamento, gerenciamento da energia e da operação

Pós-graduação em Engenharia Elétrica - FEIS

Sistema de extração de potência (power harvesting) usando transdutores piezelétricos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Uma nova metodologia de projeto e controle para o inversor Boost (CSI) monofásico, para o aproveitamento de fontes alternativas e renováveis de energia elétrica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Ambiente computacional para projetos de sistemas com tecnologia mista

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Inversor Buck-Boost integrado para aplicações com micro-geradores eólicos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Implementação de um controlador PID embarcado para o controle em malha fechada de um estimulador neuromuscular funcional

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Implementação de um controle digital para o compensador regenerativo de potência ativa

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Retificador boost entrelaçado com elevado fator de potência e sem ponte de diodos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Retificador trifásico de 18 pulsos com estágio CC controlado por histerese constante

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Metodologia para o cálculo de harmônicas em conversores de potência no sistema HVDC

Pós-graduação em Engenharia Elétrica - FEIS

Análise do suporte de reativos em um sistema elétrico de potência com link HVDC

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)