The sheeted complex of the ~92 Ma Tenpeak pluton, in the Northern Washington Cascades crystalline core, forms a <1.5-km wide zone with a moderate, NE-dip at the SW margin of the pluton. Sheeted magmatic complexes, such as the one in the Tenpeak pluton, are common in plutons and represent examples of incremental growth of plutons. Though it is widely accepted that plutons are constructed incrementally over prolonged timescales of several million years, it is not clear if and to what degree individual batches of magma interact, the timing and size of each magma pulse, and the role, timing, and location of magmatic differentiation. This project uses a combination of field evidence, bulk rock chemistry, and mineral geochemistry to address the (1) role of magma mixing and fractionation, (2) constraints on the relative timing of magma differentiation, (3) diversity of mixing styles preserved, and (4) physical properties that dictate how individual batches of magma interact within this sheeted complex. Rock samples were collected throughout the complex from mafic, felsic, dioritic, thinly-banded, and gradational sheets. Field evidence shows a range of sheet contacts that vary from sharp to diffuse, strong prevalence of mafic enclaves, and localized cases of mechanical mixing in which plagioclase feldspars from a felsic sheet are incorporated into a mafic sheet. In general, sheet thickness increases farther from the contact with the White River shear zone. The bulk rock and mineral chemistry suggests that the felsic magmas in sheets formed independently from the more mafic and hybridized sheets. The composition of the felsic sheets cannot be modeling by binary mixing processes involving mafic and felsic magmas or result from fractionating the most mafic magmas. However, mass-balance calculations using a linear least-squares mass balance calculation and Rayleigh fractionation models indicate that it is possible to explain the range of felsic compositions by internal, crystal fractionation driven mostly by plagioclase crystallization (~40-58%). Negative Eu anomalies in amphiboles from the felsic sheets imply that plagioclase fractionation commenced prior to the onset of amphibole crystallization. With the exception of the most primitive mafic sheet sampled, the mafic and hybridized sheets represent variable proportions of the mafic parental magma and the range of felsic differentiated magmas. Efficient mixing that resulted in these mafic to hybridized magmas must also have occurred prior to mineral growth as the mineral chemistry reflects intermediate, mixed compositions. The bulk rock and mineral chemistry of the most primitive, mafic sheet suggest that it did not mix with any felsic magmas. However there is evidence that the mafic sheet underwent plagioclase fractionation prior to emplacement. This is evident by lower bulk rock Sr/Ba relative to calculated Sr/Bamelt of plagioclase that cannot be reconciled without removing ~40-58% plagioclase. In contrast to the felsic sheets, the amphiboles from this mafic sheet lack Eu anomalies implying that amphibole crystallization occurred prior to major plagioclase fractionation. Chemical evidence reveals that magma mixing played an important role in controlling the chemical composition of individual sheets and field observations suggesting that there was a range of mixing styles. Throughout the sheeted complex, there are localized sites of mechanical mixing where plagioclase phenocrysts from adjacent felsic sheets are mechanically mixed into mafic sheets. Evidence for mechanical mixing is present across both sharp and gradational contacts. This implies varying rheological and viscosity contrasts between different sheets, though in both cases crystallinity and viscosity appears sufficiently low to allow crystals to migrate across sheet contacts. Variability in sheet thickness and contact type suggests that the physical parameters (i.e. temperature, viscosity, rheology, and magma flux) of the system continue to evolve throughout the formation of the sheeted complex. Near the White River, sheets are thin and more heterogeneous but become progressively thicker (>302 m) and more felsic in composition up-section. The composition of plagioclase and amphibole is remarkably uniform in all of the felsic sheets suggesting that each sheet formed from an array of felsic parental magmas. Thicker, felsic sheets most likely reflect hotter conditions where larger magma fluxes could be accommodated or viscosity-temperature contrasts that were low enough to allow for efficient mixing between two adjacent sheets and therefore erase sheet contacts. / Graduation Date: 2013

