O aluno deve cursar três disciplinas obrigatórias e completar seus créditos com disciplinas optativas. As disciplinas obrigatórias são, de acordo com determinação de 10 de novembro de 2010,  Atividades Interdisciplinares, uma disciplina de formação em matemática e uma disciplina de formação em computação. Na formação em matemática, o aluno poderá optar entre a disciplina básica Elementos de Matemática ou uma disciplina avançada entre Métodos Matemáticos ou Transformadas Integrais. Similarmente, em formação em computação a disciplina básica é Algoritmos e Programas e, caso o aluno opte pela formação avançada, ele pode escolher entre Sistemas Discretos ou Computação de Alto Desempenho.

Sistemas Não-lineares

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Introdução aos sistemas dinâmicos não lineares. Análise qualitativa de sistemas dinâmicos contínuos. Atratores: equilíbrios, ciclos limites e comportamento aperiódico. Métodos aproximados de análise. Sistemas autônomos e não autônomos: estabilidade baseada em Lyapunov. Revisão de conceitos de estabilidade. Realimentação linearizante clássica e robusta. Projeto baseado em backstepping. Análise e síntese via estabilidade absoluta. Passividade em sistemas dinâmicos. Técnicas baseadas em Energy Shapping. Exemplos de aplicações.

Bibliografia:

KHALIL, H.K., Nonlinear Systems, Prentice Hall, 2002.

SCHAFT, A.V. L2-gain and passivity techniques in nonlinear control, Springer Verlag, 2000.

ISIDORI,A.P Nonlinear Control Systems - Third Edition, Springer Verlag, 1995.

SLOTINE J.J.and LI,.W. Applied Nonlinear Control. Prentice Hall, 1991.

SEPULCRE, R. M. JANKOVIC and P. KOKOTOVIC, Constructive Nonlinear Control, Springer Verlag, 1997.

FANTONI I, R. LOZANO, Nonlinear Control for Underactuated Mechanical Systems, Springer Verlag, 2002.


Atividades Interdisciplinares

Nivel: Mestrado Acadêmico
Obrigatória: Sim
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Desenvolvimento pelos discentes, sob orientação de colegiado multidisciplinar de professores, de projetos acadêmicos de solução em cunho interdisciplinar, incluindo aplicações de pequeno e médio porte, em princípio em equipes. Os projetos deverão ter requisitos definidos dentro de critérios de exequibilidade acadêmica e cronológica. As temáticas serão associadas as linhas de pesquisa atualmente existentes no Programa, envolvendo o corpo docente, visando nivelar percepções, integrar, em uma visão interdisciplinar, saberes e metodologias. Prescrição de recuperação de conteúdos, para eventuais falhas de cobertura de  tópicos identificados como essenciais.


Matemática Discreta

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária:
Créditos: 4.0
Área de Concentração: Área Multidisciplinar

Ementa:

Revisão de Conjuntos. Relações. Funções e Algoritmos. Indução e Recursão. Grafos. Algoritmos para  grafos. Modelos Discretos. Complexidade Computacional.

Bibliografia:

CHRISTOFIDES N. Graph Theory. New York, Academic Press,1975.

JUNGNICKEL, D. (2005)  Graphs Networks and Algorithms, 2 edição, Springer, New York.

MANNA, Z. Mathematical Theory of Computacion. Dover, 2003.

MENEZES, P. B. Matemática Discreta para Computação e Informática. ARTMED, 2008.

SIPSER, M. Introdução à Teoria da Computação. Thomson, 2007.

MENEZES, P. B.; TOSCANI, L. V. & LÓPEZ, J. G. Aprendendo Matemática Discreta com Exercícios. Bookman, 2009.

ROSEN, K. Matemática Discreta e suas Aplicações. McGraw-Hill, 2009.

SCHEINERMAN, E. R. Matemática Discreta. Thomson, 2003.

STOLL, R. R. Set Theory and Logic. Dover, 1979.

SCHEINERMAN, E. Matemática Discreta: uma introdução. São Paulo,Thomson,2006.


Caos em Sistemas Dinâmicos

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Mapas unidimensionais. Fractais. Atratores estranhos. Caos em sistemas hamiltonianos. Controle de caos. Simulação numérica de sistemas caóticos.

