Programa de Pós-Graduação Profissional em Engenharia Elétrica

• TÓPICOS ESPECIAIS: COMPUTAÇÃO EVOLUTIVA (COE)

Ementa: Estudo dos Conceitos Fundamentais de Sistemas Neurais Biológicos: Definição de Inteligência Humana, Sistema Nervoso, Neurônios Biológicos; Propriedades. Redes Neurais Biológicas: Neurônios, Sinapses e Estruturas de Redes; Plasticidade Neural, Regiões Neurais, Contexto da Inteligência Computacional (Simbólica, Conexionista, Evolutiva). Definição e Estudo dos Principais Tipos de Redes Neurais Artificiais: Motivações as Redes Artificiais. Identificação Biológica ao Neurônio Artificial; Seu Comportamento ao Modelo Matemático do Neurônio Proposto por McCulloch e Pitt. Definição de cargas não lineares; Redes Feedforward e sua Utilização como Aproximadores e Classificadores; Topologias. Treinamento Tipo Error Backpropagation: Princípios, Tipos de Treinamento; Análise de Convergência de Erros, Ciclos, Épocas, Métodos de Descida em Gradiente; Redes de Kohonen e Hopfield; Técnicas de Aprendizado, Regra de Hebb, Adaptação e Aprendizado; Aprendizado Supervisionado, Aprendizado Não Supervisionado, Aprendizado Competitivo. Estudo dos principais métodos de Algoritmos Genéticos: Evolução Genética, Identificação e Conceitos Fundamentais; Gene, Cromossomo, População, Indivíduo; Componentes dos Algoritmos Genéticos: Gene, Representação, Operadores Genéticos (Principais Métodos de Seleção, Cruzamento, Mutação); Introdução aos Algoritmos Evolutivos Recentes: Inteligência Coletiva, Colônia de Formigas, Sistemas Imunológicos Artificiais. Aplicações. Simuladores de Redes Neurais e Algoritmos Genéticos: Gallops – Ferramenta de AGs; O Simulador SNNS – Stutgarter Neural Network Simulator. Acompanhamento dos Experimentos – Projetos: Desenvolvimento e Experimentações; Apresentações dos Trabalhos.

• TÓPICOS ESPECIAIS: CONDICIONADORES DE ENERGIA (CEN)

Ementa: Compensadores de reativos: passivos, ativos e híbridos. Filtros de harmônicos: passivos, ativos e híbridos. Restauradores dinâmicos de tensão. Fontes ininterruptas de energia.

• TÓPICOS ESPECIAIS: CONTROLE AVANÇADO DE SISTEMAS A EVENTOS DISCRETOS (CASED)

Ementa: Controle modular de Sistemas a Eventos Discretos (SEDs). Controle modular local de SEDs. Tópicos avançados em controle de SEDs. Estratégias avançadas de implementação da estrutura de controle supervisório. Redes de Petri.

• TÓPICOS ESPECIAIS: CONTROLE DE CONVERSORES ESTÁTICOS (CCE)

Ementa: Modelagem de conversores estáticos de potência visando o controle; Considerações e objetivos no projeto de controladores para conversores; Apresentação de técnicas avançadas de controle aplicáveis a conversores e eletrônica de potência.

• TÓPICOS ESPECIAIS: CONTROLE DE RÔBOS (CTR)

Ementa: O Problema do controle. Controle no espaço das juntas. Controle decentralizado. Controle por torque computado. Controle decentralizado. Controle no espaço operacional. Comparação entre sistemas de Controle.

• TÓPICOS ESPECIAIS: CONTROLE DIGITAL (CDI)

Ementa: Sistemas de Tempo Discreto e a Transformada z. Características de Resposta Temporal. Estabilidade de Sistemas Discretos. Sistemas a Dados Amostrados. Modelos Discretos de Sistemas com Perturbações Determinísticas e Estocásticas. Representação de Sistemas Discretos no Espaço de Estados. Controladores Digitais baseados em Controladores Analógicos. Projeto de Controladores Digitais no Plano z. Projeto de Controladores Digitais no Espaço de Estados: Imposição de Pólos e LQG. Controladores de Variância Mínima. Filtro de Kalman.

• TÓPICOS ESPECIAIS: CONTROLE DIRETO DE TORQUE – DTC (CDT)

