Você está na página 1de 83

SERVIO DE PS-GRADUAO DO ICMC-USP

Data de Depsito:
Assinatura:

17.10.2005

./,..; ;/,

Simulao numrica de escoamentos de


fluidos utilizando diferenas finitas
generalizadas

Fernanda Olegrio dos Santos

Orientador: Prof. Dr. Antonio Castelo Filho

Dissertao apresentada ao Instituto de Cincias Matemticas e


de Computao - ICMC-USP, como parte dos requisitos para
obteno do ttulo de Mestre em Cincias - Cincias da
Computao e Matemtica Computacional.

USP - So Carlos
Qutubro/2005

Aluno: Fernanda Olegrio dos Santos

A Comisso Julgadora:

Prof. Dr. Antonio Castelo Filho

Prof. Dr. Norberto Mangiavacchi

Prof. Dr. Mrcio Teixeira de Mendona

Aos meus pais Neide e David, com, carinho.

Agradecimentos

Em primeiro lugar agradeo a Deus por estar presente em todos os momentos de minha
vida.
Em especial a minha me Neide, meu pai David e minha irm Liliana, por sempre
acreditarem em mim e no meu potencial. Pelo carinho, amor, oraes, dedicao e ateno.
Amo muito vocs !
Ao meu sobrinho Gabriel, pela alegria, carinho, brincadeiras ...
Ao meu namorado Magno, pelo carinho, amor, pacincia, por estar sempre a,o meu lado
em todos os momentos.
Agradeo aos meus tios Neusa e Jos pelo carinho e sempre incentivo.
Ao meu orientador Castelo, pela orientao e apoio.
Aos professores do grupo de pesquisa, pela colaborao e convivncia.
Tambm aos jamais esquecidos amigos de graduao e professores da UFSCar, especialmente ao prof. Artur Darezzo Filho, pela orientao, apoio, amizade e incentivo durante a
graduao.
s amigas Analice, Marcela, Gilcilene e Kmelli, pelo companheirismo e convivncia,
nos estudos e nos momentos de descontrao.
Ao Mrio, Fernando, Cssio, Joo Paulo, lton, enfim aos amigos do LCAD, pela
amizade e pela ajuda.
A FAPESP, pelo apoio financeiro no desenvolvimento deste trabalho.
Agradeo, por fim, a todos que direta, ou indiretamente, contriburam para o sucesso
deste trabalho.

Fernanda

ii

Resumo

Este trabalho apresenta parte de um sistema de simulao integrado para escoamento de


fluido incompressvel bidimensional em malhas no estruturadas denominado UmFlow-2D.
O sistema consiste de trs mdulos: um mdulo modelador, um mdulo simulador e um
mdulo visualizador. A parte do sistema apresentado neste trabalho o mdulo simulador. Este mdulo, implementa as equaes de Navier-Stokes. As equaes governantes
so discretizadas pelo mtodo de diferenas finitas generalizadas e os termos convectivos
pelo mtodo semi-lagrangeano. Um mtodo de projeo empregado para desacoplar as
componentes da velocidade e presso. O gerenciamento da malha, no estruturada feito
pela estrutura de dados SHE. Os resultados numricos obtidos pelo UmFlow-2D so comparados com solues analticas e solues numricas de outros trabalhos.
Palavras-chave: Simulao numrica. Mtodo de diferenas Finitas Generalizadas. Malhas no estruturada.

iii

Abstract

This work presents an integratc simulation system, called UmFlow-2D, wich aims a,t
simulating two-dimensional ncompressible fluid flow using unstructed mesh. The system
is divided three modules: modeling module, simulation module and visualization module.
In this work we present the simulation module. The simulation module implements the
Navier-Stokes equation. The governing equations are discretized by a generalized flnite
dillerence method and the convective terms by semi-lagrangean method. A projection
method is employed to uncouple the velocity componentes and pressure. The management
at the unstructed mesh is ready using a data structure called SHE. The numrica! results
are compared with analytical solutions and numerical simulations of other works.
Key Words: Numerical simulation. Generalized finite difference method.
mesh

IV

Unstructed

Lista de Figuras

1.1
1.2

Diferentes tipos de clula de n


Funo de aproximao f0: (a)uma linha reta com s = 1, e (b) uma parbola
com s 2

10

3.1
3.2

Elemento triangular
Tipos de clulas

26
29

4.1
4.2
4.3
4.4
4.5

Malha triangularizada
Clula Computacional
Clula com tringulos numerados
Condio de contorno: Outflow
Entidades de orgarnizao da estrutura de dados SHE

32
32
36
38
41

5.1

Diagrama de Casos de Uso do software

47

6.1

Domnio para um escoamento de Hagen-Poiseuille. O escoamento da esquerda para a direita e o comprimento do canal 3L
51
6.2 Malha com 183 elementos, gerada pelo Easymesh
52
6.3 Simulao numrica do escoamento de Hagen-Poiseuille com perfil reto:
campo de velocidade na direo x, calculados na malha intermediria
53
6.4 Comparao entre solues numricas obtida pelo ambiente de simulao
UmFlow-2D e a soluo analtica dada pela equao (6.11) , sobre as trs
malhas, com Re = 1
54
6.5 Simulao numrica do escoamento de Hagen-Poiseuille com perfil de parablico:
campo de velocidade na direo x, calculados na malha fina
54
6.6 Comparao entre solues numricas obtida pelo ambiente de simulao
UmFlow-2D e a soluo analtica dada pela equao (6.11) , sobre as trs
malhas, com Re = 1
55
6.7 Comparao entre solues numricas obtida pelo ambiente de simulao
UmFlow-2D e a, soluo analtica dada, pela equao (6.11) , sobre uma malha
(4.426 elementos triangulares) , para Re 1, Re = 10 e Re = 100
55
6.8 Geometria do problema da expanso brusca
56
6.9 Problema da expanso: campo de velocidade na direo x
57
6.10 Problema da expanso: campo de velocidade na direo x
57
6.11 Problema da expanso: campo de velocidade na direo x
57
6.12 Placa, retangular com contrao
57
v

Lista de Figuras
6.13
6.14
6.15
6.16
6.17
6.18
6.19
6.20
6.21
6.22
6.23
6.24
6.25

Placa, retangular com contrao: campo de velocidade na direo x, Re = 10.


Placa retangular com contrao: campo de velocidade na direo y, Re = 10.
Placa retangular com contrao: campo de velocidade na direo x, Re = 100.
Placa retangular com contrao: campo de velocidade na direo y, Re = 100.
Placa retangular com contrao: vetores velocidade, Re = 100
Geometria do problema com geometria curva
Malha com 4.845 elementos, gerada pelo Easymesh
Problema com geometria curva: campo de velocidade na direo x, Re = 1. .
Problema com geometria curva: campo de velocidade na direo y, Re = 1. .
Problema com geometria curva: campo de velocidade na direo x, Re = 100.
Problema com geometria curva: campo de velocidade na direo y, Re = 100.
Problema com geometria curva: vetores velocidade, Re = 1
Problema com geometria curva: vetores velocidade, Re = 100

vi

58
58
59
59
59
60
60
61
61
61
62
62
62

Sumrio

Introduo

M t o d o Numrico para Equaes Diferenciais


1.1 Introduo
1.2 Mtodo de Diferenas Finitas Generalizadas utilizando Mnimos Quadrados .
1.2.1 Clula Computacional associada a um N
1.2.2 Aproximao por Mnimos Quadrados

4
4
4
5
7

Equaes de Navier-Stokes
2.1 Introduo
2.2 Descrio do Movimento de Fluido
2.2.1 Derivada Total
2.3 Equaes Governantes
2.3.1 Equao de Conservao de Massa
2.3.2 Equao do Balano de Quantidade de Movimento
2.4 Equaes Governantes na Forma Bidimensional
2.5 Adimensionalizao
2.6 Condies Inicial e de Contorno
2.6.1 Condies para Contornos Rgidos
2.6.2 Condies de Contorno na Superfcie Livre
2.6.3 Condio para a Presso

14
14
14
15
16
16
16
17
18
19
19
20
21

M t o d o s Numricos para Equao de Navier-Stokes


3.1 Introduo
3.2 A ideia Geral do Mtodo da Projeo
3.3 Mtodo de Projeo
3.4 Mtodo do Passo Fracionrio
3.5 Mtodo Semi-Lagra,ngea.no
3.6 Mtodo Utilizado no UmFlow-2D
3.6.1 Classificao das Clulas
3.6.2 Condies Inicial e de Contorno
3.6.3 Condio de Estabilidade do Mtodo

22
22
23
24
25
25
27
28
29
29

vii

Sumrio
4

Discretizao das Equaes


4.1 Introduo
4.2 Discretizao das Equaes
4.2.1 Aproximao das Velocidades
4.2.2 Aproximao da Equao de Poisson para, a Presso
4.2.3 Tcnicas de Armazenagem
4.2.4 Aproximao da Equao de Atualizao da Velocidade
4.2.5 Aproximao das Condies de Contorno
4.3 Mtodo dos Gradientes Bi-conjugados para Sistemas Esparsos
4.4 Estrutura de dados SHE
4.4.1 A estrutura "Singular Handle-Edge"
4.4.2 Implementao

31
31
31
33
33
36
37
37
38
40
40
41

Desenvolvimento do Software
5.1 Consideraes Iniciais
5.2 Engenharia de Software
5.3 O Processo de Software
5.3.1 Modelos de Processos de Software
5.4 Padres de Projeto
5.5 Documento de Requisitos
5.5.1 Viso Geral do Sistema
5.5.2 Diagrama de Caso de Uso
5.6 Ambiente de Simulao UmFlow-2D
5.6.1 Modelador
5.6.2 Simulador
5.6.3 Visualizador
5.6.4 Re-inicializador

42
42
42
43
43
44
44
45
47
48
48
48
48
48

Resultados Numricos e Validao do Ambiente de Simulao U m F l o w - 2 D


6.1 Introduo
6.2 Simulao do Escoamento em um Canal
6.3 Simulao numa Expanso Brusca
6.4 Simulao de uma Placa com Contrao
6.5 Simulao em domnio com Geometria Curva

50
50
50
55
57
59

Consideraes Finais

63

VIII

Introduo
/

O estudo de fenmenos fsicos e leis da natureza uma ativida.de que vem sendo desenvolvida, h, muitos sculos com diversas descobertas que motivam a comunidade cientfica
at os dias atuais. Como ponto de partida para o estudo das leis da natureza haviam
os mtodos prticos ocupa,ndo-se das observaes e experimentos e os mtodos tericos
desenvolvendo leis e teorias fsicas. Com o objetivo de conectar esses dois mtodos foi criado os mtodos numricos, beneficiando enormemente o desenvolvimento cientfico. Com
o desenvolvimento de novos algoritmos, e computadores de alta velocidade e de grande
capacidade de armazenamento o uso de tcnicas numricas para a, soluo de problemas
complexos da, engenharia, e da fsica, tornou-se uma, realidade. Em funo dessa disponibilidade computacional o desenvolvimento de algoritmos para a soluo dos mais diversos
problemas tem recebido enorme ateno dos analistas numricos. As principais vantagens
das solues numricas so: baixo custo, evoluo temporal do processo, apresentar resultados com rapidez, resolver problemas em geometrias complexas e etc. Entretanto, a,
soluo numrica tambm apresenta, algumas desvantagens, como: instabilidades, erros de
truncamento, prescrio das condies de contorno apropriadas e custos computacionais.
Com o desenvolvimento de sistemas de software, surgiu a, Engenharia- de Software (ES)
motivando o interesse em reduzir custos e aumentar a qualidade dos softwares. Os fundamentos cientficos para a, ES envolvem o uso de modelos abstratos e rigorosos que permitem
ao engenheiro especificar, projetar, implementar e manter sistemas de software, avaliando
e garantindo suas qualidades.
Neste trabalho, a ateno voltada, para o estudo do desenvolvimento de um simulador
de escoamentos de fluidos utilizando um mtodo numrico em domnio complexo. A soluo
dos problemas de escoamentos de fluidos requer o manuseio das equaes de Navier-Stokes,
altamente no linear acopladas s equaes da, conservao de massa, e energia. As equaes
de Navier-Stokes em conjunto com condies iniciais e de contorno fisicamente apropriadas,
permitem em princpio, obter informaes do car,ter fundamental da dinmica, dos fluidos, tornando a, soluo numrica, fundamental devido s dificuldades de se obter, na maior
parte dos problemas, solues tericas para, as equaes de Navier-Stokes, dando incio a
uma, importante rea, de estudo dos mtodos computacionais para a, simulao de fenmenos que envolvem fluidos em movimento com ou sem troca, de calor, chamada Dinmica,
de Fluidos Computacional (DFC). O objetivo bsico da, DFC reduzir o nmero de experimentos e explorar fenmenos que no poderiam ser estudados em laboratrio de forma,
prtica,. Utilizando as tcnicas da, DFC pode-se avaliar numericamente os diversos parmetros relevantes do problema. Esses podem ser facilmente alterados a,t que o resultado da
1

Introduo
simulao atenda s exigncias do projeto. A DFC est envolvida, praticamente, em todos
os processos de produo de energia, nos fenmenos ambientais, nos projetos de equipamentos trmicos, na, engenharia, aeronutica, e aeroespacial, engenharia, de reatores, engenharia
qumica, medicina, siderrgica, indstria txtil e injees em moldes.
O interesse de estudo neste trabalho, so as solues numricas de escoamentos de fluidos
estacionrios e transientes, internos, laminares, incompressveis e viscosos para fluidos Newtonianos. Nas ltimas dcadas muitos esforos tm sido dirigidos na obteno de solues
numricas de escoamentos de fluidos viscosos incompressveis. A maioria desses mtodos foram influenciados pelo mtodo MAC (Marker-and-Cell) |Ha,rlow and Welch, 1965|.
Mtodos encontrados em |Viecelli, 1969|, |Hirt and Nichols, 1971|, |Hirt and Cook, 1972|,
|Miyata and Masuko, 1985|, |Tom and McKee, 1994| e outros, so exemplos de tcnicas
numricas baseadas no mtodo MAC.
Recentemente, o grupo de pesquisa em Matemtica Aplicada do ICMC - USP, vem
desenvolvendo um ambiente de simulao de escoamentos incompressveis tridimensionais
denominado FreeFlow-3D |Castelo et a i , 20001. FreeFlow-3D foi obtido pela extenso do
mtodo GENSMAC |Tom and McKee, 1994j para, problemas tridimensionais e composto
por 3 mdulos: Modflow-3D - um ambiente para modelar escoamentos tridimensionais;
Simflow-3D - esse mdulo implementa as equaes governantes juntamente com as condies
iniciais e de contorno; Visflow-3D - um mdulo responsvel pela visualizao dos resultados
numricos gerados pelo mdulo Simflow-3D. Detalhes do FreeFlow-3D podem ser obtidos
em |Castelo et a l , 2000|.
Na prtica, muitos problemas podem ser modelados em duas dimenses, por isso uma
verso bidimensional do FreeFlow-3D, denominada, FreeFlow-2D |01iveira, 1999| que simula superfcies livres em geometrias complexas com malhas estruturadas, foi desenvolvida,.
Porm, at o momento, FreeFlow-2D pode resolver problemas bidimensionais para fluido
Newtoniano, fluido Newtonia.no generalizado do tipo Cross Model |Siquieri, 20021, para escoamentos em regime turbulento |Ferreira., 20011, |Bra,ndi, 2005|, escoamento no-isotrmicos
|Sa,batini, 2002|,
problemas
de
escoamentos
multifsicos
|Sa,ntos, 2002|,
|Sousa, and Mangiavacchi, 2002J e para problemas de escoamentos no-Newtonianos e viscoelsticos |Grossi, 2003|, |Silva, 2003|, |Doricio, 2003| e |Silva,, 2005|.
Os ambientes
FreeFlow-2D e FreeFlow-3D abordam apenas domnios decompostos em malhas uniformes.
Este trabalho uma nova etapa para, o ambiente de simulao FreeFlow-2D, que agora
permite simulaes em domnios decompostos atravs de malhas no estruturadas. Este
novo ambiente denomina,-se UmFlow-2D.
Para, o desenvolvimento deste novo ambiente tambm realizado o estudo do mtodo de
Diferenas Finitas Generalizadas (DFG), desenvolvido a, partir do mtodo de aproximao
por mnimos quadrados localizados (MLS)1, introduzido por Shepard |Shepard, 19681, o
qual fornece uma, alternativa s interpolaes clssicas de aproximaes de funes a partir
de seus valores dados em uma srie de pontos distribudos irregularmente. Este trabalho
tambm tm como objeto de estudo o mtodo de projeo de Chorin jChorin, 1968| e o
mtodo semi-la,grangea.no |Phillips and Williams, 20011 para, os termos convectivos. Estes
mtodos reunidos em um nico ambiente de simulao numrica- uma das principais
contribuies deste trabalho.
Para o gerenciameto da, malha, no estruturada, em duas dimenses, utilizada a estru1

moving least square

Introduo
tura, de dados "Singular Iandlc-Edge" (SHE) |Lizier et a i , 2003|.
O presente trabalho est organizado da seguinte maneira:
No captulo 2 apresenta-se as propriedades do mtodo numrico DFG para equaes
diferenciais;
No captulo 3 a formulao matemtica e as equaes de Navier-Stokes so apresentadas;
No captulo 4 apresenta,-se o mtodo da, projeo e o mtodo utilizada, no mdulo
simulador;
No captulo 5 as equaes utilizadas so discretizadas e apresentada a, estrutura, de
dados SHE;
No captulo 6 apresenta,-se o estudo de Engenharia de Software e o ambiente de
simulao UmFlow-2D;
No captulo 7 tem-se a validao e os resultados de simulaes realizados pelo
UmFlow-2D;
Por fim, tem-se as concluses e contribuies deste trabalho;

CAPTULO

i
Mtodo

1.1

Numrico para Equaes

Diferenciais

Introduo

A modelagem matemtica de problemas reais em cincias aplicadas a cada dia se torna


