MTODO DE ELEMENTOS FINITOS EN MALLAS NO ESTRUCTURADAS APLICADO A FLUJO COMPRESIBLE

Weht German, Giovacchini Juan Pablo, Sacco Carlos, DErrico Mario

a Dpto.

Mec. Aer., Facultad de Ingeniera, Instituto Universitario Aeronutico Av. Fuerza Area 6500 (IX5010JMX) Crdoba, Argentina. e-mail: gweht@iua.edu.ar, pgina web:

Palabras clave: CFD, Flujo compresible, Elementos Finitos Resumen En el siguiente trabajo se presenta la resolucin de las ecuaciones de Euler por el mtodo de los elementos nitos para dominios bidimensionales (2D). Para solventar los problemas de estabilidad de origen numrico se utilizo la formulacin ms utilizada en elementos nitos, el mtodo conocido como Streamline-Upwind/Petrov-Galerkin (SUPG). Que incluye el parmetro de estabilizacin conocido como , desarrollado por. Este mtodo es acompaado por un termino de captura de choque que provee estabilidad en el frente de onda. Para la discretizacion temporal se realizo un estudio comparativo entre mtodos de primer orden y de orden superior, para determinar el costo computacional en problemas sencillos y para los que requieren mayor presicion. En lo que respecta a resultados, primeramente, se analizo aquellos ejemplos que dan de alguna manera cuan efectivo es el cdigo. Los dems problemas fueron formulados con el n de evaluar los alcances del software, y resolver ejemplos de aplicaciones practicas para ujo transnico e hipersnico.

1.

INTRODUCCIN

El mtodo de elementos nitos es ampliamente utilizado en problemas gobernados por sistemas de ecuaciones hiperblicas no lineales, un problema importante dentro de este grupo, son las ecuaciones de la dinmica de uidos que utilizadas para modelar el movimiento de un ujo compresible no viscoso, conocidas como las ecuaciones de Euler de la dinmica de los gases. De la naturaleza no lineal de las ecuaciones de Euler se obtienen soluciones discontinuas caracterizadas por presencias de choques. Estas discontinuidades dan origen a inestabilidades numricas creando oscilaciones en la solucin, que en ocasiones causan la divergencia de la solucin. Muchas formulaciones o mtodos de estabilizacin se han propuesto desde los comienzos de la mecnica computacional con motivo de atenuar las oscilaciones y asegurar la convergencia a una solucin que presente discontinuidades. Los primeros algoritmos de estabilizacin utilizados en el mtodo de elementos nitos (an utilizados en la actualidad), son en general extensiones de los mtodos de estabilizacin utilizados en tcnicas de diferencias nitas desarrollados. Los mtodos de estabilizacin utilizados en problemas de ujo compresible tienen asociado un trmino para estabilizar efectos de adveccin dominante, ms un trmino de estabilizacin para contemplar efectos de discontinuidades o efectos de choque. En este trabajo se utiliza una tcnica de estabilizacin SUPG (Streamline Upwind Petrov-Galerkin) similar a la de alto orden presentada en [5] para estabilizar la presin en problemas de ujo incompresible. Este mtodo evalua un parmetro de estabilizacin denominado tiempo intrnseco, el cual juega un rol fundamental en la estabilizacin, se utiliza una formulacin para el tiempo intrnseco presentada en [3, 4]. El mtodo de captura de discontinuidades que se utiliza, es un esquema similar al presentado en [9], donde se determina un parmetro escalar denominado pressure switch el cual se anula cuando la variacin de presin es lineal, y toma valor unitario en zonas de discontinuidades. Se adopta un esquema de discretizacin temporal explcito el cual presenta la ventaja de permitir un orden de discretizacin arbitrario, pudiendo comparar entre diferentes mtodos de resolucin temporal. Se implementaron varios mtodos, entre ellos, el mtodo de Euler explcito o forward Euler, y esquemas basados en mtodos de Runge-Kutta propuestos en [10] donde se presentan los coecientes de manera que el orden de precisin pueda incrementarse sistemticamente, dando versatilidad al algoritmo propuesto. El contenido de este trabajo por seccin es el siguiente: en la seccin 2 se presentan las ecuaciones de Euler de la dinmica de uidos compresibles no viscosos, se obtenien las ecuaciones en una forma conservativa cuasi-lineal, que resulta de utilidad en el anlisis de problemas de ujo compresible en mecnica computacional. En la seccin 3 se presentan el mtodo de estabilizacin y captura de discontinuidades utilizados. En la seccin 4 se muestra la ecuacin de conservacin de momento discretizada aplicando mtodo de residuos ponderados de Galerkin para su implementacin en elementos nitos. En la seccin 5 se presentan las discretizaciones temporales utilizadas junto con algunos resultados encontrados respecto a la implementacin de las mismas. La seccin 6 muestra algunos resultados encontrados utilizando el algoritmo propuesto aplicado a ejemplos clsicos para comprobar la precisin del cdigo, se comparan tambien algunos resultados tericos de inters.

