3D raytracing through homogeneous anisotropic media with smooth interfaces

O raio conectando dois pontos em um meio anisotrópico, homogêneo por partes e com variação lateral, é calculado utilizando-se técnicas de continuação em 3D. Se combinado com algoritmos para solução do problema de valor inicial, o método pode ser estendido para o cálculo de eventos qS₁ e qS₂. O algoritmo apresenta a mesma eficiência e robustez que implementações de técnicas de continuação em meios isotrópicos. Rotinas baseadas neste algoritmo têm várias aplicações de interesse. Primeiramente, na modelagem e inversão de parâmetros elásticos na presença de anisotropia. Em segundo lugar, as iterações de Newton-Raphson produzem atributos da frente de onda como vetor vagarosidade e a matrix hessiana do tempo de trânsito, quantidades que permitem determinar o espalhamento geométrico e aproximações de segunda ordem para o tempo de trânsito. Estes atributos permitem calcular as amplitudes ao longo do raio e investigar os efeitos da anisotropia no empilhamento CRS em modelos de velocidade simples.

Trabalho social e política habitacional: entre concepções e discursos

A pesquisa em tela analisa a concepção de Trabalho Social proposta pelo Ministério das Cidades e implementada pela Companhia de Habitação do Estado do Pará. O trabalho social apresenta historicamente elementos que se reeditam e assumem novos contornos. A partir da criação do Ministério das Cidades, em 2003, inicia-se no Brasil um período novo, no que diz respeito às políticas de Desenvolvimento Urbano. No entanto, é apenas em 2007 com o lançamento do Programa de Aceleração do Crescimento, que se ampliam os investimentos na política urbana. O trabalho social é parte constituinte obrigatório nas intervenções de provisão habitacional e nas intervenções de assentamentos precários. No estado do Pará, o órgão responsável pela implementação da política urbana é a Companhia de Habitação do Estado do Pará. A construção desta pesquisa é orientada pela teoria social crítica, que permite compreender as múltiplas determinações dos fenômenos que norteiam a temática em questão. A pesquisa foi realizada com base no levantamento bibliográfico, documental e de campo, incluindo entrevistas com Assistentes Sociais que atuam nos projetos de Trabalho Social da Companhia de Habitação do Estado do Pará. Constata-se que o discurso estatal da concepção do trabalho social é entrelaçado por determinadas categoriais previamente definidas. Assim, compreende-se que a COHAB/PA alinha-se ao discurso empreendido pelo Ministério das Cidades e pelos órgãos que dão a direção para a implementação do Trabalho Social nos projetos de intervenção urbanística do governo federal. Identificam-se no discurso governamental através dos documentos, cursos à distância para os profissionais envolvidos com o trabalho social, e nos depoimentos das entrevistas, o alinhamento na direção dada ao Trabalho Social, que objetiva “a autonomia, o protagonismo e a participação da população beneficiária dos projetos de governo para o alcance da cidadania e da sustentabilidade do empreendimento.” Algumas Técnicas Sociais afirmam que buscam estratégias para a garantia dos direitos sociais, mas sentem-se amarradas pelas orientações da CAIXA e do Ministério das Cidades. Deste modo, as categorias que dão significado à concepção de Trabalho Social são esvaziadas de sentido e instrumentalizadas através de ações pontuais e assistencialistas que são insuficientes para o acesso à cidadania em seu aspecto pleno, para o acesso à moradia digna. É neste contexto de contradições e conflitos que se inserem o Trabalho Social proposto pelo Ministério das Cidades e implementado pela Companhia de Habitação do Estado do Pará.

Processamento interpretativo de dados magnetométricos e inversão de dados gravimétricos aplicados à prospecção de hidrocarbonetos

