Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Agentes Inteligentes Ementa:

219-001

Mestrado/Doutorado

45

Conceitos bsicos. Introduo: agentes inteligentes, resoluo de problemas e busca, agentes baseados em lgica de primeira ordem, regras, hierarquias, classes e objetos, engenharia de conhecimento e sistemas especialistas, ferramentas de implementao. Aplicaes em computao, agentes na web, recuperao e filtragem de informao, extrao de informao, programao orientada a agentes, ontologias reusveis e compartilhveis, data mining, banco de dados biolgicos, sistemas distribudos e redes, agentes mveis, otimizao e balanceamento de cargas. Bibliografia: BRADSHAW, J. Software Agents. MIT Press, 1997. CHEONG, F. Internet Agents. New Riders, 1997. DEAN, T.; ALLEN, J.; ALOIMONOS, Y. Artificial Intelligence, Theory and Practice. Menlo Park: The Benjamin/Cummings Pub. Co., 1995. LUGER, G.; STUBBLEFILED, W. Artificial Intelligence: structures and Strategies for Complex Problem Solving. Menlo Park: The Benjamin/Cummings Pub. Co. (2nd ed.). 1993. RICH, E.; KNIGHT, K. Artificial Intelligence. McGraw-Hill (2nd ed.), 1983. RUSSEL, S.; NORVIG, P. Artificial Intelligence: a Modern Approach. Englewood Cliffs: Prentice-Hall, Inc. 1995. TURBAN, E. McMillan. Expert Systems and Applied Artificial Intelligence. 1992. DISCIPLINA Sigla-Nmero Nvel Carga Horria M lgebra Linear Computacional 3012-001 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 1 Trimestre Sub-Ttulo: Docentes Lis Paulo da Silva Barra Rodrigo Weber dos Santos N de Docentes: 2 Ementa: Categoria Docente Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente Permanente

22,5 22,5 45

50,00 50,00 100,00

Mtodos diretos para a resoluo de sistemas algbricos lineares. Mtodos iterativos para a resoluo de sistemas algbricos lineares. Precondicionadores. Mtodos numricos para a resoluo de problemas de autovalores. Decomposio em valores singulares. Estrutura de dados para armazenamento de matrizes esparsas. Bibliografia: GOLUB, G. H.; VAN LOAN, C. F. Matrix Computations. The Johns Hopkins University Press; 3a Ed, 1996. SAAD, Y. Iterative Methods for Sparse Linear Systems, Society for Industrial and Applied Mathematics. 2 ed., 2003. TREFETHEN, L. N.; BAU, D. Numerical Linear Algebra, SIAM: Society for Industrial and Applied Mathematics, 1997.

Chronos

1 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Algoritmo e Estrutura de Dados Obrigatria nas reas de Concentrao Modelagem Computacional Perodo: 1 Trimestre Sub-Ttulo: Docentes Ciro de Barros Barbosa Marcelo Lobosco N de Docentes: 2 Perodo: 3 Trimestre Sub-Ttulo: Docentes Ciro de Barros Barbosa Marcelo Lobosco N de Docentes: 2

219-002

Mestrado/Doutorado

45

Carga-Horria: 45 Categoria Docente Docente Permanente Permanente

Crditos: 3 Carga Horria % 22,5 22,5 45 50,00 50,00 100,00

Carga-Horria: 45 Categoria Docente Docente Permanente Permanente

Crditos: 3 Carga Horria % 22,5 22,5 45 50,00 50,00 100,00

Ementa: Estruturas de dados: tipo apontador (ponteiro), listas encadeadas, hash, rvores, classificao de dados. Programao paralela: introduo a arquiteturas paralelas de computadores, programao paralela assncrona, semntica de programas paralelos, regies crticas, semforos, excluso mtua, sincronizao com memria compartilhada, mensagens, chaves e camas. Complexidade de algoritmos: metodologia de clculo da complexidade, medidas de complexidade, critrios de complexidade, ordens assintticas e intratabilidade. Bibliografia: AHO, A. V.; HOPCROFT, J. E.; ULLMAN, J. D. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1975. ANDREWS, G. R. Concurrent Programming - Principles and Practice. The Benjamin/Cunnings, Redwood City, 1991. FOSTER, I. Designing and Building Parallel Programs. Addison-Wesley, 1995. JAJA, J. An Introduction to Parallel Algorithms. Addison-Wesley, 1992. KUMAR, V. et alii. Introduction to Parallel Computing: Design and Analisys of Parallel Algorithms. QUINN, M. J. Parallel Computing Theory and Practice. McGraw-Hill, 1994, cap. 12. SZWARCFITER, J. L.; MARKEZON, L. Estruturas de Dados e seus Algoritmos. Livros Tcnicos e Cientficos, 1994. TOSCANI, L.V.; VELOSO, P.A.S. Complexidade de Algoritmos. Sagra-Luzzato, 2001. VELOSO, P. et al. Estruturas de Dados. Campus, 1986.

Chronos

2 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Anlise Numrica de Mtodos dos Elementos Finitos

3012-002

Mestrado/Doutorado

45

