PPGEE

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

Artigos

Disciplinas Obrigatórias

1. PGENE509- Probabilidade e Processos Estocásticos

Ementa: Probabilidade; Variáveis Aleatórias e Transformações; Variáveis Aleatórias Multiplas; Processos Estocásticos Contínuos e Discretos no Tempo; Características Espectrais de Processos Estocásticos; Resposta de Sistemas Lineares e Entradas Aleatórias.

Bibliografia: ROSS, S. M. Introduction to Probabiliy Models. 9 Edition. Academic Press, 2007

LEON –GARCIA. A Probability and Random Processes for Electrical Engineering. 3 Edition. Prentice Hall,2008.

KAY, S. Intutive Probability and Random Processes: With Applications to Signal Processing and Communication

Créditos: 4

Carga Horária: 60 horas

2. PGENE 524- Sistemas Lineares

Ementa: Espaços lineares. Modelos matemáticos. Equações dinâmicas e respostas ao impulso. Controlabilidade e observabilidade. Realimentação e observadores de estado. Estabilidade de sistemas lineares. Projetos.

Bibliografia: C.T. Chen- Linear System Theory and Design, HRW editors, 1984

KAILATH, T. Linear Systems, Prentice-Hall, Inc., Engkewood Clifs, N. J., 1980

STRANG, G., Linear Algebra and its Applications, Harcourt Brace Jovanovich, Inc., 1980

Créditos: 4

Carga Horária: 60 horas

Disciplinas Optativas

3. PGENE506- Introdução aos Sistemas de Automação Industrial

Ementa: Definições básicas de terminologia. Conceitos sobre automação de processos e de produtos. Sistemas de apoio ao processo de automação. Estrutura de sistemas industriais. Sensores e atuadores. Sistemas de comunicação em rede industrial. Periféricos de automação. Programação de sistemas de tempo real. Softwares de apoio ao desenvolvimento. Segurança e confiabilidade de sistemas de automação industrial.

Bibliografia: Prozessautomatisierung, 2 Bde. Lauber, Rudolf; Göhner, Peter, Springer, Berlin

Automação Industrial, Natale, Ferdinando, Erica

Engenharia de Automação Industrial, Castrucci, Plinio de Lauro, LTC

Fundamentos de Automação Industrial Pneutronica, Bollmann, Arno, Edição do Autor

Artigos diversos do IEEE e da ACM

Créditos: 4

Carga Horária: 60 horas

4. PGENE 523- Processamento Digital de Imagens

Ementa: Fundamentos de imagens digitais: modelo de imagem, amostragem e quantização; relacionamentos básicos entre pixels, geometria de imageamento; transformadas de imagens; Enriquecimento de imagens; Compressão de imagens e Segmentação de imagens.

Bibliografia: Digital Image Processing , C. Gonzalez & Richard E. Woods , Prentice Hall; 2nd edition (January 15, 2002); ou Processamento de Imagens Digitais - Rafael C. Gonzalez & Richard E. Woods, 1ª. Edição, Editora Edgard Blucher Ltda, 2000; Digital Image Processing Using MATLAB, Rafael C. Gonzalez, Richard E. Woods, Steven L. Eddins, Prentice Hall; 1st edition (September 5, 2003); Processamento Digital de Imagens - Ogê Marques Filho e Hugo Vieira Neto, Rio de Janeiro, Brasport, 1999; Image Processing Handbook, John C Russ, CRC Press, 1992; Digital Image Processing - Kenneth R. Castleman, Prentice Hall, 1996; Digital Image Processing - Zarih Hussain, Ellis Horwood Limited, 1991. Image Pprocessing - Continuous to Discrete, Edward R. Dougherty, Charles R Grardina, Prentice Hall, 1987.

Créditos: 4

Carga Horária: 60 horas

5. PGENE524- Controle e Sistemas Inteligentes

Ementa: Introdução. Noções Básicas, conceitos e definições. Operações com conjuntos nebulosos. Relações nebulosas e seu cálculo. Números nebulosos. Variáveis lingüísticas. Sistemas baseados em regras nebulosas; representação, inferência e