uma ferramenta mais til na compreenso dos fenmenos envolvidos nesses, permitindo a
simulao computacional desses problemas e revelando-se determinante no desenvolvimento
de novas tecnologias. O resultado dessa modelagem um conjunto de equaes que deve
ser resolvido em computadores, produzindo uma soluo numrica,, denominada simulao
e descreve propriedades do problema em questo.
A simulao numrica- pode ser vista como uma, relao entre resultados tericos e
prticos, que muitas vezes no apresenta, as restries que tais resultados podem impor
na, modelagem da fsica, do problema,. Desta, forma, para que a, soluo numrica, seja,
aplicada a, um problema, expresses matemticas devem ser derivadas. A modelagem de
problemas que envolvem escoamentos de fluidos requer soluo que manuseiam as equaes
de Navier-Stokes.
No presente trabalho, o mtodo de discretizao utilizado o mtodo de Diferenas Finitas Generalizadas sobre uma, malha no estruturada,. Detalhes das propriedades de mtodos
numricos para, EDPs podem ser encontrados em |Lapidus and Pinder, 1982|, |Sod, 1989],
|Cha,pra, and Canale, 1990|,
|Thomas, 1995|,
|Cumina.to and Meneguet-te, 1999|,
|Cunha,, 2000|, |Fortuna, 2000| e outros.

1.2

Mtodo de Diferenas Finitas Generalizadas utilizando Mnimos Quadrados

O mtodo DFG desenvolvido a partir do mtodo de aproximao por mnimos quadrados localizados (MLS)1, introduzido por Shepard, o qual fornece uma alternativa, ,s interpolaes clssicas de aproximao de funes a partir de seus valores dados em uma, srie
de pontos distribudos irregularmente. O MLS para a soluo numrica de equaes dife1

moving least. square

Mtodo Numrico para Equaes Diferenciais

Captulo 1

renciais tem recebido grande destaque, gerando uma srie de mtodos chamados meshless,
os quais possibilitam uma- aproximao numrica a partir de um conjunto de pontos que
podem no ter como suporte uma malha ou triangulao. Aqui utilizada a definio
na qual um mtodo considerado meshless se as bases da aproximao so construdas a
partir de um suporte arbitrrio gerado por uma coleo de ns distribudos irregularmente.
A idia de utilizar ns postos irregularmente num domnio para a obteno das aproximaes das diferenas finitas surgiu no final dos anos 60, Jensen |Jensen, 1972| apresenta
um mtodo de DF que utiliza clulas irregulares com seis pontos. Utilizando a expanso em srie de Taylor ele obtm uma formulao de DF que aproxima derivadas at de
segunda ordem. A principal desvantagem deste mtodo que apresenta frequentes singularidades ou mal condicionamento da clula. Perrone e Kao |Perrone and Kao, 1975[ sugerem
a adio de mais ns na clula e a aplicao de uma mdia para a gerao dos coeficientes
das DF. Liska, e Orkisz |Liska, and Orkisz, 1980| contriburam com o desenvolvimento do
mtodo no que se refere , seleo de clulas na tentativa de eliminar os problemas indicados acima, aplicando o mtodo na soluo de problemas lineares e no lineares. Os
trabalhos em |Luo and Haussler, 2002|, |Urena, et a i , 2001|, |Ma.rshall and Grand, 1997|, e
|Gossler, 20011 fazem uso do mtodo na construo de DF, expandindo suas aplicaes para
a soluo de diferentes problemas.
Os mtodos meshless podem ser divididos em duas categorias: os mtodos baseados sob
princpios variacionais e mtodos que atuam diretamente nas equaes diferenciais governantes. Os mtodos da primeira categoria tm como caracterstica comum a utilizao de
uma integrao numrica para o estabelecimento das equaes discretas do sistema. Na
segunda categoria de mtodos meshless considerado o mtodo de DFG, no qual um conjunto de equaes discretas estabelecido diretamente a partir das equaes diferenciais.
Embora o mtodo de DFG seja um mtodo meshless, interessante utilizar malhas (estruturadas ou no estruturadas) como suporte dos ns, com a qual pode-se garantir uma
melhor distribuio dos ns sobre o domnio obtendo uma rpida busca de vizinhana.

1.2.1 Clula Computacional associada a um N


Seja. um domnio D C Md e um conjunto de ns V = {v\,..., vnv} tais que V C D. A
clula, computacional ou simplesmente clula do n Vi V, denotada, Cj, definida, como
o conjunto de n ns Vk G V, que so utilizadas no clculo dos valores aproximados das
derivadas de uma, funo contnua, no n V{. As clulas dos ns so tambm conhecidas
na literatura como estrelas de n ou molculas computacionais quando includo o n
principal.
Quando a, discretizao do domnio no pode ser regular devido a, fatores como uma
geometria complexa, do domnio ou refinamento local da malha, se faz necessrio utilizar
outros mtodos de aproximao, como o mtodo de DFG que apresentaremos aqui, nos
quais a, busca e escolha, dos ns que compem uma clula, no to imediata como no caso
regular.
O critrio para, a, escolha, dos ns de uma clula, emprega como suporte uma, malha, no
estruturada formada, por elementos triangulares num domnio bidimensional (tetraedros, se
o domnio tridimensional), assim, as relaes de vizinhana, podem ser obtidas rapidamente
utilizando uma estrutura de dados apropriada,. Para, ns identificados pelos vrtices da,
malha utilizaremos trs tipos de clulas:

1.2 Mtodo de Diferenas Finitas Generalizadas utilizando Mnimos Quadrados


Clula C(I): Neste tipo de clula, os ns que compem a clula de um n v7 correspondem aos vrtices que compartilham uma aresta com Vi, tal como pode ser observado
na figura (1.1a). O mtdo DFG precisa de uma quantidade mnima de ns, e podem
existir clulas com uma quantidade de ns inferior ao exigido pelo mtodo, assim na
implementao, deve-se ter muito cuidado com este tipo de clula. Geralmente, este
problema ocorre para clulas C(I) de ns no bordo do domnio. Este tipo de clula
a que gera menos erros ao implementar o mtodo DFG.
Clula C(II): Para um n Vi, este tipo de clula composto pelos ns da clula C(I)
mais os vrtices opostos a Vi por arestas cujos extremos esto em C(I), como apresenta
a figura (1.1b). Por possuir mais ns, C(II) evita o problema de possuir um nmero
insuficiente de ns para, o mtodo DFG, mas apresenta a desvantagem de gerar maiores
erros de aproximao.
Clula, C(III): Este tipo de clula composto pelos ns da, clula C(I) relacionada, a,
Vi, mais os vrtices que compartilham uma, aresta, como os ns em C(I), com exceo
de Vi. A figura, (1.1c) apresenta um exemplo deste tipo de clula,. Estas clulas
sero utilizadas unicamente em casos excepcionais, onde clulas C(II) no possuam
quantidade mnima de ns exigida pelo mtodo de DFG. Um caso tpico onde se
utiliza, estas clulas so nos ns que esto nos "cantos" das malhas.
Para clulas onde os ns devem ser posicionados no baricentro dos elementos triangulares
ser, utilizado uma clula tipo C(IV), definida, como:
Clula(IV): Os ns que compem a, clula tipo C(IV) para, um n no baricentro de
um elemento triangular, so dados pelos ns que esto nos elementos triangulares que
compartilham vrtices ou arestas com o tringulo do n bi. A figura (l.ld) apresenta,
um exemplo deste tipo de clula.
Para, cada, n Vi G V situado na posio r; = ( x x f ) 2 pode-se definir um novo
sistema, de coordenadas cuja, origem est situada, em r, com o qual, uma, posio qualquer
r = (xl,..., xd) expressa, neste novo sistema, de coordenadas como r = (xl,..., xd) com
seus componentes dados por:
xj = xj - xj

para

j = 1 , . . . , d.

(1.1)

assim, as posies dos ns Vk C\, podem ser expressas como ik (x\,... , x f ) .


Como uma, medida, de tamanho, para, cada, clula C h se define o raio da clula, pi, como
pi = min pi:k, onde p^k so as distncias euclidianas de cada, um dos ns vk da, clula,
fceCi
com o n principal vi} assim pi]fc = ||f fe || 2 (comprimento da aresta, ViVk). Portanto, pode-se
introduzir um parmetro de comprimento global da, malha, h como:
h = min

pi ,

que simplesmente igual ao comprimento da menor aresta, da, malha,.


2

x j = (v, ej), onde e j so os elementos da base cannica.

Captulo 1

Mtodo Numrico para Equaes Diferenciais

c)

d)

C(III)

C(IV)

Figura 1.1: Diferentes tipos de clula de n.

1.2.2

Aproximao por Mnimos Quadrados

Seja / : D > R uma funo de classe Cq definida em D C Rd e um conjunto de ns


V C D. Suponha, que para, qualquer n v0 G V definida uma, clula, C0, e o valor de / ( r 0 )
conhecido.
Procura-se uma funo /o que aproxime / na vizinhana, de Vo e cujas derivadas de
ordem menor ou igual a, s < q sejam fceis de calcular. Uma, boa, alternativa utilizar um
polinmio de ordem s > 0 ajustado por mnimos quadrados com os valores da, funo / nos
ns de CQ. Suponha, que
/o(r) = /(r 0 ) + W 0 ( f ) ,

(1.2)

1.2 Mtodo de Diferenas Finitas Generalizadas utilizando Mnimos Quadrados


onde Wq um polinmio de grau s dado por
(1.3)
j=i
onde P 0 ( j ) (f) expressam os elementos de uma base do espao polinomial VS e c, so os
coeficientes correspondentes. O polinmio de aproximao W 0 (r) deve ser nulo sob o n v0.
Cada, um dos elementos PQ\r) da, base polinomial um monmio de grau menor ou igual
a s, com exceo do monmio de grau 0, que pode ser desconsiderado 3 . Por simplicidade,
identificaremos PQ\t) como Pj, Wo(r) como W0, e jj^H^k) como pff* quando (r*,) o
vetor posio do n vk, deixado implcito que estes elementos esto relacionados ao n v0.
Exemplo 2.1. Ao utilizar um polinmio de primeiro grau (s = 1) numa funo de
aproximao /o, para um problema unidimensional, Wo ser, dado como: WQ(X) C\ PL =
C\X assim, / aproximado no ponto Xq por / 0 que ser uma linha, reta, em R 2 . Para, um
problema, bidimensional, Wo ser, dado por
WQ(x, y) = CjP1 + c2P2 = cxx + c2y
com o qual a, funo de aproximao /o um plano em R 3 . Os coeficientes Ci do polinmio
W0 aproximam as derivadas de / sob o n Vq. No seguinte exemplo pode ser apreciado este
fato.
Exemplo 2.2. Suponha uma funo / : D C M2 > R a, qual aproximada por / 0 ,
sobre o n Vo a partir de um polinmio de aproximao
WoOr, y) = cix + c2y + c3x2 + c^xy + c5y2.
A^Hpnv^Hfls^
&L poaem
nodem ser estima,da,s
estimadas ae
de fe
^ ,
As
derivadas
^ , -L
g ^ j , 9y2
d x , dy
a, que f 0 = (0,0) de (1.2) obtm-se:
dfo
dx
dfo
dy
d2fo
dx2
d2fo
dxdy
d2fo
dy2

dx2

, 9 Uz.
xdy, ^

devido
, ueviuu

dWo

= Ci + 2 c3x + cAy = Ci,


dx
dW0
= c2 + cAx + 2 c5y = c 2 ,
dy
d2W0
= 2C 3 ,
dx2
d2W0
= c4,
dxdy
d2W0
2c .
dy2
s

Por definio, o espao polinomial Vs d) composto por todos os polinmios d-dimensionais de grau
menor ou igual a s, incluindo os monmios de grau zero. Neste trabalho o espao v i ^ corresponde ao
conjunto de todos os polinmios d-dimensionais de grau s', onde 0 < s' < s. Em problemas de interpolao,
o espao Vd^ deve incluir os polinmios de grau zero.

Mtodo Numrico para Equaes Diferenciais

Captulo 1

Cada problema necessita de uma base


. . . , P ^ para formar o espao polinomial
Vs (tal como se observa nos exemplos 2.1 e 2.2). Cada um dos elementos da base P ^
definido como um monmio de grau s', com 0 < s' < s, que expresso como
P U) =

( y . W ^ j w t i ) . . . (xdyj\

(1.4)

onde fj,k(j) um nmero inteiro, com k 1 , . . . , d, satisfazendo as seguintes restries


o <fik(j)<s'

d
J2J,k(j)=s'.
fc=

(1.5)

A base do espao polinomial Vi^ composta pelos elementos da base que possuem os
monmios de grau 1, em seguida os monmios de grau 2 e assim at completar todos os
monmios de grau s, tal como apresentado na tabela 1.2.2, para os espaos polinomiais
e

vf>.

a)

d == 1
monmio AI
p ( 1) = %
1
p(2)
=
tf
2
p ( 3) =
3

grau
1
2
3
d =-

monmio
P& = X
P ( 2) = y

Mi
1

P(3) = 3

M2 M 3 g r a u
1
0
0
1
1
0
1
1
0

tf

1
1

0
1

d = 2
monmio
PW = x
PM = y
p( 3) = tf
b)

P^ = xy
P( 5) = y2
p( 6) = tf
tfy
P ( 7) =
p( 8) = xy2
p(9) = y3

Ml
1
0
2
1
0
3
2
1
0

M2 gra/u
1
0
1
1
2
0
1
2
2
2
0
3
1
3
2
3
3
3

c)

p ( 4)

p ( 5) _
6

P( ) = xz
p(7) = f
p ( 8) = yz
p{ 9) = tf

Tabela 2.2.2 :Bases dos espaos polinomiais a )

Conhecendo os monmios
o problema
cientes C i , . . . , Cn, que aproximam a funo / 0
um ajuste de mnimos quadrados, ca.lcula.m-se
linear, onde os coeficientes q estaro contidos

b) V f ] e c) V f ] .

de calcular Wq se resume em obter os coefina regio da clula Co. Utilizando para isto
tais coeficientes, obtendo o seguinte sistema,
no vetor das incgnitas

A c = b,
onde A a, matriz composta, pelos elementos
aiJ = E

k)pk]uk

(1.6)

dados por,
com

10

i, j = 1 , . . . , n ,

(1.7)

1.2 Mtodo de Diferenas Finitas Generalizadas utilizando Mnimos Quadrados

(a)

(b)

Figura 1.2: Funo de aproximao / 0 : (a,)uma linha reta com s = 1, e (b) uma parbola
com 5 = 2.
o vetor de incgnitas c = [ c j , . . . , Cn]7, e b = [6],..., 6 n ] r onde bi denotam os produtos
escalares
E

vkCo

(/('*) - / M ) ^

^.

(1-8)

avaliados sobre os ns
Co. A funo peso u)k foi introduzida, e geralmente, depende das
posies entre os ns Vq e Vk- Algumas vezes, a funo peso Ut utilizada para privilegiar
ns numa dada direo. Neste trabalho utilizamos funes peso isotrpicas, onde o valor
depende unicamente da distncia de um ponto qualquer ao n Vq\
-^ = Wfc(Po,fc).

(1.9)

A funo peso no deve incrementar-se com seu argumento, isto ,


CJa > Ub

Po,a < Po,b,

(1-10)

onde va,vt, V, assim, os ns mais distantes do n central vo, tm menos influncia na


aproximao que os ns mais prximos a Vo- Na, formulao de aproximao por mnimos
quadrados, assumido que a funo peso tem um suporte limitado a, uma, bola finita, de
raio R
Ua(pO,a) = 0 <=> po,a > R(l-ll)
Para, evitar que o sistema (1.6) seja indeterminado, importante que qualquer clula,
computacional C 0 , tenha, uma, quantidade de ns igual ou maior a, n (nmero de monmios).
Para, o estudo da, consistncia das aproximaes das derivadas obtidas pelo mtodo DFG,
analisamos a, soluo do sistema, (1.6).
Seja um n qualquer v0 V. Supondo que o polinmio de aproximao Wo Vid\
a, funo / dada, por (1.2) e a, matriz A do sistema linear (1.6) utilizada no ajuste por
mnimos quadrados de / no singular, ento, seu determinante pode ser expresso mediante
a, regra de Laplace como,
TL

det(A) = ^ ( - l ^ X A t ^ ) ,

(1-12)

j=

onde Aij a, matriz de ordem n l obtida, ao eliminar a, i-sima, coluna e a, j-sima, linha
da, matriz A. Aplicando a regra, de Cramer para solucionar o sistema, (1.6), cada, um dos

11

Mtodo Numrico para Equaes Diferenciais

Captulo 1
coeficientes C; do vetor c, ser dado por

= 2>l)<i+'"V}0.
j=l

(1-13)

onde o elemento S ^
det(Aj i j)
det(A)

w
J

Utilizando a definio dos elementos j dada em (1.8) no sistema e coordenadas prpria do


n Vq, e substituindo em (1.13), obtm-se
[/('*) - /('o)] P ^ S f u k ,
j=1

(1-15)

vkeC0

onde a funo / avaliada, em qualquer n V& equivalente a:


f{Tk) = f(xo +

)() +

f(X0 + -ffc \

\ iX0 + -Pfc

assim, ao expandir por srie de Taylor a, funo / ao redor do r 0 , obtm-se

Z'=0

\m=l

dx"

E pode ser expressa, por


1 d , ^ r) V1"^')
/(r*) = /(ro) + ^ n
/('o),
=1 ^ ' m= 1 ^
'
com 7r(/) = rim=i MmO- ^

n
m=1 ^

(1-17)

produtrio pode ser expresso por

dxm 'J

= n11 V
m=l

'
/ Im=l
In VDZ"

lembrando que P j ^ = x para, m = 1 , . . . , d, utilizando a definio de P ^ dada, em (1.4)

771=1
e definindo o operador diferencial Di
d

d Ym{l)

dNdw

pode-se escrever (1.17) como


/(r,) = /(r0) +

( ^ / f A )

12

/(r0).

(1.19)

1.2 Mtodo de Diferenas Finitas Generalizadas utilizando Mnimos Quadrados


Substituindo (1.19) na equao (1.24) obtm-se
n
oo 1
^ = E E E
-rr^P^sf^Djiro)],
3=1 vkCo 1=1

(1.20)

separando em (1.20) os termos com parmetro l maiores que n e fatorando os termos que
so menores ou iguais a n, obtemos

( ^ y W ^ w w i )

= E

j = i c 0 Vl.l *<f>

+ j = 1 v C \l=n+1
^t ' f ? ^ U n / M i )
k

(i.2i)

onde o termo TiiTl, contm os elementos de ordem superior (l > n). Substituindo (1.7) na
expresso (1.21) tem-se

