O Mestrado Profissional em Computação Aeronáutica (MPCA) tem como objetivo contribuir para atender a crescente demanda por profissionais altamente qualificados no setor aeroespacial e em outras indústrias de alta tecnologia instaladas no país, contribuindo ainda com projetos de pesquisa aplicada de alto nível.
O Mestrado Profissional em Computação Aeronáutica do ITA divide-se em duas áreas de pesquisa complementares:
- Sistemas de Computação - trata da aplicação de métodos e técnicas de modelagem e desenvolvimento de Sistemas computacionais, tais como sistemas embarcados e sistemas autônomos, bem como a aplicação de métodos e técnicas de Segurança Cibernética.
- Metodologias de Computação - trata dos modelos matemáticos, lógicos, linguísticos, estatísticos e computacionais que abstraem ou realizam simulações de fenômenos do mundo físico e as técnicas para análise e solução de problemas dos quais são extraídas. Adicionalmente, a área trata métodos e técnicas relacionadas ao armazenamento e recuperação de Informação aeronáutica
Aula Inaugural do MPCA - Mestrado Profissional em Computação Aeornáutica - (realizada online devido a pandemia)
![]()
Aconteceu no dia 10 de agosto de 2021, a aula inaugural do primeiro mestrado profissional em Computação Aeronáutica do Brasil, realizado em parceria entre o Instituto Tecnológico de Aeronáutica (ITA) e o Instituto Euvaldo Lodi (IEL), entidade da Federação das Indústrias do Estado de Minas Gerais (FIEMG).
O novo mestrado oferece qualificação, em nível de pós-graduação, aos profissionais mineiros de todas as áreas da indústria de base tecnológica, capacitando-os para atuarem em áreas importantes de Sistemas e Metodologias de Computação e para desenvolverem projetos baseados nos conceitos da Engenharia da Computação. A aula inaugural contou com a participação do Reitor do ITA, Professor Anderson Ribeiro Correia, e do Presidente da FIEMG, Flávio Roscoe, que realizaram a abertura do evento. O Presidente da FIEMG, Flávio Roscoe, destacou a parceria e a oportunidade de compartilhar, por meio de um mestrado, do conhecimento acumulado pelo ITA e estar certo que que o curso trará benefícios para toda a sociedade mineira e para o Parque Industrial, pois compreende áreas de conhecimento fundamentais para o desenvolvimento tecnológico de todo o tecido industrial.
O Reitor do ITA, Prof. Dr. Anderson Ribeiro destacou ser a satisfação para o ITA em ter a FIEMG como parceira, por tratar-se de uma da 2ª maior Federação de Indústrias do Brasil e disse acreditar muito no potencial deste novo programa, pois entende que apenas a capacitação profissional em novas tecnologias poderá fazer a diferença para o sucesso do Brasil.
A aula inaugural foi ministrada pelo pelo iteano de Engenharia Eletrônica, da turma de 77, fundador e presidente do Conselho de Administração do Porto Digital, Silvio Romeiro de Lemos Meira, que discorreu sobre “4 Fundações, 20 Lógicas e 5 Princípios para os Futuros FIGITAIS”. O palestrante convidado finalizou ressaltando à plateia que “todo negócio tem que estar permanentemente no negócio de aprender. Todo bom negócio é também uma boa escola e tem que aprender fazendo o tempo todo. Boas escolas conectam educação e experiência e bons negócios conectam pesquisa e desenvolvimento. Negócios que aprendem são escolas de fazer e, em particular, de fazer muito mais rápido do que a gente vinha fazendo na economia e no mundo analógico”.
Fonte: ITA
CA-701 - Projetos em Sistemas Aeronáuticos
Duração: 48h. Créditos: 3. Abordagens para projetos em Sistemas Aeronáuticos: desenvolvimento integrado e multidisciplinar. Definições, modelos, processos, métodos e tendências no desenvolvimento de Projeto em Sistemas Aeronáuticos. Balanceamento da solução de projetos em Sistemas Aeronáuticos: conceituação, estudos de caso, prototipação e validação dos protótipos. Definição com o orientador do aluno do projeto individual, de acordo com as pretensões de pesquisa. Desenvolvimento do anteprojeto, de acordo com o cronograma proposto. Seminários e reuniões com o orientador. Finalização do anteprojeto e elaboração da documentação para entrega ao orientador.
CA-702 - Introdução à Engenharia de Sistemas Computacionais
Duração: 48h. Créditos: 3. Conceituação de Sistemas Computacionais. Estruturação de Sistemas Operacionais. Gerenciamento de processos. Mecanismos de intercomunicação. Escalonamento convencional e de tempo real. Filas de prioridades. Gerenciamento de memória. Gerenciamento de E/S. Gerenciamento de arquivos. Mecanismos de segurança e proteção. Noções básicas de Redes de Computadores: hardware e software. Necessidade de protocolos: o modelo TCP/IP. Os níveis: aplicação, transporte, rede, enlace. Aspectos de segurança. Tanenbaum, A. S. Sistemas Operacionais. Pearson, 4ª Edição, 2016. Silberschatz, A., Galvin, P.B., Gagne, G. Fundamentos de Sistemas Operacionais. LTC 9ª Edição, 2015. Kurose, J.F., Ross, K.W. Computer Networking, Pearson, 7a. Edição, 2017.
CA-703 - Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural
Duração: 48h. Créditos: 3. Ordem de funções. Recursividade e recorrência. Estruturas básicas de dados: pilhas, filas, listas encadeadas, árvores e grafos. Algoritmos de busca e ordenação. Emparelhamento de padrões. Algoritmos em grafos: ordenação topológica, caminho mínimo, componentes conexas, pontos de articulação, árvores geradoras mínimas. Paradigmas de programação: divisão e conquista, método guloso, programação dinâmica. Algoritmo de Strassen, codificação de Huffman, problema da mochila. CORMEN, T. H., LEISERSON, C. E. and RIVEST, R. L. “Introduction to algorithms (3rd edition)”, MIT Press, 2009. SEDGEWICK, R. and WAYNE, K. “Algorithms (4th edition)”, Addison-Wesley Professional, 2011. KNUTH, D. E. “The Art of Computer Programming: Volume 3: Sorting and Searching (2nd Edition)”. Addison-Wesley, 1998.
CA-721 - Sistemas Embarcados de Tempo Real
Duração: 48h. Créditos: 3. Conceitos de sistemas embarcados. Arquitetura de microcontroladores. Princípios básicos de sistemas de tempo real. Metodologias de projeto de sistemas embarcados. Sistemas de máquinas de estados. Integração hardware e software. Linguagens de modelagem. Administração do tempo em sistemas computacionais. Algoritmos de Escalonamento. Linguagens de programação. Sistemas operacionais de tempo real. Desenvolvimento de sistemas críticos de hardware/software. OSHANA R.; KRAELING, M. Software Engineering for Embedded Systems: Methods,Practical Techniques, and Applications. Elsevier, 2013. RIERSON, L. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press, 2013. BERGER, A. S. Embedded Systems Design: An Introduction to Processes, Tools, and Techniques CMP Books, 2002.
CA-722 - Desenvolvimento de Software em Sistemas Críticos de Segurança Aeronáuticos
Duração: 48h. Créditos: 3. Visão Geral de Desenvolvimento de Sistema; Visão Geral da Aeronave e Segurança de Sistema; DO-178; Processos Integrais; Elaboração e Gestão de Requisitos; Design de Software; Codificação e Integração; Verificação; Gerenciamento de Configuração; Garantia de Qualidade. RIERSON, L. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance, CRC Press, 2013. SPITZER C.; FERREL, U.; FERREL, T. Digital Avionics Handbook, 3rd edition. CRC Press, 2014. TOOLEY, M. Aircraft Digital Electronic and Computer Systems, 2nd edition. Routledge, 2013. LEVESON, N.G., Engineering a Safer World: Systems Thinking Applied to Safety. The MIT Press, 2012. DUNN, W. R., Practical Design of Safety-Critical Computer Systems. Reliability Press, 2002.Bozzano, M; Villafiorita, A., Design and Safety Assessment of Critical Systems. Auerbach Publications, 2011.
CA-723 - Modelos e Técnicas de Safety: Sistemas Computacionais
Duração: 48h. Créditos: 3. Principais conceitos de segurança (safety). Visão geral de sistemas computacionais seguros. Detalhamento dos componentes de sistemas computacionais seguros e suas possíveis falhas. Modelo de acidentes (STAMP). Técnicas de análise de safety (STPA, CAST, FTA, FMEA, HAZOP). Safety e Engenharia de Sistemas. Projeto dirigido por safety. Controle de safety durante operações com STAMP. Gerenciamento, organização e cultura de Safety. Estudos de casos.
CA-724 - Qualidade, Confiabilidade e Segurança de Software
Duração: 48h. Créditos: 3. Qualidade de software: modelos de qualidade de software, garantia de qualidade. Padrões de desenvolvimento de software. Confiabilidade de software: erros de software, confiabilidade e qualidade de software, medidas e modelos de confiabilidade de software. Software crítico: caracterização de software crítico, requisito de qualidade para software crítico. Confiabilidade e segurança de software crítico: metodologias, técnicas e ferramentas. Nader-Rezvani, N. “An Executive’s Guide to Software Quality in an Agile Organization: A Continuous Improvement Journey”. Los Altos, CA: Apress, 2018. WESTFALL, L. “The Certified Software Quality Engineer Handbook, Second Edition”. ASQ Quality Press, 2017. GALIN, D. “Software Quality: Concepts and Practice”. Hoboken, NJ: Wiley, 2018.
CA-725 - Inteligência Artificial para Robótica Móvel
Duração: 48h. Créditos: 3. Máquinas de estados finitos. Árvore de comportamentos. Busca informada. Planejamento de ações com busca. Otimização Metaheurística. Métodos de otimização de busca local. Métodos de otimização baseados em população. Estratégias Evolutivas. Problemas de otimização em robótica móvel. Visão Computacional. Aprendizado de máquina clássico e profundo. Aplicações de aprendizado de máquina em robótica móvel. Aprendizado supervisionado. Redes neurais convolucionais para visão computacional. Aprendizado por reforço clássico e profundo. Aprendizado de tarefas robóticas usando aprendizado por reforço. NORVIG, Peter; RUSSELL, Stuart. Artificial Intelligence: A Modern Approach, third edition. Pearson, 2009. GOODFELLOW, Ian; BENGIO, Yoshua; COURVILLE, Aaron; BACH, Francis. Deep Learning. The MIT Press, 2016. SUTTON, R. S.; BARTO, A. G. Reinforcement Learning: An Introduction, second edition. The MIT Press, 2017.
CA-731 - Fundamentos de Segurança Cibernética
Duração: 48h. Créditos: 3. Segurança de Sistemas: Compilação e Semântica de Execução, Análise de Binários, Ataques do Controle de Fluxo de Programas, Execução de Código Vulnerável, Aleatoriedade de endereçamento de memória, Proteção de Memória com Canários, Programação Orientada a Retornos, Integridade do Controle de Fluxo. Criptografia: Funções de números pseudoaleatórios, Cifradores Simétricos, Funções Hash, Criptografia de Chave Pública; Segurança de Redes: Segurança BGP e DNS, Teoria de Detecção de Ataques de Rede, Sistemas de Prevenção de Intrusão; Segurança Web: Ataques de Injeção, XSS e CSRF; Ataques de Negação de Serviço Distribuído; Segurança em Sistemas Operacionais: Autenticação e Autorização; Segurança em Ambiente de Computação Móvel. Charles P. Pfleeger, Shari Lawrence Pfleeger, Jonathan Margulies. Security in Computing. 5th Edition. Prentice Hall, 2015. Yuri Diogenes, Erdal Ozkaya. Cybersecurity - Attack and Defense Strategies: Infrastructure security with Red Team and Blue Team tactics. Packt 2018. Wenliang Du. Computer Security: a hands-on approach. Ed. Create Space. 2017.
CA-732 - Fundamentos de Criptografia
Duração: 48h. Créditos: 3. Segurança de Sistemas: Compilação e Semântica de Execução, Análise de Binários, Ataques do Controle de Fluxo de Programas, Execução de Código Vulnerável, Aleatoriedade de endereçamento de memória, Proteção de Memória com Canários, Programação Orientada a Retornos, Integridade do Controle de Fluxo. Criptografia: Funções de números pseudoaleatórios, Cifradores Simétricos, Funções Hash, Criptografia de Chave Pública; Segurança de Redes: Segurança BGP e DNS, Teoria de Detecção de Ataques de Rede, Sistemas de Prevenção de Intrusão; Segurança Web: Ataques de Injeção, XSS e CSRF; Ataques de Negação de Serviço Distribuído; Segurança em Sistemas Operacionais: Autenticação e Autorização; Segurança em Ambiente de Computação Móvel. Charles P. Pfleeger, Shari Lawrence Pfleeger, Jonathan Margulies. Security in Computing. 5Th Edition. Prentice-Hall, 2015. Yuri Diogenes, Erdal Ozkaya. Cybersecurity - Attack and Defense Strategies: Infrastructure security with Red Team and Blue Team tactics. Packt 2018. Wenliang Du. Computer Security: a hands-on approach. Ed. Create Space. 2017.
CA-733 - Operações Cibernéticas e Jogos de Guerra Cibernética
Duração: 48h. Créditos: 3. Ciclo de testes de penetração de sistemas. Reconhecimento passivo e ativo de recursos. Levantamento de vulnerabilidades e mapeamento de métodos de exploração. Métodos de pós-exploração e pivotação. Formalização e relatórios pós-incidentes. Amplo uso de ferramentas: nmap, metasploit, wireshark, burpsuite, John the Riper, nessus. Montagem de ambientes de jogos de guerra cibernéticas. Kennedy, D. (2011). Metasploit: The Penetration Tester’s Guide (1rst ed.). No Starch Press. Ramachandran, V. (2011). Raphael Hertzog; Jim O'Gorman. Kali Linux Revealed: Mastering the Penetration Testing Distribution. Ed. Offsec Press. (2017). Simpson, M., Backman, K., Corley, J. (2010). Hands-On Ethical Hacking and Network Defense (2nd ed.). Boston, MA: Course Technology, Cengage Learning.
CA-734 - Segurança em Sistemas Críticos
Duração: 48h. Créditos: 3. Sistemas de Infraestruturas Críticas. Sistemas de Controle Industrial - ICS. Arquitetura de Segurança de ICS. Ameaças de ICS: sequestro, malwares e mecanismos de spam. Vulnerabilidades de ICS: ataques em ambiente restrito, fuzzing e DDoS. Técnicas de Análise de Risco para ICS e métricas de garantia de segurança. Ambientes de testbed para infraestruturas críticas. Thames, Lane; Schaefer, Dirk. Cybersecurity for Industry 4.0: Analysis for Design and Manufacturing. Ed. Springer. 2017. Tyson Macaulay; Bryan L. Singer. Cybersecurity for Industrial Control Systems: SCADA, DCS, PLC, HMI, and SIS. Ed. Auerbach Publications. 2012. Roberto Setola; Vittorio Rosato; Elias Kyriakides; Erich Rome. Managing the Complexity of Critical Infrastructures: A Modelling and Simulation Approach. Ed. Springer. 2017.
CA-735 - Inteligência Artificial para Segurança Cibernética
Duração: 48h. Créditos: 3. Segurança de Computadores: Fundamentos da Segurança Cibernética; Representação de conhecimento: Introdução à Ontologias, Formato OWL, Modelagem Conceitual de Ciberconhecimento, Representação de Conhecimento da Semântica da Rede; Aprendizado de Máquina: Introdução a Sistemas de Aprendizado, Inteligência Adaptativa, Processamento de Texto e de Linguagem Natural, Segurança em Sistemas de Aprendizado de Máquina; Aplicações: Identificação de Vulnerabilidades de Software Visadas, Detecção de Ataques de Rede, Detecção de Intrusão de Rede, Análise de Aplicativos. Leslie F. Sikos. AI in Cybersecurity. 1st Edition. Springer, 2018. Yuri Diogenes, Erdal Ozkaya. Cybersecurity - Attack and Defense Strategies: Infrastructure security with Red Team and Blue Team tactics. Packt 2018. Du, Wenliang. Computer Security: A Hands-on Approach. 1st Ed. CreateSpace Independent Publishing Platform. 2017.
CA-741 - Engenharia de Requisitos em Sistemas de Informação Aeronáuticos
Duração: 48h. Créditos: 3. Introdução: Requisitos, Tipos de Requisitos, Níveis de Requisitos. Processo de Engenharia de Requisitos Aeronáuticos: Visão Geral do Processo de Engenharia de Requisitos, Levantamento de Requisitos, Análise de Requisitos, Documentação de Requisitos, Verificação e Validação de Requisitos, Gerência de Requisitos, Engenharia de Requisitos em Normas: DO-178C, DO-254, DO-200B e ARP4754A. Linguagens e Métodos Formais para Especificação de Requisitos. Reutilização na Engenharia de Requisitos. POHL, K., RUPP, C. “Requirements Engineering Fundamentals: A Study Guide for the Certified Professional for Requirements Engineering Exam - Foundation Level”. Santa Barbara, CA: Rocky Nook, 2017. RIERSON, L. “Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance”. Boca Raton, FL: CRC Press, 2013. LAPLANTE, P.A. “Requirements Engineering for Software and Systems”. Boca Raton, FL: CRC Press, 2017.
CA-742 – Teste de Software
Duração: 48h. Créditos: 3. Fundamentos do processo de testes. Planejamento de testes. Técnicas de caixa preta: classes de equivalência, Valor de fronteira, Tabelas de decisão, Teste em pares, Transição de estado e análise de domínio. Técnicas de caixa branca: Fluxo de controle e Fluxo de dados. Paradigmas de teste: Teste automatizados e Teste exploratório. Desenvolvimento Baseado em Testes. COPELAND, L. “A Practitioner’s Guide to Software Testing Design”. Norwood, MA: Artech House Publisher, 2007. CRISPIN, L. and GREGORY, J. “Agile Testing”. Boston, MA: Pearson Education Inc., 2009. BLACK, R., VEENENDAAL E., GRAHAM, D. “Foundations of Software Testing”. Hampshire, UK: Cengage Learning EMEA, 2012.
CA- 743 - Projeto de Sistemas de Banco de Dados
Duração: 48h. Créditos: 3. Aplicações práticas de conceitos de Engenharia da Informação e de Sistemas de Gerenciamento de Banco de Dados. Modelagem, especificação,implementação e teste de um Projeto de Sistema Banco de Dados, envolvendo: estudo de caso, problemas reais e necessidades de mercado; desenvolvimento ágil, iterativo e incremental; arquiteturas tradicionais (SQL) e não tradicionais (NoSQL); e Big Data,utilizando teorias e práticas básicas de manipulação de dados com características de pelo menos 5 Vs (Volume, Variedade, Velocidade, Veracidade e Valor). EMC2 EDUCATION SERVICES “Data Science and Big Data Analytics: Discovering, Analyzing,Visualizing and Presenting Data”. 1st Ed. New Yor, NY: Wiley, 2015. DATE, C. J."Database Design and Relational Theory". 1st Ed. Newton, MA: O´Reilly Media Inc., 2012. KORTH, H. F., SILBERSHATZ, A., and SUDARSHAN, S. “Sistema de Banco de Dados”,6a Ed. São Paulo, SP: Elsevier - Campos, 2012.
CA-744 - Arquitetura Orientada a Serviços
Duração: 48h. Créditos: 3. Conceitos de orientação a serviços. Infraestrutura SOA, Serviços Web, Microsserviços e Serviços REST. Modelagem, Orquestração e Composição de serviços. Interoperabilidade e serviços semânticos. Desenvolvimento de aplicações orientada a serviços. ERL T. SOA. “Principles of Service Design”. Upper Saddle River, NJ Prentice Hall, 2008. SOMMERVILLE, I. “Engenharia de Software. 10a Edição”. São Paulo: Pearson Prentice Hall, 2018. PAIK, HYE-YOUNG, et al. “Web Service Implementation and Composition Techniques”. Springer International Publishing, 2017.
CA-745 - Engenharia de Software
Duração: 48h. Créditos: 3. Processos de desenvolvimento de software. Engenharia de requisitos. Arquitetura de software. Qualidade, confiabilidade e segurança de software. Verificação e validação: inspeções e testes de software. Gerência de configuração de software. Normas de Certificação de Software. Modelos de capacitação organizacional: CMMI, SPICE e MPS.br. Gerenciamento de projetos de software. SOMERVILLE, I. Engenharia de Software. 10a. ed., São Paulo: Pearson Addison-Wesley, 2019. PRESSMAN, R. S.; MAXIM, B. Engenharia de Software. 8a. ed., McGraw-Hill Bookman, 2016. RIERSON, L. “Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance”. Boca Raton, FL: CRC Press, 2013. RTCA “DO-178C - Software Considerations in Airborne Systems and Equipment Certification”. Washington, DC, 2011.
CA-751 - Inteligência Artificial
Duração: 48h. Créditos: 3. Visão geral da área. Representação de problemas em espaço de estados. Métodos de busca de soluções. Método minimax, poda alfa-beta e variações. Mecanismos de inferência baseados em lógica de predicados e projeto de sistemas baseados em conhecimento.Planejamento. Aprendizado de máquina: modelos conexionistas, sociais e emergentes.Noçõe de inferência sob incerteza e redes bayesianas. Aplicações de inteligência artificial. RUSSEL, S.; NORVIG, P., Artificial Intelligence: A Modern Approach, 2nd Edition. Upper Saddle River: Prentice Hall, 2003. LUGER, G., Inteligência Artificial:Estruturas e Estratégias para a Resolução de Problemas Complexos. Porto Alegre:Bookman, 2004. NILSSON, N., Artificial Intelligence: A New Synthesis. San Francisco:Morgan- Kaufmann, 1998.
CA-752 - Aprendizado de Máquina e Reconhecimento de Padrões
Duração: 48h. Créditos: 3. Introdução ao aprendizado indutivo. Análise exploratória de dados: estatísticas descritivas e visualização multivariada. Pré-processamentos de dados: limpeza, redução dimensional, transformações. Aprendizado preditivo: k-vizinhos mais próximos, árvores de decisão, modelos Bayesianos, Redes Neurais Artificiais, Máquinas de Vetores de Suporte. Aprendizado descritivo: k-médias, algoritmos hierárquicos. Modelos múltiplos (comitês). Metodologia de avaliação experimental de algoritmos de aprendizado. FACELI, K.; LORENA, A.C.; GAMA, J.; CARVALHO, A.C.P.L.F. (2011) Inteligência Artificial: uma abordagem de Aprendizado de Máquina. Editora LTC. FLACH, P. (2012). Machine learning: the art and science of algorithms that make sense of data. Cambridge University Press. JAMES, G.; WITTEN, D.; HASTIE, T.; TIBSHIRANI, R. (2013). An introduction to statistical learning. New York: Springer.
CA-753 - Representação de Conhecimento e Inferência
Duração: 48h. Créditos: 3. A linguagem da lógica de primeira ordem. Formas de expressar conhecimento. Resolução.Inferência: Cláusulas de horn, Controle procedimental e lógica de descrições. Regras em sistema de produção. Representação orientada a objetos: Frames e grafos conceituais. Descrições estruturadas. Ontologias: Conceituação e descrição formal. Herança. Defaults. Incerteza na representação de conhecimento. Explicação e diagnóstico. Ações. Planejamento. Dilema de expressividade versus tratabilidade. Web semântica. BRACHMAN, R.J.; LEVESQUE, H.J Knowledge Representation and Reasoning. SanFrancisco: Morgan Kaufmann, 2011. RUSSEL, S.; NORVIG, P. Artificial Intelligence - AModern Approach. Upper Saddle River: Prentice-Hall, 2011. SOWA, J.F. KnowledgeRepresentation: Logical, Philosophical, and Computational Foundations. Pacific Grove: Brooks Cole, 2000.
CA-754 - Técnicas de Armazenamento e Análise de Dados Massivos
Duração: 48h. Créditos: 3. Conceitos gerais: Análise de dados, Big data, Ciclo de Vida de Atividade de Análise de Dados; Estruturas de Armazenamento: Estrutura Relacional (Modelagem Relacional),Estrutura Dimensional (Modelagem Dimensional, Data Warehousing), Armazenamento não estruturado (NoSQL, Key-Value, Document, Column-Family, Graph), Armazenamento distribuído (MapReduce), Ingestão de dados; Técnicas de Análise: Análise Estatística(Métodos lineares, não-lineares e mistos), Análise Avançada de Dados (K-média, regras de associação, regressão linear, regressão logística, redes Bayesianas, árvores de decisão,análise de séries temporais), Análise de Texto (Análise de documentos e redes sociais);Visualização de dados: Infográficos, Dashboard, Técnicas de Disseminação. RAJARAMAN, A.; LESKOVEC, J.; ULLMAN, J. Mining of Massive Datasets.Cambridge: Cambridge University Press, 2014. 513 p. BERMAN, J. J. Principles of BigData: Preparing, Sharing, and Analyzing Complex Information. Waltham: MorganKaufmann, 2013. 1ª ed. SADALAGE, P. J.; FOWLER, M. NoSQL Distilled: A Briefguide to the Emerging World of Polyglot Persistence. Crawfordsville: Pearson Education,2013. 164 p.
CA-755 - Elementos de Mecânica dos Fluídos Computacional Aeronáutica
Duração: 48h. Créditos: 3. Revisão das formulações e equações governantes fundamentais da Mecânica dos Fluídos. Conceito de diferenças finitas; construção de aproximações espaciais temporais de diferenças finitas. Estudo de precisão e de estabilidade de métodos numéricos; análise de estabilidade de Fourier. Métodos de relaxação e sua aplicação à solução de problemas de estado estacionário. Métodos tipo ADI e o conceito de fatoração aproximada; bases de dados multidimensionais e fatoração espacial. Esquemas upwind e dissipação artificial. geração de malhas computacionais, Métodos numéricos aplicados à solução da equação do potencial completo. As equações de Navier-Stokes e as equações de Euler; relações características das equações de Euler. Problemas bem-postos, equações modelo e o estabelecimento correto de condições de contorno. HIRSCH, C., Numerical Computational of Internal and External Flows, Vols. 1 e 2, Wiley, New York, 1990. FLETCHER, C.A.J., Computational Techniques for Fluid Dynamics, Vols. 1 e 2, SpringerVerlag, New York, 1988. LOMAX, H., PULLIAM, T.H., and ZINGG, D.W., Fundamentals of Computational Fluid Dynamics, NASA Ames Research Center, Moffett Field, CA, 1997.
A exposição pedagógica será feita por meio de aulas expositivas, estudos dirigidos, investigações científicas e desenvolvimento de projetos de engenharia, com nível de pós-graduação, que contemplem a complementação da formação dos alunos/profissionais.As disciplinas serão oferecidas no primeiro ano do curso e devem permitir que o aluno complete a formação técnica da área com ampliação profunda dos conhecimentos e sólida formação nos princípios básicos de engenharia da computação. No final do curso, o aluno deverá ter adquirido a capacidade de atualizar seus conhecimentos com independência e autoconfiança, para possibilitar o seu contínuo crescimento profissional.As disciplinas e atividades serão ministradas visando:
- Acelerar a assimilação dos conhecimentos operacionais das matérias técnicas.
- Introduzir o estudante na formulação de modelos matemáticos para solução de problemas de engenharia.
- Desenvolver a criatividade.
- Formar profissionais para obterem amplo conhecimento em tecnologias modernas relacionadas à área da computação.
- Atualizar profissionais sobre inovações e vantagens da transformação digital.
Modalidade de aulas
As disciplinas de forma Telepresencial, isto é Aulas ao vivo por meio de plataformas digitais O curso inclui também visitas técnicas ao ITA e workshops presencias no Instituto Euvaldo Lodi, em Belo Horizonte.Prazo de duração
Para cursar as disciplinas e defender a Dissertação de Mestrado: até 03 anos (36 meses), sendo esse o prazo máximo, com início em agosto de 2021.
Profissionais que atuam na indústria, com formação completa nas áreas de Engenharia, Ciências Exatas ou Econômicas, que inclua, preferencialmente, formação básica em computação.
Para mais informações sobre o Mestrado Profissional em Computação Aeronaútica, contate o coordenador do Programa.