Ementa: Revisão da modulação PWM por vetores espaciais para máquinas CA trifásicas; Análise da técnica DTC (Direct Torque Control) a partir de artigos de referência na área; O controle DTC em combinação com técnicas de controle realimentado; Estudo de perspectivas para o DTC e pontos de investigação em aberto a partir de artigos recentes na área; Simulação via Matlab.

• TÓPICOS ESPECIAIS: CONTROLE MULTIVARIÁVEL ROBUSTO (CMR)

Ementa: Análise e projeto de sistemas de controle multivariável: casos contínuo e discreto. Controlabilidade e observabilidade. Controle usando realimentação do estado totalmente medido ou parcialmente estimado. Teorema da separação. Controle ótimo LQR e LQG por alocação de polos. Introdução à análise convexa. Definição, propriedades e ferramentas básicas de LMIs. Alocação de polos em regiões convexas. Generalização para o caso de sistemas incertos. Normas de sistemas. Controle ótimo H2 e H-infinito. Filtragem robusta.

• TÓPICOS ESPECIAIS: CONTROLE ÓTIMO (TCO)

Ementa: Formulação do problema de controle ótimo. Fundamentos básicos de otimização de sistemas: caso contínuo e caso discreto. Problema linear-quadrático. Otimização e métodos numéricos em controle ótimo. Ajuste ótimo de controladores. Noções de controle adaptativo ótimo. Noções de controle preditivo. Estudo de casos.

• TÓPICOS ESPECIAIS: CONTROLE PREDITIVO (TCP)

Ementa: Definições básicas de controle preditivo. Métodos seminais: DMC e MPHC. Modelo de predição em espaço de estados. Solução do problema de otimização sem restrições. Extensão para o caso multivariável. Inclusão de restrições físicas e operacionais. Análise e tratamento da não-factibilidade do problema de otimização. Estabilidade e Robustez. Estudo de Casos.

• TÓPICOS ESPECIAIS: CONVERSORES MULTINÍVEIS (CMN)

Ementa: Topologias de conversores multiníveis. Estratégias de modulação. Aplicações e aspectos tecnológicos relacionados aos conversores multiníveis. Retificadores empregados com conversores multiníveis.

• TÓPICOS ESPECIAIS: CORREÇÃO DE FATOR DE POTÊNCIA (CFP)

Ementa: Conceitos fundamentais de Fator de Potência e Distorção Harmônica; Cargas não lineares; Correção Passiva do Fator de Potência; Correção Ativa do Fator de Potência; Acionamentos Reversíveis com CFP; Filtros Ativos.

• TÓPICOS ESPECIAIS: DIAGNÓSTICO DE FALHAS EM SISTEMAS A EVENTOS DISCRETOS (DFA)

Ementa: Conceitos básicos sobre diagnóstico de falhas em Sistemas a Eventos Discretos, Classificação geral dos métodos de diagnóstico de falhas, Diagnosticabilidade, Diagnose centralizada, Diagnose descentralizada, Codiagnosticabilidade, Métodos de verificação de diagnosticabilidade e codiagnosticabilidade de Sistemas a Eventos Discretos, Diagnose online de Sistemas a Eventos Discretos, Diagnosticabilidade Robusta, Métodos de verificação da diagnosticabilidade robusta e diagnose online.

• TÓPICOS ESPECIAIS: DINÂMICA DE MÁQUINAS ELÉTRICAS (DME)

Ementa: Fundamentos de Máquinas Elétricas. Representação Vetorial de Circuitos e Máquinas Elétricas. Modelos Dinâmicos de Máquinas de Indução. Modelos Dinâmicos de Máquinas Síncronas. Transitórios Eletromagnéticos e Eletromecânicos em Máquinas C.A. Tópicos Avançados em Dinâmica de Máquinas Elétricas.

• TÓPICOS ESPECIAIS: EQUAÇÕES DIFERENCIAIS ORDINÁRIAS (EDO)

Ementa: Existência e Unicidade de Soluções: Preliminares; O Problema de Cauchy; Exemplos; Teoremas de Pecard e de Peano; Soluções Máximas; Sistemas de Ordem Superior. Equações Diferenciais Lineares: Propriedades Gerais; Equações Lineares com Coeficientes Constantes; Sistemas Bidimensionais Simples; Oscilações Mecânicas e Elétricas. Elementos da Teoria de Sturm-Liouville: Os Teoremas de Sturm; Problemas de Sturm Liouville; Existência de Autovalores; O Problema da Corda Vibrante; Expansão em Séries de Autofunções.

