Navegação

Seminário de Avaliação (Proposta de Temas de Dissertação)

O próximo seminário de avaliação está marcado para os dias 14 e 15 de dezembro de 2009, no período da tarde (das 13:30hs às 18:00hs), na sala 3001.

PROGRAMAÇÃO

Todos os alunos da PG deverão comparecer ao evento.

Os alunos deverão apresentar a Ficha de Avaliação e o Relatório de Acompanhamento (ou Proposta de Dissertação), em duas vias assinadas.

As apresentações terão a duração de 30 minutos e recomenda-se a utilização do padrão LaTeX para as mesmas.

Documentação


Bolsas CAPES

O Programa de PG em Sistemas e Computação recebe uma cota de bolsas da CAPES para distribuição entre os alunos regularmente matriculados. As bolsas são distribuídas segundo o mérito acadêmico não sendo permitido ao aluno bolsista manter vínculo empregatício. Durante o processo de seleção a Comissão de Avaliação agendará uma entrevista com cada um dos candidatos. Para se candidatar a uma bolsa o aluno deve manifestar seu interesse para a Comissão e fornecer as seguintes informações: A omissão de algum item ou informação errada impedirá o candidato a participar do processo. O candidato deve ainda preencher o termo de compromisso e reconhecer firma em cartório. Para a manutenção da bolsa é necessário um CR ≥ 3.

É obrigatória a matrícula prévia na disciplina "Estágio Docência" (I e II).

Disciplinas

SC 216901 - Criptologia, Prof. Xexéo
Introdução. Segurança de sistemas: segurança física e lógica, as ameaças. Segurança de sistemas: as técnicas de proteção. Segurança de sistemas: planejamento e administração. Padrões nacionais e internacionais. Histórico: o desenvolvimento da criptologia ao longo da história: dos romanos aos "scholars" americanos. Fundamentos: terminologia; os problemas de segredo e da autenticidade. Protocolos criptográficos: blocos de construção, protocolos básicos. Sistemas criptográficos clássicos: sistemas de substituição e transposição, criptografia e criptoanálise. Difusão e confusão. O DES e suas versões. Sistemas de chave pública e suas aplicações. Criptografia e a segurança de redes de computadores: proteção da informação, gerenciamento de chaves, transferência eletrônica de fundos. A segurança na Internet. Aplicações civis e militares: perspectivas. Apresentação da Bibliografia.

SC 233503 - Probabilidade & Estatística, Profa. Carmona
Espaço de probabilidade. Probabilidade condicional e independência. Variáveis aleatórias e distribuição de probabilidade. Modelos probabilísticos: discretos e absolutamente contínuos. Vetores aleatórios e distribuição conjunta. Momentos. Distribuição condicional. Convergência em distribuição. Lei dos grandes múmeros. Teorema central do limite. Estimação. Método de máxima verossimilhança. Intervalos de confiança. Testes de hipóteses. Regressão linear e correlação.

SC 213801 - Aspectos Formais da Computação, Prof. Alex
Preliminares Matemáticas: relações, funções, ordens parciais, indução, definições indutivas. Teoria das funções recursivas, Tese de Church, insolubilidade, famílias abstratas de algoritmos. Linguagens formais: sistemas de Post, gramáticas, autômatos finitos. Calculo proposicional e lógica de primeira ordem: provas por conseqüência semântica e provas por dedução natural. Completude e corretude.

SC 219300 - Projetos de Sistemas de Software, Prof. Choren
Conceitos de orientação a objetos; sintaxe Java; conceitos de orientação a objetos em Java, coleções; IDE eclipse; introdução a UML; casos de uso; dagramas de classe; diagramas de classe; diagramas de seqüência; mapeamento OO - ER; persistência JDBC; testes de software; processo de software; ciclo de vida; modelos tradicionais e ágeis; reuso de software; padrões de projeto; catálogo de padrões GoF; frameworks orientados a objetos; servlets e JSP; modelo MVC; persistência hibernate; framework Struts; framework Spring; framework JUnit.

SC 216302 - Projeto e Análise de Algoritmos, Profa. Justel
Revisão de estruturas de dados: Listas lineares. Árvores binárias de busca. Árvores balanceadas. Árvores-B. Listas de prioridades. Análise de algoritmos. Complexidade de algoritmos. Algoritmos gulosos. Divisão e conquista. Programação dinâmica.