=E

w m E

(L22)

+ T**

onde GLjj, so os elementos da matriz A.


Seja

onde

n
E Sjl)(X3,i =
, com i, l = 1 , . . . , n,
j=
a funo delta de Kronecker (5^/ = 1 se i = l e ij = 0

(1.23)
se

i ^ l)-

Aplicando (1.23) na equao (1-22), obtm-se


=

1=1

(m W / M ^ )
7F

= ST^/Ml +

'<"

(L24)

Portanto, o coeficiente Cj do polinmio de aproximao Wo igual ao valor da derivada


Di da funo / no ponto r 0 , mais um termo extra T ^ , que formado por elementos de
ordem superior, e dele depende o erro de truncamento do mtodo. Por definio, o termo
Ti^n dado como:
oo
Titn =
(1-25)
/=1
onde
= - 7 - V n EAn+o/M] E E
x
3 = 1 vk^Ci

(i-26)

Para que Cj seja uma aproximao consistente, devemos utilizar um polinmio de aproximao Wo que utiliza todos os monmios da espao Vs^. Detalhes pode ser encontrado
em |Pena, 20031.

13

Mtodo Numrico para Equaes Diferenciais

Captulo 1
1.2.2.1

Implementao das Equaes

A implementao do mtodo de DFG constituda pelos seguintes passos:


Anlise da EDP a ser solucionada e a escolha dos espaos dos polinmios de aproximao mais convenientes;
Criao de uma boa distribuio de ns sob o domnio (gerao de uma malha) e
escolha das clulas apropriadas para, cada, n;
Obteno das aproximaes e soluo dos sistemas de equaes discretas.
Considerando problemas bidimensionais, as EDPs sero equaes envolvendo duas variveis independentes x e y e derivadas parciais de uma, funo real / = f(x,y). A forma,
mais geral de uma, EDP bidimensional de ordem s :
(1.27)
bastante comum o caso de problemas prticos importantes onde a equao diferencial
parcial de ordem s 2 e linear nas derivadas de ordem 2, portanto
(1.28)

Ao solucionar numericamente uma, equao como (1.28), o domnio D deve inicialmente


ser representado por um conjunto de ns V, sobre tais pontos utilizamos o mtodo de DFG
para, discretizar as EDPs, as quais so solucionadas utilizando as condies de fronteira e
as condies iniciais.
Para, cada, n Vq 6 V, devemos procurar um polinmio de aproximao Wq a, partir
do qual, possamos obter os elementos Cj associados s derivadas Di. Uma boa opo
utilizar um polinmio WQ que pertena ao espao polinomial P2, sendo s' > s = 2. Por
exemplo, considere os polinmios WQ e P22 e ^ o
No primeiro caso, ao utilizar WQ,
teremos de (1.26) que a ordem do erro de truncamento das aproximaes das derivadas de
primeira, e segunda, ordens so 0(h) e 0(h2) respectivamente, enquanto ao utilizar WQ, a
ordem do erro de truncamento das derivadas de primeira e segunda, ordens sero de 0(h2) e
0(h3), respectivamente. Portanto as aproximaes das derivadas utilizando o polinmio de
aproximao WQ so melhores que as obtidas pelo polinmio WQ. A ordem de complexidade
do mtodo de DFG 0(n 3 n), onde nv o nmero total de ns do conjunto V, e n a
dimenso do espao polinomial V d \ Tal complexidade fcil de ser demonstrada pois
devemos solucionar para, cada n de V, o sistema, linear dado por (1.6), para, o qual pode
ser utilizado um mtodo como o LU que tem ordem 0(n3). Assim, a, complexidade do
mtodo ao utilizar os polinmios de aproximao WQ (com n = 5) e WQ (com n = 9) em
cada, um dos ns de V so 0(125n) e 0(729nv) respectivamente; ou seja,, o mtodo ter,
um custo computacional quase seis vezes maior ao utilizar o polinmio de aproximao WQ.
Portanto a escolha, do espao dos polinmios de aproximao so sujeitas aos critrios de
aproximao da, soluo versus custo computacional.

14

CAPTULO

2
Equaes de

2.1

Navier-Stokes

Introduo

No estudo dos escoamentos de fluidos incompressveis, a modelagem matemtica das leis


de conservao bem estabelecida pelas equaes de conservao de massa e de Navier-Stokes
A dinmica de fluidos a cincia que descreve o movimento de fluidos e estuda os fenmenos
que envolvem fluidos em movimento.
As leis da dinmica, dos fluidos so conhecidas como leis de conservao, para- conhecer
o estado de um fluido, deve-se determinar o valor das variveis que o identificam, ao longo
do tempo em cada, ponto do espao ocupado pelo fluido. As variveis que identificam o
estado de um fluido incompressvel e isotrmico so: a velocidade u em cada ponto (que
uma, grandeza, vetorial) e a presso p (que em cada ponto uma grandeza escalar).
Essas variveis so agrupadas em equaes, que passaram a, ser conhecidas em todo
mundo como, as equaes de Navier-Stokes. Detalhes sobre as equaes de Navier-Stokes,
dinmica, dos fluidos, leis de conservao, mecnica do contnuo e outras propriedades de escoamento de fluidos podem ser encontrados em |Ba,tchelor, 1970|, |Peyret, and Taylor, 19831,
|Panton, 1984|, |Flecther, 1992|, |Maliska, 1995| e |Ferziger and Perc, 1999|.
Neste captulo ser, apresentado as equaes de interesse, condies de contorno e algumas propriedades dos fluidos.

2.2

Descrio do Movimento de Fluido

As maneiras de se especificar o movimento de um fluido em uma dada, regio dos espao


so denominadas como
Formulao Lagrangeana,
Na, formulao Lagrangeana define-se uma, regio material formada, por um conjunto
de partculas de fluido, denominada, de volume de controle Lagrangeana. Conforme
as partculas se movimentam no escoamento, a, regio se deforma, e no h, fluxo
de massa, atravs de suas faces. Nesta formulao, as grandezas do escoamento so

15

Equaes de Navier-Stokes

Captulo 2
especificadas como funo do tempo e da partcula de fluido.
Formulao Euleriana

Na formulao Euleriana define-se uma regio fixa, no espao, que no se deforma, com
relao ao tempo, onde o comportamento do fluido ser estudado e h, fluxo de massa,
pelas faces do volume de controle.
Neste captulo, as equaes de conservao sero desenvolvidas utiliza,ndo-se uma, formulao Euleriana,, onde as propriedades macroscpicas do escoamento dependem das coordenadas espaciais e temporal, como por exemplo, velocidade u = u(x, t), massa especfica
p = p(x, t) e viscosidade /i = [ifa, t).

2.2.1 Derivada Total


Segundo |Aris, 19621, o movimento de um fluido pode ser descrito por uma, transformao. Supe-se que em um dado instante de tempo, uma determinada, partcula, esteja, em
uma, posio G Mm, e num tempo posterior, a mesma partcula, se encontre na, posio
x G Mm. Assim, pode-se admitir que x uma funo de t e da, posio inicial
isto
x = x(,t).

(2.1)

As coordenadas iniciais so coordenadas materiais (ou Lagrangeanas) e as coordenadas


x so as coordenadas espaciais (ou Euleriana). Assume-se tambm que o movimento do
fluido uma, funo contnua,, de modo que (2.1) pode ser invertida, para, recuperar as
coordenadas materiais da, partcula
(2.2)

= (x,t).

A descrio Lagrangeana da, variao de uma, propriedade (/>(, t) pode ser vista na,
descrio Euleriana, </>(x, t) da, seguinte forma, |Ferreira, 20011:
$() = </>(x(,),)-

(2.3)

Associadas s descries Lagrangeana, e Euleriana, existem duas derivadas a considerar: a, derivada, com respeito ao tempo mantendo-se x constante; e a, derivada com respeito a,o tempo mantendo-se constante. A segunda derivada, frequentemente utilizada
em dinmica de fluidos e conhecida- como derivada tot,al da propriedade tf>. Assim,
derivando-se <3>() com relao ao tempo, e deixando constante, tem-se

cht>_ dxi
dxi dt
dx2

dx2
dt

dxm

dt

dt'

Sendo
x'
~ - { , t ) = uu
1

2 = 1, 2 , . . . , 771,

Tambm chamada de derivada material ou substancial.

16

(2.5)

2.2 Descrio do Movimento de Fluido


tem-se a derivada material de (f>(x,t), denotada por
D<$>
Dt

d4>
dxi

d(f)
dx2

4> d<t)
dxm
dt'

ou em notao vetorial

ITt =

2.3

( 2

'

7 )

Equaes Governantes

Nesta, seo descrevemos as equaes de conservao de interesse para, o presente trabalho. O fluido ser considerado um contnuo de massa,, onde as propriedades do escoamento
so descritas em termos de grandezas macroscpicas como presso, velocidade e massa, especfica, (densidade).

2.3.1 Equao de Conservao de Massa


O princpio da, conservao de massa diz que na, ausncia de fontes ou sorvedouros,
toda, massa- que entra, em um volume de controle deve sair e/ou se acumular neste mesmo
volume. Este princpio regido pela equao
^

+ (pV) u = 0.

(2.8)

Como a, massa, especfica, de uma partcula, material no se altera, no tempo, para, escoamentos incompressveis, tem-se

= 0.

(2

e substituindo em (2.8), vem


pV.u = 0,

(2.10)

V.u = 0.

(2.11)

e como p ^ 0, tem-se
A equao (2.11) conhecida como condio de incompressibilidade e ser, mantida, em
todo domnio, isto , todos os fluidos envolvidos na, simulao obedecero esta, condio, e
portanto, sero tomados como incompressveis.

2.3.2

Equao do Balano de Quantidade de Movimento

A equao de balano de quantidade de movimento linear obtida, aplica,ndo-se a, segunda, lei de Newton, assim, a, taxa, de variao temporal da, quantidade de movimento de
uma partcula igual a, resultante das foras que agem sobre essa partcula, que na, forma,
vetorial dada, por
^

= V.<r + pg,

(2.12)

onde cr representa, o tensor de tenses totais de escoamento e g o campo gravitacional.


Utilizando um modelo Newtoniano, este tensor pode ser escrito como
cr = pi + r ,

17

(2.13)

Captulo 2

Equaes de Navier-Stokes

onde p = p(x, t) representa o campo de presso do escoamento, I o tensor identidade e r


o tensor de tenses viscosas dado por
T = 2 / / D + ( \ - | ^ ( V . U ) I ,

(2.14)

onde /i o coeficiente de viscosidade dinmica e A o coeficiente volumtrico do fluido.


Devido a condio de inc.ompressibilida.de (2.11), pode-se escrever
r = 2/zD.

(2.15)

O tensor D denominado tensor deformao, e segundo o modelo Newtonia.no, dado


por
<y(u) = i ( V u + V u r ) ,

D = \

(2.16)

onde 7(u) denominado de tensor taxa de deformao. Assim, utilizando o tensor de


tenses Newtonia.no, pode-se calcular o divergente do tensor de tenses totais
V cr = V [-pl

+ /z(Vu + VuT)] = - V p + V K V u + V / ) ] .

(2.17)

Deste modo, a. equao de conservao de quantidade de movimento pode ser expressa


como
Tlnn i
Dt

2.4

- V p + V [//(Vu + V u T ) ] + pg.

(2.18)

Equaes Governantes na Forma Bidimensional

Para, discretizar as equaes vistas at aqui na forma, vetorial, necessrio escolher um


sistema, de coordenadas. Neste trabalho, as equaes de conservao sero desenvolvidas
no sistema cartesiano bidimensional. Ser, apresentado tambm o desenvolvimento dos
gradientes e divergentes presentes nas equaes de conservao, para um sistema, cartesiano
bidimensional. Considere x G M 2 ,x = (x,y)T, u E R2,u = (u,v)T e g G K 2 ,g =
(gx,gy)T os vetores posio, velocidade e campo gravita.cional, respectivamente. Deste
modo, tem-se
/ du dv_ \
/ (hl du \
V u =

\ dy

, ( V u )

dy /

\ dx

dui
- u = ioxr 1

(2.19)

dy /

du
dv
+
7Tox
dy

2 20

Na, equao (2.18), o termo do divergente pode ser escrito como


V.[M(VU + V u r ) ] = ixV ( V u + V u r ) = fi[V ( V u ) + V ( V u r ) ] ,

(2.21)

sabendo que
V Vu = V2u
V (Vu)

(2.22)

= V ( V u),

(2.23)

18

2.4 Equaes Governantes na Forma Bidimensional


uma vez que
dui

v u=0

5r -

<2M>

'

e o termo Laplaciano bidimensional definido por


d2U

V V u = V^u=(

dx2

d2

dy
X

dx2 + dy2

(2-25)

Da. equao da continuidade (2.11), tem-se que

Portanto

du

dv

dx

' dy

Du
Dt

dp
(d2u
d x - \ d x '

Dv
Dt

dp
dy

(d2v
\dx2

(2.26)

d2u
W ) +
+

! >

"

d2v\
dy2/

(2 27)

'

(2.28)

em que i> -j^ > 0 o coeficiente de viscosidade cinemtica molecular (constante) do fluido,
p a presso cinemtica (p =
p 0 a densidade c /i 0 o coeficiente de viscosidade. As
equaes (2.27) e (2.28) so as equaes de quantidade de movimento nas direes x e y
respectivamente.

2.5

Adimensionalizao

Os problemas em mecnica dos fluidos envolvem grandezas que os caracterizam, como


velocidade, presso, massa especfica, etc,. Essas grandezas na forma dimensional so diferenciadas por suas magnitudes, dadas atravs de um sistema mtrico escolhido previamente.
As constantes de adimensionalizao, resultantes deste processo, so importantes por caracterizarem o escoamento quanto s foras que so predominantes. As utilizadas aqui so
definidas a seguir:
Nm,ero de Reynolds (Re): Representa a razo entre as foras inerciais (que so
responsveis pelo movimento do fluido) e as foras viscosas (que so responsveis pela
dissipao devido ao coeficiente de viscosidade molecular) do escoamento, dado por
Re =

esEL = HL,

(2.29)

fi 0
onde , L a escala de comprimento, U a escala de velocidade.
Nmero de Fronde (Fr): Representa a razo entre as foras inerciais e as foras gravitacionais, isto
Fr =

(2.30)
\fgL

19

Captulo 2

Equaes de Navier-Stokes

Para adimensionalizar as equaes de quantidade de movimento e continuidade, definem-se


algumas variveis adimensionais, como segue

p = p0U2p\

p ~~ PoP*i H =

x = Lx*,

u = Uu*,

= Jjt*i

g = og*,

onde x = (x, y).


Substituindo as variveis adimensionais nas equaes de quantidade de movimento e
conservao de massa e eliminando "*" para simplificar, obtm-se na forma adimensional
^

V.(n) = - V p

V u + ^ g ,

V . u = 0.

(2.31)
(2.32)

As equaes (2.31) e (2.32) podem ser escritas na forma cartesiana em duas dimenses
como
Conservao de massa

(continuidade):

dx

dy

( '' )

Balano de quantidade de m,ovim,ento\


dv

Tt

dv

dv2
dx
d{vv)
dx

d(vv)
dy

dp
dx

(d2v
Re 1 \dx2

dv2
dy

dp
dy

(d2v
J - l1 2
Re \dx

d2v>
1 + 9x
dy2)1 Fr 2

(2.34)

d2v\ , 9y
dy2)
Fr2'

(2.35)

2.6 Condies Inicial e de Contorno


E fundamental para a formulao dos problemas modelados por equaes diferenciais a
escolha apropriada da condio inicial e condies de contorno. A condio inicial apropriada para as equaes (2.31) e (2.32) que o campo de velocidades inicial seja especificado
em todo o domnio, de modo a respeitar as condies de contorno e que seja solenoidal, isto
, V . u = 0.

2.6.1 Condies para Contornos Rgidos


Pode-se aplicar as condies:
Condio s e m escorregamento ("no-slip"): Para escoamentos viscosos, nas paredes slidas, define-se a componente normal (un) e as componentes tangenciais (ut)
da velocidade na parede, como sendo nulas. Esta condio reflete o fato do fluido
imediatamente adjacente a parede estar em repouso em relao a mesma.

20

2.6 Condies Inicial e de Contorno


Condio de simetria ou c o m escorregamento ("free-slip"): usada quando
h fronteiras de simetria, ou quando os efeitos da condio no-slip no so desejveis.
Neste caso define-se un = 0 para a componente normal fronteira rgida e ^ = 0
para as componentes tangenciais, onde n a direo normal , fronteira rgida. Essa
condio permite que o fluido deslize livremente sobre a superfcie.
Condio de entrada de fluido ("inflow"): usada em fronteiras onde h entrada
de fluido no sistema (fonte de massa). Para essa condio, define-se un = Uinflow para
a componente normal da velocidade, e ut = 0 para as componentes tangenciais.
Condio de sada de fluido ("outflow"): usada em fronteiras onde h sada
de fluido no sistema (sorvedouro de massa). Neste caso, define-se ^
= 0 para a
componente normal da velocidade, e ^ = 0 para as componentes tangenciais.

2.6.2

Condies de Contorno na Superfcie Livre

Representa uma interface entre o fluido e uma atmosfera. Quando trabalha,-se na,
superfcie livre do fluido, necessrio impor condies sobre a velocidade e a presso
|Batchelor, 1970|. Tais condies, considerando neste trabalho que o coeficiente de tenso superficial nulo |Griebel et al., 1998|, se resumem nas equaes
n (<r n) = 0,

(2.36)

m ( a n) = 0,

(2.37)

onde n e m so vetores unitrios normal e tangencial , superfcie livre, respectivamente e


cr o tensor das tenses que na, forma a,dimensional dado por:
=

(2.38)

(Vu+(Vu)T).

He

Utilizando coordenadas bidimensionais, (2.38) pode ser escrito como:


- p

~p

J_
Re

dx
du | dv_
dy
dx

ReK^dx)
Re

Re

\dy

Ou.

4-

dy

dx
o dv
dy

dx)

(2.39)

dv
dx

Tomando n = ( n X l n y ) e m = ( n y , - n x ) e utilizando (2.39), as equaes (2.36) e (2.37)


se reduzem a,
dv 2
du
dv
du
(2.40)
nl +
P
n
xny + "y^v
dy
dx
Re
dx
J_
Re

2{du_dv\

dx

dy J

nxny+(

du
dv\ . 2
2\ l
Qj + fc) K -nx)\=

n
0,

(2.41)

respectivamente.
As equaes (2.40) e (2.41) constituem as condies de contorno a, serem satisfeitas na,
superfcie livre do fluido.

21

Equaes de Navier-Stokes

Captulo 2

2.6.3

Condio para a Presso

Em problema de escoamento de fluidos, importante impor condies de contorno que


sejam fisicamente corretas, pois se impostas incorretamente podem gerar solues fisicamente incorretas, ou fazer que o sistema de equaes no tenha soluo. Isto ocorre pelo
forte acoplamento entre acelerao e presso nas equaes de Navier-Stokes.
Pode-se tentar deduzir condies para a presso utilizando algumas simplificaes. Considere a equao (2.18) avaliada num contorno T e projetada. na direo do vetor n, normal
ar,
+

'

( p u

u ) )

} -n

+ v

'

[ p ( v u +

VUT)] + pg

} -n-

(2 42)

Como a equao acima avaliada no contorno T, pode-se aplicar as condies de contorno para a velocidade. Por exemplo, aplicando a condio de no escorregamento em T,
ou seja, u = 0. Desconsiderando os termos nulos, tem-se:
n = [ - V p + /zV (Vu + (Vu) T ) + pg].n.

(2.43)

Para a derivada temporal pode-se considerar que u = 0 para qualquer tempo t em F,


o que resulta que o termo de derivada temporal tambm nulo. Assim, tem-se
Vp.n = pV (Vu + V u r ) . n + pg.n,

(2.44)

ou ainda,
^

= fiV (Vu + Vu T ). n + pg.n.

(2.45)

Devido a dificuldade de se calcular exatamente o termo acima, normalmente feita a


aproximao
yLtV (Vu + Vu T ). n = 0.
(2.46)
Assim, pode-se considerar na ausncia de gravidade I 2 = 0 nos contornos rgidos.

22

CAPTULO

3
Mtodos Numricos para Equao de
Navier-Stokes

3.1

Introduo

Os mtodos para, soluo das equaes de Navier-Stokes para, escoamentos de fluidos


podem de maneira geral, ser classificados em mtodos acoplados e mtodos segregados.
Mtodos acoplados buscam resolver o sistema completo de equaes a cada ciclo computacional, acoplando as equaes de conservao de movimento e continuidade. Sendo
esta a maneira mais imediata de se resolver as equaes de Navier-Stokes mas apresentando maiores dificuldades na, sua implementao e um alto custo computacional pelas
fortes influncias da n,o-linearida,de dos termos convectivos.
Neste sentido, os mtodos segregados buscam o desacoplamento entre as equaes, separando o sistema n,o-linea,r em problemas mais simples, que podem ser resolvidos sequencialmente.
Dentre os mtodos segregados, os que mais se destacaram foram os denominados mtodos da projeo. Tal famlia de mtodos foi primeiramente introduzida por Chorin, seguido
por muitos outros autores, como Amsdem e Harlow |Amsden and Harlow, 1970] com o
mtodo SMAC, Tom e Mckee |Tom and McKee, 1994| com o mtodo GENSMAC e Patankar
|Patankar, 1980|, |Pata,nkar and Spalding, 1972| com o mtodo SIMPLE. Os mtodosde
projeo podem ainda, ser classificados em mtodos contnuos, mtodos semi-discretos, ou
de passos fracionrios |Gresho, 1990|, |Gresho and Chan, 1990| e mtodos discretos.
Este captulo apresenta uma breve discusso sobre o mtodo da projeo, a idia, do
mtodo de passo fracionrio e mtodo semi-lagrangeano e o mtodo utilizado para, discretrizao das equaes de Navier-Stokes no mdulo de simulao do UmFlow-2D .