consistência. Lógica nebulosa e raciocínio aproximado. Controladores nebulosos. Aspectos de projetos de controladores nebulosos. Redes neurais relacionais. Controladores neuro-fuzzy. Identificação de modelos nebulosos.

Bibliografia: Pedrycz, W – Fuzzy Control and Fuzzy Systems – John Wiley and Sons

Shaw, I. A and Simões, M. G – Controle e Modelagem Fuzzy – Editora Edgard Blucher

Passino, K. and Yurkovich, S - Fuzzy Control – Addisson-Wesley

Nguyen, H. T. and Walker, E. A. – A First Course in Fuzzy Logic. Chapman & Hall / CRC.

Créditos: 4

Carga Horária: 60 horas

6. PGENE507- Processamento Digital de Sinais

Ementa: Transformada de Fourier e Amostragem de Sinais; Sistemas Discretos Lineares; Transformada Z; Função Sistema Racional; Transformada de Fourier Discreta; Convolução Circular; Algoritmos de Transformada Rápida de Fourier; Estruturas de Realização de Sistemas Discretos; Efeitos de Quantização de Coeficientes e Variáveis; Métodos de Projeto de Filtros Digitais.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

7. PGENE511- Redes Neurais

Ementa: Introdução. Neurônios Biológicos. O Neurônio de McCulloch-Pitts. Modelos de Neurônios. Topologia de Redes de Neurônios. Aprendizado e Adaptação. Regras de Aprendizado, Aprendizado Supervisionado e Não Supervisionado, Regras de Hebb, do Perceptron, de Widrow-Hoff, Delta e Winner-take-all. Arquiteturas de Redes, O Perceptron de Rosemblat, O ADALINE de Widrow-Hoff, Redes Feedforward com Algoritmo Backpropagation, Redes com Aprendizado Competitivo e Inibição Lateral, Redes Counterpropagation, Mapa Topológico de Kohonen. Memórias Associativas, Redes de Hopfield, Redes IAC (Interactive Activation and Competition), Memórias Associativas Bidirecionais BAM. Software para Redes de Neurônios. Aplicações de Redes de Neurônios em Reconhecimento de Padrões e em Sistemas Especialistas.

Bibliografia: Neural Network Design

Martin T. Hagan, Howard B. Demuth, Mark H. Beale

Créditos: 4

8. PGENE510- Redes de Computadores

Ementa: Introdução; Conceitos Básicos de Interconexão de Redes de Computadores; Revisão da Arquitetura TCP/IP; Redes ATM - Conceitos Básicos. Operação de redes ATM; modelos de Interconexão Internet/ATM: Modelo Overlay & Modelo Peer; Emulação de redes (LANE - Lan Emualation);Protocolos em modo nativo: IP-Clássico, NHRP, MPOA; MPLS: Multiprotocol Label Switching; Qualidade de Serviço: Arquitetura de Serviço Integrados, Arquitetura de Serviços Diferenciados, MPLS e CBR (Constant Based Routing); Conceitos de Engenharia de Tráfego na Internet. Bibliografia: Texto fornecido pelo Professor e Artigos

Bibliografia:COMER, Douglas E. Redes de Computadores e Internet. Bookman, 2001.

KESHAV, S. Na Engineering Approach to Computer Network . Addson- Wesley, 1997.

TANENBAUM, Andrew S. Redes de Computadores . Campus, 1997.

Créditos: 4

Carga Horária: 60 horas

9. PGENE521- Tópicos em Engenharia de Software

Ementa: Conceitos básicos do desenvolvimento de software para sistemas de automação industrial (Tempo-Real). Engenharia de software e técnicas de software. Modelos de desenvolvimento de software e análise de diversos processos de desenvolvimento para software e hardware. Princípios e métodos de desenvolvimento. Desenvolvimento auxiliado por computador. Desenvolvimento de sistemas de tempo real. Sistemas operacionais de tempo real. Fases de desenvolvimento de sistemas técnicos de automação industrial. Engenharia de requisitos. Analise de sistemas. Desenvolvimento de sistemas. Implementação de sistemas de software. Técnicas de teste e implementação. Documentação de sistemas. Gerenciamento de projetos de software. Sistemas de qualidade. Gerenciamento de configuração de sistemas.

