Métodos multigrid paralelos em malhas não estruturadas aplicados à simulação de problemas de dinâmica de fluidos computacional e transferência de calor

Fenômenos naturais, tecnológicos e industriais podem, em geral, ser modelados de modo acurado através de equações diferenciais parciais, definidas sobre domínios contínuos que necessitam ser discretizados para serem resolvidos. Dependendo do esquema de discretização utilizado, pode-se gerar sistemas de equações lineares. Esses sistemas são, de modo geral, esparsos e de grande porte, onde as incógnitas podem ser da ordem de milhares, ou até mesmo de milhões. Levando em consideração essas características, o emprego de métodos iterativos é o mais apropriado para a resolução dos sistemas gerados, devido principalmente a sua potencialidade quanto à otimização de armazenamento e eficiência computacional. Uma forma de incrementar o desempenho dos métodos iterativos é empregar uma técnica multigrid. Multigrid são uma classe de métodos que resolvem eficientemente um grande conjunto de equações algébricas através da aceleração da convergência de métodos iterativos. Considerando que a resolução de sistemas de equações de problemas realísticos pode requerer grande capacidade de processamento e de armazenamento, torna-se imprescindível o uso de ambientes computacionais de alto desempenho. Uma das abordagens encontradas na literatura técnica para a resolução de sistemas de equações em paralelo é aquela que emprega métodos de decomposição de domínio (MDDs). Os MDDs são baseados no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções obtidas em cada um dos subdomínios Assim, neste trabalho são disponibilizados diferentes métodos de resolução paralela baseado em decomposição de domínio, utilizando técnicas multigrid para a aceleração da solução de sistemas de equações lineares. Para cada método, são apresentados dois estudos de caso visando a validação das implementações. Os estudos de caso abordados são o problema da difusão de calor e o modelo de hidrodinâmica do modelo UnHIDRA. Os métodos implementados mostraram-se altamente paralelizáveis, apresentando bons ganhos de desempenho. Os métodos multigrid mostraram-se eficiente na aceleração dos métodos iterativos, já que métodos que utilizaram esta técnica apresentaram desempenho superior aos métodos que não utilizaram nenhum método de aceleração.

Política judiciária nacional: resolução n. 125/2012 do CNJ e a sua efetividade como política pública para redução da judicialização dos conflitos