Apresentamos dois métodos de interpretação de dados de campos potenciais, aplicados à prospecção de hidrocarbonetos. O primeiro emprega dados aeromagnéticos para estimar o limite, no plano horizontal, entre a crosta continental e a crosta oceânica. Este método baseia-se na existência de feições geológicas magnéticas exclusivas da crosta continental, de modo que as estimativas das extremidades destas feições são usadas como estimativas dos limites da crosta continental. Para tanto, o sinal da anomalia aeromagnética na região da plataforma, do talude e da elevação continental é amplificado através do operador de continuação analítica para baixo usando duas implementações: o princípio da camada equivalente e a condição de fronteira de Dirichlet. A maior carga computacional no cálculo do campo continuado para baixo reside na resolução de um sistema de equações lineares de grande porte. Este esforço computacional é minimizado através do processamento por janelas e do emprego do método do gradiente conjugado na resolução do sistema de equações. Como a operação de continuação para baixo é instável, estabilizamos a solução através do funcional estabilizador de primeira ordem de Tikhonov. Testes em dados aeromagnéticos sintéticos contaminados com ruído pseudo-aleatório Gaussiano mostraram a eficiência de ambas as implementações para realçar os finais das feições magnéticas exclusivas da crosta continental, permitindo o delineamento do limite desta com a crosta oceânica. Aplicamos a metodologia em suas duas implementações a dados aeromagnéticos reais de duas regiões da costa brasileira: Foz do Amazonas e Bacia do Jequitinhonha. O segundo método delineia, simultaneamente, a topografia do embasamento de uma bacia sedimentar e a geometria de estruturas salinas contidas no pacote sedimentar. Os modelos interpretativos consistem de um conjunto de prismas bidimensionais verticais justapostos, para o pacote sedimentar e de prismas bidimensionais com seções verticais poligonais para as estruturas salinas. Estabilizamos a solução, incorporando características geométricas do relevo do embasamento e das estruturas salinas compatíveis com o ambiente geológico através dos estabilizadores da suavidade global, suavidade ponderada e da concentração de massa ao longo de direções preferenciais, além de vínculos de desigualdade nos parâmetros. Aplicamos o método a dados gravimétricos sintéticos produzidos por fontes 2D simulando bacias sedimentares intracratônicas e marginais apresentando densidade do pacote sedimentar variando com a profundidade segundo uma lei hiperbólica e abrigando domos e almofadas salinas. Os resultados mostraram que o método apresenta potencial para delinear, simultaneamente, as geometrias tanto de almofadas e domos salinos, como de relevos descontínuos do embasamento. Aplicamos o método, também, a dados reais ao longo de dois perfis gravimétricos sobre as Bacias de Campos e do Jequitinhonha e obtivemos interpretações compatíveis com a geologia da área.

Método de inversão matricial rápido GSGR para vectoring em sistemas xDSL, com implementação em chip DSP

Este trabalho apresenta um método rápido de inversão de matrizes densas, e uma possível aplicação com métodos de Vectoring, em pré-codificação e cancelamento de crosstalk de sistemas xDSL. A família de tecnologias xDSL utiliza os pares trançados de fios de cobre telefônicos como meio físico para transmitir dados digitais. O crosstalk é a principal causa de degradação de sinais na mais nova geração de sistemas xDSL, o G.fast, e para combatê-lo são utilizadas técnicas de pré-codificação e cancelamento, chamadas de Vectoring. O método proposto, chamado de GSGR, consiste em uma abordagem diferente para o método clássico de Squared Givens Rotations (SGR), adequado a implementações em plataformas embarcadas de processamento digital de sinais. Foram realizados testes comparativos do método GSGR com métodos diretos clássicos de inversão, utilizando uma plataforma digital multicore baseada no chip TI DSP TMS320C6670 e a plataforma de software Matlab. Os resultados dos testes de inversão de matrizes usando dados reais e dados simulados mostraram que o GSGR foi superior em velocidade de execução sem apresentar perdas significativas de acurácia para a aplicação em sistemas xDSL.

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 FD e FFD com aproximações de grande abertura angular

Métodos de migração baseados na equação da onda unidirecional apresentam limitações no imageamento de refletores com forte mergulho e no tratamento de ondas evanescentes. Utilizando a expansão de Padé complexa na solução da equação da onda unidirecional para imageamento em geofísica é possível tratar ondas evanescentes, estabilizando a migração e dispensando um tratamento especial para absorção nas fronteiras do domínio. Utilizando várias parcelas na expansão de Padé, refletores com forte mergulho podem ser corretamente migrados. Nesta dissertação aplicamos a equação da onda unidirecional com expansão de Padé complexa para implementar dois algoritmos de migração em profundidade pré e pós empilhamento: a migração por diferenças finitas (FD) e a migração por diferenças finitas e Fourier (FFD). O estudo das curvas de dispersão e da resposta impulsiva dos operadores de migração nos permitiu escolher o número adequado de parcelas na expansão de Padé e os coeficientes da expansão que garantem estabilidade à continuação do campo de onda para um ângulo de mergulho máximo prescrito. As implementações foram validadas nos dados Marmousi e no modelo de domo de sal da SEG/EAGE mostrando que refletores com forte mergulho foram corretamente migrados, mesmo na presença de forte variação lateral de velocidade. Esses resultados são comparados com outros métodos de migração baseados na equação da onda unidirecional ressaltando a qualidade da aproximação estudada neste trabalho.

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.