Bibliografia:

OTT, E.(1993) Chaos in Dynamical Systems, Cambrige University Press.
JOSE, J.V.; SALETAN, E.J. (1998), Classical Dynamics, Cambridge University Press
GUTZWILLER, M.C.(1991) Chaos in classical and quantum Mechanics, Springer-Verlag.


Computação de Alto Desempenho

Nivel: Mestrado Acadêmico
Obrigatória: Sim
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Arquiteturas paralelas e distribuidas; algoritmos trivialmente paralelizaveis; complexidade de algoritmos paralelos; programacao com MPI e PVM;

Bibliografia:

TANENBAUM, A.S. (2001) Organização de Computadores, Quarta Edição, LTC.

HENESSY, J.L.; PATTERSON, D.A. (2003) Arquitetura de Computadores - Uma Abordagem Quantitativa, Campus.

GIBBONS, A.; RYTTER, W. (1988) Efficiente Parallel Algorithms, Cambridge University Press.

BRASSARD, G.; BRATLEY, P.(1996) Fundamentals of Algorithmics, Prentice Hall.

DIVERIO, T.;NAVAUX, P. eds (2001) I Escola Regional de Alto Desempenho, Anais, Gramado/RS.


Inferência Estatística

Nivel: Mestrado Acadêmicon
Obrigatória: Não
Carga Horária: 30
Créditos: 2.0
Área de Concentração: Área Multidisciplinar

Ementa:

Inferência baseada no desenho amostral (clássica) e inferência baseada em modelos (teoria de verossimilhança). Métodos de estimação: momentos, mínimos quadrados, e máxima verossimilhança. Distribuição amostral: conceito e aplicações usando simulações. Propriedades de estimadores: viés, precisão, acurácia e consistência. Propriedades de estimadores de máxima verossimilhança. Informação de Fisher. Intervalos de confiança para estimadores de máxima verossimilhança: aproximação normal e método de perfil de verossimilhança. Intervalo de confiança por simulação: bootstrap paramétrico e não-paramétrico. Testes de hipótese: procedimento geral e aplicações. Erros tipo I e tipo II. Poder de um teste. Teste de razão de verossimilhança. Estimação pelo método de mínimos quadrados. Testes de coeficientes de regressão e correlação (paramétricos e não paramétricos). Controle estático de qualidade para variáveis.

Bibliografia:

BUSSAB, W.O.; MORETTIN, P.A. (2002) Estatística Básica (5 a. Edição). Editora Saraiva

HOEL, P.G. (1980) Estatística Matemática (4 a.Ed.) Editora Guanabara 2

MOOD, A .M.; GRAYABILL, F., BOES, D.C. (1974) Introduction to the theory of statistics. McGraw-Hill

NOLAN, D.; SPEED, T. (2000) Stat Lab: Mathematical Statistics Through Applications. Springer Verlag.

SIEGEL, S. (1975) Estatística Não-Paramétrica. McGraw-Hill

SOONG, T.T. (1986) Modelos probabilísticos em Engenharia e Ciências. LTC Editora S.A.

SOUZA, G.S. (1998) Introdução aos Modelos de Regressão Linear e Não-linear. EMBRAPA. 489p.

VENABLES,W.N.; SMITH, D.M. (2001) An Introduction to R. (Arquivo pdf para download)

ZAR (1984) Biostatistical analysis (2nd Ed.) - Prentice-Hall


Introdução aos Problemas Inversos

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Exemplos de Problemas Inversos, Problemas Mal-Postos, Problemas Mal-Condicionados, Mínimos Quadrados, Decomposição em Valores Singulares, Princípio da Discrepância, Regularização de Tikhonov, Regularização Entrópica, Método de Newton, Métodos Quase-Newton, Método de Landweber, Método do Gradiente Conjugado, Método da Máxima Descida, Método de Levenberg-Marquardt.

Bibliografia:

GROETSCH, C.W. (1993) Inverse Problems in The Mathematical Science Braunschweig, Wiesbaden: Vieweg.

KIRSCH, A. (1996) An Introduction to The Mathematical Theory of Inverse Problems Applied Mathematical Sciences, 120 Springer-Verlag, New York.