Bibliografia: Digital Television Fundamentals - Michael Robin;

Fundamentals of Mobile and Pervasive Computing - Frank Adelstein; Hardcover;

Software Product Line Engineering – Pohl, Bockle, van der Linden;

The Essential Guide to Digital Set-Top Boxes and Interactive TV - Gerard O'Driscoll;

ITV Handbook: Technologies and Standards - Edward M. Schwalb;

Interactive TV Standards: A Guide to MHP, OCAP, and JavaTV - Steven Morris.

Component-Based Software Engineering – Heineman; Council.

Créditos: 4

Carga Horária: 60 horas

10. PGENE518- Visão Computacional

Ementa: Formação e geometria da imagem; Modelagem e calibração de câmeras; Filtragem, Realce e segmentação de imagens; Cor e textura; Detecção de linhas e curvas; Análise da forma; Visão Estéreo; Forma a partir de X.

Bibliografia: RUCCO, Emanuele e VERRI, Alessandro, "Introductory Techniques for 3. Computer   Vision", Prentice Hall, 1998.
FORSYTH, David A. e PONCE, Jean. "Computer Vision: A modern Approach", Prentice    Hall,2003.
HORN, Berthold Klaus Paul. "Robot Vision", McGraw-Hill, MIT Press, 1986.

Créditos: 4

Carga Horária: 60 horas

11. PGENE516- Técnicas de Reconhecimento de Padrões

Ementa: Introdução ao Reconhecimento de Padrões; Conceitos básicos - Padrões, Classes e Características, Funções e Regiões de decisão, Métricas de similaridade. Aprendizado do classificador; Agrupamento; Enfoque estatístico - Discriminante lineares, Classificação Bayesina, Técnicas não paramétricas, Seleção de características, Avaliação de classificadores, Árvores de decisão. Enfoque sintático - Primitivas, Gramáticas e linguagens, Autômatos, Gramáticas Estocásticas, Gramáticas em árvores, Grafos, Correspondência em Grafos.

Bibliografia: Robert Schalkoff, Pattern Recognition, Wiley, 1992.
Keinosuke Fukunaga Introduction to Statistical Pattern Recognition, Academic Press 1990.
K.S. Fu (editor), Sintactic Pattern Recognition, Springer Verlag, 1977.
R.O Duda, P.E. Hart, Pattern Classification and Scene Analysis, J. Wiley & Sons, 1973.

Créditos: 4

Carga Horária: 60 horas

12. PGENE512- Robótica

Ementa: Robótica industrial e robótica móvel; Cinemática de manipuladores e veículos; Dinâmica de manipuladores e veículos; Robôs móveis; Controle e Arquiteturas funcionais de robôs móveis; Sensoriamento robótico;
Navegação robótica; Planejamento de movimento; Localização e mapeamento; Tarefas a aplicações para robôs móveis.

Bibliografia: DUDEK e JENKIN Computational Principles of Mobile Robotics, Cambridge University Press, 2000.
SIEGWARD e NOURBAKHSH. Introduction to Autonomous Mobile Robots, The MIT Press.
CRAIG, J.J.. Introduction to Robotics Mechanics and Control. Addison Wesley, Reading

Créditos: 4

Carga Horária: 60 horas

13. PGENE503- Engenharia de Software para Sistemas de Tempo Real

Ementa: Conceitos básicos do desenvolvimento de software para sistemas de automação industrial. Engenharia de software e técnicas de software. Modelos de desenvolvimento de software e análise de diversos processos de desenvolvimento para software e hardware. Princípios e métodos de desenvolvimento. Desenvolvimento auxiliado por computador. Desenvolvimento de sistemas de tempo real. Sistemas operacionais de tempo real. Fases de desenvolvimento de sistemas técnicos de automação industrial. Engenharia de requisitos. Analise de sistemas. Desenvolvimento de sistemas. Implementação de sistemas de software. Técnicas de teste e implementação. Documentação de sistemas. Gerenciamento de projetos de software. Sistemas de qualidade. Gerenciamento de configuração de sistemas.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

