Temas de Trabalho

2005/2006

Home
Dados Genéricos
Objectivos
Temas de Trabalho
Regras de Avaliação
Defesa de Relatórios
Horários das Sessões
Guião
Links Úteis
2004-2005

 


1. Análise de variância.

• Orientador: Prof. Andreia Hall
• Alunos (1):
Nome No Classificação
Patrícia de Paiva Leite 27208 ...
• Resumo:
Uma das técnicas mais utilizadas na análise de dados estatísticos é a análise de
variância (ANOVA) que tem por objectivo comparar a média (ou outra medida
de localização) de várias populações. Existe uma grande diversidade de modelos
ANOVA e graças ao actual desenvolvimento computacional é possível aplicar estes
modelos com relativa facilidade e obter resultados em poucos segundos.
As fases deste trabalho serão as seguintes:
(a) Fazer um levantamento de vários modelos de ANOVA (ANOVA a um ou mais
factores; ANOVA com observações independentes ou repetidas; efeitos aleatórios
e efeitos fixos; ANOVA paramétrica e não-paramétrica)
(b) Estudar a forma de aplicar estes modelos num programa de estatística, o SPSS.
(c) Pesquisar dados para exemplificar vários modelos.
(d) Criticar a facilidade/dificuldade de implementação da ANOVA no SPSS.
(e) Se possível, comparar a aplicação de modelos de ANOVA no SPSS com outro
ou outros programas que disponibilizem modelos de ANOVA.
• Bibliografia:
– Mickey, Ruth M. Dunn, O. & Clarck, V., Applied statistics: analysis of variance and
regression, John Wiley & Sons, 2005.
– Pestana, M. e Gageiro, j. Análise de dados para ciências sociais a complementaridade
do SPSS, Edições Sílabo, 2003.

2.

• Orientador: Prof. Batel Anjo
• Alunos (2):
Nome No Classificação
Carolina Simões da Costa 15934 14
Sandra Isabel Benfeitas da Silva 13111 14

3. O problema da braquistócrona e suas variantes.

• Orientador: Prof. Delfim F. M. Torres
• Alunos (2):
Nome No Classificação
Sónia Cristina de Jesus Matias 14652 ...
... ... ...
• Resumo:
O problema da braquistócrona foi proposto por John Bernoulli em 1696 como desafio
à comunidade matemática da época. O problema consiste em encontrar uma
curva que una dois pontos A e B situados num mesmo plano vertical, com a propriedade
de que uma partícula inicialmente em repouso que deslize sobre essa curva
leve o menor tempo possível para ir, sob a acção da gravidade, de A até B. O ponto
A é suposto estar acima do ponto B mas não na mesma vertical. A solução deste
problema foi publicada pouco menos de um ano após a sua colocação. Resolveram
o problema o próprio John Bernoulli, o seu irmão mais velho James Bernoulli, e outros
matemáticos como Leibniz e Newton. A publicação da resolução do problema
em 1697 marca o nascimento do Cálculo das Variações. Para além do problema inicialmente
colocado por John Bernoulli, cujo estudo detalhado vem em quase todos
os livros sobre o cálculo das variações, muitas variantes do problema têm sido colocadas
e resolvidas ao longo dos tempos: braquistócrona através do planeta Terra,
problema sobre a presença de atrito, etc, etc. Neste trabalho pretende-se fazer
um apanhado das várias variantes ao problema da braquistócrona e dos diferentes
métodos matemáticos e diferentes demonstrações usados na sua resolução.
• Bibliografia:
Algumas referências que podem ser consultadas:
– Bruce van Brunt. The Calculus of Variations, Springer-Verlag New York, 2004. Biblioteca:
517.9A.594
– John L. Troutman, Variational calculus and optimal control – Optimization with elementary
convexity, Second edition. Undergraduate Texts in Mathematics. Springer-
Verlag, New York, 1996. Biblioteca: 517.97A.1.2ed
– Donald R. Smith. Variational methods in optimization, Reprint of the 1974 original.
Dover Publications, Inc., Mineola, NY, 1998.
– Herman Erlichson, Johann Bernoulli’s brachistochrone solution using Fermat’s principle
of least time, European J. Phys. 20 (1999), no. 5, 299–304.
– Harry H. Denman, Remarks on brachistochrone-tautochrone problems, Am. J. Phys.
53 (3), 1985, 224–227.
– Gary Lawlor, A new minimization proof for the brachistochrone, Amer. Math. Monthly
103 (1996), no. 3, 242–249.
– Stephen C. Lipp, Brachistochrone with Coulomb friction, SIAM J. Control Optim. 35
(1997), no. 2, 562–584.
– N. Ashby, W. E. Brittin,W. F. Love, W.Wyss, Brachistochrone with Coulomb friction,
Amer. J. Phys. 43 (1975), no. 10, 902–906.

