PROGRAMAO SIMBLICA E TEORIA DE AUSUBEL NO APRENDIZADO DE MTODOS NUMRICOS

Gilson P. do Carmo Filho 1, Jlio Wilson Ribeiro 2 e Daniel de H. Gonalves 3

Resumo Utilizam-se a teoria de aprendizagem de Ausubel e programao simblica para desenvolver no software Mathematica um ambiente informatizado, que permite ao aprendiz progressiva e interativamente construir o raciocnio fsico-matemtico, com aplicao no processo de resfriamento do epoxy. Contempla-se a soluo de equaes diferenciais parciais, selecionando-se trs mtodos: separao de variveis, de carter analtico, e dois puramente numricos, uler e Crank-Nicolson. Ilustrativamente, utilizam-se recursos grficos e tabelas para enfocar a anlise e comparao da preciso dos resultados numricos obtidos e tambm a interpretao fsica, atravs do comportamento dos perfis de temperatura. Palavras Chave Ambientes Informatizados de Aprendizagem, Mtodos Analticos e Numricos em Equaes Diferenciais Parciais, Programao Simblica, Teoria de Aprendizagem de Ausubel. simblica, que propicia a equipes interdisciplinares produzirem software educativo, visando facilitar a construo do processo de aprendizado em diversas disciplinas dos cursos de cincias exatas [2][6]. proposto que o aluno passe a trabalhar num ambiente informatizado de aprendizagem, que integradamente permite correlacionar conceitos fsicos-matemticos, manipular e resolver analiticamente equaes diferenciais, disponibilizar solues via tabelas, grficos e animaes, realizar testes de avaliao do contedo programtico, permitindo tambm modificar, on-line, a entrada/sada de dados numricos ou formulaes analticas, caracterizando assim um aprendizado personalizado, com valorizao da autonomia [2][6][8]. A disponibilidade dos Sistemas de Computao Simblica (SCS) um aspecto extremamente relevante no uso do computador para o estudo dessas equaes, uma vez que so capazes de efetuar, entre outras coisas, as operaes analticas envolvidas na resoluo das mesmas [7]. Aps determinado progresso, o estudante pode atribuir a maior parte dos estgios das manipulaes algbricas ao computador, reservando mais tempo para dedicar maior ateno interpretao fsica dos resultados obtidos. Cita-se a natural extenso do aprendizado em clculo numrico para os mtodos hbridos analtico-numricos conjugados programao simblica, o que permite obter solues melhoradas em problemas avanados de sistemas de equaes diferencias parciais com contorno fortemente acoplados [3][7]. Diante deste panorama, se prope uma nova abordagem de ensino do clculo numrico voltado para as equaes diferenciais, onde sejam combinados recursos computacionais oferecidos pelos SCS, mtodos da matemtica computacional e fundamentos das teorias de aprendizagem. O uso dos SCS nas atividades de ensino e pesquisa pode reduzir significativamente o trabalho necessrio para o desenvolvimento de clculos analticos, eliminando assim tediosos e desnecessrios esforos de concentrao mental, associados manipulao de extensas expresses matemticas repetitivas e mecnicas. Como conseqncia, possvel se obter um tratamento analtico mais rpido, recursivo e confivel [7]. Vale ressaltar porm, que a principal funo desse novo aparato educacional no deve ser a de ensinar, mas sim a de criar condies de aprendizagem, onde o professor deve

INTRODUO
Um dos grandes desafios no processo de ensinoaprendizagem na disciplina clculo numrico, concentra-se no tpico tratamento e soluo de equaes diferenciais. Tradicionalmente, o contedo disciplinar disponibilizado em material impresso, o que desde j se caracteriza como informao esttica [2]. Outro aspecto que alunos de determinados cursos de graduao apresentam, em mdia, maior dificuldade em construir o raciocnio abstrato fsicomatemtico. Isto pode ser notado quando o professor deseja analisar no quadro a interpretao fsica de problemas associados s equaes diferenciais, o que pode causar, em alguns alunos, determinadas dificuldades e, conseqentemente, perderem motivao pela disciplina. A incorporao de recursos computacionais, sob uma tica da informtica educativa, se mostra bastante promissora no sentido de tornar o contato com a informao um processo dinmico e interativo [6][9], propiciando alternativas para se estabelecer novos recursos pedaggicos. Vale tambm se ressaltar o aprendizado distncia, conforme os novos avanos nas redes de comunicao de dados. Aliado a isto, enfatizam-se os avanos na velocidade de processamento dos computadores, o que permite a viabilidade do uso de novas linguagens e tcnicas de programao. Nesta direo, aponta-se a programao