14. PGENE515- Técnicas em Inteligência Artificial

Ementa: Conceitos Básicos, Histórico, Escopo da Inteligência Artificial (IA), Os dois paradigmas da IA, Computadores Digitais e Neurais e Sistemas Especialistas (SE). Lógica Formal, Prova Automática de Teoremas, Unificação e Resolução e Extensões à Lógica Formal. Resolução de Problemas, Problemas e Espaços de Problemas, Métodos Básicos de Resolução de Problemas e Representação por Redução. Raciocínio Médico e Modelos de Imprecisão. Implementação de Sistemas Especialistas, Linguagem PROLOG, Exemplos de SE para Suporte a Decisão, Exemplos de SE para Instrução Auxiliada por Computador.

Bibliografia: A ser definida pelo professor

Créditos: 4

15.PGENE532- Metodologia da Pesquisa

Ementa: 1. Para que se faz Pesquisa? - O ciclo de vida da pesquisa. Tipos de pesquisa. 2.  Conjecturas e Refutações: As Bases do Método Científico, O que é o método científico? Como a ciência avança? Como o método científico se reflete na estrutura dos artigos científicos e das diseertações/teses? . 3. Como se faz uma dissertação/tese? O que é uma Tese de Doutorado? O que é uma Dissertação de Mestrado? Atitude de Pesquisador. 4. Planejamento de Pesquisa: Fazer Perguntas, Encontrar Respostas: As fontes do conhecimento científico. Como selecionar o material relevante. Acessando as bases de dados literárias. Mapeando os grupos de pesquisa. Como demonstrar seu conhecimento do campo de pesquisa. 5. O Desenvolvimento da Argumentação: Como construir bons argumentos. A relação entre hipóteses e evidências. Como oferecer evidências confiáveis. Como qualificar os argumentos. 6. A Produção do Conhecimento: Como Contar Sua História Claramente: Pensando como um leitor. Começando com um resumo geral. Como escrever introduções e conclusões. O processo de revisão do documento. 7. Produção de Documentos: Clareza, Precisão, Fluidez, Objetividade,Familiaridade;

Bibliografia: W. Booth, G. Colomb, J. Williams, “The Cratf of Research”. University of Chicago Press, 1995.

C. Cruz, U. Ribeiro, Metodologia Científica: Teoria e Prática. 2º Edição. Editora Axcel, 2004.

C.R. S. Barbalho, S. O. Moraes. Guia para Normatização de Teses e Dissertações. Manaus:UFAM, 2003.

ABNT- Associação Brasileira de Normas Técnicas. NBR 6023 e NBR 10520. Rio de Janeiro.

ABNT- Associação Brasileira de Normas Técnicas. Informação e Documentação- trabalhos acadêmicos- apresentação: NBR 14724. Rio de Janeiro: ABNT, 2001.

Associação Brasileira de Normas Técnicas. Numeração Progressiva das Seções de um Documento: NBR 6024. Rio de Janeiro: ABNT, 2003.

Créditos: 2

Carga Horária: 30 horas

16.PGENE531 Computação Móvel e Redes de Sensores sem Fio

Ementa: Esta disciplina dispõe sobre diversos aspectos de redes sem fio e sistemas de computação móvel. Serão apresentados conceitos básicos de redes de computadores e telecomunicações, principais características e problemas de redes sem fio, arquiteturas e protocolos de comunicação, software e hardware de dispositivos móveis, aplicações móveis e serviços móveis. De forma particular, maior foco será dado aos

aspectos de projeto e problemas de Redes de Sensores sem Fio devido ao seu grande potencial de aplicação a diversos sistemas de monitoramento e supervisão.

Bibliografia: A ser definida pelo professor

Créditos:4