23

Captulo 3

Mtodos Numricos para Equao de Navier-Stokes

3.2 A idia Geral do Mtodo da Projeo


A teoria, do mtodo de projeo baseada no fato de que qualquer vetor v l. onde Q
um domnio com contorno dl suave, pode ser unicamente decomposto da, seguinte forma
v = vd + V ^ ,

(3.1)

onde v d solenoidal e paralelo ao contorno dl, isto ,


V.v d

em

(3.2)

vd. n

em

Q,

(3.3)

e <p um campo escalar. Da, anlise vetorial, tem-se V x V</? = 0, e portanto (3.1)
equivalente a separar o vetor v em componentes de divergncia, nula e rotacional nulo.
Para entender a, teoria, do mtodo da, projeo necessrio interpretar as equaes de
Navier-Stokes como projees. Para simplificar este estudo, considere as equaes na, forma,
conservativa,, com p, e p constantes em todo o domnio Vt\
dw
- ^ + V-(uu)

- V p + iA72u + g,

(3.4)

V. u

0.

(3.5)

Assim, pode-se escrever (3.4) como


^

+ VP = SIU)

(3.6)

onde
S(u)

= UV2U

+ g V (uu).

(3.7)

Note que S(u) no tem, em geral, divergncia, e rotacional nulos. Note ainda, que
V . g ) = < V . u > = 0 ,

,3,)

v x Vp = 0.

(3.9)

Segundo Chorin a, equao (3.6) pode ser interpretada, da, seguinte forma,: dado u, o
vetor S(u) conhecido e pode ser projetado em ambos os subespaos de divergncia nula,
(du/dt) e rotacional nulo Vp). Matematicamente,
^

= P[S(u)];

Wp = Q[S( u)];

(3.10)

onde V e Q so operadores de projeo, que satisfazem as seguintes propriedades:


V2 = P]

Q2 = Q;

VQ=QV

= 0.

(3.11)

Note ainda, que, dado v um vetor qualquer, V projeta, este vetor no espao nulo do operador
divergente e Q o projeta no espao nulo do operador rotacional, isto
V.V[v] = 0 ,

V v e n,

(3.12)

V.Q[v] = 0,

Vvel

(3.13)

24

3.2 A idia Geral do Mtodo da Projeo


Comparando (3.8) e (3.10), obtm-se a seguinte forma para os operadores de projeo:
V
Q

=
=

I - V(V2r:(V.)
2

I -V

= V(V )~ (V.)

(3.14)
(3.15)

Atravs destes operadores, presso e acelerao local podem ser desacopladas das equaes
de Navier-Stokes. De fato, segundo Gresho |Gresho, 1990], enquanto presso e acelerao
podem ser calculadas sequncialmente, presso e velocidade no, pois esto intimamente
(ou fortemente) acopladas em escoamentos incompressveis.

3.3

Mtodo de Projeo

O primeiro passo do mtodo de projeo consiste em resolver a aproximao


= S(u)-Vp,

(3.16)

onde p uma aproximao para a presso, que pode vir das condies iniciais, ou do passo
anterior no algoritmo. A velocidade intermediria u resultante de (3.16) no solenoidal,
pois em geral, p ^ p. Desta forma, u pode ser projetada no subespao de divergncia
nula, utilizando-se o operador V. Assim, uma soluo solenoidal pode ser aproximada pela
projeo
UD = V[\,
(3.17)
que pode ser tomada como aproximao da soluo real. No entanto, o operador V difcil
de ser aplicado diretamente, pois V 2 pode ser invertido somente atravs de uma funo
de Green |Ja,nkowski, 1998|, sendo necessria a informao das condies de contorno e
da geometria do problema em particular. Para evitar a inverso do operador Laplacia.no,
outra aproximao feita: considerando a equao (3.1) o passo de projeo pode ser feito
utilizando-se a seguinte decomposio
u = Ud + V<p ,

com

V u d 0,

(3.18)

onde cp o multiplicador de Lagrange associado com a projeo da soluo intermediria,


u no subespao dos vetores de divergncia nula (ud) e o rotacional nulo (V<p). Como
V x Vtp = 0, ento V x j = V x
ou seja, a, vorticida.de contida pela, velocidade
intermediria, u no alterada, pela projeo. De (3.18) pode-se resolver ud e atravs de
um procedimento de dois passos:
1. Aplicando-se o operador divergente em (3.18), pode-se encontrar (p atravs da equao
de Poisson
VV = V-u.
2. Sendo <p conhecida,, pode-se calcular Ud diretamente de (3.18) como segue
Ud = - Vip.

(3.19)

(3.20)

No algoritmo descrito acima, a resoluo de (3.16) chamado de passo de velocidade


intermediria,, a, resoluo de (3.18) chamado de passo de projeo.

25

Mtodos Numricos para Equao de Navier-Stokes

Captulo 3

3.4

Mtodo do Passo Fracionrio

O mtodo de passo fracionrio um mtodo semi-discreto, que parte das equaes


de Navier-Stokes j discretizadas no tempo. Por simplicidade, pode ser usado o mtodo
de Adams-Bashforth para os termos convectivos e o mtodo trapezoidal para os termos
difusivos. Assim, temos
(u n + 1 - u")
St

\ (u n V) u" - \ (u""1 V) u""1


-w

n+1
2 Re

V 2 (u71-1

(3.21)

u'

V u n + 1 = 0.

(3.22)

A idia aproximar (3.21) por uma velocidade tentativa u*, usando a equao da quantidade de movimento sem o termo da presso, e utilizar a presso para projetar a velocidade
tentativa no espao de funes incompressveis discretas encontrando a velocidade final.
Matematicamente, este processo consiste em fazer a seguinte separao
u - u"
St

+ | (u n V) u" - \ (u""1 V) u71-1


Li

2 Re

Li

u n+l

_ u*

V 2 (u* + u"),

-Vp ,71+1

St

(3.23)

(3.24)

A presso em (3.24) encontrada aplicando-se o operador divergente e pela condio de


incompressibidade (3.22). Resultando na equao de Poisson para a presso dada por
(V- V)pn+l

(3.25)

^V-u*.

Assim essas equaes so resolvidas na sequncia (3.23), (3.25) e (3.24) em cada passo de
tempo. Mais detalhes podem ser obtidos em |Perot, 1993j e |Armfield and Street, 2002|.

3.5

Mtodo Semi-Lagrangeano

A idia bsica do mtodo semi-lagra,ngea.no acompanhar uma, partcula, de fluido


durante sua trajetria, ao longo da malha, sobre o escoamento. Seja (p uma, varivel
Dtp
~Dt

F.

Utilizando, o referencial Lagrangeano, a, derivada, material ^


ip{x,t + St) <p(x
-Sx,t)St

pode ser aproximada por

= F,

(3.26)

onde x a posio de uma partcula, arbitrria pa no tempo t + St, e


x = u St.

26

(3.27)

3.5 Mtodo Semi-Lagrangeano


Assim,
<p(x, t + t) = <p(x - ut, t) = St F.

(3.28)

Note que x a posio ocupada no tempo t + St por uma partcula de fluido pa que
ocupava a posio x <5x no tempo t.
O termo ip(xx) calculado usando uma interpolao linear para <p na posio (xx).
Se (x <5x) estiver sobre uma aresta a interpolao efet.ua,da utilizando os vrtices desta
aresta,, caso (x Sx) estiver no interior de um tringulo, a interpolao efetuada utilizando
os vrtices do tringulo.
Para o caso da posio (x x) estar dentro do elemento triangular (4.2), tal funo
de interpolao deve, a partir do conhecimento de u nos vrtices do tringulo, permitir o
clculo de u e suas derivadas em qualquer posio dentro do elemento triangular.

Figura, 3.1: Elemento triangular.


A funo de interpolao escolhida para u dada, por
u =

IUI + A2U2 +

A3u3.

(3.29)

Com os valores de u i , u 2 e u 3 e os valores das coordenadas (x,y) nos pontos 1, 2, 3 e


a posio (x*, y*) = (x x,y y), possvel encontrar os valores das constantes A,, A2 e
A3, da, seguinte maneira
1 = A i + A 2 + A3,
(3.30)
=

\IX! + \2X2 + A 3 X 3 ,

(3.31)

y* =

Ai y1 + \2y2 + A3y3.

(3.32)

x*

Essas expresses podem ser escritas como o seguinte sistema linear

Zi

2 Z3 ] ( A2 ] = ( x* ]

YI

V2

YZ )

V A3 /

\Y*

(3.33)

cuja, soluo resulta nos valores para as constantes Ai, A2 e A3.


Para o caso da nova posio estar sobre uma aresta a funo de interpolao dev, a
partir do conhecimento de u nos vrtices da aresta,, permitir o clculo de u e suas derivadas
em qualquer posio da aresta,. A funo de interpolao escolhida para u
u = A ^ ! + A2u2.

27

(3.34)

Captulo 3

Mtodos Numricos para Equao de Navier-Stokes

Como no caso anterior, com os valores de u i e 112 e os valores das coordenadas (x, y) nos
pontos 1, 2 e na posio (x u<5) = (x*,y*) possvel encontrar os valores das constantes
A: e A2.

3.6

Mtodo Utilizado no UmFlow-2D

O mtodo numrico utilizado para simular escoamentos Newtonianos em malhas no


estruturas esto baseados nos mtodos da projeo, na formulao semi-lagrangeana para
os termos convectivos e no mtodo de diferenas finitas generalizadas. Estas trs tcnicas
reunidas do um aspecto inovador para o trabalho aqui desenvolvido.
Assim, dadas as equaes de conservao
Du

1 9

1
(3 35)

Dt

"

V u = 0.

(3.36)

Para a aproximao da derivada material em (3.35), utilizado o mtodo semi-lagra,ngea.no,


visto na seo (3.5). Assim
Du _ u(x, t + St) - u(x - x, t)
Dt~
Substituindo (3.37) em (3.35), tm-se
u (x,t

t)-u(x-x,t)
t

l<

'

1y
Re

2 u +

" '

g
Fr2

Utilizando o mtodo dos passos fracionrios, descrito na seo (3.4), na equao (3.38),
obtm-se
u(x,t + t)-u(x-x,t)
1y2u + 1
=
t
Re
t rz
u(x, t + t)-

(x, t + t)
t

Vp,

V 2 p = ^ - V - ( x , + ).
t

(3.40)
(3.41)

Essa estratgia de resoluo pode ser descrita nos seguintes passos:


Passo 1: Clculo das velocidades intermedirias
u = u* + t [ 1- - ^7 2u. +. 1 g ) ,

(3.42)

onde u* = u(x x, t).


Passo 2: Clculo da presso
V

+ 1

= ^ v ,
t

utilizando as seguintes condies de contorno:

28

(3.43)

3.6 Mtodo Utilizado no UmFlow-2D


- Condies homogneas do tipo Neumann no contorno rgido, ou seja,
dpn+l _
dn
Esta condio utilizada tambm, nas regies de entrada de fluido, caso existam.
- Condies homogneas do tipo Dirichlet na superfcie livre, ou seja,
pn+1 = 0.
Esta condio tambm utilizada nas regies de sada de fluido, caso existam.
Passo 3: Atualizar o campo de velocidade final
u n+1 ~ - LVpn+1

(3.44)

Desta, forma, esses passos formam um ciclo computacional, a partir de um tempo inicial
tn para o clculo das variveis primitivas num tempo posterior tn+i = tn + t.

3.6.1 Classificao das Clulas


O mdulo de simulao do ambiente UmFlow-2D foi originalmente criado para, resolver
problemas com superfcies livres, deste modo, necessrio classificar as clulas da, malha,,
pois o fluido est continuamente em movimento. Ou seja,, a, cada passo no tempo o fluido
se movimenta. Essa, classificao, est baseada na, classificao do mtodo GENSMAC, e
identifica se a, clula, faz parte da, entrada, ou sada, do domnio ou est no contorno rgido,
se contm ou no fluido, se pertence , superfcie livre. Aqui considerado como domnio
apenas os elementos triangulares interno ao domnio rgido, os elementos triangulares pertencentes ao domnio rgido, , fronteira de entrada, e sada do fluido so fictcios considerados apenas para, aplicaes de condies de contorno. Para, tanto se adota, a, seguinte
classificao:
Clulas vazias ("empty") (E): So elementos triangulares que no contm fluido;
Clulas cheias ("full") (F): So elementos triangulares cheios de fluido e no possuem nenhuma, fa,ce(arest,a,) em contato com as clulas vazias;
Clulas de superfcie ("surface") (S): So elementos triangulares que contm
fluido mas possuem uma, ou mais faces (arestas) em contato com clulas vazias;
Clulas do contorno ("boundary") (B): So elementos triangulares que possuem
uma, aresta pertencente ao domnio rgido e no pertencem ao domnio;
Clulas do injetor ("inflow") (I): So elementos triangulares que possuem uma,
aresta pertencente fronteira, de entrada- do fluido no domnio e no pertencem ao
domnio;
Clulas do ejetor ("outflow") (O): So elementos triangulares que possuem uma
aresta, pertencente fronteira, de sada, do fluido no domnio e no pertencem ao
domnio.
At o momento apenas simulaes de fluido com escoamento confinado est, implementado, assim no encontrado clulas vazias e de superfcies livres.
A figura, (3.2) ilustra, essa, classificao das clulas na malha, em um instante dado para
um escoamento bidimensional.

29

Captulo 3

Mtodos Numricos para Equao de Navier-Stokes

o
o
o
o
o
o

i
B

Figura, 3.2: Tipos de clulas.

3.6.2

Condies Inicial e de Contorno

As condies de contorno utilizadas so as mesmas apresentadas na seo 2.6.

3.6.3

Condio de Estabilidade do Mtodo

Assim como no mtodo GENSMAC, o mtodo utilizado no mdulo de simulao do


UmFlow-2D, lida, com equaes no-lineares, dificultando a, anlise analtica, da, estabilidade. Desta, forma,, pode-se argumentar pelo estudo das equaes linearizadas utilizando
um mtodo de anlise de estabilidade. Portanto o critrio de estabilidade empregado uma,
condio necessria, mas no suficiente.
O uso de integrao temporal explcita, impe severas restries aos valores permitidos
de St em problemas onde os termos viscosos da equao (2.12) so predominantes. Em particular, esse tipo de problema, ocorre quando o escoamento apresenta nmero de Reynolds
baixo, os chamados creep flow.
A restrio imposta, pelo tratamento explcito dos termos viscosos

(3.45)
onde h igual ao comprimento da, menor aresta, da, malha.
Outra, restrio de estabilidade do mtodo relaciona o valor do passo temporal com o
espaamento da, malha, e com uma, velocidade de referncia,. Ou seja, o fluido ao longo do
escoamento, no pode percorrer uma distncia, maior que o comprimento de um elemento
triangular a, cada, passo no tempo, pois caso isso ocorra, pode-se perder informaes sobre
as propriedades que esto sendo transportadas. Essa restrio, exige que
(3.46)

30

3.6 Mtodo Utilizado no UmFlow-2D


e
(3.47)

tCFLy <

onde |i|max e |w|max so os mdulos mximos das velocidades nas direes x e y, respectivamente.
Essa restrio derivada da condio Courant-Friedrichs-Lewy (CFL) |Courant et a,l., 1967|,
que exige que
(3.48)
VX<1
6
7jy<
1,
onde rjx e r)y, so os nmeros de Courant. Para a = 2\u\max e 6 = 2\v\rnax determina-se a
condio (3.46) e (3.47).
De acordo com |Tom and McKee, 1994|, |Griebel et ai., 1998] e |Fortuna, 2000|, um
fator de segurana Fact, tal que Fact (0,1], deve ser aplicado nas restries (3.48), (3.46)
e (3.47).
Finalmente, o valor de St utilizado na simulao, deve satisfazer simultaneamente as
restries (3.48), (3.46) e (3.47), e multiplicado pelo fator de segurana, ou seja,
St = Fact

MM(5tvisc,StCFLx,tcFLy)-

(3.49)

Outras expresses para, o critrio de estabilidade podem ser adotadas em metodologias


com natureza explcita da integrao temporal.

31

Captulo 3

Mtodos Numricos para Equao de Navier-Stokes

32

CAPTULO

Discretizao

4.1

das Equaes

Introduo

A soluo numrica, de um problema de escoamento de fluidos pode ser obtida seguindo


as seguintes etapas: dado um problema, fsico, utilizasse modelagem matemtica atravs
de equaes governantes e em seguida obtm-se uma soluo aproximada aplicando um
processo de discretizao. Aps obter essa soluo so feitas anlises e interpretaes dos
resultados numricos, muitas vezes usando tcnicas de visualizao que em diversos casos,
permite uma anlise qualitativa rpida e direta. Portanto, um processo muito importante
e fundamental na DFC, escolher de forma apropriada a tcnica de resoluo das equaes
governantes e um ambiente de simulao. Esse ambiente, deve unir tcnicas de modelagem
do problema, resoluo das equaes e visualizao dos resultados.
No presente trabalho, utiliza-se os mtodos passo fracionrio e semi-lagrangano para o
mtodo de resoluo das equaes de Navier-Stokes, e utiliza,-se o software UmFlow-2D,
desenvolvido neste trabalho, para o ambiente de simulao.
A malha, utilizada, triangularizada, como mostra, a figura, 4.1 e a estruturada de dados
SHE, para, a representao de malhas no estruturadas em duas dimenses. Nesse tipo de
malha,, a, numerao das incgnitas na, clula,, como a, presso (ou outra componente <f> do
fluido), segue a mesma numerao da, clula,, e as velocidades, a, numerao dos vrtices.
A seguir, as equaes do mtodo na forma, discreta, e a, estruturas de dados SHE, sero
apresentadas.

4.2

Discretizao das Equaes

Para, expressar de forma, adequada, o tratamento computacional de um modelo utiliza-se


o processo de discretizao, que dividido em duas fases:
1. Discretizao de u m domnio: A soluo numrica, das EDPs no pode ser obtida,
sobre um domnio contnuo devido aos infinitos pontos que o constituem. Assim,
faz-se uma, representao numrica dessa regio, incluindo as posies dos pontos onde

33

Discretizao das Equaes

Captulo 4

deseja,-se aproximar a, soluo. Assim, o domnio dividido em um nmero finito de


regies discretas, que so chamadas de clulas computacionais, ou seja o domnio
discretizado. Quando o problema transiente, o intervalo de tempo dividido em
passos temporais.
2. Discretizao das equaes: Na segunda, fase, os termos que compem as equaes
so escritos em funo dos valores das incgnitas em pontos discretos adjacentes. A
discretizao das equaes, fornece equaes de diferenas relacionadas as variveis dependentes nos pontos do domnio discretizado. Nessa fase, introduzem-se as condies
de contorno do problema,, normalmente modificando-se as equaes em pontos prximos da, fronteira.
A discretizao das equaes de conservao ser, feita, sobre uma malha, triangular, a,s
velocidades na direo x e na direo y so discretizadas sobre os vrtices de cada tringulo,
a, presso discretizada, no centro dos tringulos (4.2).
U, V

Figura 4.2: Clula Computacional.

34

4.2 Discretizao das Equaes

4.2.1 Aproximao das Velocidades


Para o clculo das componentes da velocidade , v

st

fd2u

d2u)

onde u* = u(x x, t).


As derivadas em (4.1) aproximado pelo mtodo DFG utilizando aproximao por
mnimos quadrados, em clulas do tipo C(I), C(II) ou C(III) dependendo do nmero de
tringulos vizinhos utilizando uma funo polinomial de grau 2. Seja o polinmio de aproximao dado por:
C1-P(1) + C 2 P (2) + C 3 P (3) + C4P(4) + C 5 P (5)

Wq =

clux + c2J + c3ux

(4.2)

+ ciuxy + c5 J .

Resolvendo o sistema linear em (1.6) de ordem 5, tem-se


d2u

d2u

Desta maneira, para o clculo das componentes da velocidade , v tem-se:


u:^

+ St

v,r 1 = v * + t

(2c 3 , + 2c 5li ) +

(j- e ( 2 c 3 * + + ) '

(4-4)

em que u*,v* so as componentes de velocidades, obtida pela aproximao da derivada


material pelo mtodo semi-lagr angea.no, calculadas por interpolao no tempo t.

4.2.2

Aproximao da Equao de Poisson para a Presso

Para, a, equao de Poisson


^ 2 + ^ 2 =
(4.5)
dx
dy
da mesma maneira, que no clculo das derivadas da velocidade, mas agora utilizando clulas
do do tipo C(IV), aproxima,-se as derivadas de p pela, funo polinomial de grau 2, resultando
num sistema, linear (1.6), de ordem 5. Assim, para cada clula, Cj da, malha, temos o sistema,,
A c = b, onde:

vkect

(zkXk)uk

Y^ {vk^^k
vk<=Ci

vkCi

(xkyk)^k

J2

vkCi

(w<xk)"k

Yi iyky^k
vkCi

(xkxD<^k

vkGCi

vY,
kCi x
kCi x
kCi
( kykXk)^k v vY
( kykyk)uk vvCi
(
vkCi
kC
k

Y
\

iEC,

(ylxk)vk

(ylyk)^k
JcCj

^ ^ i W
Y (ykxl)"k

"kCj

35

vkect

(.xkxkVk)"k

Y1 (xkVk)^k

Y (ykxkVk)^k
vkC

tec,

(ykvl>k
vkGCi

vkCi(xkykXkVk)^k
(xkykyt)^k
vkCi
vkCi

(ylxkyk)<^k

vkCi

Y
vkCi

^bl)^
/

Discretizao das Equaes

Captulo 4
(

v C

Zto - P i ) x

X > * - Pi)yk^k

v eci
k

E TO - P i ) x \ u

v ec
k

E TO- P i ) x

v Ci

y u
k

E TO - Pi)ykuk

" eG
k

em que o nmero de ns da clula (Vk Cj) deve ser maior que o nmero de monmios do
polinmio evitando que o sistema seja indeterminado. E nesse caso v o vrtice central do
elemento triangular.
Lembrando que
d2p

d2p
.
n

Ih?

3p

(46)

Para. a equao (4.5), temos


2 c3p + 2 c5p = D,

(4.7)

onde o termo do lado direto na equao (4.8) calculado no centro dos elementos triangulares e
D = DCi = 2Cl + 2cu,

(4.8)

calculado por uma interpolao linear dos vrtice do elemento triangular central da clula
Q.
O sistema A c = b, pode ser transformado no seguinte sistema
a

l,l

1,2 al,3 al,4


1,5 ' C1 \
J
2,2 "-2,3 Bi,
2,4a Cl'2,5
"3,3 "3,4 3,5
a
4,4 a4,5
a
5,5 / \ C5P /

( h, \

Obtendo os passos inversos da triangularizao, manipulando o termo independente de


modo que os termos Pi e Pk estejam em evidncia, podemos escrever cada um dos termos
C
3P e c 5p como uma relao linear dos valores de p no n Vi do tringulo central e nos ns
Vk pertencentes a clula (Cj),
c 3p = J 2

^ 3 P i + Y1

Vk^Ci
C5p

(4.9)

lkPi"

vkCi

(4.10)

Oi,kPk-

vk^Ci

vkeCi

Ento, o operador V 2 p, aplicado na clula Cj, pode ser escrito por:

=
=

+ l)Pi + E

vkCi
OLi

i P i

vkCi

Y1

fk^Ci

aikPk,

36

+ lk)p k