SC 216502 - Redes de Computadores, Prof. Salles
Introdução às redes de computadores, arquitetura de redes de computadores, nível de Enlace, enquadramento, detecção e correção de erros, códigos de detecção de erros, controle de erros, estratégias ARQ, janelas deslizantes, controle de fluxo, análise de desempenho, controle de acesso ao meio, protocolos de múltiplo acesso, padrões IEEE 802, nível de rede, endereçamento e encaminhamento IP, protocolos IP, ICMP, ARP, RARP, algoritmos de roteamento, OSPF, RIP, BGP, nível de transporte, protocoos UDP e TCP, controle de congestionamento, introdução à engenharia de tráfego.

------------------------------------------------------------------

SC 210301 - Programação Concorrente e Sistemas Operacionais, Profa. Raquel / Prof. Ishikawa
Programação Concorrente com Processos e Variáveis Compartilhadas. Processos, Escalonamento, Gerência de Memória, Armazenamento Secundário, E /S, Comunicação entre Processos (IPC) e Sincronização. Condição de Corrida. Região Crítica, Locks, Barreiras, Semáforos e Monitores. Starvtion e Deadlock. Estudo de Casos: Memória Compartilhada, Pthreads, Threads em Java. Programação Distribuída e Paralela com Processos, Passagem de Mensagem, MPI, RPC, Java RMI e Rendezvous; Memória Compartilhada Distribuída (Software DSM), HJLRC; Modelos de Interação de Processos; Análise de Desempenho, Métricas de Desempenho, Escalabilidade.

SC 219101 - Engenharia de Software, Prof. Choren
Aplicação dos princípios da engenharia na produção de software para melhoria da qualidade do processo. Análise das principais metodologias (estruturada, orientada a objetos, etc.), processos de desenvolvimento (tradicional, espiral, prototipada, etc.) e métricas utilizadas no desenvolvimento de sistemas de software. Desenvolvimento e evolução de um sistema de software.

SC 500900 - Sistemas Multimidia, Profs. Jauvane / Ziviani
Representação de informação multimidia. Digitalização. Midias texto, imagem, áudio e vídeo. Compressão. Padrões de compressão. Transmissão de tráfego multimidia. Qualidade de serviço (QoS). Internet e redes de nova geração. Comunicação sem fio. Metrologia de redes. realidade virtual. Ambientes virtuais colaborativos. Novas perspectivas em redes.

SC 214202 - Sistemas de Banco de Dados, Profa. Maria Claudia
Modelos de BDS (redes, relacional, relacional-objeto, orientado a objetos). Tecnologias de Armazenamento de Dados. Otimização de consultas. Controle de concorrência. Segurança em BDs. Integração de Informações.

SC 213602 - Organização de Computadores, Prof. Paulo Rosa
Funcionamento básico de um computador digital, representação de dados e revisão de lógica digital. Arquitetura do conjunto de instruções e modos de endereçamento de operandos; unidade lógica-aritmética; processador: datapath e controle; pipelining; Hierarquia de memória: cache e memória virtual; interface processador-periféricos; tendências em arquitetura de computadores.

SC 310900 - Tópicos Especiais em Criptografia, Prof. Xexéo
Técnicas de criptoanálise: criptoanálise linear e diferencial. Sistemas de autenticação e distribuição de chaves. Sistemas de certificação digital.

SC 402101 - Tópicos Especiais em Eng. Soft. I, Prof. Choren
Engenharia de Software para sistemas multi-agentes; desenvolvimento de software orientado a aspectos; ontologias e web semântica; computação autônoma.

SC 231301 - Teoria das Filas, Prof. Salles
Introdução aos processos estocásticos. Processo de Poison. Cadeias de Markov. (tempo discreto e contínuo). Processo de nascimento e morte. Teoria das filas: Notação de Kendall, M/M/1, M/M/m, M/M/∞ , M/M/m/m, M/G/1, filas com prioridades. Simulação de eventos discretos. Aplicações na área de redes de comunicação: engenharia de tráfego, controle de admissão, controle de acesso, escalonamento, redes multiserviços.