SILVA NETO, A.J.; MOURA, F.D. (2000) Escolha de Modelos: Problemas Inversos em Engenharia (Mini-Curso) CNMAC-SBMAC.

ENGL, H.W.; HANKE, M.; NEUBAUER, A. (1996) Regularization of Inverse Problems, Kluwer.

BECK, J.V.; BLACKWELL, B.; St.CLAIR, C.R. (1985) Inverse Heat Conduction: Ill-Posed Problems John Wiley & Sons.

TIKHONOV, A.N.; ARSENIN (1977) Solution of Ill-Posed Problems, John Wiley & Sons


Métodos Matemáticos

Nivel: Mestrado Acadêmico
Obrigatória: Sim
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Equações Diferencias Parciais de 1ª ordem. Teorema de Classificação. Método de Separação de Variáveis. Teorema de Sturm-Liouville. Funções especiais: Bessel, Legendre, Neuman. Função de Green. Equações Diferencias Parciais de ordem mais alta. Cálculo das Variações. Princípio de Hamilton. Equação Diferencial de Euler-Lagrange. Formulação Variacional para sistemas contínuos. Aplicação do Método variacional para Problemas de Autovalores.

Bibliografia:

BOAS, M. L. (1983) Mathematical Methods in the Physical Sciences,2nd ed, J. Wiley.

ELSGOLTS, L. (1977) Differential Equations and the Calculus of Variations, Mir.

GOLDSTEIN, H. (1980) Classical Mechanics, 2nd ed, Addison-Wesley.

LANCZOS, C. (1986). The Variational Principles of Mechanics,4th ed., Dover.

GOULD,S.H. (1995) Variational Methods for Eingenvalue Problems, Dover.


Métodos Numéricos

Nivel: Mestrado Acadêmico
Obrigatória: Sim
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Interpolação, aproximação e derivação numérica de funções. Zeros de equações algébricas e transcendentais. Cálculo numérico de funções especiais (Bessel, funções de integrais elípticas, etc.). Sistemas de equações lineares e não lineares. Ajustamento de curvas. Integração numérica. Soluções de equações diferenciais ordinárias e parciais. Simulação de sistemas dinâmicos. Problemas de autovalores e autovetores. Transformadas de Fourier: DFT e FFT.

Bibliografia:

PRESS, W. H. et alli (1989), Numerical Recipes in Pascal: The Art of Scientific Computing. Cambridge University Press.

DEMIDOVITCH, B. et MARON, I.(1973). Eléments de Calcul Numérique, Mir.

NOUGIER, J. P. (1983) Méthodes de Calcul Numérique, Masson.

LANZARINI, C. e FRANCO, N. M. B. (1980), Tópicos de Cálculo Numérico, USP-São Carlos.


Modelagem Climática

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Sistema Climático. Modelagem Climática. Modelos de Balanço de Energia. Modelos Radiativo-Convectivos. Modelos Estatístico-Dinâmicos. Modelos de Circulação Geral da Atmosfera. Estudos de Mudanças Climáticas.

Bibliografia:

HOUGHTON, J. T.; MEIRA FILHO, L. G.; CALLANDER B. A.; HARRIS, N.; KATTEMBERG, MASKELL, A.;K. eds. (1996) Climatic Change: The Science of Climate Change, Cambridge University Press.

GASH, J. H. C.; NOBRE, C. A. ; ROBERTS, J.M.; e VICTORIA, R. L. (1996) Amazonian deforestation and climate. New York: Wiley.

SCHLESINGER, M. E. (1988) Physically-Based Modelling and Simulation of Climate and Climatic Change. Part I and II, Kluwer.

TREMBERTH, K. E (1995). Climate System Modeling, Cambridge University Press.


Modelagem de Robôs

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Formalismo Newtoniano de modelagem, formalismo de Euler-Lagrange, modelagem dinâmica de sistemas, exemplos, modelagem dinâmica de robôs manipuladores rígidos, modelagem dinâmica de robôs manipuladores com elos flexíveis, modelos cinemáticos direto e inverso, desenvolvimento de modelos cinemáticos de robôs manipuladores, cinemática de corpos rígidos em movimento espacial, modelos cinemáticos de robôs móveis, modelos dinâmicos de robôs móveis, aplicações à robótica subaquática.