1 Gilson P. do Carmo Filho, Programa de Ps-Graduao em Engenharia Eltrica (PPGEE), Universidade Federal do Cear, Fortaleza, CE, Brasil, gilsonfilho@timnet.com 2 Dr. Jlio Wilson Ribeiro, Laboratrio OMNI-DC e PPGEE, Universidade Federal do Cear, Fortaleza, CE, Brasil, juliow@uol.com.br 3 Daniel de H. Gonalves, Laboratrio OMNI-DC, Universidade Federal do Cear, Fortaleza, CE, Brasil, danielhol@bol.com.br

2004 WCETE

March 14 - 17, 2004, So Paulo, BRAZIL World Congress on Engineering and Technology Education 1590

deixar de ser o repassador do conhecimento e se tornar o criador de ambientes de aprendizagem e facilitador do processo de desenvolvimento intelectual do aluno [9].

A TEORIA DE AUSUBEL
O conceito central da teoria de David P. Ausubel [1] a aprendizagem significativa, um processo atravs do qual uma nova informao relaciona-se com um aspecto especificamente relevante da estrutura de conhecimento do indivduo. Este processo envolve a interao da nova informao com uma estrutura de conhecimento especfica existente na estrutura cognitiva do indivduo, a qual Ausubel define como subsunor. A aprendizagem significativa ocorre quando a nova informao ancora-se em conceitos ou proposies relevantes, preexistentes na estrutura cognitiva do aprendiz. Ausubel v o armazenamento de informaes no crebro humano como sendo organizado, formando uma hierarquia conceitual, na qual elementos mais especficos de conhecimento so ligados e assimilados a conceitos mais gerais, mais inclusivos [4]. Este processo de "ancoragem" da nova informao resulta em crescimento e modificao do subsunor. Para o desenvolvimento de conceitos subsunores, Ausubel recomenda o uso de organizadores prvios, que so materiais introdutrios apresentados antes do assunto a ser aprendido. Segundo o prprio Ausubel, a principal funo do organizador prvio a de servir de ponte entre o que o aprendiz j sabe e o que ele deve saber, a fim de que o novo assunto possa ser aprendido de forma significativa. O uso desses organizadores, portanto, uma estratgia para manipular a estrutura cognitiva e, assim, facilitar a aprendizagem significativa. Organizadores prvios, contrariamente a sumrios, so apresentados em um nvel mais alto de abstrao, generalidade e inclusividade. Uma das condies para a ocorrncia da aprendizagem significativa que o material a ser aprendido seja relacionvel (ou incorporvel) estrutura cognitiva do aprendiz. Essa condio implica em que o aprendiz tenha disponvel em sua estrutura cognitiva os subsunores adequados. A outra condio que o aprendiz manifeste uma disposio para relacionar de maneira substantiva e no-arbitrria o novo material estrutura cognitiva [4].

da avaliao da aprendizagem permitem refinar dinamicamente a sistemtica do aprendizado autnomo. O tratamento do problema, segundo mtodos hbridos analtico-numricos, segue a abordagem pedaggica apresentada em [5], quando se adota o mtodo de separao de variveis (MSV). Para os mtodos puramente numricos, selecionaram-se uler, que explicito, e Crank-Nicolson, semi-implcito, segundo uma tica de pedagogia utilizada em [5], cujo livro adotado pela Open University, do Reino Unido, uma das mais tradicionais instituies mundiais de ensino distncia. Para representar o modelo matemtico, seja u(x,) um determinado potencial, associado equao diferencial difusiva definida a seguir:

u ( x, ) 1 2 u ( x, ) = , 0< x< L , >0 x 2

sujeita s seguintes condies de contorno:

(1)

u (0, ) = 0 , > 0
e

(2) (3)

u ( L, ) = 0 , > 0

atendendo seguinte condio inicial:

u ( x,0) = 100 , 0 x L

(4)

