Documento assinado digitalmente conforme MP nº 2.200-2 de 24/08/2001, que institui a Infraestrutura de Chaves Públicas Brasileira - ICP-Brasil. Este documento pode ser verificado no endereço eletrônico http://www.in.gov.br/autenticidade.html, pelo código 05302024051000052 52 Nº 90, sexta-feira, 10 de maio de 2024 ISSN 1677-7069 Seção 3 CASANOVA, M. A., CÂMARA, G., DAVIS JR., C. A., VINHAS, L., QUEIROZ, G. R. (Eds.) Bancos de Dados Geográficos. Curitiba: Ed. MundoGeo, 2005. DE SMITH, M. J., GOODCHILD, M. F., LONGLEY, P. A. Geospatial Analysis: A Comprehensive Guide. 6ª Ed. The Winchelsea Press, 2018. 618 p. ISBN 978-19-1255-603-8. DRUCK, S.; CARVALHO, M.S.; CÂMARA, G.; MONTEIRO, A.V.M. (eds). Análise Espacial de Dados Geográficos. Brasília: EMBRAPA, 2004. ISBN: 85-7383-260-6. GEMAEL, Camil. Introdução ao ajustamento de observações: aplicações geodésicas. 2.ed. Curitiba: Universidade Federal do Paraná, 2015. ISBN 978-85-8480-008-7. GHILANI, Charles D. Adjustment computations: spatial data analysis. 6.ed. Hoboken, New Jersey: Wiley International edition, 2018. ISBN 978-11-1938-598-1. Produtos cartográficos e geosserviços CASANOVA, M. A., CÂMARA, G., DAVIS JR., C. A., VINHAS, L., QUEIROZ, G. R. (Eds.) Bancos de Dados Geográficos. Curitiba: Ed. MundoGeo, 2005. CONCAR. Especificações técnicas para estruturação de dados geoespaciais vetoriais (ET- EDGV 3.0). Brasília: IBGE, 2017. CONCAR. Plano de Ação para Implantação da Infraestrutura Nacional de Dados Espaciais. 2010. IBGE. Perfil de Metadados Geoespaciais do Brasil - Perfil MGB 2.0. Rio de Janeiro: IBGE, 2021. WHITESIDE, A. OGC Web Services Common Specification. V. 1.1.0. 2023. 3. ENGENHARIA DE COMPUTAÇÃO a. Linguagens Formais e Autômatos Autômatos Finitos Determinísticos, Autômatos Finitos Não Determinísticos, Expressões Regulares, Linguagens Regulares, Propriedades de Linguagens Regulares, Gramáticas Livres de Contexto, Autômatos de Pilha, Propriedades de Linguagens Livres de Contexto, Máquinas de Turing, Indecidibilidade, Problemas Intratáveis. b. Compiladores Análise Léxica; Análise Sintática; Verificações Estáticas; Geração e Otimização de Código. c. Algoritmos, Estruturas de Dados Conceitos Básicos; Comportamento assintótico de funções, conjuntos O (), ·(), ˆ(). Complexidade do pior caso, melhor caso e caso médio; Listas; Pilhas, Filas em alocação sequencial e encadeada de memória; Árvores: Binárias, Binárias de busca, Árvore binária de custo ótima, árvores balanceadas: AVL; Lista de prioridades (heap); Códigos de Huffman; Cálculo de complexidade do pior caso de algoritmos recursivos; Técnicas de Projeto: Divisão-e-Conquista, Guloso, Programação Dinâmica e exemplos de algoritmos de cada tipo; Classes de Problemas P, NP, NP-Completo e NP-Difícil. d. Fundamentos de Programação e Linguagens de Programação Resolução Algorítmica de Problemas; Aspectos da Orientação a Objetos; Desenvolvimento de Programas em C++, Java e Python; Recursividade; Testes de Programas; Linguagens de Programação; Paradigmas e Modelos de Linguagens de Programação; Metodologias de Desenvolvimento de Programas. e. Engenharia de Software Modelos de processo; Métodos ágeis; Engenharia de requisitos; Análise e projeto de software com UML; Padrões de projeto; Qualidade de software; Revisões técnicas; Teste de software; Métricas de software; Melhoria de processo; Manutenção e evolução de software; Refatoração; Gestão de configuração de software; Gestão de riscos; Técnicas de estimativa. f. Banco de Dados Sistemas de Gerência de Banco de Dados: arquitetura de 3 níveis, papeis, funcionalidades; Projeto de Banco de Dados: modelagem conceitual e lógica de dados; Modelos de dados ER, relacional e orientado a documentos; Linguagens de consulta e manipulação de dados no modelo relacional; Processamento e otimização de consultas. g. Inteligência Artificial e Computacional Agentes Inteligentes; Resolução de Problemas por meio de Busca, Buscas Cegas e Heurísticas; Teoria de Jogos, Algoritmo Mimimax; Redes Bayesianas; Conjuntos e Lógica Difusa, Aprendizado de Máquina; Regressões Linear e Logística; árvores de decisão; Redes Neurais; Algoritmos Heurísticos; Computação Evolutiva; Inteligência de Enxames. h. Sistemas Operacionais Gerência de processos/processador, Comunicação, Concorrência e Sincronização de Processos, Gerenciamento de Memória, Alocação de Recursos e Deadlocks, Sistemas de Arquivos, Gerenciamento de Dispositivos de Entrada/Saída. i. Arquitetura de Computadores Organização de Computadores; Conjunto de Instruções, Capacidade e Tempo de Processamento; Arquitetura do processador; Pipeline; Mecanismos de Interrupção e de Exceção; Barramento; Interfaces e Periféricos, Hierarquia de Memória; Multiprocessadores. j. Lógica e Matemática Discreta Cálculo Proposicional, Lógica de Primeira Ordem, Conjuntos, Relações, Funções, Ordens Parciais e Totais, Álgebra Booleana, Estruturas Algébricas, Análise Combinatória. k. Sistemas Digitais e Sistemas Embarcados Sistemas de Numeração e Códigos; Aritmética Binária; Porta Lógica; Análise e Projeto de Circuitos Combinacionais; Minimização por Mapa de Karnaugh; Somadores; Decodificadores; Codificadores; Multiplexadores; Demultiplexadores; Análise e Síntese de Circuitos Sequenciais; Latches e Flip-Flops; Minimização de Estado; Registradores; Registradores de Deslocamento; Dispositivos Lógicos Programáveis; Memória; Microcontroladores; Fluxo de Dados e de Controle, Interface de Entrada; Interface de Saída; Projeto Integrado Hardware, Software e Firmware. l. Redes de Computadores Arquiteturas de protocolos, Modelo OSI/ISO, Arquitetura TCP/IP, Aplicações e protocolos da camada de aplicação, Serviços e protocolos da camada de transporte, Serviços e protocolos da camada de rede, Redes Locais com fio e sem fio (wireless), Serviços e protocolos da camada de enlace, Camada Física e meios de transmissão, Gerenciamento de Redes, Redes Definidas por Software (Software Defined Network - SDN), Internet das Coisas (Internet of Things - IoT). m. Sistemas Distribuídos Conceitos de Sistemas Distribuídos; Comunicação e Sincronização em Sistemas Distribuídos; Modelos e Arquitetura de Sistemas Distribuídos; Virtualização; Consistência e Replicação; Tolerância a falhas. n. Ética, Computador e Sociedade Ética e Sociedade da Informação: Ética e Cidadania; Ética e Trabalho; Ética e Educação; Ética e Poder: aspectos estratégicos do controle da tecnologia. BIBLIOGRAFIA Linguagens Formais e Autômatos Hopcroft, J. E.; Motwani, R; Ullman, Jeffrey D. Introdução à Teoria de Autômatos, Linguagens e Computação, 2ª edição, Elsevier, 2002. Compiladores AHO, A.V.; LAM, M.S.; SETHI, R; ULLMAN, J.D. Compiladores: princípios, técnicas e ferramentas, 2a edição, Pearson, 2008. Algoritmos, Estruturas de Dados e Teoria de Grafos Cormen, T.; Leiserson, C.; Rivest., R.; Stein C. Algoritmos. Teoria e Prática, 3a edição, Elsevier, 2012. Szwarcfiter, Jayme; Markenzon, Lilian. Estruturas de dados e seus algoritmos, 3a edição, LTC, 2017. Szwarcfiter, Jayme. Teoria Computacional de Grafos, 1a edição, Elsevier, 2018. Fundamentos de Programação e Linguagens de Programação Deitel, H.M.; Deitel, P.J. C++ Como Programar, 5ª edição, Bookman, 2006. Deitel, H.M.; Deitel, P.J. Java Como Programar, 10ª edição. Pearson, 2016. Rojas, A.; Kostin, S. Introdução a Programação com Python, 1a edição. Ciência Moderna, 2018 Sebesta, R.W. Conceitos de linguagens de programação, 9ª edição, Bookman, 2011. Engenharia de Software Pressman, R.S.; Maxim, B.R. Engenharia de Software: uma Abordagem Profissional, 9ed, AMGH, 2021. Sommerville, I. Engenharia de Software, 10ed, Pearson Universidades, 2019. Bezerra, E. Princípios de Análise e Projeto de Sistemas com UML, 3ed, GEN LTC, 2014. Gamma, E.; Helm, R.; Johnson, R.; Vlissides, J. Padrões de Projetos: Soluções Reutilizáveis de Software Orientados a Objetos, Bookman, 2000. Banco de Dados Elmasri, R., Navathe, S. Sistemas de Banco de Dados. 6a edição, Pearson, 2012. Silberschatz, A., Korth, H., Sudarshan, S. Sistema de Banco de Dados. 6a edição, Elsevier, 2012. Inteligência Artificial e Computacional Russel, S.; Norvig, P. Inteligência Artificial 3ª edição. Elsevier, 2013. Goldschmidt, R. R. Uma Introdução à Inteligência Computacional: fundamentos, ferramentas e aplicações, 1a Edição, Fundação de Apoio à Escola Técnica Instituto Superior de Tecnologia do Rio de Janeiro, 2010. Faceli, K. et al. Inteligência Artificial: Uma Abordagem de Aprendizagem de Máquina, 2a Edição, LTC, 2021. Sistemas Operacionais Silberschatz, A.; Galvin, P. B.; Gagne, G. Fundamentos de Sistemas Operacionais, 9a Edição, LTC, 2015. Tanenbaum, A. S.; Bos, H. Sistemas Operacionais Modernos, 4a edição. Pearson, 2016. Arquitetura de Computadores Patterson, D.A.; Hennessy, J.L. Organização e Projeto de computadores, 4a edição, Elsevier, 2014. Tanenbaum, A. S. Organização Estruturada de Computadores, 6a edição, Pearson, 2013. Lógica e Matemática Discreta Stanat, D.F.; Mcallister, D.F. Discrete Mathematics in Computer Science, Prentice Hall, 1977. Van Dalen, D. Lógica e Estrutura, College Publications, 2017. Fraleigh, J. B. Firts Course in Abstract Algebra, 7ª edição, Pearson, 2003. Sistemas Digitais e Sistemas Embarcados Eecegovac, M.; Lang, T.; Moreno, J. H. Introdução aos Sistemas Digitais, Bookman, 2000. Katz, R. Contemporary Logic Design. Benjamin/Cummings, 1994. Capuano, F. G.; Idoeta, I. V. Elementos de Eletrônica Digital, 40a edição, Erika, 2008. Lee, E. A.; Seshia, S. A. Introduction to Embedded Systems: A Cyber-Physical Approach, 1.5ª edição, LeeSeshia.org, 2014. Mardwedel, P. Embedded Systems Design: Embedded Systems Foundations of Cyber- Physical Systems, 2ª edição, Springer, 2011. Redes de Computadores Kurose, J.; Ross; K. Redes de Computadores e a Internet: Uma abordagem top-down, 6a. edição, Pearson, 2013. Behrouz A. Forouzan e Firouz Mosharraf. Redes de Computadores: uma abordagem top- down, 1a. edição, Mc Graw Hill, 2013. Tanenbaum, A. S.; Wetherall, D. Redes de Computadores, Pearson, 2011. Sistemas Distribuídos Tanenbaum, A. S. Sistemas distribuídos: princípios e paradigmas, Pearson, 2015. Tanenbaum, A. S.; Bos, H. Sistemas Operacionais Modernos, 4a edição. Pearson, 2016. Ética, Computador e Sociedade Dupas, G. Ética e poder na sociedade da informação, 3a edição, Unesp, 2011. Cortella, M.S. Educação, Convivência e Ética: Audácia e Esperança! 1a edição, Cortez, 2018. Oliveira, J. F. Tecnologia, trabalho e desemprego: um conflito social, Érica, 2004. Heerdt, M. L. Construindo ética e cidadania todos os dias, 1a edição, Sophos, 2005. 4. ENGENHARIA DE COMUNICAÇÕES a. Circuitos Elétricos Variáveis de circuitos. Elementos de circuitos. Técnicas de análise de circuitos. Análise da resposta completa de circuitos. Aplicação da transformada de Laplace à análise de circuitos. Análise de circuitos em estado permanente de corrente contínua e de corrente alternada. b. Eletrônica Digital Álgebra Booleana. Mapas de Karnaugh. Representação numérica. Portas lógicas. Circuitos combinacionais clássicos (somadores, decodificadores, etc). Circuitos sequenciais clássicos. Latches e Flip-flops. Máquinas de estado. Conversores A/D e D/A. Memórias. FPGA e outros dispositivos programáveis. c. Processamento Digital de Sinais Sinais e sistemas discretos no tempo. Transformada Z. Amostragem de sinais contínuos no tempo. Transformada Discreta de Fourier: DFT e FFT. Sistemas lineares e invariantes no tempo: análise e estruturas de implementação. Filtros: FIR (projeto por janelamento e aproximações ótimas) e IIR (projeto a partir de filtros contínuos no tempo). d. Teoria das Comunicações Conceitos Básicos: elementos de um sistema de comunicações; fontes de informação; canais de comunicações; potência e energia; distúrbios que afetam o desempenho de sistemas de comunicações; variáveis aleatórias e processos estocásticos. Sinais e Sistemas de Comunicações: transformada de Fourier; sinais nos domínios do tempo e frequência; filtros ideais; representação complexa de sinais e sistemas passa-faixa. Modulações Analógicas: modulação AM e suas variantes; modulação FM; desempenho diante de ruído AWGN; pré e dê-ênfase; receptor super-heteródino; sistemas de multiplexação na frequência. Discretização no Tempo da Informação: processo de amostragem; definição de modulação PAM, PDM e PPM. Fundamentos da Teoria da Informação: incerteza, informação e entropia; teorema da codificação de fonte; canais discretos sem memória; informação mútua; capacidade de canal; teorema da codificação de canal; entropia diferencial e informação mútua para grupos contínuos; teorema da capacidade de informação. Codificação da Fonte:– – processo de quantização; codificação PCM; códigos de Linha; sistemas TDM; compressão sem perdas. Codificação de Canal: Códigos de Bloco Lineares; Códigos Cíclicos; Códigos Convolucionais; Algoritmo de Viterbi; Códigos Turbo; Decodificação BCJR. Transmissão de Dados em Banda Base: interferência entre símbolos (IES), critério de Nyquist para ausência de IES; pulso cosseno levantado; diagrama do olho. Recepção Ótima de Sinais com Informação Digital Diante de Ruído: sinais como elemento de um espaço vetorial; receptor de mínima probabilidade de erro; filtro casado; correlator. Esquemas de Modulação Digitais Passa-Faixa: ASK, PSK, QAM, FSK e variantes; análise de desempenho em presença de ruído; relação entre eficiência espectral e desempenho em presença de ruído; receptores não coerentes. Transmissão Digital com Espalhamento de Espectro. Transmissão Multiportadora (DMT e OFDM). e. Eletromagnetismo Aplicado Campos elétricos estacionários. Materiais dielétricos e capacitância. Corrente e resistência elétrica. Campos magnéticos estacionários. Indutância. Ferromagnetismo e circuitos magnéticos. Campos elétricos e magnéticos variantes no tempo. Equações de Maxwell. Equações de onda e suas soluções. Reflexão e refração em fronteiras. Potência e energia. Linhas de transmissão e guias de ondas. Tensões e correntes equivalentes. Descrição de circuitos em guia de onda por impedância. Representação matricial de circuitos de micro- ondas. Transformadores de impedância. Elementos reativos concentrados. Dispositivos passivos recíprocos. Dispositivos passivos não recíprocos. Estruturas ressonantes. Amplificadores em micro-ondas. f. Antenas Fundamentos de Antenas: conceito de antena; parâmetros básicos. Teoria de Antenas Filamentares Elementares: dipolo infinitesimal; dipolo curta; zonas de campo próximo e distante; influência do plano de terra em dipolos; monopolos sobre plano de terra. Conjuntos de Antenas Lineares Uniformes: fator de conjunto; características gerais de radiação. Características Gerais dos Principais Tipos de Antenas: laços; variações do dipolo; Yagi-Uda; helicoidais; antenas banda-larga; antenas de abertura; antenas refletoras; antenas de microfita. g. Propagação Fundamentos de Propagação: modos e mecanismos principais de propagação por faixas de frequência (MF a EHF); modelo de espaço livre; reflexão e refração em superfícies planas regulares e irregulares; teoria das Zonas de Fresnel. Dimensionamento de Enlaces: equação geral de balanço; ruído e outras perturbações. Propagação de Sistemas Terrestres: propagação na troposfera não-homogênea (VHF para cima); conceito de raio equivalente da Terra; modelo de 2 raios para terra plana. h. Redes de Dados Topologias. Arquiteturas de Redes de Computadores: modelo OSI; arquitetura TCP/IP; comparação entre os modelos OSI, TCP/IP e IEEE.– – Meios Físicos de Transmissão em Redes de Dados: par trançado; cabo coaxial; fibra óptica; radiodifusão; instalação física;Fechar