Bibliografia:

FOSSEN, T. I., 1994. Guidance and Control of Ocean Vehicles. Chichester: John Wiley & Sons

SPONG, M. W. and Vidyasagar, M., 1989. Robot dynamic and control. John Wiley and Sons.

MEIROVITCH, M., 1970. Methods of analytical dynamics. McGraw-Hill.

CRAIG, J. J., 1986. Introduction to robotics, mechanics and control. Addison Wesley.

FRANKLIN, G. F. and Powell, J. D., 1995. Feedback control of dynamic systems. 3ed, New York, Addison-Wesley.


Modelos Probabilísticos em Ciências e Engenharia

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 30
Créditos: 2.0
Área de Concentração: Área Multidisciplinar

Ementa:

Conceituação de Probabilidades: clássico, frequência relativa, subjetiva.
Axioma de Probabilidade. Probabilidade COndicional e independência. Teorema de Bayes. VAriáveis aleatórias discretas e sua representação: função massa de probabilidade; funçãp distribuição. Medidas-resumo: Esperança, variância, Quantil, Moda, Assimetria, Curtose. Modelos probabiliísticos discretos: Binomial, Poisson, Hipergeométrica, Multinomial, Geométrica e Binomial Negativa. Variáveis aleatórias contínuas e sua representação: densidade de probabilidade; função distribuição. Modelos probabilísticos contínuos: Normal, Log-Normal, Exponencial, Gama, Qui-Quadrado, Student e Fischer. Tópicos complementares.

Bibliografia:

HOEL, P.G.; PORT, S.C.; STONE, C.J. (1978) Introdução À Teoria das Probabilidades, Editora Intersciência.

SOONG, T.T. (1986) Modelos probabilísticos em Engenahria e Ciências, LTC Editora.

GRIMMET, D.R.; STIRZAKER, D.R. (1985) Probability and random process, Oxford University Press.


Processos Estocáticos

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Séries temporais e a sua analise.
Cadeias e processos de Markov, matrizes estocásticas.
Processos de Poisson e Ornstein-Uhlenbeck.
Formulação de Wiener e Feynman-Kac (Formulação hamiltoniana e termodinâmica).
Teoria de campos euclideanos na rede (Integrais funcionais, funções de corelação em n pontos, Approximação por campos médios).
Teorias de calibre na rede (Teorias de calibre abelianas e não abelianas, Laços de Wegner Wilson).

Bibliografia:

CHUNG, K. L. (2000). A Course in Probability Theory Revised, Academic Press.

DOOB,J.L. (1990). Stochastic Processes (Wiley Classics Library) Wiley-Interscience.

LINDSEY, J.K. (2004). Statistical Analysis of Stochastic Processes in Time (Cambridge Series in Statistical and Probabilistic Mathematics), Cambridge University Press.

ROEPSTORFF, G. (1996). Path Integral Approach to Quantum Physics: An Introduction (Texts and Monographs in Physics) Springer Verlag.


Teoria Construtal

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Forma natural, questões e teoria; Estruturas Mecânicas; Estruturas Térmicas; Árvores Condutivas; Árvores em fluidos; Rios e Dutos; Árvores Convectivas; Estruturas em Sistemas de Potência; Estruturas no tempo: ritmo; Estruturas em Economia e Transportes; Formas com resistência constante.

Bibliografia:

BEJAN, A (2000) Shape and Structure, from Engineering to Nature, Cambridge University Press.

BEJAN, A. (2003) Convection Heat Transfer, 2nd edition, Wiley.

BEJAN, A. (1999) Advanced Engineering Thermodynamic, 2nd edition, Wiley.

TSATSARONIS, G.; MORAN, M.; BEJAN A. (1996) Thermal Design and Optimization, Wiley.


Tópicos de Modelagem Computacional Aplicada a Física

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 60
Créditos: 4.0
Área de Concentração: Área Multidisciplinar

Ementa:

Topicos especiais de modelagem computacionais aplicadas a descrição de sistemas físicos. A disciplina abordará temas específicos de cada orientador.