Identidades às avessas os desafios do exercício profissional das assistentes sociais da Vale em Carajás

A dissertação analisa as identidades das assistentes sociais da Vale, como manifestações ideológicas do contexto de reestruturação produtiva capitalista. As categorias centrais de análise foram o trabalho, na concepção de Marx e a ideologia, na concepção de Gramsci. A lógica capitalista, que conduz à alienação e à manipulação da subjetividade do trabalhador, influencia os profissionais a absorverem acriticamente do senso-comum as representações da hegemonia dominante, que se manifestam implicitamente nos comportamentos e na linguagem dos profissionais. Os sujeitos da pesquisa foram as assistentes sociais da Vale, que atuam nas unidades localizadas na região de Carajás, sudeste paraense, visto que a empresa é uma transnacional com forte influência na região amazônica. Nos dias atuais, os municípios da região de Carajás têm sua dinâmica de desenvolvimento social, econômico e cultural, associada às atividades da empresa. A hipótese da pesquisa foi que as identidades dos assistentes sociais da Vale, no contexto de reestruturação produtiva do capital, são identidades às avessas, que contribuem para a reprodução de práticas mistificadas e reducionistas, que reproduzem os interesses capitalistas. A partir da pesquisa empírica, que teve como recorte temporal o ano de 2007 até os dias atuais, constatou-se que no exercício profissional, as assistentes sociais da empresa vivenciam as contradições inerentes tanto à implantação da Vale na região quanto as relacionadas ao desenvolvimento do Serviço Social, o que contribui mais para o fortalecimento da hegemonia capitalista do que para a efetivação do projeto ético-político-profissional do Serviço Social. A análise das correlações de forças presentes nesse espaço de atuação se constituem em objeto de debate e reflexão em torno dos desafios mas também das possibilidades objetivas identificadas na particularidade pesquisada e que foram capturadas nas entrelinhas do discurso das próprias profissionais entrevistadas.

Consórcio intermunicipal para gestão ambiental nos municípios de pequeno porte 1 e 2 do nordeste paraense: uma possibilidade para gestão ambiental?

Após a publicação da Lei Complementar Federal no. 140 (LC 140/2011), de 08/12/2011, que definiu as competências dos municípios na gestão de políticas públicas ambientais, surgiu a necessidade de propor ações pelo poder público municipal para sua implementação. Para assegurar a eficácia da referida lei, os municípios deveriam estruturar-se para licenciar e fiscalizar as atividades degradadoras, ou potencialmente degradadoras, em seus territórios. Os órgãos criados no âmbito das políticas municipais ambientais demandariam estruturação física e de pessoal que, por serem onerosas, se tornaram verdadeiros óbices à priorização do gestor para garantir as condições necessárias para a gestão ambiental municipal. Dessa forma, a cooperação entre os entes federados, por intermédio do instrumento de Consórcio Público se apresenta como uma alternativa estratégica para implementação da lei nos municípios de pequeno porte para encaminhamento das questões ambientais. Entende-se que um planejamento territorial regional facilitaria o encaminhamento para solicitação de recursos, bem como para a celebração de contratos e convênios que beneficiassem os municípios consorciados. O presente estudo analisa a Capacidade Institucional de gestão ambiental entre os municípios de Vigia de Nazaré, São Caetano de Odivelas, Santo Antônio do Tauá e Colares e propõe um protocolo de intenções para formalização de um consórcio público para gestão intermunicipal do meio ambiente. De acordo com o IBGE, referidos municípios são de pequeno porte classes 1 e 2, localizados na Região Nordeste do Estado do Pará. No decorrer da pesquisa, após as visitas aos municípios, constatou-se a falta de capacidade institucional para promover a gestão ambiental em seus próprios territórios pelos municípios, como carência de servidores, baixa capacitação, escassez de recursos financeiros, omissões legislativas, inoperância dos conselhos e dos fundos municipais, além de ausência de aparelhamento como viaturas e equipamentos de medição. Por outro lado foi detectado que já ocorreram reuniões entre os gestores municipais para buscar uma solução conjunta para os problemas da região, dada a proximidade territorial e as semelhanças dos seus recursos naturais. Neste passo, ao final se construiu uma proposta para implementação de um consórcio intermunicipal, mediante um termo de cooperação para gestão ambiental integral entre os municípios.