O olhar dos alunos e dos professores sobre a informática no curso de licenciatura em matemática na UFPA

Este trabalho visa investigar os saberes manifestados pelos alunos do curso de Matemática na Universidade Federal do Pará (UFPA), em relação à utilização da informática em sua formação. Para atender esse objetivo, utilizamos uma metodologia referente ao estudo de caso. Fizemos um breve histórico sobre a informática educativa no Brasil, destacamos os avanços e pesquisas na área e abordamos as principais maneiras de utilizá-los na educação; tratamos dos aspectos relacionados à Educação Matemática com alguns softwares educativos e as experiências com o uso do computador; e, em seguida, passamos para a nossa investigação, fundamentada nos documentos escritos pelos alunos e professores do curso de Licenciatura em Matemática da UFPA. As informações foram obtidas por meio de questionários aplicados aos alunos, durante o segundo semestre letivo de 2004, e aos professores no primeiro semestre letivo de 2005. Pudemos observar, nas análises, que alunos e professores consideram muito importante a inserção da informática ao currículo da Licenciatura em Matemática, porém destacam que este ensino ainda não ocorre e há necessidade de que ele faça parte efetiva da formação dos professores de Matemática, pois, pode contribuir para a melhoria do processo de ensino aprendizagem e é uma ferramenta indispensável para a educação.

A construção de conceitos relacionados com os movimentos Terra-Lua-Sol por alunos da E.J.A. à luz da teoria histórico-cultural

A construção de conceitos científicos no âmbito escolar ainda precisa ser melhor compreendida. No caso de conceitos relacionados à astronomia, as pesquisas ainda são escassas no Brasil, principalmente quando se trata da Educação de Jovens e Adultos (EJA). O presente estudo objetivou compreender, à luz da Teoria Histórico-Cultural, as formas através das quais estudantes da EJA constroem conceitos relacionados com os movimentos do sistema Terra-Lua-Sol, em suas interações com o professor e os colegas em sala de aula. A pesquisa foi realizada em uma turma do ensino médio da EJA da Escola de Aplicação da Universidade Federal do Pará. A turma era formada por 19 estudantes, com idades variando entre 16 e 37 anos. A coleta de informações foi feita durante um semestre letivo, inicialmente através de questionários. Eles continham perguntas abertas sobre a temática, a fim de investigar as concepções prévias dos estudantes. Posteriormente, as aulas em que o assunto foi ensinado foram gravadas em áudio e vídeo. Nestas aulas os alunos elaboraram individualmente e coletivamente explicações para a sucessão dia-noite na terra. Os grupos foram formados espontaneamente pelos alunos e, em seguida, foram recombinados pelo professor. Os registros foram transcritos e analisados microgeneticamente. As respostas dos estudantes ao questionamento inicial que tratava sobre a sucessão do dia e da noite na Terra foram categorizadas em quatro níveis A, B, C e D desde o mais afastado até o mais próximo do conceito escolar cientificamente aceito. Os resultados obtidos mostraram que 13 estudantes melhoram o perfil conceitual, pois migraram dos níveis A, B ou C para o nível D da categoria de respostas, ou seja, estes estudantes entendiam que a sucessão dianoite era decorrente do movimento de rotação da terra. Os outros seis estudantes, que já se encontravam no nível D, permaneceram nesse nível, porém melhoraram suas explicações em relação as suas respostas iniciais. Foram selecionados três estudantes para a análise microgenética dos percursos da construção de seus conhecimentos. Eles tinham suas respostas escritas iniciais classificadas nos níveis A ou B e durante suas interações com o professor e com os colegas incorporaram elementos do discurso científico, conseguindo elaborar explicações teóricas para o fenômeno observado. Os resultados ilustram diferentes mecanismos de ajuste da ajuda educacional oferecida pelo professor e pelos colegas, que salientam a importância de uma abordagem dialógica e do trabalho com diferentes formatos de grupos em sala de aula.

Segurança estrutural de uma ponte ferroviária em concreto armado sobre o rio Mãe Maria

