px facebook px twitter px youtube

logo

graduacaocomputacao

Computação Gráfica
EMENTA: Geometria: Introdução, Álgebra Linear, geometria projetiva; MODELAGEM GEOMÉTRICA: objetos gráficos planares, objetos gráficos espaciais; VISUALIZAÇÃO: câmera virtual, modelos locais de iluminação, visualização de objetos poliedrais, visualização de objetos implícitos.

 

Compiladores
EMENTA: INTRODUÇÃO: conceitos; estruturação do compilador. ANALISE LÉXICA: análise léxica. ANALISE SINTÁTICA : conceitos básicos; método lr(1) simples; método lr(1) canonico; método lr(1) l.a.; geradores de analisadores sintáticos. CHECAGEM SEMANTICA: linguagens sem escopo local; linguagens com escopo local; linguagens orientadas a objeto; gramáticas de atributos. GERAÇAO DE CÓDIGO: estruturas de memória em tempo de execução; estruturas de memória em tempo de execução para linguagens orientadas a objeto; código intermediário; implementação da geração de código. OTIMIZAÇÃO DE CÓDIGO: otimização dependente de máquina; otimização independente de máquina.

 

Gestão de Projetos
EMENTA: Início e Planejamento do Ciclo de Vida do Projeto, Planejamento de Recursos, Riscos, Cronograma e Orçamento do Projeto.

 

 

Engenharia de Software
EMENTA: - Processos de Software: modelos de processo de software; iteração de processo; atividades de processo - Desenvolvimento Rápido de Software: métodos ágeis (extreme programming; scrum) - Reuso de Software: panorama do reuso de software; padrões de projeto; geradores de aplicação; frameworks; linhas de produto de software - Evolução de Software: dinâmica da evolução de software; manutenção de software; processo de evolução; evolução de sistemas legados - Gerenciamento de Projetos: atividades de gerenciamento; cronograma de projeto; análise de riscos - Estimativa de Custo de Software: produtividade de software; técnicas de estimativa; modelagem algorítmica de custos - Gerenciamento de Qualidade: qualidade de processo e de produto; garantia de qualidade e padrões; planejamento e controle de qualidade; métricas de software - Aprimoramento de Processo: classificação e medição de processos; análise e modelagem de processos; mudança de processos; framework CMMI - Gerenciamento de Configurações: planejamento de gerenciamento de configurações; gerenciamento de mudanças; gerenciamento de versões e releases; construção de sistemas.

 

Linguagens de Programação
EMENTA: i - introdução: 1. conceitos e paradigmas; 2. sintaxe e semântica 3. processadores de linguagens. ii - tipos: 1. valores e tipos; 2. tipos primitivos; 3. tipos compostos; 4. tipos recursivos; 5. sistemas de tipos; 6. expressões. iii - armazenamento e controle: 1. variáveis e atualização; 2. atributos das variáveis; 3. comandos; 4. expressões com efeitos colaterais. iv - abstração: 1. tipos de abstração; 2.parâmetros. v - encapsulamento: 1. tipos abstratos; 2. objetos e classes. vi - sistemas de tipo: 1. sobrecarga; 2. polimorfismo; 3. inferência de tipos; 4. herança.

 

Multimídia
EMENTA: INTRODUÇÃO: Visão geral das redes de comunicação, princípios básicos de sinais digitais, sistema visual humano; SINAIS DE ÁUDIO E VÍDEO DIGITAL: varredura e display, colorimetria/espaços de cores, vídeo digital, compressão de imagens, codificação de vídeo, codificação de áudio, medidas de qualidade/desempenho; TRANSMISSÃO DE MÍDIAS: vídeo sobre IP, erros de transmissão, streaming, protocolos e padrões utilizados para transmissão multimídia.

 