4.2 Discretizao das Equaes


onde
Oiij

K j + ai,j)

P^a

j = i, k.

(4.11)

Assim
+

ai kPk2 a

Vk^Ci

'

( li

+ a

Para

Proposio: Os termos a^j e a^k associados a Vi e


desigualdade:

(4.12)

E Ci, cumprem a seguinte

loi.il < E M-

(4J3)

A equao (4.12) quando aplicada em todos os elementos triangulares do domnio gera


um sistema linear para p, cuja matriz esparsa e no simtrica.
mi,i pi + mx,2p2 + + mhnv pnv

7712,1 Pl + 1112,2 P2 +
nc,ipi+mnct2p2

h m ,n

+ --- + mnc,nvpnc

DCl
P>c2

(4.14)
(4.15)

Pnv

(4.16)

DCnc,

(4.17)

onde rrii,i = ct^, m^k = cti,k para vk E Ci, e os demais elementos matriciais so nulos.
Para, a, discretizao de p na, regio de contorno introduzido, para, cada, elemento
triangular pertencente ao contorno, um elemento triangular "fantasma", aumentando uma
vizinhana na, clula de aproximao das derivadas.
Na regio de entrada de fluido e no contorno rgido utiliza,-se condies homogneas do
tipo Neumann, ou seja,

^ = 0,
dn
o valor de p no elemento fantasma, igual ao valor de p no elemento triangular de contorno.
0 termo independente b em (1.6) no alterado.
Para regio de sada, de fluido so utilizadas condies homogneas do tipo Dirichlet, ou
seja,
p = 0.
Neste caso o valor de p no elemento fantasma, igual ao valor de p no elemento triangular
de contorno. Para, o termo independente b em (1.6) somado 2p 0 P l f onde Pj o monmio
1 do elemento triangular fantasma,. Seja, a numerao das clulas como na, figura, (4.3), a,
linha da, matriz para, essa, clula, deve ser

[11 12 13 14 "15 16 1,7 1,8 0 1,10 0 1,12 0 1,14 1,15 1,16 j


(4.18)

Conclumos que, para, a matriz no possuir elementos negativos na diagonal principal,


o domnio deve ser triangularizado de modo que um elemento triangular tenha apenas uma
aresta, pertence ao seu contorno.

37

Discretizao das Equaes

Captulo 4

Figura 4.3: Clula com tringulos numerados.

4.2.3 Tcnicas de Armazenagem


Como discutido na seo 4.2.2, a discretizao da equao (4.5) resulta uma matriz A
esparsa e no simtrica para, as equaes no clculo de p. Desta, forma, foi necessrio
o uso de tcnicas de armazenagem compacta, para, essa matriz. Existem vrias tcnicas
de armazenamento, como as descritas em |Knut,h, 1968| e |Bentley, 19861. No presente
trabalho, utilizada a tcnica de indexao por linhas descrita por Bentley |Bent,ley, 1986|.
Para, representar a matriz A de dimenso n x n, em que n o nmero de clulas do
domnio, a, tcnica, de indexao por linhas necessita de dois vetores unidimensionais, sa e
i j a. A seguir, um resumo do esquema, para aplicao desse tcnica, apresentado.
1. As primeiras n posies do vetor sa armazenam os elementos da, diagonal principal
da, matriz A;
2. A posio n + 1 do vetor sa um valor qualquer, aqui denotado x\
3. As posies > n + 1 do vetor sa armazena os demais elementos da matriz, percorrendo-a,
por linha,;
4. As primeiras n posies do vetor i j a armazenam os ndices do vetor sa nos quais
esto armazenados o primeiro elemento fora da diagonal principal de cada linha;
5. A primeira posio do vetor i j a sempre igual a n + 2;
6. As posies > n+1 do vetor i j a armazenam o nmero da, coluna, em que os elementos
fora, da diagonal pertencem, percorrendo a, matriz por linha.

38

4.2 Discretizao das Equaes


Como exemplo da aplicao dessa tcnica, considere a matriz
2
0
0
0

0
3
5
0
0

2
4
6
0
0

0
0 0
7 0
8 9
1

Utilizando a tcnica de indexao por linhas para A, constrem-se os vetores sa e i j a


da, seguinte forma
ndice k
sa|&|

1
7
2

2
8
3

4
11
8

3
9
6

5
12
3

6
13
X

7
3
2

8
3
4

9
2
5

10
4
7

11
5
9

12
4
1

Desta forma, pode-se armazenar uma matriz esparsa A em apenas dois vetores.

4.2.4 Aproximao da Equao de Atualizao da Velocidade


A atualizao do campo final de velocidade, feita pela equao (3.44). As velocidades
na direo x e y so discretizadas como
un+l
n+1

4.2.5

=u-tclp,
=

v-tc2p,

Aproximao das Condies de Contorno

Para, os ns pertencentes a borda do domnio fa,z-se uma verificao do tipo de condio,


"inflow", "outflow" ou "boundary", em relao a aresta, da seguinte maneira: se uma aresta
tem vrtices com tipos diferentes, a velocidade normal e tangencial nesses vrtices so nulas,
desta forma necessrio que o tamanho para a regio de entrada e sada de fluido seja maior
que duas arestas (3 vrtices).
Contornos rgidos: No caso em que um n Vi de bordo tipo "boundary" e tm suas
arestas de bordo com ns do tipo "boundary" aplica-se a condio sem escorregamento
("no-slip"), ou seja, a, componente normal (un) e a componente tangencial (ut) da.
velocidade do n Vi so nulas.
Condio de entrada de fluido ("inflow"): No caso em que um n v, de bordo
tipo "inflow" e tm suas arestas de bordo com ns do tipo "inflow", temos t^n Uinfloyj
para a componente normal da velocidade, e ut = 0 para as componentes tangenciais.
Condio de sada de fluido ("outflow"): No caso em que um n Vi de bordo
tipo "outflow" e tm suas arestas de bordo com ns do tipo "outflow", define-se ^ f = 0
para, a, componente normal da velocidade, e ^ = 0 para, as componentes tangenciais.
Considera-se uma, reta passando pelo vrtice Vi com direo m = (mx,my) onde m
o vetor unitrio com direo da, mdia dos vetores normais das arestas vizinhas (ver
Figura 4.4). Toma,-se o ponto Pi nesta reta a uma distncia h de Vi do lado interior a
malha, sendo (x,y) as coordenadas de Vi, as coordenadas de
sero

39

Discretizao das Equaes

Captulo 4

pix = x-

mxh

Piy = y myh,

onde ho valor da menor aresta da malha, ento procura,-se o tringulo que o novo n
pertence e faz-se uma, interpolao linear com os valores das velocidades nos vrtices
desse tringulo, o valor encontrado ser, o valor das velocidades do n Uj.

4.3

Mtodo dos Gradientes Bi-conjugados para Sistemas


Esparsos

A aplicao da, discretizao das equaes de Navier-Stokes, pelo mtodo DFG resulta
em um sistema, linear esparso para o clculo da, equao de Poisson. Na, metodologia
GENSMAC, o mtodo gradiente conjugado (GC) utilizado na, resoluo da, equao de
Poisson para, a, presso, pois o sistema, resultante esparso, definido positivo e simtrico.
Mas para, o mtodo DFG a, equao para, a presso p, tem como sistema resultante matriz
no simtrica, que por sua, vez, no permite o uso do mtodo GC. Portanto, a aplicao de
um novo mtodo iterativo para, resoluo de sistemas lineares necessria.
O objetivo desta, seo apresentar o mtodo dos gradientes bi-conjugados (GBC), para,
soluo de sistemas lineares
A . x = b,
(4.19)
com matriz A no simtrica,.
A formulao do mtodo GBC, requer que inicialmente, construa,m-se 4 vetores rk, rk,
pfc e pfc, k 1,2,.... Deve-se fornecer os vetores iniciais r 1; ri, p j = ri e p 2 = ri- Desta,
forma,, pode-se definir o seguinte algoritmo
T

Tk

Oik

T Aa
P k '

Tfc+1 =Tk~

' P k

OLkA .p fc ,
<YKAT. P^

FFC+I =
V

'

o ~ ZJf
k+1
Pk

fc+l 1

Tfc -rk

Pfc+1 = rfc+l +

PkPk,

Pfc+1 = f k + 1 + P k p fc

40

(4

2Q)

4.3 Mtodo dos Gradientes Bi-conjugados para Sistemas Esparsos


Os vetores dessa sequncia so bi-ortogonais, ou seja
ff .Tj ^ i f . T j =0,

j<i,

(4.21)

e tambm satisfazem a condio


P A . Pj:= p f . A r . Pj = 0,

j < i,

(4.22)

e so reciprocamente ortogonais
f j .Pj

=TJ .pj = 0,

j<i.

(4.23)

A prova dessas propriedades apresentada em |Fletcher, 1975|. Portanto, para utilizar


o algoritmo (4.20), um vetor inicial xi escolhido, e o resduo inicial define o vetor r 1 ;
r^b-A.X!,

(4.24)

com f i = ri. O prximo vetor da sequncia de aproximaes calculado por


x fc+ i = xfc + akpk.

(4.25)

Um critrio de parada para o mtodo GBC


|Axfc+i - b |

|b|

< tol,

(4.26)

onde t o l uma tolerncia escolhida de acordo com o problema. Como o mtodo GBC
mais eficiente se a matriz A for bem-condiciona,da |Qua,rteroni et a,L, 20001, pode-se utilizar
um mtodo de precondicionamento |Golub and Loan, 1989|, isto , o sistema linear (4.19)
transformado para,
(_1A)x = ^ b ,
(4.27)
onde A chamada, matriz prcondicionadora, |Qua,rt,eroni et, a,l., 20001 e o esquema, utilizado
chamado mtodo dos gradientes bi-conjugado precondicionado (GBCP). Neste trabalho,
A foi tomada, como a, diagonal de A. Para, se utilizar um precondicionamento, os vetores
Zfc e zfc definidos como
zk = rk e zfc = ffc,
(4.28)
so introduzidos no algoritmo (4.20). Note que as equaes (4.28) representam sistemas
lineares que devem ser resolvidos a, todo passo. Desta, forma, a matriz A deve ser escolhida
de forma, que esses sistemas tenham solues simples. Portanto, a, definio dos valores a k
e (3k e dos vetores pfc e p k sero modificados para
'
a/c = T
=r

T
Zfc
*

Pfc A . Pfc

'

Z f c + 1
,
Tfc - Zfc
p fe+ i = z fc+ i + Pkpk,

Pk = %

Pfc+l = Zfc+l + AcPfc-

41

(4-29)

Discretizao das Equaes

Captulo 4

O critrio de parada do algoritmo (4.29) para o mtodo GBCP pode ser expresso como
A

.(Ax-b)l

< tol.

(4.30)

. b|
Para o mtodo GBC no existem resultados que garantam sua convergncia, como no
caso do mtodo GC. Desta forma o mtodo GBC pode falhar em alguns problemas. Detalhes
sobre o mtodo GBC e GBCP podem ser encontrado em |La,nczos, 1952|, |Watson, 1976|,
|Vorst, 1992|, |Press et al., 1992| e jAyachour, 2003|.

4.4

Estrutura de dados SHE

Para garantir uma melhor distribuio dos ns sobre o domnio, utilizado no mtodo
de DFG a estrutura de dados "Singular Handle-Edge" (SHE), utilizada para, a representao
de malhas no estruturadas em duas dimenses. A estrutura de dados SHE tem a habilidade
de representar vrtices singulares e curvas do contorno. A introduo de vrtices singulares
comum nos processos de insero e remoo de tringulos nas malhas no estruturadas.
Em aplicaes numricas as condies dos contornos associados uma equao diferencial
que podem ser manipuladas mais facilmente por uma representao explcita dos elementos
da fronteira.

4.4.1 A estrutura "Singular Handle-Edge"


A singular Handle-Edge organizada em termos de sete entidades representadas explicitamente, os quais so:
"sheShell": Esta classe representa cada grupo e tringulos conexos. nesta entidade
onde so armazenadas as listas de clulas e de componentes de bordo, alm de um
identificador, nmero de clulas, nmero de componentes de bordos e uma referncia
para a malha,. Agrupando os tringulos por componentes conexas, temos que para
cada. Shell, existe apenas um componente de bordo externo, dentre todos bordos que
este pode conter, sendo os outros componentes as bordas dos "buracos" na "Shell".
"sheVertex": Esta classe representa, cada, vrtice (ponto ou n) de uma, malha triangular. Nela, armazenada, as coordenadas geomtricas, a caracterstica, de pertencer
ao bordo ou no, informaes sobre singularidades e identificadores.
"sheHalfEdge": Esta classe representa cada, semi-aresta dos tringulos da malha
bidimensional. Nesta entidade armazenada a, informao da clula a, que ela, pertence, da aresta, vizinha e do vrtice p da semi-aresta. A aresta, vizinha, pode pertencer a, outro tringulo ou ao componente de bordo. As arestas que pertence a,
dois tringulos, so representadas por dois objetos, uma, para cada tringulo. As
semi-arcstas de bordo no tm semi-aresta vizinha.
"sheSing": Representa cada componente singular incidente a, um vrtice. Nela
armazenada uma referncia, para, cada aresta de bordo onde o vrtice singular p.
No caso do vrtice no ser singular, esta, referncia, ser, uma, aresta qualquer.
"sheCell": Esta classe representa, cada tringulo da, malha,. As informaes guardadas
por esta, classe so as referncias para, as semi-arestas que pertencem clula, uma,
referncia para, a malha, que contm a clula,, e um identificador.

42

4.4 Estrutura de dados SHE


"sheBoundaryCp": Representa a(s) componente(s) de bordo de uma malha, cada,
componente conexa da, malha, possui sua lista, de componentes de bordo ("sheBoundaryCp"), que por sua vez possui um ponteiro para uma lista, de "sheBoundary", que
so as arestas da, referida, borda,.
"sheBoundary": Esta classe representa cada, aresta, de bordo de uma malha triangular. Outra, informao armazenada aqui uma referncia, , componente de bordo
que ela, pertence.
As entidades "sheHalfEdge", "sheSing" e "sheBoundary" so armazenadas em listas
circulares dinmicas, enquanto o resto dos elementos armazenado em listas no
circulares.
Half-Bdga
Boundary
Curv

a)

i Boundary j Hatf-Edge j
Edge i ' Mate '

b)

Bounday

Bounday

I
( Bounday A

f)
Lista

g)