O estudo do comportamento de pontes ferroviárias vem tomando grande destaque na área experimental, devido muitas das vezes haver a necessidade de um aumento dessas cargas móveis. A companhia VALE a partir de um convênio estabelecido com a UFPA (Universidade Federal do Pará), buscou realizar estudos das capacidades resistentes das pontes ferroviárias, que compõem a Estrada de Ferro Carajás (EFC), para futuros casos de carregamentos que passarão de 32 tf para 40 tf, o que provoca mudanças consideráveis no comportamento da estrutura. A falta de manutenção ou uma manutenção irregular das pontes de concreto armado podem resultar em manifestações patológicas que podem comprometer a segurança e ao risco de intervenção do escoamento. Dentre as OAE’s (Obras de Arte Especial) já analisadas, encontra-se a ponte sobre o Rio Mãe Maria localizada no município de Marabá, estado do Pará, transpondo o rio Mãe Maria, identificada como OAE 50A, apresenta um traçado retilíneo executada em concreto armado moldada “in loco”, é constituída por dois vãos hiperestáticos, totalizando 64,20 m, transpondo o leito do rio em dois vãos de 20 m e com seção transversal oferecendo a largura de 5,85 m. Com isso tornou-se indispensável para avaliação de sua integridade física a monitoração com extensômetros elétricos de resistência (EER) dos elementos (laje, longarina, blocos, encontros e tubulões) que compões a estrutura durante a passagem dos trens carregados de minério. Além da monitoração, foram realizados ensaios não-destrutivos como: dureza superficial através da esclerometria e a estimativa do cobrimento da armadura e localização da mesma por meio da pacometria, ensaios destrutivos como: extração de corpos-de-prova para determinar a compressão diametral e o módulo de elasticidade do concreto e a resistência a penetração através do teste de carbonatação inerentes a questão de durabilidade do mesmo, que serão comparados com a memória de cálculo e com os modelos computacionais tridimensionais desenvolvidos via “software” comercialSAP2000® (COMPUTERS AND STRUCTURES), que utiliza o método dos elementos finitos (MEF). O MEF foi utilizado para obtenção dos esforços permitindo as verificações de segurança de acordo com as recomendações normativas, tais análises comparativas são apresentadas e discutidas para a conclusão do comportamento das longarinas. Conhecendo com precisão a capacidade estrutural da ponte e a sua vida útil, pode-se assegurar o tráfego de composições com maior segurança.

Análise filogenética de genes de provável origem não humana de rotavírus do grupo A em espécimes fecais de crianças com gastrenterite aguda provenientes de Belém, Brasil

Os rotavírus (RVs) são a principal causa de gastrenterites viróticas agudas tanto em seres humanos, como em animais jovens de várias espécies, incluindo bezerros, equinos, suínos, caninos, felinos e aves. A diversidade genética dos RVs está associada a diferentes mecanismos de evolução. Nesse contexto registrem-se: mutação pontual, rearranjo genômico e reestruturação (reassortment). O objetivo do presente estudo foi realizar a caracterização molecular dos genes que codificam para as proteínas estruturais e não-estruturais em amostras não usuais de RVs. Os espécimes clínicos selecionados para este estudo foram oriundos de projetos de pesquisa em gastrenterites virais conduzidos no Instituto Evandro Chagas e provenientes de crianças e neonato com gastrenterite por RVs. Os espécimes fecais foram submetidos à reação em cadeia mediada pela polimerase, para os genes estruturais (VP1-VP4, VP6 e VP7) e não estruturais (NSP1-NSP6), os quais foram sequenciados posteriormente. Oito amostras não usuais de RV oriundas de crianças e neonato com gastrenterite foram analisadas evidenciando a ocorrência de eventos de rearranjos entre genes provenientes de origem animal em 5/8 (62,5%) das amostras analisadas. Desta forma, o presente estudo demonstra que apesar de ser rara a transmissão de RVs entre espécies (animais – humanos), ela está ocorrendo na natureza, como o que possivelmente ocorreu nas amostras do presente estudo NB150, HSP034, HSP180, HST327 e RV10109. O estudo é pioneiro na região amazônica e reforça dados descritos anteriormente que demonstram o estreito relacionamento existente entre genes provenientes de origem humana e animal que possam representar um desafio às vacinas ora em uso introduzidas em escala progressiva nos programas nacionais de imunização.

Inversão de dados eletromagnéticos com o regularizador Variação Total e o uso da matriz de sensibilidade aproximada

