A inundação no rio Taquari.

bitstream/CPAP-2009-09/56868/1/FOL131.pd

Probabilidade de ocorrencia de cheia no Rio Paraguai, em Ladario, MS - Pantanal.

A previsao de cheia no Pantanal e de grande importancia para a socio-economia da regiao, pois possibilita o planejamento, nao so da pecuaria, principal atividade economica do Pantanal, como tambem do turismo, da pesca e da navegacao. Atualmente, o Departamento Nacional de Aguas e Energia Eletrica - DNAEE, em conjunto com a Companhia de Pesquisa de Recursos Minerais - CPRM, por intermedio do Projeto Pantanal, realizam previsoes dos niveis hidrometricos de alguns postos localizados na Bacia do Alto Paraguai (BAP). Dentre esses postos, o do rio Paraguai, em Ladario -MS, e considerado o principal referencial do regime hidrologico da BAP, pois possibilita ate mesmo a caracterizacao de um periodo como sendo de seca ou de cheia no Pantanal. Diante da grande demanda por previsao de cheia no Pantanal, o presente trabalho apresenta um novo metodo para previsao dos picos ou pontas de cheia do rio Paraguai, em Ladario. Trata-se de um metodo probabilistico baseado na comparacao dos niveis atuais com os registros de anos anteriores do rio Paraguai, em Ladario, para a mesma data do ano (dia e mes), levando-se em consideracao o que se sucedeu nos dias seguintes (pico de cheia). O metodo determina as probabilidades de ocorrerem pontas de cheia iguais ou superiores a 4,0, 4,5, 5,0, 5,5 e 6,0m, a partir do nivel do rio Paraguai, em Ladario em varias datas do ano (dias 1o, 11, 21, dos meses de janeiro a junho). Esse metodo determina tambem a data provavel (mes) de ocorrencia do pico de cheia. O metodo probabilistico foi utilizado em carater experimental nas cheias de 1995 (considerada a 3a maior do seculo) e de 1996. Os resultados obtidos pelo metodo proposto foram muito bons, pois sinalizaram com grande antecedencia as magnitudes das pontas de cheia e as datas (meses) de sua ocorrencia. O seu uso concomitante com outros metodos de previsao, baseados em informacoes nao so da regua de Ladario, bem como de postos hidrometricos localizados a montante (Projeto Pantanal, por exemplo), ira possibilitar uma predicao mais segura da cheia rio Paraguai, em Ladario.bitstream/item/37575/1/CT23.pd

Levantamento e estatistica descritiva dos niveis hidrometricos do rio Paraguai em Ladario, MS - Pantanal: periodo 1900-1994.

O nivel hidrometrico do rio Paraguai em Ladario, MS, medido pela regua instalada no 6. Distrito Naval da Marinha do Brasil, constitui o principal referencial do regime hidrologico da bacia do Alto Paraguai, possibilitando ate mesmo a caracterizacao de um dado periodo como sendo de seca ou de cheia no Pantanal. Quando o nivel maximo anual (pico ou ponta de cheia) e igual ou superior a cota de alerta de enchente do rio Paraguai em Ladario, ou seja 4,00 m, esse ano e considerado como sendo de cheia no Pantanal, caso contrario, como sendo de seca. Utilizando-se 34.607 registros diarios, relativos ao periodo de 01/01/1900 a 30/09/1994, foram realizados levantamentos e estudos estatisticos a nivel; diario, mensal e anual (ano hidrologico). Foram levantados valores minimos e maximos, calculadas medias, desvios-padrao e coeficientes de variacao e elaboradas tabelas de frequencia e histogramas.bitstream/item/37758/1/DOC14.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

Utilizacão de pesticidas na agropecuária dos municípios da Bacia do Alto Taquari de 1988 a 1996 e risco de contaminação do Pantanal, MS, Brasil.

