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

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

A problemática socioeconômica e ambiental da bacia do rio Taquari e perspectivas.

bitstream/CPAP/56369/1/ADM049.pdfFormato eletrônico

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

GESTÃO INSTITUCIONAL NA EDUCAÇÃO INFANTIL

Esta pesquisa está situada no campo da Educação Infantil (EI). No reconhecimento das mudanças ocorridas nesse campo, que vem implicando na reconfiguração dos quadros profissionais, busca compreender quem são gestores que atuam nas instituições, considerando o perfil pessoal e profissional, a dinâmica do trabalho e os processos de formação continuada vivenciados. Estruturada com princípios teóricos-metodológicos bakhtinianos, BAKHTIN (1988, 1997, 2010, 2011), visando compreender a pesquisa contextualizada na relação entre sujeitos, especialmente com os conceitos de sujeito, dialogia, alteridade, excedente de visão e ato ético. Contextualiza a EI e a gestão na EI com base em CAMPOS (2006, 2010, 2011, 2012) e CÔCO (2009, 2010); aponta os aspectos da gestão democrática no Brasil com base nos documentos oficiais (BRASIL, 1988, 1996, 2014); com as literaturas do campo da gestão, SOUZA (2006, 2009, 2010, 2012) e PARO (1998, 2000, 2001, 2002, 2003, 2007, 2010, 2012, 2015) e, no campo da formação, NÓVOA (2002, 2009, 2011). Desenvolvida numa abordagem qualitativa e de tipo exploratória, teve como procedimentos a aplicação de questionário e a entrevista semiestruturada a gestores de Centros Municipais de Educação Infantil (CMEI) de um município da Região Metropolitana da Grande Vitória, Espírito Santo. A análise dos dados produzidos indica perspectivas de gestão que se desenvolvem sustentadas no compartilhamento do trabalho educativo, acena que o conhecimento das especificidades da EI contribui para o exercício da função e evidencia a relevância dos processos de formação continuada no desenvolvimento profissional e consequentemente, no fortalecimento das concepções vinculadas ao campo da EI

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

Pseudomonas aeruginosa and Its 4 Arsenal of Proteases: Weapons 5 to Battle the Host

Pseudomonas aeruginosa is a ubiquitous and opportunistic human pathogen that 12 represents a critical problem to the clinician due to the increased number of 13 resistant strains isolated from hospital settings. In addition, there is a great 14 variety of pathologies associated with this versatile Gram-negative bacterium. 15 P. aeruginosa cells are able to produce an incredible arsenal of virulence factors, 16 especially secreted molecules that act singly or together to ensure the 17 establishment, maintenance, and persistence of a successful infection in 18 susceptible hosts. In this context, pseudomonal proteases roles are highlighted 19 due to their ability to cleave key host proteinaceous substrates as well as to 20 modulate several biological processes, for example, escaping and modulating the 21 host immune responses in the bacterial own favor. Proteases secreted by 22 P. aeruginosa include elastase A (LasA), elastase B (LasB), alkaline protease 23 (AP), protease IV (PIV), Pseudomonas small protease (PASP), large protease A 24 (LepA), MucD, and P. aeruginosa aminopeptidase (PAAP). In the present 25 review, we discuss the role of each of these relevant proteases produced by P. aeruginosa taking into consideration their main biological functions in the 27 bacterium–host interaction that favors the establishment of the infectious 28 proces

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

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, wavelength-dependent fibre parameters, launch-power profiles, and is tested over a distributed Raman-amplified system setup. The formula is suitable for ultra-wideband (UWB) optical transmission systems and is applied in a signal 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