Diagnóstico e diretrizes do PCBAP relativos à erosão na Bacia do Alto Taquari.

Diagnóstico; Unidades Ambientais Naturais; Planalto do rio Correntes; Chapada das Emas; Planalto do Taquari; Chapada de São Gabriel, Coxim e Campo Grande; Planalto de Maracaju - Campo Grande; Unidades Ambientais Sócio-Econômicas; Itiquira e Alto Garças; Alto Taquari; São Gabriel d?Oeste; Altas bacias dos rios Aquidauana e Taquari; Sonora e Coxim; Costa Rica; Fragilidades Potenciais e Impactos Ambientais; Características geomorfométricas da BAT; Erosão concentrada nas vertentes; Perda potencial de solo; Aporte de sedimentos da BAT para o Pantanal; Unidades de Zoneamento Ambiental; Chapada do rio Correntes; Planalto do Taquari; Chapada das Emas; Chapada de São Gabriel, Coxim e Campo Grande; Planalto de Maracaju; Planalto de Campo Grande; Diretrizes gerais; Programa de manejo de solos e controle de erosão; Programa de estudos especiais; Específicas para as principais Unidades de Zoneamento Ambiental da BAT; Chapada do rio Correntes; Planalto do Taquari; Chapada das Emas; Chapada de São Gabriel, Coxim e Campo Grande; Planalto de Maracaju.bitstream/item/81138/1/DOC51.pd

Análise da distribuição da freqüência mensal de precipitação para a sub-região da Nhecolândia, Pantanal, Mato Grosso do Sul, Brasil.

Durante o período 1977 a 2000, foram analisados dados diários de precipitação coletados na Estação Climatológica de Nhumirim (latitude 18o59'19.86 S, longitude 56o37'21.74 W, altitude 97 m), localizada na fazenda Nhumirim, sub-região da Nhecolândia, Pantanal, MS. Os objetivos deste trabalho foram verificar o intervalo de precipitação que ocorreu com maior freqüência na sub-região da Nhecolândia e em que mês ocorreu. Foi feita uma classificação da intensidade de precipitação ocorrida de acordo com o intervalo de classe nos quais os valores de precipitação foram divididos. Calculou-se o percentual da freqüência que cada intervalo apresentou em relação ao total de dias com ocorrência de precipitação. O resultado mostrou que o intervalo de precipitação com maior freqüência (cerca de 26%) em todos os meses foi o intervalo de [0,1 mm; 5 mm], o qual foi classificado como "intensidade de precipitação muito fraca".bitstream/item/37418/1/BP34.pd

Análise das condições climáticas em 2000 na sub-região da Nhecolândia, Pantanal, Mato Grosso do Sul, Brasil.

Este trabalho teve como objetivo contribuir para o estudo das condições climáticas na sub-região da Nhecolândia, Pantanal/MS, organizando e difundindo informações climatológicas ocorridas durante o ano de 2000, comparando-as com a normal climatológica. Foi analisado o comportamento dos elementos climáticos no ano de 2000 em relação a "normal climatológica", calculada a partir de 23 anos de observação, referentes ao período de 1977 a 1999. Para o cálculo do balanço hídrico, aplicou-se o método de Thornthwaite & Mather (1955), para uma retenção hídrica de 50 mm. O total anual de precipitação pluvial em 2000 (1.433,4 mm) foi superior ao da normal climatológica (1.175,0 mm), com distribuição mensal bastante diferente do padrão esperado. A temperatura média anual do ar (25,0oC), temperatura média anual das máximas(31,6oC) e temperatura média anual das mínimas (20,3oC), foram ligeiramente inferiores à média da normal, que foi de 25,4oC, 31,7oC e 20,4oC, respectivamente. O total anual de evaporação do ar foi de 1.862,2mm, com excedente de 329,6mm em relação à normal (1.532,6mm). A média anual de umidade relativa do ar (78,2%) foi inferior à normal (81,7%). O total de horas de insolação (2.506,0 horas) foi superior àquele determinado para a normal (2.420,6 horas). As condições termopluviais da região apresentaram evapotranspiração de referência de 1.477,2 mm, com deficiência e excedente hídrico anual de 339,4 mm e 295,8 mm, respectivamente.bitstream/item/37422/1/BP30.pd

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Evolucao da erosividade das chuvas na Bacia do Alto Taquari.

O assoreamento do rio Taquari constitui hoje um dos mais graves e discutidos problemas de impacto ambiental e socio economicos do Pantanal. Apesar do rio Taquari, historicamente, transportar grande quantidade de sedimento, a partir do final da decada de 70 esse processo foi intensificado com a expansao da atividade agropecuaria na Bacia do Alto Taquari (BAT). Outro fator importante no aumento do aporte de sedimento para o Pantanal pode estar relacionado a mudanca no regime pluviometrico na BAT. O calculo do indice mensal de erosividade da chuva foi efetuado para dois periodos: de 1969/70 a 1972/73 (periodo 1) e de 1973/74 A 1987/88 (periodo 2), utilizando o metodo de Lombardi Neto. Foram selecionadas cinco estacoes pluviometricas localizadas na BAT que tinham pelo menos cinco anos de registro de dados de chuva no periodo 1. Analisou-se, tambem, as medias mensais de precipitacao para os mesmos periodos. Os resultados das analises estatisticas evidenciaram um aumento significativo no regime pluviometrico e consequentemente na erosividade das chuvas na BAT, entre o periodo de 1969-70/1973-74 para o periodo de 1974-75/1987-88.bitstream/item/37427/1/BP25.pd