The end-member types of shallow magmatic intrusions comprise cone sheets and dykes. These propagate from their source magma chamber towards the Earth’s surface. The propagation of magma within the shallow part of the volcano plumbing system produces surface deformation and seismicity, signs of volcanic unrest. Studying surface displacement using GPS and InSAR, geodetic modelling, fitting modelled data to real displacements, and inversion is regularly used to understand the processes in the subsurface. There is no possibility in nature to validate the assumptions of these models. However, using analogue modelling, it is possible to reproduce cone sheets and dykes in a controlled environment and study the associated surface deformation. This thesis tests the hypothesis that the two end-member types of magmatic sheet intrusions produce specific patterns of surface deformation. The analogue model surface is documented using two different monitoring setups: moiré monitoring and photogrammetry. The moiré method (dataset 1) consists of 43 experiments, 19 of which were dykes, 22 were cone sheets, and 2 were classified as hybrids. Photo- grammetry (dataset 2) was applied in 8 experiments, 3 of which produced cone sheets and 5 dykes. Dataset 1 successfully identified surface deformation patterns specific to the two intrusion types. Cone sheets develop in a gradual linear fashion, while the dykes exhibit a two-phase behaviour. The first phase shows little deformation until about halfway through the experiment duration when rapid deformation starts to occur. The point of maximum uplift, in both intrusion types, indicates the area of eruption from an early stage. Dataset 2 primarily evaluated the benefits of using the photogrammetric method. It successfully resolved horizontal components of displacement making it possible to study brittle defor- mation. As Dataset 2 consists of a limited amount of experiments, the results cannot be considered conclusive. However, they indicate that characteristic patterns of brittle deformation exist for the two types. Future improvements in this field include studying effects of topography and anisotropy on the surface deformation of the analogue models. Improvements in temporal and spatial resolution in the monitoring methods used to study surface displacement in nature is needed to perform analyses, similar to the ones presented here, on real surface deformation. The misfit of the surface deformation seen in numerical models compared to analogue models indicate that sheet intrusion propagation is not yet fully understood. / När magma rör sig från magmakammare mot jordytan i den ytliga delen av det underjordiska system av magma som finns under vulkaner, bildas ytdeformation. Genom att studera ytdeformationen med hjälp av GPS och InSAR samt numerisk modellering försöker forskare förstå dessa underjordiska processer för att förutspå framtida utbrott. Dessvärre finns ingen möjlighet att undersöka huruvida dessa numeriska modeller faktiskt överensstämmer med naturen. I gamla utdöda vulkaner som eroderats ner kan man se vulkanens inre där det finns stelnade, magmafyllda sprickor, så kallade gångar. Tyvärr ger detta dock ingen inblick i hur gångarnas bildning återspeglades i ytan. Detta kan man undersöka med hjälp av analoga modeller där det är möjligt att skapa likartade intrusioner i en kontrollerad labb-miljö och studera den tillhörande ytdeformationen. Denna avhandling undersöker hypotesen att de två huvudsakliga typerna av ytliga magmatiska gångar skapar specifika identifierbara mönster av ytdeformation. Detta testas genom att dokumentera den analoga modellens yta alltjämt som intrusionerna bildas med hjälp av två olika övervaknings- metoder. Den första metoden lyckades identifiera mönster som är specifika för de två olika typerna. Den högsta punkten på den deformerade ytan kan användas för att förutspå den plats där framtida utbrott kommer att ske i båda typerna. Den andra metoden lyckades urskilja dem horisontella komponenterna av förskjutning som gör det möjligt att studera den spröda deformation som utvecklas på ytan. Resultaten tyder på att karakteristiska mönster av spröd deformation existerar för de två typerna. För att förbättra de analoga modellerna måste man undersöka hur en mer topografiskt varierad yta påverkar den bildade deformation samt en skorpa som inte är helt homogen. Vid jämförelse mellan numeriska modeller och analoga modeller sågs en stor skillnad som tyder på att vi ännu inte förstår hur magma rör sig genom jordskorpan. Framtida användning av analyserna presenterade i denna avhandling kräver en förbättring av upplösningen på systemen som används till vulkanövervakning i naturen.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Most basaltic volcanoes are affected by recurrent lateral instabilities during their evolution. Numerous factors have been shown to be involved in the process of flank destabilization occurring over long periods of time or by instantaneous failures. However, the role of these factors on the mechanical behaviour and stability of volcanic edifices is poorly-constrained as lateral failure usually results from the combined effects of several parameters. Our study focuses on the morphological and structural comparison of two end-member basaltic systems, La Reunion (Indian ocean, France) and Stromboli (southern Tyrrhenian sea, Italy). We showed that despite major differences on their volumes and geodynamic settings, both systems present some similarities as they are characterized by an intense intrusive activity along well-developed rift zones and recurrent phenomena of flank collapse during their evolution. Among the factors of instability, the examples of la Reunion and Stromboli evidence the major contribution of intrusive complexes to volcano growth and destruction as attested by field observations and the monitoring of these active volcanoes. Classical models consider the relationship between vertical intrusions of magma and flank movements along a preexisting sliding surface. A set of published and new field data from Piton des Neiges volcano (La Reunion) allowed us to recognize the role of subhorizontal intrusions in the process of flank instability and to characterize the geometry of both subvertical and subhorizontal intrusions within basaltic edifices. This study compares the results of numerical modelling of the displacements associated with high-angle and low-angle intrusions within basaltic volcanoes. We use a Mixed Boundary Element Method to investigate the mechanical response of an edifice to the injection of magmatic intrusions in different stress fields. Our results indicate that the anisotropy of the stress field favours the slip along the intrusions due to cointrusive shear stress, generating flank-scale displacements of the edifice, especially in the case of subhorizontal intrusions, capable of triggering large-scale flank collapses on basaltic volcanoes. Applications of our theoretical results to real cases of flank displacements on basaltic volcanoes (such as the 2007 eruptive crisis at La Reunion and Stromboli) revealed that the previous model of subvertical intrusions-related collapse is a likely mechanism affecting small-scale steeply-sloping basaltic volcanoes like Stromboli. Furthermore, our field study combined to modelling results confirms the importance of shallow-dipping intrusions in the morpho-structural evolution of large gently-sloping basaltic volcanoes like Piton de la Fournaise, Etna and Kilauea, with particular regards to flank instability, which can cause catastrophic tsunamis.