DESENVOLVIMENTO
A metodologia apresentada a seguir est estruturada para a resoluo e interpretao fsica de um problema de equao diferencial parcial (EDP), do tipo parablica, que representa uma vasta gama de modelos fsicos de diferentes reas do conhecimento. Numa viso matemtica e pedaggica, o aprendiz dever trabalhar a soluo da EDP num ambiente informatizado de aprendizagem, segundo as duas classes de mtodos mencionados. Numa fase posterior, poder navegar em grficos e tabelas que ilustram o comportamento e convergncia da soluo, comparando os mtodos utilizados. Links, botes e questes direcionadas ao acompanhamento

O problema acima definido pedagogicamente e passoa-passo tratado e resolvido analiticamente via o mtodo de separao de variveis, resultando como soluo uma srie analtica de expanso de autofunes, de construo algortmica extremamente simples e sistemtica [7]. Para fins de soluo analtica e numa descrio resumida, o MSV baseia-se no princpio que a soluo da equao governante pode ser expressa pelo produto de funes das variveis independentes. Neste estgio, e adotando algumas manipulaes analticas, pode-se desacoplar o problema em dois novos, e estes so equaes diferencias ordinrias a uma nica varivel. Uma das equaes, de primeira ordem, pode ser facilmente resolvida, sendo sua soluo expressa por uma funo analtica, exponencial decrescente. O outro problema do tipo StumLiouville, o qual tambm apresenta soluo analtica facilmente determinvel, que sem perda de generalidade, expressa por uma srie de autofunes. A soluo geral do problema obtida pelo princpio da superposio das solues das duas equaes diferenciais ordinrias em discusso, resultando numa srie de expanso de autofunes, cujo controle de erro prescrito. Em sntese, chegase seguinte soluo:

2004 WCETE

March 14 - 17, 2004, So Paulo, BRAZIL World Congress on Engineering and Technology Education 1591

u ( x, ) = C n e n n ( x, n )
2

(5)

n =1

Assim, na srie de expanso de autofunes acima, o potencial u(x,) diretamente determinado em funo dos termos: Cn, que uma constante, e dos valores de n (x, n), sendo n, a ensima autofuno, e n, o ensimo autovalor, gerados a partir de um problema de Sturm-Liouville. Numa anlise numrica simples, segue que este problema possui convergncia assegurada e controle prescrito de erro. Do ponto de vista algoritmico, suficiente entrar com os valores prescritos de x e e calcular diretamente o valor numrico de u(x,) em (5). Para fins de soluo da equao parablica via diferenas finitas, numa abordagem simplificada, descrevem-se quantitativamente alguns dos principais passos matemticos. Como necessrio se trabalhar derivadas de primeira e segunda ordens, utilizam-se expanso em srie de Taylor, para expressar as primeira e segunda derivadas. Isto leva a se trabalhar com domnio discretizado, atravs de valores nodais. Truncam-se as mesmas para expressar as derivadas em funo de valores nodais do potencial que se deseja calcular. No mtodo de uler se assume que o valor de funo num determinado tempo nodal posterior, (+1), aproximadamente calculado a partir de uma extrapolao linear, partindo-se do tempo nodal atual (). Em seguida, se correlacionam os valores das derivadas nodais da funo em (+1) e (). Finalmente, se consegue construir um sistema explcito de equaes, de ordem associada ao nmero de pontos nodais e do tipo:
( ( u N +1) = AN N u N )1 1

(6)

No sistema acima, ANN uma matriz com elementos constantes, calculados atravs de valores prescritos disponibilizados pelo programador. O sistema inicializado partindo-se dos valores da condio inicial do problema. O critrio de estabilidade e convergncia detalhado no texto do algoritmo implementado. O critrio de parada definido pelo programador. Na soluo do problema via o mtodo de CrankNicolson, num certo ponto nodal, o valor aproximado da funo no tempo atual, (), expresso como a mdia aritmtica das derivadas da funo nos tempos nodais atual, (), e posterior, (+1). Sem perda de generalidade, para desenvolvimento da soluo, segue-se uma metodologia pedaggica anloga descrita para o mtodo de uler, obtendo-se:
( ( AN N u N +1) = B N N u N )1 1