Neste trabalho apresentamos um estudo da aplicação do regularizador “Variação Total” (VT) na inversão de dados geofísicos eletromagnéticos. O regularizador VT reforça a proximidade entre os parâmetros adjacentes, mas, quando a influência de uma descontinuidade é sentida nos dados, este permite mudanças abruptas sobre os parâmetros. Isso faz com que o método seja uma alternativa válida, quando os dados observados usados na inversão provém de um ambiente geológico com uma distribuição suave de condutividade, mas que pode apresentar descontinuidades em lugares como as interfaces entre as camadas geoelétricas, como na margem de uma zona de óleo ou de um corpo de sal, que podem ser zonas muito resistivas no interior de sedimentos condutivos. Quando, devido a baixa resolução nos dados, o método não tem informações o suficiente para identificar a interface, o regularizador variação total reforça a proximidade entre os parâmetros adjacentes fazendo um transição suave entre as condutividades camadas, da mesma forma que é apresentado pela suavidade global. O método de Variação Total permite que modelos menos suaves sejam alcançados porque na norma L₁ a medida de desajuste entre os pares de parâmetros adjacentes, dará o mesmo valor se a variação dos parâmetros é suave ou se a variação é abrupta, o que não é o caso se o mesmo desajuste é medido na norma L₂, pois em uma distribuição suave a medida do desajuste é menor, sendo assim favorecida pela minimização desta norma. O uso deste regularizador permite uma melhor estimativa do tamanho de um corpo, seja ele resistivo ou condutivo. O trabalho está apresentado na forma de três artigos, cada um descrevendo uma etapa no desenvolvimento do problema da inversão, seguindo uma sequência de complexidade crescente no problema direto. O primeiro artigo neste trabalho é intitulado “Inversão de dados do CSEM marinho 1D de meio estratificado anisotrópico com o regularizador Variação Total”. Este descreve o passo inicial no desenvolvimento do problema: a inversão de dados do CSEM marinho de modelos estratificados 1D com anisotropia na condutividade das camadas. Este problema se presta bem para este desenvolvimento, porque tem solução computacional muito mais rápida do que o 2D, e nele já estão presentes as características principais dos dados do método CSEM marinho, como a largura muito grande da faixa de amplitudes medidas em um levantamento, e a baixa resolução, inerente às baixas frequências empregadas. A anisotropia acrescenta uma dificuldade a mais no problema, por aumentar o nível de ambiguidade nos dados e demandar ainda mais informação do que no caso puramente isotrópico. Os resultados mostram que a aplicação dos vínculos de igualdade do método VT permite a melhor identificação de uma camada alvo resistiva do que a simples aplicação dos vínculos tradicionais de suavidade. Até onde podemos aferir, esta solução se mostra superior a qualquer outra já publicada para este problema. Além de ter sido muito importante para o desenvolvimento de códigos em paralelo. O segundo artigo apresentado aqui, “Inversão de dados Magnetotelúricos com o regularizador Variação Total e o uso da matriz de sensibilidade aproximada”, trata da inversão de dados do método Magnetotelúrico em ambientes 2D. Este problema demanda um esforço computacional muito maior do que o primeiro. Nele, estudamos a aplicação do método dos estados adjuntos para gerar uma boa aproximação para as derivadas necessárias para a construção da matriz de sensibilidade usada na inversão. A construção da matriz de sensibilidade é a etapa que demanda mais tempo no processo de inversão, e o uso do método de estados adjuntos foi capaz de reduzir muito este tempo, gerando derivadas com um bom nível de aproximação. Esta etapa da pesquisa foi fundamental pelo problema direto ser matematicamente e computacionalmente muito mais simples do que o do CSEM marinho 2D. Novamente em comparação com a aplicação do regularizador de suavidade global, o regularizador de Variação Total permitiu, neste problema, uma melhor delimitação das bordas de heterogeneidades bidimensionais. A terceira parte deste trabalho, apresentada no artigo “Inversão de dados do CSEM marinho 2.5D com o regularizador Variação Total e o uso da matriz de sensibilidade aproximada”, apresenta a apliação do método de Variação Total ao problema da inversão de dados CSEM marinho 2.5D. Usamos o método dos estados adjuntos para gerar uma boa aproximação para as derivadas necessárias para a construção da matriz de sensibilidade usada na inversão, acelerando assim o processo de inversão. Para deixar o processo de inversão ainda mais rápido, lançamos mão da programação em paralelo com o uso de topologia. A comparação entre a aplicação do regularizador de suavidade global, e o regularizador de Variação Total permitiu, assim como nos casos anteriores, uma melhor delimitação das bordas de heterogeneidades bidimensionais.