[Truncated abstract] The Neoarchean (2800 to 2600 Ma) Eastern Goldfields Superterrane (EGST) comprises elongated belts of deformed and metamorphosed volcanic and sedimentary rocks intruded by granitoids. The Superterrane is made up of five distinct tectonostratigraphic terranes. From west to east these are the Kalgoorlie, Gindalbie, Kurnalpi, Laverton and Duketon Terranes. The Kalgoorlie Terrane is characterised by 2720 to 2680 Ma marine mafic-ultramafic volcanic successions interlayered with, and overlain by, 2710 to 2660 Ma dominantly trondhjemite-tonalite-dacite (TTD) dacititic volcaniclastic rocks (Black Flag Group). The adjacent Gindalbie and Kurnalpi terranes are characterised by 2720 to 2680 Ma calc-alkaline volcanic successions representing oceanic island arcs. To the west of the EGST, the Youanmi Terrane is characterised by older, dominantly 3000 to 2900 Ma greenstone rocks and complex granitoid batholiths derived from older crustal sources. The southern Kalgoorlie Terrane comprises five elongate NNW-trending tectono-stratigraphic domains. Three principal marine komatiitic to basaltic suites, collectively referred to as the Kambalda Sequence, are present, including the wellpreserved massive to pillowed Lower and Upper Basalt Sequences, separated by the Komatiite Unit, as well as numerous dyke suites. The Lower Basalt Sequence comprises the Woolyeenyer Formation, Lunnon, Wongi, Scotia, Missouri Basalts and Burbanks and Penneshaw Formations, whereas the Upper Basalt Sequence contains the Paringa, Coolgardie, Big Dick, Devon Consols, Bent Tree, and Victorious basalts. ... Instead, the data suggest that discrete PGE-bearing phase (s) fractionated from the basaltic magmas. Such phases could be platinum group minerals (PGM; e.g. laurite) and/or alloys, or discrete PGE-rich nuggets. In summary, data on the three magmatic sequences record decompression melting of three distinct mantle sources: (1) long-term depleted asthenosphere for prevalent depleted tholeiitic and komatiitic basalts, and komatiites; (2) long-term enriched asthenosphere for Paringa Basalts and similarly enriched rocks; and (3) shortterm enriched continental lithospheric mantle (CLM) for HREE and Al-depleted dykes. Some of these rocks were contaminated by TTD-type melts. Taken with the existing geophysical and xenocrystic zircon data, the most straightforward interpretation is eruption of a zoned mantle plume at the margin of rifted continental lithosphere. The Kalgoorlie Terrane extensional basin was subsequently tectonically juxtaposed with the adjacent arc-like Gindalbie and Kurnalpi Terranes at approximately 2660 Ma at the start of orogeny in a Cordilleran-style orogen to form the EGST. Collectively, uncontaminated basalts have Nb/Th of 8-16, compared to 8-12 reported for the Lunnon basalts in a previous study. To a first approximation these asthenosphere melts are complementary to average Archean upper continental crust with Nb/Th =2, consistent with early growth of large volumes of continental crust rather than models of steady progressive growth.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na avaliação da maturidade de horizontes geradores e da história térmica de uma bacia com registro de atividade magmática é preciso considerar o efeito térmico imposto pela intrusão de corpos ígneos, como diques e soleiras. Dessa maneira, foi realizada a análise numérica transiente, pelo método de diferenças finitas, do fluxo térmico por condução provocado pela intrusão das soleiras básicas cretáceas nos horizontes geradores do Membro Assistência, Formação Irati, Bacia do Paraná. Esta análise, por sua vez, viabilizou a modelagem do parâmetro de reflectância da vitrinita nos estratos de folhelhos adjacentes às soleiras. Para tanto, foram utilizados os dados de seção de três poços, os quais registram espessuras de soleiras de até 4 m, e um poço com uma soleira de 27 m de espessura. Os poços localizam-se na porção sudeste da bacia. Na simulação numérica, foi considerado o processo de solidificação do magma ou de cristalização das suas fases minerais. A modelagem de reflectância da vitrinita baseou-se em um modelo pré-concebido da história térmica da Formação Irati, sendo os resultados desta simulação de maturidade do querogênio obtidos através do uso do programa EASY%Ro. Considerando-se os erros embutidos no modelo numérico e na discretização da história térmica dos estratos estudados, foram obtidos valores modelados de reflectância da vitrinita similares aos valores medidos nos poços pelo método tradicional. Somente no caso da seção com a soleira de 27 m de espessura houve uma grande diferença entre estes valores. Contudo, o alto coeficiente de correlação (0,95) entre estes possibilita a correção do efeito da espessura da soleira em análises futuras. Assim, a análise numérica simulou o halo térmico da soleira, caracterizado, segundo os dados de modelagem de refletância da vitrinita, por uma faixa acima e abaixo da soleira com espessura equivalente à espessura da soleira encaixada nos estratos geradores da Formação Irati. Essa metodologia de avaliação propicia um estudo preditivo das condições de maturidade de horizontes geradores em bacias ou áreas com magmatismo intrusivo, nas quais as análises do parâmetro de reflectância da vitrinita sejam ausentes ou escassas. / To evaluate the thermal maturity and thermal history of source rocks in basins with magmatic activity it is important to consider the thermal effects imposed by igneous intrusions, such as sills and dykes. This work uses the finite difference method for such evaluation, with the transient numerical analysis of heat conduction from Cretaceous diabase sills intruded into the source rocks of the Assistência Member, Irati Formation, Paraná Basin. This analysis has permitted modeling vitrinite reflectance of the shale strata adjacent to the sills. The data of four wells are used from the southeastern portion of the basin, with diabase thicknesses, respectively, of 1m, 2 m, 4 m and 27 m. The numerical simulation includes the process of magma solidification or mineral phase crystallization. The vitrinite reflectance modeling followed a pre-established thermal history of the Irati Formation, using the EASY%Ro program to simulate kerogen maturity levels. Considering the errors built into the numerical model and the thermal history discretisation of studied strata, the acquired values of modeled vitrinite reflectance closely resembled well data analyzed by the traditional method. Major discrepancies were observed in the case of the well containing a sill 27 m thick, but even in this case the high correlation coefficient (0,95) between the measured and calculated values is expected to permit correction of the sill thickness effect in future studies. The numerical analysis correctly simulated the thermal halo induced by sill emplacement, enabling vitrinite reflectance modeling to characterize it as a zone extending both above and below the sill with thicknesses similar to that of the sills. This evaluation methodology contributes to a predictive study of the maturity conditions of source rocks within basins or areas with intrusive magmatism where analysis of the vitrinite reflectance parameter are sporadic or absent.

