Análise de algoritmos: somatórios, recorrências, ordens de crescimento. Classes de problemas P e NP. Desenvolvimento de algoritmos: algoritmos gulosos, programação dinâmica, métodos branch and bound, divisão e conquista. Teoria da Computabilidade. Teoria de Autômatos. Teoria de Turing. Hierarquia de Chomsky. Computadores.
Reticulados. Álgebra Booleana. Outras estruturas algébricas. Cálculo proposicional. Lógica de 1a ordem. Semântica de Tarski. Dedução natural. Completude e correção de sistemas dedutivos. Cálculo de seqüentes, método axiomático de prova. Forma clausal e resolução. Teoremas. Lógica temporal de primeira ordem. Outras lógicas não clássicas.
Obrigatórias - Mestrado(Clique em "nome" para ver a ementa)
Análise de algoritmos: somatórios, recorrências, ordens de crescimento. Classes de problemas P e NP. Desenvolvimento de algoritmos: algoritmos gulosos, programação dinâmica, métodos branch and bound, divisão e conquista. Teoria da Computabilidade. Teoria de Autômatos. Teoria de Turing. Hierarquia de Chomsky. Computadores.
Reticulados. Álgebra Booleana. Outras estruturas algébricas. Cálculo proposicional. Lógica de 1a ordem. Semântica de Tarski. Dedução natural. Completude e correção de sistemas dedutivos. Cálculo de seqüentes, método axiomático de prova. Forma clausal e resolução. Teoremas. Lógica temporal de primeira ordem. Outras lógicas não clássicas.
Linguagem e compreensão: palavras, sintaxe, semântica e pragmática. Modelos de processamento da língua natural. Aplicações do processamento da língua natural a sistemas de informação e sistemas inteligentes.
Processadores RISC, superescalares, SIMD, multiprocessadores, multicomputadores. Processadores multithread e dataflow. Hierarquia de memória. Redes de interconexão. Avaliação de desempenho de arquiteturas paralelas. Evolução das máquinas paralelas e suas atuais tendências evolutivas. Máquinas paralelas baseadas em agregados (Cluster Computing).
Algoritmos de roteamento, protocolos de roteamento, roteamento de tráfego multicast. Integração de serviços, tecnologias e protocolos de suporte, suporte a qualidade de serviço.
Roteamento: algoritmos de roteamento, roteamento unicast e multicast, roteamento para diferentes tecnologias de enlace. Integração de serviços: arquiteturas e protocolos de suporte. Qualidade de serviço.
Introdução Histórica. Conceitos Básicos de Biologia Molecular. Bioinformática. Internet e Bancos de Dados de Seqüências Biológicas. Abordagem Computacional de Problemas Biológicos. Análise Computacional de Seqüências de DNA. Análise Computacional de Seqüências de Proteínas. Alinhamentos de Seqüências de Proteínas. Métodos Computacionais para Alinhamento de Seqüências de Proteínas. O Algoritmo de Programação Dinâmica. Métodos Heurísticos para Alinhamento de Seqüências de Proteínas. Estudo de Caso.
Introdução Histórica. Conceitos Básicos de Biologia Molecular Estrutural. Bioinformática Estrutural. Internet e Bancos de Dados de Estruturas Biológicas. Análise Computacional da Estrutura de Proteínas. Alinhamento de Estruturas de Proteínas. Classificação da Estrutura de Proteínas. Algoritmos para a Predição das Estruturas de Proteínas. Estudo de Caso.
Circuitos e sistemas Síncronos. Circuitos e sistemas assíncronos. Circuitos e sistemas globalmente assíncronos, localmente síncronos (GALS). Corridas, transitórios e metaestabilidade. Representações não-síncronas. Componentes assíncronos. Sincronizadores. Protocolos de comunicação não-síncronos. Protocolos de duas fases. Protocolos de quatro fases. Atrasos. Modelos de atraso. Insensibilidade a atrasos. Quase insensibilidade a atrasos. Independência de velocidade. Codificações de trilha simples e múltiplas trilhas. Controladores assíncronos. Micropipelines.
Confiabilidade de Sistemas: Taxonomia. Erro. Falha. Defeito. Tolerância a falhas. Mecanismos para tolerância a falhas. Acordo em sistemas distribuídos. Redundância.
Uso de técnicas de Engenharia de Software em Inteligência Artificial. Modelagem de Sistemas Inteligentes. Projeto de Sistemas Inteligentes. Plataformas e Kits para Implementação de Sistemas Inteligentes. Reuso em Sistemas Inteligentes. Processamento de Conhecimento para Sistemas Inteligentes na Web.
Motivação do paradigma. Propriedades e características de sistemas multiagentes. Especificação de requisitos em sistemas multiagentes. Linguagens para modelagem de sistemas multiagentes. Metodologia para sistemas multiagentes. Ambientes de desenvolvimento.
Gestão orientada a processos. Métricas e indicadores de qualidade. Análise e monitoramento de processos. Descoberta de conhecimento em processos de negócio. Aplicações e tecnologias de inteligência do negócio. Tendências.
Inteligência Artificial e Inteligência Computacional. Representação e Busca. Representação e Conhecimento. Paradigmas de Resolução de Problemas. Aprendizado de Máquina.
Pesquisa científica em Sistemas de Informação, Métodos de Pesquisa em Sistemas de Informação, Estudos primários, Estudos secundários, Estudo de Caso, Teoria Fundamentada em Dados, Coleta e Análise de Dados.
Avaliação quantitativa de sistemas. Modelos Markovianos: cadeias de Markov e redes de autômatos estocásticos. Métodos analíticos à forma-produto, diretos e indiretos.
Principais métodos de pesquisa em Sistemas de Informação, Identificação dos tipos de validação de acordo com as características do projeto científico, Revisão Sistemática e Experimentos Controlados em ES.
Validação de dissertações e teses. Tipos de Métodos Empíricos. Planejamento de Estudos Empíricos. Execução de Estudos Empíricos. Exemplos e Trabalhos usando Métodos Empíricos.
Sistemas de informação: conceitos, características e propriedades. Processo de desenvolvimento. Paradigma OO. Modelagem de sistemas: aspectos funcionais, estáticos e dinâmicos. Linguagens de modelagem para elaboração de modelos e artefatos. Integração, refinamento e consistência entre modelos. Reuso de software.
Desenvolvimento de dissertações de mestrado contando com 01 hora/aula semanal de orientação individualizada por parte de um professor orientador de mestrado.
Conceitos sobre processo de desenvolvimento de software, modelos de ciclo de vida de desenvolvimento de software, metodologias de desenvolvimento de software, desenvolvimento distribuído de software, métricas de software.
Modelagem de programação Distribuída e Paralela. Expressão do paralelismo. Paradigmas de programação paralela. Aplicações distribuídas e paralelas. Estudo de caso.
Tecnologia MOS planar. Taxonomia de sistemas VLSI. Regras de projeto. Projeto de circuitos no nível de transistores. Ferramentas de PAC para sistemas VLSI. Blocos construtivos CMOS. Sistemas de PAC. Linguagens de descrição de hardware.
Preparação para os exames de qualificação contando com 01 hora-aula semanal de orientação individualizada por parte de um professor orientador de doutorado.
Preparação para os exames de qualificação contando com 01 hora-aula semanal de orientação individualizada por parte de um professor orientador de doutorado.
Conceitos de Realidade Virtual. Dispositivos Visualização e Rastreamento para Aplicações de Realidade Virtual. Técnicas de Interação em Ambientes Virtuais. Realidade Aumentada. Aplicações de Realidade Virtual e Realidade Aumentada.
Introdução à Simulação Gráfica; Modelagem de problemas complexos de simulação gráfica; Tópicos em Animação Computadorizada e Visão Computacional; Simulação de Multidões.
Sistemas de Informação e Tecnologia da Informação: conceitos e impactos nas organizações. Teoria Geral de Sistemas. Pesquisa em Sistemas de Informação. Gestão da Informação nas Organizações. Gerência de Projeto de Software. Desenvolvimento Distribuído de Software / Desenvolvimento Global de Software.
Estudo de ambientes de programação distribuída. Algoritmos distribuídos. Modelagem, implementação e avaliação de desempenho de aplicações distribuídas.
Sistemas embarcados e sistemas digitais. O processo de implementação de sistemas embarcados e digitais. Especificação de sistemas embarcados e digitais. Projeto de sistemas digitais e de sistemas embarcados. Verificação de sistemas digitais e embarcados. Níveis de abstração para representação de sistemas digitais e embarcados. Linguagens de especificação de sistemas digitais e embarcados. Linguagens para o projeto abstrato de sistemas digitais e embarcados. Linguagens para a verificação de sistemas digitais e embarcados. Prática com linguagens.
Linguagens de descrição de hardware. Tecnologia de FPGAs. Computação reconfigurável. Outros dispositivos VLSI reconfiguráveis. Prototipação rápida de sistemas digitais. Prática com plataformas de prototipação rápida de sistemas digitais. Processadores embarcados. Sistemas de interconexão hardware-hardware e hardware-software. Sistemas de desenvolvimento de sistemas embarcados reconfiguráveis.
Software Embarcado. Modelos de Computação (MoCs). Linguagens de Programação para implementação de MoCs. Projeto de software para sistemas embarcados. Middleware. Sistemas Operacionais Embarcados. Arquitetura de microprocessadores embarcados. Recursos para o desenvolvimento de aplicações embarcadas. Prática em programação de sistemas embarcados dedicados e pseudo-dedicados.
Avaliação quantitativa de sistemas, classificação de métodos. Técnicas de simulação discreta. Métodos analíticos diretos e iterativos. Cadeias de Markov.
Noções gerais de verificação. Planejamento de verificação. Revisão das técnicas usuais. Infra-estrutura para a execução da verificação. Conclusão, análise e documentação da verificação.
Linguagem e compreensão: palavras, sintaxe, semântica e pragmática. Modelos de processamento da língua natural. Aplicações do processamento da língua natural a sistemas de informação e sistemas inteligentes.
Processadores RISC, superescalares, SIMD, multiprocessadores, multicomputadores. Processadores multithread e dataflow. Hierarquia de memória. Redes de interconexão. Avaliação de desempenho de arquiteturas paralelas. Evolução das máquinas paralelas e suas atuais tendências evolutivas. Máquinas paralelas baseadas em agregados (Cluster Computing).
Algoritmos de roteamento, protocolos de roteamento, roteamento de tráfego multicast. Integração de serviços, tecnologias e protocolos de suporte, suporte a qualidade de serviço.
Roteamento: algoritmos de roteamento, roteamento unicast e multicast, roteamento para diferentes tecnologias de enlace. Integração de serviços: arquiteturas e protocolos de suporte. Qualidade de serviço.
Introdução Histórica. Conceitos Básicos de Biologia Molecular. Bioinformática. Internet e Bancos de Dados de Seqüências Biológicas. Abordagem Computacional de Problemas Biológicos. Análise Computacional de Seqüências de DNA. Análise Computacional de Seqüências de Proteínas. Alinhamentos de Seqüências de Proteínas. Métodos Computacionais para Alinhamento de Seqüências de Proteínas. O Algoritmo de Programação Dinâmica. Métodos Heurísticos para Alinhamento de Seqüências de Proteínas. Estudo de Caso.
Introdução Histórica. Conceitos Básicos de Biologia Molecular Estrutural. Bioinformática Estrutural. Internet e Bancos de Dados de Estruturas Biológicas. Análise Computacional da Estrutura de Proteínas. Alinhamento de Estruturas de Proteínas. Classificação da Estrutura de Proteínas. Algoritmos para a Predição das Estruturas de Proteínas. Estudo de Caso.
Circuitos e sistemas Síncronos. Circuitos e sistemas assíncronos. Circuitos e sistemas globalmente assíncronos, localmente síncronos (GALS). Corridas, transitórios e metaestabilidade. Representações não-síncronas. Componentes assíncronos. Sincronizadores. Protocolos de comunicação não-síncronos. Protocolos de duas fases. Protocolos de quatro fases. Atrasos. Modelos de atraso. Insensibilidade a atrasos. Quase insensibilidade a atrasos. Independência de velocidade. Codificações de trilha simples e múltiplas trilhas. Controladores assíncronos. Micropipelines.
Confiabilidade de Sistemas: Taxonomia. Erro. Falha. Defeito. Tolerância a falhas. Mecanismos para tolerância a falhas. Acordo em sistemas distribuídos. Redundância.
Uso de técnicas de Engenharia de Software em Inteligência Artificial. Modelagem de Sistemas Inteligentes. Projeto de Sistemas Inteligentes. Plataformas e Kits para Implementação de Sistemas Inteligentes. Reuso em Sistemas Inteligentes. Processamento de Conhecimento para Sistemas Inteligentes na Web.
Motivação do paradigma. Propriedades e características de sistemas multiagentes. Especificação de requisitos em sistemas multiagentes. Linguagens para modelagem de sistemas multiagentes. Metodologia para sistemas multiagentes. Ambientes de desenvolvimento.
Gestão orientada a processos. Métricas e indicadores de qualidade. Análise e monitoramento de processos. Descoberta de conhecimento em processos de negócio. Aplicações e tecnologias de inteligência do negócio. Tendências.
Inteligência Artificial e Inteligência Computacional. Representação e Busca. Representação e Conhecimento. Paradigmas de Resolução de Problemas. Aprendizado de Máquina.
Pesquisa científica em Sistemas de Informação, Métodos de Pesquisa em Sistemas de Informação, Estudos primários, Estudos secundários, Estudo de Caso, Teoria Fundamentada em Dados, Coleta e Análise de Dados.
Avaliação quantitativa de sistemas. Modelos Markovianos: cadeias de Markov e redes de autômatos estocásticos. Métodos analíticos à forma-produto, diretos e indiretos.
Principais métodos de pesquisa em Sistemas de Informação, Identificação dos tipos de validação de acordo com as características do projeto científico, Revisão Sistemática e Experimentos Controlados em ES.
Validação de dissertações e teses. Tipos de Métodos Empíricos. Planejamento de Estudos Empíricos. Execução de Estudos Empíricos. Exemplos e Trabalhos usando Métodos Empíricos.
Sistemas de informação: conceitos, características e propriedades. Processo de desenvolvimento. Paradigma OO. Modelagem de sistemas: aspectos funcionais, estáticos e dinâmicos. Linguagens de modelagem para elaboração de modelos e artefatos. Integração, refinamento e consistência entre modelos. Reuso de software.
Desenvolvimento de dissertações de mestrado contando com 01 hora/aula semanal de orientação individualizada por parte de um professor orientador de mestrado.
Conceitos sobre processo de desenvolvimento de software, modelos de ciclo de vida de desenvolvimento de software, metodologias de desenvolvimento de software, desenvolvimento distribuído de software, métricas de software.
Modelagem de programação Distribuída e Paralela. Expressão do paralelismo. Paradigmas de programação paralela. Aplicações distribuídas e paralelas. Estudo de caso.
Tecnologia MOS planar. Taxonomia de sistemas VLSI. Regras de projeto. Projeto de circuitos no nível de transistores. Ferramentas de PAC para sistemas VLSI. Blocos construtivos CMOS. Sistemas de PAC. Linguagens de descrição de hardware.
Conceitos de Realidade Virtual. Dispositivos Visualização e Rastreamento para Aplicações de Realidade Virtual. Técnicas de Interação em Ambientes Virtuais. Realidade Aumentada. Aplicações de Realidade Virtual e Realidade Aumentada.
Introdução à Simulação Gráfica; Modelagem de problemas complexos de simulação gráfica; Tópicos em Animação Computadorizada e Visão Computacional; Simulação de Multidões.
Sistemas de Informação e Tecnologia da Informação: conceitos e impactos nas organizações. Teoria Geral de Sistemas. Pesquisa em Sistemas de Informação. Gestão da Informação nas Organizações. Gerência de Projeto de Software. Desenvolvimento Distribuído de Software / Desenvolvimento Global de Software.
Estudo de ambientes de programação distribuída. Algoritmos distribuídos. Modelagem, implementação e avaliação de desempenho de aplicações distribuídas.
Sistemas embarcados e sistemas digitais. O processo de implementação de sistemas embarcados e digitais. Especificação de sistemas embarcados e digitais. Projeto de sistemas digitais e de sistemas embarcados. Verificação de sistemas digitais e embarcados. Níveis de abstração para representação de sistemas digitais e embarcados. Linguagens de especificação de sistemas digitais e embarcados. Linguagens para o projeto abstrato de sistemas digitais e embarcados. Linguagens para a verificação de sistemas digitais e embarcados. Prática com linguagens.
Linguagens de descrição de hardware. Tecnologia de FPGAs. Computação reconfigurável. Outros dispositivos VLSI reconfiguráveis. Prototipação rápida de sistemas digitais. Prática com plataformas de prototipação rápida de sistemas digitais. Processadores embarcados. Sistemas de interconexão hardware-hardware e hardware-software. Sistemas de desenvolvimento de sistemas embarcados reconfiguráveis.
Software Embarcado. Modelos de Computação (MoCs). Linguagens de Programação para implementação de MoCs. Projeto de software para sistemas embarcados. Middleware. Sistemas Operacionais Embarcados. Arquitetura de microprocessadores embarcados. Recursos para o desenvolvimento de aplicações embarcadas. Prática em programação de sistemas embarcados dedicados e pseudo-dedicados.
Avaliação quantitativa de sistemas, classificação de métodos. Técnicas de simulação discreta. Métodos analíticos diretos e iterativos. Cadeias de Markov.
Noções gerais de verificação. Planejamento de verificação. Revisão das técnicas usuais. Infra-estrutura para a execução da verificação. Conclusão, análise e documentação da verificação.