Edge

Edge J

Curve

I
' Half-Edge

L
Bounday
Curve

\ Lista
' Circular

J N a o circular

Figura, 4.5: Entidades de orgarnizao da estrutura de dados SHE.

4.4.2

Implementao

A estrutura, de dados SHE e o completo conjunto de mtodos para manipular a armazenagem das informaes esto implementados em C + + .
Um mecanismo chamado i t e r a t o r foi implementado para, percorrer os elementos da,
SHE, o qual permite a explorao de listas com um simples FOR. Mtodos BeginQ e End()
definidos para cada, classe so responsveis por iniciar e finalizar o i t e r a t o r . Por exemplo,
o seguinte cdigo pode ser empregado para imprimir as coordenadas de todos os vrtices
na malha, ao percorrer a lista de Vrtice:
Iterator<SHE_Vertex> iv;
for (iv = m -> Begin_vertex(); iv != m->End_vertex(); ++iv)
cout

iv->Get_x()

iv->Get_yO;

onde m um ponteiro para, o elemento Malha,. A principal vantagem do iterator que ele
encapsula as listas e padroniza, o acesso a, elas.

43

Captulo 4

Discretizao das Equaes

44

CAPTULO

Desenvolvimento

do Software

5.1 Consideraes Iniciais


Para, um melhor desenvolvimento do projeto, o estudo de conceitos em engenharia de
software (ES) foi includo visando um melhor desenvolvimento do software, garantindo a
aplicao de uma, abordagem sistemtica,, disciplinada e quantificvel, para, o desenvolvimento, operao e manuteno do software. Com isso o grupo de mecnica dos fluidos,
vislumbra extenses e alteraes que podero ser facilitadas no desenvolvimento de novos
projetos, como por exemplo a extenso do software para, simulao de fluidos Newtonianos
generalizados ou discretizao das equaes, por exemplo, pelo mtodo de volumes finitos.
Foi criado um grupo de estudo entre pesquisadores e doutores em mecnica, dos fluidos
e engenharia, de software para, o acompanhamento do desenvolvimento do software, visando
uma, aplicao adequada, para o projeto e um estudo de caso em ES. Em relao , rea,
mecnica, dos fluidos, conforme comentado, o cumprimento de atividades de ES para o
desenvolvimento de um software "reutilizvel". Para, o grupo de ES que considera o trabalho, um estudo de caso relevante para, a, proposta, de um modelo para, desenvolvimento
de software em ambiente acadmico |Pa,iva, 2004|.
Pretende-se projeta,r um software reutilizvel, seu projeto deve ser especfico para, o
problema, a, resolver, mas tambm genrico para, atender futuros problemas e requisitos.
Deseja,-se evitar o re-projeto, ou pelo menos minimiz-lo.
O software est, sendo implementado em linguagem C + + , utilizando programao orientada, a objeto, com UML ("Unified Modeling Language").
Este captulo apresenta, uma introduo dos principais conceitos e definies de ES e o
ambiente de simulao UmFlow-2D.

5.2

Engenharia de Software

A Engenharia, de Software surgiu em meados dos anos 70 numa tentativa, de contornar


a, crise do software e dar um tratamento de engenharia, (mais sistemtico e controlado) ao

45

Desenvolvimento do Software

Captulo 5
desenvolvimento de sistemas de software.

Os fundamentos cientficos para a ES envolvem o uso de modelos abstratos e rigorosos


que permitem a,o engenheiro especificar, projetar, implementar e manter sistemas de software, avaliando e garantindo suas qualidades. Alm disto, a engenharia de software deve
oferecer mecanismos para se planejar e gerenciar o processo de desenvolvimento.
Para, o desenvolvimento de um software necessrio
Instrues que quando executadas produzem a, funo e o desempenho desejados;
Estrutura, de Dados que possibilitam que os programas manipulem adequadamente a,
informao;
Documentos que descrevam a, operao e o uso dos programas.

5.3 O Processo de Software


O Processo de Software abrange um conjunto de trs elementos fundamentais para, projetar,
construir e manter grandes sistemas de software de forma, profissional. So eles:
Mtodos: proporcionam os detalhes de como fazer para, construir o software.
- Planejamento e estimativa, de projeto
- Anlise de requisitos de software e de sistemas
- Projeto da, estrutura, de dados
- Algoritmo de processamento
- Codificao
- Teste

- Manuteno
Ferramentas: do suporte automatizado aos mtodos.
Procedimentos: constituem o elo de ligao entre os mtodos e ferramentas

5.3.1 Modelos de Processos de Software


Modelos de processos so estratgias de desenvolvimento que abrange camadas de processo, mtodos e ferramentas. Um modelo de software para engenharia, de software escolhido com base na natureza, do projeto e da, aplicao, nos mtodos e ferramentas a, serem
usados, e nos controles e nos produtos intermedirios e finais que so requeridos.
Existem vrios modelos de processo de software, cada um representa, uma tentativa, de
colocar ordem em uma, atividade catica. Pode- se citar os seguintes modelos de processo
de software:
O Modelo Sequencial Linear;
O Modelo de Prototipao;

46

5.3 O Processo de Software


O Modelo RAD;
Modelos Evolutivos de Processo de Software
- O Modelo Incremental
- O Modelo Espiral
- O Modelo de Montagem de Componentes
- O Modelo de Desenvolvimento Concorrente.

5.4

Padres de Projeto

Quando desenvolvemos um projeto, no devemos partir de princpios elementares ou do


zero, ao invs disso, devemos reutilizar solues que funcionaram no passado. Consequentemente encontramos padres de classes e de comunicao entre objetos, que reaparecem
frequentemente em muitos sistemas orientados a objetos. Os padres resolvem problemas
especficos de projetos e tornam os projetos orientados a objetos mais flexveis.
"Os padres de projeto ajudam a escolher alternativas de projeto que tornam um sistema reutilizvel e a evitar alternativas que comprometam a. reutilizao, podem tambm
melhorar a, documentao e a manuteno de sistemas ao fornecer uma especificao explcita de interaes de classes e objetos e o seu objetivo subjacente. Em suma, ajudam
um projetista a obter um projeto "certo" mais rpido" |Gamma, et al., 2000|.
O conhecimento de padres de projeto importante, nos d nomes padronizados e
definies para as tcnicas que usamos.

5.5

Documento de Requisitos

O processo de desenvolvimento de software compreende um conjunto de atividades que


engloba mtodos, ferramentas e procedimentos, com o objetivo de produzir softwares que
atendam aos requisitos especificados pelos usurios |Ma.yrhaiiser, 1990|,|Pressma,n, 2002|.
De acordo com Castro |Cast.ro, 1995| a especificao de requisitos serve como padro para
testar se as fases de projeto e implementao do processo de desenvolvimento de software
esto corretas.
A fase de anlise de requisitos fundamental para o processo de desenvolvimento do
software, nesta fase, devemos especificar as funes e desempenho do software, indicar a
interface do software com outros sistemas, estabelecer as restries de projeto do software
|Pressma,n, 1994|.
O documento de requisitos de um software contm todos os requisitos funcionais e de
qualidade do software. A funcionalidade diz respeito finalidade a que se prope o produto
de software e , portanto, a principal caracterstica de qualidade para qualquer tipo de
software. Os requisitos de qualidade, tambm denominados de requisitos no funcionais
incluem tanto limitaes no produto (desempenho, confiabilidade e segurana) como limitaes no processo de desenvolvimento (custos, mtodos a serem adotados no desenvolvimento e componentes a serem reutilizados).

47

Captulo 5

Desenvolvimento do Software

Nesta seo, apresentado um documento de requisitos (informal) do software de simulao numrica de escoamentos de fluidos em malhas no estruturadas.

5.5.1 Viso Geral do Sistema


O Software tem como objetivo a simulao de escoamentos de fluidos Newtonianos bidimensionais utilizando malhas no estruturadas. Os usurios deste software, necessitam
de resultados numricos para, por exemplo, simular injeo em moldes com geometria complexa. Estes resultados so as caractersticas (velocidade, presso) do fluido simulado, que
podem ser visualizadas (atravs de um arquivo de dados) por uma tabela de valores no final
da, simulao. O sistema, de simulao para, malhas no estruturadas um sistema computacional para modelagem, simulao e visualizao de escoamentos de fluidos que possibilita,
a, anlise e a observao do comportamento dinmico de fluidos incompressveis. Desta,
forma,, esse sistema, dividi-se em mdulos, e a, comunicao dever, ser feita, por arquivos.
O sistema, de simulao deve ser composto por trs mdulos:
Modelador: responsvel pela modelagem dos dados da, simulao;
Simulador: responsvel pela, implementao das equaes que rege o escoamento;
Visualizador: responsvel pela, visualizao dos resultados obtido pelo simulador.
Esse documento responsvel pela, descrio do mdulo simulador, considerando que
o mdulo modelador est, fazendo correta,mente sua, funo.
5.5.1.1

Requisitos Funcionais

B I . Preparao e Manuteno da simulao


1. O software deve receber informaes sobre a simulao.
nome do domnio
tempo inicial e final
ciclo inicial e ciclo final
espaamento de tempo para, impresso e para, gravao automtica,
escala, de comprimento e velocidade (L e U)
densidade
fora de gravidade (nos eixos x e y) (gy = gy * 9.81)
viscosidade
incremento de tempo inicial
tolerncia, para a, soluo da, equao de Poisson
fatores de controle do passo: Fator, Fatorl e Fa,t,or2
tenso superficial

48

5.5 Documento de Requisitos


opo dc escolha do mtodo para soluo das equaes de velocidades: DFG,
VF, EF
opo de escolha do tipo de escoamento: Newtonia.no, Cross-Model, Power-La,w,...
Dependendo do tipo de fluido, variveis podero ser acrescentadas. Por exemplo:
Newtoniano: Nenhuma, varivel acrescentada,;
Cross-Model: Zero Viscosity, Infty Viscosity, K(constante), M(Power);
Power-Law: Zero Viscosity, Infty Viscosity, Density, K(constante), N(Power);
Bingham: Plastic, Viscosity, Yield stress, M(constante);
SOF-Model: lambda, 2, lambda 4, Runge-Kutta order: RK1, RK2, RK3, RK4;
PTT-Model:
La,mbda,(c,onsta,nt,e),
Epsilon (constante),
Xi (constante),
Beta,(const,a,nte).
2. O simulador deve receber o domnio discretizado.
3. O simulador deve receber as variveis a,dimensiona,lizadas: u, x, t, p, g, p, fi.
4. O simulador deve receber a velocidade inicial normal setada, na, entrada e sada, de
fluido.
5. O software deve discretizar as velocidades nos vrtices dos elementos triangulares e a,
presso no baricentro dos elementos triangulares.
6. O software deve permitir a, escolha da, discretizao para, as equaes governantes.
As equaes (2.31) e (2.32) devem ser discretizadas utilizando o mtodo DFG como
j, descrito na, seo (4.2).
7. A matriz do sistema, (1.6) resultante da, aplicao do mtodo mnimos quadrados ser,
resolvido pelo mtodo de eliminao de Gauss.
8. O software deve impor as condies de contorno dadas em (4.2.5).
9. O software deve permitir a, escolha do tipo de escoamento.
Somente o modelo Newtoniano est, implementado.
10. O software deve permitir a, escolha, do tipo de clula,, sendo que a, quantidade de ns
de cada, clula depende do grau da, derivada, aproximada,. Ver (1.2.1).
B.2 Processamento da simulao
11. O software deve resolver a equao de Navier-Stokes pelo mtodo GENSMAC.
B.3 Consultas dos Resultados e Emisso de Relatrios
12. O software deve gerar um arquivo com todos os resultados da. simulao que dever
ser lido pelo mdulo Visualizador.

49

Captulo 5

5.5.2

Desenvolvimento do Software

Diagrama de Caso de Uso

medida, que os requisitas so elicitados, pode-se criar um conjunto de cenrios que


identifica uma, linha, de uso para, o sistema, a, ser construdo. Os cenrios, frequentemente
chamados de casos de uso, fornecem uma, descrio de como o sistema, ser, formado.
Usando a, notao UML, pode-se criar uma representao diagramtica, de um caso de
uso, chamado de diagram.a de caso de uso.

U
<
A
A
C/3

T3

aD
*
D

uses

V
V

DFG

uses
VF

Aplica Mtodo
de Discretizacao

uses

EF

uses
Newtoniano

Simulador

uses

Power-Law

uses

Cross-Model

escolhe
escoamento

uses

Figura, 5.1: Diagrama de Casos de Uso do software.

50

s
fc

5.5 Documento de Requisitos

5.6 Ambiente de Simulao UmFlow-2D


Neste trabalho, desenvolveu-se os mdulos de simulao e re-inicializao do ambiente
de simulao UmFlow-2D, baseado no ambiente de simulao FreeFlow-2D, para a simulao de escoamento de fluidos Newtoniano. A estrutura de dados utilizada foi a estrutura
de dados SHE. Os mdulos modelador e visualizador foram desenvolvidos no projeto de
mestrado da. aluna Ana Paula Resende Malheiro, sob a orientao do Prof. Dr. Luis Gustavo Nonato, e a interface grfica dos mdulos, no projeto de Iniciao Cientfica do aluno
Andr Luiz Toyama, Carneiro, sob a orientao do Prof. Dr. Luis Gusta,vo Nonato.
O sistema UmFlow-2D um sistema computacional para modelagem, simulao e visualizao de escoamentos de fluidos que possibilita a anlise e a observao do comportamento
dinmico de fluidos incompressveis. Desta forma, esse sistema dividi-se em mdulos, e a
comunicao feita por arquivos.. A seguir apresenta-se um resumo sobre esses mdulos.

