Um estudo sobre certos invariantes homológicos relativos duais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Simulação numérica de escoamentos de fluídos pelo método de elementos finitos baseado em volumes de controle com a técnica de passo fracionado

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Férmions em campos externos em 1+1 e 2+1 dimensões

Pós-graduação em Física - FEG

Perfil econômico e mudanças na estrutura produtiva das cidades médias paulistas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Síntese, caracterização e investigação das atividades biológicas de compostos ciclopalados

Pós-graduação em Química - IQ

Associação do filtro orgânico butil metoxi dibenzoil metano com o sistema óxido de zinco: óxido de titâmio (IV) para aplicação em protetores solares

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Adubação nitrogenada para produção de tapetes de grama Santo Agostinho e Esmeralda

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Extração automática de contornos de telhados de edifícios em um modelo digital de elevação, utilizando inferência Bayesiana e campos aleatórios de Markov

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Palhada residual de cana-de-açúcar (Saccharum spp) colhida mecanicamente (sem queima prévia): manejo, fertilização, influência no perfilhamento e produtividade da cultura

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Modelos não-lineares de teoria de campos e mundos-brana

Pós-graduação em Física - FEG

Revisão sistemática e filogeografia de Deconychura longicauda (Aves - Dendrocolaptidae)

Os limites interespecíficos da espécie politípica Deconychura longicauda (Dendrocolaptidae) foram investigados por uma análise conjunta, incluindo caracteres moleculares, morfológicos e vocais. Um total de 1.108 pares de bases de genes mitocondriais Cit b e ND2 foram usados para construir hipóteses filogenéticas, ao passo que os caracteres morfológicos e vocais foram analisados com métodos estatísticos univariado e multivariado. Todas as árvores filogenéticas recuperadas indicam altos níveis de diferenciação genética e estrutura filogeográfica em Deconychura longicauda, com o reconhecimento de quatro grupos principais bem apoiados, geograficamente constituídos por aves (1) do centro de endemismo Guiana no nordeste da América do Sul (2), da bacia amazônica excluindo o escudo das Guianas (3), do sopé oriental dos Andes, e (4), trans-Andinas da América do Sul e América Central. O nível de divergência genética entre estes clados varia de 6-8% (entre as aves Guianenses, não-Guianenses, do sopé dos Andes e trans-Andinas). Embora os caracteres morfológicos contribuam pouco para a diagnose em Deconychura, o canto, por outro lado, consistetemente os distinguem. Nós recomendamos com base, principalmente, em sua diagnose molecular e vocal o desdobramento de D. longicauda nas seguintes espécies filogenéticas e biológicas: Deconychura longicauda, D. pallida, D. zimmeri, D. connectens, D. typica e um táxon ainda não nomeado, endêmico do sopé oriental dos Andes.

Viabilidade da dose fracionada de sêmen bovino criopreservado descongelada por diferentes métodos

Considerando a baixa concentração espermática necessária para promover a fecundação de oócitos na FIV, objetivou-se com este trabalho avaliar a qualidade da dose de sêmen bovino criopreservada após o seu fracionamento em duas partes visando um maior aproveitamento da mesma em programa de PIV. O experimento foi realizado utilizando 110 doses de sêmen congeladas em palhetas de 0,25 mL proveniente de 10 touros, que foram divididas em etapas: Uma dose representou o grupo controle, 5 foram destinadas para o grupo de descongelação direta (DD) e 5 para o grupo de descongelação indireta (DI). As doses foram fracionadas em duas partes, formando para cada grupo dois subgrupos, unidade da esfera (UE) e unidade do álcool polivinílico (UAP). O primeiro subgrupo teve análise imediata; e o segundo foi analisado após 24h de armazenamento em N₂. Os dados foram analisados por estatística descritiva, teste de Kruskal-Wallis e SNK (P < 0,05), apresentando motilidade e vigor: DI- imediata: 48,8% / 2,4; DI-24h: 54,2% / 2,5; DD-imediata: 67,8% / 3,0; DD-24h: 69,6% / 3,0; Controle: 70% / 3,0. Para lesão de acrossoma e integridade da membrana: DI- imediata: 24,3% / 40,5%; DI-24h: 36,2% / 44,3%; DD-imediata: 12,8% / 63,6%; DD-24h: 12,6% / 59,0%; controle: 11,9% / 57,5%. Média de concentração espermática: DI- imediata: 6,1×10⁶ DI-24h: 7,2×10⁶; DD- imediata: 8.2×10⁶; DD-24h: 7.8×10⁶ espermatozóide/fração de dose. Deste modo para o fracionamento da dose de sêmen bovino criopreservado o melhor método de descongelação foi o direto, uma vez que apresentou os melhores resultados em todos os parâmetros analisados.

