813 resultados para Modelagem de bainha
Resumo:
Esta dissertação tem como tema o processo de expropriação da terra e de exploração da força de trabalho enquanto estratégia de acumulação de capital. Tomando por base a apropriação da dinâmica de produção do espaço e de (re)produção das relações sociais pelo circuito de valorização do capital, tem como objetivo analisar as particularidades do processo de monopolização da terra no espaço urbano a partir da implementação da Operação Urbana Consorciada do Porto, também conhecida como Porto Maravilha. Os resultados dessa pesquisa demonstram que, dada a forma como foi implementada e considerando a modelagem financeira que lhe dá sustentação, a Operação Urbana Consorciada do Porto é exemplo de uma das estratégias do capital para superar suas crises internas via apropriação do espaço. Sendo assim, consideramos que essa operação urbana reforça o processo civilizatório do capital que, neste caso, se realiza por meio da acumulação por espoliação, do ajuste espacial, do empreendedorismo urbano, do controle e monopolização da terra para obtenção de renda capitalizada, e do uso do fundo público para se consolidar.
Resumo:
A análise de fundações sob solicitações dinâmicas é algo sempre presente em projetos na área industrial. É um campo pouco explorado na área de engenharia geotécnica, onde existem relativamente poucas informações no Brasil, de maneira geral. O método mais comum de realizar essas análises é a simplificação de modelos estruturais a partir do uso de molas. Sabe-se que esses coeficientes de reação têm uma variação relativamente grande e que esse enfoque de projeto pode, em alguns casos, mostrar-se contra a segurança ou levar a superdimensionamentos desnecessários. Verifica-se, então, a necessidade de uma avaliação mais criteriosa, utilizando a interação solo x estrutura, onde as molas comumente utilizadas nas análises vibratórias convencionais são substituídas pela rigidez real do solo quando concebido como um meio contínuo, através de sua discretização pelo método dos elementos finitos. A presente dissertação analisa o problema através do módulo de dinâmica do programa Plaxis 2D. Neste tipo de análise, além da modelagem do solo como um meio contínuo, torna-se possível introduzir condições de contorno específicas ao problema em estudo, múltiplas camadas de solo, sejam horizontais ou inclinadas, além da introdução de amortecedores capazes de evitar a reflexão espúria das ondas incidentes nos limites da malha de elementos finitos e assim modelar mais adequadamente a perda de energia por radiação. A presente dissertação compara medições experimentais e soluções eficientes de métodos vibratórios clássicos com a resposta obtida pelo MEF, mostrando resultados bastante satisfatórios tanto pelos métodos clássicos quanto pelo MEF.
Resumo:
As pontes rodoviárias de concreto armado estão sujeitas à ações dinâmicas variáveis devido ao tráfego de veículos sobre o tabuleiro. Estas ações dinâmicas nem sempre são corretamente consideradas pelos projetistas. Deste modo, a correta consideração destes aspectos mostra-se de fundamental importância, de forma a se avaliar os esforços dinâmicos oriundos do tráfego de veículos sobre o tabuleiro. De acordo com este contexto, a ponte rodoviária investigada nesta dissertação é constituída por duas vigas longitudinais, três transversinas, sendo uma central e duas sobre os apoios, e por um tabuleiro em concreto armado. O modelo computacional, desenvolvido para a análise dinâmica da ponte, foi concebido com base no emprego de técnicas usuais de discretização através do método dos elementos finitos. Os veículos são representados a partir de sistemas do tipo "massa-mola-amortecedor". O tráfego destes veículos é considerado mediante a simulação de comboios semi-infinitos, deslocando-se com velocidade constante sobre a ponte. As técnicas para a contagem de ciclos de tensões e a aplicação das regras de dano acumulado foram analisadas através das curvas S-N de diversas normas e recomendações internacionais vigentes que versam sobre o tema. As conclusões deste trabalho de pesquisa se referem à análise da resposta dinâmica bem como da vida útil de serviço da obra de arte rodoviária de concreto armado investigada, quando submetida às ações dinâmicas provenientes do tráfego de veículos pesados sobre o tabuleiro.
Reconversão docente: o trabalho flexível na educação um estudo a partir das reformas em Minas Gerais
Resumo:
Esta tese analisa as mudanças no trabalho docente tendo como objeto particular de pesquisa o estado de Minas Gerais. A escolha se deve ao protagonismo e , em certa medida, pioneirismo das burguesia mineira no ajuste conservador realizado no Brasil recente. Neste percurso de investigação foram analisadas três gerações de reformas chamadas Choque de Gestão, Estado para Resultados, Estado em Rede ou Gestão para a Cidadania. A abordagem específica sobre as implicações das mudanças sobre o trabalho docente teve como fontes os Planos de Cargos e Salários, as Lei 100 que criou a modalidade efetivado como forma distinta (e inconstitucional) de inserção precária, a reforma no regime de previdência estadual. As mudanças no currículo, como expressão particular das reformas no âmbito da formação humana, foram analisadas em primeiro lugar como mediação do processo de trabalho docente. Estas transformações conduziram a pesquisa para a constatação de que observamos o fenômeno da reconversão docente, da modelagem do trabalhador flexível na educação básica, sendo parte indissociável deste processo a precarização do trabalho e o aprofundamento da proletarização do professor. A pesquisa também indicou as formas que a apropriação do fundo público assume a partir do Choque de Gestão e o caráter regressivo destas políticas não só para o trabalhador em educação, mas para o conjunto dos chamados direitos sociais. Na construção teórica que conduziu a pesquisa utilizamos o método materialista histórico e dialético, a concepção de Estado como relação entre as classes, o trabalho como práxis social. A tese traz como contribuição uma profunda reflexão sobre o trabalho em geral e o trabalho docente em particular com a construção de duas categorias complementares de análise: a apropriação de mais anti-valor e a subsunção real espelhada. Esta sendo a expropriação que atinge diretamente quem trabalha no setor público, expressão da apropriação privada do bem público na parte que caberia ao trabalhador do setor, expropriado de suas condições de subsistência e porque do ponto de vista mais geral, reflete o processo realizado no setor diretamente produtivo sendo a face complementar tanto da acumulação quanto da universalização das formas de trabalho e de sociabilidade capitalista
Resumo:
Este trabalho teve como objetivo avaliar o impacto radiológico atmosférico da Unidade de Concentrado de Urânio URA, Caetité, BA, através da modelagem da dispersão de radionuclídeos e a estimativa da dose efetiva anual (em mSv.ano-1). Para tal, utilizou-se o programa MILDOS-AREA que foi desenvolvido pelo Argonne National Laboratory (ANL) em conjunto com a U.S. Nuclear Regulatory Commission (USNRC), para avaliar impacto radiológico ambiental atmosférico nas instalações de mineração e beneficiamento de urânio. O incremento de dose efetiva anual para três grupos críticos hipotéticos e oito grupos populacionais reais foi estimado com base na medida de fluxos de radônio e na estimativa das concentrações de radionuclídeos em particulados no ar dos principais termos fontes da URA (cava da mina, depósito de estéril e britador). Paralelamente, as medidas de concentração de radônio e taxa de kerma no ar, reportadas nos relatórios dos programas de monitoração ambiental pré-operacional (PMAPO) e operacional (PMAO) da URA, foram avaliadas. Os valores de dose efetiva anual estimados para os grupos críticos hipotéticos variaram de 1,78E-02 a 2,10E-02 mSv.ano-1, enquanto que para os grupos populacionais, variaram de 7,49E-05 a 1,56E-02 mSv.ano-1. A maior contribuição para o incremento da dose foi devida a inalação do radônio, sendo responsável por quase a totalidade da dose efetiva anual estimada. A média da concentração de atividade de radônio no entorno da URA foi 137,21 Bq m-3 e não sendo observada diferenças significativas entre as concentrações de radônio reportadas nos programas de monitoramento ambiental pré-operacional (valores de background) e operacional. Os valores médios de taxa de kerma no ar no entorno da URA foram de 0,136 μGy h-1. No entanto, em todos os pontos de monitoramento, os valores reportados no programa operacional foram inferiores aos valores reportados no programa pré-operacional (background), o que sugere problemas de medidas ou de coleta de dados durante a realização deste programa. O operador da URA utilizou para avaliação de impacto radiológico atmosférico, resultados apresentados em seus relatórios finais de análise de segurança (RFAS), um modelo próprio de simulação de dispersão, denominado Impacto Ambiental Radiológico (IAR7). Uma comparação entre o MILDOS-AREA e o IAR7, utilizando os mesmos parâmetros de entrada reportados no RFAS sugere que o IAR7 subestimou as concentrações de radônio no ar para os grupos críticos hipotéticos. Os resultados de simulação com o MILDOS-AREA mostram que as doses efetivas estimadas para os grupos críticos hipotéticos são inferiores a 0,3 mSv.ano-1 que é a restrição de dose estabelecida pela Comissão Nacional de Energia Nuclear. Recomenda-se que o código MILDOS-AREA seja utilizado no Brasil, para fins de licenciamento e controle, tendo em vista que o mesmo é um código validado e já utilizado em outros países para avaliar impacto radiológico ambiental atmosférico em instalações de mineração e beneficiamento de urânio
Resumo:
No Brasil, entre as áreas protegidas e regulamentadas por lei estão às denominadas Unidades de Conservação (UC) e são definidas assim por possuírem características ambientais, estéticas, históricas ou culturais relevantes, importantes na manutenção dos ciclos naturais, demandando regimes especiais de preservação, conservação ou exploração racional dos seus recursos. O Parque Estadual da Serra da Tiririca (PESET), criado pela Lei 1.901, de 29 de novembro de 1991 localizado entre os municípios de Niterói e Maricá no Estado do Rio de Janeiro, enquadra-se na categoria de UC de Proteção Integral abrigando uma extensa faixa de Mata Atlântica em seus limites. Para a presente pesquisa foi feita uma classificação de Uso da terra e cobertura vegetal, refinada por pesquisas feitas através do trabalho de campo, que subsidiou a elaboração da proposta de Zoneamento Ambiental para o parque. O processamento digital da imagem foi feito utilizando-se o sistema SPRING desenvolvido pelo Instituto de Pesquisas Espaciais (INPE). A confecção dos mapas temáticos foi feita com apoio do sistema Arcgis desenvolvido pela ESRI. O Sistema de Informação Geográfica (SIG) foi empregado para as modelagens ambientais. Nessa etapa foram consideradas, de forma integrada, a variabilidade taxonômica, a expressão territorial e as alterações temporais verificáveis em uma base de dados georreferenciada. A tecnologia SIG integra operações convencionais de bases de dados, relativas ao armazenamento, manipulação, análise, consulta e apresentação de dados, com possibilidades de seleção e busca de informações e suporte à análise geoestatística, conjuntamente com a possibilidade de visualização de mapas sofisticados e de análise espacial proporcionada pelos mapas. A opção por esta tecnologia busca potencializar a eficiência operacional e permitir planejamento estratégico e administração de problemas, tanto minimizando os custos operacionais como acelerando processos decisórios. O estudo feito através da modelagem computacional do PESET apresentará o emprego das técnicas amplamente utilizadas no monitoramento ambiental, sendo úteis aos profissionais destinados à gestão e aos tomadores de decisão no âmbito das políticas públicas relacionadas à gestão ambiental de Unidades de Conservação.
Resumo:
Este trabalho apresenta uma revisão bibliográfica sobre os conceitos de solos não saturados e descreve os diversos tipos de camada de cobertura usadas em aterro de resíduos sólidos urbanos. Apresenta trabalhos científicos que contemplam curvas características de solos tropicais brasileiros. Caracteriza o solo usado antigamente como camada de cobertura do Aterro Morro do Céu e este solo com adição de 5% de bentonita. Determina a curva característica desses dois solos pelo Método do Papel Filtro e pela Placa de Sucção e, em seguida, Placa de Pressão. As curvas obtidas por esses métodos apresentaram diferenças. A adição da bentonita no solo teve como objetivo avaliar o desempenho do mesmo. O solo com adição de bentonita apresentou maior plasticidade, menor permeabilidade e maior capacidade de retenção de água no solo. Apresenta a modelagem de camadas monolíticas, camadas monolíticas evapotranspirativas, barreiras capilares, barreiras capilares evapotranspirativas através do uso do Programa VADOSE/W como ferramenta para aferição.
Resumo:
A modelagem orientada a agentes surge como paradigma no desenvolvimento de software, haja vista a quantidade de iniciativas e estudos que remetem à utilização de agentes de software como solução para tratar de problemas mais complexos. Apesar da popularidade de utilização de agentes, especialistas esbarram na falta de universalidade de uma metodologia para construção dos Sistemas Multiagentes (MAS), pois estas acabam pecando pelo excesso ou falta de soluções para modelar o problema. Esta dissertação propõe o uso de uma Ontologia sobre Metodologias Multiagentes, seguindo os princípios da Engenharia de Métodos Situacionais que se propõe a usar fragmentos de métodos para construção de metodologias baseados na especificidade do projeto em desenvolvimento. O objetivo do estudo é sedimentar o conhecimento na área de Metodologias Multiagentes, auxiliando o engenheiro de software a escolher a melhor metodologia ou o melhor fragmento de metodologia capaz de modelar um Sistema Multiagentes.
Resumo:
A integridade de dutos ganha importância à medida em que o desenvolvimento da indústria expande a malha para transportar líquidos e gases num contexto de aumento das exigências ambientais. Um importante aliado para manutenção da integridade de dutos são reparos de materiais compósitos. Estes materiais apresentam baixa densidade, capacidade de direcionar resistência de acordo com as direções das solicitações, execução de reparo a frio sem necessidade de interromper produção ou grande maquinário. Este trabalho tem como objetivo desenvolver e implementar um algoritmo de elementos finitos que permita avaliar os esforços e a resistência das paredes de um tubos fabricados ou reparados com laminados de material compósito carregados com pressão interna. Entre as vantagens de desenvolver um programa tem-se: agilidade de avaliação, menor custo com licença, menores exigências computacionais, possibilidade de desenvolver o programa e o melhor entendimento da modelagem dos fenômenos. Utiliza-se como entrada do programa o diâmetro do duto, pressão interna e parâmetros do laminado. A modelagem em elementos finitos é realizada a partir da teoria clássica de laminados. Aplicando o carregamento resultante da pressão interna, determina-se os deslocamentos e são calculadas as tensões e aplicado o critério de falha de Tsai-Hill em cada camada. Estudos experimentais e numéricos encontrados na literatura foram simulados com o programa gerado e os resultados para propriedades do laminado, tensões nos dutos e pressão de ruptura apresentam concordância com os resultados da literatura.O programa ainda tem sua estrutura modificada para encontrar a pressão de falha a partir dos dados do laminado. O programa implementado permite uma avaliação rápida de resistência do reparo e possibilita avaliar rapidamente a resposta a mudanças nos parâmetros de projeto do laminado.
Resumo:
No contexto do planejamento e gestão dos recursos hídricos em bacias hidrográficas, é crescente a demanda por informações consistentes relativas ao estado do ambiente e pressões ambientais de forma integrada, para que possam informar à população e subsidiar atividades do setor público e privado. Essa demanda pode ser satisfeita com a modelagem e integração em um Sistema de Informações Geográficas (SIG), com propriedades e funções de processamento que permitem sua utilização em ambiente integrado. Desta forma, neste trabalho é apresentada uma metodologia para a avaliação muticriterial dos recursos hídricos de bacias hidrográficas, que vai desde a seleção de indicadores e definição dos pesos, até a execução de avaliações e espacialização de resultados. Esta metodologia é composta por duas fases: avaliação da vulnerabilidade dos recursos hídricos de uma bacia hidrográfica a partir do uso de sistemas de suporte à decisão espacial, e, avaliação da qualidade das águas através da adaptação de um Índice de Qualidade das Águas. Foi adotada uma base de conhecimento, sistemas de suporte à decisão, SIG e uma ferramenta computacional que integra estes resultados permitindo a geração de análises com cenários da vulnerabilidade dos recursos hídricos. Em paralelo, a qualidade das águas das sub-bacias hidrográficas foi obtida a partir da adaptação do cálculo do Índice de Qualidade das águas proposto pela Companhia de Tecnologia de Saneamento Ambiental (CETESB) e aplicação do Índice de Toxidez. Os resultados mostraram sub-bacias com seus recursos hídricos mais ou menos vulneráveis, bem como sub-bacias com toxidez acima da legislação. A avaliação integrada entre áreas mais vulneráveis e que apresentam menor qualidade e/ou maior toxidez poderá nortear a tomada de decisão e projetos visando a conservação dos recursos hídricos em bacias hidrográficas.
Resumo:
Na década de 80, o surgimento de programas de computadores mais amigáveis para usuários e produtores de informação e a evolução tecnológica fizeram com que as instituições, públicas e privadas, se aperfeiçoassem em estudos sobre sistemas de produção cartográfica apoiados por computador, visando a implementação de Sistemas de Informação Geográfica (SIG). A pouca simultaneidade de forças entre órgãos interessados, resultou em uma grande quantidade de arquivos digitais com a necessidade de padronização. Em 2007, a Comissão Nacional de Cartografia (CONCAR) homologou a Estrutura de Dados Geoespaciais Vetoriais (EDGV) a fim de minimizar o problema da falta de padronização de bases cartográficas. A presente dissertação tem como foco elaborar uma metodologia de trabalho para o processo de conversão de bases cartográficas digitais existentes no padrão da Mapoteca Topográfica Digital (MTD), do Instituto Brasileiro de Geografia e Estatística (IBGE), para o padrão da EDGV, bem como suas potencialidades e limitações para integração e padronização de bases cartográficas digitais. Será feita uma aplicação da metodologia utilizando a carta topográfica de Saquarema, na escala de 1:50.000, vetorizada na Coordenação de Cartografia (CCAR) do IBGE e disponível na Internet. Como a EDGV foi elaborada segundo técnicas de modelagem orientada a objetos, foi necessário um mapeamento para banco de dados relacional, já que este ainda é utilizado pela maioria dos usuários e produtores de informação geográfica. Um dos objetivos específicos é elaborar um esquema de banco de dados, ou seja, um banco de dados vazio contendo todas as classes de objetos, atributos e seus respectivos domínios existentes na EDGV para que possa ser utilizado no processo de produção cartográfica do IBGE. Este esquema conterá todas as descrições dos objetos e de seus respectivos atributos, além de já permitir que o usuário selecione o domínio de um determinado atributo em uma lista pré definida, evitando que ocorra erro no preenchimento dados. Esta metodologia de trabalho será de grande importância para o processo de conversão das bases cartográficas existentes no IBGE e, com isso, gerar e disponibilizar bases cartográficas no padrão da EDGV.
Resumo:
Ao longo dos anos, inúmeros estádios de futebol no Brasil têm sido projetados para suportar as cargas acidentais (carga de pessoas) como sendo do tipo estática (4kN/m2). Entretanto, ultimamente com base na mudança do comportamento do público, especialmente em jogos de futebol, através da ação de torcidas organizadas e, ainda, com o emprego desses estádios para shows de música, os sistemas estruturais passaram a sofrer um maior impacto pela natureza dinâmica dos carregamentos solicitantes. Assim sendo, alguns destes estádios passaram a apresentar problemas de vibrações excessivas e tornou-se necessária a consideração efetiva das cargas dinâmicas nos projetos estruturais. Deste modo, este trabalho de pesquisa objetiva o estudo do comportamento dinâmico e avaliação do desempenho do sistema estrutural das arquibancadas do Estádio Nacional de Brasília, no que diz respeito ao conforto humano. Cabe ressaltar que o referido estádio foi projetado e construído para ser utilizado na Copa do Mundo de 2014, realizada no Brasil. Os resultados alcançados ao longo do desenvolvimento deste estudo são confrontados com aqueles fornecidos por normas e recomendações internacionais de projeto. Os resultados revelam a importância da análise dinâmica para o projeto de estádios de futebol, no que tange a obtenção de dados relevantes para o conforto humano e, bem como, segurança dos usuários desse tipo de estrutura.
Resumo:
Este trabalho tem por objetivo avaliar o comportamento dinâmico de pisos mistos (aço-concreto) sob a ação de cargas provenientes das atividades humanas rítmicas, especificamente a prática de ginástica aeróbica, sob o ponto de vista do conforto humano. Tal avaliação torna-se necessária por crescentes problemas estruturais associados às vibrações excessivas, decorrentes da concepção de sistemas estruturais com baixos níveis de amortecimento e com frequências naturais cada vez mais baixas e bastante próximas das faixas de frequência das excitações associadas às atividades humanas rítmicas. O modelo estrutural investigado baseiase em um piso misto (aço-concreto) submetido a aulas de ginástica aeróbica. A modelagem numérica do piso misto investigado foi realizada com base no emprego do programa ANSYS e foram utilizadas técnicas de discretização por meio do método dos elementos finitos (MEF). As cargas aplicadas sobre o piso, oriundas das atividades aeróbicas, são simuladas através de dois modelos de carregamentos dinâmicos distintos. Uma extensa análise paramétrica foi desenvolvida sobre o modelo estrutural investigado e a resposta dinâmica do sistema foi obtida, em termos dos deslocamentos e das acelerações, e comparada com os limites recomendados por normas e critérios de projeto. A resposta dinâmica do piso estudado viola os critérios de projeto relativos ao conforto humano e indica níveis de vibrações excessivas nos casos de carregamento dinâmicos analisados nesta dissertação.
Resumo:
A presente dissertação apresenta um estudo do comportamento de um muro de gravidade flexível submetido a carregamentos sísmicos. A influência do carregamento sísmico, e mais precisamente da variação da aceleração horizontal de pico é avaliada num estudo paramétrico, através da análise dos resultados obtidos para os deslocamentos e acelerações horizontais que ocorreram no paramento do muro de gravidade. Optou-se pela análise ao longo do tempo, introduzindo o carregamento sísmico ao modelo numérico do qual fazia parte o muro de gravidade através de 5 históricos temporais de acelerogramas horizontais normalizados em 0,05g, 0,10g, 0,15g, 0,20g e 0,25g. O evento sísmico de origem dos acelerogramas normalizados foi o terremoto ocorrido no Chile em 27 de fevereiro de 2010 e medido na estação em San Jose de Maipo, a 332,7km do epicentro do terremoto. Utiliza-se um software computacional aplicado à Geotecnia, o Plaxis, para a calibração de um modelo numérico em situação estática e posterior desenvolvimento das análises paramétricas em condições sísmicas. As análises realizadas para avaliação do comportamento do muro de gravidade em condição sísmica foram a verificação da influência da variação do acelerograma horizontal normalizada introduzido na base do modelo nos valores das acelerações e deslocamentos horizontais atuantes no muro e a verificação da influência do carregamento sísmico em comparação com a situação estática, comparando-se os valores dos deslocamentos horizontais obtidos na análise estática e nas análises dinâmicas. Os fatores que influenciam potencialmente nos resultados numéricos em condições sísmicas foram apresentados, destacando-se os aspectos relacionados à modelagem numérica em condição de sismo. Os modelos constitutivos oferecidos, a possibilidade de incorporação do carregamento sísmico na base do modelo e a possibilidade de consideração do amortecimento visco-elástico de Rayleigh nos materiais são as principais qualidades do Plaxis, utilizado na modelagem numérica. Avaliou-se positivamente a potencialidade do Plaxis, visto que o programa mostrou-se uma ferramenta capaz de simular o comportamento de muros de gravidade sujeitos a carregamentos sísmicos.
Resumo:
O Gráben de Barra de São João, situado na região de águas rasas da Bacia de Campos, é parte integrante do Sistema de Riftes do Cenozóico, localizado na região sudeste do Brasil. Este sistema foi formado em um evento que resultou na reativação das principais zonas de cisalhamento do Pré-Cambriano do sudeste do Brasil no Paleoceno. Neste trabalho proponho um novo arcabouço estrutural para o Gráben de Barra de São João baseado na interpretação de dados gravimétricos. Dados magnéticos aéreos, dados gravimétricos, uma linha sísmica 2D e um perfil de densidades de um poço foram utilizados como vínculos na interpretação. Para a estimativa do topo do embasamento foi necessário separar o efeito das fontes profundas no dado gravimétrico (anomalia residual). Com isso, foi realizada uma modelagem 2D direta baseada na interpretação sísmica para estimar as densidades das entidades geológicas da área em questão. Após esta modelagem, foi realizada uma inversão estrutural 3D do dado gravimétrico residual a fim de recuperar a profundidade do topo do embasamento. Este fluxograma de interpretação permitiu a identificação de um complexo arcabouço estrutural com três sistemas de falhas bem definido: Falhas normais de orientação NE-SW, e um sistema de falhas transcorrentes NW-SE e E-W. Estas orientações dividem o gráben em diversos altos e baixos internos. O dado magnético aéreo corrobora esta interpretação. A existência de rochas ultra-densas e fortemente magnéticas no embasamento foram interpretadas como um ofiolito que foi provavelmente intrudido (por obducção) na época do fechamento de um oceano no Proterozóico.