Erosão na Bacia do Alto Taquari.

O Rio Taquari; Erosão; Fatores naturais condicionantes da erosão laminar na BAT; Chuvas; Solos; Relevo; Potencial erosivo da BAT; Expansão da agropecuária na BAT; Uso das terras e perdas de solo na BAT em 1994; Uso das terras; Perda de solo; Causas das erosões na BAT; Aporte de sedimentos da BAT para o Pantanal; Recomendações para redução das erosões na BAT; Aprimoramento da base de dados sobre erosão; Identificação das áreas com maior risco/incidência de erosão; Monitoramento da erosividade das chuvas; Monitoramento do aporte de sedimentos para o Pantanal; Identificação e transferência de tecnologias alternativas para recuperação e manejo de pastagens; Capacitação em tecnologias de redução de erosão; Implementação de um programa integrado de manejo de solos e erosão em microbacias.bitstream/item/81137/1/DOC52.pd

Classification of pasture degradation levels in terms of hydric erosion risk in Quartzipsamments areas at Alto Taquari watershed (MS/MT, Brazil).

Pasture degradation is currently one of Brazil's agriculture main problems. Pasture areas grown on Quartzipsamments (RQ) at the Alto Taquari watershed (BAT) are important sources of sediments which intensify the Taquari river´s situation in Pantanal. The objective of this work was to assess the use of the Linear Spectral Mixture Model (LSMM) in the mapping and characterization of the current degradation level of pastures planted on RQ at BAT in terms of erosion risk. Using Landsat 5 satellite images of 2010 and employing the LSMM, we generated an image for exposed soil (ES), which was used along with field work to define three pasture degradation levels: low degradation level or not degraded (ES 45%) and high degradation level (ES > 45%). In 2010, the pastures grown on RQ at BAT encompassed a total of 851,204 ha, which corresponded to 66.3% of this soil class and to 30.1% of the watershed surface. The largest amount of pasture areas, around 57%, showed medium degradation level, about 9% showed high degradation level, and the remainder, around 34%, were pastures with low degradation level or not degraded.Número Especial

Mudanças no regime hidrológico da bacia hidrográfica do Rio Taquari-Pantanal.

A inundação de 11.000 km2 no Pantanal, iniciada na década de 70, vem causando prejuízos à pecuária bovina e alterações na flora nativa. Esta inundação atribuída ao assoreamento do rio Taquari pode também estar associada a mudança no regime hidrológico, passando de um período seco para um período de chuvas e cheias maiores. As cheias maiores podem estar relacionadas ao aumento do desmatamento na bacia do alto Taquari (BAT). Foram analisadas vazões no rio Taquari, contribuições do nível do rio Paraguai e da precipitação na inundação. Também foi avaliado efeito da expansão da agropecuária na BAT sobre o aumento da vazão do rio Taquari, em Coxim. Contatou-se mudança significativa no regime hidrológico da planície do baixo curso do Taquari. A partir de 1973-74 inicio-se um período mais chuvoso e com cheias maiores. A defasagem de 3 a 4 meses entre a cheia do rio Paraguai com as chuvas na planície e a cheia do Taquari, possivelmente contribuem para manutenção da inundação na região por muitos meses. O aumento do aporte d'água da BAT para o Pantanal, observado a partir de meados da década de 70, foi influenciado, pelo aumento das chuvas e também pelo incremento do desmatamento na BAT.bitstream/item/37426/1/BP26.pd

Delimitação de bacias hidrográficas utilizando modelo digital de terreno gerado a partir de mapas topográficos e imagens de alta resolução espacial.

O objetivo deste trabalho foi gerar um modelo digital de terreno (MDT) e delimitar sub-bacias hidrográficas na área de estudo do projeto ?Sustentabilidade, competividade e valoração de serviços ecossistêmicos da heveicultura em São Paulo com uso de geotecnologias? (GeoHevea). O MDT foi gerado em ambiente de sistema de informações geográficas (SIG) a partir de cartas topográficas digitais e de imagens de alta resolução espacial. Os arquivos vetoriais relativos a curvas de nível, pontos cotados, rede hidrográfica e corpos d?água foram obtidos do Instituto Brasileiro de Geografia e Estatística (IBGE). Os arquivos da rede hidrográfica e dos corpos d?água do IBGE foram editados manualmente no SIG ArcGIS 10.3, tomando como base ortofotos da Empresa Paulista de Planejamento Metropolitano S/A (Emplasa). Na geração do MDT, foi utilizado o interpolador Topo to Raster do ArcGIS. Na delimitação das sub-bacias foi utilizada a extensão ArcHydro Tools no ArcGIS. Os resultados obtidos demonstraram que a rede hidrográfica digital das folhas topográficas disponibilizadas pelo IBGE necessita de ajustes. O MDT gerado pelo interpolador Topo to Raster apresentou menos rugosidades que o modelo digital de elevação (MDE) do Shuttle Radar Topography Mission (SRTM). A metodologia empregada neste estudo pode ser aplicada a outras regiões do Estado de São Paulo para a geração de MDTs. A delimitação das bacias hidrográficas da área de estudo do projeto GeoHevea identificou quatro sub-bacias: do Ribeirão Santa Bárbara, do Ribeirão dos Ferreiros ou das Oficinas, do Ribeirão São Jerônimo e do Córrego da Arribada