• TÓPICOS ESPECIAIS: ELEMENTOS FINITOS PARA ENGENHEIROS ELETRICISTAS (EFE)

Ementa: O método dos elementos finitos: discretização do domínio; o método variacional; implementação do método dos elementos finitos; projeto com auxílio computadorizado; utilização de programas de elementos finitos.

• TÓPICOS ESPECIAIS: ELECTRONIC INSTRUMENTATION (ELI)

Ementa: Fundamentals of signals; Introduction on sensors and transducers; Main concepts forsignal conditioners; Principal integrated circuitsfor signal conversion; Standardsystems for signal acquisition.

• TÓPICOS ESPECIAIS: INTERLIGAÇÃO DE FONTES DE ENERGIA NA REDE ELÉTRICA (IFE)

Ementa: Modelagem de linhas de transmissão, geradores, turbinas a vapor, hidráulicas e a gás. Reguladores de velocidade, reguladores de tensão. Aspectos dinâmicos dos controles primário e suplementar de velocidade. Ajustes de parâmetros de reguladores. Sistemas de excitação de geradores síncronos. Efeitos do controle da excitação sobre a estabilidade. Sinais estabilizadores derivados da velocidade, frequência e potência elétrica.

• TÓPICOS ESPECIAIS: INTRODUÇÃO À OTIMIZAÇÃO EM ENGENHARIA (IOE)

Ementa: Fundamentos da otimização. Otimização irrestrita. Otimização com restrições. Programação linear. Programação inteira e inteira mista.

• TÓPICOS ESPECIAIS: JOGOS SÉRIOS (JS)

Ementa: Jogos Sérios: conceituação e caracterização; Aplicações e Tecnologias; Metodologia de Design; Tópicos Avançados.

• TÓPICOS ESPECIAIS: METODOLOGIA DA PESQUISA (MEP)

Ementa: Preparação de Apresentação Oral. Normatização do Documento Científico. Pesquisa Bibliográfica. O Método Científico. Classificação da Ciência e da Pesquisa. Planejamento da Pesquisa. Produção  Científica e Escrita de Artigo Científico. Estrutura de uma Monografia. Seminários.

• TÓPICOS ESPECIAIS: MODELAGEM E SIMULAÇÃO ELETROMAGNÉTICA (MSE)

Ementa: Método das Diferenças Finitas, Métodos Variacionais, Método dos Elementos Finitos.

• TÓPICOS ESPECIAIS: MODELAGEM GEOMÉTRICA (MOG)

Ementa: Introdução à modelagem. Métodos de modelagem/criação; operadores de Euler, operações booleanas. Curvas no plano e no espaço. Geração e representação de Superfícies. Geração e Representações de Sólidos. Construção de Modelos Complexos. Interfaces neutras para troca de arquivos. Tópicos avançados em modelagem..

• TÓPICOS ESPECIAIS: PROCESSAMENTO DIGITAL DE SINAIS (PDS)

Ementa: Sinais e sistemas de tempo discreto. Sistemas lineares invariantes no tempo (LIT). Resposta em frequência de sistemas LIT. Transformada de Fourier de tempo discreto (TFTD). Representação espectral de sinais de tempo discreto. Série de Fourier Discreta (SFD). Transformada de Fourier Discreta (TFD). Algoritmos para cálculo da TFD (FFT). Filtros FIR e IIR. Transformada Z bilateral. Amostragem de sinais de tempo contínuo. Janelamento. Análise de Sistemas LIT através de transformadas.

• TÓPICOS ESPECIAIS: PROGRAMAÇÃO LÓGICA (PL)