disponibilizado num notebook, via a implementao no software Mathematica [10], onde foram utilizadas tcnicas de programao simblica, caracterizando-se assim o ambiente informatizado de aprendizagem. Nele, o aprendiz integradamente aborda: teorizao, modelagem, soluo matemtica e interpretao de resultados, obtidos via recursos de visualizao do comportamento das curvas de soluo. Tabelas com dados numricos permitem interpretar o comportamento das taxas de convergncia da soluo numrica. Complementarmente so criados botes e direcionadores que permitem ao aprendiz, caso este sinta necessidade, retornar a estgios anteriores do processo de construo do aprendizado. Na sesso seguinte, comentam-se os procedimentos adotados para se discretizar o domnio do problema via gerao de ns e estabelecer o comportamento da convergncia das solues, utilizando-se pedagogicamente, o uso tabelas. Estes resultados so em seguida criticamente comparados com os encontrados via a aplicao do mtodo de separao de variveis. Tambm podem ser reestruturadas as entradas e sadas de dados, permitindo analisar o comportamento e convergncia das solues para diferentes combinaes paramtricas. Para aplicao, adotou-se o problema da conduo de calor transiente e unidimensional, quando u(x,) agora passa a representar a distribuio de temperatura, T(x,t), x a coordenada espacial e , substituda por t, a coordenada temporal. No ambiente informatizado de aprendizagem, o aprendiz pode acessar interativamente todo o encadeamento analtico dos passos matemticos que levam s frmulas finais. Finalmente o aprendiz procede interpretao fsicomatemtica dos resultados, quando se adota a anlise do comportamento da distribuio unidimensional de temperatura. Para fins ilustrativos, adota-se o epoxy, material amplamente utilizado na proteo trmica de dispositivos eletrnicos. A seguir apresentam-se os resultados obtidos.

RESULTADOS
O ambiente informatizado de aprendizagem foi implementado no software Mathematica 3.01, utilizando-se um microcomputador Atholon XP, de 2.4 GHz e 1.0 GB de memria RAM. Assumiu-se a difusividade trmica do epoxy sendo 0,2510-6m2/s e comprimento caracterstico L = 0,1m. Nos algoritmos de diferenas finitas, sugere-se ao aprendiz, numa fase preliminar de contato com o mtodo de soluo, trabalhar com os seguintes valores: para os incrementos temporal, t = 20s, tempo total de observao, ttotal = 3600s e nmero de ns do domnio, M = 20. Na soluo analtica via o MSV, para obteno de resultados numricos, sugerese trabalhar com 5 algarismos significativos convergidos. Neste mtodo, suficiente definir os valores de coordenadas espacial e temporal para obter os resultados numricos da temperatura, conforme (5).

(7)

Segundo a teoria de aprendizagem postulada por Ausubel, o problema matemtico descrito a seguir

2004 WCETE

March 14 - 17, 2004, So Paulo, BRAZIL World Congress on Engineering and Technology Education 1592

Interpretando Aspectos Numricos Para anlise unificada de comparao do comportamento das taxas de convergncia da soluo nos trs mtodos, foram automaticamente geradas tabelas e disponibilizadas para o aprendiz, como mostra a Figura 1, apresentando valores das temperaturas e o erro relativo. Estes resultados esto contidos numa clula de sada do ambiente informatizado de aprendizagem. Observa-se a temperatura, em oC, sendo representado no MSV por T1, em uler por T2 e no CrankNicolson por T3. No primeiro caso, com 5 dgitos convergidos. Na primeira coluna, os ns, m, so representados por valores de 1 a 19. Na coluna 2, x expressa a coordenada espacial, medida em metros. As duas ltimas

colunas contemplam o erro relativo percentual (ERP) para as solues pelos mtodos de uler e Crank-Nicolson, adotando-se o MSV como soluo benchmark. Neste estgio, o aprendiz compara os dgitos significativos coincidentes nos valores numricos das solues obtidas e observa o ERP, adquirindo assim uma sensibilidade quantitativa. Para promover o aprendizado autnomo, o ambiente sugere ao aprendiz variar o nmero de ns no domnio e o valor da marcha de incremento temporal, para observar a estabilidade e taxa de convergncia numricas dos mtodos numricos adotados. Se induz ao aprendiz concluir via esta proposta de construo do processo de aprendizagem que o mtodo de uler mais instvel em relao ao mtodo de Crank-Nicolson.

FIGURA 1
JANELA ILUSTRANDO A ANLISE DA CONVERGNCIA NUMRICA DAS TEMPERATURAS T1, T2 E T3, QUANDO T = 3600 S.