Interpolação de dados de campo potencial através da camada equivalente

O uso da técnica da camada equivalente na interpolação de dados de campo potencial permite levar em consideração que a anomalia, gravimétrica ou magnética, a ser interpolada é uma função harmônica. Entretanto, esta técnica tem aplicação computacional restrita aos levantamentos com pequeno número de dados, uma vez que ela exige a solução de um problema de mínimos quadrados com ordem igual a este número. Para viabilizar a aplicação da técnica da camada equivalente aos levantamentos com grande número de dados, nós desenvolvemos o conceito de observações equivalentes e o método EGTG, que, respectivamente, diminui a demanda em memória do computador e otimiza as avaliações dos produtos internos inerentes à solução dos problemas de mínimos quadrados. Basicamente, o conceito de observações equivalentes consiste em selecionar algumas observações, entre todas as observações originais, tais que o ajuste por mínimos quadrados, que ajusta as observações selecionadas, ajusta automaticamente (dentro de um critério de tolerância pré-estabelecido) todas as demais que não foram escolhidas. As observações selecionadas são denominadas observações equivalentes e as restantes são denominadas observações redundantes. Isto corresponde a partir o sistema linear original em dois sistemas lineares com ordens menores. O primeiro com apenas as observações equivalentes e o segundo apenas com as observações redundantes, de tal forma que a solução de mínimos quadrados, obtida a partir do primeiro sistema linear, é também a solução do segundo sistema. Este procedimento possibilita ajustar todos os dados amostrados usando apenas as observações equivalentes (e não todas as observações originais) o que reduz a quantidade de operações e a utilização de memória pelo computador. O método EGTG consiste, primeiramente, em identificar o produto interno como sendo uma integração discreta de uma integral analítica conhecida e, em seguida, em substituir a integração discreta pela avaliação do resultado da integral analítica. Este método deve ser aplicado quando a avaliação da integral analítica exigir menor quantidade de cálculos do que a exigida para computar a avaliação da integral discreta. Para determinar as observações equivalentes, nós desenvolvemos dois algoritmos iterativos denominados DOE e DOEg. O primeiro algoritmo identifica as observações equivalentes do sistema linear como um todo, enquanto que o segundo as identifica em subsistemas disjuntos do sistema linear original. Cada iteração do algoritmo DOEg consiste de uma aplicação do algoritmo DOE em uma partição do sistema linear original. Na interpolação, o algoritmo DOE fornece uma superfície interpoladora que ajusta todos os dados permitindo a interpolação na forma global. O algoritmo DOEg, por outro lado, otimiza a interpolação na forma local uma vez que ele emprega somente as observações equivalentes, em contraste com os algoritmos existentes para a interpolação local que empregam todas as observações. Os métodos de interpolação utilizando a técnica da camada equivalente e o método da mínima curvatura foram comparados quanto às suas capacidades de recuperar os valores verdadeiros da anomalia durante o processo de interpolação. Os testes utilizaram dados sintéticos (produzidos por modelos de fontes prismáticas) a partir dos quais os valores interpolados sobre a malha regular foram obtidos. Estes valores interpolados foram comparados com os valores teóricos, calculados a partir do modelo de fontes sobre a mesma malha, permitindo avaliar a eficiência do método de interpolação em recuperar os verdadeiros valores da anomalia. Em todos os testes realizados o método da camada equivalente recuperou mais fielmente o valor verdadeiro da anomalia do que o método da mínima curvatura. Particularmente em situações de sub-amostragem, o método da mínima curvatura se mostrou incapaz de recuperar o valor verdadeiro da anomalia nos lugares em que ela apresentou curvaturas mais pronunciadas. Para dados adquiridos em níveis diferentes o método da mínima curvatura apresentou o seu pior desempenho, ao contrário do método da camada equivalente que realizou, simultaneamente, a interpolação e o nivelamento. Utilizando o algoritmo DOE foi possível aplicar a técnica da camada equivalente na interpolação (na forma global) dos 3137 dados de anomalia ar-livre de parte do levantamento marinho Equant-2 e 4941 dados de anomalia magnética de campo total de parte do levantamento aeromagnético Carauari-Norte. Os números de observações equivalentes identificados em cada caso foram, respectivamente, iguais a 294 e 299. Utilizando o algoritmo DOEg nós otimizamos a interpolação (na forma local) da totalidade dos dados de ambos os levantamentos citados. Todas as interpolações realizadas não seriam possíveis sem a aplicação do conceito de observações equivalentes. A proporção entre o tempo de CPU (rodando os programas no mesmo espaço de memória) gasto pelo método da mínima curvatura e pela camada equivalente (interpolação global) foi de 1:31. Esta razão para a interpolação local foi praticamente de 1:1.