A partir da década de 1970, a remoção da vegetação nativa, principalmente dos cerrados, da Bacia do Alto Taquari (BAT), localizada em Mato Grosso do Sul e parte de Mato Grosso, se intensificou, para a implantação da agropecuária. Essa ocupação foi desordenada e não seguiu as técnicas mínimas de manejo e conservação de solo. As terras mais fracas foram transformadas em pastagens cultivadas. Os latossolos, localizados nos Chapadões e com topografia apropriada a mecanização agrícola, foram ocupados, principalmente, pelas culturas de soja, milho, arroz, trigo e feijão. A utilização de pesticidas passou a preocupar a sociedade pelo risco de afetar diretamente a saúde do homem pelo consumo de alimentos contaminados e, indiretamente, pelas cadeias alimentares. A contaminação pode também afetar a biodiversidade do Pantanal, sem que sintomas sejam percebidos. Este estudo teve o objetivo de avaliar a evolução da área cultivada nos municípios de BAT, estimar a carga de pesticidas utilizada por classe e grupo químico, discriminados por ano (1988 a 1996), por cultura e município. A área anualmente cultivada pelas principais culturas foi obtida da base de dados do IBGE. Também uma base informatizada foi gerada pela Embrapa Pantanal, referente a utilização de pesticidas nos municípios da BAT de Mato Grosso do Sul, extraídos do Receituário Agronômico do CREA-MS. Os dados revelaram que o município de São Gabriel do Oeste foi o que apresentou a maior área cultivada e a soja foi a cultura de maior expressão na utilização de pesticidas. Do total de pesticidas (herbicidas + inseticidas + fungicidas), calculado em 1.369.957 litros e 157.120 quilos, nos municípios da BAT/MS, de 1998 a 1996, São Gabriel do Oeste foi o que contribuiu com a maior proporção, estimada em 506.159 litros (36,95%) e 27.684 quilos, (17,62%), e com a maior carga de herbicidas, estimada em 400.555 litros (37,20%). Os herbicidas foram os mais utilizados na BAT no período avaliado, seguido a distancia pelos inseticidas e fungicidas. A cultura de soja foi a que mais empregou herbicidas. Destacam-se as dinitroanilinas, base da trifuralina, do grupo químico dos herbicidas, seguido por difenileteres, imidazolinonas, imidazolinas, benzotiazinas, bipiridilios, derivados de glicina, fenoxiaceticos, aceanilidas, ariloxi fenopis propionatos, triazinas e sulfonilureias. Dos inseticidas, os grupos mais utilizados foram os organofosforados, esteres do ácido sulfuroso de um diol ciclico (organoclorados), carbamatos, triazina + triazina, pirotroides sintéticos, organoclorofosforados, atrizina + metolachlor, organoclorados e dinitroanilinas, em ordem decrescente. Dos fungicidas, em ordem decrescente, encontram-se os ditiocarbamatos, ftalimidas, benzimidazois, triazois, ftaminas, cupricos e anilidas. E também apresentada uma analise do município de São Gabriel do Oeste, porque foi o apresentou a maior utilização de pesticidas na serie de anos avaliada e por apresentar quase toda sua área na BAT. Foram feitas algumas recomendações de ordem geral que podem contribuir para a redução do uso de pesticidas e melhorar a precisão das futuras avaliações em outras bacias hidrográficas do Pantanal.bitstream/item/37570/1/CT27.pd

Potencial de contaminacao do Pantanal por pesticidas utilizados na Bacia do Alto Taquari, MS.

Os pesticidas compreendem um largo espectro de produtos quimicos usados na agropecuaria para controlar pragas, doencas de plantas e animais e combater ervas invasoras de culturas e pastagens. A eficacia comprovada desses produtos, aliada a crescente demanda setorial, viabilizou rapidamente a producao industrial, com o objetivo de incrementar a produtividade dos sistemas agropecuarios direcionados para a producao de alimentos. Os efeitos imediatos de toxicidade humana e ambiental foram durante muitos anos negligenciados ou considerados de menor relevancia. A expansao da agropecuaria na Bacia do Alto Paraguai (BAT), cuja superficie e de aproximadamente 29 mil km2, intensificada a partir da decada de 1970, passou a constituir uma serie ameaca para os ecossistemas do Pantanal, devido a elevada carga de pesticidas utilizados, colocando em risco as cadeias alimentares. Dos organismos que podem ser contaminados, os peixes, alem de constituirem fonte de proteina, representam um recurso natural de elevada importancia ambiental e economico-social para a Bacia do Rio Taquari. Os recursos pesqueiros desta bacia podem estar sendo diretamente contaminados por residuos de pesticidas ou atraves das cadeias alimentares.bitstream/item/41119/1/PA16.pd

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

A Closed-form Expression for the Gaussian Noise Model in the Presence of Raman Amplification