Interpretando Fisicamente a Variao de Temperatura Para proceder anlise fsica do fenmeno de resfriamento do epoxy, o ambiente informatizado de aprendizagem disponibiliza animaes e grficos da evoluo temporal do perfil de temperatura, mostrado-se ilustrativamente apenas um perfil na Figura 2. Nos contornos dos perfis, a temperatura 0 oC, o que atende s condies de contorno representadas por (2) e (3). Sugere-se ao aluno, como aprendizagem complementar, adotar outras propriedades termofsicas, podendo assim

simular o resfriamento e comparar a dinmica da evoluo dos perfis de temperatura de diferentes materiais, o que permite se adquirir uma concepo mais clara do efeito da difusividade trmica. Esta metodologia ressalta a valorizao do aprendizado autnomo. Na prtica, a informao expressa na forma esttica no permitiria ao aprendiz ter contato com outras realidades fsicas, agora construdas via a variao paramtrica nos dados de entrada do ambiente de aprendizagem.

2004 WCETE

March 14 - 17, 2004, So Paulo, BRAZIL World Congress on Engineering and Technology Education 1593

FIGURA 2
JANELA ILUSTRANDO UMA CLULA ABERTA PARA ANLISE DO PERFIL DE TEMPERATURA DURANTE O RESFRIAMENTO DO EPOXY. [2] Blum, M. A., "Construo de ambiente de aprendizagem para a disciplina refrigerao utilizando computao simblica", Dissertao de Mestrado, Universidade Estadual do Cear / CEFET-CE, Fortaleza, 2003. Mikhailov, M. D. e zisik, M. N., Unified Analysis and Solutions of Heat and Mass Diffusion. New York: John Wiley & Sons, 1984. Moreira, M. A., Teorias de Aprendizagem. So Paulo: Editora Pedaggica e Universitria, 1999. Myers, G. E., Analytical Methods in Conduction Heat Transfer. New York: McGraw-Hill Book Company, 1971. Pinto, M. P., "Uma abordagem de aprendizado assistido por computador utilizando programao hbrida simbliconumrica", Dissertao de Mestrado, Universidade Federal do Cear, Fortaleza, 2002. Ribeiro, J. W., Duarte, J. B., e Andrade, F. E., "Computao hbrida aplicada modelagem avanada e educao", Anais da II Escola de Informtica da SBC - Edio Nordeste, pp. 7290, 1999. Sit, W. Y., "Mathematica notebooks for a conventional differential equations course", Journal of Symbolic Computation, vol. 23, n. 5/6, pp. 589623, Maio/Junho 1997. Valente, J. A., Computadores e Conhecimento: repensando a educao. Campinas: UNICAMP, 2 ed., 1993.

CONCLUSES E SUGESTES
O ambiente informatizado de aprendizagem permite ao aluno, segundo um procedimento sistemtico, construir o aprendizado via a navegao nas clulas dos notebooks, abordando conceitos, formulao e soluo matemticas de equaes diferenciais. A tabela disponibilizada permite o estudo do mecanismo de convergncia numrica da temperatura, favorecendo a anlise crtica da preciso dos resultados. J o grfico que exibe a distribuio do perfil de temperatura, possibilita a anlise fsica do fenmeno do resfriamento. Caso seja interesse do professor, os algoritmos podem ser matematicamente refinados para resolver outras variantes do mtodo de diferenas finitas, ou de outros mtodos numricos, expandindo assim a abrangncia temtica da disciplina clculo numrico. O professor pode propor ao aluno averiguar, com o auxlio da Internet, eventuais aplicaes do clculo da temperatura de resfriamento em casos prticos, citando-se aplicaes em engenharias da computao, biomdica e eletrnica, indstrias qumica, automotiva, farmacutica etc.

[3]

[4] [5] [6]

[7]

[8]

[9]

REFERNCIAS
[1] Ausubel, D. P., Educational Psychology: a cognitive view. New York: Holt, Rinehart and Winston, 1968.

[10] Wolfram, S., The Mathematica Book. Cambridge: Cambridge University Press, 3 ed., 1996.

2004 WCETE

March 14 - 17, 2004, So Paulo, BRAZIL World Congress on Engineering and Technology Education 1594