2.

ECUACIONES DE LA DINMICA DE FLUIDOS

Las ecuaciones de la dinmica de uidos consideradas, son las ecuaciones de Euler, las cuales son un caso particular de las ecuaciones de Navier-Stokes en las que no se consideran efectos viscosos ni transferencia de calor. Las ecuaciones de Euler de la dinmica de uidos respresenta un sistema de leyes de conservacin no lineal hiperblico, expresan la conservacin de la masa, momento, y energa de un uido compresible no viscoso

 ( v) + ( v v) + p = 0 t ( E) + ( Hv) = 0 t

+ ( v) = 0 t

(1) (2) (3)

donde , v, p, E y H = E + p/ son la densidad, velocidad, presin, energa total por unidad de masa, y entalpa de estancamiento respectivamente. Considerando un gas ideal politrpico, se tiene la siguiente ecuacin de estado, la cual brinda una relacin adicional necesaria para que el sistema de ecuaciones quede determinado: p = ( 1) E |v|2 2

(4)

donde es la relacin de calores especcos, se adopta = 1,4 para aire. Introduciendo un vector U de variables conservativas, las ecuaciones de conservacin 1,2, y 3 pueden escribirse en forma compacta utilizando los vectores de ujo advectivo F (U )i donde para el caso 2D que se analiza i = 1, 2 corresponde a los ejes x1 , x2 respectivamente. Utilizando una notacin compacta, se obtiene el siguiente sistema en leyes de conservacin:
3 U Fi + F (U ) = 0 ; donde F (U ) = t i=1 xi

(5)

donde:

U =

u1 u2 u3 E

; Fi =

ui u1 ui + p1i u2 ui + p2i u3 ui + p3i Hui

(6)

Siguiendo la metodologa de [1], expresando (5) como un sistema en forma cuasi-lineal se tiene:

U U + Ai =0 t xi
donde los Ai =
Fi U

(7)

se denominan jacobianos advectivos, esta ecuacin se discretizar para obtener las

expresiones correspondientes utilizando la formulacin en elementos nitos. Los jacobianos advectivos para el caso tres dimensional se presentan en forma desarrollada en las ecuaciones (8) y (9) siguientes: 0 u 2 u2 1 u1 u2
2

A1 =

E u1 E u 2 0 u2 u1

1 (3 ) u1 u2
2

0 u2 u1 1 u1 (3 )u2
2

0 0 0 0

(8)

u2 u1 u2 u1 1

A2 =

0 u1 u2 u 2 u2 2
2

(9)

E u2 u1 u2 E u 2

u2 u2 2

donde = 1 . 3. 3.1. ESQUEMA DE ESTABILIZACIN Y CAPTURA DE DISCONTINUIDADES. Algoritmo de estabilizacin

Con motivo de estabilizar el trmino convectivo en forma consistente, asegurando que la solucin del problema en el lmite de la discretizacin sea solucin de la ecuacin diferencial, se utilizaron en los ltimos aos varias tcnicas de estabilizacin. Una de las ms utilizadas es la formulacin SUPG propuesta inicialmente en [2] con ampliacin en [3] y [4], la cual garantiza que las oscilaciones espureas existentes en las zonas de elevados gradientes, oscilaciones intrnsecas al algoritmo numrico utilizado, no se propagen a todo el dominio computacional. Bsicamente, el mtodo de SUPG consiste en adicionar un trmino a la ecuacin variacional de Galerkin (ecuacion) que contemple una contribucin elemento a elemento dependiendo del residuo local de la ecuacin diferencial (ecuacion). La idea de adicionar este trmino puede identicarse con la adicin de viscosidad articial para simular los efectos de la viscosidad fsica sobre la discontinuidad, atenuando su efecto en el resto del dominio de anlisis donde los gradientes son despreciables. En este trabajo se utiliza una formulacin SUPG de alto orden basada en la estabilizacin de la presin presentada en [5] para ujo incompresible. Esta formulacin, considera el trmino de estabilizacin como una proyeccin ortogonal del trmino clsico de SUPG en el espacio de elemento nito. La expresin del trmino de estabilizacin es: U Aj (10) Ai xi xj donde es un vector que surge de la formulacin utilizada denido por:

= Ai

U xi

(11)

es un parmetro de estabilizacin denominado matrz de tiempo intrnseco, este juega un rol fundamental en la tcnica de estabilizacin. debe desaparecer cuando el mallado es renado, de hecho, la convergencia es afectada con el comportamiento asinttico de . En este trabajo se adopta una formulacin de estabilizacin denominada(SU PG)82 propuesta en [3]. Las expresiones que denen a se obtienen de [3, 4, 7] y se presentan a continuacin:
1 r

i SUPG =

1
i sugn1 r

1
i sugn2 r

; i = , u, e

(12)

asociados con , u y e respectivamente. Los parmetros involucrados en (12) propuestos en [3, 4, 7] son:
sugn1

u sugn1

e sugn1

a=1

nen

c | j Na | + u Na
h

(13) (14)

u e sugn2 = sugn2 = sugn2 =

t 2

donde j es un vector unitario denido por:

j=

(15)

donde Na son las funciones de forma utilizadas (se adoptan funciones de interpolacin lineales), c es la velocidad del sonido, y t es el paso de tiempo determinado por criterios de estabilidad del trmino convectivo. El parmetro r, denominado r switch, adopta generalmente el valor r = 2. 3.2. Algoritmo de captura de discontinuidades

Como se mencion en la seccin anterior, el mtodo SUPG es ampliamente utilizado debido que las resultados obtenidos son precisos y libre de oscilaciones en gran parte del dominio computacional, salvo en regiones donde ocurren discontinuidades, presentando oscilaciones espureas (overshooting y undershooting) localizadas en las regiones cercanas a las discontinuidades. Estas oscilaciones son de origen numrico, usualmente de pequea magnitud pero inaceptables en muchas aplicaciones. Varios trminos introduciendo difusin articial en forma isotrpica o anisotrpica en las regiones cercanas a las discontinuidades han sido propuestas a ser introducidas en la formulacin SUPG los cuales al menos reducen las oscilaciones locales. Este procedimientos se denomina captura de discontinuidades o capturas de choque. El problema bsico de todos estos mtodos es encontrar la cantidad apropiada de difusin la cual provea las menores oscilaciones (difusin articial no demasiado pequea) con una precisin sucientemente elevada (difusin articial no demasiado grande). Los algoritmos de captura de discontinuidades son utilizados para disminuir las oscilaciones numricas producidas en zonas cercanas a las discontinuidades en la solucin, las cuales en ocasiones se dispersan en todo el dominio de anlisis. La idea principal del tratamiento numrico de ondas de choque o discontinuidades, es la introduccin de un trmino de viscosidad articial adicional en las ecuaciones de conservacin. Hay varias tcnicas para introducir trminos representativos y adicionar disipacin en el esquema numrico, los cuales involucran parmetros introducidos en ocasiones de forma ad-hoc. De los primeros mtodos en utilizar tcnicas de captura de discontinuidades en las ecuaciones de Euler, es el mtodo de presin pseudo-viscosa introducido en [8]. El trmino de captura de discontinuidades utilizado en este trabajo, comentar sobre el trabajo de codina se utiliza un mtodo similar al desarrollado en [9] donde se adiciona viscosidad de manera anisotrpica utilizando expresiones de los residuos de las ecuaciones. El trmino de captura de discontinuidades es:

xi

U xj

(16)

donde a es un coeciente de difusin articial que debe elegirse de manera adecuada. Surgen diferentes forma de obtener este parmetro de una manera adecuada, tal que el efecto del trmino adicional de difusin solo tenga efecto en la zona a las discontinuidades sin introducir perturbaciones en el resto del dominio de anlisis. La expresin utilizada para determinar el trmino de viscosidad adicional es:

a = h (|u| + c) Se I

(17)

donde es un coeciente adimensional, u es el vector de velocidad, y c es la velocidad del sonido. Se es un parmetro denominado pressure switch, el cual se obtiene de promediar sobre el elemento en cuestin, los valores nodales Si obtenidos de la siguiente ecuacin: Si = |e (pi pk )| e |pi pk | (18)