Ementa: Estudo dos Conceitos Fundamentais das Lógicas (Tempo Estimado: 15%): Uma Visão das Lógicas Aplicadas a Inteligência Artificial: Lógica Temporal, Modal, Paraconsistente, Circunscrição, Fuzzy, Etc; Lógica Proposicional; Corretude e Completude; Axiomas, Inferências, Teoremas. Provas Mecânicas de Teoremas (Automática) (Tempo Estimado: 30%): Definição da Linguagem (Lógica de Primeira Ordem); Alfabeto, Termos, Fórmulas (Fórmulas Atômicas), Cláusulas (Cláusulas de Horn); Interpretação Semântica: Universo de Herbrand, Interpretação, Satisfação; Interpretação Sintática: Substituição, Unificação, Resolução; Estudo Prático da Programação em Lógica (Tempo Estimado: 20%): A linguagem Prolog; Árvore de Busca: Ordem das Cláusulas, Ordem dos Objetivos; Unificação com Cláusulas; Backtracking; Computações Finalizadas. Aplicações em Programação em Lógica (Tempo Estimado: 30%): Programação por Restrições: Acompanhar as Referências; Tipos de Domínios; Técnicas com Programação em Lógica; Estratégias. Acompanhamento dos Experimentos – Projetos (Tempo Estimado: 5%): Desenvolvimento e Experimentações; Apresentações dos Trabalhos.

• TÓPICOS ESPECIAIS: PROJETO AVANÇADO DE SISTEMAS EMBARCADOS (PASE)

Ementa: Aplicações de sistemas embarcados. Arquiteturas de hardware e software. Sistemas operacionais embarcados. Metodologias de projeto. Exploração do espaço de projeto. Modelos de computação e linguagens. Síntese de hardware, software e comunicação. Validação de sistemas mistos hardware e software. Projeto baseado em plataformas. Projeto de sistemas de baixa potência..

• TÓPICOS ESPECIAIS: PROJETO DE CONVERSORES ESTÁTICOS (PCE)

Ementa: Revisão de retificadores e filtros de entrada; Conversor flyback, forward, full-bridge, half-bridge e push-pull; Circuitos de ajuda à comutação; Dimensionamento de interruptores; Circuitos de comando; Circuitos auxiliares; Controle em malha fechada; Interferência eletromagnética (EMI).

• TÓPICOS ESPECIAIS: PROJETOS E IMPLEMENTAÇÃO DE SUPERVISORES (PIS)

Ementa: Projeto de Supervisores para Sistemas a Eventos Discretos: Abordagem Monolítica (revisão) e Abordagem Modular Local. Implementação de Supervisores para Sistemas a Eventos Discretos: Implementação Centralizada e Distribuída. Implementação em Controladores de Lógica Programável (CLP) e em Microprocessadores.

• TÓPICOS ESPECIAIS: PROPAGAÇÃO DE ONDAS EM GUIAS DIELÉTRICOS (POG)

Ementa: Noções de eletromagnetismo em super-altas frequências (SHF) e equações de Maxwell. Equação de onda e condições de contorno. Caracterização de guias de onda dielétricos. Estrutura de guia planar. Propagação de ondas eletromagnéticas em fibras ópticas. Tipos de guias de onda. Dispersão. Parâmetros modais. Teoria de modos acoplados (TMA). Aplicações da TMA em acopladores direcionais, acopladores para multiplexação em comprimento de onda e filtros ópticos. Noções de propagação em meios não-lineares (Equação de Schroedinger Não-Linear). Modelagem de dispositivos em fibras ópticas a base de redes de difração.

• TÓPICOS ESPECIAIS: SENSORES E TRANSDUTORES (SET)

Ementa: Introdução a sistemas de medição; Transdutores de temperatura; Extensômetros; Transdutores de posição; Transdutores de velocidade e aceleração; Transdutores ópticos; Transdutores integrados; Introdução a condicionadores de sinais.

• TÓPICOS ESPECIAIS: THESES AND ARTICLES WRITING (TAW)

Ementa: Introduction on scientific writing; Planning to write, Outlining, Writing, and Polishing theses/articles.

• TÓPICOS ESPECIAIS: VISÃO COMPUTACIONAL (VIC)

Ementa: Fundamentos de uma Imagem Digital. Digitalização e Representação de Imagens. Elementos de um Sistema de Tratamento de Imagens. Percepção Visual. Propósito da Visão e suas Aplicações. Formação da Imagem. Sensores. Níveis de Visão e Teorias Computacionais. Visão de Baixo Nível: Filtragem, Detecção de Bordas, e Agrupamento. Visão de Nível Intermediário: Superfícies e Movimento. Visão de Alto Nível: Reconhecimento e Modelagem de objetos Bi e Tridimensionais.