Les échanges des informations confidentielles ou critiques dans un environnement public, et donc potentiellement hostile, nécessitent l'emploi de techniques cryptographiques (protocoles et primitives). Malheureusement, l'expérience montre qu'une mauvaise conception, ou une expression peu claire des propriétés et hypothèses de sécurité attendues conduisent à des attaques, et qu'il faut parfois des années avant que celles-ci soient découvertes et corrigées. D'où l'adoption croissante de la sécurité prouvable, où on donne une définition rigoureuse des objectifs de sécurité et des démonstrations mathématiques que ceux-ci sont remplis. Par ailleurs, la complexité et la diversité des systèmes cryptographiques croît également. Il est donc largement admis qu'il n'est plus viable d'écrire ou vérifier manuellement des démonstrations cryptographiques (Bellare& Rogaway 2004, Shoup 2004, Halevi 2005) et qu'il faut développer des méthodes de vérification des systèmes cryptographiques assistées par ordinateur. L'objectif de cette thèse est d'effectuer des progrès significatifs dans cette direction. Plus précisement on s'interesse à la preuve formelle de protocoles cryptographiques. Vérifier des protocoles cryptographiques requiert le développement d'un cadre théorique qui doit permettre: - une modélisation précise des protocoles cryptographiques et des propriétés de sécurité qu'on veut prouver dans le modèle calculatoire. - mise en place de stratégies d'automatisation de preuves. - prise en compte des modèles plus réalistes pour l'adversaire (canaux cachés, ressources de calcul). A la fin de la thèse on a obtenu un cadre formel et un ensemble de méthodes logicielles capable d'aider à la vérification des protocoles cryptographiques. / Critical and private information are exchanged on public environment. To protect it from dishonest users, we use cryptographic tools. Unfortunately, bad conception, poorly written security properties and required security hypothesis lead to attacks, and it may take years before one discover the attack and fix the security schemes involved. In this context, provable security provides formal definitions for security objectives and implied mathematical proofs that these objectives are fullfilled. On another hand, complexity and variety of cryptographic systems are increasing, and proofs by hand are too complicated to write and to verify (Bellare& Rogaway 2004, Shoup 2004, Halevi 2005). Thus, we need computer-assisted verification methods for cryptographic systems. The aim of this thesis is to progress in this direction. More precisely we want significant progress over formal proofs on cryptographic protocols. To verify cryptographic protocols we need to develop a theoritical framework providing: - a precise modelisation for cryptographic protocols and security properties we want to prove in the computationnal model, - designing tactics to automate proofs, - taking into account realistic models for adversary (side-channels...). By the end of the thesis we have enhanced a theoretical framework and computing tools helping verifying cryptographic protocols.

