411 |
Bifurcação de Hopf para uma classe de equações diferenciais parciais com retardamento / Hopf bifurcation for a class of partial differential equation with delayAzevedo, Katia Andreia Gonçalves de 18 April 2002 (has links)
Neste trabalho nós estudamos a equação de reação difusão com retardamento {∂U/∂t (t,x) = ∂2U/∂x2(t, x) + kU(t,x) + k/δ ∫-r + δ-r g(U(t,x), U(t + s, x)ds, U(t, 0) = U(t, π) = 0, t≥0 U(t,x) = ψ(t, x), (t, x) ∈ [-r, 0] X [0, π]. Nós mostramos a existência de uma sequência de valores {Tkn}n= 0,1,2... do parâmetro τ tal que uma bifurcação de Hopf ocorre quando o retardo passa através de cada valor {Tkn}. As técnicas principais usadas aqui são alguns resultados sobre problemas de autovalor não lineares, a análise da equação característica do problema linearizado, o método de Liapunov-Schmidt e o Teorema da Função Implícita. / In this work we study the retarded reaction-diffusion equation {∂U/∂t (t,x) = ∂2U/∂x2(t, x) + kU(t,x) + k/δ ∫-r + δ-r g(U(t,x), U(t + s, x)ds, U(t, 0) = U(t, π) = 0, t≥0 U(t,x) = ψ(t, x), (t, x) ∈ [-r, 0] X [0, π]. We show the existence of a sequence of values {Tkn}n= 0,1,2... of the parameter T such that a Hopf bifurcation occurs when the delay passes through each value {Tkn}. The main techniques used here are some results on nonlinear eigenvalue problems, the analysis of the characteristic equation of the linearized problem, the Liapunov-Schmidt method and the Implicit Function Theorem.
|
412 |
Evolução tectono-metamórfica da seção Bom Jardim de Minas (MG) - Barra do Pirai (RJ) : setor central da faixa Ribeira / Not available.Heilbron, Monica da Costa Pereira Lavalle 30 September 1993 (has links)
Na seção geotransversal Bom Jardim de Minas (MG) - Barra do Piraí (RJ), segmento central da Faixa Móvel Ribeira (FR), quatro escamas de empurrão, imbricadas de SE para NW, cavalgam o Domínio Tectônico Autóctone (DTA), situado na margem sul-sudeste do Cráton de São Francisco (CSF). O Domínio Tectônico Paraíba do Sul (DTPS) representa a escama superior e cavalga o domínio Tectônico Juiz de Fora (DTJF) que, por sua vez, se superpõe aos terrenos dos domínios tectônicos Andrelândia Alócone (DTAND) e Andrelândia Parautóctone (DTAP). No DTAND foram identificados dois conjuntos litológicos: a) supracrustais do Protetozóico Médio, constituem o Ciclo Deposicional Andrelândia (CDA). Rochas metabásicas invadem o CDA e sua assinatura geoquímica é indicativa tanto para afinidade toleítica continental como para basaltos do tipo N-Morb; e b) seu embasamento constituído por ortognaisses tonalíticos, migmatíticos, intrudidos por granodioritos e granitos, e por rochas granulíticas. Este conjunto é denominado Complexo Mantiqueira (CM) e sua histoória geológica remonta ao Arqueano, com importante retrabalhamento e acresção crustais no Proterozóico Inferior. O DTJF é caracterizado por uma intercalação tectônica de dois conjuntos distintos: a) metassedimentos correlacionáveis ao CDA, com intrusões de rochas metabásicas e idêntico empilhamento tectono-estratigráfico que o do DTAND; e b) granulitos ortoderivados, de composição e características geoquímicas variadas, integrantes do Complexo Juiz de Fora (CJF). No DTPS, ocorre o Grupo Paraíba do Sul (GPS), constituído por xistos e paragnaisses com intercalações de rochas carbonáticas e calciossilicáticas, invadido pela Suíte Intrusiva Quirino-Dorândia (SIQD), composta por ortognaisses graníticos, monzoníticos e granodioríticos, de provável afinidade calcioalcalina. Os três domínios tectônicos investigados em maior detalhe (DTAND, DTJF e DTPS) mostram a mesma evolução metamórfica e ) deformacional, com diferenças em estilo estrutural e intensidade do metamorfismo atribuídas a distintos níveis crustais superpostos durante intenso encurtamento crustal. As faces da Deformação Principal (\'D IND. 1\' + \'D IND. 2\') são responsáveis pelo imbricamento destas escamas de empurrão. Compõem o quadro da Deformação Principal: dobras apertadas a isoclinais, assimétricas, acilíndricas, associadas à foliação penetrativa (\'S IND. 2\' ou \'S IND. 1\' + \'S IND. 2\'); dobras em bainha e tubulares; zonas de cisalhamento com formação de rochas miloníticas; e forte lineação de estiramento. A análise estrutural geométrica permitiu a visualização de um modelo cinemático evolutivo, típico para áreas de convergência oblíqua. Na etapa \'D IND. 1\' a cedo-\'D IND. 2\', o transporte tectônico principal é para NW, em direção ao CSF; o intenso encurtamento causa a verticalização das estruturas já formadas e a incorporação de lascas do embasamento; na etapa tardi-\'D IND. 2\', a deformação principal passa a possuir uma importante componente direcional dextral, especialmente no contato do DTPS com DTJF. Nesta última etapa é ativado o empurrão basal do DTAND, pós-ápice térmico, resultando em pertubações no padrão metamórfico previamente estabelecido. Após a compartimentação tectônica causada pela deformação principal, os três domínios experimentam os efeitos das fases de deformação tardias (\'D IND. 3\' e \'D IND. 4\'). A deformação \'D IND. 3\' ainda é típica para ambientes compressivos, e origina o redobramento das estruturas já formadas, com planos axiais subverticais e eixos de caimento suave NE-SW. A estrutura de dobramento \'D IND. 3\' observada de escala regional, a Megassiforma do Rio Paraíba do Sul (MSPS), faz com que voltem a aflorar, no flanco SE (região da Serra do Mar), as escamas tectônicas observadas no flanco NW (Serra da Mantiqueira). O caráter heterogêneo de \'D IND. 3\' origina importantes zonas de cisalhamento ) dúcteis transpressivas dextrógiras, como a do Rio Paraíba do Sul (ZCPS). \'D IND. 4\' causa dobras suaves a abertas associadas a zonas de cisalhamento de direção NNW, em regime dúctil-rúptil. A análise das componentes de rejeito e o giro anti-horário destas zonas de cisalhamento são sugestivos para um regime de deformação transtensiva. Duas etapas metamórficas \'M IND. 1\' e \'M IND. 2\' estão associadas à tectônica convergente. A etapa \'M IND. I\', com ápice térmico sin-\'D IND. 2\', possui regime de pressão intermediária a alta, e é responsável pelo padrão metamórfico inverso observado. A etapa \'M IND. 2\' em regime de pressão mais baixa, é associada à deformação \'D IND. 3\' e à geração de rochas granitóides do tipo I e S, que invadem principalmente o DTPS. As etapas \'M IND. 1\' e \'M IND. 2\' são interpretadas como contínuas e decorrentes de um processo de colisão continental: \'M IND. 1\' é representante da época de deslaminação e \"underthrusting\" do DTAND, subductado para SE, por baixo do DTJF e DTPS; e \'M IND. 2\' é resultante da duplicação crustal com refusão dos metassedimentos e de seu embasamento, na etapa tardi-colisional. A investigação litogeoquímica do CJF permitiu a individualização de quatro séries magmáticas distintas: a) Série toleítica de Alto \'Tio IND. 2\', enriquecida em elementos litófilos de raio iônico grande, típica para magmatismo basáltico intraplaca; b) Série Toleítica de baixo \'Tio IND. 2\'; c) Série Calcioalcalina; e d) Série Calcioalcalina de Alto \'K IND. 2\'\'O\'. As três últimas apresentam características geoquímicas de ambientes colisionais, e podem representar estágios diferentes na evolução de um rco magmático cordilherano. A integração dos dados obtidos com os disponíveis na literatura permitiu a elaboração de um modelo de evolução tectônica ensiálica para o setor central da FR investigado, com a implantação de bacias intracontinentais no Proterozóico Médio, e por seu intenso ) encurtamento no Evento Termo-tectônico Brasiliano (Ett-B). Processos como deslaminação, \"underplating\" e subducção A (para SE) do segmento litosférico do DTAND sob o DTPS poderiam ser responsáveis pelos efeitos metamórfico-deformacionais e pelo magmatismo identificado na seção geotransversal. O DTJF representaria uma zona de sutura desta etapa de colisão oblíqua, com intensa incorporação e retrabalhamento de segmentos crustais mais profundos. / Detailed geological mapping combined with structural, metamorphic, geochemical and geochronological analysis were carried out at the Bom Jardim de Minas(MG)- Barra do Piraí(RJ) geotransect, southeastern Brazil. These data led to a regional tectonic subdivision for the central segment of Late Proterozoic (Brasiliano-Panafrican) Ribeira Belt (FR). Imbricated from se to NW towards the southern and southeastern margin of São Francisco Craton (CSF), five tectonic domains were identified. From top to bottom, these are the following: a) The Paraíba do sul tectonic Domain (DTPS) is characterized by the Paraíba do Sul Group(GPS), a metasedimentary sequence with abundant carbonatic and calcsilicatic intercalations . This unit is intruded by calcalkaline granitoids with strong deformation ( SIQD - Quirino -Dorândia Intrusive Suíte). Orthogneisses and granulitic rocks probably constitute the basement of the GPS.b) The Juiz de for a Tectonic Domain (DTJF) represents a terrane of tectonic mixing between metasediments of the Middle Proterozoic Andrelândia Depositional Cycle (CDA) and Early Proterozoic to archaean orthogranulites of the Juiz de fora complex(CJF).c)The Andrelândia Allochthonous and Parautochthonous Tectonic Domains (DTAND and DTAP) are characterized by the CDA and basement rocks of the Mantiqueira Complex(a typical High Grade Terrain) and the barbacena Complex (low grade granite-Greenstone terrain).d) The Autochthonous Tectonic Domain (DTA),bordering the CSF, is composed of the Andrelândia (CDA), Lenheiro (CDL) and Tiradentes (CDT) metasedimentary depositional sequences. The latter two represent the rift pgase, and are separated in time from the Carandaí Transgressive period by an erosional extensional period, with mafic dike emplacement. After a new erosional interval with exposition of basement rocks, the CDA transgressive sequence was deposited. Basement rocks in the DTA are similar to those in the DTAP and DTAND tectonic domains.Thrust sheet stacking was achieved during \'D IND.1\' + \'D IND.2\' deformation, responsible for the generation of the most important structures detected along the geotransect, such as: ductile shear zones with reverse and dextral components, asymmetrical recumbent to inclined folds, a penetrative \'SIND2\' foliation (with mylonitic character in the DTJF), stretching and mineral lineations, sheath and tubular folds. Differences in style and intensity of \'D IND.1\' + \'D IND.2\' deformation are observed among the tectonic domains, and are attributed to different crustal levels. The geometrical analysis combined with the study of shear sense indicators allowed the following Kinematic interpretation, characteristic of an oblique collision: a) \'D IND.1\' to early- \'D IND.2\' phase- SE-NW compression produced thrusts, recumbent and sheath folds, refolding and incipient development of \'S IND.2\' foliation; b) syn-\'D IND.2\' phase - as the compression continued early structures are verticalized and the deformation evolved to component with dextral lateral movement. The basal thrusts of DTJF and DTPS are activated at this stage. The former domain concentrated the effects of deformation; c) Late -\'D IND.2\' - the direction of tectonic transport became progressively more oblique causing reactivation of thrusts with a dextral directional component, especially at the contact between DTPS and DTJF. At this moment the basal thrust of dtand is activated causing a metamorphic \"jump\" between this domain and the DTAP. Two metamorphic stages, probably continuous in time, were identified in the metasedimentary sequences: a) \'M IND.1\' stage resulted in parageneses of intermediate to high pressure, contemporary with the \'D IND 1\' + \'D IND.2\' deformation. The metamorphic grade increases to the south, from the Kyanite to the K-feldspar zones; and b) syn-\'D IND.3\' deformation \'M IND.2\' stage generated high temperature-low pressure parageneses with I and S type granitoid intrusions, especially located at antiformal structures . The \'M IND.1\' stage was probably associated with delamination and A-subduction of DTAND domain at the beginning of collision. The observed inverted metamorphic zonation emphasizes this interpretation. \'M IND.2\' represents the post-collisional stage, with higher temperature gradient and extensive melting of duplicated crust.A division of Juiz de Fora Complex in four magmatic series is proposed, based on lithogeochemical studies. The Medium and High K2O calcalkaline and the low TiO2 Tholeiitic series are similar to igneous rocks of modern cordilleran magmatic arcs.The High-TiO2 Tholeiitic series is enriched in LILE and specially in REE, characterizing an intraplate basaltic magmatism. Granulite facies metamorphism related to the Transamazonic tectono-Thermal event (early Proterozoic) affected all these series. Finally, an ensialic tectonic evolution is envisaged for the Andrelândia Basin: a) Thermal relaxation following the Transamazonic Event induces the formation of Middle Proterozoic sedimentary basins, inicially with a rift phase with mafic dykes (CDL e CDT), passing to an interior sag phase (CDC e CDA); b) Delamination and A-subduction, probably associated with underplating, start to operate. Basic and minor ultrabasic intrusions, possibly along with volcanoclastic sediments, all derived from mantle underplating, reflect the final and more unstable stage of the Andrelândia Basin; c) As the subduction of DTAND proceeds, crustal shortening and tectonic incorporation of basement rocks (\'D IND.1\'+ \'D IND.2\') are associated with the \'M IND.1\' metamorphic Stage (Brasiliano Event Ett-B); d) After collision, crustal duplication leads to extensive partial melting of CDA and its basement. The emplacement of I and S type granitoids and the syn-\'D IND.3 M IND.2\' metamorphic stage characterize this tectonic period (Late Brasiliano Event).
|
413 |
Métodos de Decomposição para Problemas de Multifluxo em Redes. / Decomposition methods for network multiflows problemsMoraes, Celia Regina do Carmo 06 February 1997 (has links)
Este trabalho apresenta um estudo sobre problemas de multifluxo em redes, juntamente com três abordagens de solução: o Particionamento Primal, a Decomposição Recurso-Diretor e a Decomposição Dantzig-Wolfe. O produto num problema de multifluxo pode ser definido de três maneiras. Cada uma dessas definições para produto produz uma formulação distinta para o problema de multifluxo: o Problema Produto Específico (PPE), o Problema do Destino Específico (PDE) e o Problema Origem e Destino Específico (POD). Neste trabalho foi feita uma investigação do impacto das três formulações sobre a decomposição de Dantzig-Wolfe. / This work presents a study on multicommodity network flows problem and three solution approaches: Primal Partitioning, Resourse-directive Decomposition, Dantzig-Wolfe decomposition. A commodity in a network flow problem can be formulated by three ways leading to three different mathematical models: product specific problem (PSP), destination specific problem (DSP) and origin-destination problem (ODP). We also prese,nt an investigation of impact of problem formulation on Dantzig-Wolfe decomposition.
|
414 |
PRIORIS NÃO-INFORMATIVAS PARA O MODELO DE WEIBULL / Non-informative priors for Weibull modelsMoala, Fernando Antonio 10 December 1993 (has links)
Pela ausência de uma definição precisa do conceito de \"Não-Informação , há na literatura Bayesiana várias formas de formular densidades a priori não-informativas, por exemplo, Jeffreys (1967), Zellner (1984, 1990), Tibshirani (1989) e Bernardo (1979). Um estudo para verificar se estas densidades a priori são equivalentes, isto é, produzem densidades a posteriori iguais, é de grande interesse prático. O objetivo de nosso trabalho é selecionar um modelo que melhor represente um estado de \"pouco conhecimento\", a priori, sobre o parâmetro. Este estudo comparativo é feito para o caso específico do modelo de Weibull, com a finalidade de obter informação a respeito da função de confiabilidade R. Uma exposição de cada densidade a priori bem corno de suas propriedades também é apresentada. Para inicio das discussões, apresentamos, no Capitulo 1, os conceitos básicos da Inferência Bayesiana, questões filosóficas, vantagens e desvantagens de sua utilização em uma análise estatística. No Capítulo 2, revisamos algumas propriedades do modelo de Weibull. O Capítulo 3 é dedicado ao estudo das densidades a priori não-informativas onde discutimos sua definição, vantagens e desvantagens de sua utilização e descrevemos os métodos propostos por Jeffreys, Zellner, Tibshirani e Bernardo. No capítulo 4, calculamos as respectivas densidades a posteriori para a função de confiabilidade. Utilizando a Aproximação de Laplace (Kass, Tierney e Kadane, 1990) obtivemos uma forma fechada para essas densidades a posteriori; mais do que isso, encontramos que as densidades a posteriori seguem urna distribuição conhecida, denominada Log- Gama Negativa. Os resultados obtidos via Laplace são comparados graficamente aos resultados de Sinha e Guttman (1988), obtidos via integração numérica. Além disso, um outro resultado importante obtido é que as densidades a posteriori correspondentes às densidades a priori de Zellner, Tibshirani e Bernardo, respectivamente, são iguais. A igualdade das densidades a posteriori correspondentes as duas últimas densidades a priori é devida à coincidência dessas densidades a priori. Finalmente, no Capítulo 5, apresentamos urna ilustração numérica, através de gráficos e intervalos, para o estudo comparativo entre as densidades a posteriori correspondentes às densidades a priori de Jeffreys e Zellner e uma conclusão do estudo. Verificamos, também, que o critério de probabilidade de cobertura dos intervalos a posteriori, proposto por Berger (1992), não é suficiente para determinarmos qual densidade a priori seria menos informativa para valores de R próximos de 0 e 1; para isto sugerimos um critério adicional, através da comparação das amplitudes dos intervalos a posteriori. / Because of the absence of a precise definition of the \"Nonlnformation\" concept, severa] ways of formulating noninformative priors have been reported in the Bayesian literature (see, for example, Jeffreys, 1967; Bernardo, 1979; Zellner, 1984, 1990; Tibshirani, 1989). A study carried out to determine whether these priors are equivalent, i.e., whether they produce equal posteriors, is of great practical interest. The objective of our study was to select the model that would best represent a state of \"Bale knowledge\", a priori, about the parameter. This comparative study was carried out for the specific case of the \'Weibull model in order to obtain information about the reliability function R. A description of each prior and of its properties is also presented. To start the discussion, the basic concepts of Bayesian lnference, philosophical questions, advantages and disadvantages of its utilization are presented in a statistical analysis. Chapter 2 is devoted to a review of some properties of the Weibull model. Chapter 3 concerns the study of noninformative priors, with a discussion of their definition, advantages and disadvantages of their use, and with a description of the methods proposed by Jeffreys, Zellner, Tibshirani and Bernardo. In Chapter 4, the respective posteriors for the reliability function are calculated. Using the Laplace approximation (Kass, Tierney and Kadane, 1990), we obtained a closed formula for these posteriors; in addition, we found that the posteriors follow a known distribution denoted Log-Gamma Negative. The results obtained by the Laplace method were graphically compared to those of Sinha and Guttman (1988) obtained by numerical integration. Furthermore, another important result obtained was that the posteriors corresponding to the priors of Zellner, Tibshirani and Bernardo are equal. The equality of the posteriors corresponding to the last two priors is due to the coincidence of these priors. Finally, Chapter 5 presents a numerical illustration based on graphs and intervals for the comparative study of the posteriors corresponding to the priors of Jeffrey and Zellner, as well as a conclusion about the study. We also noted that the criterion for the probability of a posterior interval c.overage proposed by Berger (1992) is not sufficient to determine which prior would be least. informative for R values dose to O and 1. For this, we suggest an additional criterion based on the comparison of the amplitudes of a posterior intervals.
|
415 |
UM TEOREMA DE COMPACIDADE E A EQUAÇÃO DE KORTEWEG-DE VRIES / A compactness theorem and the Korteweg-de Vries eqGuimarães, Célia Mônica 31 August 1993 (has links)
Neste trabalho estudamos o problema de existência de solução (generalizada.) para a equação de Kortewegde Vries (KdV) com clado inicial em L2(R). O teo rema de oornpacidade de Aubin ([2]) desempenha um papel importante para este fim, bem como os espaços de Sobolev e suas propriedades, em particular, o lema. de Rellich. / We study the problem of the existence of (generalized) solution of the Cauchy problem for the Korteweg-de Vries equation (KdV) with initial data in L2(R). The Aubin theorern ([2]) plays an important role for that, as well as the Sobolev spaces and their properties, in particular the Rellich lemma.
|
416 |
AUTOMAÇÃO LABORATORIAL: UM DOMÍNIO DE APLICAÇÃO E UM SOFTWARE DE APOIO / Laboratory Automation: An Application Domain and and a Support SoftwareCunha, Luiz Manoel Silva 14 December 1993 (has links)
Sistemas para automação laboratorial permitem automatizar de forma significativa tarefas rotineiras envolvidas em processos de investigação de um produto qualquer (oleos essenciais, biscoitos, soja, etc). Esses sistemas, além de permitirem a obtenção rápida e precisa de dados oriundos de um equipamento de medição, permitem também analisá-los rapidamente, proporcionando ao usuário condições para tomar decisões em um curto espaço de tempo. Neste trabalho foram realizados estudos referentes a interfaces de comunicação, interface homem-máquina, ambientes de desenvolvimento de software, geradores de aplicação, e sistemas voltados para automação laboratorial, buscando formar uma base teórica para o desenvolvimento de um protótipo de sistema para automação laboratorial. Esse protótipo foi denominado de Sistema para Automação Laboratorial - SAL, permitindo que técnicos de laboratório com pouco conhecimento de programação construam programas para realizar coleta e análise de dados de um determinado experimento de forma bastante simples e rápida. O sistema é adequado para coleta e análise de dados. A criação e execução de programas usando o SAL também é muito simples. / Laboratory Automation Systems can automate a significative portion of tasks involved in the process of investigating a product. Such systems, in addition to providing for quick and precise capture of data from input devices, also allows fast analysis of those data, thus helping users to take faster decisions. This dissertation reviews concepts related to communication interfaces, man-machine interfaces , software development environments, application generators and systems for laboratory automation with the objective of laying the foundations for the development of a prototype system for laboratory automation (SAL). This system allows that laboratory technicians with small knowledge of computer programming be able to develop programs to colect and analize data for an experiment in a simple and quick way. The system is specially adequate for on-line data collection and analysis. It\'s also very simple to create and run the programs developed using SAL.
|
417 |
Fundamentos e estratégias de proteção e controle da qualidade das águas subterrâneas: estudo de casos no estado de São PauloHirata, Ricardo Cesar Aoki 15 December 1994 (has links)
O presente trabalho tem como objetivo estabelecer as bases tecno-científicas que permitam ao poder público estadual e municipal desenvolver programas de proteção e controle da contaminação das águas subterrâneas no Estado de São Paulo, a partir do disciplinamento do uso do solo. O texto é dividido em duas partes, na primeira, são discutidas as principais estratégias de proteção dos recursos hídricos subterrâneos utilizadas ou em experimentação em vários países europeus e americanos, análisando as mais adequadas à realidade paulista. Na segunda parte, estas estratégias são aplicadas ao Estado de São Paulo, com a definição de áreas de maior risco de contaminação dos aquíferos, pela identificação das cargas contaminantes potenciais e mapeamento da vulnerabilidade dos aquíferos (l:500.000). Para o estabelecimento de um programa de proteção continuado, em uma destas áreas de maior risco, no município de São José dos Campos, foi desenvolvido um estudo de maior detalhe (l:25.000), onde o planejamento e o uso atual do solo foram avaliados frente à vulnerabilidade e risco e aos perímetros de proteção de poços (PPP). Os trabalhos em território paulista permitiram traçar, através do método GOD, três níveis de vulnerabilidade dos aquíferos sedimentares nas bacias do Paraná e Vale do Paraíba (escala 1:500.000). As cargas contaminantes potenciais instaladas foram cadastradas e classificadas segundo três índices de perigo de geração de cargas ao aquífero. Foram analisadas 1.650 indústrias no Estado (exceto os da RMSP), definindo 526 de importância para as águas subterrâneas. A geração de resíduos sólidos foi estudada para a quase totalidade dos municípios, e em 73 localidades os empreendimentos foram localizados em cartas 1:50.000 e l:500.00). Fontes associadas a sistemas de saneamento in situ foram também analisadas, 11% e 9% dos municípios foram classificados como de elevado e moderado potencial de infiltração de nitratos, respectivamente. Quanto aos pesticidas, dos 573 municípios analisados, 57 mostraram índices elevados, 363 moderados e 140 reduzido. Para herbicidas, acaricidas e fungicidas os perfis se distribuiram de forma similar. Para os fertilizantes nitrogenados, os maiores problemas estão associados às culturas de cana de açúcar, citrus e anuais. As cavas de extração de minérios metálicos (30 atividades) foram também consideradas, embora mostrando pouca expressão em área e carga. A vulnerabilidade e carga contaminante definiram as seguintes áreas de maior risco no Estado: a região de Ribeirão Preto/Franca e arredores; Bauru; Vale do Paraíba (junto a São José dos Campos, e de Taubaté a Pindamonhangaba); Grande Campinas; além da zona de afloramento do Aquífero Botucatu-Pirambóia. Em São José dos Campos o mapeamento de vulnerabilidade definiu quatro áreas e avaliou que os maiores riscos de contaminação estavam associados às atividades industriais (5 fábricas), postos de serviço (15 empreendimentos), deposição de resíduos sólidos (16 áreas de entulho e 1 lixão) e urbanizações irregulares (12 favelas e 4 loteamentos). Para o traçado dos perímetros de proteção de poços (PPP) foram utilizadas três técnicas: raio fixo calculado, fluxo uniforme e numérico, calculadora com base nos tempos de bombeamento e de trânsito das águas subterrâneas de 50, 365 e 3650 dias. Entre estes métodos, o mais adequado para as condições da área de estudos, onde os dados hidrogeológicos disponíveis são pouco confiáveis, foi o do fluxo uniforme. O método numérico, com uso do programa Flowpath (2D, estado estacionário) mostrou restrições pela ausência de informações de drenagens verticais e piezometria real dos poços. Para o método do fluxo uniforme, 11 indústrias encontravam-se dentro da zona de captura para estado estacionário, bem como 19 postos de serviço, 2 favelas e 1 cemitério. As atividades assinaladas, tanto as definidas pelo mapeamento de vulnerabilidade, como pelos PPPs, devem ser alvos de um estudo de maior detalhamento, incluindo, quando for o caso, programas de monitoração do tipo ofensivo. Independentemente destes estudos, é necessária a implantação de monitoramento do tipo vigilância sanitária, nos poços públicos onde suas zonas de captura, tenham atingido alguma das atividades cadastradas. Os estudos desenvolvidos permitiram definir linhas de ação para um programa de proteção dos recursos hídricos subterrâneos, tanto para situações de fontes contaminantes potenciais já instaladas como para fontes futuras. O uso conjunto e complementar do mapeamento de vulnerabilidade e PPPs mostrou-se adequado às situações estudadas e passíveis de serem extrapoladas a outros municípios paulistas. / The present work aims to bring out technical bases to a disciplined use of soil in order to allow the state and municipality public power to carry out programs on protection and controlling of ground water against contaminators in the State of São Paulo. The first part of this text presents critical discussions about the main strategies to the protection of groundwater resources, both under way or on probation in several European and American countries. Those more adequate to the reality of the São Paulo State are then delineated. In the second part, these strategies, i. e. identification of potential subsurface contaminant load and mapping of vulnerability of aquifers (l:500.00), have been adopted to define areas in the State of São Paulo where more risk of contamination in aquifers is usually found. A more detailed study (l:25.000) has been carried out in the area of the city of São José dos Campos, in order to establish a continued protection program on one of these more risky areas, through which the use of the soil has been evaluated in respect is vulnerability and risk to the Wellhead Protection Areas (WHPA). The work on the territory of São Paulo State has made it possible to define, following the GOD method, three levels of vulnerability to the sedimentary aquifers in Paraná and Paraíba Basins (scale 1:500.000). Those potential contaminant loads already settled have been recorded and classified according to three indices of contaminant load into the aquifer. 1650 plants have been checked out in the State (except those of \"Região Metropolitana de São Paulo\"), from which 526 have been considered important to groundwater. Generation of solid waste has been investigated for most of the municipalities and in 73 of them the underground storage tanks have been marked on 1:50.00 and 1:500.000 maps. Areas with on situ sanitation systems have also been checked, 11% and 9% of the municipalities have been classified as of high and moderate nitrate infiltration potentiality, respectively. As to pesticides, from the 573 municipalities analysed, 57 have shown high indices, 363 moderate and 14O reduced. As to herbicides, acaricides and fungicides the profiles have shown similar distribution. As to nitrogen fertilizers, the most serious problems have shown to be associated to sugar cane, citrus and annuals cultures. The quarries for ore extraction (30 activities) have also been considered, although they show little expression in area and load. The vulnerability and contaminant load have defined the following risk areas in the State of São Paulo: Ribeirão Preto/Franca and surroundings, Bauru, Vale do Paraíba (the area close to São José dos Campos, and that extending from Taubaté to Pindamonhangaba) and Grande Campinas besides the outcropping zone of Botucatu-Pirambóia Aquifer. In São José dos Campos the vulnerability mapping has defined four areas whose risk of contamination are associated to industrial activities (5 plants), service stations (15 underground storage tanks), deposition of solid waste (16 areas of rubbish and garbage and 1 waste tip) and irregular urbanization (12 slums and 4 irregular urbanization). In order to trace the Well Head Protection Areas (WHPA), three techniques have been used: calculated fixed ratio, uniform flux and numerical methods, which have been calculated based on time of pumping and transit of groundwater in 50, 365, 3650 days. Among these methods the most adequate one to the conditions of the studied area has been the uniform flux as hydrogeologic data are poorly available. The numerical method which use the Flowpath program (2D, steady state) has shown restriction due to the lacking of information on the vertical drainage and real piezometry of the wells. As to the uniform flux method, 11 plants have been located within the capture zone for steady state, as well as 19 service stations, 2 slams and 1 cemetery. The activities so far defined either by mapping of vulnerability, or by WHPA, must become targets of more detailed studies, which should include groundwater offensive detection monitoring programs, whenever needed. Independently of these studies, it is urgent the installation of groundwater monitoring program (potable water supply surveillance), in public wells where their capture zones have reached any of the registered activities. The present study have allowed to define technical lines for a protection program of groundwater resources against both potential contaminant resources already settled and the future ones. The complementary use of both vulnerability mapping and WHPA has proved adequate to the studied situations and it is likely to be assigned to other municipalities of São Paulo.
|
418 |
Provincia alcalina central, Paraguai centro-oriental: aspectos tectonicos, petrográficos e geocronológicos / Not available.Velazquez Fernandez, Victor 26 February 1992 (has links)
Na borda ocidental da Bacia do Paraná a província central e a que reúne o maior número de ocorrências magmáticas de caráter alcalino. Ela localiza-se na porção centro-leste do Paraguai oriental, correspondendo aproximadamente às coordenadas geográficas 25°39\' a 26°10\' de Latitude Sul e 56°21\' a 57°45\' de Longitude Oeste. Tectonicamente acha-se associada a uma megaestrutura denominada \"rift\" de Assunção, que se estende desde a cidade homônima até as cercanias da cordilheira de Ybytyruzú, cobrindo cerca de 200 km de comprimento e 25 a 40 km de largura. A orientação se dá segundo NW-SEE e a sua história geológica aponta para um regime tectônico de força dupla dextral, dominantemente tensional, e relacionado do ponto de vista genético com a abertura ao Oceano Atlântico. Com base fundamentalmente nos eventos cronológicos magmáticos, é possível distinguir-se quatro estágios principais ligados na sua evolução. Estes abrangem um longo intervalo de tempo, do Mesozóico ao Cenozóico, com pico de máxima atividade tendo lugar no Cretáceo Inferior (135-120 Ma). Evidências texturais, associações mineralógicas e dados de campo permitiram a caracterização de duas suítes litológicas principais, plutônica e vulcânica. Na primeira se incluem rochas com textura eminentemente fanerítica e que ocorrem na maior parte das vezes como \"stocks\", intrudindo discordantemente encaixantes sedimentares (arenitos). Microscopicamente, foram diferenciadas as seguintes variedades petrográficas: essexitos, olivina, sienogabro, malignitos, sienodioritos e nefelina sienitos. Quanto à textura, elas mostram variação do hipidiomórfica a alotriomórfica granular e natureza holocristalina. A segunda aparece freqüentemente como derrames de lavas, \"plugs\", estes representando cerros que se destacam na topografia, e diques de dimensões variadas, de centimétricas a métricas. Aqui se agrupam basaltos alcalinos, tefritos, traquiandesitos, traquifonolitos e fonolitos. Estas rochas apresentam textura marcadamente porfirítica, com mega, feno e microfenocristais dos mais diversos minerais e matriz afanítica de natureza holocristalina. No tocante à composição mineralógica, os termos petrográficos mais máficos contêm, de modo geral, maior riqueza em clinopiroxênios (augita a diopsídio-augita), olivina magnesiana e plagioclásios de natureza cálcica (labradorita-bytownita). Já os membros mais félsicos exibempiroxênio do tipo egirina-augita a aegirina, rara olivina e plagioclásios de composição intermediária (andesita- labradorita. Na suíte plutônica, o feldspato alcalino e do tipo ortoclásio, enquanto que, na vulcânica, parece corresponder a sanidina. Feldspatóides são comuns a ambas as suítes. Dentre eles, nefelina é a fase mais abundante, com leucita e sodalita restritas quase que somente às rochas vulcânicas, tranquifonolitos e tranquitos e, mais raramente, fonolitos. Como acidentais reconhecem-se biotita e anfibólio e como acessórios mais frequentes estão presentes apatita, titanita, opacos e zircão. Geocronologicamente, os dados disponíveis (K/Ar e Rb/Sr) indicam como principal período de colocação dos corpos o intervalo 130-120 Ma (Cretáceo Inferior), guardando, assim boa concordância com as idades obtidas para as ocorrências alcalinas da borda oriental da Bacia do Paraná pertencentes ao cronogrupo de 133 Ma. Por outro lado, as idades de traços de fissão em apatitas evidenciam intervalo de tempo bem mais recente, refletindo, muito provavelmente, o momento de resfriamento dos corpos, ou então, indicando o resfriamento regional da área ligado a um período de equilíbrio isostático após a abertura do \"rift\". A razão inicial 87Sr/86Sr (0,07685-0,70790) para as rochas alcalinas da Província Central se mostra um pouco elevada comparativamente ao material mantélico, sugerindo, assim, fonte do manto mais radiogênica ou, ainda, a existência de eventual processo de contaminação crustal. / At the western border of the Paraná Basin, alkaline rocks are found in great number in the Central Province, of central-eastern Paraguay between 25°39\' to 26°10\' S latitude and 56°21\' a 57°45\' W longitude. Tectonically, those occurrences are related to the Asunción rift, a megastructure which extends from that city to the Ybytyruzú hills over an area of up to 200 km in length by 35-40 km in width. The rift, trending NW-SSE, shows a very complex tectonic history, involving a dextral, dominantly tensional, double stress motion. It is also related to the opening of the South Atlantic. On the basis of the chronology of magmatic events, it is suggested that the rift evolved in a complex way in four main stages covering a large span of time (Mesozoic to Cenozoic), with magmatic activity reaching its maximum in the Early Cretaceous, 135-120 Ma ago. Textural features, mineralogical assemblages and field evidence allow the rocks to be grouped into two suites, one plutonic and the other volcanic. In the first group are included rocks commonly cropping out as stocks, intrusive into sandstone country rocks. Microscopically, several petrographic types can be distinguished: essexites, olivine syenogabbros, malignites, syenodiorites and nepheline syenites. These rocks are always holocrystalline and exhibit a phaeneritic granular texture ranging from hypidiomorphic to allotriomorphic. The volcanic suite occurs in general as lava flows, plugs (forming small hills) and dykes with centimetric to metric widths. This suite is made up of alkaline basalts, tephrites, trachyandesites, trachyphonolites, trachytes and phonolites, all tipically porphyritic, with mega-, pheno- and microphenocrystals of various minerals within an aphanitic groundmass. From a mineralogical viewpoint, the mafic rocks are richer in clinopyroxenes (augite to diopside-augite), magnesian olivine and calcic plagioclase (labradorite-bytownite). On the other hand, the more felsic rocks contain pyroxenes of different composition (aegerine-augite to aegerine), rare olivine, less calcic plagioclase (andesine-labradorite) and alkali feldspar. In the plutonic suite the alkali feldspar is orthoclase, whereas in the volcanic suite is represented by sanidine. Feldspathoids occur in both associations, nepheline being the most abundant phase in the plutonic rocks. Leucite and sodalite are only present in volcanic types (trachyphonolites, trachytes and, less commonly phonolites). Biotite and amphibole can be occasionally found while apatite, sphene, opaques and zircon are the most frequent accessory minerals. K/Ar and Rb/Sr data indicate that the rocks belonging to the Central Province were formed for the most part in the Early Cretaceous (130-120 Ma), in agreement with other alkaline occurrences associated with the eastern margin of the Paraná Basin (chronogroup of 133 Ma). On the other hand, apatite fission track ages point to younger values, which probably are related to major regional cooling episodes following the separation of Africa and South America. Initial rations of 87Sr/86Sr for the alkaline rocks cover a narrow interval, 0,70685-0,70790, and are slightly higher than mantellic values, possibly suggesting a more radiogenic source or even the possibility of crustal contamination.
|
419 |
Evolução paleoambiental do Grupo Camaquã na região de Bom Jardim, sub-bacia Camaquã Central, RS / Not avilable.Janikian, Liliane 06 August 2001 (has links)
O Grupo Camaquã é composto por unidades vulcânicas e sedimentares de idade no intervalo Neoproterozóico III / Cambriano Inferior que afloram na porção centro-sul do Rio Grande do Sul, registrando importantes eventos tectônicos e deposicionais posteriores ao período orogênico principal do Ciclo Brasiliano na região. A classificação tectônica desta bacia ainda não está definida: se pós-orogênica ou anorogênica. Este grupo é subdividido, da base para o topo, em três formações: Marica, Crespos e Santa Bárbara, expostas em três sub-bacias alongadas segundo a direção NNE-SSW, denominadas Camaquã Ocidental, Camaquã Central e Camaquã Oriental, separadas pelos altos do embasamento de Caçapava do Sul e serra das Encantadas. A área abordada no presente trabalho compreende a região de Bom Jardim, situada no município de Caçapava do Sul-RS, porção norte da Sub-bacia Camaquã Central. Nesta região ocorrem rochas vulcânicas, vulcanoclásticas e siliciclásticas da Formação Crespos e rochas siliciclásticas da Formação Santa Bárbara, objetos de mapeamento e de caracterização de seus sistemas deposicionais através de análises de fácies sedimentares, paleocorrentes e proveniência; análises estruturais e petrográficas foram preliminarmente abordadas. A Formação Crespos na região de Bom Jardim constitui-se de rochas vulcânicas de composição intermediária, bem como rochas piroclásticas e sedimentares que intercalam-se aos derrames. As unidades sedimentares da Formação Crespos nesta região compreendem rochas vulcanoclásticas geradas concomitantemente à atividade vulcânica, bem como rochas siliciclásticas de períodos inter-eruptivos. Os depósitos da Formação Crespos foram gerados em ambiente lacustre, em uma bacia tectonicamente ativa, sob um regime distensivo. As evidências de uma origem tectônica para a bacia são, principalmente, a grande espessura desta unidade (que ultrapassa 3.000 m), seus depósitos sedimentares de águas profundas ) e a presença de fácies de leques subaquosos próximos às margens da bacia. A Formação Crespos na área pesquisada pôde ser subdividida em duas sucessões de fácies intercaladas por uma unidade vulcânica e piroclástica, denominadas como; (i) Sucessão de Fáceis Lacustres e Águas Profundas: é composta na sua porção basal por depósitos turbidíticos proximais desconfinados que transicionam para depósitos de turbiditos distais e de suspensão (siltitos e argilitos); estes últimos intercalam-se e são erodidos por leques subaquosos constituídos por depósitos de correntes de turbidez proximais canalizados (conglomerados a arenitos conglomeráticos) que passam lateral e verticalmente para depósitos distais (arenitos e siltitos) já sob condições desconfinadas. Os depósitos dessa sucessão de fácies apresentam evidências de atividade vulcânica simultânea ou recente, indicada pela presença de piroclastos texturalmente não modificados. (ii) Vulcânicas e Piroclásticas: esta unidade é composta por derrames de composição intermediária e por rochas piroclásticas associadas, de composição predominantemente intermediária a ácida. A colocação destas rochas é interpretada como subaquosa pois intercalam-se no topo aos depósitos de turbiditos e tempestitos da unidade sobreposta e, na base, aos turbiditos distais da sucessão de fácies basal. Petrograficamente, as rochas vulcânicas foram classificadas como andesitos, latitos-basaltos e latitos. Associam-se rochas piroclásticas classificadas como lapilli tufos, tufos finos e brechas piroclásticas, possuindo composições intermediárias e mistas (intermediárias e ácidas). (iii) Sucessão de Fácies Lacustres de Águas Rasas: compõe-se, em sua base, de depósitos de turbiditos proximais (depósitos conglomeráticos e de arenitos conglomeráticos), possivelmente associados a aporte aluvial proveniente de reativações tectônicas, sendo retrabalhados localmente por ondas de tempestade. Para o ) topo predominam tempestitos e depósitos de frentes deltaicas de deltas dominados por rios, gerados em ambientes costeiros proximais (nearshore) com gretas de contração e pequenas incursões de canais fluviais decorrentes de variações do nível de base. Possivelmente estes últimos depósitos representam o preenchimento da bacia em condições de menor atividade tectônica. A interpretação de um ambiente lacustre para a Formação Crespos na região de Bom Jardim decorre das características dos depósitos de topo da unidade, que apresentam marcante influência aluvial sem retrabalhamento por ondas de tempo bom ou marés, em um ambiente de águas calmas, mesmo nas fácies de águas mais rasas. Os depósitos da Formação Santa Bárbara representam, possivelmente, a instalação de um novo período distensivo, provavelmente em uma bacia do tipo rift. Esta unidade, essencialmente siliciclástica, apresenta-se regionalmente em contato erosivo e, aparentemente, angular com a Formação Crespos. Na área de estudo, esta unidade apresenta cerca de 2.000 m de espessura. Na região de Bom Jardim pudrem ser identificados quatro sucessões de fácies: (i) Sucessão de Fácies Marinhas de Costa-Afora: evidenciando um cilo retrogradacional, depósitos conglomeráticos de turbiditos proximais passam para arenitos de turbiditos distais, que por sua vez transicionam para depósitos de tempestitos de transição de costa-afora. Estes depósitos de tempestitos marcam o início de um ciclo progradacional. (ii) Sucessão de Fácies Marinhas Costeiras: depósitos de tempestitos de face litorânea (shoreface), representando a continuidade do ciclo progradacional iniciado no topo da Sucessão de Fácies Marinhas de Costa-Afora, passam para espessos depósitos de ritmitos de planícies de marés que, possivelmente, caracterizam um ciclo agradacional. (iii) Sucessão de Fácies de Leques Deltaicos e Leques Aluviais: marcando o início de um novo ciclo progradacional, ) depósitos de pró-delta iniciam esta sucessão de fácies, sendo rapidamente sobrepostos por depósitos conglormeráticos deltaicos e, posteriormente, de sistemas aluviais. Estes depósitos são interpretados como resultantes de uma reorganização tectônica da bacia, evidenciada pela grande contribuição de clastos provenientes de fonte proximais do embasamento. (iv) Sucessão de Fácies Marinhas Dominadas por Ondas: constitui-se de depósitos de face litorânea (shoreface) com arenitos gerados principalmente por ação de ondas de tempestades, caracterizando um ciclo agradacional. As formações Crespos e Santa Bárbara são afetadas por conjuntos de falhas predominantemente normais, que basculam suas unidades, não tendo sido encontradas falhas inversas ou transcorrentes de grandes rejeitos deformadoras destas unidades. / The Camaquã Croup is composed of volcanic and sedimentary units of the Neoproterozoic III and Early Cambrian, wich crop out in the south-central region of the state of Rio Grande do Sul, southern Brazil. These units represent important tectonic events that occurred after the main orogenic period of the Brasiliano Cicle in the region. The tectonic classification of the basin is not well defined, if post-orogenic or anorogenic. The group is divided into three formations: Maricá (lower), Crespos (middle) and Santa Bárbara (upper), and is exposed in three NNE-SSW elongated sub-basins, named Camaquã Ocidental (Eastern Camaquã), Camaquã Central (Central Camaquã) and Camaquaã Oriental (Western Camaquã). These Sub-basins are isolated from each other by the basement highlands of Caçapava do Sul and Serra das Encantadas. The present work considers the northern region of the Camaquã Central Sub-basin, an area called Bom Jardim, in the municipality of Caçapava do Sul. This region exposes volcantic, volcaniclastic and siliclastic rocks of the Crespos Formation and siliclastic rocks of the Santa Bárbara Formation. These units have been mapped and characterized in terms of their depositional systems through facies analysis and studies of paleocurrents and provenance. Preliminary petrographic and structural analyses have also been considered in the characterization and interpretation of the evolution of the Camaquã Group in the area. In the Bom Jardim region, the Crespos Formation is constituted by volcanic rocks of intermediate (andesitic) composition as well as pyroclastic and sedimentary rocks interfingered with the flows. Volcaniclastic rocks during volcanic events as well as inter-eruptive deposits compose the sedimentary units of the Crespos Formation in the region. The Crespos Formation deposits were formed in a lacustrine depositional environment, within a tectonically active extensional basin. The evidences for a tectonic origin for the basin are its great thickness (over 3000 m) and the presence of deep-water and sobaquous-fan deposits near the basin\'s margin. The Crespos Formation may be divided, in the considered region, into two facies successions separated by a volcanic and pyroclastic unit: (i) Deep-Water Lacustrine Facies Sucession: composed, in its lower portion, of unconfined proximal turbiditic deposits (fine sandstones) which grade to distal turbiditic and suspension deposits (siltstones and mudstones). These interfiger with and are eroded by subaquous-fan depostis, constituted by canalized proximal turbiditic deposits (conglomerates and conglomeratic sandstones) which pass laterally and vertically to distal unconfined deposits (sandstones and siltstones). Texturally unmodified pyroclasts are found in this facies succession, indicating that volcanic activity have taken place simultaneously or soon before the depositional events. (ii) Volcanic and Pyroclastic Rocks: composed of flows of intermediate (andesitic) composition and related pyroclastic rocks that are of intermediate to acid composition. A subaquous environment of emplacement is interpreted for these rocks as they interfinger with tempestites of the upper facies succession at the top and with turbidites of the lower facies succession at the base. These rocks were petrografically classified as andesites, latite-basalts and latites. The pyroclastic rocks are manly lapillituffs, fine tuffs and pyroclastic breccias, and the composition of their fragments is andesitic or both andesitic and acid (rhyolitic). Shallow-Walter Lacustrine Facies Succession: is composed, in its lower portion, of proximal turbidites (conglomerates and conglomeratic sandstones) possibly related to alluvial input generated by tectonic reactivation. Storm waves have locally reworked these deposits. Towards the top of the succession, neatshore deposits are dominant, composed of tempestites and river dominated delaic sandstones and siltstones. Muderacks and small incursions of fluvial channels indicate changes in the relative base level. Possibly this facies succession represents the infilling of the basin during a period of tectonic quiescence. The interpretation of a lacustrine environment for the Crespos Formation in the Bom Jardim region is based mainly in the facies associations of the upper facies succession, were there is evidence for quiet waters receiving alluvial input, lacking fair-weather waves or tidal reworking even in the shallowest facies. Above the Crespos Formation lies the Santa Bárbara Formation, which represents deposition of siliclastic successions in another period of extensional tectonic subsidence, probably in a rift basin. The contact between these two units is erosional and probably angular. Four facies successions were identified in the Santa Bárbara Formation in the Bom Jardim region: (i) Offshore Marine Facies Succession: composed of proximal conglomeratic turbiditic deposits that pass to distal turbidites (sandy rhythmites), revealing an initial retrogradational cycle, and then to offshoretransition tempestites. This last passage characterizes a progradational cycle. (ii) Coastal Marine Facies Succession: shoreface tempestites (mainly sandstones) complete the progradational cycle iniated at the top of the last facies succession, and are covered by tidal-flat rhythmites that characterize an agradational cycle. (iii) Fan-Delta and Alluvial Fan Facies Succession: pró-delta rhythmites are rapidly overlain by fan-delta conglomeratic deposits, characterizing a progradational cicle continued by the deposition of alluvial conglomerates and sandstones. These conglomeratic deposits are interpreted as an evidence of tectonic rearrangement of the basin, revealed by the great contribution of basement clasts of proximal sources. (iv) Wave Dominated Marine Facies Succession: composed of shoreface deposits, with amalgamated sandstones generated mainly by storm-wave action, characterizing an agradational cycle. The Crespos and Santa Bárbara formations are affected by groups of faults, mainly with normal movement. No reverse or transcurrent faults with great displacement were identified.
|
420 |
PROPRIEDADES DINÂMICAS DE STATECHARTS / Not availableBoaventura, Inês Aparecida Gasparotto 06 April 1992 (has links)
Os diagramas de estado, denom.in ados Statecharts (ou estadogramas; em Português) \'surgiram recentemente e se constrturrram rapidamente em uma alternativa valiosa para a especificação do aspecto comportamental de sistemas reativos. Outra alternativa, as Redes de Petri, existem há mais de vinte anos e têm incorporadas a si um conjunto volumoso de teoria, propriedades e ferramentas, desenvolvidos ao longo desses anos. Inspirado em resultados teóricos e algoritmos existentes para Redes de Petri, este trabalho define uma árvore de alcançabilidade para Statecharts e com base nela foram desenvolvidos algoritmos para verificação das seguintes propriedades dinâmicas dos Statecharts: vivacidade, sequência de eventos, alcançabilidade, reiniciabilidade e uso de transições. Diversos exemplos são apresentados e é discutida a implementação desses algoritmos dentro de um ambiente onde já existiam um editor gráfico e um simulador de Statecharts. / A new type of state diagrams, called Statecharts, were proposed recently and became an important alternative for specifying the behaviour of reactive systems. Another alternative, the Petri Nets, were proposed more than twenty years ago and a great body of theories, properties and tools associated is available to deal with dynamic properties. Inspired on the theorectical results and algorithms existing for Petri Nets, this dissertation defines a reachability tree for Statecharts. Based on it, algorithms were deveIoped for verification of the following dynamic properties: liveness, event sequence, reachability, reversibifity and transition usage. Several examples are presented and the implementation of these algoritms is discussed in an environment which already consisted of a graphical editor and a simulator for statecharts.
|
Page generated in 0.0935 seconds