Inversão vinculada de dados de EMAP e MT-1D anisotrópico

Uma técnica para a inversão de dados magnetotelúricos é apresentada neste trabalho. Dois tipos de dados são tratados aqui, dados gerados por modelos unidimensionais com anisotropia na condutividade das camadas e dados bi-dimensionais de levantamentos do método EMAP (ElectroMagnetic Array Profiling). Em ambos os casos fazemos a inversão usando vínculos aproximados de igualdade para estabilizar as soluções. Mostramos as vantagens e as limitações do uso destes vínculos nos processos de inversão. Mesmo vinculada a inversão ainda pode se tornar instável. Para inverter os dados 2-D do EMAP, apresentamos um processo que consiste de três partes: 1 – A construção de um modelo interpretativo e da aproximação inicial para a inversão a partir dos dados de seções de resistividade aparente filtradas pelo processo de filtragem do EMAP; 2 – a inclusão de uma camada de corpos pequenos aflorantes, chamada de camada destatic shift, aos modelos interpretativos para resolver as fontes de distorções estáticas que contaminam os dados; 3 – o uso dos vínculos aproximados de igualdade absoluta para estabilizar as soluções. Os dois primeiros passos nos permitem extrair o máximo de informação possível dos dados, enquanto que o uso dos vínculos de igualdade nos permite incluir informação a priori que possua significado físico e geológico. Com estes passos, obtemos uma solução estável e significativa. Estudaremos o método em dados sintéticos de modelos bi-dimensionais e em dados reais de uma linha de EMAP feita na Bacia do Paraná.

Modelagem 1D e 2,5D de dados do método CSEM marinho em meios com anisotropia transversal inclinada

Neste trabalho apresentamos a solução do campo eletromagnético gerado por um dipolo elétrico horizontal em meios transversalmente isotrópicos com eixo de simetria vertical (TIV) e com eixo de simetria inclinado (TII). Para modelos unidimensionais, o campo eletromagnético foi obtido por duas metodologias distintas: (1) solução semi-analítica das equações de Maxwell com auxílio de potenciais vetores no caso TIV e (2) em modelos com anisotropia transversal inclinada o campo eletromagnético foi separado em primário e secundário, e então, o campo secundário foi calculado pelo método de elementos finitos no domínio (k_x, k_y, z) da transformada de Fourier. Para estruturas bidimensionais, foi aplicada a mesma metodologia usado nos modelos TII unidimensionais, onde o campo secundário foi calculado pelo método de elementos finitos no domínio (x, k_y, z), da transformada de Fourier, com a utilização de malhas não estruturadas para discretização dos modelos. Estas respostas foram usados para avaliar os efeitos da anisotropia elétrica nos dados CSEM marinho 1D e 2,5D.

Modelagem 2,5D dos campos usados no Método Eletromagnético a Multi-Frequência - EMMF

Esta tese mostra a modelagem 2,5D de dados sintéticos do Método Eletromagnético a Multi-frequência (EMMF). O trabalho é apresentado em duas partes: a primeira apresenta os detalhes dos métodos usados nos cálculos dos campos gerados por uma bobina horizontal de corrente colocada sobre a superfície de modelos bidimensionais; e a segunda, usa os resultados obtidos para simular os dados medidos no método EMMF, que são as partes real e imaginária da componente radial do campo magnético gerado pela bobina. Nesta segunda parte, observamos o comportamento do campo calculado em diversos modelos, incluindo variações nas propriedades físicas e na geometria dos mesmos, com o intuito de verificar a sensibilidade do campo observado com relação às estruturas presentes em uma bacia sedimentar. Com esta modelagem, podemos observar as características dos dados e como as duas partes, real e imaginária, contribuem com informações distintas e complementares. Os resultados mostram que os dados da componente radial do campo magnético apresentam muito boa resolução lateral, mesmo estando a fonte fixa em uma única posição. A capacidade desses dados em distinguir e resolver estruturas alvo será fundamental para o trabalho futuro de inversão, bem como para a construção de seções de resistividade aparente.