Carga Horária: 60 horas

17.PGENE530- Aspectos e Desempenho de Segurança em Hardware

Ementa: Parte I: Estudo dos conceitos relacionados com segurança de redes de computadores, assim como apresentar e discutir as principais técnicas e ferramentas usadas atualmente nesta área; Parte II: Organização Básica de Sistemas Computacionais Modernas. Técnicas usadas em arquiteturas avançadas e modernas. Introdução ao Projeto de Sistemas Digitais em FPGAs e VHDL. Projeto de uma solução de segurança em hardware.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

18.PGENE529 -Ciência e Tecnologia da Fala

Ementa: Lineares Invariantes do tempo(LIT), respostas de sistemas LIT às entradas exponenciais. Representação de sinais em séries discretas e contínuas de Fourier. Transformada discreta e contínua de Fourier, amostragem. Transformada Z e transformada de Laplace. Funções de densidade de probabilidade e funções de distribuição cumulativa. Função característica, esperança, funções e duas variáveis aleatórias. Processos estocásticos, processos de Markov. Produção da Fala: aspectos fisiológicos do sistema respiratório, regiões sub-glotal. Produção da Fala:geração da forma deonda de pressão acústica e velocidade do volume. Aspectos fisiológicos do sistema auditivo, resposta em freqüência, tipos de codecs, função de transferência, modelos acústicos do tio HMM, treinamento do sistema ASR.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

19.PGENE528- Sistemas Lógicos e Representação do Conhecimento

Ementa: Lógica Formal, Elementos Sintáticos e Semânticos da Lógica das Proposições, Inferência em Lógica das Proposições, Elementos Sintáticos e Semânticos da Lógica de Primeira Ordem, Representação do Conhecimento em lógica de Primeira Ordem, Inferência em Lógica de Primeira Ordem, Intratabilidade Computacional, Inferência com Cláusulas de Horn, Aspectos Procedurais da Inferência Lógica, Linguagem Prolog, Implementação de Bases de Conhecimento em Linguagem Prolog, Regras em Sistemas de Produção, Redes Semânticas e Frames, Incerteza em Sistemas Lógicos, Sistemas Especialistas.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

20. PGENE527- Compressão de Imagens e Vídeo

Ementa: 1. Elementos de Percepção Visual;2.Elementos da Teoria da Informação;3.Compressão de Imagens;4.Compressão e Codificação de Imagens Estáticas;5.Compressão e Codificação de Vídeo.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

21.PGENE526- Seminários em Engenharia Elétrica

Ementa: Promoção de seminários sobre temas atuais e/ou relevantes e de interesse para as dissertações em curso no Mestrado de Engenharia Elétrica da UFAM.

Bibliografia: A ser definida pelo professor

Créditos:2

Carga Horária: 30 horas

22. PGENE525- Estudos Especiais I

Ementa: Programa de estudo orientado, focado em tema específico não abordado (ou parcialmente abordado) em outras disciplinas do curso, visando a elaboração de dissertação de mestrado. Pode ser ministrada individualmente ou em grupo, sob a direção do professor orientador.

Bibliografia: a critério do professor da disciplina

Créditos:2

Carga Horária: 30 horas

23. Controle Robusto

Ementa: Desigualdades Matriciais Lineares: notação, definição, problemas padrão envolvendo desigualdades matriciais lineares. Otimização Convexa Não Diferenciável: conceitos, definição do problema, formulação de problemas de controle robusto como problemas de otimização não diferenciável. Algoritmo do Elipsóide: conceitos e definições, estratégia de busca da solução ótima, exemplos ilustrativos. Algoritmos de Ponto Interior: conceitos e definições, funções barreira e estratégias de busca da solução ótima, exemplos de aplicação. Perspectivas de Pesquisa.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

Créditos:4

Carga Horária: 60 horas

24. PGENE517 - Transmissão Digital de Imagens

Ementa: Características do Sinal de Vídeo, Digitalização do Sinal de Imagens. Sinais e Sistemas 2-D, Transformada de Fourier, Transformada Z/2-D, Transformada de Fourier 2-D Discreta, Filtros de Resposta Impulsiva Finita 2-D, Filtros de Resposta Impulsiva Infinita 2-D.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