Made available in DSpace on 2015-03-13T17:08:39Z (GMT). No. of bitstreams: 1 LarissaS_DISSERT.pdf: 4305557 bytes, checksum: 7f5031ea79015e9573b6354a457ad4a9 (MD5) Previous issue date: 2013-12-19 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Pyrometamorphism results from conditions of high temperatures and very low pressures provoked by the intrusion of hypabyssal basic bodies into sedimentary or metassedimentary hosting rocks. The onshore portion of the Potiguar Basin in NE Brazil offers examples of this type of metamorphism nearby the contacts of Paleogene to Neogene plugs, sills and dikes of diabases and basalts crosscutting sandstones, siltstones and shales of the A?u Formation (Albian-Cenomanian). The thermal effects over these rocks are reflected on textures and minerals assemblages that characterize the sanidinite facies of metamorphism, often with partial melting of the feldspathic and mica-rich matrix. The liquid formed is potassic and peraluminous, with variably colored rhyolitic glass (colorless, yellow, brown) comprising microcrystals of tridymite, sanidine and clinoenstatite, besides residual detrital clasts of quartz and rarely zircon, staurolite and garnet. Lenses of shale intercalated within the sandstones display crystallites of Fe-cordierite (sekaninaite), mullite, sanidine, armalcolite (Fe-Ti oxide) and brown spinel. The rocks formed due to the thermal effect of the intrusions are called buchites for which two types are herein described: a light one derived from feldspathic sandstone and siltstone protoliths; and a dark one derived from black shale protoliths. Textures indicating partial melting and minerals such as sanidine, mullite, tridymite and armalcolite strongly demonstrate that during the intrusion of the basic bodies the temperature reached 1,000-1,150?C, and was followed by quenching. Cooling of the interstitial melts has as consequences the closure of pores and decrease of the permeability of the protolith, which varies from about 17-11% in the unaffected rocks to zero in the thermally modified types. Although observed only at contacts and over small distances, the number of basic intrusions hosted within the Potiguar Basin in both onshore and offshore portions leaves opened the possibility of important implications of the thermal effects over the hydrocarbon exploration in this area as well in other Cretaceous and Paleozoic basins in Brazil / Pirometamorfismo ?gneo resulta de condi??es de altas temperaturas e baix?ssimas press?es provocadas pela coloca??o de corpos b?sicos hipabissais em encaixantes sedimentares ou metassedimentares. A Bacia Potiguar (NE do Brasil), em sua parte continental, oferece exemplos deste tipo de metamorfismo nas proximidades e contatos de plugs, soleiras e diques de diab?sios do Pale?geno e N?ogeno, intrusivos em arenitos e folhelhos da Forma??o A?u (Albiano-Cenomaniano). O efeito termal nestas rochas se reflete em texturas e associa??es minerais que caracterizam a f?cies sanidinito, com frequente fus?o parcial da matriz feldsp?tica a mic?cea. O l?quido formado pela fus?o ? pot?ssico e peraluminoso, formando um vidro riol?tico de cores variadas (incolor, amarelo, marrom) englobando microcristais de tridimita, clinoenstatita e sanidina, al?m de clastos de quartzo e raramente zirc?o, estaurolita e granada. Lentes de folhelho, intercaladas nos arenitos, cont?m cristalitos de Fe-cordierita (secanina?ta), mullita, sanidina, armalcolita (?xido de Fe e Ti) e espin?lio marrom. As rochas formadas devido ao efeito termal das intrus?es se chamam buchitos, sendo aqui descritos os tipos claros (prot?lito arenito e siltito feldsp?tico) e escuros (prot?lito folhelho escuro). Texturas indicativas de que houve fus?o parcial e minerais tais como sanidina, mullita, tridimita e armalcolita demonstram que foram atingidas temperaturas da ordem de 1000-1150?C, seguido por arrefecimento ultrarr?pido. O resfriamento do l?quido intersticial tem como consequ?ncia o fechamento de poros e a diminui??o da permeabilidade dos prot?litos, passando de 17-11% nas rochas n?o afetadas a zero naquelas mais transformadas. Apesar de essas rochas serem observadas apenas nos contatos ou a pouca dist?ncia dos mesmos, o grande n?mero de corpos b?sicos intrusivos na Bacia Potiguar, tanto na parte emersa como na por??o oce?nica, deixa em aberto a possibilidade de fortes implica??es do efeito termal na explora??o de hidrocarbonetos nesta ?rea como tamb?m em outras bacias cret?ceas e paleozoicas no Brasil

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na avaliação da maturidade de horizontes geradores e da história térmica de uma bacia com registro de atividade magmática é preciso considerar o efeito térmico imposto pela intrusão de corpos ígneos, como diques e soleiras. Dessa maneira, foi realizada a análise numérica transiente, pelo método de diferenças finitas, do fluxo térmico por condução provocado pela intrusão das soleiras básicas cretáceas nos horizontes geradores do Membro Assistência, Formação Irati, Bacia do Paraná. Esta análise, por sua vez, viabilizou a modelagem do parâmetro de reflectância da vitrinita nos estratos de folhelhos adjacentes às soleiras. Para tanto, foram utilizados os dados de seção de três poços, os quais registram espessuras de soleiras de até 4 m, e um poço com uma soleira de 27 m de espessura. Os poços localizam-se na porção sudeste da bacia. Na simulação numérica, foi considerado o processo de solidificação do magma ou de cristalização das suas fases minerais. A modelagem de reflectância da vitrinita baseou-se em um modelo pré-concebido da história térmica da Formação Irati, sendo os resultados desta simulação de maturidade do querogênio obtidos através do uso do programa EASY%Ro. Considerando-se os erros embutidos no modelo numérico e na discretização da história térmica dos estratos estudados, foram obtidos valores modelados de reflectância da vitrinita similares aos valores medidos nos poços pelo método tradicional. Somente no caso da seção com a soleira de 27 m de espessura houve uma grande diferença entre estes valores. Contudo, o alto coeficiente de correlação (0,95) entre estes possibilita a correção do efeito da espessura da soleira em análises futuras. Assim, a análise numérica simulou o halo térmico da soleira, caracterizado, segundo os dados de modelagem de refletância da vitrinita, por uma faixa acima e abaixo da soleira com espessura equivalente à espessura da soleira encaixada nos estratos geradores da Formação Irati. Essa metodologia de avaliação propicia um estudo preditivo das condições de maturidade de horizontes geradores em bacias ou áreas com magmatismo intrusivo, nas quais as análises do parâmetro de reflectância da vitrinita sejam ausentes ou escassas. / To evaluate the thermal maturity and thermal history of source rocks in basins with magmatic activity it is important to consider the thermal effects imposed by igneous intrusions, such as sills and dykes. This work uses the finite difference method for such evaluation, with the transient numerical analysis of heat conduction from Cretaceous diabase sills intruded into the source rocks of the Assistência Member, Irati Formation, Paraná Basin. This analysis has permitted modeling vitrinite reflectance of the shale strata adjacent to the sills. The data of four wells are used from the southeastern portion of the basin, with diabase thicknesses, respectively, of 1m, 2 m, 4 m and 27 m. The numerical simulation includes the process of magma solidification or mineral phase crystallization. The vitrinite reflectance modeling followed a pre-established thermal history of the Irati Formation, using the EASY%Ro program to simulate kerogen maturity levels. Considering the errors built into the numerical model and the thermal history discretisation of studied strata, the acquired values of modeled vitrinite reflectance closely resembled well data analyzed by the traditional method. Major discrepancies were observed in the case of the well containing a sill 27 m thick, but even in this case the high correlation coefficient (0,95) between the measured and calculated values is expected to permit correction of the sill thickness effect in future studies. The numerical analysis correctly simulated the thermal halo induced by sill emplacement, enabling vitrinite reflectance modeling to characterize it as a zone extending both above and below the sill with thicknesses similar to that of the sills. This evaluation methodology contributes to a predictive study of the maturity conditions of source rocks within basins or areas with intrusive magmatism where analysis of the vitrinite reflectance parameter are sporadic or absent.

