1      Conversores LCC (Line Commuted Converter)

 1.1           Princípios básicos de conversores tiristores.

1.2           Processo de comutação (Ideal e Real).

1.3           Operação como Retificador.

1.4           Operação como Inversor.

1.5           Curvas Características de Conversores (Retificador e Inversor).

1.6           Demanda de Reativos e Fator de Potência.

1.7           Harmônicos CA e CC (Característicos e Não Característicos).

1.8           Mitigação dos Harmônicos (Conversores Multi-pulsos e Filtros).

1.9           Controle de Conversores e Sistemas LCC-HVDC.

1.10        Interação com o Sistema de Corrente Alternada.

1.11        Falha de Comutação e o Problema de Multi-Infeed.

1.11.1     Fator de Interação Multi-Infeed.

 2      Conversores VSC (Voltage Sourced Converter)

 2.1           Princípios de Operação.

2.2           Principais Topologias para Sistemas VSC-HVDC: 2-Níveis, NPC e MMC.

2.3           Controle de Conversores VSC.

2.4           Controle de Sistemas HVDC baseados em VSC.

 

Período: DOUT-2023

MAE875 Complexidade de Algoritmos Numéricos 

(Doutorado)

Descrição do curso: O que é um algoritmo operando sobre números reais? Quais subconjuntos dos números reais podem ser decididos por algoritmo? Quais problemas numéricos são tratáveis?

Abordaremos neste curso a teoria de computabilidade sobre um anel, desenvolvida por Blum, Shub e Smale. No caso particular do anel finito F2, recupera-se o modelo de Turing. Outros casos de interesse são o anel dos números inteiros, o dos números reais, o dos números complexo.

Também veremos como aplicar essas idéias no âmbito de problemas numéricos, como a solução de sistemas densos de polinômios.


Ementa:

I. Introdução à teoria da complexidade sobre um anel: problemas de decisão, NP-completude, máquinas sobre os inteiros, formulação algébrica do problema P versus NP.

II. Geometria de Algoritmos Numéricos: iteração de Newton, complexidade do Teorema Fundamental da Álgebra, complexidade do Teorema de Bézout, números de condicionamento para problemas lineares, não lineares, e complexidade do condicionamento.

Bibliografia: Lenore Blum, Felipe Cucker, Mike Shub, Steve Smale, Complexity and Real Computation.  Springer-Verlag, New York, 1998.


Período: DOUT-2023