Robótica
EMENTA: INTRODUÇÃO: Desenvolvimento Histórico dos Sistemas de Robótica; Conceitos de Mecânica de Manipuladores; Conceitos dePlanejamento e Controle de Trajetória; Conceitos dePercepao Sensorial e Inteligência para Sistemas Robóticos. CINEMÁTICA DE MANIPULADORES ROBÓTICOS: O Problema Cinemático Direto; O Problema Cinemático Inverso. DINÂMICA DE MANIPULADORES ROBÓTICOS: Formulação de Lagrange-Euler; Formação deNewton-Euler; Equações Generalizadas deD'Alembert para o Movimento. Planejamento de Trajetórias de Manipuladores: Conceitos Gerais de Planejamento de Trajetórias; Trajetórias de Interpolação de Juntas; Planejamento de Caminhos para um Manipulador Cartesiano. Controle de Manipuladores Robóticos: Introdução aos Servomecanismos e Elementos de Mecatrônica; Técnica do Torque Computado; Controle Adaptativo. Percepção Sensorial: Sensores de Proximidade e de Contato; Sensores de Força e de Torque. Visão de Máquina: Aquisição de Imagens e Pré-processamento; Segmentação e Descrição; Reconhecimento e Interpretação. Técnicas de IA para Robótica: Aplicações de meta-heurísticas para sistemas robóticos; Aplicações de Redes Neurais e Lógica Fuzzy para Sistemas Robóticos.

 

Inteligência Artificial
EMENTA: i - introdução: 1. introdução à ia; 2. agentes inteligentes; 3. técnicas de ia. ii -métodos de resolução de problemas: 1. busca em espaço de estados; 2. buscas cegas; 3. buscas heurísticas. iii - jogos: 1. introdução a jogos; 2. teoria minimax; 3. algoritmos para busca em jogos. iv - linguagens simbólicas: 1. lógica de 1a ordem; 2. prolog. v - representação de conhecimento: 1. sistemas baseados em conhecimento; 2. técnicas de representação.

 

Segurança da Informação
EMENTA: CONTEXTO DA SEGURANÇA DA INFORMAÇÃO:- Necessidade e valor da informação; Disponibilidade, integridade e confidencialidade; riscos e proteção: níveis, riscos operacionais, riscos físicos. Normas Técnicas e Legislação: Política de Segurança da Informação (Dec 3505/00) Normas ABNT. CRIPTOLOGIA CLÁSSICA: CRIPTOGRAFIA E CRIPTOANÁLISE:- Conceitos Básicos: Criptografia e Criptanálise; Sistemas Classícos: Criptografia e Criptanálise: Transposição, Substituição, Cifras de Vernam, Cifras de Hill.TÉCNICAS CRIPTOGRÁFICAS COMPUTACIONAIS:- Criptografia de Chave Simétrica: Cifras de Bloco: Des, outras cifras, Cifras Se: Reg. de Deslocamento. Criptografia de Chave Pública; Conceito, Assinatura Digital, RSA, EL GAMAL, Outros. Gerenciamento de Chaves; Tamanho de Chaves; Geração, Armazenamento e Transferência; Procedimentos Administrativos. Tipos e modos de Algoritmos; Funções de Condensação Autenticação de Mensagens. PROTOCOLOS CRITOGRÁFICOS:- Conceitos; Características e Tipos; Trocas de Chaves; Autenticação de Correspondentes; Voto; Certificação Digital. Exemplos de Protocolos: SSL; KERBEROS; PGP; Outros. SEGURANÇA DE REDES:- Informação na Internet: Vulnerabilidades e ameaças; Tipos de invasores; Padrões de Segurança vigentes; Ferramentas e Técnicas de ataque e defesa; Tipos de ataque. Defesa de Redes: FIREWALL; Simulação e Análise de Desempenho.

 