Migração FD 3D em profundidade usando aproximação de Padé complexa

A implementação convencional do método de migração por diferenças finitas 3D, usa a técnica de splitting inline e crossline para melhorar a eficiência computacional deste algoritmo. Esta abordagem torna o algoritmo eficiente computacionalmente, porém cria anisotropia numérica. Esta anisotropia numérica por sua vez, pode levar a falsos posicionamentos de refletores inclinados, especialmente refletores com grandes ângulos de mergulho. Neste trabalho, como objetivo de evitar o surgimento da anisotropia numérica, implementamos o operador de extrapolação do campo de onda para baixo sem usar a técnica splitting inline e crossline no domínio frequência-espaço via método de diferenças finitas implícito, usando a aproximação de Padé complexa. Comparamos a performance do algoritmo iterativo Bi-gradiente conjugado estabilizado (Bi-CGSTAB) com o multifrontal massively parallel solver (MUMPS) para resolver o sistema linear oriundo do método de migração por diferenças finitas. Verifica-se que usando a expansão de Padé complexa ao invés da expansão de Padé real, o algoritmo iterativo Bi-CGSTAB fica mais eficientes computacionalmente, ou seja, a expansão de Padé complexa atua como um precondicionador para este algoritmo iterativo. Como consequência, o algoritmo iterativo Bi-CGSTAB é bem mais eficiente computacionalmente que o MUMPS para resolver o sistema linear quando usado apenas um termo da expansão de Padé complexa. Para aproximações de grandes ângulos, métodos diretos são necessários. Para validar e avaliar as propriedades desses algoritmos de migração, usamos o modelo de sal SEG/EAGE para calcular a sua resposta ao impulso.

Migração FFD 3D em profundidade usando aproximação de Padé complexa

Implementações dos métodos de migração diferença finita e Fourier (FFD) usam fatoração direcional para acelerar a performance e economizar custo computacional. Entretanto essa técnica introduz anisotropia numérica que podem erroneamente posicionar os refletores em mergulho ao longo das direções em que o não foi aplicado a fatoração no operador de migração. Implementamos a migração FFD 3D, sem usar a técnica do fatoração direcional, no domínio da frequência usando aproximação de Padé complexa. Essa aproximação elimina a anisotropia numérica ao preço de maior custo computacional buscando a solução do campo de onda para um sistema linear de banda larga. Experimentos numéricos, tanto no modelo homogêneo e heterogêneo, mostram que a técnica da fatoração direcional produz notáveis erros de posicionamento dos refletores em meios com forte variação lateral de velocidade. Comparamos a performance de resolução do algoritmo de FFD usando o método iterativo gradiente biconjugado estabilizado (BICGSTAB) e o multifrontal massively parallel direct solver (MUMPS). Mostrando que a aproximação de Padé complexa é um eficiente precondicionador para o BICGSTAB, reduzindo o número de iterações em relação a aproximação de Padé real. O método iterativo BICGSTAB é mais eficiente que o método direto MUMPS, quando usamos apenas um termo da expansão de Padé complexa. Para maior ângulo de abertura do operador, mais termos da série são requeridos no operador de migração, e neste caso, a performance do método direto é mais eficiente. A validação do algoritmo e as propriedades da evolução computacional foram avaliadas para a resposta ao impulso do modelo de sal SEG/EAGE.