4. Cálculo das Variações e Maple.

• Orientador: Prof. Delfim F. M. Torres
• Alunos (1):
Nome No Classificação
Frederico Domingues Regateiro 23125 ...
• Resumo:
Desde a versão 8, o Maple disponibiliza um package intitulado VariationalCalculus
que proporciona um conjunto de rotinas para a resolução de problemas do Cálculo
das Variações: uma área clássica da Matemática, com mais de 300 anos, que “estuda
as curvas e superfícies mais eficientes da natureza”. Exemplos de problemas
típicos do Cálculo das Variações (assunto estudo na disciplina de Análise IV) são:
– Encontrar o caminho mais curto (geodésica) entre dois pontos de uma superfície
3-D (um cone, uma esfera, etc).
– Determinar a forma de uma rampa que ligue dois pontos dados de um plano
vertical de tal modo que um ponto material deslize entre eles no menor tempo
possível (problema da braquistócrona).
– Estudar a forma das películas de sabão: formas essas que correspondem à
superfície mínima gerada por uma determinada armação de arame.
– etc, etc.
Tais problemas são normalmente abordados por intermédio das equações de Euler-
Lagrange, que generalizam o teorema dos multiplicadores de Lagrange para funções
de variável real sujeitas a restrições. As equações diferenciais de Euler-Lagrange
são muito fáceis de escrever, mas são normalmente difíceis de resolver para a maior
parte dos problemas práticos. O package VariationalCalculus do Maple automatiza,
entre outras funcionalidades, a construção e análise das equações de Euler-
Lagrange. Com este trabalho pretende-se explorar o uso do Maple 10, recentemente
adquirido pelo Departamento de Matemática, identificando e ilustrando as suas potencialidades
e fraquezas nesta área.
• Bibliografia:
A nossa biblioteca tem muitos livros sobre a temática do trabalho proposto. Alguns
exemplos que podem ser consultados:
– Bruce van Brunt. The Calculus of Variations, Springer-Verlag New York, 2004. Biblioteca:
517.9A.594
– Enid R. Pinch, Optimal control and the calculus of variations, Oxford University
Press, 1995. Biblioteca: 519.8A.190
– Gilbert A. Bliss, Lectures on the calculus of variations Phoenix Books, 1968 Biblioteca:
517.9A.41
– Hans Sagan, Introduction to the calculus of variations, Dover, 1992. Biblioteca: 517.9A.101
– L. E. Elsgol’c, Differential equations and the calculus of variations, Mir, 1977. Biblioteca:
517.9A.37
– RobertWeinstock, Calculus of variations with applications to physics and engineering,
Dover, 1974. Biblioteca: 517.9A.45
– Leonid P. Lebedev, The calculus of variations and functional analysis, Imperial College
Press, 2003. Biblioteca: em processamento
– André Heck, Introduction to Maple, Springer, 2003. Biblioteca: 519.6A.592.3ed(D)
– Martha L. Abell and James P. Braselton, Maple by example, Elsevier, 2005. Biblioteca:
519.6A.612.3ed; 519.6A.612.3ed.CD
– David Betounes, Differential equations: theory and applications with MAPLE, Springer
Verlag, 2001 Biblioteca: 519.6A.569; 519.6A.569.CD
– Gueorgui Smirnov, Vladimir Bushenkov. Curso de Optimização – Programação Matemática,
Cálculo de Variações, Controlo Óptimo, Escolar Editora, 2005.
– Gilberto E. Urroz, A survey of mathematical applications using Maple 10, July 2005.
– Gilberto E. Urroz, Getting started with Maple 10, July 2005.
– Waterloo Maple Inc, The Calculus of Variations in Maple 8, 2002
– Waterloo Maple Inc, Maple User Manual, 2005.
– Waterloo Maple Inc, Maple Getting Started Guide, 2005.

5. Integrabilidade e não Integrabilidade de Sistemas Hamiltonianos.