5.6.1

Modelador

O modelador bidimensional um editor grfico interativo que permite a definio dos


objetos bidimensionais do escoamento de fluidos, que inclui os dados que configuram o
escoamento. Esses dados so: domnio, tempo inicial e final, ciclo inicial e final, intervalo
de tempo para impresso e gravao automtica, escalas de comprimento e velocidade, fora
de gravidade, densidade, viscosidade, incremento de tempo inicial, tolerncia para resoluo
dos sistemas lineares, fatores de controle no tempo, tipo de fluido para o escoamento e opes
do mtodo de resoluo: fluido Newtoniano e mtodo de Diferenas Finitas Generalizadas.
Atravs da interface de entradas de dados, o usurio pode modificar os campos desejados
e salvar a, configurao em um arquivo.
A entrada, dos dados do domnio e de todos os dados necessrios para a simulao
obtidos durante a modelagem do problema. O modelador cria trs arquivos de sada, que
sero os arquivos de entrada para o simulador.

5.6.2

Simulador

O simulador consiste em um conjunto de programas baseado na metodologia GENSMAC,


cuja finalidade resolver problemas de escoamentos transientes de fluidos incompressveis.
Nesse mdulo, que no tem interface grfica, as equaes de Navier-Stokes e a equao da
continuidade so resolvidas passo a passo como foi discutido na seo 3.6 pelo mtodo de
diferenas finitas generalizadas.
O simulador gera os resultados em arquivos que so lidos pelo mdulo visualizador.

5.6.3

Visualizador

Esse mdulo responsvel pela visualizao grfica dos resultados da simulao de escoamentos de fluidos.

5.6.4

Re-inicializador

O mdulo re-inicializador responsvel em reiniciar a simulao do ponto em que parou


ou em realizar modificaes em algum campo para novas simulaes. No caso de interrupo
acidental pode-se utilizar o re-inicializador, que tem como dados de entrada o ciclo final,
tempo final, intervalo de tempo para impresso e gravao, tolerncia para, o mtodo que

51

Captulo 5

Desenvolvimento do Software

resolve os sistemas lineares envolvidos na simulao e os fatores controladores do tempo.

52

CAPTULO

6
Resultados Numricos e Validao do
/

de Simulao

6.1

Ambiente

UmFlow-2D

Introduo

Neste captulo, so apresentadas simulaes para validao do software e simulaes


de escoamentos de fluidos Newtonianos incompressveis para problemas bidimensionais na
presena de contornos rgidos.
Em particular, os mtodos numricos foram aplicados aos seguintes problemas: escoa,mento em um canal e simulao numa expanso brusca, para, validar as tcnicas numricas,
simulao de uma placa com contrao e simulao em domnio com geometria, curva.
O ambiente de simulao o UmFlow-2D, desenvolvido neste trabalho descrito no captulo 5. Todas as simulaes numricas neste trabalho foram realizadas em microcomputadores
Dual Athlon XP MP 2200, 1.0 Gb de memria, RAM, 80.0 Gb de disco rgido e sistema
operacional Linux Slackware 9.0, encontrados no Laboratrio de Computao de Alto
Desempenho (LCAD) do ICMC-USP.

6.2 Simulao do Escoamento em um Canal


Para, o estudo da validao dos resultados numricos fornecido pelo software de simulao, considera,-se o escoamento de um fluido entre duas placas paralelas, conhecido como
escoamento de Hagen-Poiseuille (ver figura, 6.1).
O escoamento de Hagen-Poiseuille, estudado por Hagen em 1839 e por Poiseuille em
1840, muito importante pois ele um dos poucos problemas para as equaes de Navier-Stokes
para o qual uma, soluo analtica, existe, possibilitando a validao do cdigo.
A soluo analtica para, este problema ser, brevemente discutida,, podendo ser encontrada, cm |Ba,t,chelor, 1970|. Em resumo, de acordo com Batchelor, a velocidade u na direo

53

Captulo 6

Resultados Numricos e Validao do Ambiente de Simulao UmFlow-2D

Figura, 6.1: Domnio para, um escoamento de Hagen-Poiseuille. O escoamento da, esquerda


para, a, direita e o comprimento do canal 3L.
do escoamento e a, uma distncia, y da parede inferior do canal dada, pela expresso
(6.1)

onde fi o coeficiente de viscosidade. O gradiente de presso dado pela, expresso


dp
dx

mQ

-12-

(6.2)

L3

e a, vazo Q definida, como


Q=

(6.3)

u(y)dy.

Para obter a soluo analtica, (6.1) da, velocidade em funo do gradiente de presso
deve-se definir um perfil de velocidade. Desta, forma, defini-se u como uma, velocidade normal
, fronteira de entrada de fluido e U uma velocidade de referncia. Quando
(6.4)
o perfil de velocidade do tipo parablico, e quando
(6.5)

u(y) = U,

defini-se o perfil de velocidade do tipo reto. A prescrio de um perfil de velocidade


fundamental, pois muitas vezes, no possvel conhecer a, distribuio de velocidades atravs
de uma, fronteira, de fluido, sendo conhecida apenas a vazo ou a, descarga,. Desta, forma,
a soluo prescrever um perfil de velocidade arbitrrio, mas compatvel com o problema,
tratado. Aps determinar o perfil de velocidade, pode-se calcular a, soluo analtica, para o
escoamento de Hagen-Poiseuille. Para, isto, necessrio fixar o valor de L e da velocidade
de referncia, U.
A vazo Q para o perfil parablico dada, pela expresso
u(y)dy

Q
e para o perfil reto,

(6.6)

nL

Q=