Puede vericarse de la ecuacin anterior que Si = 1 cuando la presin tiene un mximo (o mnimo) local en el nodo ni , y Si = 0 cuando la presin en el nodo ni es el promedio del valor de la presin en todos los nodos nk adyacentes. 4. IMPLEMENTACIN EN ELEMENTOS FINITOS

De las ecuaciones de la dinmica de uidos en forma conservativa (7), considerando los trminos asociados a la formulacin de estabilidad (10) y captura de discontinuidades (16), se obtiene la siguiente ecuacin resultado de la formulacin adoptada:

U U U + Ai Ai a Aj t xi xi xj xi

U xj

=0

(19)

Dada la ecuacin (19) anterior, aplicando el mtodo de residuos ponderados de Galerkin y debilitando la ecuacin resultante, se obtiene la siguiente expresin:

U d + N t
T

U N Ai d + xi
T

NT U Ai A j xj xi

d +

NT U a xj xi

d = 0 (20)

las matrices , a , Ai y K i j son constantes elementales evaluadas como promedio en el centroide del rea elemental. Cabe aclarar que en la formulacin no se consideran trminos fuentes....lo cual simplica las condiciones de borde del problema. Se utiliza un esquema de discretizacin explcito, con motivo de evaluar precisin y convergencia se adoptan diferentes mtodos para evaluar el trmino temporal. 5. ESQUEMA DE DISCRETIZACIN TEMPORAL

De los mtodos de discretizacin temporal en los esquemas explcitos depende la precisin y estabilidad de la solucin del problema a resolver, por tal motivo se llev a cabo la implementacin de diferentes mtodos para evaluar su comportamiento. Trabajar con esquemas explcitos permite una eleccin arbitraria del orden de precisin, utilizando esta ventaja, se implement el mtodo de Euler explcito o forward Euler, y un mtodo de Runge-Kutta propuesto en [10], el cual permite variar el orden de aproximacin adoptando los coecientes de manera sistemtica. Para representar lo dicho anteriormente se propone resolver dos ejemplos, una rampa y el caso del perl Naca 0012 a = 0. Hay que tener en cuenta, que para que el anlisis sea valido es necesario que las condiciones de borde sean las mismas y sobre todo que la malla sea la misma. Bsicamente lo que se realizo es modicar la discretizacin temporal cambiando el paso de integracin hasta que la solucin diverge y se adopta como paso temporal al ultimo al cual la solucin convergi. Mediante una modicacin en el codigo, se toma el tiempo de CPU y se grca el orden de Runge-Kutta en abscisas y el tiempo de CPU en ordenadas. Para el caso de la rampa se pidi que la convergencia sea de por lo menos de 1012 , cabe destacar que el error se calcula con la ecuacin de energa. Las condiciones de borde son : Vx = 1020,0 m (M = 3), T = 288,3 K, = 1,225 Kg , = 1,4. Se s m3 realizaron simulaciones para Euler explcito, RK de orden 2,3 y 4 obteniendo los siguientes resultados:

100

Caso: Rampa
80

Tiempo [seg]

60

40

RK Orden 1

RK Orden 2

RK Orden 3

20

Runge-Kutta

Figura 1: Tiempo de CPU en funcin de la integracin temporal, para el ejemplo de la rampa.

Se ve que el menor tiempo corresponde a RK de 2do orden. Esto se puede explicar comentando que el caso resuelto no tiene demasiada complejidad. Para el caso del perl Naca, siendo este un problema ms complejo, se adopta que la convergencia sea de 4 x106 . En este caso se quiere mostrar como es posible bajar el tiempo de CPU utilizando mtodos de mayor orden.
35

Caso: Naca 0012

30

25

Tiempo [min]

20

15

10

Figura 2: Tiempo de CPU para el caso del perl Naca 0012, en funcin del mtodo de integracin temporal.

Queda claro que para problemas donde se necesita mayor precisin en la solucin, los mtodos de orden superior, como se muestra en la gura 2, pueden minimizar el costo computacional en forma signicativa. 6. 6.1. RESULTADOS
TUBO DE CHOQUE

El problema del tubo de choque, un problema bsico de Riemann, ampliamente utilizado para comparar resultados obtenidos mediante esquemas numricos aplicados a problemas en mecnica de uidos compresibles. Este problema, caracterizado por variaciones 1D, presenta solucin exacta. Un tubo de choque es bsicamente un problema donde el dominio de anlisis es dividido mediante una memebrana ideal, esta hace de interfaces entre parmetros fsicos y/o qumicos diferentes. La solucin del problema consiste en determinar la evolucin de las condiciones del uido en el dominio de anlisis al quitar la