Por mais que a informatização esteja avançada (interligação por meio da rede internet de computadores entre os órgãos e entidades públicas pelo Estado), máquina alguma substituirá os dramas do homem contemporâneo, principalmente aqueles que sempre estiveram alijados da cidadania. O presente estudo traz à baila as reflexões e discussões acadêmicas desenvolvidas ao longo das mais de 700 horas/aulas do curso de mestrado em Poder Judiciário, turma 2010. Longe de ser uma unanimidade o Poder Judiciário é um poder do Estado que representa antes de tudo a capacidade e a prerrogativa de julgar, de acordo com as regras constitucionais e das leis criadas pelo Poder Legislativo em determinado país. É um dos mais sólidos pilares nas democracias e um perigoso algoz nos regimes absolutos. Apesar desta importância e de no Brasil ser um poder sólido que já demonstrou sua importância para a garantia da solidificação da democracia, são poucos os estudos sobre o Judiciário, poucos e iniciais são as pesquisas sérias sobre este poder de suma importância para a sociedade, para economia e para as instituições. Como, também, não é espanto quando vemos que fato repetitivo que a maior insatisfação ou reclamação da sociedade reside na morosidade das soluções judiciais traduzida pela alta taxa de litigiosidade da justiça brasileira. O Poder Judiciário é objeto de estudos sistemáticos, contínuos e avançados em diversos países que já demonstraram a importância de se conhecer bem as suas propostas, os resultados das suas atividades, funções e os seus gastos, pois, o seu “negócio”é a resolução dos conflitos da sociedade de forma a contribuir com a pacificação da mesma através de uma ordem jurídica justa. Os estudos realizados nos Estados Unidos, Alemanha e Espanha, como exemplo, demonstram que conhecer bem o judiciário é o primeiro passo para melhor gerenciá-lo. Assim, deve-se menção e reconhecimento no investimento realizado pela Fundação Getúlio Vargas em promover com destaque o presente Mestrado em Poder Judiciário. A FGV é uma das poucas instituições privadas que tem como um dos seus objetivos o preparo pessoal, extrapolando as fronteiras do ensino com avanços significativos nas áreas da pesquisa e da informação. No mesmo caminho da qualificação profissional de seus magistrados e servidores e na vanguarda da gestão judiciária, o Tribunal de Justiça do Distrito Federal e dos Territórios, investiu e acreditou na proposta de estudos e pesquisas do presente mestrado, merecendo, significativamente, os elogios e agradecimentos pela visão de futuro e investimento realizado no conhecimento que é sempre importante e necessário. A dissertação em comento representa primeiramente uma visão contraposta ao modelo de política pública encampada pelo Conselho Nacional de Justiça, através da Resolução 125 de 29 de novembro de 2010, cujo objeto é o tratamento adequado dos conflitos de interesse no âmbito do Poder Judiciário, representando, assim, interesse especial de pesquisa científica por se tratar de uma política nacional judiciária a ser adotada, obrigatoriamente, por todos os Tribunais de Justiça do país. Além deste aspecto supra referido, reside, também, o fato do ineditismo deste estudo e pesquisa, especificamente, porque essa política pública judiciária aborda aspectos e variáveis novas no tratamento das atividades e das funções próprias do Poder Judiciário quando propõem, como exemplo, o tratamento dos conflitos considerados pré processuais. Outro aspecto importante merecedor de atenção no estudo reflete-se na discussão do modelo de política pública que, em premissa vênia, deveria ser tratado em caráter geral republicando do Estado e não particularizado em um dos seus entes, mesmo que pareça ser, constitucionalmente, pressuposto da alçada do Poder Judiciário tratar exclusivamente do problema da altíssima litigiosidade e do baixo resultado de resposta à demanda posta para seu controle. Este estudo, tem como objetivo demonstrar que a resolução 125/2010 do CNJ é insuficiente para resolver os problemas de congestionamento e morosidade da Justiça brasileira, como preconizada, isso porque, o modelo que se propõe para combater o problema da morosidade é restrito e está “contaminado” pela idéia do monopólio da jurisdição ou por uma espécie similar que traz para o âmbito do judiciário uma nova atividade de trabalho, a qual é relacionada com a solução do conflito pré-processual a qual deveria fazer parte de uma política pública geral não restrita a um poder republicano. A correspondência dos argumentos com a materialização utilizada para o problema será comprovada nas linhas que se seguem, pois, assuntos com grande abrangência como as soluções judiciais devem, preferencialmente, adotar mecanismos públicos de caráter geral para uma boa solução. Nesse sentido, o trabalho demonstrará que as tentativas recorrentes em superar o problema da alta demanda judicial está restrita a modelos insuficientes abrangidos por um monopólio que não deveria ser aplicado para solucionar problemas pré processuais no âmbito do Poder Judiciário. Constitui, pois, um contraponto à idéia de efetividade na redução da demanda judicial tradicional 1 como prevista pela política pública judiciária frente ao monopólio da jurisdição, ou seja, frente à reserva que detém o Judiciário na promoção e gestão de uma nova atividade – o tratamento dos conflitos de interesse pré-processual por meio dos instrumentos de autocomposição, notadamente as conciliações e mediações. Apresentam-se, igualmente, neste trabalho proposições legislativas que dão o suporte material às idéias apresentadas, caracterizando a comprovação de viabilidade entre a apresentação do problema científico, as justificativas para o enfrentamento do problema e uma solução para o mesmo, como vista a modernizar uma política pública. Importante reafirmar que o escopo do presente trabalho não reside na observação própria dos modelos e técnicas de resolução de conflitos, notadamente as conciliações e mediações, incentivadas pelo CNJ, ou nos modelos arbitragem. Ao contrário, espera-se que todas as tentativas que possam melhorar e modernizar os atuais serviços judiciais no Brasil sejam válidas, eficazes e são muito bem vindas, pois, é uma tentativa positiva para melhorar o atual cenário em que se encontra o Poder Judiciário quando é confrontado em seu acesso à justiça, rapidez, confiabilidade e segurança nos seus julgamentos.

Integração de imagem aérea de alta resolução e dados de varredura a laser na classificação de cenas urbanas para detectar regiões de via

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Morfologia matemática aplicada à detecção de sombras e nuvens em imagens de alta resolução

The spatial resolution improvement of orbital sensors has broadened considerably the applicability of their images in solving urban areas problems. But as the spatial resolution improves, the shadows become even a more serious problem especially when detailed information (under the shadows) is required. Besides those shadows caused by buildings and houses, clouds projected shadows are likely to occur. In this case there is information occlusion by the cloud in association with low illumination and contrast areas caused by the cloud shadow on the ground. Thus, it's important to use efficient methods to detect shadows and clouds areas in digital images taking in count that these areas care for especial processing. This paper proposes the application of Mathematical Morphology (MM) in shadow and clouds detection. Two parts of a panchromatic QuickBird image of Cuiab-MT urban area were used. The proposed method takes advantage of the fact that shadows (low intensity - dark areas) and clouds (high intensity - bright areas) represent the bottom and top, respectively, of the image as it is thought to be a topographic surface. This characteristic allowed MM area opening and closing operations to be applied to reduce or eliminate the bottom and top of the topographic surface.

Aplicação de softwares livres no Processamento de dados sísmicos de alta resolução