Perodo: 2 Trimestre Sub-Ttulo: Docentes Felipe dos Santos Loureiro N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Problemas elpticos:definies e exemplos de problemas elpticos, forma forte de equaes diferenciais, aplicao a problemas de equilbrio. Formulaes variacionais abstratas: espaos vetoriais normados, forma fraca ou formulao variacional de uma equao diferencial, funcionais lineares, formas bilineares, formulaes variacionais abstratas. Problemas variacionais em um campo: o mtodo de Galerkin, espaos de elementos finitos, forma matricial do problema aproximado. Estabilidade convergncia e estimativas a priori (lema de Ca): existncia e unicidade de soluo, convergncia em diferentes normas, estimativas de erro. Mtodos mistos: problemas em dois campos, formulaes variacionais mistas. Compatibilidade entre os espaos de aproximao (Teorema de Babuska-Brezzi): condio de inf-sup discretas, construo de espaos compatveis, mtodos de Galerkin Estveis. Aplicaes a elasticidade e escoamentos: escoamento de fluidos newtonianos, clculo de fluxos em meios porosos, elasticidade linear compressvel e incompressvel. Mtodos estabilizados e tcnicas de ps-processamento: tpicos em estabilizao de mtodos de elementos finitos, clculo a posteriori de propriedades derivadas. Bibliografia: BREZZI, F.; FORTINn, M. Mixed and Hybrid Finite Element Methods. Springer-Verlag, 1991. CIARLET, P.G. Numerical Analysis of the Finite Element Method. North Holland, Amsterdan, 1976. ODEN, J.T.; CAREY, G.F. Finite Elements. Mathematical Aspects. Prentice-Hall, NJ, vol. 4, 1983. STRANG, G.; FIX, G. An Analysis of the Finite Element Methods. Wellesley Cambridge Press, 1973. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Aplicaes em e-Science 219-025 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Caracterizao. Engenharia de aplicaes cientficas. Mecanismos para gerenciamento e manuteno de conhecimento cientfico. Workflows Cientficos. Ambientes computacionais em GRID. Aplicaes na Web. Frameworks e ferramentas Bibliografia: PRODAN, R.; FAHRINGER, T. Grid Computing: Experiment Management, Tool Integration and Scientific Workflows. Lecture Notes in Computer Science, 2008. TAYLOR et alli. Workflows for e-Science. Springer, 2007. Artigos cientficos. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Banco de Dados 219-003 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Conceitos bsicos. Modelagem de dados. Modelos conceituais. Modelo relacional. Estado da arte de SGBDs comerciais. Ambientes de desenvolvimento de aplicaes de banco de dados. Manipulao e recuperao de informaes. Estruturas de armazenamento. Controles operacionais. Arquiteturas. Bancos de Dados Distribudos. Banco de Dados para Bioinformtica. Bibliografia: BATINI, C.; CERI, S.; NAVATHE, S. Conceptual Database Design : An Entity-Relationship Approach. Addison Wesley Pub/Benjamin/Cummings, 1991. DATE, C.J. An Introduction to Database Systems. 6th. ed., Addison Wesley, 1995. ELMASRIi, R.; NAVATHE, S. B. Fundamentals of Database Systems. 2nd. ed., Benjamin/Cummings, 1994.

Chronos

3 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Bioinformtica e Biologia Computacional

3012-003

Mestrado/Doutorado

45

Perodo: 2 Trimestre Sub-Ttulo: Docentes Carlos Cristiano Hasenclever Borges Marcelo Lobosco Rodrigo Weber dos Santos N de Docentes: 3 Ementa: Categoria Docente Docente Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente Permanente Permanente

15 15 15 45

33,33 33,33 33,33 100,00