Runge-Kutta 4 Runge-kutta

Forward Euler

RK Orden 4

membrana permitiendo interaccion entre ambas partes del dominio. Las condiciones de anlisis a izquierda y derecha de la discontinuidad se presentan en la tabla 1 debajo:

l 1.0

ul 0.0

pl 1.0

r 0.125

ur 0.0

pr 0.1

Cuadro 1: Condiciones de anlisis a izquierda y derecha de la discontinuidad, Sod test problem [1].

La solucin consiste en una expansin del lado izquierdo, una onda de choque a la derecha separadas por una discontinuidad de contacto. En el procedimiento de clculo se realizaron 800 pasos, equivalentes a 0,187 pasos de tiempo para el solver de Riemman exacto. Los resultados obtenidos se contrastan con la solucin exacta en la gura 3.

Figura 3: Comparacin de resultados obtenidos con la solucin exacta del problema de Riemann, condiciones iniciales presentadas en gura 1. Las grcas muestran Densidad, Presin y Velocidad para 0,187 pasos de tiempo.

Como se puede observar en las grcas anteriores, los resultados encontrados presentan una correlacin aceptable respecto a la solucin exacta, encontrando algunas incongruencias en las zonas donde ocurren discontinuidades. En estas zonas se observa undershoot y overshoot debidos al algoritmo de captura de discontinuidades. 6.2. R AMPA
DOBLE

El problema de la rampa doble, un caso de ondas de choque oblicuas, es de utilidad para comparar resultados, ya que el mismo tiene solucion analtica exacta para el caso en dos dimensiones. Se resuelve el problema de la rampa doble con el motivo de evaluar la interaccin entre ondas de choque y la discontinuidad tangencial generada por la interseccin de estas. Las condiciones de anlisis en este caso corresponden a M = 3, T = 288,3 K, = 1,225 Kg . La geometra de la rampa doble se puede obserm3 var en la gura 4, donde la misma se compone de una rampa a 15 grados, y otra sucesiva a 30 respecto de la horizontal. Se divide el dominio de anlisis en tres zonas segn se muesta en la gura 4, con motivo de presentar los resultados con mayor claridad. Los resultados obtenidos, comparados con la solucin exactas se muestran en la tabla 2 a continuacin:

M1 3 3 2.25 2.24 3 3

[]
32.25 32.5 40.42 40.2 52 53.1

P2

Kg m2

T2 [K] 400 401 517.2 519.2 578.5 579.5

Kg m3

M2 2.25 2.24 1.67 1.66 1.41 1.4

Mtodo Exacta CFD Exacta CFD Exacta CFD Zona 1 Zona 2 Zona 3

2.858 2.856 6.621 6.645 6.439 6.548

2.49 2.48 4.46 4.46 3.88 3.93

Cuadro 2: Comparativa de resultados obtenidos con CFD y las soluciones analticas exactas del problema de rampa doble.

Figura 4: Resultados obtenidos con el esquema propuesto para las condiciones M = 3, T = 288,3 K, = 1,225 Kg , se muestran valores de densidad, presin y nmero de Mach en el dominio de anlisis. El esquema m3 superior izquierdo numera las zonas a las que se hace referencia en la tabla 2.

Se puede observar de la gura 4, las dos inferiores muestran la distribucin de densidad y nmero de Mach en el dominio presentando una discontinuidad entre las zonas 2 y 3. Esta discontinuidad, denominada de contacto presenta una discontinuidad de velocidad tangencial, nmero de Mach, y en consecuencia de la temperatura respecto al lmite que divide las dos zonas consideradas, no ocurre esto con la presin en el dominio. 6.3. C ILINDRO
A

M ACH 36

Este ejemplo, tiene como propsito mostrar la aplicacin a ujo hipersnico del esquema en elementos nitos propuesto, con este problema ejemplo se evalua un caso a elevados nmeros de Mach pudiendo evaluar el comportamiento del algoritmo de estabilizacin. En los casos analizados no se consideran efectos de gas real, adoptando constante la relacin de calores especcos . Los resultados presentados se obtuvieron con 20000 pasos de tiempo y con un factor de seguridad = 0,2, las condiciones de anlisis impuestas son: Vx = 12250,0 m (M = 36), T = 288,3 K, = s 1,225 Kg , = 1,4. 3 m