Arranjos coplanar e coaxial nas sondas de perfilagem de poço: ferramentas triaxiais em reservatórios laminados

A ferramenta de indução triaxial ou multicomponente foi desenvolvida recentemente para solucionar os problemas de medição da convencional perfilagem de indução em formações anisotrópicas. Neste trabalho são apresentadas as respostas da sonda de indução triaxial em reservatórios que possuem seqüências finamente laminadas de arenito e folhelho. Reservatórios como estes apresentam a conhecida anisotropia macroscópica, portanto, os resultados demonstrarão a existência de uma resistividade horizontal e outra vertical. Devido a sonda triaxial de indução apresentar dois pares de bobinas coplanares, os quais em geral fornecem os valores de resistividade vertical, este trabalho apresenta inicialmente um estudo analítico e qualitativo das respostas obtidas pelo arranjo coplanar onde o transmissor é tratado como um dipolo. Também será apresentada a solução analítica em que a bobina transmissora é considerada como um loop de dimensão finita.

Estudo comparativo das técnicas de elementos finitos e equação integral na modelagem eletromagnética bidimensional

Os métodos numéricos de Elementos Finitos e Equação Integral são comumente utilizados para investigações eletromagnéticas na Geofísica, e, para essas modelagens é importante saber qual algoritmo é mais rápido num certo modelo geofísico. Neste trabalho são feitas comparações nos resultados de tempo computacional desses dois métodos em modelos bidimensionais com heterogeneidades condutivas num semiespaço resistivo energizados por uma linha infinita de corrente (com 1000Hz de freqüência) e situada na superfície paralelamente ao "strike" das heterogeneidades. Após a validação e otimização dos programas analisamos o comportamento dos tempos de processamento nos modelos de corpos retangulares variandose o tamanho, o número e a inclinação dos corpos. Além disso, investigamos nesses métodos as etapas que demandam maior custo computacional. Em nossos modelos, o método de Elementos Finitos foi mais vantajoso que o de Equação Integral, com exceção na situação de corpos com baixa condutividade ou com geometria inclinada.

Efeito da escarificação e luminosidade na germinação in vitro de sementes de cagaiteira (Eugenia dysenterica DC.)

A cagaiteira é uma espécie nativa do Cerrado com elevado potencial frutífero. Como suas sementes apresentam elevada variabilidade, sendo ainda recalcitrantes e dormentes, a germinação in vitro apresenta-se como uma alternativa para a propagação da espécie, além de permitir a obtenção de explantes juvenis para a micropropagação. Com presente trabalho, objetivou-se avaliar o efeito da escarificação e da luminosidade na germinação in vitro de sementes de cagaiteira. Sementes desprovidas do tegumento e sementes intactas foram inoculadas em meio MS e mantidas na ausência e presença de luz. Sementes desprovidas de tegumento germinadas tanto na presença quanto na ausência de luz apresentaram 86,25% e 88,25% de germinação aos 31 e 71 dias da inoculação, respectivamente. Após 150 dias de inoculação, plântulas provenientes de sementes desprovidas de tegumento, germinadas na presença e ausência de luminosidade, apresentaram 10% e 12% de anomalias, respectivamente.

Modelagem 2,5D por elementos finitos dos efeitos da topografia do terreno sobre dados obtidos com o método eletromagnético a multifrequência

Este trabalho consiste em realizar a modelagem, via elementos finitos (EF) 2,5D, do efeito da topografia do terreno sobre dados obtidos com o método eletromagnético a multi-frequência (EMMF). Este método usa como fonte uma grande espira quadrada de corrente elétrica com centenas de metros de lado, e como receptores, bobinas posicionadas na horizontal em alinhamento com o transmissor. A subsuperfície é representada por heterogeneidades bidimensionais imersas em um meio horizontalmente estratificado. A formulação, partindo das equações de Maxwell, é desenvolvida a partir da separação do campo eletromagnético em primário (campos no hospedeiro multi-estratificado) e secundário (diferença entre o campo total e o primário). O domínio discretizado é descrito por uma malha não estruturada, com elementos triangulares. Para calcular as componentes derivadas da solução de elementos finitos, em um determinado nó da malha, foi usada a média aritmética das derivadas das funções bases de EF em torno daquele nó. O código de modelagem construído permite quantificar e analisar como os gradientes topográficos influenciam as medidas dos campos eletromagnéticos gerados. A aplicação é a avaliação dessas influências sobre a componente radial do campo da espira na superfície terrestre, que é a componente empregada no método eletromagnético a multi-frequência (EMMF).