Bibliografia:
Artigos de periódicos
.


Tópicos em Computação Aplicada

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 60
Créditos: 4.0
Área de Concentração: Área Multidisciplinar

Ementa:

Topicos especiais de modelagem computacionais aplicadas a Computação. A disciplina abordará temas específicos de cada orientador.

Bibliografia:
Artigos de periódicos.


Tópicos em Modelagem de Sistemas Termofluídos

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 60
Créditos: 4.0
Área de Concentração: Área Multidisciplinar

Ementa:

Tópicos especiais de modelagem computacionais aplicadas a sistemas termofluídicos. A disciplina abordará temas específicos de cada orientador.

Bibliografia:
Artigos de periódicos.


Transferência de Calor e Mecânica dos Fluídos Computacionais

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Introdução; Equações de conservação; Obtenção das equações de conservação aproximadas; Funções de interpolação; Solução de problemas de difusão; Solução de problemas de convecção.

Bibliografia:

MALISKA, C. R. (2004) Transferência de calor e mecânica dos fluidos computacional, LTC.

PATANKAR, S.V. (1980) Numerical Heat Transfer and Fluid Flow, Mcgraw-Hill Book Company.


Modelagem Numérica Aplicada a Oceanografia

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária:
Créditos: 3
Área de Concentração: Área Multidisciplinar

Ementa:

Introdução à modelagem numérica aplicada à oceanografia; equação do movimento em oceanografia; métodos numéricos Série de Raylor, o método das diferenças finitas, condições de contorno, método dos elementos finitos, o conceito de elemento.


Sistemas Inteligentes

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Conceitos Básicos, Métodos de Classificação, Clusterização, Planejamento e Busca. Filtros Baysianos. Aplicações.


Introdução à Modelagem Climática

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

O Objetivo da disciplina é discutir a previsibilidade dos sistemas atmosféficos e suas conseqüências sobre a modelagem climática. Serão avaliadas as incertezas da previsão, a aplicação de previsões de conjunto e os erros sistemáticos. O curso será concluído com a aplicação de um modelo numérico global de previsões climáticas em simulações que serão analisadas com base nos conceitos aprendidos

Bibliografia:

BUIZZA, R., 2000. Chaos and weather prediction, European Centre for Medium-Range Weather.

CHANDLER, M. Educational Global Climate Model, http://edgcm.columbia.edu/.

JUNG, T. e TOMPKINS, A., 2000. Systematic errors in the ECMWF Forecasting System, European Centre for Medium-Range Weather.

PALMER, T.N., 1999. Predicting Uncertainty in forecasts of weather and climate, ECMWF Technical Memorandum No. 294.


Transferência de Calor por Convecção Computacional

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Princípios fundamentais de transferência de calor; princípios fundamentais da convecção de calor; camada limite laminar; convecção laminar no interiro de dutos; convecção laminar sobre corpos; convecção natural interna; transição para regime turbulento; escoamento turbulento em dutos; escoamento turbulento livre.

Bibliografia:

BEJAN, Convection Heat Transfer, Wyley Interscience

BEJAN, Transferência de Calor, Edgard Blücher Ltda

INCROPERA, F.P. e DE WITT, D. P. , Fundamentos de Transferência de Calor e Massa, LTC


Aprendizado de Máquina Aplicado à Bioinformática

Nivel: Mestrado Acadêmico
Obrigatória:
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Introdução a Biologia Molecular. Introdução a probabilidades e modelos probabilísticos. Alinhamento de pares de seqüências biológicas. Cadeias de Markov escondidas (HMMs). Alinhamento de pares de seqüências biológicas com HMMs. Algoritmos de clusterização para a análise de expressão gênica. Engenharia reversa de redes biológicas, Redes de relevância, Modelos gráficos Gaussianos,Redes Bayesianas.

Bibliografia:

HUSMEIER, D, DYBOWSKI, R. & ROBERTS, S. Probabilistic Modeling in Bioinformatics and Medical Informatics

JONES & PEVZNER, An Introduction to Bioinformatics Algorithms,  MIT Press.

HUNTER (1999). Artifical Intelligence and Molecular Biology Chapter 1.