Figura 5: Resultados obtenidos con el esquema propuesto para las condiciones Vx = 12250,0 m (M = 36), T = s 288,3 K, = 1,225 Kg , = 1,4. Se muestran resultados de densidad, temperatura y numero de Mach, junto con 3 m la zona correspondiente a regimen de ujo subsnico.

En la gura 5 se observa, debido a la forma roma del cuerpo y las condiciones de anlisis, la onda de choque se separa del cuerpo, dando origen a zonas con regimen de ujo subsnico y supersnico. A modo de comentario, en la dcada del 50 este problema fue un desao para los cientcos de la poca ya que existe una zona de regimen de ujo subsnica y otra supersnica, regimenes gobernados

por ecuaciones elptico para el caso subsnico y ecuaciones hiperblicas para el caso supersnico con el inconveniente de no conocer el lmite de transicin. Este problema fu resuelto por Gino Moretti, discretizando el problema en el tiempo, con lo cual todo el sistema se vuelve hiperblico. Gino Moretti trabajo en la Fabrica Militar de Aviones, fue profesor en la UNC, EIA (actual IUA) en la dcada del 50. 6.4. P ERFIL NACA 0012
A

M=0.85.

El perl NACA 0012 es unos de los perles ms estudiados y analizados, ya sea en ensayos experimentales en tnel de viento as como en aplicaciones en problemas de mecnica computacional. Se realiza el anlisis del perl a = 0o de ngulo de ataque a M = 0,85, regimen correspondiente a ujo transnico. Al tratarse de un caso transnico, deben imponerse condiciones de borde en la salida del ujo. Se muestran en la gura 6 los resultados obtenidos de densidad, presin y nmero de Mach, tambin se muestra una grca del coeciente de presiones sobre el perfl y contornos de presin.

Figura 6: Resultados obtenidos con el esquema propuesto para las condiciones M = 0,85, se presentan resultados de distribucin de densidad, presiones, nmero de Mach, y distribucin de coecientes de presiones sobre el perl.

7.

CONCLUSION

Como puede apreciarse en la seccin anterior, los resultados arrojados por el esquema utilizado son aceptables. Queda mejorar el algoritmo de captura de discontinuidades, ya que varios de los resultados muestran inestabilidades en las proximidades de las ondas de choque. En lo que respecta a discretizacion temporal se puede concluir que es importante contar con la posibilidad de cambiar el orden de integracin para poder resolver problemas en forma rapida y sobre todo con buena presicion, sin tener un elevado csto computacional. Tambien se hace mensin que se trabaja en la aplicacion a ujos hipersnicos

REFERENCIAS [1] Toro E. F., Riemann Solvers and Numerical Methods for Fluid Dynamics: A Practical Introduction, 2nd Ed, Springer, Berlin, 1999. [2] Tezduyar T. E., Hughes T. J. R., Development of time-accurate nite element techniques for rst-order hyperbolic systems with particular emphasis on the compressible Euler equations, NASA Tech. Rep. NASA-CR-204772, NASA, 1982, disponible desde: <http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19970023187_1997034954.pdf>. [3] Tezduyar T. E., Determination of the stabilization and shock-capturing parameters in SUPG formulation of compressible ows, ECCOMAS 2004. [4] Tezduyar T. E., Masayoshi S., Stabilization and shock-capturing parameters in SUPG formulation of compressible ows, Comp. Methods Appl. Mech. Engrg. 195 (2006) 1621-1632, Elsevier, 2005. [5] Soto O., Lhner R., Cebral J., Codina R., A time-accurate implicit-monolithic nite element scheme for incompressible ow problems, ECCOMAS 2001. [6] Tezduyar T. E.,Hughes T.J.R., Finite element methods for rst-order hyperbolic systems with particular emphasis on the compressible Euler equations, Comp. Meth. Appl. Mech. Eng. 45 (1984) 217-284, North-Holland, 1984. [7] Tezduyar T. E., Sathe S., Stabilization parameters in SUPG and PSPG formulations, Journal of Comp. Appl. Mech. Eng., Vol. 4, N1 (2003), pp. 71-88. [8] Neumann J., Richtmyer R.D., A method for the numerical calculations of hydro-dynamical shocks, J. Math. Phys., 21, 232-237 (1950). [9] Codina R., A discontinuity capturing crosswind dissipation for the nite element solution of the convection-difussion equation, Comp. Meth. Appl. Mech. Eng., 110, 325-342 (1993). [10] Lhner R., Applied computational uid dynamics techniques: An introduction based on nite element method, 2nd Ed., John Wiley and Sons, 2008.