Die vorliegende Arbeit beschäftigt sich mit der Diagnostik unerwünschter Gedanken sowie der Spezifität von Gedankenunterdrückung bei phobischen Patienten. Zwei Fragebogenverfahren zum Thema Sorgen sowie ein Instrument zur Erfassung von Strategien im Umgang mit intrusiven Gedanken wurden bezüglich der Gütekriterien der deutschen Übersetzung in einer klinischen Stichprobe evaluiert. Dabei handelt es sich um den Worry Domains Questionnaire (WDQ), der Sorgeninhalte erhebt, den Penn State Worry Questionnaire (PSWQ), der die Intensität von Sorgen erfasst, und den Thought Control Questionnaire (TCQ) zur Erfassung der Gedankenkontrollstrategien. Die Verfahren wurden bei 440 Psychotherapie-Patienten zu drei Meßzeitpunkten eingesetzt. Hinsichtlich der inneren Konsistenz und der Retest-Reliabilität ergeben sich für alle Instrumente zufriedenstellende bis gute Kennwerte. Die Validität ist nur für den PSWQ als gut zu bezeichnen. Beim WDQ zeigen sich Probleme hinsichtlich der Trennung von Sorgen und sozialer Ängstlichkeit, während der TCQ wohl eher Aspekte allgemeiner Psychopathologie als spezifische Strategien erfasst. Eine zweite Studie befasste sich mit intentionaler Gedankenunterdrückung. Die paradoxen Effekte dieser Bemühungen wurden wiederholt mit psychischen Störungen, vor allem mit Angststörungen, in Verbindung gebracht. Dabei ist ein wichtiges Thema, ob die Gedankenkontrollfähigkeit nur für störungsspezifische Inhalte oder generell beeinträchtigt ist. Die vorliegende Studie verglich Patienten mit Agoraphobie und Patienten mit Sozialphobie mit einer gesunden Kontrollgruppe. Alle Personen mussten Gedanken an ein neutrales Kontrollthema sowie zwei störungsspezifische Themen unterdrücken. Es zeigte sich ein störungsspezifischer Effekt bei den Agoraphobikern. Sozialphobiker scheinen hingegen ein generelles Defizit ihrer mentalen Kontrolle aufzuweisen. Zusätzlich erwies sich soziale Ängstlickeit innerhalb einer Reihe psychopathologischer Variablen als stärkster Prädikator für Schwierigkeiten bei der Gedankenunterdrückung. Ingesamt weisen einige Ergebnisse dieser Arbeit darauf hin, dass Gedankenunterdrückung ein wichtiges Merkmal der Sozialphobie sein könnte. / The work conducted aimed at evaluating instruments investigating unwanted thoughts as well as determining the specifity of thought suppression in phobia. German translations of two questionnaires measuring worry as well as an instrument, measuring strategies used in dealing with unwanted thoughts, were evaluated in a clinical sample. We used the Worry Domains Questionnaire (WDQ), measuring contents of worry, the Penn State Worry Questionnaire (PSWQ), measuring the intensity of worry, and the Thought Control Questionnaire (TCQ), investigating strategies in thought control. The instruments were administered at three points in a sample of 440 patients receiving psychological treatment. Concerning internal consistency and retest-reliability all questionnaires showed acceptable to good results. Validity is only good concerning PSWQ. WDQ has problems in differentiating worry and social anxiety, where as TCQ seems to measure general psychopathology more than specific strategies. The second study investigated intended thought suppression. Its paradoxical effects have been linked to psychological disorders, namely anxiety disorders. One important issue is if thought suppression is impaired only for thoughts related to the disorder or if the ability for mental control is generally impaired in anxiety patients. This study compared groups of agoraphobics and social phobics with healthy controls. All subjects had to suppress a neutral topic and two topics related to the central fear of the two disorders. We found a rather specific deficit in thought suppression for the agoraphobics. Social phobics seem to be characterized by a general impairment of mental control. In addition, among several psychopathological variables, social anxiety proved to be the strongest predictor for problems with thought suppression. Taken together, there are several indicators that thought suppression may be an important feature of social phobia.