BISHOP (2006)  Pattern Recognition and Machine Learning. C.M. Bishop. Springer.

DURBIN, R. EDDY, S.,  KROGH, A., MITCHINSON, G.  Biological Sequence Analysis : Probabilistic Models of Proteins and Nucleic Acids

BALDI, P. , BRUNAK,S. Bioinformatics the Machine Learning Approach


Caos em Sistemas Dinâmicos

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Mapas unidimensionais. Fractais. Atratores estranhos. Caos em sistemas hamiltonianos. Controle de caos. Simulação numérica de sistemas caóticos.

Bibliografia:

JOSE, J.V; SALETAN, E.J. (1993) Chaos in Dinamical Systems Editora: Cambridge - USA 1ª edição

GUTZWILLER, M.C. (1998) Classical Dynamics Editora Cambridge
Chaos in classical and quantum Mechanics Editora: Springer-Verlag Ano: 1991


Elementos de Matemática

Nivel: Mestrado Acadêmico
Obrigatória:
Carga Horária: 45

Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Transformações lineares, vetores, autovalores e autovetores, aplicações a sistemas dinâmicos, equações diferenciais ordinárias (revisão), equações diferenciais parciais (revisão), aplicações a modelos dinãmicos, transformadas de LaPlace e Fourier, aplicações.


Elementos de Inteligência Artificial

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar


Ementa:

Histórico da Inteligência Artificial. Conceitos básicos. Linguagens e plataformas para IA. Redes neurais.  Raciocínio e conhecimento sob
incerteza. Processos de Decisão e Modelos de Markov. Sistemas multiagentes.

Bibliografia:

RUSSEL, S. & NORVIG, P. Inteligência Artificial. Campus, 2004.

BITTENCOURT, G. Inteligência Artificial - Ferramentas e Teorias. Editora
da UFSC, 2006.

REZENDE, S. Sistemas Inteligentes - Fundamentos e Aplicações. Manole, 2005.

WOOLDRIDGE, M. An Introduction to Multi-Agent Systems. Wiley, 2002.

FREEMAN, J. A. and SKAPURA, D. M. 1991 Neural Networks: Algorithms, Applications, and Programming  Techniques. Addison Wesley Longman Publishing Co., Inc.


Grafos e Redes

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Grafos: definições e notação; conectividade; problemas de coloração; locação de centros e medianas; geração de árvores; caminhos mínimos; problemas Eulerianos e Hamiltonianos; problemas de emparelhamento. Fluxo em redes: formulação de modelos, métodos Simplex primal-dual canalizado, algoritmo out-of-kilter e problemas de fluxo em rede com múltiplos produtos.

Bibliografia:

CHRISTOFIDES, N. Graph Theory- An Algorithmic Approach; Academic Press, 1975

KENNINGTON, J. L. & HELGASON, R. V.; Algorithm for Network Programming; John Willey & Sons, 1980

BOLLOBOAS, B.; Advances in Graph Theory; Springer, 1981

TRUDEAU, Richard J.; Introduction to Graph Theory; Dover; 1993

WEST, D. B.; Introduction to Graph Theory; Prentice Hall;1996

RABUSKE, M. A.; Introdução á Teoria dos Grafos; Ed. UFSC; 1992


Modelagem Formal de Sistemas Sociais

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Abordagens extensional e intensional á modelagem de sistemas sociais. Invariantes funcionais de sistemas sociais: organização, regulação, adaptação. Aspectos extensionais de sistemas sociais: modularidade, interconectividade, estruturação hierárquica, causalidade em rede, causalidade hierárquica, funcionalidade. Aspectos intensionais de sistemas sociais: valores, normatividade, institucionalidade. Modelos formias minimais de sistemas complexos: estrutura populacional, estrutura organizacional, dimensões extensional e intensional. Estudos de caso, modelagem de sociedades, sistemas sociais, instituições, etc.

Bibliografia:

SIMON, H. The Sciences of Artificial. MIT Press, 1996

SEARLE, J. The Construction of Social Reality. The Free Press, 1995

PIAGET, J. Biologia e Conhecimento, 1996