25. PGENE513- Sistema de Controle por Computador

Ementa: Introdução ao controle por computador. Sistemas discretos. Análise de sistemas discretos. Alocação de pólos. Aproximação de controladores contínuos. Implementação de controladores digitais. Modelos de perturbação. Métodos de projetos ótimos.

Bibliografia: A ser definida pelo professor

Créditos: 4

Carga Horária: 60 horas

26. PGENE504- Identificação de Sistemas

Ementa: Modelagem matemática. Métodos determinísticos. Métodos não paramétricos. Estimador de mínimos quadrados. Estimadores não polarizados. Estimadores recursivos. Identificação de sistemas não-lineares. Testes e escolha de estruturas. Validação de modelos.

Bibliografia: A ser definida pelo professor

Créditos:4

Carga Horária: 60 horas

27. PGESTDOC1- Estágio em Docência na Graduação – 1

Ementa: A ser definida pelo professor

Bibliografia: A ser definida pelo professor

Créditos:4

 

 

28. Disciplina:Otimização

Ementa: Introdução à otimização, Modelagem de problemas de otimização; Técnicas de otimização clássicas; Programação não linear: métodos de otimização sem restrições; Programação linear: método simplex. Programação inteira; Programação multi-objetivo; Métodos Modernos de Otimização: Algoritmo Genético, Recozimento Simulado, Algoritmo de formiga, Exame de partículas.

Bibliografia:

Singiresu S. Rao, Engineering Optimization, Fourth Edition, , John Wiley & Son Ltd.

Rangarajan K. Sundaram, A First Course in Optimization Theory, Cambridge University Press

Ross Baldick, Applied Otimization, Cambridge University Press

R. Fletcher, Practical Methods of Optimization, John Wiley & Son Ltd.

Créditos: 4


29- Disciplina: Interface Homem-Máquina Carga-Horária: 60h

Ementa:  Projeto Centrado no Usuário;. Engenharia da Usabilidade; Concepção de Interfaces; Método para Concepção de Interfaces - MCI; Traçando o Perfil do Usuário; Inspeção de Usabilidade; Objetivos de Usabilidade; Análise e Modelagem da Tarefa; Concepção do Modelo de Interação; Modelo de Interação

Créditos: 4

Bibliografia

1. PREECE, Jennifer. Design de Interação: além da interação homem-computador. Bookman, 2005. (10)

2. MEYER, Eric A. Cascading Style Sheets: The Definitive Guide. O’Reilly, 2000. (2)

 

30- Disciplina: Algoritmos para Automação e Sistemas

Ementa: Fundamentos em Teoria da Computação. Técnicas de Análise de Algoritmos. Complexidade Computacional. Classes de Problemas Computacionais. Crescimento Assintótico de Funções. Somatórias e Resolução de Recorrências. Técnicas de Projeto de Algoritmos. Divisão e Conquista: máximo e mínimo de uma lista. Algoritmos de Ordenação. Algoritmos de Busca. Método Guloso: Código de Huffman. Árvore Geradora Mínima. Caminho de Custo Mínimo. Programação Dinâmica: Multiplicações Matriciais. Programação Linear. Árvore Binária de Busca. Problemas Computacionais Clássicos. Grafos e suas Aplicações: Algoritmos Elementares. Determinação de Estruturas de Custo Mínimo. Caminho Mínimo. Teoria da NP-Completude: Problemas NP-Completos e NP-Díficeis. Redução Polinomial. Exemplos de aplicação em automação e sistemas."

 

Créditos: 4

 

Bibliografia:

KNUTH, D. The Art of Computer Programming, Volume 1: Fundamentals Algorithms, Addison-Wesley, 1968.

KNUTH, D. The Art of Computer Programming, Volume 3: Sorting and Searching, Addison-Wesley, 1973.

