SOLUÇÃO DE EQUAÇÕES DIFERENCIAIS ACOPLADAS PELA TÉCNICA DE TRANSFORMADA INTEGRAL E COMPUTAÇÃO SIMBÓLICA. Francisco Edmundo de Andrade
|
|
- Mauro Paixão Salazar
- 7 Há anos
- Visualizações:
Transcrição
1 SOLUÇÃO DE EQUAÇÕES DIFERECIAIS ACOPLADAS PELA TÉCICA DE TRASFORMADA ITEGRAL E COMPUTAÇÃO SIMBÓLICA Francsco Edmundo de Andrade DISSERTAÇÃO SUBMETIDA À COORDEAÇÃO DO CURSO DE PÓS- GRADUAÇÃO EM CIÊCIA DA COMPUTAÇÃO, COMO REQUISITO PARCIAL PARA A OBTEÇÃO DO GRAU DE MESTRE PELA UIVERSIDADE FEDERAL DO CEARÁ Fortaleza - CE, 996
2 SOLUÇÃO DE EQUAÇÕES DIFERECIAIS ACOPLADAS PELA TÉCICA DE TRASFORMADA ITEGRAL E COMPUTAÇÃO SIMBÓLICA Francsco Edmundo de Andrade Dssertação apresentada ao curso de pós-graduação em Cênca da Computação da Unversdade Federal do Ceará, como parte dos requstos para a obtenção do grau de Mestre em Cênca da Computação. Aprovada em 6 de dezembro de 996.
3 AGRADECIMETOS a) Ao Professor Júlo Wlson Rbero, por sua objetvdade e companhersmo sempre presentes na transmssão cogntva e por seu empenho na orentação deste trabalho; b) Aos Professores Mkhal D. Mkhalov, da Techncal Unversty (Sofa, Bulgára), e Renato M. Cotta (COPPE-UFRJ), por suas valosas contrbuções acadêmcas; c) Aos Professores do Mestrado em Cêncas da Computação, Laboratóro de Intelgênca Artfcal (LIA), Laboratóro de Métodos umércos (LaM) e Departamentos de Computação, Físca e Matemátca, pelo ncentvo e apoo prestados à realzação deste trabalho; d) A João B. Furlan (aluno de Doutorado/Físca), Francsco Heron e Leonardo Abreu (bolsstas de IC), por suas nestmáves contrbuções; e) À FUCAP, pela concessão de mnha bolsa de Mestrado; f) Ao CPq / BRITISH COUCIL, pela moderna nfra-estrutura computaconal dsponblzada e apoo bblográfco conceddos; g) À mnha esposa Elene, por sua pacênca e motvação nspradoras; h) Ao Crador Unversal, pela vda, saúde, entendmento...
4 SUMÁRIO. Introdução.... Revsão Bblográfca Técnca de Transformada Integral Computação Smbólca...7. Formalsmos.... Técnca de Transformada Integral..... Solução Clássca da Equação Dferencal Parcal Parabólca..... Solução Geral do Sstema de EDPs Parabólcas Acopladas Procedmento Adaptatvo.... Algortmo Matemátco GITT para Solução de Problemas de Dfusão Aplcação a um Problema de Transferênca Smultânea de Calor e Massa Resultados e Dscussão Conclusões e Sugestões... 6 Apêndce A Implementação Smbólca do Algortmo Matemátco GITT... 6 Apêndce B Exemplos de Utlzação do Package GITT usando Mathematca... 7 REFERÊCIAS BIBLIOGRÁFICAS... 77
5 LISTA DE FIGURAS Pág.. Lstagem dos argumentos de entrada para o algortmo matemátco GITT Prmero passo do algortmo matemátco GITT Passos a 5 do algortmo matemátco GITT Passos 6 e 7 do algortmo matemátco GITT Esquema de secagem de um meo caplar poroso sotrópco submetdo a condções de contorno de segundo tpo em X=0 e prmero tpo em X= Dstrbuções admensonas de temperatura, θ (X,τ), durante o processo de secagem, obtdas para o problema undmensonal, adotando-se Tol=0-5 ; =M=0; Lu=0,4; Pn=0,6; ε=0, e Ko=5, Dstrbuções admensonas de umdade, θ (X,τ), durante o processo de secagem, obtdas para o problema undmensonal, adotando-se Tol=0-5 ; =M=0; Lu=0,4; Pn=0,6; ε=0, e Ko=5, Dstrbuções admensonas de temperatura durante o processo de secagem, obtdas para o problema undmensonal, varando-se Ko e adotando-se Tol=0-5 ; =M=0; Lu=0,4; Pn=0,6 e ε=0, Dstrbuções admensonas de umdade durante o processo de secagem, obtdas para o problema undmensonal, varando-se Ko e adotando-se Tol=0-5 ; =M=0; Lu=0,4; Pn=0,6 e ε=0, Dstrbuções admensonas de temperatura durante o processo de secagem, obtdas para o problema undmensonal, varando-se Lu e adotando-se Tol=0-5 ; =M=0; Pn=0,6; ε=0, e Ko=5, Dstrbuções admensonas de umdade durante o processo de secagem, obtdas para o problema undmensonal, varando-se Lu e adotando-se Tol=0-5 ; =M=0; Pn=0,6; ε=0, e Ko=5, Dstrbuções admensonas de temperatura durante o processo de secagem, obtdas para o problema undmensonal, varando-se Pn e adotando-se Tol=0-5 ; =M=0; Lu=0,4; ε=0, e Ko=5, Dstrbuções admensonas de umdade durante o processo de secagem, obtdas para o problema undmensonal, varando-se Pn e adotando-se Tol=0-5 ; =M=0; Lu=0,4; ε=0, e Ko=5, Dstrbuções admensonas de temperatura durante o processo de secagem, obtdas para o problema undmensonal, varando-se ε e adotando-se Tol=0-5 ; =M=0; Lu=0,4; Pn=0,6 e Ko=5, Dstrbuções admensonas de umdade durante o processo de secagem, obtdas para o problema undmensonal, varando-se ε e adotando-se Tol=0-5 ; =M=0; Lu=0,4; Pn=0,6 e Ko=5,
6 LISTA DE TABELAS Pág. 4. Comportamento da convergênca numérca e resultados de referênca para as dstrbuções admensonas de temperatura (τ=0,0; 0,04 e,0), adotando-se Tol=0-5 ; Lu=0,4; Pn=0,6; ε=0, e Ko=5,0. A coordenada admensonal τ representa o tempo físco do processo Comportamento da convergênca numérca e resultados de referênca para as dstrbuções admensonas de umdade (τ=0,0; 0,04 e,0), adotando-se Tol=0-5 ; Lu=0,4; Pn=0,6; ε=0, e Ko=5,0. A coordenada admensonal τ representa o tempo físco do processo... 50
7 OMECLATURA A (t) Coefcente da sére de expansão, defndo na equação (.). B k Operador lnear, defndo nas equações (.4.,j). K(x) Coefcente dfusvo, defndo na equação (..a). K k (x) Coefcentes dfusvos, defndo nas equações (.4.g,h). Ko úmero de Kossovtch, defndo na equação (3..a). L k Operadores lneares, defndo nas equações (.4.g,h). Lu úmero de Lukov, defndo na equação (3..b). M Ordem de truncamento. Ordem de truncamento. j orma, defnda na equação (.6). k ormas, defndas nas equações (.7.a,b). P(x,t) Termo fonte ou sumdouro, defndo na equação (..a). P k (x,t,t (x,t),t (x,t)) Termos fonte ou sumdouro, defndo nas equações (.4.a,b). Pn úmero de Posnov, defndo na equação (3..b). T(x,t) Potencal, defndo na equação (..a).
8 T k (x,t) Potencas, defndos nas equações (.4.a,b). T ( t) Potencal transformado, defndo na equação (.7.a). T k ( t) Potencas transformados, defndo nas equações (.6.a,b). X Coordenada espacal admensonalzada, defnda na equação (3..a). c Coefcente defndo na equação (3.5.). c Coefcente defndo na equação (3.5.j). c 3 Coefcente defndo nas equações (3.6.c,d). c 4 Coefcente defndo nas equações (3.6.c,d). c 5 Coefcentes, defndo na equação (4..j). d(x) Termo convectvo, defndo na equação (..a). d k (x) Termos convectvos, defndo nas equações (.4.g,h). f(x) Dstrbução ncal do potencal, defndo na equação (..b). f k (x) Dstrbução ncal dos potencas, defndo nas equações (.4.c,d). f Valor ncal do potencal transformado, defndo na equação (..b). f k Valor ncal dos potencas transformados, defndo nas equações (.8.c,d). g ( t ) Termo fonte transformado, defndo na equação (.0.b). g ( t, T ( x, t), T ( x, t)) Termos fonte transformados, defndo nas equações (.8.e,f). k
9 g * Termo fonte transformado, defndo nas equações (.9.e). g * Termo fonte transformado, defndo nas equações (.9.f). t Coordenada temporal, defnda na equação (..a). w(x) Coefcente capactvo, defndo na equação (..a). w k (x) Coefcentes capactvos, defndo na equação (.4.a,b). x Sstema de coordenadas espacas, defndo na equação (..a).
10 SÍMBOLOS GREGOS α(x) Coefcente da condção de contorno, defndo na equação (..c). α k (x) Coefcentes da condção de contorno, defndo nas equações (.4.,j). β(x) Coefcente da condção de contorno, defndo na equação (..c). β k (x) Coefcentes da condção de contorno, defndo nas equações (.4.,j). ε Crtéro de mudança de fase do líqudo no nteror do meo poroso, defndo na equação (3..a). θ (X,τ) Dstrbução de temperatura admensonal, defndo na equação (3..a). θ P (X) Dstrbução de temperatura admensonal, para o estado estaconáro, defndo nas equações (3..a,b). θ H (X,τ) Dstrbução de temperatura admensonal, para o problema homogêneo assocado, defndo na equação (3.3.a). θ ( τ ) Dstrbução de temperatura admensonal transformada, defndo na equação (3.0.a). θ (X,τ) Dstrbução de teor de umdade admensonal, defndo na equação (3..a). θ P (X) Dstrbução de teor de umdade admensonal, para o estado estaconáro, defndo nas equações (3..a,b). θ H (X,τ) Dstrbução de teor de umdade admensonal, para o problema homogêneo assocado, defndo na equação (3.3.b).
11 θ ( τ ) Dstrbução de umdade admensonal transformada, defndo na equação (3..a). µ I-ésmo autovalor do problema auxlar, defndo na equação (.3.a). µ k I-ésmo autovalor do problema auxlar, defndo nas equações (.5.a,b). µ I-ésmo autovalor do problema auxlar, defndo na equação (3.6.a). µ I-ésmo autovalor do problema auxlar, defndo na equação (3.7.a). τ Tempo admensonal (número de Fourer), defndo na equação (3..a). φ(x,t) Termo fonte da equação da condção de contorno, defndo na equação (..c). φ k (x,t,t (x,t),t (x,t)) nas equações (.4.e,f). Termos fonte das equações da condção de contorno, defndo ψ(µ,x) I-ésma autofunção do problema auxlar, defnda na equação (.3.a). ψ k (µ k,x) I-ésma autofunção do problema auxlar, defnda nas equações (.5.a,b). ψ (µ,x) I-ésma autofunção do problema auxlar, defnda na equação (3.6.a). ψ (µ,x) I-ésma autofunção do problema auxlar, defnda na equação (3.7.a).
12 SUPERESCRITOS Indcador de varável ou valor transformado. SUBESCRITOS,j Ordem das autoquantdades ou índce de lnha e coluna, respectvamente. k=, Relaconado com temperatura e umdade, respectvamente. P Solução de regme permanente (estado estaconáro). H Relatvo ao problema homogêneo.
13 RESUMO O uso conjugado de métodos híbrdos analítco-numércos e computação smbólca permte o desenvolvmento de novas técncas para o tratamento de sstemas de equações dferencas parcas acopladas. As equações de Lukov para transferênca smultânea de calor e massa em meos caplares porosos são analtcamente tratadas através do uso da técnca de transformada ntegral generalzada (GITT) e recursos de computação smbólca. este tratamento de caráter genérco evta-se a escolha de problemas auxlares assocados acoplados, elmnando-se a eventual ocorrênca de autovalores complexos. Isto é consegudo adotando-se um par de problemas auxlares desacoplados, do tpo Sturm- Louvlle, para a temperatura e umdade. Para efeto de aplcação desta técnca, buscou-se na lteratura uma varante do problema de Lukov onde as condções de contorno são do prmero e segundo tpos. Determnam-se as dstrbuções de temperatura e umdade no nteror do meo poroso, as quas são obtdas segundo os formalsmos nerentes à GITT na forma de séres de expansão de autofunções. Para efeto de mplementação computaconal, foram obtdas duas soluções numércas, sendo a prmera com o uso de Fortran e IMSL, e a segunda, va o Mathematca. estas, utlza-se precsão prescrta e trunca-se, a uma ordem fnta, o sstema dferencal ordnáro transformado, o qual é resolvdo numercamente através do uso de subrotnas bem estabelecdas de bblotecas matemátcas dsponíves. Os resultados obtdos nas duas soluções são comparados e constata-se que os mesmos são numercamente dêntcos. Para valdar estes resultados, desenvolve-se através dos formalsmos da GITT a solução exata do problema utlzando computação smbólca. Os resultados são crtcamente comparados aos anterores, valdando-os. Obtém-se um conjunto de resultados de referênca e avala-se a nfluênca de parâmetros termofíscos no comportamento do processo de secagem.
14 ABSTRACT The combned use of hybrd analytcal numercal methods and symbolc computaton creates new technques to solve systems of coupled partal dfferental equatons. The Lukov s equatons for smultaneous heat and mass transfer n capllary porous bodes are analytcally handled through applcaton of the generalzed ntegral transform technque (GITT) and the use of symbolc computaton. Coupled auxlary problems, whch eventually could nvolve the occurrence of complex egenvalues, are completely avoded and, alternatvely, two uncoupled egenvalue problems for temperature and mosture are chosen, whch are of the conventonal Sturm-Louvlle type. To show an applcaton, a Lukov problem wth boundary condtons of frst and second knd was chosen. Followng the GITT formalsms, the temperature and mosture dstrbutons are represented by egenfuncton seres. Two numercal solutons are computatonally obtaned, the frst one uses Fortran and IMSL, the other uses Mathematca. Prescrbed precson s adopted to truncate the denumerable transformed ordnary system whch s numercally solved through wdely avalable scentfc subroutne lbrares. The results obtaned are compared and t s observed that they are numercally dentcal. An exact soluton to valdate the prevous results s obtaned by usng GITT and symbolc computaton. It s observed that the new results have the same numercal values of the other solutons. A set of benchmark results s generated and fnally the nfluence of the thermophyscal parameters on the behavor of the dryng process s analyzed.
15 CAPÍTULO Introdução Um dos grandes desafos para a smulação computaconal dreconada ao desenvolvmento centífco-tecnológco consste na descoberta de novos procedmentos, objetvando mnmzar determnadas restrções apontadas na lteratura contemporânea: longo tempo de processamento, precsão lmtada, convergênca lenta e enorme esforço despenddo na elaboração e expansão de algortmos numércos [0]. O desenvolvmento da engenhara aeroespacal, de novos materas supercondutores, da tecnologa de fbra ótca e da prevsão meteorológca são típcos desafos atuas. Para smular os processos físcos envolvdos, uma extensa cadea deve ser percorrda, destacando-se: o estudo e refnamento das les governantes, modelos matemátcos assocados e desenvolvmento de novas técncas computaconas para tratamento analítco e numérco. O aprmoramento de metodologas para solução de sstemas de equações dferencas acopladas certamente contrburá para o avanço tecnológco dos países em desenvolvmento, permtndo a obtenção de materas e produtos de alta qualdade, a custos reduzdos. o níco da década de sessenta, durante o período da corrda espacal, vsando mnmzar o esforço empregado na elaboração de cálculos, a Rússa e outros países do Leste Europeu proporconaram um grande avanço no desenvolvmento e aplcação de métodos analítcos (séres e transformadas). Concomtantemente, Estados Undos e Europa concentravam-se no desenvolvmento de métodos denomnados puramente numércos (dferenças fntas e elementos fntos). Posterormente, os cálculos desenvolvdos no ocdente requstavam um crescente esforço computaconal, enquanto que as metodologas do Leste Europeu concentravam bastante esforço em extensas manpulações analítcas. Isto permaneceu até meados da década de setenta [0].
16 Anda nessa década, pesqusadores dos blocos supractados se unram, buscando encontrar novas alternatvas para tratamento e solução de equações dferencas, através de metodologas sstemátcas, ctando-se como resultado deste esforço a recém-avançada técnca de transformada ntegral generalzada (GITT) [03,04]. Trata-se de um método híbrdo analítco-numérco que se destna a produzr códgos computaconas mas efcentes que os obtdos a partr dos métodos puramente numércos. Uma das razões é a característca de se preservar no códgo fonte nformações analítcas explíctas do problema físco. A evolução dos sstemas de computação smbólca vablzam anda mas o nvestmento em métodos analítco-numércos. A utlzação do Mathematca, um software de últma geração que reúne recursos de computação smbólca, possblta o desenvolvmento de programas com manpulação automátca de expressões analítcas, segundo conjuntos de regras defndas à pror pelo usuáro. Incorpora também uma poderosa lnguagem smbólca para o desenvolvmento de programas avançados, ntegrando dferentes paradgmas de programação, tas como: programação procedural, funconal, lógca e orentada a objetos. Estes recursos favorecem o desenvolvmento de aplcações em ntelgênca artfcal tas como: prova de teoremas, robótca, reconhecmento de padrões e sstemas especalstas. Entre númeras extensões da técnca de transformada ntegral, aplcada a problemas de dfusão, destacam-se o tratamento e solução do problema parabólco de secagem proposto por Lukov [05,06] que, devdo aos fortes acoplamentos exstentes em suas versões lnear e não lnear, fo apontado na lteratura até recentemente como não atratvo do ponto-de-vsta analítco e numérco, segundo as técncas de solução empregadas no ocdente [07,08,09]. O presente trabalho concentra-se no desenvolvmento de um algortmo matemátco que utlza a técnca de transformada ntegral e recursos de computação smbólca para tratamento e solução de um problema parabólco generalzado fortemente acoplado. Para aplcação numérca, adota-se uma varante do problema de Lukov [0], representado por
17 3 um par de equações dferencas parcas acopladas, um par de equações de valor ncal e um conjunto de condções de contorno não homogêneas. Determnam-se as dstrbuções de temperatura e teor de umdade em função das coordenadas espacas e temporal, que representam a solução do ctado problema. O modelo proposto é resolvdo por três maneras dstntas. A prmera consste na aplcação da GITT, para obter uma solução numérca aproxmada, com uma tolerânca de erro prescrta, através de algortmos codfcados em Fortran, com chamadas à rotna DIVPAG do pacote IMSL Math/Lbrary, cuja função é fornecer uma solução numérca aproxmada para o sstema de EDOs transformado. Além dsso, fo construído um algortmo para controle automátco do erro global e redução do tempo de processamento, utlzando o método adaptatvo sugerdo na lteratura [04]. A segunda decorre da aplcação automatzada da GITT, fazendo-se uso de recursos de computação smbólca em conjunto com chamadas à função embutda DSolve do Mathematca, a qual fornece uma solução numérca aproxmada para o sstema de EDOs transformado. A tercera, que produz a solução analítca completa do problema, consste na aplcação da GITT seguda da solução analítca do sstema transformado de EDOs, o que é consegudo com o auxílo dos recursos de computação smbólca do Mathematca. As soluções obtdas para os três casos são comparadas. O problema de Lukov é de fundamental mportânca para a análse e o controle do processo de secagem de almentos, e para o processamento ndustral de produtos metalúrgcos, cerâmcos, farmacêutcos, etc. [07,08,0,,] A GITT permte transformar analtcamente sstemas de EDPs parabólcas em sstemas de equações dferencas ordnáras (EDOs), o que reduz a dependênca das varáves ndependentes a uma únca varável. Em outras palavras, a GITT é capaz de gerar um problema bem mas smples, que pode ser tratado por ferramentas analítcas ou numércas, reduzndo sgnfcatvamente o esforço computaconal para obtenção de sua solução.
18 4 Fnalmente, com base nos resultados numércos obtdos, é feta uma análse geral do processo de secagem com apresentação gráfca dos perfs de dstrbução de temperatura e teor de umdade no nteror do meo caplar poroso. Apresentam-se Tabelas para explctar as excelentes taxas de convergênca das séres de expansão das autofunções.. Revsão Bblográfca.. Técnca de Transformada Integral Vsando resolver equações dferencas parcas (EDPs) a prncípo não tratáves pela teora clássca de separação de varáves, Özsk e Murray propuseram em 974 [0] uma nova abordagem que elmnava a necessdade do problema ser separável à pror, nascam assm os prncípos báscos da técnca de transformada ntegral. Em 984, Mkhalov e Özsk publcaram o prmero lvro generalzando os formalsmos da técnca de transformada ntegral clássca (CITT) [03], segundo um tratamento unfcado de números problemas assocados à dfusão de calor e massa, dstrbuídos em sete classes. Durante a década de otenta, houve uma sére de extensões da técnca para aplcação a dversos problemas encontrados na lteratura, que eram anterormente resolvdos por métodos denomnados puramente numércos como dferenças fntas, elementos fntos e volumes fntos [,,3,4,5,6]. Resolvendo-se tas problemas por transformada ntegral, através de metodologa sstemátca e controle prescrto de erro, observou-se o aparecmento de uma sére de vantagens [04,7]: a) Redução do tempo de processamento; b) Aceleração na taxa de convergênca numérca; c) Inexstênca de malhas;
19 5 d) Obtenção de soluções benchmark. Em 993, Cotta publcou o segundo lvro sobre a técnca de transformada ntegral [04], apresentando uma revsão dos formalsmos clásscos, estendendo-a para a solução de problemas não lneares, e propondo mecansmos para melhorar a efcênca da solução numérca. A partr de então, convenconou-se chamar de Generalzed Integral Transform Technque (GITT) à conjunção entre a CITT e suas mas recentes extensões. a presente década, a computação smbólca vem sendo utlzada como ferramenta no desenvolvmento dos formalsmos analítcos de GITT [0,8]. Com sso, a exaustva manpulação de formulações analítcas passou a ser tarefa do computador, amplando-se cada vez mas as fronteras de GITT para o tratamento analítco, solução numérca e vsualzação gráfca de sstemas de EDPs não lneares acopladas. Genercamente, segundo os formalsmos de GITT, para solução de um problema, utlza-se um par transformada-nversa e um problema auxlar assocado que ncorpora característcas analítcas dos operadores do problema orgnal. A elmnação de varáves ndependentes, por meo de operadores de ntegração aproprados, permte a obtenção de um sstema de equações dferencas ordnáras, denomnado sstema transformado, que é truncado para ser resolvdo analítca ou numercamente. A ordem de truncamento é seleconada de acordo com a precsão prescrta desejada. Se o sstema transformado apresentar solução analítca, esta pode ser obtda automatcamente através de sstemas de computação smbólca; caso contráro, uma solução numérca deve ser obtda através de algortmos computaconas dsponíves em dversas bblotecas de subrotnas centífcas, tas como o IMSL [9]. As aplcações de GITT em cênca e tecnologa podem ser resumdamente agrupadas da segunte forma: a) Problemas que apresentem coefcentes varáves em suas equações governantes, onde se destacam as publcações de Mkhalov [0], Özsk [], Cotta [,], Leroz [] e
20 6 Aparecdo []. Tas problemas são fundamentas para análse de aletas com dsspação tempo-dependente e escoamento com desenvolvmento smultâneo em canas. b) Problemas que apresentem coefcentes varáves em suas condções de contorno, onde se destacam as publcações de Özsk [0,4,3], Murray [0], Yener [3], Cotta [3,4,4] e Santos [4,4]. Tas problemas são fundamentas para análse de condução de calor com número de Bot tempo-dependente e convecção nterna em dutos aletados externamente. c) Problemas que apresentem contornos varáves, onde se destacam as publcações de Özsk [5,5,6], Guçer [5], Lete [6], Verguese [6], Cotta [5,6,7,8,9,30], Aparecdo [5,6,8,9,30] e Dnz [8]. Tas problemas são fundamentas para análse de mudança de fase e oxdação em fronteras móves e controle do escoamento e transferênca de calor em dutos rregulares relaconados a projetos de trocadores de calor compactos. d) Problemas cujo tratamento envolva problemas auxlares de dfícl solução. Tas problemas são classfcados de acordo com a natureza dos problemas auxlares assocados: problemas de autovalor acoplados: Mkhalov [03,08,3], Özsk [03,3], Shshedjev [3], Rossen [33], Hayakawa [33], Cotta [08,,3], Rbero [08,], Lobo [34], Guedes [3] e Scofano eto []. problemas de Sturm-Louvlle que apresentem varável de uma transformada de Laplace: Cotta [35] e Özsk [35]. problemas de Sturm-Louvlle que apresentem funções complexas: Cotta [36,37,38], Özsk [36], Kakaç [38] e L [38]. problemas de Sturm-Louvlle não clásscos: Bayaztoglu [39] e Özsk [39].
21 7 sstemas de Sturm-Louvlle não separáves: Aparecdo e Cotta [40]. Tas problemas são aplcados na análse de trocadores btubulares, processo de secagem, convecção nterna forçada peródca e transente, transferênca de calor em escoamentos com efetos de condução axal e convecção nterna em dutos retangulares. e) Problemas não lneares caracterzados pela presença de equações cujos termos fonte e/ou condções de contorno dependem do potencal a ser obtdo (Cotta [4,4,43] e Serfaty [4,43]). Tas problemas são aplcados na análse de condução de calor com condutvdade térmca varável, condções de contorno com troca radante, processo de secagem não lnear, equações de camada lmte e aver-stokes... Computação Smbólca Hstorcamente, a computação smbólca surgu da necessdade de se atrbur à máquna a cansatva tarefa de manpular algebrcamente extensas expressões matemátcas, a fm de permtr aos nteressados o estudo e análse de modelos cada vez mas complexos. A máquna analítca, dealzada por Charles Babbage em 8, devera processar com rapdez dados numércos e até smbólcos, desde que adequadamente representados. Entretanto, fo necessáro pouco mas de um século até o surgmento dos prmeros computadores eletrôncos nos anos quarenta, que auxlavam no tratamento de problemas aplcados a cênca e tecnologa (C&T), baseando-se na utlzação de métodos puramente numércos [44]. Somente alguns anos depos, surgu o nteresse em se tratar automatcamente problemas com dados smbólcos, justfcando a utlzação de procedmentos analítcos pelo emprego do racocíno automátco [44]. As prmeras referêncas documentadas sobre o uso da manpulação de símbolos por computador datam de 953 [44,45,46]. Durante a década de cnqüenta, surgram programas computaconas capazes de manpular polnômos, resolver equações e calcular dervadas de funções. Em 966 houve as duas prmeras conferêncas sobre cálculo smbólco, ocorrdas em Washngton e Psa [44]. o níco da
22 8 década de 70, já exstam programas computaconas que ntegravam funções analtcamente e, ao fnal da mesma, outros surgram para a solução smbólca de equações dferencas e ntegras [44]. A partr de então, vêm sendo mplementados uma sére de programas para aplcação generalzada em processamento smbólco. Os sstemas de computação smbólca (SCS), conhecdos anterormente como sstemas de computação algébrca (computer algebra systems), são programas que oferecem ao usuáro uma ampla dversdade de recursos de computação smbólca, numérca e gráfca. Incalmente foram dsponblzadas versões para computadores de grande porte, que atendam aos requstos de memóra desses sstemas. Devdo à rápda evolução dos mcrocomputadores nas duas últmas décadas, hoje encontram-se dsponíves versões para estas plataformas. Dentre os SCS mas utlzados atualmente, destacam-se: Mathematca, Maple e MATLAB [8,44,47]. Tradconalmente, a computação smbólca é utlzada para execução automátca de operações de artmétca, álgebra e cálculo avançado [44,47,48]. Alado a sto, um grande número de funções matemátcas se encontram mplementadas nos SCS, o que aumenta consderavelmente o potencal aplcatvo. Mutos SCS permtem que se defnam novas funções matemátcas a partr das operações e funções já dsponíves. As operações artmétcas realzadas pelos SCS envolvem soma, subtração, multplcação, dvsão e potencação, sendo possível se obterem tanto soluções exatas como aproxmadas, com precsão prescrta pelo usuáro, lmtada apenas pela memóra do computador utlzado [44,48]. Por exemplo, a solução exata de 00 é o número , enquanto sua solução aproxmada, com precsão de vnte dígtos, é dada pelo valor, x úmeros raconas e complexos também podem ser representados de manera exata, como na expressão (/7)+(3/7)-( ), que resulta no número raconal 57/9 ou anda, com uma aproxmação de vnte dígtos de precsão, no valor, As funções matemátcas, quando utlzadas, são mantdas em sua forma smbólca até o momento em que o usuáro
23 9 requste resultados numércos. Este é o caso da expressão ( 3 / 3 )+e Ln (Sn(0)), cuja solução exata é dada smbolcamente por 3 +Sn(0) e a solução numérca, com uma aproxmação de trnta dígtos de precsão, é dada pelo valor, As operações algébrcas realzadas pelos SCS envolvem transformações de expressões contendo varáves (ncógntas). Es alguns exemplos: a) Fatoração de x +x+ resulta em (x+) ; b) Expansão de (x+) 5 resulta em x 5 +5x 4 +0x 3 +0x +5x+; c) Fatoração do denomnador comum de x x x + + x resulta em x + 3x ( x + )( x ) ; d) Separação a denomnadores smples de x + y x y resulta em + ; x y e) Solução de sstemas de equações; f) Extração de raízes de polnômos. As operações de cálculo avançado realzadas pelos SCS envolvem dferencação, ntegração, cálculo de lmtes, cálculo vetoral, representação em séres de Taylor, entre outras. Estes recursos vêm sendo utlzados sstematcamente no tratamento de números problemas aplcados a C&T [0,8,47]. Como exemplo das últmas tendêncas em SCS, cta-se o Mathematca, que fo lançado em 988 pela Wolfram Research, Inc. Permte a ntegração dos recursos de computação numérca, smbólca e gráfca, dentro de um ambente de programação totalmente heterogêneo que oferece recursos de programação declaratva, funconal, procedural, baseada em regras ou strngs, orentada a lstas e orentada a objetos [48]. O Mathematca proporcona a cração de documentos nteratvos, relatóros e artgos técncos
24 0 com qualdade de mpressão tpográfca, além de possur versões para dferentes plataformas e sstemas operaconas, dentre eles: MS-Wndows, Macntosh, Lnux, Unx, EXTSTEP e IBM OS/.
25 CAPÍTULO Formalsmos. Técnca de Transformada Integral.. Solução Clássca da Equação Dferencal Parcal Parabólca Mkhalov e Özsk [03] apresentaram soluções unfcadas para sete classes dferentes de problemas lneares transentes, relatvos à transmssão de calor e massa, fazendo uso da técnca de transformada ntegral. Posterormente, problemas generalzados não lneares foram ncorporados ao elenco de aplcações dessa técnca [04], cujos fundamentos são apresentados a segur com a solução do segunte problema lnear parabólco de Classe I [03], defndo numa regão fnta V, com superfíce de contorno S: T( x, t) w( x) t = K( x) T( x, t) d( x) T( x, t) + P( x, t), x V, t > 0 (..a) com condção ncal T( x, t) = f ( x), x V, t = 0 (..b) e condções de contorno T( x, t) α( x) T( x, t) + β( x) K( x) = φ( x, t), x S, t > 0 (..c) n onde T(x,t) é o potencal a ser obtdo (temperatura, concentração, etc.); w(x), K(x) e d(x) são coefcentes da equação de dfusão (..a) cujo termo não homogêneo P(x,t) representa uma fonte ou sumdouro; α(x) e β(x) são coefcentes prescrtos da equação de contorno (..c) cujo termo φ(x,t) expressa as nformações de contorno não homogêneas; / n
26 corresponde à dervada na dreção normal e externa à superfíce de contorno S; x e t são varáves ndependentes que representam as coordenadas espacas e temporal, respectvamente. Incalmente, admte-se a representação do potencal T(x,t) através de uma expansão de autofunções da forma T( x, t) = A ( t) ψ ( µ, x) = (.) onde as autofunções ψ(µ,x) são obtdas a partr da adoção do segunte problema auxlar: µ w( x) ψ ( µ, x) = K( x) ψ ( µ, x) d( x) ψ ( µ, x), x V (.3.a) com condções de contorno ψ ( µ, x) α( x) ψ ( µ, x) + β( x) K( x) = 0, x S (.3.b) n cujos termos preservam nformações contdas nas equações (..a) e (..c), desprezando-se os termos não homogêneos: P(x,t) e φ(x,t). O problema auxlar apresentado é um problema de autovalor do tpo Sturm- Louvlle, que possu as seguntes propredades [49]: a) os autovalores µ são reas, postvos e podem ser dspostos em ordem crescente de valor tal que µ <µ <µ 3 <µ 4 <... (.4.a) b) as autofunções ψ(µ,x) assocadas aos autovalores µ obedecem à relação de ortogonaldade w( x ) ψ ( µ, x ) ψ ( µ j, x ) dv = 0, j. (.4.b) V
27 3 Os coefcentes de expansão, A (t), na equação (.), são obtdos aplcando-se o operador w( x) ψ ( µ, x) dv, conforme mostrado abaxo: V j V w( x) ψ ( µ j, x) T( x, t) dv = A ( t) w( x) ψ ( µ j, x) ψ ( µ, x) dv = V (.5.a) Utlzando-se na equação anteror a relação de ortogonaldade das autofunções, apresentada na equação (.4.b), encontra-se: A j ( t) = w( ) ( j, ) T(, t) dv x ψ µ x x V j (.5.b) onde j é a ntegral de normalzação, ou smplesmente norma, defnda por: = w( x)[ ψ ( µ, x)] dv j V j (.6) As equações (.) e (.5.b) permtem a defnção do par de transformação ntegral, o qual é composto pelas fórmulas de transformada e de nversão, respectvamente: T ( t) = w( ) (, ) T(, t) dv / x ψ µ x x V (.7.a) T( x, t) = ψ ( µ, x) T ( t) / = (.7.b) Os potencas transformados T ( t) são obtdos através da solução do sstema dferencal ordnáro decorrente da elmnação da dependênca de x na equação (..a), conforme apresentado a segur.
28 4 Aplca-se o operador dv / ψ ( µ, x) sobre a equação (..a), obtendo-se: V dt ( t) dt = (, )[ K( ) T(, t) d( ) T(, t) + P(, t)] dv / ψ µ x x x x x x (.8) V De manera smlar, aplca-se o operador T t dv / ( x, ) sobre a equação (.3.a), V o que resulta: µ T ( t) = T( x, t)[ K( x) ψ ( µ, x) d( x) ψ ( µ, x )] dv (.9) / V Subtrando-se, membro a membro, as equações (.8) e (.9), encontra-se o segunte sstema dferencal ordnáro desacoplado: dt ( t) + µ T ( t) = g ( t), t > 0, =,,... (.0.a) dt onde g ( t) é defnda por g ( t) = / [ (, ) K( ) T(, t) T(, t) K( ) (, )] dv + ψ µ x x x x x ψ µ x V + / V ψ ( µ, x) P( x, t) dv (.0.b) A prmera ntegral de volume da equação (.0.b) é transformada em uma ntegral de superfíce através da fórmula de Green, resultando: g T( x, t) ψ ( µ, x) ( t) = / K( )[ (, ) T(, t) ] ds + x ψ µ x x S n n + / V ψ ( µ, x) P( x, t) dv (.0.c)
29 5 O prmero ntegrando da equação (.0.c) é desenvolvdo algebrcamente, combnando-se as equações de contorno (..c) e (.3.b), de forma a se obter: ψ ( µ, x) ψ ( µ, x) K( x) T( x, t) ψ ( µ, x) K( x)[ ψ ( µ, x) T( x, t) ] = φ ( x, t ) n n n α( x) + β( x) (.) Combnando as equações (.0.a), (.0.c) e (.), obtém-se um sstema transformado que apresenta a segunte formulação: dt ( t) + µ T ( t) = g ( t), t > 0, =,,... (..a) dt onde g ( t) é expressa por g ψ ( µ, x) (, ) K( ) ψ µ x x ( t) = / (, t) ds + φ x n S α( x) + β( x) + / V ψ ( µ, x) P( x, t) dv (..b) As condções ncas requerdas para solução do sstema transformado devem ser determnadas transformando-se a condção ncal, equação (..b), o que é feto utlzandose a defnção do potencal transformado (.7.a): T ( 0) = w( ) (, ) T(, 0) dv w( ) (, ) f ( ) dv / x ψ µ x x = V / x ψ µ x x (..c) V
30 6 A solução analítca do sstema transformado, representado pelas equações (..a), (..b) e (..c), é expressa por: t µ t µ r T ( t) = e f + e g ( r) dr 0 (..a) onde f = w f dv ( x) ψ ( µ, x) ( x) / V (..b) Aplcando-se a equação (..a) sobre a fórmula de nversão, dada pela equação (.7.b), encontra-se a segunte formulação explícta para o potencal T(x,t): (, x) t t r T( x, t) = e / f + e g ( r) dr ψ µ µ µ 0 = (.3) Para uma certa precsão prescrta e uma determnada ordem de truncamento, a sére (.3) converge com menos termos à medda que cresce o valor da coordenada temporal. Este fato mostra que o uso de aproxmações analítcas tende a dmnur consderavelmente o custo computaconal da solução em relação aos métodos puramente numércos, tas como dferenças fntas e elementos fntos.
31 7.. Solução Geral do Sstema de EDPs Parabólcas Acopladas Consderando recentes extensões aos fundamentos clásscos da técnca de transformada ntegral [04,07,8], são apresentadas nesta seção os formalsmos assocados à solução do segunte sstema parabólco acoplado não lnear, defndo em uma regão fnta V, com superfíce de contorno S e para k=,: w k Tk ( x, t) ( x) t = L T ( x, t) + P ( x, t, T ( x, t), T ( x, t)), x V, t > 0 (.4.a,b) k k k com condções ncas T ( x, t) = f ( x), x V, t = 0 (.4.c,d) k k e condções de contorno B T ( x, t) = φ ( x, t, T ( x, t), T ( x, t)), x S, t > 0 (.4.e,f) k k k defnndo-se os operadores lneares L k e B k pelas expressões L K ( x) + d ( x ) (.4.g,h) k k k B α ( x) + β ( x) K ( x) n k k k k (.4.,j) onde T k (x,t) são os potencas a serem obtdos. P k (x,t,t (x,t),t (x,t)) e φ k (x,t,t (x,t),t (x,t)) ncorporam os termos não homogêneos, não lneares e de acoplamento presentes no sstema. Os demas termos são dêntcos aos do problema de Classe I, defndo pelas equações (..a,b,c).
32 8 Segundo os formalsmos da GITT, empregam-se os mesmos procedmentos descrtos na seção anteror para o problema de Classe I. Sem perda de generaldade, defnem-se os problemas auxlares desacoplados, os pares de transformação ntegral e o sstema transformado, relatvos ao sstema de equações parabólcas acopladas em objeto [07], os quas são lstados a segur: a) Problemas auxlares (k=,) µ w ( x) ψ ( µ, x) = L ψ ( µ, x), x V (.5.a,b) k k k k k k k com condções de contorno B ψ ( µ, x) = 0, x S (.5.c,d) k k k A escolha de problemas auxlares desacoplados consttu um mportante passo, pos evta defntvamente o aparecmento de eventuas autovalores complexos [04,07,,50]. b) Pares de transformação ntegral (k=,) fórmulas de transformada: T k ( t) = / wk ( ) k ( k, ) T(, t) dv x ψ µ x x (.6.a,b) V k fórmulas de nversão: T k ( x, t) = / ψ k ( µ k, x) T k ( t) (.6.c,d) = k onde k são as ntegras de normalzação, ou smplesmente normas, defndas por: = w ( x)[ ψ ( µ, x)] dv k V k k k (.7.a,b)
33 9 c) Sstema transformado acoplado (k=,) dt k ( t) + µ k T k ( t) = g ( t, T (, t), T (, t)), t >, =,,... k x x 0 (.8.a,b) dt com condções ncas T k ( 0) = f = w f dv k / k ( ) k ( k, ) k ( ) x ψ µ x x (.8.c,d) V k onde g ( t, T ( x, t), T ( x, t)) são funções defndas por k g ( t, T t T t P t T t T t dv k ( x, ), ( x, )) = / k k k ψ ( µ, x) ( x,, V ( x, ), ( x, )) + k ψ k ( µ k, x) (.8.e,f) ψ k ( µ k, x ) Kk ( x) + / k ( x, t, T (, t), T (, t)) ds S x x n φ α ( x) + β ( x) k k k Uma vez que as equações (.8.e,f) dependem dos valores dos potencas T (x,t) e T (x,t) ao longo do contorno S, dependendo do tpo da condção do contorno do problema governante, será necessáro uma análse de convergênca nesta regão. A aplcação dreta das fórmulas de nversão, defndas pelas equações (.6.c,d), é possível, porém não consttu a melhor alternatva, uma vez que a sére converge mas lentamente próxmo ao contorno S. Isto acontece por que as autofunções não obedecem às condções de contorno não homogêneas do sstema orgnal. Outras alternatvas foram desenvolvdas [0,,7], vsando melhorar a taxa de convergênca numérca da solução. A título de demonstração, serão utlzadas as fórmulas de nversão defndas nas equações (.6.c,d). Sem perda de generaldade, o sstema transformado assume a segunte forma:
34 0 sstema transformado acoplado dt ( t) + µ T ( t) = g *, t > 0, =,,... dt (.9.a) dt j ( t) + µ j T j ( t) = g * j, t > 0, j =,,... dt (.9.b) com condções ncas T ( 0) = f (.9.c) T j ( 0) = f j (.9.d) onde g * = g ( t, T n ( t), T m ( t)), n, m =,,... (.9.e) g * j j = g ( t, T n ( t), T m ( t)), n, m =,,... (.9.f) As equações (.9.a-d) formam um sstema nfnto de equações dferencas ordnáras não lneares acopladas. A solução deste sstema, que é expressa em termos dos potencas transformados T ( t) e T j ( t), pode ser obtda numercamente após o truncamento do mesmo em uma ordem fnta (sufcentemente grande para uma certa tolerânca prescrta de erro). Com o truncamento, o sstema nfnto é reduzdo à ordem de xm equações ordnáras acopladas. Para truncar as equações (.9.a,b) lmta-se a quantdade de autovalores µ e j µ, com =,,... e j=,,...,m. Para truncar as equações (.9.e,f) lmta-se a quantdade de potencas transformados T n ( t) e T m ( t), com n=,,..., e m=,,...,m.
35 Com base nas equações (.9.c-d), determnam-se os valores ncas do sstema truncado: f, com =,,...,, e f j, com j=,,...,m. As fórmulas de nversão defndas nas equações (.6.c,d) são truncadas em e M termos, respectvamente. Para encontrar a ordem de truncamento (valores M e ) que satsfaz a tolerânca prescrta de erro, basta verfcar a convergênca numérca das séres de expansão de autofunções (fórmulas de nversão) após sucessvas varações na ordem de truncamento do sstema transformado.
36 ..3 Procedmento Adaptatvo O procedmento adaptatvo [04] permte o desenvolvmento de algortmos com controle automátco do erro global, através de seleção adaptatva da ordem de truncamento das fórmulas de nversão, o que reduz sensvelmente o tempo de CPU. Consdere-se a escolha de um valor ncal superestmado para a ordem de truncamento do problema de valor ncal ordnáro transformado. Efetua-se então a prmera ntegração numérca sobre o ntervalo t 0 a t, onde t 0 corresponde ao níco do processo e t é o prmero estágo a ser alcançado. A natureza analítca da fórmula de nversão permte a utlzação de procedmentos de verfcação dreta sobre cada posção dentro do meo em que uma solução é desejada. Assm sendo, a ordem de truncamento pode ser reduzda gradualmente até o menor valor * que satsfaça o segunte crtéro de convergênca: max x D = * = / / ψ ( µ, x) T ( t) ψ ( µ, x) T ( t) Tol onde Tol corresponde à tolerânca prescrta para o erro relatvo global da solução (fórmula de nversão); o domíno espacal D corresponde ao conjunto de pontos onde se deseja calcular as soluções. Enquanto não for encontrado um ntero * menor do que e que satsfaça o crtéro acma, este deverá ser ncrementado, a últma ntegração numérca repetda e um novo * deverá ser procurado. Após a redução de ao valor *, a ntegração numérca do próxmo ntervalo, t a t, sendo t < t, envolverá um sstema truncado de menor ordem, respetando-se a precsão
37 3 requerda para a solução fnal. a seqüênca, um novo * deverá ser encontrado, o valor de ajustado para * e a ntegração numérca do ntervalo segunte efetuada. Este cclo se repete até a obtenção da solução para o últmo tempo desejado. O procedmento adaptatvo torna-se mas efcente à medda que se marcha no tempo físco, quando um número cada vez menor de termos é necessáro para atngr a convergênca da fórmula de nversão.
38 4. Algortmo Matemátco GITT para Solução de Problemas de Dfusão A partr dos formalsmos da técnca de transformada ntegral e dos recursos provdos pelos sstemas de computação smbólca (SCS), apresentados anterormente, vablzou-se o desenvolvmento do algortmo matemátco GITT (Generalzed Integral Transform Technque), descrto a segur [8], vsando a solução do sstema de equações dferencas parcas (EDPs) acopladas. A montagem da solução a partr do algortmo GITT pode ser dealzada pela composção de duas saídas: o sstema ordnáro transformado e a fórmula de nversão. A prmera saída deve fornecer à segunda os dados necessáros para compor os potencas desejados. A forma de solução do sstema ordnáro transformado deve ser defnda e aplcada externamente ao algortmo. O tratamento do problema pode ser consegudo fazendo-se múltplas chamadas ao algortmo GITT, uma para cada equação governante, obtendo-se múltplas fórmulas de nversão e sstemas ordnáros transformados, acoplados. Sobre estes últmos, aplcam-se as fórmulas de nversão, de manera a elmnar quasquer referêncas aos potencas desconhecdos, formando assm um únco sstema ordnáro acoplado, cuja solução permtrá a representação explícta dos potencas desejados através das fórmulas de nversão. Um outro aspecto mportante deste algortmo é a possbldade de hbrdzação com outras técncas de solução de EDPs, tas como: transformada de Laplace, transformada de Fourer, método de dferenças fntas e método de elementos fntos [5]. a Fgura., são lstados os argumentos de entrada para o algortmo GITT, cujos passos são apresentados em detalhe nas Fguras.,.3 e.4. Duas funções são consderadas prevamente mplementadas: a função changefuncton(expr,old,new) que retorna expr, após a substtução da varável old pela expressão new, e a função
39 5 getoperatorlnear(expr,var) que retorna o operador lnear, relatvo à varável var, presente na expressão expr. O prmero passo do algortmo GITT é verfcar se o argumento de entrada flter contém uma expressão não nula. Se este for o caso, a solução para unknown será defnda por: flter + unknownh. Aplcando esta defnção sobre as equações eqgov e eqcbc, obtémse um problema fltrado, possvelmente homogêneo, que deverá ser resolvdo para unknownh através de nova chamada ao algortmo GITT, agora com um valor nulo para flter. Este passo está descrto na Fgura.. Em seguda, determnam-se o problema auxlar assocado e o par de transformação ntegral. O prmero tem é determnado com base nos operadores lneares, relatvos à unknown, presentes nas equações eqgov e eqcbc. O segundo tem é determnado com base na propredade de ortogonaldade das autofunções do problema auxlar assocado. este ponto, é requerdo que o problema auxlar assocado apresente solução analítca, a ser obtda através dos recursos dsponíves nos SCS. Os autovalores v podem ser obtdos numercamente, na ausênca de uma representação analítca e em função do ndexador. A Fgura.3 descreve estes passos. XYZf De posse do problema auxlar assocado e do par de transformação ntegral, operase a equação eqgov com o operador f ( XYZ ) dxyz, onde f (XYZ) é a autofunção XYZ correspondente ao -ésmo autovalor do problema auxlar assocado, para obter a -ésma equação do sstema ordnáro transformado (eqtrfgov), dependente de t e que possurá um número fnto de equações conforme a ordem de truncamento especfcada em nterms. O algortmo encerra-se retornando, como resultado, uma lsta de expressões contendo a fórmula de nversão (nverse) e o sstema ordnáro transformado truncado (ordsys). Estes passos estão descrtos na Fgura.4.
40 6 Para o algortmo fornecer o resultado esperado, o problema de entrada deve atender aos seguntes requstos: a) A equação governante eqgov deve ter um operador lnear, relatvo ao potencal unknown, na forma L ( k( XYZ ) ) + d( XYZ ), tal que k(xyz) 0 em toda a regão delmtada por XYZ e XYZf. b) As equações de contorno em eqcbc devem ter operadores lneares, relatvos ao potencal unknown, da forma B α( XYZ ) + β( XYZ ) k( XYZ ) / η, tal que α(xyz) + β(xyz) >0 ao longo do contorno da regão delmtada por XYZ e XYZf. c) Se a equação eqauxgov do problema auxlar assocado não apresentar solução analítca, um problema auxlar alternatvo deverá ser fornecdo ao algortmo GITT pelo usuáro ou por um sstema especalsta. o apêndce A, são lstados os códgos fonte mplementados no Mathematca, dstrbuídos da segunte forma: dos packages, GITT.m e CITT.m, o prmero contendo a mplementação do algortmo matemátco GITT e o segundo, de suas funções auxlares. o apêndce B, encontra-se a lstagem de um notebook, GITTSamp.ma, contendo resultados relatvos à utlzação do package GITT.m na transformação de equações de calor (problemas parabólcos).
41 7. eqgov - Equação dferencal parcal governante a ser transformada;. eqcbc - Lsta de equações relatvas às condções ncas e de contorno; 3. unknown - Potencal a ser obtdo; 4. nterms - Ordem de truncamento do sstema ordnáro transformado; 5. t - Varável ndependente a ser mantda com a transformação; 6. XYZ - Varáves ndependentes a serem elmnadas com a transformação; 7. XYZ - Lmtes nferores do domíno de XYZ; 8.XYZf - Lmtes superores do domíno de XYZ; 9. flter - Função que satsfaça as condções de contorno. É utlzada para fltrar a solução de regme permanente e elmnar termos não-homogêneos do problema. Fgura. Lstagem dos argumentos de entrada para o algortmo matemátco GITT.. Se flter <> 0.. Faça eqgovh = changefuncton(eqgov,unknown,flter+unknownh).. Faça eqcbch = changefuncton(eqcbc,unknown,flter+unknownh).3. Faça reth = GITT(eqgovH,eqcbcH,unknownH,nterms,t,XYZ,XYZ,XYZf,0).4. Redefna fórmula de nversão em reth para unknown == flter+unknownh.5. Retorne reth Fgura. Prmero passo do algortmo matemátco GITT.
42 8. Extraa os operadores lneares de eqgov e eqcbc.. Faça opgov = getlnearoperator(eqgov,unknown).. Faça opcbc = {}.3. Para cada equaton em eqcbc, tal que equaton dependa de t,.3.. Faça opcbc = opcbc { getlnearoperator(equaton,unknown) } 3. Determne o problema auxlar assocado 3.. Faça w gual à função que multplca n unknown/ t n em eqgov, para o maor n. 3.. Faça eqauxgov = ( opgov( f(xyz) ) == w v^ f(xyz) ) 3.3. Faça eqauxbc = {} 3.4. Para cada operator em opcbc, Faça eqauxbc = eqauxbc { operador( f(xyz) ) == 0 } 4. Obtenha os autovalores e autofunções do problema auxlar assocado 4.. Encontre a solução analítca para f(xyz) em eqauxgov 4.. Encontre os autovalores v que satsfazem v em eqauxbc 4.3. Determne a autofunção normalzada f (XYZ) correspondente a cada v 5. Determne o par de transformação ntegral XYZf 5.. Faça transform = ( T ( t) == w f ( XYZ) unknown dxyz ) XYZ nterms 5.. Faça nverse = ( unknown == T ( t) f ( XYZ ) ) = Fgura.3 Passos a 5 do algortmo matemátco GITT.
43 9 6. Obtenha o sstema ordnáro transformado XYZf 6.. Aplque o operador f ( XYZ ) dxyz sobre eqgov XYZ XYZf 6.. Aplque o operador unknown d XYZ sobre eqauxgov XYZ 6.3. Subtraa (6.) de (6.), membro-a-membro 6.4. Faça eqtrfgov gual ao resultado de (6.3) 6.5. Smplfque eqtrfgov utlzando as equações de eqcbc e eqauxbc 6.6. Faça eqtrfcbc = {} 6.7. Para cada equaton em eqcbc, tal que equaton ndependa de t, XYZf Aplque o operador w f ( XYZ) dxyz sobre equaton XYZ Substtua a fórmula transform na equação (6.7.) Insra em eqtrfcbc o resultado de (6.7.) 6.8. Gere o sstema ordnáro transformado truncado Faça ordsys = {} Para cada varando de a nterms, Faça ordsys = ordsys { eqtrfgov,eqtrfcbc } 7. Retorne nverse (fórmula de nversão) e ordsys (sstema ordnáro transformado) Fgura.4 Passos 6 e 7 do algortmo matemátco GITT.
44 CAPÍTULO 3 Aplcação a um Problema de Transferênca Smultânea de Calor e Massa Para efeto de aplcação da técnca de transformada ntegral generalzada (GITT), resolve-se um problema de secagem undmensonal, correspondente a uma varante do modelo de Lukov [05,06,09], composto por duas equações dferencas parcas, lneares e acopladas, decorrentes dos balanços de energa e massa no nteror de um meo caplar poroso e sotrópco. A escolha deste problema deve-se ao fato de que números modelos matemátcos de secagem são representados por sstemas de equações dferencas acopladas [5-68]. Com o advento da GITT, a partr do fnal da década de otenta foram publcados trabalhos mostrando soluções de varantes do problema de Lukov, desenvolvdas através de procedmentos sstemátcos, sendo observado que algumas soluções anterormente apresentadas estavam ncompletas [69]. Seja a forma admensonalzada para o modelo matemátco em foco [09,50,70], onde θ (X,τ) e θ (X,τ) representam as dstrbuções admensonas de temperatura e umdade, em função das coordenadas espacal X e temporal τ. As dstrbuções ncas de temperatura e umdade no meo poroso são constantes, sendo o mesmo então submetdo às seguntes condções de contorno: a superfíce nferor (X=0) solada, enquanto a superfíce superor (X=) é mantda em valores de temperatura e umdade prescrtos e constantes, conforme lustrado na Fgura
45 3 Sem perda de generaldade, o problema de secagem em análse é expresso da segunte forma [09,50]: balanço de energa no nteror do meo poroso θ( X, τ) θ( X, τ ) θ( X, τ ) = ε Ko, τ > 0, 0 < X < (3..a) τ X τ balanço de massa no nteror do meo poroso θ ( X, τ ) θ ( X, τ ) θ ( X τ = Lu Lu Pn, ), τ > 0, 0 < X < (3..b) τ X X com condções ncas θ ( X, τ ) = 0, θ ( X, τ) = 0, τ = 0, 0 X (3..c,d) e condções de contorno θ ( X, τ ) θ ( X, τ) θ ( X, τ ) = 0, Lu = 0, τ > 0, X = 0 (3..e,f) X X X θ ( X, τ ) =, θ ( X, τ) =, τ > 0, X = (3..g,h) onde Lu, Pn e Ko representam, respectvamente, os números admensonas de Lukov, Posnov e Kossovtch, que relaconam parâmetros físcos assocados ao processo de secagem; ε corresponde ao crtéro de mudança de fase do líqudo no nteror do meo poroso. O problema acma formulado será crtcamente analsado antes de se proceder ao uso dos formalsmos de GITT. Incalmente verfca-se que o mesmo não é homogêneo no contorno, o que requer o uso de funções fltro [04,7], vsando a posteror obtenção de expansões de autofunções de melhor convergênca numérca, prncpalmente nas
ANÁLISE DAS TENSÕES TÉRMICAS EM MATERIAIS CERÂMICOS. Palavras-chave: Tensões térmicas, Propriedades variáveis, Condução de calor, GITT
ANÁLISE DAS TENSÕES TÉRMICAS EM MATERIAIS CERÂMICOS Dnz, L.S. Santos, C.A.C. Lma, J.A. Unversdade Federal da Paraíba Laboratóro de Energa Solar LES/DTM/CT/UFPB 5859-9 - João Pessoa - PB, Brasl e-mal: cabral@les.ufpb.br
Leia maisCapítulo 2. APROXIMAÇÕES NUMÉRICAS 1D EM MALHAS UNIFORMES
Capítulo. Aproxmações numércas 1D em malhas unformes 9 Capítulo. AROXIMAÇÕS NUMÉRICAS 1D M MALHAS UNIFORMS O prncípo fundamental do método das dferenças fntas (MDF é aproxmar através de expressões algébrcas
Leia mais3 A técnica de computação intensiva Bootstrap
A técnca de computação ntensva ootstrap O termo ootstrap tem orgem na expressão de língua nglesa lft oneself by pullng hs/her bootstrap, ou seja, alguém levantar-se puxando seu própro cadarço de bota.
Leia mais2 Análise de Campos Modais em Guias de Onda Arbitrários
Análse de Campos Modas em Guas de Onda Arbtráros Neste capítulo serão analsados os campos modas em guas de onda de seção arbtrára. A seção transversal do gua é apromada por um polígono conveo descrto por
Leia maisFigura 8.1: Distribuição uniforme de pontos em uma malha uni-dimensional. A notação empregada neste capítulo para avaliação da derivada de uma
Capítulo 8 Dferencação Numérca Quase todos os métodos numércos utlzados atualmente para obtenção de soluções de equações erencas ordnáras e parcas utlzam algum tpo de aproxmação para as dervadas contínuas
Leia mais0.5 setgray0 0.5 setgray1. Mecânica dos Fluidos Computacional. Aula 7. Leandro Franco de Souza. Leandro Franco de Souza p.
Leandro Franco de Souza lefraso@cmc.usp.br p. 1/1 0.5 setgray0 0.5 setgray1 Mecânca dos Fludos Computaconal Aula 7 Leandro Franco de Souza Leandro Franco de Souza lefraso@cmc.usp.br p. 2/1 Equações Dferencas
Leia mais3 Método Numérico. 3.1 Discretização da Equação Diferencial
3 Método Numérco O presente capítulo apresenta a dscretação da equação dferencal para o campo de pressão e a ntegração numérca da expressão obtda anterormente para a Vscosdade Newtonana Equvalente possbltando
Leia maisABORDAGEM ANALÍTICO-NUMÉRICA DA TRANSFERÊNCIA DE CALOR E MASSA COM EFEITO DA PRESSÃO. Francisco Gêvane Muniz Cunha
ABORDAGEM AAÍTICO-UMÉRICA DA TRASFERÊCIA DE CAOR E MASSA COM EFEITO DA PRESSÃO Francsco Gêvane Munz Cunha DISSERTAÇÃO SUBMETIDA À COORDEAÇÃO DO CURSO DE PÓS- GRADUAÇÃO EM CIÊCIA DA COMPUTAÇÃO, COMO REQUISITO
Leia mais4 Discretização e Linearização
4 Dscretzação e Lnearzação Uma vez defndas as equações dferencas do problema, o passo segunte consste no processo de dscretzação e lnearzação das mesmas para que seja montado um sstema de equações algébrcas
Leia maisPROBLEMA DE DIFUSÃO DE CALOR RESOLVIDO POR MEIO DE EQUAÇÕES DIFERENCIAIS PARCIAIS PARABÓLICAS
PROBLEMA DE DIFUSÃO DE CALOR RESOLVIDO POR MEIO DE EQUAÇÕES DIFERENCIAIS PARCIAIS PARABÓLICAS Renato S. Gomde 1, Luz F. B. Loja 1, Edna L. Flôres 1 1 Unversdade Federal de Uberlânda, Departamento de Engenhara
Leia maisIMPLEMENTAÇÃO DO MÉTODO DE FATORAÇÃO DE INTEIROS CRIVO QUADRÁTICO
IMPLEMENTAÇÃO DO MÉTODO DE FATORAÇÃO DE INTEIROS CRIVO QUADRÁTICO Alne de Paula Sanches 1 ; Adrana Betâna de Paula Molgora 1 Estudante do Curso de Cênca da Computação da UEMS, Undade Unverstára de Dourados;
Leia maisSOLUÇÃO APROXIMADA PARA A CONVECÇÃO FORÇADA TRANSIENTE COM DIFUSÃO AXIAL
SOLUÇÃO APROXIMADA PARA A CONVECÇÃO FORÇADA TRANSIENTE COM DIFUSÃO AXIAL Romberg R. Gondm Unversdade Federal da Paraíba, Campus I, Laboratóro de Energa Solar Cx. P. 55 5805-970 João Pessoa, PB, Brasl Fábo
Leia maisProcedimento Recursivo do Método dos Elementos de Contorno Aplicado em Problemas de Poisson
Trabalho apresentado no III CMAC - SE, Vtóra-ES, 015. Proceedng Seres of the Brazlan Socety of Computatonal and Appled Mathematcs Procedmento Recursvo do Método dos Elementos de Contorno Aplcado em Problemas
Leia mais3 Metodologia de Avaliação da Relação entre o Custo Operacional e o Preço do Óleo
3 Metodologa de Avalação da Relação entre o Custo Operaconal e o Preço do Óleo Este capítulo tem como objetvo apresentar a metodologa que será empregada nesta pesqusa para avalar a dependênca entre duas
Leia mais5 Formulação para Problemas de Potencial
48 Formulação para Problemas de Potencal O prncpal objetvo do presente capítulo é valdar a função de tensão do tpo Westergaard obtda para uma trnca com abertura polnomal (como mostrado na Fgura 9a) quando
Leia mais(1) A uma parede totalmente catalítica quanto para uma parede com equilíbrio catalítico. No caso de uma parede com equilíbrio catalítico, tem-se:
1 RELATÓRIO - MODIFICAÇÃO DA CONDIÇÃO DE CONTORNO DE ENTRADA: MODELOS PARCIALMENTE CATALÍTICO E NÃO CATALÍTICO PARA ESCOAMENTOS COM TAXA FINITA DE REAÇÃO 1. Condções de contorno Em escoamentos reatvos,
Leia mais7 - Distribuição de Freqüências
7 - Dstrbução de Freqüêncas 7.1 Introdução Em mutas áreas há uma grande quantdade de nformações numércas que precsam ser dvulgadas de forma resumda. O método mas comum de resumr estes dados numércos consste
Leia maisCálculo Numérico BCC760 Interpolação Polinomial
Cálculo Numérco BCC76 Interpolação Polnomal Departamento de Computação Págna da dscplna http://www.decom.ufop.br/bcc76/ 1 Interpolação Polnomal Conteúdo 1. Introdução 2. Objetvo 3. Estênca e uncdade 4.
Leia maisAPLICAÇÃO DO MÉTODO DAS DIFERENÇAS FINITAS PARA SOLUÇÃO DAS EQUAÇÕES DE LAPLACE E POISSON PARA LINHAS DE MICROFITAS ACOPLADAS
APLICAÇÃO DO MÉTODO DAS DIFERENÇAS FINITAS PARA SOLUÇÃO DAS EQUAÇÕES DE LAPLACE E POISSON PARA LINHAS DE MICROFITAS ACOPLADAS Raann Pablo de Alencar AZEEDO; Ícaro Bezerra de Queroz ARAÚJO; Elel Pogg dos
Leia mais2 Incerteza de medição
2 Incerteza de medção Toda medção envolve ensaos, ajustes, condconamentos e a observação de ndcações em um nstrumento. Este conhecmento é utlzado para obter o valor de uma grandeza (mensurando) a partr
Leia maisUm modelo nada mais é do que uma abstração matemática de um processo real (Seborg et al.,1989) ou
Dscplna - MR070 INTRODUÇÃO À MODELAGEM DE SISTEMAS LINEARES POR EQUAÇÕES DIFERENCIAIS Os modelos de um determnado sstema podem ser físcos ou matemátcos. Neste curso focaremos a modelagem pela dentfcação
Leia maisPsicologia Conexionista Antonio Roque Aula 8 Modelos Conexionistas com tempo contínuo
Modelos Conexonstas com tempo contínuo Mutos fenômenos de aprendzado assocatvo podem ser explcados por modelos em que o tempo é uma varável dscreta como nos casos vstos nas aulas anterores. Tas modelos
Leia mais7 Tratamento dos Dados
7 Tratamento dos Dados 7.. Coefcentes de Troca de Calor O úmero de usselt local é dado por h( r )d u ( r ) (7-) k onde h(r), o coefcente local de troca de calor é h( r ) q''- perdas T q''- perdas (T( r
Leia maisMÉTODO DAS DIFERENÇAS FINITAS PARA SOLUÇÃO DE EQUAÇÃO ESCALAR DE LEIS DE CONSERVAÇÃO
MÉTODO DAS DIFERENÇAS FINITAS PARA SOLUÇÃO DE EQUAÇÃO ESCALAR DE LEIS DE CONSERVAÇÃO Lorena Resende Olvera 1 ; Douglas Azevedo Castro 2 1 Aluna do Curso de Engenhara de Boprocessos e Botecnologa; Campus
Leia mais3 Algoritmos propostos
Algortmos propostos 3 Algortmos propostos Nesse trabalho foram desenvolvdos dos algortmos que permtem classfcar documentos em categoras de forma automátca, com trenamento feto por usuáros Tas algortmos
Leia maisPalavras-Chave: Escoamento Turbulento, Variáveis Primitivas, Função Corrente, GITT
ANÁLISE DAS FORMULAÇÕES VARIÁVEIS PRIMITIVAS E FUNÇÃO CORRENTE PARA ESCOAMENTO TURBULENTO VIA TRANSFORMADA INTEGRAL Lma, J.A. Unversdade Federal da Paraíba, Coord. Pós-Graduação Eng. Mecânca - CPGEM/CT/UFPB
Leia maisSOLUÇÃO ANALÍTICA PARA O PROBLEMA DA CAVIDADE COM TAMPA DESLIZANTE PARA NÚMERO DE REYNOLDS TENDENDO A ZERO
SOLUÇÃO ANALÍTICA PARA O PROBLEMA DA CAVIDADE COM TAMPA DESLIZANTE PARA NÚMERO DE REYNOLDS TENDENDO A ZERO Jesús S. Pérez Guerrero Comssão Naconal de Energa Nuclear - CNEN/COREJ Rua General Severano 9
Leia maisRepresentação e Descrição de Regiões
Depos de uma magem ter sdo segmentada em regões é necessáro representar e descrever cada regão para posteror processamento A escolha da representação de uma regão envolve a escolha dos elementos que são
Leia maisALGORÍTMO FLEXÍVEL PARA SOLUÇÃO DE PROBLEMAS DE CONVECÇÃO TÉRMICA VIA TRANSFORMAÇÃO INTEGRAL
ALGORÍMO FLEXÍVEL PARA SOLUÇÃO DE PROBLEMAS DE CONVECÇÃO ÉRMICA VIA RANSFORMAÇÃO INEGRAL Humberto Araujo Machado Unversdade Federal de Uberlânda, Departamento de Engenhara Mecânca Av. João Naves de Ávla,
Leia maisUNIVERSIDADE DE PERNAMBUCO. Física Experimental. Prof o José Wilson Vieira
UNIVERSIDADE DE PERNAMBUCO ESCOLA POLITÉCNICA DE PERNAMBUCO Físca Expermental Prof o José Wlson Vera wlson.vera@upe.br AULA 01: PROCESSOS DE ANÁLISE GRÁFICA E NUMÉRICA MODELO LINEAR Recfe, agosto de 2015
Leia maisRadiação Térmica Processos, Propriedades e Troca de Radiação entre Superfícies (Parte 2)
Radação Térmca Processos, Propredades e Troca de Radação entre Superfíces (Parte ) Obetvo: calcular a troca por radação entre duas ou mas superfíces. Essa troca depende das geometras e orentações das superfíces,
Leia maisESQUEMA DE DISCRETIZAÇÃO FLUX3 APLICADO À SECAGEM EM MEIO POROSO CAPILAR
ESQUEMA DE DISCRETIAÇÃO FLU APLICADO À SECAGEM EM MEIO POROSO CAPILAR Paulo Cesar Olvera Departamento de Engenhara Rural CCA-UFES 9.500-000 Alegre ES E-mal: pacololvera@yahoo.com.br Marcos de S. N. Cardoso
Leia maisExperiência V (aulas 08 e 09) Curvas características
Experênca (aulas 08 e 09) Curvas característcas 1. Objetvos 2. Introdução 3. Procedmento expermental 4. Análse de dados 5. Referêncas 1. Objetvos Como no expermento anteror, remos estudar a adequação de
Leia maisRAD1507 Estatística Aplicada à Administração I Prof. Dr. Evandro Marcos Saidel Ribeiro
UNIVERIDADE DE ÃO PAULO FACULDADE DE ECONOMIA, ADMINITRAÇÃO E CONTABILIDADE DE RIBEIRÃO PRETO DEPARTAMENTO DE ADMINITRAÇÃO RAD1507 Estatístca Aplcada à Admnstração I Prof. Dr. Evandro Marcos adel Rbero
Leia maisPalavras-Chave: Métodos Interativos da Potência e Inverso, Sistemas Lineares, Autovetores e Autovalores.
MSc leandre Estáco Féo ssocação Educaconal Dom Bosco - Faculdade de Engenhara de Resende Caa Postal 8.698/87 - CEP 75-97 - Resende - RJ Brasl Professor e Doutorando de Engenhara aefeo@yahoo.com.br Resumo
Leia maisFlambagem. Cálculo da carga crítica via MDF
Flambagem Cálculo da carga crítca va MDF ROF. ALEXANDRE A. CURY DEARTAMENTO DE MECÂNICA ALICADA E COMUTACIONAL Flambagem - Cálculo da carga crítca va MDF Nas aulas anterores, vmos como avalar a carga crítca
Leia maisMétodo do limite superior
Introdução O método do lmte superor é uma alternata analítca apromada aos métodos completos (e: método das lnhas de escorregamento) que possu um domíno de aplcabldade muto asto e que permte obter alores
Leia maisSOLUÇÕES DA EQUAÇÃO DA CONDUÇÃO DO CALOR BIDIMENSIONAL COM CONDUTIVIDADE TÉRMICA DEPENDENTE DA TEMPERATURA E GERAÇÃO DE CALOR
SOLUÇÕES DA EQUAÇÃO DA CONDUÇÃO DO CALOR BIDIMENSIONAL COM CONDUTIVIDADE TÉRMICA DEENDENTE DA TEMERATURA E GERAÇÃO DE CALOR E. T. CABRAL,. A. ONTES, H. K. MIYAGAWA, E. N. MACÊDO 3 e J. N. N. QUARESMA 3
Leia mais5 Relação entre Análise Limite e Programação Linear 5.1. Modelo Matemático para Análise Limite
5 Relação entre Análse Lmte e Programação Lnear 5.. Modelo Matemátco para Análse Lmte Como fo explcado anterormente, a análse lmte oferece a facldade para o cálculo da carga de ruptura pelo fato de utlzar
Leia maisUNIDADE IV DELINEAMENTO INTEIRAMENTE CASUALIZADO (DIC)
UNDADE V DELNEAMENTO NTERAMENTE CASUALZADO (DC) CUABÁ, MT 015/ PROF.: RÔMULO MÔRA romulomora.webnode.com 1. NTRODUÇÃO Este delneamento apresenta como característca prncpal a necessdade de homogenedade
Leia maisDIFERENCIANDO SÉRIES TEMPORAIS CAÓTICAS DE ALEATÓRIAS ATRAVÉS DAS TREND STRIPS
177 DIFERENCIANDO SÉRIES TEMPORAIS CAÓTICAS DE ALEATÓRIAS ATRAVÉS DAS TREND STRIPS Antôno Carlos da Slva Flho Un-FACEF Introdução Trend Strps (TS) são uma nova técnca de análse da dnâmca de um sstema,
Leia maisUMA ABORDAGEM ALTERNATIVA PARA O ENSINO DO MÉTODO DOS MÍNIMOS QUADRADOS NO NÍVEL MÉDIO E INÍCIO DO CURSO SUPERIOR
UNIVERSIDADE FEDERAL DE JUIZ DE FORA INSTITUTO DE CIÊNCIAS EATAS DEPARTAMENTO DE ESTATÍSTICA UMA ABORDAGEM ALTERNATIVA PARA O ENSINO DO MÉTODO DOS MÍNIMOS QUADRADOS NO NÍVEL MÉDIO E INÍCIO DO CURSO SUPERIOR
Leia maisEletrotécnica AULA Nº 1 Introdução
Eletrotécnca UL Nº Introdução INTRODUÇÃO PRODUÇÃO DE ENERGI ELÉTRIC GERDOR ESTÇÃO ELEVDOR Lnha de Transmssão ESTÇÃO IXDOR Equpamentos Elétrcos Crcuto Elétrco: camnho percorrdo por uma corrente elétrca
Leia maisDEFINIÇÃO - MODELO LINEAR GENERALIZADO
DEFINIÇÃO - MODELO LINEAR GENERALIZADO 1 Um modelo lnear generalzado é defndo pelos seguntes três componentes: Componente aleatóro; Componente sstemátco; Função de lgação; Componente aleatóro: Um conjunto
Leia maisINTRODUÇÃO À MECÂNICA COMPUTACIONAL. Carlos Henrique Marchi & Fábio Alencar Schneider. Curitiba, dezembro de 2002.
INTRODUÇÃO À MECÂNICA COMPUTACIONAL Carlos Henrque March & Fábo Alencar Schneder Curtba, dezembro de 2002. SUMÁRIO Lsta de Símbolos Prefáco 1. INTRODUÇÃO 1.1 Métodos de Solução de Problemas de Engenhara
Leia maisCAPÍTULO VI Introdução ao Método de Elementos Finitos (MEF)
PMR 40 - Mecânca Computaconal CAPÍTULO VI Introdução ao Método de Elementos Fntos (MEF). Formulação Teórca - MEF em uma dmensão Consderemos a equação abao que representa a dstrbução de temperatura na barra
Leia maisDESENVOLVIMENTO DE UM PRÉ-PROCESSADOR PARA ANÁLISE ISOGEOMÉTRICA
DESENVOLVIMENTO DE UM PRÉ-PROCESSADOR PARA ANÁLISE ISOGEOMÉTRICA Pedro Luz Rocha Evandro Parente Junor pedroluzrr04@gmal.com evandroparentejr@gmal.com Laboratóro de Mecânca Computaconal e Vsualzação, Unversdade
Leia maisParte 1: Exercícios Teóricos
Cálculo Numérco SME0300 ICMC-USP Lsta 2: Sstemas Lneares Métodos Dretos Professora: Cyntha de O. Lage Ferrera Parte 1: Exercícos Teórcos 1. Consdere o sstema Ax = b, onde 1 α 3 α 1 4 ; x = 5 2 1 Para que
Leia maisCAPITULO II - FORMULAÇAO MATEMATICA
CAPITULO II - FORMULAÇAO MATEMATICA II.1. HIPOTESES BASICAS A modelagem aqu empregada está baseado nas seguntes hpóteses smplfcadoras : - Regme permanente; - Ausênca de forças de campo; - Ausênca de trabalho
Leia maisVariação ao acaso. É toda variação devida a fatores não controláveis, denominadas erro.
Aplcação Por exemplo, se prepararmos uma área expermental com todo cudado possível e fzermos, manualmente, o planto de 100 sementes seleconadas de um mlho híbrdo, cudando para que as sementes fquem na
Leia maisAula Características dos sistemas de medição
Aula - Característcas dos sstemas de medção O comportamento funconal de um sstema de medção é descrto pelas suas característcas (parâmetros) operaconas e metrológcas. Aqu é defnda e analsada uma sére destes
Leia mais3 Animação de fluidos com SPH
3 Anmação de fludos com SPH O SPH (Smoothed Partcle Hydrodynamcs) é um método Lagrangeano baseado em partículas, proposto orgnalmente para smulação de problemas astrofíscos por Gngold e Monaghan (1977)
Leia maisMODELAGEM COMPUTACIONAL DA DIFUSÃO DE NÊUTRONS EM GEOMETRIA UNIDIMENSIONAL CARTESIANA
27 Internatonal Nuclear tlantc Conference - INC 27 antos, P, razl, eptember 3 to October 5, 27 OCIÇÃO RILEIR DE ENERGI NUCLER - EN IN: 978-85-99141-2-1 MODELGEM COMPUTCIONL D DIFUÃO DE NÊUTRON EM GEOMETRI
Leia maisOs modelos de regressão paramétricos vistos anteriormente exigem que se suponha uma distribuição estatística para o tempo de sobrevivência.
MODELO DE REGRESSÃO DE COX Os modelos de regressão paramétrcos vstos anterormente exgem que se suponha uma dstrbução estatístca para o tempo de sobrevvênca. Contudo esta suposção, caso não sea adequada,
Leia mais6 Modelo Proposto Introdução
6 Modelo Proposto 6.1. Introdução Neste capítulo serão apresentados detalhes do modelo proposto nesta dssertação de mestrado, onde será utlzado um modelo híbrdo para se obter prevsão de carga curto prazo
Leia mais5 Validação dos Elementos
5 Valdação dos Elementos Para valdar os elementos fntos baseados nas Wavelets de Daubeches e nas Interpolets de Deslaurers-Dubuc, foram formulados dversos exemplos de análse lnear estátca, bem como o cálculo
Leia maisIntegração com splines integração com splines cúbicos
Integração com splnes ntegração com splnes cúbcos Um modo de obter regras de ntegração semelhante às compostas é utlzando splnes. A utlzação de splnes de grau zero conduz às regras do rectângulo compostas,
Leia maisPrograma do Curso. Sistemas Inteligentes Aplicados. Análise e Seleção de Variáveis. Análise e Seleção de Variáveis. Carlos Hall
Sstemas Intelgentes Aplcados Carlos Hall Programa do Curso Lmpeza/Integração de Dados Transformação de Dados Dscretzação de Varáves Contínuas Transformação de Varáves Dscretas em Contínuas Transformação
Leia maisAerodinâmica I. Verificação de Códigos. Objectivo: verificar que o programa não tem erros
e Verfcação de Códgos Objectvo: verfcar que o programa não tem erros - O erro numérco tende para zero quando o tamanho da malha / passo no tempo tendem para zero? p ( φ ) = φ φ e + αh exact - A ordem de
Leia maisESTUDO DE MODELOS PARA AJUSTE E PREVISÃO DE UMA SÉRIE TEMPORAL
Revsta Matz Onlne ESTUDO DE MODELOS PARA AJUSTE E PREVISÃO DE UMA SÉRIE TEMPORAL Valera Ap. Martns Ferrera Vvane Carla Fortulan Valéra Aparecda Martns. Mestre em Cêncas pela Unversdade de São Paulo- USP.
Leia maisDiferenças finitas compactas para a equação de Poisson utilizando métodos iterativos
Dferenças fntas compactas para a equação de Posson utlzando métodos teratvos Rafael de Lma Sterza; Analce Costacurta Brand Departamento de Matemátca e Computação Faculdade de Cêncas e Tecnologa - UNESP
Leia maisDELINEAMENTOS EXPERIMENTAIS
SUMÁRIO 1 Delneamentos Expermentas 2 1.1 Delneamento Interamente Casualzado..................... 2 1.2 Delneamento Blocos Casualzados (DBC).................... 3 1.3 Delneamento Quadrado Latno (DQL)......................
Leia maisFaculdade de Engenharia Optimização. Prof. Doutor Engº Jorge Nhambiu
1 Programação Não Lnear com Restrções Aula 9: Programação Não-Lnear - Funções de Váras Varáves com Restrções Ponto Regular; Introdução aos Multplcadores de Lagrange; Multplcadores de Lagrange e Condções
Leia mais8 - Medidas Descritivas
8 - Meddas Descrtvas 8. Introdução Ao descrevemos um conjunto de dados por meo de tabelas e gráfcos temos muto mas nformações sobre o comportamento de uma varável do que a própra sére orgnal de dados.
Leia maisPROVA 2 Cálculo Numérico. Q1. (2.0) (20 min)
PROVA Cálculo Numérco Q. (.0) (0 mn) Seja f a função dada pelo gráfco abaxo. Para claro entendmento da fgura, foram marcados todos os pontos que são: () raízes; () pontos crítcos; () pontos de nflexão.
Leia mais2 Lógica Fuzzy Introdução
2 Lógca Fuzzy 2.. Introdução A lógca fuzzy é uma extensão da lógca booleana, ntroduzda pelo Dr. Loft Zadeh da Unversdade da Calfórna / Berkeley no ano 965. Fo desenvolvda para expressar o conceto de verdade
Leia maisREGRESSÃO NÃO LINEAR 27/06/2017
7/06/07 REGRESSÃO NÃO LINEAR CUIABÁ, MT 07/ Os modelos de regressão não lnear dferencam-se dos modelos lneares, tanto smples como múltplos, pelo fato de suas varáves ndependentes não estarem separados
Leia maisEXERCÍCIO: VIA EXPRESSA CONTROLADA
EXERCÍCIO: VIA EXPRESSA CONTROLADA Engenhara de Tráfego Consdere o segmento de va expressa esquematzado abaxo, que apresenta problemas de congestonamento no pco, e os dados a segur apresentados: Trechos
Leia mais4 Critérios para Avaliação dos Cenários
Crtéros para Avalação dos Cenáros É desejável que um modelo de geração de séres sntétcas preserve as prncpas característcas da sére hstórca. Isto quer dzer que a utldade de um modelo pode ser verfcada
Leia maisNotas Processos estocásticos. Nestor Caticha 23 de abril de 2012
Notas Processos estocástcos Nestor Catcha 23 de abrl de 2012 notas processos estocástcos 2 O Teorema de Perron Frobenus para matrzes de Markov Consdere um processo estocástco representado por um conunto
Leia mais4 Autovetores e autovalores de um operador hermiteano
T (ψ) j = ψ j ˆT ψ = k ψ j ˆT φ k S k = k,l ψ j φ l T (φ) S k = k,l φ l ψ j T (φ) S k = k,l SljT (φ) S k. Após todos esses passos vemos que T (ψ) j = k,l S jl T (φ) S k ou, em termos matrcas T (ψ) = S
Leia maisEventos coletivamente exaustivos: A união dos eventos é o espaço amostral.
DEFINIÇÕES ADICIONAIS: PROBABILIDADE Espaço amostral (Ω) é o conjunto de todos os possíves resultados de um expermento. Evento é qualquer subconjunto do espaço amostral. Evento combnado: Possu duas ou
Leia mais6 Análises de probabilidade de ruptura de um talude
6 Análses de probabldade de ruptura de um talude 6.. Introdução No presente capítulo, apresentam-se prevsões de probabldades de ruptura para o talude de jusante da Barragem de Benguê mostrada na fgura
Leia maisCONTROLADORES FUZZY. Um sistema de controle típico é representado pelo diagrama de blocos abaixo:
CONTROLADORES FUZZY Um sstema de controle típco é representado pelo dagrama de blocos abaxo: entrada ou referênca - erro CONTROLADOR snal de controle PLANTA saída A entrada ou referênca expressa a saída
Leia maisUniversidade Federal do Paraná Departamento de Informática. Reconhecimento de Padrões. Classificadores Lineares. Luiz Eduardo S. Oliveira, Ph.D.
Unversdade Federal do Paraná Departamento de Informátca Reconhecmento de Padrões Classfcadores Lneares Luz Eduardo S. Olvera, Ph.D. http://lesolvera.net Objetvos Introduzr os o conceto de classfcação lnear.
Leia maisUniversidade de São Paulo Escola Superior de Agricultura Luiz de Queiroz Departamento de Ciências Exatas
Unversdade de São Paulo Escola Superor de Agrcultura Luz de Queroz Departamento de Cêncas Exatas Prova escrta de seleção para DOUTORADO em Estatístca e Expermentação Agronômca Nome do canddato (a): Questão
Leia mais2 Principio do Trabalho Virtual (PTV)
Prncpo do Trabalho rtual (PT)..Contnuo com mcroestrutura Na teora que leva em consderação a mcroestrutura do materal, cada partícula anda é representada por um ponto P, conforme Fgura. Porém suas propredades
Leia maisElaboração de um Código Computacional para Resolução de Sistemas Lineares de Grande Porte
COMAT Coordenadora do Curso de Lcencatura em Matemátca TCC Trabalho de Conclusão de Curso Elaboração de um Códgo Computaconal para Resolução de Sstemas Lneares de Grande Porte Trabalho de Conclusão de
Leia mais3 Elementos de modelagem para o problema de controle de potência
3 Elementos de modelagem para o problema de controle de potênca Neste trabalho assume-se que a rede de comuncações é composta por uma coleção de enlaces consttuídos por um par de undades-rádo ndvdualmente
Leia maisEstudo quantitativo do processo de tomada de decisão de um projeto de melhoria da qualidade de ensino de graduação.
Estudo quanttatvo do processo de tomada de decsão de um projeto de melhora da qualdade de ensno de graduação. Rogéro de Melo Costa Pnto 1, Rafael Aparecdo Pres Espíndula 2, Arlndo José de Souza Júnor 1,
Leia maisD- MÉTODO DAS APROXIMAÇÕES SUCESSIVAS
D- MÉTODO DAS APROXIMAÇÕES SUCESSIVAS O método das apromações sucessvas é um método teratvo que se basea na aplcação de uma fórmula de recorrênca que, sendo satsfetas determnadas condções de convergênca,
Leia maisTópicos Especiais de Álgebra Linear Tema # 1: Aprendendo a trabalhar com o Derive. Introdução ao Derive
Tópcos Especas de Álgebra Lnear Tema # : Aprendendo a trabalhar com o Derve Assunto: Introdução ao Derve. Ambente Algébrco e Gráfco. Comandos da Álgebra de Matrzes. Determnantes, Inversa de uma Matrz.
Leia mais2 - Análise de circuitos em corrente contínua
- Análse de crcutos em corrente contínua.-corrente eléctrca.-le de Ohm.3-Sentdos da corrente: real e convenconal.4-fontes ndependentes e fontes dependentes.5-assocação de resstêncas; Dvsores de tensão;
Leia maisUNIVERSIDADE EDUARDO MONDLANE Faculdade de Engenharia. 3º ano
UNIVERSIDADE EDUARDO MONDLANE Faculdade de Engenhara ransmssão de calor 3º ano 4. ransmssão de Calor em Regme ransente Introdução Sstemas Concentrados Condução de Calor em regme ransente com Efetos Espacas
Leia maisCaderno de Fórmulas em Implementação. SWAP Alterações na curva Libor
Caderno de Fórmulas em Implementação SWAP Alterações na curva Lbor Atualzado em: 15/12/217 Comuncado: 12/217 DN Homologação: - Versão: Mar/218 Índce 1 Atualzações... 2 2 Caderno de Fórmulas - SWAP... 3
Leia maisInterpolação Segmentada
Interpolação Segmentada Uma splne é uma função segmentada e consste na junção de váras funções defndas num ntervalo, de tal forma que as partes que estão lgadas umas às outras de uma manera contínua e
Leia maisO íon lantanídeo no acoplamento Russell-Saunders e a classificação de seus estados segundo os subgrupos do grupo GL(4
O íon lantanídeo no acoplamento Russell-aunders e a classfcação de seus estados segundo os subgrupos do grupo G(4 ) O hamltonano, H, dos íons lantanídeos contém uma parte que corresponde ao campo central,
Leia maisEstatística II Antonio Roque Aula 18. Regressão Linear
Estatístca II Antono Roque Aula 18 Regressão Lnear Quando se consderam duas varáves aleatóras ao mesmo tempo, X e Y, as técncas estatístcas aplcadas são as de regressão e correlação. As duas técncas estão
Leia maisUSO DA FERRAMENTA HYDRUS1D NA SIMULAÇÃO DA DINÂMICA DA ÁGUA EM SOLO CULTIVADO COM FEIJÃO CAUPI NO NORDESTE BRASILEIRO EDEVALDO MIGUEL ALVES
USO DA FERRAMENTA HYDRUS1D NA SIMULAÇÃO DA DINÂMICA DA ÁGUA EM SOLO CULTIVADO COM FEIJÃO CAUPI NO NORDESTE BRASILEIRO EDEVALDO MIGUEL ALVES INTRODUÇÃO O fejão caup é a prncpal legumnosa cultvada no Nordeste.
Leia maisAULA Espaços Vectoriais Estruturas Algébricas.
Note bem: a letura destes apontamentos não dspensa de modo algum a letura atenta da bblografa prncpal da cadera Chama-se a atenção para a mportânca do trabalho pessoal a realzar pelo aluno resolvendo os
Leia maisCOMBUSTÍVEIS E COMBUSTÃO
COMBUSTÍVEIS E COMBUSTÃO PROF. RAMÓN SILVA Engenhara de Energa Dourados MS - 2013 CHAMAS DIFUSIVAS 2 INTRODUÇÃO Chamas de dfusão turbulentas tpo jato de gás são bastante comuns em aplcações ndustras. Há
Leia maisEletromagnetismo Aplicado
letromagnetsmo Aplcado Undade 5 Propagação de Ondas letromagnétcas em Meos Ilmtados e Polaração Prof. Marcos V. T. Heckler Propagação de Ondas letromagnétcas e Polaração 1 Conteúdo Defnções e parâmetros
Leia maisESTUDO DO MÉTODO DE FATORAÇÃO DE INTEIROS CRIVO QUADRÁTICO
ESTUDO DO MÉTODO DE FATORAÇÃO DE INTEIROS CRIVO QUADRÁTICO Alne de Paula Sanches (Bolssta UEMS), Adrana Betâna de Paula Molgora Unversdade Estadual de Mato Grosso do Sul Cdade Unverstára de Dourados, Caxa
Leia mais2 Metodologia de Medição de Riscos para Projetos
2 Metodologa de Medção de Rscos para Projetos Neste capítulo remos aplcar os concetos apresentados na seção 1.1 ao ambente de projetos. Um projeto, por defnção, é um empreendmento com metas de prazo, margem
Leia maisThiago Antonini Alves
Programa de Pós-Graduação em Engenhara Mecânca Área de Concentração em Cêncas Térmcas DISSERTAÇÃO DE MESTRADO Aplcação da Transformada Integral e da Transformação Conforme na Solução de uma Classe de Problemas
Leia maisAnálise Exploratória de Dados
Análse Exploratóra de Dados Objetvos Análse de duas varáves quanttatvas: obter uma reta que se ajuste aos dados segundo o crtéro de mínmos quadrados; apresentar outros crtéros para a determnação de uma
Leia maisCORRELAÇÃO E REGRESSÃO
CORRELAÇÃO E REGRESSÃO Constata-se, freqüentemente, a estênca de uma relação entre duas (ou mas) varáves. Se tal relação é de natureza quanttatva, a correlação é o nstrumento adequado para descobrr e medr
Leia maisÉ o grau de associação entre duas ou mais variáveis. Pode ser: correlacional ou experimental.
Prof. Lorí Val, Dr. val@mat.ufrgs.br http://www.mat.ufrgs.br/~val/ É o grau de assocação entre duas ou mas varáves. Pode ser: correlaconal ou expermental. Numa relação expermental os valores de uma das
Leia mais