WOUTERS, A. G. Explanation |Without a Cause. University of Utrecht, 1999 (PhD. thesis)

DIGMUN, V. Multi Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global, 2009

COSTA, A.C.R; Dimuro, G.P. A Minimal Dynamical MAS Organization Model.

Capítulo XVII de Dignum, 2009, p. 419-445


Sistemas Discretos

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Indução, co-indução, recursão e co-recursão. Programação Funcional: funções, estruturas de dados, tipagem, avaliação lazy, programação monádica. Sistemas discretos: equações de diferenças, dinãmica de sistemas discretos, sistemas discretos programados, cálculo de streams. Simulação de sistemas discretos com programação funcional.

Bibliografia:

LUENBERGER, D. Introduction to Dynamic Systems- Theory, Models and Applications. Wiley, 1979

CULL, P.; FLAHIVE, M & ROBSON, R. Difference Equations- From Rabbits to Chaos. Springer, 2005

SÁ, C., SILVA, M. Haskell: uma abrodagem prática. Novatec, 2006

RUTTEN, M. Elements of Stream Calculus. CWI, 2001 (Report SEN R0120)


Modelagem de Sistemas a Eventos Discretos

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 60
Créditos: 4,0
Área de Concentração: Área Multidisciplinar

Ementa:

Conceitos introdutórios e definição de sistemas discretos. Apresentação de modelos para a concepção de sistemas e eventos discretos. Aplicação da teoria de autômatos a sistemas e eventos discretos. Aplicação da teoria de autômatos a sistemas e eventos discretos. Aplicações de sistemas e eventos discretos.

Bilbiografia:

CASSANDRAS, C. G.; LAFORTUNE, S. Introduction to Discrete Event Systems. 2ns Ed, Springer. 2008

AGUIRRE, L.A. Enciclopédia de Automática: Controle e Automação. Vol 1, Editora Blucher, 2007.

CARDOSO, J. V.R. Redes de Petri, Editora da UFSC. 1997

MORAES, C.;  Castrucci, Plínio de Lauro. Engenharia de Automação Industrial. LTC, 2007

MIYAGI, P.E. Controle Programável. Editora Edgard Blucher. 1996

NASCIMENTO, C.L.; YONEYAMA, T. Inteligência Artificial em Controle e Automação. Editora Edgard Blucher, 2000

ARNOLD, A. Finite Transation Systems. Prentice Hall, 1994

JENSEN, K. Coloured Petri Nets, Second Edition. Springer, 1996


Introdução à Programação Matemática

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3,0
Área de Concentração: Área Multidisciplinar

Ementa:

Programação linear. Programação inteira. Programação semi definida. Otimização combinatória. Otimização multiobjetivo. Algoritmos de busca e otimização. Estudos de casos: otimização de estruturas; busca por parâmetros; problemas gerais de roateamento, particionamento e alocação.

Bibliografia:

MURTY, K.G. (1985) Linear and combinatorial programming. Robert E. Krieger P Company

GOLDBERG, D.E. (1989) Genetic Algorithms im Search, Optimization and Machine Learning. Kluwer Academic Publishers

GOLDBARG, M.C. & LUNA, H.P.L. (2000) Otimização Combinatória e Programação Linear; Modelos e Algoritmos" Campus

KOZA, J. (1992)  Genetic Programming on the programming of Computers by means of natural selection. MIT Press

RUSSEL, S.J.; NORVIG, P. (2003) Artificial Intelligence: a modern Aproach (2nd Ed), Prentice hall

HOOS, H.H., STUTZLE, T (2004) Stochastic Local Search: Foundations and Applications


Álgebra Linear

Nivel: Mestrado Acadêmico
Obrigatória: Não
Carga Horária: 45
Créditos: 3.0
Área de Concentração: Área Multidisciplinar

Ementa:

Espaços vetoriais; produto interno e norma. Transformações lineares. Álgebra de operadores. Transformações unitárias e ortogonais. Formas quadráticas; determinantes. Autovalores e autovetores. Diagonalização e formas canônicas. Introdução a sistemas de equações diferenciais lineares.

Bibliografia:

LIMA, E.L. Álgebra Linear

HOFFMAN-KUNZE, Algebra Linear