RODRIGUES, Rosiane de F. Complexidade Computacional. Notas de Aula - Departamento de Ciência da Computação - ICE, Universidade do Amazonas. URL: http://www.dcc.ufam.edu.br/~rosiane/complexidade.

AHO, A. V. Foundations of computer science. 1998.

AHO,A.V.; HOPCROFT,J.E.; ULLMAN,J.D. Data Structure and Algorithms. Readings, Addison Wesley, 1982.

AHO, A.V., HOPCROFT, J.E., ULMAN, J.D. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.

BERZTISS, A.T. Data Structures: Theory and Practice, New York, Academic Press, 1971.

GAREY, M.R., JOHNSON, D.S. Computers and Intractability: A Guide to the Theory of NP-Completeness. Bell Laboratories, New Jersey. W.H. Freeman and Company, New York, 1979.

GRAHAM, R.L., KNUTH, D.E., PATASHNIK, O. Matemática Concreta: Fundamentos para a Ciência da Computação, 2a ed., LTC-Livros Técnicos e Científicos, 1995.

GREENLAW, Raymond. Fundamentals of the theory of computation: principles and practice. 1998.

HOPCROFT, John E. Introduction to automata theory, languages, and computation. 1979.

HOROWITZ, E., SAHNI, S. Fundamentos de Estruturas de Dados. Rio de Janeiro. Ed.Campus, 1987.

LEWIS, Harry R.; PAPADIMITRIOU, Christos H.. Elementos de Teoria da Computação. Porto Alegre. Ed. Bookman, 2000.

MACULAN, N. CAMPELLO, R. E. Algoritmos e Heurísticas: Desenvolvimento e Avaliação de Performance.Rio de Janeiro. Editora da Universidade Federal Fluminense, 1994.

MANBER, Udi. Introduction to Algorithms: A Creative Approach. Addison-Wesley, 1989.

MIYAZAWA, F. Keidi. Complexidade Computacional. Notas de Aula - Instituto de Computação, UNICAMP, 1999.

SZWARCFITER, J. L. et. al. Estruturas de Dados e seus Algoritmos. Rio de Janeiro. Ed. LTC, 1994. 320p.

WEST, Douglas B. Introduction to graph theory. 1996.

WIRTH, Niklaus. Algoritmos e Estruturas de Dados. Rio de Janeiro. Ed. Prentice Hall do Brasil Ltda., 1989.

ZIVIANI, Nívio. Projetos de Algoritmos e Estrutura de Dados; Escola Brasil-Argentina de Informática, Campinas, 1986.

 

31- DISCIPLINA: MORFOLOGIA MATEMÁTICA

 

Ementa: Introdução a morfologia matemática para análise de imagens; Erosão e Dilatação; Abertura e Fachamento; Transformada Hit-or-miss; Filtragem Morfológica; Segmentação; Classificação; Análise de Textura.

 

Bibliografia: Morphological Image Analysis.
Autor: P. Soille, 2 edição

 

Número de Créditos: 4

 

32- PROJETO E ANÁLISE DE ALGORITMOS

Ementa: Fundamentos em Teoria da Computação. Técnicas de Análise de Algoritmos. Complexidade Computacional. Classes de Problemas Computacionais. Crescimento Assintótico de Funções. Somatórias e Resolução de Recorrências. Técnicas de Projeto de Algoritmos. Divisão e Conquista: máximo e mínimo de uma lista. Algoritmos de Ordenação. Algoritmos de Busca. Método Guloso: Código de Huffman. Árvore Geradora Mínima. Caminho de Custo Mínimo. Programação Dinâmica: Multiplicações Matriciais. Árvore Binária de Busca. Problemas Computacionais Clássicos. Grafos e suas Aplicações: Algoritmos Elementares. Determinação de Estruturas de Custo Mínimo. Caminho Mínimo. Teoria da NP-Completude: Problemas NP-Completos e NP-Díficeis. Redução Polinomial.

 

Bibliografia:

KNUTH, D. The Art of Computer Programming, Volume 1: Fundamentals Algorithms, Addison-Wesley, 1968.