The increasing use of shallow seismic methods of high resolution, for investigations of geological problems, environmental or industrial, has impelled the development of techniques, flows and computational algorithms. The practice of applying techniques for processing this data, until recently it wasn t used and the interpretation of the data was made as they were acquired. In order to facilitate and contribute to the improvement of the practices adopted, was developed a free graphical application and open source, called OpenSeismic which is based on free software Seismic Un*x, widely used in the treatment of conventional seismic data used in the exploration of hydrocarbon reservoirs. The data used to validate the initiative were marine seismic data of high resolution, acquired by the laboratory of Geology and Marine Geophysics and Environmental Monitoring - GGEMMA, of the Federal University of Rio Grande do Norte UFRN, for the SISPLAT Project, located at the region of paleo-valley of the Rio Acu. These data were submitted to the processing flow developed by Gomes (2009), using the free software developed in this work, the OpenSeismic, as well other free software, the Seismic Un*x and the commercial software ProMAX, where despite its peculiarities has presented similar results

Detecção de rodovias em imagens digitais de alta resolução com o uso da teoria de morfologia matemática

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

Procedimento híbrido envolvendo os métodos primal-dual de pontos interiores e branch and bound em problemas multiobjetivo de aproveitamento de resíduos de cana-de-açúcar

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

O método da função lagrangiana aumentada barreira modificada para a resolução do fluxo de potência ótimo

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

Resolução da Sociedade Limitada em relação a sócios minoritários: regramento no Código Civil de 2002

Pós-graduação em Direito - FCHS

Apontamentos sobre a apropriação da teoria vigotskiana no ensino de ciências: problemas conceituais e epistemológicos decorrentes do pluralismo metodológico

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

Análise citogenética em alta resolução de 2q37 e 22q13 e molecular do gene SHANK3 em doenças do espectro autístico

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

Estratégias para resolução do problema MPEC

Pós-graduação em Matemática - IBILCE

Modelos organizadores na resolução de conflitos morais: um estudo com adolescentes autores de infração

Pós-graduação em Psicologia - FCLAS

Desenvolvimento de um conjunto de modelagem de alta resolução para os métodos eletromagnéticos indutivos

A Modelagem Eletromagnética Analógica tem sido uma poderosa ferramenta no estudo das respostas eletromagnéticas de uma grande variedade das técnicas de levantamentos e de modelos geológicos. Nas aplicações de métodos eletromagnéticos nas investigações de contaminação no subsolo, recentemente em grande demanda, são obtidas anomalias muito baixas (da ordem de 0,01% do campo primário). Com o objetivo de estudar em laboratório os problemas de levantamentos eletromagnéticos para alvos de baixo número de indução, um conjunto de modelagem em escala reduzida de alta sensibilidade, foi projetado e construído. Este conjunto opera na faixa de freqüência de 1 kHz até 1 MHz com excelente linearidade. O transdutor de transmissão gera suficiente densidade de fluxo magnético com corrente de até 3 App (pico a pico) circulando nele. O sistema de recepção, isto é, o conjunto de bobinas receptoras mais o pré-amplificador acoplado apresenta sensibilidade 3 V/A/m na freqüência de 10 kHz com inclinação de 20 dB/dec de freqüência. A alta sensibilidade do sistema de recepção combinada com a boa capacidade de geração do sistema transmissor, permite alcançar a resolução de 0,025% do campo primário. O conjunto dispõe ainda, de um sistema mecânico que permite posicionar o sistema de transdutores (transmissor e receptor) em posições arbitrárias com resolução de 1 mm e precisão de 0,05 mm. A precisão no deslocamento linear do sistema de sonda numa linha de 1715 mm de comprimento é alcançada por meio de um motor de passo controlado por um microcontrolador, que é rigidamente acoplado a um fuso que converte o movimento angular do motor em movimento linear. Com este conjunto, é possível simular uma grande variedade de técnicas de levantamentos eletromagnéticos no formato Slingram, isto é, dipolo-dipolo. Além da boa resolução mecânica e boa resolução de medida eletromagnética do conjunto, todo o processo de controle e aquisição de dados é operacionalizado por meio de um computador mestre.

Melhoramento da resolução para camadas delgadas de perfilagens existentes em áreas específicas de produção-exploração

No campo da perfilagem de poço existe um grande interesse voltado para as técnicas que melhorem a resolução vertical das respostas das ferramentas. Neste trabalho, optamos por desenvolver uma técnica de aumento de resolução vertical dos perfis obtidos com a ferramenta de indução denominada na bibliografia de 6FF40, através de um algoritmo que utiliza as técnicas de estimativa dos mínimos quadrados. Este método torna possível o processamento dos dados registrados de uma maneira computacionalmente eficiente. O algoritmo apresentado necessita apenas dos dados registrados, dos valores adotados como coeficientes da ferramenta, e de uma estimativa dos ruídos existentes. Como ilustração foram utilizados trechos de um perfil de uma área que reconhecidamente apresenta problemas relacionados à resolução vertical da ferramenta 6FF40. Com o objetivo de verificar a eficiência do algoritmo utilizado, os perfis processados foram correlacionados com os perfis de raio gama e com os perfis esféricos focalizados do poço 7-LOR-18-RN, perfis estes que possuem resolução vertical maior do que os perfis convencionais de indução, comprovando a individualização das camadas delgadas que antes do processamento não eram facilmente reconhecidas no perfil original. O algoritmo foi também testado com dados sintéticos demonstrando sua eficiência na recuperação de valores mais representativos para R_t.