/*L

u(y)dy=
J

54

/
Jo

Udy.

(6.7)

6.2 Simulao do Escoamento em um Canal


Escolhendo L = 1 e U = 1, a vazo Q calculada diretamente, sendo possvel ento,
determinar o valor do gradiente de presso (6.2), ou seja
dp
= 8/i,
e

para o

dp
= 12/x,

perfil parablico,

para o

perfil reto.

(6.8)

(6.9)

Portanto, substituindo a equao (6.8) em (6.1) obtm-se a soluo analtica, para o


perfil parablico, na forma,
u(y) = -Ay(y-1),

(6.10)

e no caso do perfil reto, ao substituir (6.9) em (6.1) tem-se


u{y) = -6y(y-l).

(6.11)

Como exemplo para, a, validao do sofware de simulao deste trabalho, considere duas
placas paralelas separadas a pela distncia, L = 1, formando um canal, que no incio da
simulao est completamente cheio com uma velocidade constante igual a u = 1.0 m s - 1
e fluido injetado na entrada do canal , uma velocidade prescrita. Quando atinge-se o
estado estacionrio, os valores das velocidades ao longo do canal deve ser comparados com
a, soluo analtica. O desenvolvimento do fluido dentro do canal, e as comparaes podem
ser realizadas, a partir de um modelo para simulao.
Para verificarmos este fato e compararmos os resultados numricos com a soluo dada
pelas equaes (3.36) e (3.35), a simulao foi realizada utilizando trs malhas.
malha 1 (grossa): 183 clulas; h ~ 0.2;
malha 2 (intermediria): 728 clulas; h ~ 0.1;
. malha 3 (fina): 2853 clulas; h ~ 0.005;
As malhas no estruturadas triangulares geradas sobre o canal nas quais foram feitos
os clculos da, soluo do problema, foi gerada pelo Easymesh |Nic,eno, 2001|.

Figura 6.2: Malha com 183 elementos, gerada, pelo Easymesh.

55

Captulo 6

Resultados Numricos e Validao do Ambiente de Simulao UmFlow-2D

Velocidade
0.00

0.214

0.428

0.643

(m/s)
0.857

1.07

1.29

ISO

Figura 6.3: Simulao numrica do escoamento de Hagen-Poiseuille com perfil reto: campo
de velocidade na direo x, calculados na malha intermediria .
O modelo para esse escoamento descrito a seguir:
Dimenso do domnio: 3.0m xl.O m ;
Dimetro do injetor (s): 1.0 m;
Viscosidade : 1.00 Ns m - 2 ;
Densidade : 1.0 kg m - 3 ;
Parmetros de escala: L = 1.0 m e U = 1.0 ms - 1 ;
Nmero de Reynolds (Re = LU/v):

1;

Nmero de Froude {Fr = U/^gL):

0.319275.

Considera-se na simulao do escoamento de Hagen-Poiseuille, injetao de fluido na


entrada do canal uma velocidade prescrita e com perfil do tipo reto. A condio para
escoamento totalmente desenvolvido imposta na entrada de fluido dada pela equao
(6.11).

Quando atinge-se o estado estacionrio, os valores das velocidades ao longo do canal


devem ser comparadas com a soluo analtica dada pela expresso (6.11). Aps a descrio
da soluo analtica e o desenvolvimento do fluido dentro do canal, as comparaes podem
ser realizadas.
A figura (6.4) mostra os resultados numricos obtidos no escoamento sobre as trs malhas
no estruturadas. A regio considerada para a comparao dos resultados numricos com a
soluo analtica, para as trs malhas, no meio do canal, aps o escoamento encontrar-se
em estado estacionrio.
Como pode-se observar, os resultados numricos so bastante semelhante soluo
analtica, ou seja, os valores numricos obtidos, sobre as trs malhas, esto em boa concordncia com a soluo analtica e mostrando convergncia de acordo com o refinamento
da malha.
Para validao do escoamento no canal considera-se tambm injetao de fluido na
entrada do canal uma velocidade prescrita e com perfil do tipo parablico. A condio
para escoamento totalmente desenvolvido imposta na entrada de fluido dada pela equao

56

6.2 Simulao do Escoamento em um Canal


1.6

1.4
1.2

0.8
0.6

0.4
0.2

0.2

0.4

0.6

0.8

Figura 6.4: Comparao entre solues numricas obtida pelo ambiente de simulao
UmFlow-2D e a soluo analtica dada pela equao (6.11) , sobre as trs malhas, com
Re = 1.

Velocidade
0.00

0.143

0.286

0.429

(m/s)
O.S71

0.714

0.857

1.00

Figura 6.5: Simulao numrica do escoamento de Hagen-Poiseuille


parablico: campo de velocidade na direo x, calculados na malha fina.

com perfil de

(6.10). Quando atinge-se o estado estacionrio, os valores das velocidades ao longo do canal
so os mesmos que os impostos na entrada de fluido, e desta forma, pode-se comparar os
resultados numricos com a soluo analtica dada pela expresso (6.10).
Como pode-se observar pela figura (6.6), os resultados numricos tambm so bastante
semelhante soluo analtica, como no problema anterior, os valores numricos obtidos,
sobre as trs malhas, esto em boa concordncia com a soluo analtica mostrando convergncia de acordo com o refinamento da malha.
A simulao do escoamento de Hagen-Poiseuille com perfil parablico utilizando-se os
nmeros de Reynolds 10 e 100, tambm faz parte da validao do simulador. E considerado
no modelo, viscosidade: 0.10 Ns m~2 para Re = 10 e viscosidade: 0.010 Ns m~2 para
Re = 100.
A figura (6.7) mostra os resultados numricos obtidos no escoamento sobre uma malha
no estruturada com 4.426 elementos triangulares (h ~ 0,004 m), para diferentes valores
do nmero de Reynolds. A regio considerada para a comparao dos resultados numricos
com a soluo analtica, para as trs simulaes no meio do canal, aps o escoamento
encontrar-se em estado estacionrio.

57

Captulo 6

Resultados Numricos e Validao do Ambiente de Simulao UmFlow-2D


1.2

0.8

0.6

0.4
0.2

0.2

0.4

0.6

0.8

Figura 6.6: Comparao entre solues numricas obtida pelo ambiente de simulao
UmFlow-2D e a soluo analtica dada pela equao (6.11) , sobre as trs malhas, com
Re = 1.
1.2

1
0.8

0.6

0.4
0.2

0.2

0.4

0.6

0.8

Figura 6.7: Comparao entre solues numricas obtida pelo ambiente de simulao
UmFlow-2D e a soluo analtica dada pela equao (6.11) , sobre uma malha (4.426 elementos triangulares) , para Re = 1, Re 10 e Re = 100.
Como pode-se observar pela figura (6.7), os resultados numricos das trs simulaes
esto muito semelhantes e de acordo com a soluo analtica, ou seja, os valores numricos
obtidos, sobre as malhas, com diferentes valores de Reynolds, esto em boa concordncia
com a soluo analtica e mostrando a invarincia com relao ao nmero de Reynolds.

6.3 Simulao numa Expanso Brusca


Para o problema bidimensional numa expanso brusca [Stuart and Dochan, 1991] foi
realizada simulao .
A geometria do problema mostrada na figura (6.8), em que a altura da expanso
brusca s metade da largura do canal.

58

6.3 Simulao numa Expanso Brusca


Na entrada do canal, o perfil de velocidade parablico, isto ,
/ X

rr

(6.12)

em que U a escala de velocidade es o comprimento da seo de entrada. O contorno de


sada de fluido est localizado a 30s do degrau. O nmero de Reynolds para esse problema
calculado por
(6.13)
V

em que

r
1 ] u(y)dy

V= 1

(6.14)

a velocidade mdia na entrada do canal. Calculando-se a integral (6.14) obtm-se

Re
=

2 S

(6.15)

-U.
v

T T

L/2

L/2
t
5L

15 L

Figura, 6.8: Geometria do problema, da expanso brusca.


Para, uma simulao do problema em questo, o seguinte modelo foi empregado:
Dimenso do domnio: 2, 0 m x 0,1 m;
Dimetro do injetor (s): 0,05 m;
Parmetros de escala: L = 0,1 m e U = 0,10 m s - 1 ;
Nmero de Reynolds: 1.0 e 100.
A simulao realizada com o UmFlow-2D, utilizou uma malha com 4.214 elementos
triangulares (h ~ 0,01 m). Essa simulao mostrada na figura (6.9). A figura (6.10)
apresenta a simulao obtida com o FreeFlow-2D.
As duas simulaes apresentam campos de velocidades bastante prximos.
observar que ambas apresentam uma recirculao na regio do degrau.

Pode-se

Esse problema foi bastante estudado e simulado utilizando o FreeFlow-2D na dissertao


de Brandi |Bra,ndi, 2005|, onde comparou-se os resultados de outros autores.
A simulao para Re = 100, obtida com o FreeFlow-2D, mostrada na figura (6.11)
Pela figura (6.11) podemos observar um aumento da recirculao com o aumento do
nmero de Reynolds.

59

Captulo 6

Resultados Numricos e Validao do Ambiente de Simulao UmFlow-2D

Velocidade
4.00364

0.140

0.363

0 436

(m/s)
0.370

0.713

0.637

1.00

Figura 6.9: Problema da expanso: campo de velocidade na direo x.

Figura 6.10: Problema da expanso: campo de velocidade na direo x.

-0.101

0.0559

Velocidade
0.213

0.371

(m/s)
0.S28

0.685

0.843

1.000

Figura 6.11: Problema da expanso: campo de velocidade na direo x.

6.4 Simulao de uma Placa com Contrao


O problema da contrao carateriza-se pelo escoamento de um fluido atravs de um canal
de dimentro L que passa a escoar em um canal de dimetro menor L/4. O domnio do
escoamento para o problema apresentado na figura (6.12)

2L

8L

16 L

Figura 6.12: Placa retangular com contrao.


No incio da simulao o domnio est completamente cheio com uma velocidade constante igual a u = 1.0 m s - 1 e fluido injetado na entrada do canal com um perfil de
velocidade do tipo parablico
Para uma simulao do problema em questo, o seguinte modelo foi empregado:

60

6.4 Simulao de uma Placa com Contrao


Comprimento das cavidades: Li 8.0cm e L2 = 8.0cm;
Dimetros das cavidades: Di = 8.0cm e

= 2.0cm;

Parmetros de escala: Uscale = 1,0 ms" 1 Lscale = 1,0 m;


Nmero de Reynolds (Re): 10 e 100.
A simulao realizada com o UmFlow-2D, utilizou uma malha com 5.681 elementos
triangulares (h ~ 0,17 m). As simulaes mostrada nas figuras (6.13)- (6.16).

Velocidade

(m/s)

Figura 6.13: Placa retangular com contrao: campo de velocidade na direo x, R,e = 10.

Velocidade
-0.973

-0.683

-0.393

-0.102

0.1S8

(m/s)
0.479

0.769

106

Figura 6.14: Placa retangular com contrao: campo de velocidade na direo y, Re 10.

Captulo 6

Resultados Numricos e Validao do Ambiente de Simulao UmFlow-2D

Velocidade

(m/s)

Figura 6.15: Placa retangular com contrao: campo de velocidade na direo x, Re = 100.

Velocidade

(m/s)

Figura 6.16: Placa retangular com contrao: campo de velocidade na direo v, R,e = 100.

Figura 6.17: Placa retangular com contrao: vetores velocidade, R,e 100.
Pode-se observar nas regies dos cantos superior e inferior direito da primeira cavidade
uma recirculao, sendo ests maiores para Re = 100 do que para Re = 10.

6.5 Simulao em domnio com Geometria Curva


Esta seo apresenta a simulao numrica de um problema bidimensional num domnio
com geometria curva. A figura (6.18) mostra o domnio.
No incio da simulao o domnio esta completamente cheio com uma velocidade constante igual a u = 1.0 ms" 1 e fluido injetado na entrada do canal uma velocidade

62

6.5 Simulao em domnio com Geometria Curva


12 m

Figura, 6.18: Geometria do problema com geometria curva.


prescrita.
Para uma simulao do problema em questo, o seguinte modelo foi empregado:
Dimenso do domnio: 1,0 m x 12 m;
Dimetro do injetor (s): 1 m;
Velocidade de injeo (U): 1,0 ms" 1 ;
Parmetros de escala: Uscale = 1,0 m s - 1 Lscale = 1,0 m;
Nmero de Reynolds (Re): 1.0 e 100.
A simulao realizada com o UmFlow-2D, utilizou uma, malha com 4.845 elementos
triangulares (h ~ 0,10 m). Essas simulaes mostrada nas figuras (6.20)- (6.23).

Figura 6.19: Malha com 4.845 elementos, gerada pelo Easymesh.


Atravs das figuras, observa,-se uma recirculao na regio curva em menor escala para
Re = 1 e em maior escala para Re = 100, o que era esperado.

63

Captulo 6

Resultados Numricos e Validao do Ambiente de Simulao UmFlow-2D

Velocidade
0.00

0.198

0.396

0.S93

(m/s)
0.791

0.989

1.19

1.38

Figura 6.20: Problema com geometria curva: campo de velocidade na direo x, Re 1.

Velocidade
-0.564

-0.410

-0.256

-0.102

(m/s)
0.0524

0.207

0.361

0.515

Figura 6.21: Problema com geometria curva: campo de velocidade na direo y, Re 1.

-0.173

0.0450

Velocidade
0.263

0.481

(m/s)
0.699

0.916

1.13

1.35

Figura 6.22: Problema com geometria curva: campo de velocidade na direo x, R,e = 100.

64

6.5 Simulao em domnio com Geometria Curva

Figura 6.23: Problema com geometria curva: campo de velocidade na direo v, Re = 100.

Figura 6.24: Problema com geometria curva: vetores velocidade, Re 1.

Figura 6.25: Problema com geometria curva: vetores velocidade, Re 100.

65

Captulo 6

Resultados Numricos e Validao do Ambiente de Simulao UmFlow-2D

66

Consideraes
Finais
/

O objetivo desse trabalho de mestrado o desenvolvimento de um software de simulao,


que parte de um sistema de simulao integrado para escoamento de fluido incompressvel
bidimensional em malhas no estruturadas denominado UmFlow-2D. Com o desenvolvimento desse ambiente de simulao, d-se incio uma nova etapa de simulaes, sendo
agora possvel em domnios complexos que eventualmente se aproxima mais dos objetos
reais.
Para a implementao do mdulo de simulao foram utilizados o mtodo de diferenas
finitas generalizadas e uma estrutura de dados topolgica, SHE. Para, a soluo das equaes
governantes, foram utilizados o mtodo semi-lagrangeano e o mtodo da, projeo. O ambiente de simulao UmFlow-2D foi validado considerando-se o problema de escoamento de
fluido em um canal e foi realizada, simulao de escoamento de um fluido numa expanso
brusca. O primeiro problema aparece com frequncia, na, literatura, os resultados foram
comparados com as solues analticas o qual mostrou estar em concordncia,. Para, o escoamento numa, expanso brusca, os resultados foram comparados com os dados numricos
obtidos pelo FreeFlow-2D, os quais mostrou estar em concordncia,. Tambm foi realizadas
simulaes para, o problema da contrao 4:1 e um problema com geometria curva, os quais
se mostraram satisfatrios.
Em geral, pode ser concludo que as simulaes com o cdigo UmFlow-2D, foram satisfatrias. E uma, vantagem dessa, metodologia, atual a sua habilidade em simular escoamentos
em geometria, complexa,.
Acredita,-se que esses resultados podem ser melhorados pela incluso de mtodos alternativos para a discretizao de condies de contorno de sada de fluido e condies de
contorno da, equao de Poisson.
A extenso do UmFlow-2D para. simular problemas envolvendo superfcies livres um
dos objetivos para, continuidade deste trabalho. Escoamento de fluidos no Newtonianos e
viscoelsticos tambm esto entre os objetivos para extenso do UmFlow-2D.
Parte deste trabalho esto no IX Simpsio de Teses e Dissertaes, ICMC- USP So
Carlos - SP e foi submetido ao MECOM-2005, VIII Congreso Argentino de Mecnica, Computacional, cujo ttulo "A New Meshfree Approach".

67

Consideraes Finais

68

Referncias

Bibliogrficas

|Amsden and Harlow, 1970| Amsden, A. and Harlow, F. (1970). The smac method: a
numerical technique for calculating incompressible fluid low. Los Alam,os Scientific Laboratory, Report, LA, page 4370.
|Aris, 1962j Aris, R. (1962). Vectors, tensors, and the basic equation of fluid mechanics.
Dover.
|Armfield and Street, 2002| Armfield, S. and Street, R. (2002). An analysis and comparison of the time accuracy of fractional-step methods for the navier-stokes equations on
staggered grids. International Joitrnal for Num,eriai Methods in Fluids, 38:255-288.
|Ayac,hour, 2003| Ayachour, E. (2003). A fast implementation for gmres method. Journal
of Computational and Applied Mathematics, 159:269-283.
|Batchelor, 1970| Batchelor, G. (1970). An Introduction to Fluid Dynamics.
University Press, Cambridge.

Cambridge

|Bentley, 1986| Bentley, J. (1986). Programrning Pearls. Addison-Wesley, Reading, MA.


|Brandi, 20051 Brandi, A. C. (2005). Estratgias "upwind" e modelagem, n-e para simulao
numrica de escomantos com superfcies livres em. altos nmeros de Reynolds. Dissertao
de mestrado.
|Castelo et al., 2000| Castelo, A., Tom, M., C.N.L.Csar, S.McKee, and Cuminato, J.
(2000). Freeflow: An integrated simulation system for three-dimensionai free surfa.ce
flows. Computing and Visualization in Science, 2:199-210.
|Castro, 1995| Castro, J. B. (1995). Introduo engenharia de requisitosl,. In: XV Congresso da Sociedade Brasileira de Computao, JAI'95, page 43.
|Chapra and Canale, 1990| Chapra, S. C. and Canale, R. P. (1990). Numerical Methods for
Enginears, 2nd ed. McGraw-Hill International Editions, Applied Mathematics Series.
|Chorin, 1968| Chorin, A. (1968). Numerical solution of the navier-stokes equations. Mathematics of Computaton, 2:745-762.
|Courant et a l , 1967| Courant, R., Friedrichs, K., and Lewy, H. (1967). On the partia!
differential equations of mathematical physics. IBM Joxirnal Research and Development,
11:215-234.
69

Referncias Bibliogrficas
|Cuminato and Merieguctte, 1999| Cuminato, J. A. and Meneguette, A. (1999). Discretizao de Equaes Diferenciais Parciais: Tcnica de Diferenas Finitas. Em preparao.
|Cunha, 2000| Cunha, M. C. C. (2000). Mtodos Numricos. Editora Unicamp, Campinas.
|Doricio, 2003| Dorido, J. L. (2003). GENSMAC-SOF: Um, mtodo numrico para simular
escoam,entos incompressveis de fliiido de segunda ordem,. Biblioteca Digital de Teses e
Dissertaes-www.teses.usp.br, ICMC-USP-So Carlos, Brasil.
|Ferreira, 20011 Ferreira, V. G. (2001). Anlise e implementao de esquemas de conveco
e modelos de turbulncia para simulao de escoam,entos incompressveis envolvendo superfcies livres. Universidade de So Paulo, Tese de Doutorado, ICMC-USP.
jFerziger and Perle, 1999| Ferziger, J. H. and Perc, M. (1999). Computational Methods for
Fluid Dynamics. 2. Heidelberg, Springer-Verlag.
|Flec,ther, 1992| Flecther, C. A. (1992). Computational
delberg, Springer-Verlag.

Techniques for Fluid Flows. Hei-

|Fletc,her, 1975| Fletcher, R. (1975). Numerical Analysis Dundee. Springer-Verlag- Lectures


Notes in Mathematics, vol.506.
|Fortuna, 2000| Fortuna, A. O. (2000). Tcnicas Computacionais para Dinmica de Fluidos
- Conceitos Tericos e Aplicaes. Edusp, So Paulo.
|Gamma et al., 2000] Gamma, E.;Helm, R., R., J., and Vlissides, J. (2000). Padres de
projeto: solues reutilizveis de software orientado a objeto. Bookman.
|Golub and Loan, 1989| Golub, G. H. and Loan, C. F. V. (1989). Matrix
2nd e. Baltimore: Jonhs Hopkins Universaty Press.

Computations,

|Gossler, 20011 Gossler, A. (2001). Moving least-squares: A numerical differentation methods for irregularly spaced calculation points. Sandia technical Report, SAND2001.
|Gresho, 1990| Gresho, P. M. (1990). On the theory of semi-implicit projection methods for
viscous incompressible flow and its implemention via a finite element, method that also
introduces a nearly consistent mass matrix. International Journal for Num,eriai Method
in, Fluid, 11:587-620.
|Gresho and Chan, 1990] Gresho, P. M. and Cha,n, S. T. (1990). On the theory of
semi-implicit projection methods for viscous incompressible flow and its implemention
via a finite element method that also introduces a nearly consistent mass matrix. part, 2:
Implementa/tion. International Journal for Num,eriai Method in Fluid, 11:621-659.
|Griebel et a i , 1998| Griebel, M., Dornseifer, T., and Neunhoeffer, T. (1998). Num,eriai
Sim,ulation in Fluid Dynamics: A Practical Introduction. Society for Industrial and
Applied Mathematics - SIAM.
|Grossi, 2003J Grossi, L. (2003). Desenvolvimento de mtodos numricos para a sim,ulao
de escoam,entos no-neAutonianos e viscoelstico com, superfcie livre. Biblioteca Digital
de Teses e Dissertaes-www.teses.usp.br, ICMC-USP-So Carlos, Brasil.

70

Referncias Bibliogrficas
|Harlow and Welch, 1965J Harlow, F. and Welch, J. (1965). Numerical calculation of
time-dependent, viscous incompressible flow of fhiid with a free surfa.ce. Phys. Fluids,
pages 8:2182-2189.
|Hirt and Cook, 1972| Hirt, C. and Cook, J. (1972). Calculating three-dimensional flows
around structure and over rough terrain. Journal of Computational Physics, 10:324-340.
|Hirt and Nichols, 19711 Hirt, C. and Nichols, B. (1971).
Improved free surfa.ce
boundary-conditions for numerical incompressible-flow calculations. Journal of Computational Physics, 8:434-448.
|IEEE, 1994) IEEE (1994). IEEE Standards Collection. Software Engineering. IEEE, New
York - NY.
|Ja,nkowski, 19981 Jankowski, J. (1998). A non-hydrost.atic model for free surface flows.
Universitat Hannover.
|Jensen, 1972| Jensen, P. S. (1972). Finite difference techniques for variable grids. Computers and Structures, pages 2:17-29.
|Knut.h, 1968| Knuth, D. (1968). Fundamental Algorithms - The Art of Computer Programming. Addison-Wesley, Reading, MA.
|La,nczos, 1952| Lanczos, C. (1952). Solution of systems of linear equations by minimized
itera,tion. Journal Res. Nat. Bur. Standards, 49:33-53.
|La,pidus and Pinder, 1982| Lapidus, L. and Pinder, G. F. (1982). Num,eriai Solution of
Partial Differential Equations in Science and Engineering. A Wiley-Interscience Publica,tion, New York.
|Liska and Orkisz, 1980| Liska,, T. and Orkisz, J. (1980). The finite difference method
at arbitrary irregular grids and its application in applied mechanics. Computers and
Structures, pages 11:83-95.
|Lizier et a,L, 2003| Lizier, M. A. S., Nonato, L. G., Castelo, a,nd A. Oliveira,, M. C. F.
(2003). A topological aproa,ch for detecting and extra,cting 2d object, models from images,.
In: WICCGPI, SIBGRAPI 2003, So Carlos - SP, pages 10-17.
|Luo and Haussler, 2002| Luo, Y. and Haussler, U. (2002). A general finite-difference
method based on minimizing global residual. Comput. Methos Appl. Mech. Engrn, pages
191:1421-1438.
|Maliska,, 1995| Maliska, C. A. (1995). Transferncia de Calor e Mecnica dos Fluidos
Computacional. LTC Editora, - Rio de Janeiro.
|Marsha,ll and Grand, 1997| Marshall, J. and Grand, J. R. (1997). A lagra,ngia,n vorticity
collocation method for viscous, axisymmetric, flows with and without, swirl. J. Comput,.
Phys, 138:302-330.
|Mayrha,user, 1990| Mayrhauser, A. V. (1990). Software engineering: Methods and management,. Academic Press.

71

Referncias Bibliogrficas
Miyata and Masuko, 1985J Miyata. H. a,nd Masuko, A. (198.5). Finite-difference simulation of nonlinear waves generated by ships of arbitrary three-dimensional configuration.
Journal of Computai,ional Physics, 60:391-436.
Niceno, 20011 Niceno, B. (2001). Easymesh: a free two-dimensional quality mesh generator
based on delaunay triangulaton.
Oliveira, 19991 Oliveira, J. (1999). Desenvolvimento de um Sistema de Simulao de Escoamentos de Fluidos com, Superfcies livres Bidimensionais. Dissertao de mestrado,
ICMC-USP.
Paiva,, 2004| Paiva, D. M. B. (2004). Modelo de Qualidade de Software para Ambiente
Acadmico Envolvendo Elementos de Design Rationale. Instituto de Cincias Matemticas e de Computao - USP, Dissertao de mestrado, ICMC-USP.
Panton, 1984| Panton, R. L. (1984). Incompressible flow. John Wiley & Sons.
Patankar, 1980j Patankar, S. (1980). Num,eriai Heat, Transfer and Fluid Flows. Hemisphere Publishing Co.
Patankar a,nd Spalding, 19721 Patankar, S. and Spalding, D. (1972). A calculation procedure for heat, mass and momentum transfer in three-dimensional parabolic flow. International Journal of Heat and Mass Transfer, 15:1787-1806.
Perot, 1993] Perot, J. B. (1993). An analysis of the fractional step method. Journal of
Computational Physics, 108:51-58.
Perrone and Kao, 1975| Perrone, N. and Kao, R. (1975). A general finite difference method
for arbitrary mesh. Computers and Structures, pa.ges 5:647-664.
Peyret, and Taylor, 1983| Peyret, R. and Taylor, T. D. (1983). Computational Methods for
Fluid Flow. Springer-Verlag.
Pena, 2003j Pena,, D. (2003). Mtodo de diferenas finitas generalizadas por
quadrados. Dissertao de mestrado, ICMC-USP.

mnimos

Phillips and Williams, 20011 Phillips, T. and Williams, A. (2001). A semi-lagrangian finite
volume method for newtoniano contraction flows. SIAM Journal on Scientific Computing,
pages 22 (6):2152-2177.
Press et a,l., 1992] Press, W. H., Flannery, B. P., Teukolsky, S. A., and Vetterling, W. T.
(1992). Numerical Recipes in C : The Art, of Scientific Computing, 2nd ed. Cambridge University Press.
Pressman, 1994| Pressman, R. S. (1994). Software Engineering: a pract,itioner's approach.
European Edition, Rio de Janeiro.
Pressman, 2002| Pressman, R. S. (2002). Engenharia de Software. Mc,Gra,w-Hill Rio de
Janeiro, five edition.
Quarteroni et a i , 2000| Quarteroni, A., Sacco, R., and Salcri, F. (2000). Numerical Mathematics. Springer.

72

Referncias Bibliogrficas
|Sabatini, 2002| Sabatini, M. H. (2002).
Expanso do sistema
FREEFLOW3D
para escoamentos com, influncia a temperatura.
Biblioteca Digital de Teses e
Dissertaes-www.teses.usp.br, ICMC-USP-So Carlos, Brasil.
|Sa,ntos, 2002| Santos, F. (2002). Simulao numrica de escoamentos multifsicos utilizando o sistema Freeflow-2D. Biblioteca, ICMC-USP-So Carlos, Brasil, Dissertao
de mestrado, ICMC-USP.
|Shepard, 1968| Shepard, D. (1968). A two dimensional function for irregualarly spaced
data,. ACM National Conference.
|Silva, 2003| Silva, G. F. (2003). Simulao mimrica de escoamentos viscoelstieo com,
superfcie livre usando o ambiente FREEFLOW2D.
Biblioteca Digital de Teses e
Dissertaes-www.teses.usp.br, ICMC-USP-So Carlos, Brasil.
|Silva., 2005| Silva, M. A. (2005). Desenvolvimento de um, m,todo mim,erio para simular
escoamentos viscoelsticos axissimtricos com, superficies livres. Dissertao de mestrado,
ICMC-USP.
|Siquieri, 20021 Siquieri, R. (2002). Anlise e implementao de modelos No-Neuitonianos
no sistema Fre.eflow-2D.
Universidade de So Paulo, Dissertao de mestrado,
ICMC-USP.
|Sod, 1989j Sod, G. A. (1989). Num,eriai Methods in Fluid Dynamics-Initial
Boundary- Value. Problems. Cambridge, New York.

and Initial

|Sousa and Mangiavacchi, 2002| Sousa, F. and Mangiavacchi, N. (2002).


Simulao
Numrica de Escoamentos Multifsicos Usando o Sistema FreeFlow-3D. Dissertao de
mestrado, ICMC-USP.
|Stuart and Dochan, 19911 Stuart, E. R. and Dochan, K. (1991). An upwind differencing
scheme for the incompressible Navier-Stokes equations, volume 8. em Applied Numerical
Mathematics.
|Thomas, 1995| Thomas, J. W. (1995). Numerical Partial Differential Equations. Springer.
|Tom and McKee, 1994| Tom, M. F. and McKee, S. (1994). Gensmac: A computa,tional marker-and-cell method for free surface flows. Journal of Computational Physics,
110:171-186.
|Turine and Masiero, 1996| Turine, M. A. S. a,nd Masiero, P. C. (1996). Especificao de
Requisitos: Uma Introduo. Relatrio Tcnico, ICMC-USP-So Carlos, SP.
|Urena et al., 2001| Urena, F., Benito, J. J., and Alvarez, R. (2001). Mtodo adaptativo
para la resolucin de ecuaciones diferenciales en derivadas parciales de segundo ordem
utilizando diferencias finitas generalizadas. Aplicadou a Mathem,atiai Modelling., page
ref: MC/EM/AMM.2884.
|Viecelli, 1969| Viecelli, J. (1969). A method for including arbitrary externai boundaries in
the mar. incompressible fluid computing technique. Journal of Computational Physics,
4:543-551.

73

Referncias Bibliogrficas
|Vorst, 1992| Vorst, H. V. D. (1992). Bi-cgstab: a fast, and smoothly converging variant,
of bi-cg for the solution of nonsymmetric, linear systems. SIAM Journal Sei. Statist.
Comput., 13:631-644.
|Watson, 1976] Watson, G. (1976). Numerical analysis. Leciure Notes in
Springer, Berlin, 506:73-89.

74

Mathematics,

Você também pode gostar