Conceitos Bsicos da Biologia Molecular. Genomas: seqenciamento, montagem, alinhamento local/global e anotao. Modelagem Computacional na Biologia Molecular. Modelagem de reaes bioqumicas e redes metablicas. Modelagem do sistema imunolgico. Bibliografia: BAXEVANIS, A.D.; OUELLETTE, B.F.F. Bioinformatics: A Practical Guide to the Analysis of Genes and Proteins. Ed. Wiley Interscience, 2001. LEWIN, B. Genes IV. Cell Press, Cambridge, Mass. 4 Edio, 1990. MEIDANIS, J.; SETBAL, J.C. Uma Introduo Biologia Computacional. IX Escola de Computao, Recife. Elaborada pela Biblioteca de Informtica da UFPE, 1994. SOMPAYRAC, L. M.How the Immune System Works (Blackwell's How It Works). Wiley-blackwell, 2008. WILLIAM E PAUL. Fundamental Immunology. 6th edition. Lippincott Williams & Wilkin, 2008. Artigos e Peridicos da rea. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Computao em Ambientes Distribudos 219-004 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 2 Trimestre Sub-Ttulo: Docentes Marcelo Lobosco Rodrigo Weber dos Santos N de Docentes: 2 Ementa: Categoria Docente Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente Permanente

22,5 22,5 45

50,00 50,00 100,00

Computao distribuda: introduo a clusters de computadores, introduo programao paralela e biblioteca MPI, mtodos e ferramentas para depurao e ajuste de desempenho. Algoritmos distribudos: aproximaes, razes e integrais, discretizaes explcitas no espao e no tempo, discretizaes implcitas, mtodo de relaxao, problemas de propagao, difuso e disperso, mtodos rpidos para a soluo de sistemas lineares. Introduo biblioteca cientfica PETSc. Bibliografia: DONGARRA, J.; FOX, G.; GROPP, W.; KAUFMANN2, M. The Sourcebook of Parallel Computing. 2002. KARNIADAKIS, G.; KIRBY II, R. M. Parallel Scientific Computing in C++ and MPI:A Seamless Approach to Parallel Algorithms and their Implementation. Cambridge University Press, 2003.

Chronos

4 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Computao Evolucionista

219-005

Mestrado/Doutorado

45

Perodo: 3 Trimestre Sub-Ttulo: Docentes Hlio Jos Corra Barbosa N de Docentes: 1 Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Ementa: Evoluo natural e artificial. Algoritmos genticos. Aplicaes gerais. Aplicaes em problemas de otimizao. Implementao computacional. Introduo programao gentica. Outros algoritmos evolutivos. Bibliografia: GOLDBERG, D. E. Genetic algorithms in search, optimization, and machine learning. Addison-Wesley, Reading, MA, 1989. MICHALEWICZ, Z. Genetic Algorithms + Data Structures = Evolution Programs. Springer-Verlag, Berlin, segunda edio, 1994. MITCHELL, M. l. An introduction to genetic algorithms. A Bradford Book, MIT Press, Cambridge, MA, 1996. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Controle de Vibraes 3012-004 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Controle passivo de vibraes: controladores com freqncia sintonizadas, amortecedores sanduche com materiais viscoelsticos. Controle ativo de vibraes:equaes de equilbrio dinmico escritas em termos de equaes de estado do sistema, mtodos de otimizao para clculo de foras de controle, aplicao de um regulador quadrtico para o clculo fora de controle, solues para a equao de Riccati (controle timo), simulaes computacionais de modelos dinamicamente controlados (controle ativo e passivo). Bibliografia: BATHE, K.J. Finite element procedures. Prentice Hall, New Jersey, 1996. CRAIG JR, R.R. Structural Dynamics. An Introduction to Computer Methods. John Wiley & Sons, 1981. CLOUGH, R.W.; PENZIEN, J. Dynamics of Structures. McGraw-Hill/Kogakusha, 1975. HUGHES, T.J.R. The finite element method. Linear Static and Dynamic Finite Element Analysis. Prentice-Hall, 1987. MEIROVITCH, L. Dynamics and Control of Structures. Wiley Interscience. MEIROVITCH, L. Elements of Vibration Analysis. McGraw-Hill/Kogakusha, 1975.

Chronos

5 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Desenvolvimento Web

219-006

Mestrado/Doutorado

45

Ementa: Pades W3C . Navegabilidade . Sistemas de busca . Padres OMG . Servios web. Arquitetura MVC (Struts). Arquitetura NET e web services . Desenvolvimento de aplicaes corporativas em J2EE . Modelagem de sistemas web com UML . Servios internet. Tcnicas de segurana para aplicaes web. Bibliografia: HOLZNER, S. Desvendando XML. Ed. Campus, Rio de Janeiro, 2001, 868p. JACOBSON, I.; BOOCH, G.; RUMBAUGH, J. UML - the unified software development process. Addison-Wesley, Reading, Massachusetts, 1999. OMG. (2001) Object Management Group. Model Driven Architecture. MDA. W3C. (2001) World Wide Web Consortium. MathML. http://www.w3.org/Math/. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Dinmica dos Corpos Deformveis 219-007 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Introduo: definies bsicas, campo de utilizao, equaes de equilbrio dinmico. Sistemas com um grau de liberdade: anlise em vibraes livres no-amortecidas, anlise em vibraes livres amortecidas, anlise em vibraes foradas com carregamento harmnico. Sistemas com mais de um grau de liberdade: matriz de massa, rigidez e amortecimento, mtodo da superposio modal. Anlise de sistemas contnuos: soluo analtica para vigas. Identificao modal: mtodo do decremento aleatrio, mtodo de Ibrahim, transformadas de Fourier. Bibliografia: COUGH, R. W.; PENZIEN, J. Dynamics of Structures, second edition, McGraw-Hill, 1993. FONSECA, A. Curso de Mecnica. Volume IV - Dinmica, Ao Livro Tcnico, 1960. GROEHS, A. G. Mecnica Vibratria. Unisinos, 2.ed., 2001. MEIROVITCH, L. Dynamics and control of structures. John Wiley & Sons, 1990. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Dissertao de Mestrado 219-024 Mestrado Acadmico 0 D F 0 Crditos

Ementa: Disciplina obrigatria para alunos em fase de desenvolvimento da dissertao. Bibliografia: Varavel.

Chronos

6 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Eletrofisiologia Computacional

219-008

Mestrado/Doutorado

45

Perodo: 3 Trimestre Sub-Ttulo: Docentes Rodrigo Weber dos Santos N de Docentes: 1 Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Ementa: Reaes bioqumicas. Homeostase celular. Membrana celular e canais inicos. Sistema excitvel. Dinmica de clcio. Comunicao inter-celular. Fluxo eltrico passivo em neurnios. Propagao de ondas no-linear. Espirais e formao de padres espaciais. Propagao cardaca. Eletrocardiograma e encefalograma. Bioimpedncia. Bibliografia: GULRAJANI, R. M. Bioelectricity and Biomagnetism. Wiley, 1998. KEENER, J.; SNEYD, J. Mathematical Physiology. Springer, 1998. MURRAY, J.D. Mathematical Biology I. Springer, 2002. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Engenharia de Software 219-009 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Introduo Engenharia de Software. Modelos de processo de software. Modelagem atravs da UML. Gerncia e gesto de software. Tpicos avanados em desenvolvimento de software: Desenvolvimento baseado em componentes, Engenharia da web, engenharia de sistemas distribuidos, qualidade de software, teste de software, gesto do conhecimento. Bibliografia: ACM Transaction on Software Engineering and Methodology, USA. CHEESMN, D. UML Components. Editora Addisson Wesley. 2001. FURLAN, J. D. Modelagem de Objetos atravs da UML. Editora Makron, 1998. IEEE Transaction on Software Engineering, USA. PFLEEGER, S. L. Engenharia de Software - Teoria e Prtica. Prentice Hall, 2004. PRESSMAN, R.S. Engenharia de Software. 5 Edio. McGraw-Hill. 2001. SOMMERVILLE, I. Engenharia de Software. 6 Edio. Addison-Wesley. 2003.

Chronos

7 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Inteligncia Computacional

219-010

Mestrado/Doutorado

45

Perodo: 2 Trimestre Sub-Ttulo: Docentes Henrique Steinherz Hippert N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Modelos de inteligncia artificial X modelos estatsticos convencionais . Redes neurais: perceptrons de mltiplas camadas. Mapas auto-organizveis. Outros modelos: redes recorrentes, funes de bases radiais. Aplicaes. Lgica fuzzy: conjuntos clssicos X nebulosos. Lgica clssica X nebulosa. Classificao nebulosa. Aplicaes. Bibliografia: BISHOP, C. M. Neural Networks for Pattern Recognition. Oxford: Claredon Press, 1995. HAYKIN, S. Neural Networks - a Comprehensive Foundation. 2nd ed. New Jersey:Prentice Hall, 1999. ROSS, T. J. Fuzzy Logic with Engineering Applications. McGraw-Hill, 1995. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Introduo Mecnica Molecular 219-011 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Modelos, aproximaes e realidade. A utilizao da Qumica Computacional na modelagem de molculas e biomolculas. Estrutura molecular e suas representaes. O conceito de energia de molculas e superfcie de energia potencial. Definio de campos de fora. Parametrizao de campos de fora. Aplicao de campos de fora na modelagem de biomolculas. Mtodos hbridos da mecnica molecular: mecnica quntica. Mtodos de simulao computacional (dinmica molecular e Monte Carlo). Aplicaes. Bibliografia: ALLEN, M. P.; TILDESLEY, D. J. Computer Simulation of Liquids. 1st Edition, 1997. HINCHLIFFE, A. Molecular Modelling for Beginners. Wiley, UK, 2003. JENSEN, F. Introduction to Computational Chemistry. 1st Edition, 2003. LEACH, A. R. Molecular Modelling: Principles and Applications. 2nd Edition, Pearson Prentice Hall, UK, 2001. YOUNG, D. Computational Chemistry: A pratical guide for applying techniques to real world problems.1st Edition, 2001. Artigos cientficos especficos.

Chronos

8 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Introduo Modelagem Matemtica Obrigatria nas reas de Concentrao Modelagem Computacional Perodo: 1 Trimestre Sub-Ttulo: Docentes Rodrigo Weber dos Santos Saul de Castro Leite N de Docentes: 2 Perodo: 3 Trimestre Sub-Ttulo: Docentes Rodrigo Weber dos Santos Saul de Castro Leite N de Docentes: 2

219-012

Mestrado/Doutorado

45

Carga-Horria: 45 Categoria Docente Docente Permanente Permanente

Crditos: 3 Carga Horria % 30 15 45 66,67 33,33 100,00

Carga-Horria: 45 Categoria Docente Docente Permanente Permanente

Crditos: 3 Carga Horria % 30 15 45 66,67 33,33 100,00

Ementa: Princpios bsicos: o que um modelo, porque modelar, objetivos e requisitos. Metodologia: etapas (identificao, formulao e soluo), modelos matemticos (quantitativos e qualitativos), tipos de modelos (determinsticos, fuzzy, estatstico, estocstico), modelos discretos e contnuos, processos de modelagem. Noes de clculo vetorial e tensorial, significado fsico dos operadores gradiente, divergente, rotacional e laplaciano. Propriedades fsicas, sistemas referncias, leis de conservao, equaes constitutivas. Exemplos envolvendo todas as etapas de modelagem (exceto a soluo). Bibliografia: ARIS, R. Mathematical Modelling Techniques. Dover, 1994. BIRD, R. B.; STEWART, W. E.; LIGHTFOOT, E. N. Transport Phenomena. John Wiley & Sons, 1960. DYM, C.L.; IVEY, E. S. Principles of Mathematical Modeling.Academic Press, 1980. KARAM-FILHO, J.; ALMEIDA, R. C. Introduo Modelagem Matemtica. Notas impressas, Ps Graduao, LNCC, 2003. LAI, W. M.; RUBIN, D.; KREMPL, E. Introduction to Continuum Mechanics. Pergamon Press, 1974. SAATY, T. L.; ALEXANDER, J.M. Thinking with Models - Mathematical Models in Physical, Biological and Social Sciences. Pergamon Press, 1981.

Chronos

9 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Introduo Otimizao Estrutural

219-031

Mestrado/Doutorado

45

Perodo: 3 Trimestre Sub-Ttulo: Docentes Afonso Celso de Castro Lemonge N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Elementos finitos para problemas unidimensionais - reviso. Formulao do problema de otimizao. Problemas de otimizao estrutural. Algoritmos evolucionrios para otimizao. Tratamento de restries. Aplicaes e implementao computacional. Bibliografia: FISH, J.; BELYTSCHKO, T. A First Course in Finite Elements. Wiley, 2007. 336 p. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Introduo aos Mtodos Discretos 219-013 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 2 Trimestre Sub-Ttulo: Docentes Elson Magalhes Toledo Lis Paulo da Silva Barra N de Docentes: 2 Ementa: Categoria Docente Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente Permanente

22,5 22,5 45

50,00 50,00 100,00

Mtodo das diferenas finitas: diferenas progressiva, regressiva e central, estabilidade, consistncia e convergncia, problemas bidimensionais, esquemas explcito e implcito para problemas transientes. Mtodo dos resduos ponderados: colocao, colocao por sub-regies, Gallerkin. Mtodo dos elementos finitos: formulao fraca, funes de interpolao, discretizao em uma dimenso, implementao computacional em uma dimenso. Introduo ao Mtodo dos Elementos de Contorno. Bibliografia: BREBBIA, C.A; TELLES, J.C.F.; WROBEL, L.C. Boundary Element Techniques. Springer-Verlag,1984. REDDY, J. N. An Introduction to Finite Element Method. McGraw-Hill, 1993. ZIENKIEWICZ, O. C.; MORGAN, K. Finite Element and Approximation.John Wiley and Sons, 1983.

Chronos

10 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Mecnica do Contnuo

219-014

Mestrado/Doutorado

45

Perodo: 3 Trimestre Sub-Ttulo: Docentes Flvia de Souza Bastos Leonardo Goliatt da Fonseca Lis Paulo da Silva Barra Michle Cristina Resende Farage N de Docentes: 4 Categoria Docente Docente Docente Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Colaborador Colaborador Permanente Permanente

5 5 30 5 45

11,11 11,11 66,67 11,11 100,00

Ementa: Cinemtica do contnuo: descrio do movimento de um contnuo nos referenciais material e espacial, tensor de deformao e condies de compatibilidade. Estado de tenso: vetor tenso, tensor de tenso, simetria do tensor de tenso, equaes diferenciais de movimento e condies de contorno, representao grfica de Mohr. Slido elstico linear: propriedades mecnicas, isotropia e homogeneidade, equaes da elasticidade linear para pequenas deformaes, princpio da superposio e de Saint-Venant, problemas simples de elasticidade tridimensional. Problemas planos: estados planos de tenso e deformao, problemas planos em coordenadas cartesianas, problemas planos em coordenadas polares. Escoamento de fluidos: equaes bsicas, conservao do momentum, de massa e de energia. Fluidos perfeitos, escoamento laminar de fluidos viscosos incompressveis, escoamento turbulento de fluidos isotrmicos incompressveis. Transferncia de massa por conveco. Escoamento compressvel unidimensional. Bibliografia: BATCHELOR, G.K. An Introduction to Fluid Dynamics. Cambridge University Press, 1967. LAI, M.; RUBIN, E.; KREMPL, E. Introduction to Continuum Mechanics. 3rd. Edition, Butterworth-Heinemann, 1999, ISBN 0-7506-2894-4. MALVERN, L. E. Introduction to Mechanics of a Continuous Medium. Prentice-Hall, Englewood Cliffs, NJ, 1969, ISBN 0-1348-7603-2. MASE, G.T.; MASE, G.N. Continuum Mechanics for Engineers. 2nd. Edition, CRC Press, 1999, ISBN 0-8493-1855-6. SISSOM, L.E.; PITTS, D. R. Fenmenos de Transporte. Guanabara Dois, 1972. TIMOSHENKO, S.; GOODIER, J.N. Theory of Elasticity. McGraw-Hill, 3rd Edition, 1970, ISBN 0-07-085805-5.

Chronos

11 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Mtodo dos Elementos de Contorno

219-015

Mestrado/Doutorado

45

Ementa: Formulao direta do MEC: formulao para a equao de Laplace e para elasticidade a partir de resduos ponderados, problemas simtricos e antissimtricos, meios infinitos e semi-infinitos, formulao hipersingular. Mtodo hbrido dos elementos de contorno: formulao a partir do potencial de Hellinger-Reissner, estruturas com condies de contorno do tipo Newmann, problemas simtricos e antissimtricos, meios infinitos e semi-infinitos, formulaes em deslocamento e simplificada, acoplamento com o mtodo dos elementos finitos. Problemas dependentes do tempo: formulaes em domnios transformados (frequncia e laplace). Implementaes computacionais: elementos contnuos e decontnuos, integraes regulares e singulares, problemas homogneos por partes (subdomnios). Bibliografia: BEN-ISRAEL, A.; GREVILLE, T.N.E. Generalized Inverses: Theory and Applications. Robert E. Krieger Publ. Co. New York, 1980. BREBBIA, C.A.; TELLES, J.C.F.; WROBEL, L.C. Boundary Element Techniques. Springer-Verlag,1984. DOMINGUEZ, J. Boundary Elements in Dynamics. Elsevier Appl. Science, New York, 1993. SLADEK, V.; SLADEK, J. Singular Integrals in Boundary Element Methods, Comp. Mech. Publ., Southampton, 1998. WROBEL, L.C. The Boundary Element Method- Vol.1, Applications in Thermo-Fluids and Acoustics. John Willey & Sons, 2002. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Mtodo dos Elementos Finitos 219-016 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 3 Trimestre Sub-Ttulo: Docentes Elson Magalhes Toledo N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Aspectos matemticos e numricos do Mtodo dos Elementos Finitos. Problemas bi-dimensionais difuso do calor. Problemas de elasticidade plana e tri-dimensional. Problemas dinmicos e no lineares. Programao do MEF. Bibliografia: HUGHES, T. J. R. Finite element method : Linear Static and Dynamics. ED. Prentice hall, 1990. REDDY, J. N. An Introduction to Finite Element Method. ED. Mcgraw-Hill, 1993. SZABO, B.; BABUSKA, I. Finite Element Analysis. ED. J. Wiley & Sons, 1991. ZIENKIEWICZ, O.C.; TAYLOR, R. L. The Finite Element Method. Vols. 1 E 2 ED. Mcgraw-Hill, 1991.

Chronos

12 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Mtodos Estatsticos

219-017

Mestrado/Doutorado

45

Perodo: 2 Trimestre Sub-Ttulo: Docentes Henrique Steinherz Hippert N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Probabilidades. Variveis aleatrias e seus modelos. Tcnicas de inferncia paramtrica: distribuies amostrais, estimao de parmetros, testes de hipteses. Principais tcnicas de anlise multivariada: modelos de regresso, anlise de componentes principais, anlise de agrupamentos. Noes de processos estocsticos. Bibliografia: DUDEWICZ, E. J.; MISHRA, S. N. Modern Mathematical Statistics. John Wiley & Sons. JOHNSON, R. A.; WICHERN, D. Applied Multivariate Statistical Analysis. 3rd ed., New Jersey: Prentice Hall. MOOD, A.M.; GRAYBILL, F.A.; BOES, D. C. Introduction to the theory of statistics. 3rd ed., McGraw-Hill. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Mtodos Matemticos Obrigatria nas reas de Concentrao Modelagem Computacional Perodo: 1 Trimestre Sub-Ttulo: Docentes Grigori Chapiro N de Docentes: 1 Ementa: Fundamentos de lgebra Linear. Teoria geral das Equaes Diferenciais Ordinrias (EDO's) lineares, EDO's lineares com coeficientes constantes. Transformada de Laplace. Sistemas de EDO's lineares. Sries de Fourier. Problemas de contorno para EDO's lineares. Problemas de contorno para Equaes Diferenciais Parciais (EDP's) lineares. Bibliografia: BOYCE E DIPRIMA. Equaes Diferenciais Elementares e Problemas de Valores de Contorno, Guanabara. DE FIGUEIREDO, D. G. Anlise de Fourier e Equaes Diferenciais Parciais, Projeto Euclides. IRIO, V. EDP: Um Curso Introdutrio. Col. Matemtica Universitria. KREIDER, KULLER, PERKINS, OSTBERGIntroduo Anlise Linear. Vol. 1, 2 e 3 - Ao Livro Tcnico S.A. Categoria Docente Colaborador Carga-Horria: 45 Crditos: 3 Carga Horria % 45 45 100,00 100,00 219-018 Mestrado/Doutorado 45 D 45 F 3 Crditos

Chronos

13 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Mtodos Numricos

219-019

Mestrado/Doutorado

45

Perodo: 2 Trimestre Sub-Ttulo: Docentes Carlos Cristiano Hasenclever Borges N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Modelagem computacional, operaes aritmticas em computadores, erros, condicionamento de problema, estabilidade de algoritmos. Srie de Taylor, operadores de diferenas finitas, diferenciao numrica. Interpolao polinomial, aproximao por mnimos quadrados, razes de equaes no-lineares. Sistemas de equaes lineares: eliminao de Gauss, decomposio LU, decomposio de Cholesky. Sistemas de equaes nao-lineares:mtodo de Newton e variantes. Integrao numrica: frmulas de Newton-Cotes,quadratura de Gauss. Problema de auto-valor, problemas de valor inicial para equaes diferenciais ordinrias. Bibliografia: HEATH, M.T. Scientific Computing, An Introductory Survey. McGraw-Hill, 2002. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Mtodos Variacionais 3012-005 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Bases tericas: espaos de funes, problemas de valor de contorno, problemas clssicos: braquistcrona, geodsicas, mnima superfcie de revoluo. Variao de um Funcional: diferencial Gteaux de um funcional, variao e suas propriedades. Condies de extremo: equaes de Euler, extremos locais, funcionais dependentes de derivadas de alta ordem. Condies essenciais e naturais: condio de contorno essencial, condio de contorno natural. Problemas variacionais com condies subsidirias: condies subsidirias, multiplicadores de Lagrange, condies de Erdmann-Weierstrass. Variao geral de um funcional: variao geral, sensibilidade a parmetros. Mtodos diretos no clculo das variaes: definio de mtodos diretos, construo de espaos admissveis. Mtodo de Ritz: minimizao de um funcional, sequncias minimizantes. Mtodos de resduos ponderados: mtodo de Galerkin, mtodo de colocao. Aplicaes a problemas da Engenharia e da Fsica: minimizao de energia potencial ( problemas de equilbrio) e meios com propriedades heterogneas. Bibliografia: ELSGOLTZ, L. Differential equations and the calculus of variations. Editorial MIR, 1969. GELFAND, I. M.; FOMIN, S.V. Calculus of Variation. Prentice-Hall, Englewood, 1963.

Chronos

14 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Modelagem de Redes Complexas

3012-006

Mestrado/Doutorado

45

Perodo: 2 Trimestre Sub-Ttulo: Docentes Ana Paula Couto da Silva N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Colaborador

45 45

100,00 100,00

Introduo e motivao. Redes tecnolgicas, biolgicas e sociais. Propriedades topolgicas. Leis de potncia. Redes livre de escala. Grafos aleatrios. Processo de ramificao. Grafos G(n,p). Propriedades de grafos aleatrios. Gerao de grafos aleatrios. Modelos para redes complexas. Modelo small-world (WS). Modelo preferencial attachment (BA). Reviso em Redes de Computadores. Aplicaes em redes tecnolgicas e redes sociais. Navegabilidade em redes sociais. Bibliografia: ADAMIC, L. A.; LUKOSE, R. M.; HUBERMAN, B.; PUNIYANI, A. R. Search in Power-Law Networks. Phys. Rev. E, 64 46135, 2001. ALBERT, R.; BARBASI, A. -L. Statistical mechanics of complex networks. Reviews of Modern Physics 74, 47-97, 2002. ALBERT, R.; JEONG, H.; BARABSI, A. -L. Error and attack tolerance of complex networks. Nature 406, 378-482, 2000. BARABSI, A. -L.; ALBERT, R. Emergence of scaling in random networks, Science 286, 509-512, 1999. BARABSI, A. -L.; BONABEAU, E. Scale-free networks. Scientific American 288, 60-69, 2003. Special Issue: Complex Systems and Networks Science, Vol. 325, Issue 5939, Pages 357-504, 2009. Em particular, o artigo "Scale-Free Networks:A Decade and Beyond". BIANCONI, G.; BARABSI, A. -L. Competition and multiscaling in evolving networks. Europhysics Letters 54, 436-442, 2001. COHEN, R.; EREZ, K.; BEN-AVRAHAM, D.; HAVLIN, S. Resilience of the Internet to Random Breakdowns. Phys. Rev. Lett. 85, 4626-4628, 2000. DODDS, P. S.; MUHAMAD, R.; WATTS, D. J. An experimental study of search in global social networks, Science, 301, 827-829, 2003. KLEINBERG, J. Navigation in a Small World. Nature 406, 2000, 845. KLEINBERG, J. The small-world phenomenon: An algorithmic perspective. Proc. 32nd ACM Symposium on Theory of Computing (STOC), 2000. KUROSE, J.F.; ROSS, K. W. computer Networking: A Top-Down Approach (5th Edition) . LIBEN-NOWELL, D.; NOVAK, J.; KUMAR, R.; RAGHAVAN, P.; TOMKINS, A. Geographic Routing in Social Networks. Proc. of the National Academy of Sciences (PNAS), 102(33):11623-11628, August 2005. NEWMAN, M. E. J. Mixing patterns in networks, Phys. Rev. E 67, 026126, 2003. NEWMAN, M. E. J. Power laws, Pareto distributions and Zipf's law. Contemporary Physics 46, 323-351, 2005. NEWMAN, M. E. J. The structure and function of complex networks. SIAM Review 45, 167-256, 2003. NEWMAN, M. E. J.; WATTS, D. J. Scaling and percolation in the small-world network model. Phys. Rev. E 60, 7332-7342, 1999. MITZENMACHER, M. A Brief History of Generative Models for Power Law and Lognormal Distributions. Internet Mathematics, Vol 1, No. 2, pp. 226-251, 2004. MITZENMACHER, M. A Brief History of Generative Models for Power Law and Lognormal Distributions. Internet Mathematics, Vol 1, No. 2, pp. 226-251, 2004. TRAVERS, J.; MILGRAM, S. An Experimental Study of the Small World Problem. Sociometry, Vol. 32, No. 4. Dec. 1969, pp. 425-443. WATTS, D. J.; STROGATZ, S. Collective dynamics of "small-world" networks. Nature, 393:440-442, 1998. Notas de Aula.

Chronos

15 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Modelagem Numrica de Meios Porosos

219-020

Mestrado/Doutorado

45

Ementa: Caracterizao de meios porosos. Definio do volume elementar representativo. Propriedades das fases fluidas e slida. Equaes gerais do escoamento, Lei de Darcy, Lei de Fick. Conservao de massa, volume e momento. Modelagem multiescala: tcnica da homogeneizao assinttica, tcnica da mdia volumtrica, elementos finitos multiescala. Bibliografia: BEAR, J. Dynamics of fluids in porous media. New York, Dover Publications Inc., 1972. COUSSY, O. Poromechanics. John Wiley and Sons, 2004. HOU, T. Y.; WU, X.-H. A Multiscale Finite Element Method for Elliptic Problems in Composite Materials and Porous Media. Journal of Computational Physics, (134)-1, June 1997, pp. 169-189. MURAD, M.; PEREIRA, F.; SOUTO, H. A.; CRUZ, M.; BRAGA, G. I Escola de modelagem computacional multiescala, notas de aula, 2005. SANCHEZ-PALENCIA, E. Non-homogeneous media and vibration theory, lectures notes in Physics. Springer Verlag, 1980. WHITAKER, S. The method of volume average. Theory and applications of transport in porous media. Kluwer academic Publishers, 1999. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Otimizao 219-021 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 3 Trimestre Sub-Ttulo: Docentes Wilhelm Passarela Freire N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Colaborador

45 45

100,00 100,00

Programao linear, mtodo Simplex. Programao no-linear: convexidade, otimizao sem restries, otimizao com restries, condies de otimalidade, mtodos computacionais de otimizao. Bibliografia: BAZARAA, SHERALI, SHETTY. Nonlinear Programming, Theory and Algorithms. John Wiley and Sons. BREGALDA, OLIVEIRA, BORNSTEIN. Introduo Programao Linear - Ed. Campus. LUENBERGER, D. G. Linear and Nonlinear Programming. Addison Wesley,1984. PERESSINI, SULLIVAN, UHL. The Mathematics of Nonlinear Programming - Springer Verlag. SCHNABEL, D. Numerical Methods for Unconstrained Optimization and Nonlinear Equations - Siam.

Chronos

16 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Processamento de Sinais

219-022

Mestrado/Doutorado

45

Ementa: Representaes de sinais: freqncia, fase e potncia, amostragem, taxa de Nyquist e aliasing, transformada de Fourier direta e inversa, convoluo e correlao no domnio do tempo e da freqncia. Algoritmo FFT - Fast Fourier Transform . Transformada Z direta e inversa . Resposta no impulso e na freqncia . Anlise de zeros e plos . Projeto de filtros IIR e FIR. Modulao . Deconvoluo . Anlise espectral - correlao e covarincia . Sinais estacionrios e ergdicos . Dimenso fractal e expoente de Liapunov . Bibliografia: EMBREE, P.; DANIELI, D. C++ Algorithms for Digital Signal Processing, 2/E, Prentice Hall, 1999. SANJIT, K. M. Digital Signal Processing, 3rd Edition, McGraw-Hill, 2006. SMITH, W. S. The Scientist and Engineer's Guide to Digital Signal Processing, California Technical Publishing, 1997, (disponvel em http://www.dspguide.com/pdfbook.htm). DISCIPLINA Sigla-Nmero Nvel Carga Horria M Processamento Grfico 219-028 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 3 Trimestre Sub-Ttulo: Docentes Fernando Marques de Almeida Nogueira Flvio de Souza Barbosa N de Docentes: 2 Ementa: Categoria

Carga-Horria: 45

Crditos: 3 Carga Horria % 22,5 50,00 50,00 100,00

Participante Externo Docente Permanente

22,5 45

Introduo. Geometria e transformaes: definio de objetos grficos; transformaes lineares, afins e projetivas. Pipeline grfica: transformaes de modelagem, projeo e visualizao; recorte de primitivos; rasterizao; colorizao: BRDF, iluminao local, iluminao global e texturizao. Geometria computacional: algoritmos bsicos: clculo de rea, ngulos, posies relativas e orientao; intersees: retas, semiplanos; volumes limitantes em 2D e 3D: fechos convexos, caixas e crculos envolventes; triangulaes: triangulaes de Delaunay, diagrama de Voronoi, triangulao de polgonos; busca e seleo geomtrica: visibilidade, estruturas de dados espaciais: quadtrees, octrees, kd-trees, r-trees, bsp-tree; modelagem de objetos: CSG, superfcies de subdiviso. Processamento de imagens: amostragem e quantizao; filtros; segmentao. Elementos de viso computacional: cmeras; lentes e iluminao; calibrao; correspondncia de imagens; representaes 2,5D e 3D; esqueletonizao, transformada de Hough; rastreamento: filtros de Kalman. Bibliografia: CARVALHO, P. C. P.; FIGUEIREDO, L. H. Introduo geometria computacional. Colquio Brasileiro de Matemtica, 18, IMPA, Rio de Janeiro, 1991. DE BERG, M.; VAN KREVELD, M.; OVERMARS, M; SCHWARZKOPF, O. Computational Geometry: algorithms and applications. Springer-Verlag, 1997. FOLEY, J.D.; VAN DAM, A.; FEINER, S.K.; HUGUES, J.F. Computer Graphics: Principles and Practice. Addison-Wesley, 1990. GONZALEZ, R.; WOODS, R. Digital Image Processing. Addison-Wesley, 1993. HARALICK, R.M.; SHAPIRO, L.G. Computer and Robot Vision. (Volumes I e II), Prentice-Hall, 2002. MARR, D. Vision A computational Investigation into the Human.Representation and Processing of Visual Information. W.H. Freeman & Co., 1982. WARREN, J.; WEIMER, H. Subdivision Methods for Geometric Design: A Constructive Approach. Morgan Kauffman, 2001.

Chronos

17 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Processos Estocsticos

219-030

Mestrado/Doutorado

45

Perodo: 2 Trimestre Sub-Ttulo: Docentes Saul de Castro Leite N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Processos Estocticos:definio, classificao. Processos Markovianos: cadeias a tempo discreto (definio, propriedade de Markov), classificao dos estados, critrio para recorrncia e transincia, periodicidade, distribuio de probabilidades aps n passos, estacionaridade / ergocidade, exemplos de modelagem: processo de nascimento e morte. Cadeias a tempo contnuo: definio, gerador infinitesimal, equaes diferenciais de Kolmogorov, estacionaridade, exemplos de modelagem e aplicaes em sistemas de filas. Mtodos numricos para cadeias de Markov: propriedades de matrizes estocsticas, soluo da distribuio de probabilidades em estado estacionrio: mtodos diretos (GTH, GTH em blocos), mtodos iterativos (Power, Jacobi, Gauss-Siedel, SOR), convergncia: teoremas e aplicaes a cadeias de Markov, soluo da distribuio de probabilidades em estado transiente: mtodo de uniformizao Bibliografia: BREMAUD, P. Markov Chains - Gibbs Fields, Monte Carlo Simulation, and Queues. STEWART, W.J. Introduction to the Numerical Solution of Markov Chains. STROOCK, D.W. An Introduction to Markov Processes. TRIVEDI, K.S. Probability and Statistics with Reliability, Queueing and Computer Science Applications. Notas de Aula. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Reconhecimento de Padres 219-023 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 3 Trimestre Sub-Ttulo: Docentes Carlos Cristiano Hasenclever Borges Raul Fonseca-Neto N de Docentes: 2 Ementa: Categoria Docente Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente Colaborador

22,5 22,5 45

50,00 50,00 100,00

Teorias de aprendizado. Modelos de regresso. Classificadores bayesianos. Perceptron. Mquinas de vetores suportes. Mtodos kernel. Seleo de caractersticas. Modelos aditivos. Anlise de cluster. Seleo e avaliao de modelos. Bibliografia: DUDA, R.; HART, P.; STORK, D. Pattern Classification, John Wiley & Sons, Inc. , 2000. HERBRICH, R. Learning Kernel Classifiers: Theory and Algorithms. MIT Press, 2002. KECMAN, V. Learning and Soft Computing, MIT Press, 2001. PRINCIPE, J.C.; EULIANO, N.R.; LEFEBVRE, W.C. Neural and Adaptative Systems. John Wiley & Sons, Inc., 2000. SHAWE-TAYLOR, J.; CRISTIANINI, N. Kernel Methods for Pattern Analysis. Cambridge University Press, 2004.

Chronos

18 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Simulao Computacional - Fsica de Sistemas Condensados Ementa:

219-029

Mestrado/Doutorado

45

Abordar o estudo de propriedades fsicas de sistemas condensados (gases, lquidos e slidos) atravs da simulao computacional. Para atingir tal objetivo utilizaremos abordagens deteriminsticas e estocsticas. No campo determinista utilizaremos a Dinmica Molecular Clssica para monitorar ao longo da simulao o comportamento dos sistemas nas mais variadas condies de temperatura, pressso e nmero de partculas. Do lado estocstico utlizaremos a tcnica de Monte Carlo para o estudo de sistemas de interesse. Bibliografia: ALLEN, M. P.; TILDESLEY, D.J. Computer Simulation of Liquids. Oxford Science Publications, 1996, Oxford. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Teoria de Filas 3012-007 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Introduo:reviso de Processos Estocsticos, descrio do problema, notao de Kendall, conceitos importantes - fator de utilizao, conceitos gerais de estabilidade, resultado de Little.Modelos clssicos de filas: M/M/1 e variantes: mltiplos servidores, capacidade de armazenamento limitada e populao finita de clientes. Mtodos de Estgios: distribuio de Erlang, modelos M/Er/1 e Er/M/1, modelos com chegada e servio em massa.Tcnica da cadeia de Markov embutida: modelos M/G/1 e G/M/1 e variantes, probabilidade de transio, distribuio do nmero de clientes e tempo de espera, perodo ativo do servidor. Teoria geral de filas (G/G/1): a equao de Lindley, anlise de estabilidade de filas. Redes de filas: teorema de Burke, redes de Jackson abertas e fechadas, aproximaes para casos no Markovianos (aproximaes por difusso e fludo) Bibliografia: CHEN, H.; YAO, D. D. Fundamentals of Queueing Networks. Springer, 2001. GROSS, D.; SHORTLE, J. F.; THOMPSON, J. M.; HARRIS, C. M. Fundamentals of Queueing Theory. 4 edition, Wiley-Interscience, 2008. KLEINROCK, L. Queueing Systems Volume I: Theory. John Wiley & Sons, 1975. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Tese de Doutorado 3012-013 Doutorado D 0 F 0 Crditos

Ementa: Disciplina obrigatria para alunos em fase de desenvolvimento da tese. Bibliografia: Varivel.

Chronos

19 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Tpicos Avanados em Biologia Computacional

219-032

Doutorado

Perodo: 3 Trimestre Sub-Ttulo: Docentes Priscila Vanessa Zabala Capriles Goliatt N de Docentes: 1 Ementa: Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Visitante

45 45

100,00 100,00

Descrio sumria ou os tpicos constantes do contedo programtico, de modo a dar uma idia sobre a disciplina. Disciplina de ementa varivel, abrangendo tpicos relevantes para a formao dos estudantes e que no so abordados nas disciplinas regulares oferecidas. Tpicos da atualidade em Biologia Computacional. Bibliografia: Deve ser atualizada e permitr uma viso crtica das pesquisas na rea, em linha com as diretrizes expressas no tpico Ementa, acima. Idealmente incluir artigos que descrevem pesquisas realizadas e seus resultados Varivel. Ser organizada pelo professor responsvel. Artigos cientficos relacionados aos tpicos do curso DISCIPLINA Sigla-Nmero Nvel Carga Horria M Tpicos Avanados em Computao Paralela 3012-008 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 1 Trimestre Sub-Ttulo: Docentes Marcelo Lobosco Rodrigo Weber dos Santos N de Docentes: 2 Ementa: Categoria Docente Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente Permanente

22,5 22,5 45

50,00 50,00 100,00

Novas Mquinas. Arquiteturas Paralelas. Modelos de Programao Paralela. Sincronizao: spin locks, barreiras, escalonador preemptivo, semforos, monitores, regies crticas condicionais, excluso mtua, sincronizao bloqueante e no bloqueante, deadlocks, consenso, algoritmos baseados em tempo, problemas clssicos de sincronizao. Padres de projeto para programao paralela: pipeline, mestre-escravo, dividir e conquistar, paralelismo de tarefas, etc.Consideraes no desempenho: mtricas de desempenho, escalabilidade, overhead, complexidade de algoritmos paralelos. Bibliografia: KIRK, H. Programming Massively Parallel Processors. Morgan Kaufmann, 2010. MATTSON, SANDERS, MASSINGILL. Patterns for Parallel Programming. Addison-Wesley, 2005. SCOTT, CLARK, BAGHERI. Scientific Parallel Computing. Princeton University Press, 2005. TAUBENFELD. Synchronization Algorithms and Concurrent Programming. Prentice Hall, 2006. WILKINSON, A. Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers. Second Edition.

Chronos

20 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Tpicos Especiais em Banco de Dados

3012-009

Mestrado/Doutorado

45

Ementa: Banco de Dados no convencionais. Banco de Dados para aplicaes cientficas: principais caractersticas, modelos de dados existentes, funcionalidades. Uso de banco de dados para aplicaes cientficas em projetos cientficos: estudo de casos. Tcnicas de aquisio de conhecimento para aplicaes cientficas. Uso de tcnicas de CSCW em aplicaes cientficas. Bibliografia: HEY, T.; TANSLEY, S.; TOLLE, K. The Fourth Paradigm: Data-Intensive Scientific Discovery. Kindle Edition; Microsoft Research, 2009. Peridicos e artigos cientficos na rea. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Tpicos Especiais em Engenharia de Software 3012-010 Mestrado/Doutorado 45 D 45 F 3 Crditos

Perodo: 1 Trimestre Sub-Ttulo: Docentes Ciro de Barros Barbosa N de Docentes: 1 Perodo: 2 Trimestre Sub-Ttulo: Docentes Ciro de Barros Barbosa N de Docentes: 1 Ementa: Categoria Docente Categoria Docente

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Carga-Horria: 45

Crditos: 3 Carga Horria %

Permanente

45 45

100,00 100,00

Engenharia de Software experimental. Otimizao em Engenharia de Software. Qualidade de workflows cientficos. Bibliografia: Peridicos e artigos cientficos na rea. DISCIPLINA Sigla-Nmero Nvel Carga Horria M Tpicos Especiais em Modelagem Multiescala 3012-011 Mestrado/Doutorado 45 D 45 F 3 Crditos

Ementa: Definio de homogeneizao e transferncia de escalas. Tcnicas analticas de homogeneizao. Tcnicas numricas:introduo tcnica da mdia volumtrica, mtodo dos elementos finitos multiescala, homogeneizao por expanso assinttica. Exemplos e aplicaes. Bibliografia: SANCHEZ-PALENCIA, E. Non-homogeneous media and vibration theory. New York: J. Ehlers Lecture Notes in Physics, Springer, 1980. 215p. I Escola em modelagem computacional multiescala, LNCC (anais).

Chronos

21 de 22

03/06/13 s 16:54

Fundao Coordenao de Aperfeioamento de Pessoal de Nvel Superior

Memria da Ps-Graduao Sistema de Avaliao Relaes Nominais

Disciplinas - Oferta no Ano Base

INTERDISCIPLINAR
ANO BASE: 2012 MODELAGEM COMPUTACIONAL - UFJF Sigla-Nmero Nvel

PROGRAMA: 32005016017P-6 DISCIPLINA

Carga Horria M D 45 F

Crditos

Tpicos Especiais em Processamento Grfico

3012-012

Mestrado/Doutorado

45

Ementa: Varivel. Deve cobrir ofertas de contedo especiais, por professores visitantes e ou por docentes do prprio programa, para apresentar assuntos e ou novas tecnologias nas reas de computao grfica e geometria computacional. Bibliografia: Varivel.

Chronos

22 de 22

03/06/13 s 16:54