Modelagem de dados MT 2D em multicamadas com anisotropia arbitrária

Neste trabalho apresentamos a modelagem direta bidimensional do método Magnetotelúrico (MT) com anisotropia arbitrária na condutividade elétrica para modelos de multicamadas estratificadas horizontalmente, separando a resposta do campo resultante em duas partes, primária e secundária. A parte primária refere-se ao campo 1D do modelo na ausência de heterogeneidades; a secundária, à contribuição no campo resultante gerada pela anomalia. Esta modelagem foi feita via técnica numérica dos Elementos Finitos (EF). Apresentamos também a modelagem direta do caso MT 1D para o mesmo modelo e anisotropia arbitrária, porém, com solução analítica pelo método da matriz de propagação; tal resultado é usado como fonte na formulação 2D. No estudo a respeito do comportamento dos campos 1D em profundidade na presença da anisotropia, verificamos nas componentes horizontais que suas curvas dentro de cada camada se assemelham a de um campo na presença de fontes, pois experimentam um aumento na amplitude; além de verificar o surgimento da componente normal E_z do campo, sem que haja uma densidade de corrente nesta direção. Com arbitrariedade na anisotropia queremos dizer que seus eixos principais podem assumir qualquer orientação em relação ao eixo de referência adotado para o problema; tal orientação é descrita sob três rotações consecutivas, chamadas de strike, dip e slant, que simulam inclinações bastante presentes na geologia dos ambientes terrestres. Verificamos que a anisotropia provoca alterações no comportamento das pseudo-seções de resistividades aparentes, interferindo na interpretação correta dos dados.

Modelagem e filtragem de distorções estáticas em levantamentos de dipolos contínuos

As distorções estáticas são um grave problema que afeta o método magnetotelúrico e muitas tentativas têm sido feitas para eliminar ou minimizar os seus efeitos. Este trabalho trata de uma técnica nova que trata deste problema, o método EMAP, que é uma adaptação do método magnetotelúrico na qual as medidas de campo elétrico são feitas em uma linha contínua de dipolos conectados entre si, e os dados coletados desta maneira são tratados com um filtro espacial passa-baixa dependente da frequência. Este trabalho é composto de duas partes principais, a simulação numérica dos dados contaminados com as distorções estáticas e a filtragem destes dados com o filtro espacial passa-baixa. Na primeira parte, aplicamos o método dos elementos finitos para simular a resposta dos dipolos elétricos, os quais fazem as medidas do campo elétrico. Na segunda parte aplicamos a janela de Hanning como filtro passa-baixa apropriado para tratar os dados.

Modelagem do mCSEM no domínio do tempo usando transformada discreta de Fourier

A modelagem do mCSEM é feita normalmente no domínio da frequência, desde sua formulação teórica até a análise dos resultados, devido às simplificações nas equações de Maxwell, possibilitadas quando trabalhamos em um regime de baixa frequência. No entanto, a abordagem através do domínio do tempo pode em princípio fornecer informação equivalente sobre a geofísica da subsuperfície aos dados no domínio da frequência. Neste trabalho, modelamos o mCSEM no domínio da frequência em modelos unidimensionais, e usamos a transformada discreta de Fourier para obter os dados no domínio do tempo. Simulamos ambientes geológicos marinhos com e sem uma camada resistiva, que representa um reservatório de hidrocarbonetos. Verificamos que os dados no domínio do tempo apresentam diferenças quando calculados para os modelos com e sem hidrocarbonetos em praticamente todas as configurações de modelo. Calculamos os resultados considerando variações na profundidade do mar, na posição dos receptores e na resistividade da camada de hidrocarbonetos. Observamos a influência da airwave, presente mesmo em profundidades oceânicas com mais de 1000m, e apesar de não ser possível uma simples separação dessa influência nos dados, o domínio do tempo nos permitiu fazer uma análise de seus efeitos sobre o levantamento. Como parte da preparação para a modelagem em ambientes 2D e 3D, fazemos também um estudo sobre o ganho de desempenho pelo uso do paralelismo computacional em nossa tarefa.