SC 218400 - Sistemas Inteligentes de Robótica, Prof. Paulo Rosa
Aplicações de robótica e automação: ambientes perigosos, indústria, medicina, agricultura, setor de diversões; Planejamento e controles: múltiplos robôs cooperativos, dinâmica, manipulação redundante, robôs móveis, redes neurais & sistemas de lógica fuzzy; algoritmo genético & robótica evolutiva; planejamento de processos e controle inteligente; teleoperação e telerobótica; Percepção avançada: visão de máquina, prevenção de colisões, percepção não-visual, fusão e integração de sensores, mapeamento e inspeção; Inovação: nanomachines, sistemas de robôs celulares, atuação, interface e colaboração homem-robô.

SC 216401 - Algoritmos em Grafos, Profa. Justel
Conceitos básicos de Grafos. Armazenamento de Grafos num computador. Técnicas de algoritmos. Percursos em Grafos e digrafos: profundidade, largura, largurs lexicográfica. Biconectividade, componentes fortemente conexos, grafos cordiais. Caminhos, árvores geradoras. Coloração. Planaridade. Aplicações.

SC 216504 - Redes sem Fio, Prof. Kostin
Fundamentos de Transmissão, Redes de Comunicação, TCP/IP v4 e v6, IP Móvel e WAP, Protocolos de Roteamento. Tecnologia WLAN, Bluetooth, ZigBee, Introdução a Redes de Sensores, Controle de Topologia e Simulação de Redes sem Fio em ambientes com obstáculos.

SC 501600 - Web Semântica, Profa. Maria Claudia / Profa. Ana Maria
Histórico: de metadados a websemântica. Mecanismos classificatórios: vocabulário controlado, taxonomia, ontologia. Metodologia de construção de mecanismos classificatórios. Tecnologias (Linguagens, mecanismos de inferência e ferramentas) para web. Abordagens para mapeamento entre ontologias. Introdução à Lógica Descritiva.

SC 216002 - Tópicos Avançados em Criptologia, Prof. Xexéo
Análise e avaliação de algoritmos de criptografia. Técnicas de desenvolvimento de funções primitivas. Identificação de padrões em criptogramas. Aplicações de Inteligência Artificial e Linguística em Criptanálise.

SC 215900 - Modelagem Computacional I, Prof. Silva Neves
Modelagem matemática. Programação linear. Método simplex e variantes. Método Dual. Análise de sensibilidade. Problemas clássicos e aplicações na computação. Introdução ao método de pontos interiores. Programação inteira. Tecnicas de resolução. Processos estocásticos: classificação, processos Markovianos, teoria de filas. Simulação de eventos discretos: geração de variáveis aleatórias, abordagens para modelagem de simulação, algoritmos para simulação, emprego de software, análise estatística dos resultados. Modelos de avaliação de desempenho.

SC 216700 - Modelagem Computacional II, Prof. Silva Neves
Programação não linear. Programação Multi-objetivo. Teoria da decisão. Teoria de jogos. Heurísticas e Metaheurísticas: simulate annealing, Busca Tabu,Algoritmos genéricos, Scatter Search, GRASP, etc. Aplicações de Metaheurísticas a problemas de otimização combinatória.

SC 217100 - Tópicos Avançados em Ling. Prog., Prof Alex
Paradigmas de linguaguens de programação. Linguagens imperativas. Linguagens funcionais. Linguagens Orientadas a Objeto. Linguagens declarativas. Paralelismo. Implementação de linguagens de programação. Semântica formal. Aplicações.

SC 215702 - Tópicos Avançados em Banco de Dados, Profa. Maria Claudia
Tendências tecnológicas relativo a temas de pesquisas recentes e a aspectos miltidisciplinares da área de banco de dados. A ementa pode variar, de forma a acompanhar esses evoluções. tópicos relevantes: metadados, datawarehouse, integração de acervos, recuperação de informação base de dados miltimídia, sistemas na Internet.