A closed-form model for the nonlinear interference (NLI) in Raman amplified links is presented, the formula accounts for both forward (FW) and backward (BW) pumping schemes and inter-channel stimulated Raman scattering (ISRS) effect. The formula also accounts for an arbitrary number of pumps, discrete or distributed Raman amplification setup, wavelength-dependent fibre parameters, and launch power profiles. The formula is suitable for ultra-wideband (UWB) optical transmission systems and is applied in a system with 13 THz optical bandwidth corresponding to transmission over the S-, C-, and L- band. The accuracy of the closed-form formula is validated through comparison with numerical integration of the Gaussian noise (GN) model and split-step Fourier method (SSFM) simulations in a point-to-point transmission link.Comment: arXiv admin note: text overlap with arXiv:2210.0906

Distribuição espacial da erosividade da chuva na Bacia do Alto Paraguai, Brasil.

A erosividade da chuva é um índice numérico que expressa a capacidade das chuvas em provocar erosão hídrica no solo. O mapeamento da erosividade da chuva é instrumento prático e indispensável para o planejamento do uso do solo em escalas regionalizadas, como grandes bacias hidrográficas. O objetivo deste estudo foi avaliar a distribuição espacial do potencial erosivo anual da chuva para a Bacia do Alto Paraguai em território brasileiro (BAP), fornecendo informações básicas ao planejamento de uso e manejo sustentável do solo. Para isso, foram analisadas 125 estações pluviométricas localizadas na BAP e no seu entorno. A erosividade da chuva foi estimada para cada uma das estações a partir de equação de Fournier ajustada para condição de regime climático semelhante a da BAP. Na espacialização do potencial erosivo procedeu-se à interpolação dos valores de erosividade das estações pelo método do inverso do quadrado da distância. Posteriormente foram calculados valores médios de erosividade para polígonos de Thiessen das áreas de influência das estações pluviométricas. A erosividade anual na BAP variou de 5.112 a 9.215, com média de 6.806 MJ mm ha-1 h-1. A erosividade foi classificada como moderada a forte em 72% da BAP e em 28% da bacia o potencial erosivo das chuvas foi classificado como forte. Observou-se também aumento da erosividade no sentido sudoeste para nordeste. Os elevados valores de erosividade das chuvas na BAP, associados a áreas com relevo mais acidentado e solos mais susceptíveis a erosão constituem áreas de maior vulnerabilidade natural a erosão hídrica. O uso dessas terras deve ser criterioso para minimizar a erosão do solo e seus impactos para o Pantanal.Geopantanal 2014

Notas sobre o comportamento de corte de Aplastodiscus arildae (Cruz & Peixoto, 1985) em um fragmento florestal urbano no sudeste do Brasil (Amphibia, Anura, Hylidae)

The courtship behavior, advertisement call, and courtship call of Aplastodiscus arildae are described based on observations realized at Parque das Mangabeiras, Belo Horizonte, Minas Gerais, Southeastern Brazil. Calling males were observed at leaves above the stream or on the litter near rivulet banks approximately all year. Female is attracted by the calling male and conducted to the subterranean nest, a different place from the calling site. The courtship event involves alternated mutual touches by the couple and calls with higher repetition rate emitted by the male. Aplastodiscus arildae presents reproductive mode with aquatic eggs deposited in subterranean nests. The advertisement call and courtship call consisted of a sequence of a unique no pulsed note, but the first presents larger interval among the calls and duration and higher dominant frequency than the last.O comportamento de corte e os cantos de anúncio e de corte de Aplastodiscus arildae são descritos com base em observações realizadas no Parque das Mangabeiras, Belo Horizonte, Minas Gerais, Sudeste do Brasil. Machos vocalizam praticamente por todo o ano, utilizando como sítios de vocalização a vegetação marginal ou o folhedo no barranco na margem de riachos. A fêmea é atraída pelo macho vocalizante, que a leva até o ninho (uma toca subterrânea), que se situa em local diferente do sítio de vocalização. No processo de condução ao ninho estão envolvidos toques mútuos entre os indivíduos e emissões de canto de corte emitidas pelo macho. Aplastodiscus arildae apresenta modo reprodutivo com ovos aquáticos depositados em ninhos subterrâneos. Os cantos de anúncio e de corte consistem de seqüências de uma única nota não pulsionada, sendo que o primeiro apresenta maior intervalo entre cantos e duração e freqüência dominante mais elevada que o segundo