KNUTH, D. The Art of Computer Programming, Volume 3: Sorting and Searching, Addison-Wesley, 1973.

RODRIGUES, Rosiane de F. Complexidade Computacional. Notas de Aula - Departamento de Ciência da Computação - ICE, Universidade do Amazonas. URL: http://www.dcc.ufam.edu.br/~rosiane/complexidade.

AHO, A. V. Foundations of computer science. 1998.

AHO,A.V.; HOPCROFT,J.E.; ULLMAN,J.D. Data Structure and Algorithms. Readings, Addison Wesley, 1982.

AHO, A.V., HOPCROFT, J.E., ULMAN, J.D. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.

BERZTISS, A.T. Data Structures: Theory and Practice, New York, Academic Press, 1971.

GAREY, M.R., JOHNSON, D.S. Computers and Intractability: A Guide to the Theory of NP-Completeness. Bell Laboratories, New Jersey. W.H. Freeman and Company, New York, 1979.

GRAHAM, R.L., KNUTH, D.E., PATASHNIK, O. Matemática Concreta: Fundamentos para a Ciência da Computação, 2a ed., LTC-Livros Técnicos e Científicos, 1995.

GREENLAW, Raymond. Fundamentals of the theory of computation: principles and practice. 1998.

HOPCROFT, John E. Introduction to automata theory, languages, and computation. 1979.

HOROWITZ, E., SAHNI, S. Fundamentos de Estruturas de Dados. Rio de Janeiro. Ed.Campus, 1987.

LEWIS, Harry R.; PAPADIMITRIOU, Christos H.. Elementos de Teoria da Computação. Porto Alegre. Ed. Bookman, 2000.

MACULAN, N. CAMPELLO, R. E. Algoritmos e Heurísticas: Desenvolvimento e Avaliação de Performance. Rio de Janeiro. Editora da Universidade Federal Fluminense, 1994.

MANBER, Udi. Introduction to Algorithms: A Creative Approach. Addison-Wesley, 1989.

MIYAZAWA, F. Keidi. Complexidade Computacional. Notas de Aula - Instituto de Computação, UNICAMP, 1999.

SZWARCFITER, J. L. et. al. Estruturas de Dados e seus Algoritmos. Rio de Janeiro. Ed. LTC, 1994. 320p.

WEST, Douglas B. Introduction to graph theory. 1996.

WIRTH, Niklaus. Algoritmos e Estruturas de Dados. Rio de Janeiro. Ed. Prentice Hall do Brasil Ltda., 1989.

ZIVIANI, Nívio. Projetos de Algoritmos e Estrutura de Dados; Escola Brasil-Argentina de Informática, Campinas, 1986.

 

Número de Créditos: 4

 

33- Disciplina: SISTEMAS DE TEMPO-REAL

 

Ementa: Introdução: o mundo dos sistemas de tempo real; Arquiteturas de software para sistemas de tempo real; Especificações de requisitos e de projeto de tempo real; Sistemas de máquinas de estados; Especificações declarativas; Predição de tempo de execução do pior caso (WCET); Escalonamento de tarefas em sistemas em tempo real; Sincronização de processos concorrentes; Acesso a periféricos; Gerenciamento de entrada e saída (E/S); Linguagens de programação que atendem às especificidades de tempo-real; Introdução a Verificação de modelos; Verificação explícita e simbólica; Lógica temporal linear e de árvore de computação; Grafos de fluxo de controle; Semântica de programas; Satisfação booleana; Teorias do módulo da satisfação; Exemplo de aplicações.

 

Bibliografia: a critério do professor da disciplina

 

Número de Créditos: 4

 

Links

Teleduc
Sistema de educação a distância.

Lattes
A Plataforma Lattes é a base de dados de currículos e instituições das áreas de Ciência e Tecnologia

Webmail UFAM
Sistema de gerenciamento de e-mails da UFAM

Periódicos CAPES
Biblioteca virtual disponibilizada a instituições de ensino e pesquisa.

This site uses encryption for transmitting your passwords. ratmilwebsolutions.com