SC 310202 - Top. Esp. Em IA: KDD e Mineração de Dados, Prof. Ronaldo
Introdução: Posicionamento, motivação e conceitos básicos; revisão em banco de dados; processo de KDD: histórico e áreas de origem; tarefas; operações, métodos e técnicas de KDD; etapas do processo de KDD: definição de objetivos, pré-processamento; mineração de dados e pós-processamento; tarefas de KDD: associação, classificação, clusterização, regressão, sumarização, detecção desvios, seqüências, Text Mining; métodos de mineração de dados: C$.%, backpropagation, K-NN, classificadores bayesianos, Apriori, Rough Sets, K-Means, ferramentas de KDD: bramining e WizRule; metodologias em KDD; exemplos de aplicaçõaes; tendências e desafios.

SC 233800 - Top. Avançados em Algoritmos, Profa. Justel
Tópicos selecionados os algoritmos mais recentes de otimização combinatória, visando utilização nos trabalhos de tese.

SC 218700 - Top. Avançados em Sist. Aut., Prof. Paulo Rosa
Utilização de algorítimo genético e redes neurais para a otimização do planejamento de trajetória de manipuladores e de veículos autônomos. Multi-agentes em sistemas autônomos e distribuídos de robótica. Robôs Cooperativos. Resultados recentes de pesquisas publicados em revistas especializadas de renome, congressos com revisores e teses de doutorado.

SC 501300 - Redes de Comunicações Militares, Prof. Salles
Monitoramento de Redes, Implementação de QoS em Redes Militares (MQoS), Redes de Sensores - Processamento de Informação e Fusão de Dados, WiMax (IEEE 802.16-2004, 802.16e), Alocação de recursos, Modelagem e Simulação, Sistemas de Comunicações Militares em Operação.

SC 310102 - Top. Esp. em Redes de Computadores, Prof. Salles
Tópicos especiais em redes visando a otimização e análise de desempenho dos sistemas. Roteamento ótimo, roteamento com QoS, engenharia de tráfego, técnicas para controle de congestionamento e admissão, modelos matemáticos para protocolos de transporte (TCP), técnicas para alocação de recursos em redes com garantia de qualidade, eficiência e equidade.

SC 501100 - Top. Esp. em Tecnologia da Inf. e Comunicação, Prof. Ziviani
Modelo de Comunicação Par-a-Par (P2P). Metrologia de Redes. Computação Pervasiva. Redes Complexas. Aplicação de TIC em Áreas Multidisciplinares.

SC 502010 - Top. Avançados em Computação de Alto Desempenho, Profa. Raquel
Tendo em vista o desenvolvimento de processadores multi-core, e as novas tecnologias de memória, será realizado um estudo de como estas inovações estão sendo exploradas na computação de alto desempenho através da leitura de artigos. Serão vistas também inovações desenvolvidas em sistemas com memória compartilhada e distribuída, clusters e em sistemas em grid.

SC 231510 - Simulação, Prof. Vidal
Simulação de Eventos Discretos, Etapas de Desenvolvimento da Simulação, Tipos de Simulação: eventos discretos, monte-carlo e simulação contínua, Modelagem de sistemas complexos, Softwares de Simulação, Simulação de redes de computadores.

SC 503000 - Sistemas de Comando e Controle, Prof. Bergmann/Choren/Salles/Yoko
Esta disciplina tem como finalidade apresentar uma introduçã aos principais conceitos necessários ao desenvolvimento de Sistemas de Comando e Controle. Os assuntos que serão ministrados abordam os processos de comando e controle bem como as principais soluções tecnológicas utilizadas nesta categoria de sistemas. Estas tecnologias serão abordadas de forma prática e envolvem as áreas de Engenharia de Software, Banco de Dados, Redes de Computadores, Segurança da Informação e Algoritmos.

SC 238600 - Lógica Fuzzy Aplicada a Problemas de Tomada de Decisão, Prof. Marcelo
Objetivos: Dotar o aluno com conhecimentos básicos de métodos de tomada de decisão e Lógica Fuzzy. Preparar o aluno para aplicar os métodos de tomada de decisão em problemas reais. Preparar o aluno para desenvolver software dentro da área. Ementa: Conceitos básicos de análise de decisão; Preparação básica para utilizar uma metodologia; Método WLC, Método AHP (clássico e ratings), Método TODIM; Introdução à Lógica Fuzzy; Conceitos básicos; Conjuntos Fuzzy, Regras SE-ENTÃO, Lógica Fuzzy e IA; Aplicações; Avaliação sintética Fuzzy.