• Orientador: Prof. Eugénio A. M. Rocha
• Alunos (2):
Nome No Classificação
Inês Jorge de Oliveira Costa 25950 ...
Dina da Silva Fernandes 23057 ...
• Resumo:
O estudo da solvabilidade (integrabilidade) por quadraturas de um problema de
Control Óptimo (CO) é fundamental para a sua resolução analítica. Na comunidade
científica ainda são raros os trabalhos sobre o assunto, ainda que existam vários
resultados para sistemas Hamiltonianos.
Uma vez que as soluções de problemas de CO dependem fortemente de soluções de
sistemas Hamiltonianos, neste trabalho pretende-se implementar em Maple algumas
condições da literatura que garantam verificar a integrabilidade ou a não integrabilidade
de sistemas Hamiltonianos, e dessa forma poder extrapolar consequências
sobre a integrabilidade dos respectivos problemas de CO.
• Bibliografia:
– A. Goriely, “Integrability and Nonintegrability of Dynamical Systems”, World Scientific,
2001

6. Modelação Estocástica da Agitação Marítima.

• Orientador: Prof. Manuel Scotto
• Alunos (3):
Nome No Classificação
Marta Isabel Alves Sousa 25416 ...
Tânia Isabel Nunes Cunha 25448 ...
Ana Raquel Rodrigues Coelho 25867 ...
• Resumo:
Os objectivos da Engenharia Naval no estudo da agitação marítima podem dividirse
em três áreas: o conhecimento da evolução da superfície do mar ao logo do
tempo (a curto e a longo prazo); os efeitos que essa agitação tem sobre a costa
(praias, estruturas marítimas, etc.); e finalmente como esta agitação se transforma,
ao contacto com a orla costeira. Este trabalho tem como objectivo ajustar modelos
temporais (univariados e bivariados) a um conjunto de dados referentes a medições
de altura significativa de onda e período de pico, feitas na Figueira da Foz entre os
anos 1958-2001.
• Bibliografia:
– Guedes Soares, C. e Scotto, M. G. (2000). Modelling the long-term series of significant
wave heights with non-linear threshold models. Coastal Engineering 40, 313-327.
– Ferreira, J. A. e Guedes Soares, C. (2002). Modelling bivariate distributions of significant
wave height and mean wave period. Applied Ocean Research, 24, 31-45.
– Brockwell, P. J. e Davis, R. A. (1996). Introduction to Time Series and Forecasting.
New-York: Springer-Verlag.

7. O “Jogo da Vida” de John H. Conway.

• Orientador: Prof. Rosália Rodrigues
• Alunos (2):
Nome No Classificação
Vítor Hugo Ribeiro Fernandes 25605 ...
Rui Manuel Dias Morais 27246 ...
• Resumo:
O “Jogo da Vida” é talvez o mais conhecido exemplo de Autómato Celular e foi
criado pelo matemático inglês John Horton Conway em 1970. O seu trabalho teve
origem em questões de Teoria dos Grupos, levantadas por John Leech, em conjunção
com problemas de Computabilidade propostos por John von Neumann.
Em Outubro de 1970, Martin Gardner escreveu na revista Scientific American:
“The game made Conway instantly famous, but it also opened up a
whole new field of mathematical research, the field of cellular automata...
Because of Life’s analogies with the rise, fall and alterations of a society of
living organisms, it belongs to a growing class of what are called "simulation
games-- games that resemble real-life processes.”
O “Jogo da Vida” passou, desde a sua publicação, a atrair enorme interesse por
parte de biólogos, matemáticos, economistas e mesmo de filósofos.
O trabalho a desenvolver neste Seminário envolve uma parte teórica sobre a caracterização
formal de Autómatos Celulares, uma componente computacional consistindo
numa simulação do “Jogo da Vida” e uma breve descrição das implicações
filosóficas e sociais deste tema.

8. Métodos de regularização e problemas inversos.

• Orientador: Prof. Uwe Kaehler
• Alunos (2):
Nome No Classificação
... ... ...
... ... ...
• Resumo:
Problemas inversos tem uma grande importância na ciência e tecnologia moderna,
desde problemas geológicos até problemas de natureza financeira. Devido ao facto
dos problemas deste tipo serem em geral mal-condicionados, a solução numérica
requer uma regularização inicial. O objectivo deste trabalho é o de estudar diferentes
métodos de regularização como a regularização de Tikhonov, iterações de
Landweber, etc. e as suas aplicações na resolução de problemas inversos.
• Bibliografia:
– Charles W. Groetsch, Inverse Problems in the Mathematical Sciences, Vieweg, 1993.
– Victor Isakov, Inverse Problems for Partial Differential Equations, Springer, 1998.
– A. Kirsch, Inverse and Il-posed Problems, Springer, 2001.
– Colton, D., Kress, R., Inverse Acoustic and Electromagnetic Scattering, Springer,
1992.

 

_________________________________________________________________________________________________________________________

Departamento de Matemática

Universidade de Aveiro