Simulação e Análise de Desempenho
EMENTA: INTRODUÇÃO: 1. Introdução; 2. Processo de Poisson; 3. Outros Tipos de Processo. CADEIAS DE MARKOV: 1. Cadeias de Markov em Tempo Discreto; 2. Cadeias de Markov em Tempo Contínuo; 3. Processo de Nascimento e Morte. TEORIA DAS FILAS: 1. Introdução; 2. A Fila M/M1; 3. Demais Filas Markovianas; 4. Rede de Filas; 5. Filas Não-Markovianas; 6. Filas de Prioridade. TÉCNICAS DE SIMULAÇÃO DE SISTEMAS: 1. Motivação; 2. Abordagens; 3. Estrutura Básica; 4. Geração de números pseudo-aleatórios; 5. Geração de variáveis aleatórias; 6. Coleta de dados; 7. Construção do modelo; 8. Validação do modelo; 9. Análise dos dados de saída; 10. Linguagem de Simulação.

 

Sistemas de Informações
EMENTA: INTRODUÇÃO AO SISTEMA DE INFORMAÇÕES CORPORATIVAS: 1. Introdução; 2. Histórico; 3. Discussão do Artigo de PINE II; 4. Conceitos de CISM PLANEJAMENTO DO CISM: 1. Efeitos da TI na Competição; 2. Arquiteturas das Tecnologias de Informação; 3. Operando um CISM; 4. Gerenciando o CISM; 5. Planejando o CISM.

 

Sistemas Embarcados
EMENTA: Estrutura geral de sistemas embarcados (processador, memórias, barramentos, subsistemas internos, interfaceamento e modos de operação), microcontroladores, interface de entrada (sensores, sample-hold, conversores A/D), interface de saída (conversores D/A, atuadores), elementos de memória embarcada e externa. Metodologias e ferramentas de projeto. Microcontroladores: famílias, programação assembly e C, contadores, temporizadores e dispositivos de segurança de operação, interrupções. Programação concorrente e em tempo real. Ferramentas de software e hardware para desenvolvimento, depuração e validação. Sistemas com comunicação sem fio. Estudos de caso.

 

Sistemas Distribuídos
EMENTA: INTRODUÇÃO: 1. Características dos Sistemas Distribuídos; 2. Sistemas Distribuídos versus Sistemas Centralizados; 3. Paradigmas de Sistemas Distribuídos; 4. Especificação de Sistemas Concorrentes e Distribuídos. COMUNICAÇÃO EM SISTEMAS DISTRIBUÍDOS: 1. Comunicação entre Processos; 2. Mensagens Confiáveis e Estabelecimento de Conexão; 3. Utilização de RPC. ALGORITMOS DISTRIBUÍDOS: 1. Algoritmos Básicos; 2. Sincronizadores; 3. Compartilhamento da Informação; 4. Implementação. SISTEMAS OPERACIONAIS DISTRIBUÍDOS: 1. Sistema de Arquivos; 2. Sistema de Nomes; 3. Memória Compartilhada; 4. Segurança; 5. Estudo de Caso. PROGRAMAÇÃO PARALELA - PASSAGEM DE MENSAGEM: 1. Teoria do Paralelismo; 2. Arquiteturas Paralelas; 3. Primitivas Básicas; 4. Avaliação de Desempenho e Complexidade de Programas Paralelos; 5. Paralelização Automática e Vetorização; 6. Implementação. PROGRAMAÇÃO PARALELA - MEMÓRIA COMPARTILHADA DISTRIBUÍDA: 1. Fundamentos; 2. Modelos; 3. Sistemas; 4. Implementação. TOLERÂNCIA A FALHAS: 1. Segurança de Funcionamento; 2. Confiabilidade e Disponibilidade; 3. Técnicas de Projeto; 4.Tolerância a Falhas em Sistemas Distribuídos e Arquiteturas Paralelas; 5. Arquiteturas de Sistemas Tolerantes a Falhas; 6. Implementação.

transparenciapublica px logoexercito px logo_frf px revistaime px logo_capes

© 2012 Instituto Militar de Engenharia - IME
Criação e Desenvolvimento: Agência 2A • Comunicação