Geochemistry of glass shards in the volcanic ash layers of the Izu-Bonin Arc

To examine the processes and histories of arc volcanism and of volcanism associated with backarc rifting. 130 samples containing igneous glass shards were taken from the Plioccne-Quatemai^ succession on the rift Hank (Site 788) and the Quaternary fill in the basin fill of the Sumisu Rift (Sites 790 and 791). These samples were subsequently analyzed at the University of Illinois at Chicago and Shizuoka University. The oxides determined by electron probe do not account for the total weight of the material; differences between summed oxides and 100% arise from the water contents, probably augmented by minor losses thai result from alkali vaporization during analysis. Weight losses in colorless glasses are up to 9%; those in brown glasses (dacitcs to basalts) arc no more than 4.5%; shards from the rift-flank (possibly caused by prolonged proximity to ihc scafloor) generally have higher values than those from the rift-basin fill How much of the lost water is magmatic, and how much is hydrated is uncertain; however, although the shards absorb potassium, calcium, and magnesium during hydration in the deep sea, they do so only to a minor extent that does not significantly alter their major element compositions. Therefore, the electron-probe results are useful in evaluating the magmatism recorded by the shards. Pre- and syn-rift Izu-Bonin volcanism were overwhelmingly dominated by rhyolile explosions, demonstrating that island arcs may experience significant silicic volcanism in addition to the extensive basaltic and basaltic andestic activity, documented in many arcs since the 1970s, that occurs in conjunction with the andesitic volcanism formerly thought to be dominant. Andesitic eruptions also occurred before rifting, but the andesitic component in our samples is minor. All the pre- and syn-rift rhyolites and andesites belong to the low-alkali island-arc tholeiitic suite, and contrast markedly with the alkali products of Holocene volcanism on the northernmost Mariana Arc that have been attributed to nascent rifting. The Quaternary dacites and andesites atop the rift flank and in the rift-basin fill are more potassic than those of Pliocene age, as a result of assimilation from the upper arc crust, or from variations in degrees of partial melting of the source magmas, or from metasomatic fluids. All the glass layers from the rift-flank samples belong to low-K arc-tholeiitic suites. Half of those in the Pliocene succession are exclusively rhyolitic: the others contain minor admixtures of dacite and andesite, or andesite and either basaltic andesite or basalt. In Contrast, the Quaternary (syn-rift) volcaniclastics atop the rift-flank lack basalt and basaltic andesite shards. These youngest sediments of the rift flank show close compositional affinities with five thick layers of coarse, rhyolitic pumice deposits in the basin fill, the two oldest more silicic than the younger ones. The coarse layers, and most thin ash layers that occur in hemipelagites below and intercalated between them, are low-K rhyolites and therefore probably came from sources in the arc. However, several thin rhyolitic ash beds in the hemipelagites are abnormally enriched in potassium and must have been provided by more distal sources, most likely to the west in Japan. Remarkably, the Pliocene-Pleistocene geochemistry of the volcanic front does not appear to have been influenced by the syn-rift basaltic volcanism only a few kilometers away. Rare, thin layers of basaltic ash near the bases of the rift-basin successions are not derived from the arc. They deviate strongly from trends that the arc-derived glasses display on oxide-oxide plots, and show close affinities to the basalts empted all over the Sumisu Rift during rifting. These basalts, and the basaltic ashes in the basal rift-basin fill, arc compositionally similar to those erupted from mature backarc basins elsewhere.

Planktic and benthic 14C reservoir ages, calibrated by a suite of 14C plateaus in the glacial-to-deglacial Suigetsu atmospheric 14C record

We here present a compilation of planktic and benthic 14C reservoir ages for the Last Glacial Maximum (LGM) and early deglacial from 11 key sites of global ocean circulation in the Atlantic and Indo-Pacific Ocean. The ages were obtained by 14C plateau tuning, a robust technique to derive both an absolute chronology for marine sediment records and a high-resolution record of changing reservoir/ventilation ages (Delta14C values) for surface and deep waters by comparing the suite of planktic 14C plateaus of a sediment record with that of the atmospheric 14C record (Sarnthein et al., 2007, doi:10.1029/173GM13). Results published thus far used as atmospheric 14C reference U/Th-dated corals, the Cariaco planktic record, and speleothems (Fairbanks et al., 2005, doi:10.1016/j.quascirev.2005.04.007; Hughen et al., 2006, doi:10.1016/j.quascirev.2006.03.014; Beck et al., 2001, doi:10.1023/A:1008175728826). We have now used the varve-counted atmospheric 14C record of Lake Suigetsu terrestrial macrofossils (Ramsey et al., 2012, doi:10.1126/science.1226660) to recalibrate the boundary ages and reservoir ages of the seven published records directly to an atmospheric 14C record. In addition, the results for four new cores and further planktic results for four published records are given. Main conclusions from the new compilation are: (1) The Suigetsu atmospheric 14C record on its varve counted time scale reflects all 14C plateaus, their internal structures and relative length previously identified, but implies a rise in the average 14C plateau age by 200-700 14C yr during LGM and early deglacial times. (2) Based on different 14C ages of coeval atmospheric and planktic 14C plateaus, marine surface water Delta14C may have temporarily dropped to an equivalent of ~0 yr in low-latitude lagoon waters, but reached >2500 14C yr both in stratified subpolar waters and in upwelled waters such as in the South China Sea. These values differ significantly from a widely assumed constant global planktic Delta14C value of 400 yr. (3) Suites of deglacial planktic Delta14C values are closely reproducible in 14C records measured at neighboring core sites. (4) Apparent deep-water 14C ventilation ages (equivalents of benthic Delta14C), deduced from the sum of planktic Delta14C and coeval benthic-planktic 14C differences, vary from 500 up to >5000 yr in LGM and deglacial ocean basins.

Age determinations of rocks from Vestfjella and Ahlmannryggen in Antarctica

The Proterozoic country rock at Ahlmannryggen consists of flat lying basaltic lo andesitic lava flows and sedimentary rocks intruded by dioritic sills (Borgmassivet Intrusives). The suites display a typical platform cover. K-Ar age determinations gave maximum ages of about 1200 Ma on the magmatic rocks. All these suites were intruded bv Proterozoic dikes dated also at about 1200 Ma. Localiy the Proterozoic rocks have a slaty cleavage grading into mylonitic texture which strike parallel to the Jutul Penck graben. Such tectonic structures were dated at 525 Ma using syntectonic white micas. Evidence of the break-up of Gondwana during the Early Jurassic/Triassic is given by dikes at Ahlmannryggen and lava flows, dikes and sills at Vestfjella. At Ahlmannryggen the initial rift phase is documented by the development of the Jutul Penck graben and the intrusion of the 200-250 Ma continental-tholeiitic dikes striking parallel to the graben axis. The lava flows, dikes and sills at Vestfjella represent a later stage of the Gondwana break-up at about 180 Ma that probably reflects the initial stage of the opening of the Weddell Sea.

Boron isotope ratios of samples from ODP Leg 125 sites at a serpentine seamount, Mariana forearc

Serpentinite clasts and muds erupted from Conical Seamount, Mariana forearc, show substantial enrichment in boron (B) and 11B (delta11B up to +15?) relative to mantle values. These elevated B isotope signatures result from chemical exchange with B-rich pore fluids that are upwelling through the seamount. If the trends of decreasing delta11B with slab depth shown by cross-arc magmatic suites in the Izu and Kurile arcs of the western Pacific are extended to shallow depths (~25 km), they intersect the inferred delta11B of the slab-derived fluids (+13x) at Conical Seamount. Simple mixtures of a B-rich fluid with a high delta11B and B-poor mantle with a low delta11B are insufficient to explain the combined forearc and arc data sets. The B isotope systematics of subduction-related rocks thus indicate that the fluids evolved from downgoing slabs are more enriched in 11B than the slab materials from which they originate. Progressively lower delta11B in arc lavas erupted above deep slabs reflects both the progressive depletion of 11B from the slab and progressively greater inputs of mantle-derived B. This suggests that the slab releases 11B-enriched fluids from the shallowest levels to depths greater than 200 km.

Mud, sand, heavy and light minerals composition in lower Cretaceous at DSDP Hole 93-603B

During the drilling of Hole 603B on Deep Sea Drilling Project Leg 93, an unexpected series of sand-, silt-, and claystone turbidites was encountered from Cores 603B-45 through -76 (1224-1512 m sub-bottom depth). Complete and truncated Bouma sequences were observed, some indicating deposition by debris flows. Sand emplacement culminated with the deposition of a 30-m-thick, unconsolidated sand unit (Cores 603B-48 through -45). The purpose of this preliminary study is to determine the nature of the heavy mineral suites of this sediment in order to make tentative correlations with onshore equivalents. The heavy mineralogy of Lower Cretaceous North American mid-Atlantic coastal plain sediment has been extensively studied. This sediment is classified as the Potomac Group, which has a varied heavy mineral suite in its lower part (Patuxent Formation), and a limited suite in its upper part (Patapsco Formation). The results of this study reveal a similar trend in the heavy mineral suites of sediment in Hole 603B. Hauterivian through lower Barremian sediment has a heavy mineral suite that is dominated by zircon, apatite, and garnet, with minor amounts of staurolite and kyanite. Beginning in the mid-Barremian, a new source of sediment becomes dominant, one which supplies an epidote-rich heavy mineral suite. The results of the textural analyses show that average grain size of the light mineral fraction increases upsection, whereas sorting decreases. The epidote-rich source may have delivered sediment with a slightly coarser mean grain size. This sediment may represent a more direct continental input at times of maximum turbidite activity (mid-Barremian) and during deposition of the upper, unconsolidated sand unit.

Early Cretaceous dinoflagellate cycsts from ODP Hole 123-765C

Results of a preliminary study of Early Cretaceous dinocyst assemblages from Site 765 on the Argo Abyssal Plain, off northwestern Australia, are presented. The palynological sequence is interpreted in terms of Australian zones and is, in descending order, the late Aptian Diconodinium davidii Zone (Cores 123-765C-33R to -39R), the middle to early Aptian Odontochitina operculata Zone (Cores 123-765C-40R to -49R), the Barremian Muderongia australis Zone (Cores 123-765C-50R to -54R), and the Berriasian lower Batioladinium reticulatum Zone (Core 123-765C-59R). The dating of the sequence as late Aptian to Berriasian on the basis of dinocysts is supported, in part, by data concerning associated foraminiferal, radiolarian, and calcareous nannofossil suites.

Geochemistry and petrology of the volcanic rocks from the Sulu Sea

Major-, trace-, and rare-earth element analyses of the basaltic rocks recovered from the basement of the Sulu Sea and of lithic clasts from the pyroclastic unit representing the acoustic basement of the Cagayan Ridge, are presented. The major and trace elements were measured by X-ray fluorescence techniques, and rare-earth elements by instrumental neutron activation analysis. These data show that the Sulu Sea basalts are back-arc tholeiites and the lithic clasts are basalts, basaltic andesites, and andesites typical of volcanic arc suites erupted on continental crust. Petrogenetic modeling is used to show that the Sulu Sea basalts were derived from a heterogeneous mantle, probably representing subcontinental lithosphere, with contributions from a subduction component. The Sulu Sea is interpreted as a back-arc basin formed by rifting of an Oligocene to early Miocene volcanic arc leaving the Cagayan Ridge as a remnant arc. This event occurred during northward subduction of the Celebes Sea basement beneath the Oligocene to early Miocene arc.

Essentials in Ontology Engineering: Methodologies, Languages, and Tools

In the beginning of the 90s, ontology development was similar to an art: ontology developers did not have clear guidelines on how to build ontologies but only some design criteria to be followed. Work on principles, methods and methodologies, together with supporting technologies and languages, made ontology development become an engineering discipline, the so-called Ontology Engineering. Ontology Engineering refers to the set of activities that concern the ontology development process and the ontology life cycle, the methods and methodologies for building ontologies, and the tool suites and languages that support them. Thanks to the work done in the Ontology Engineering field, the development of ontologies within and between teams has increased and improved, as well as the possibility of reusing ontologies in other developments and in final applications. Currently, ontologies are widely used in (a) Knowledge Engineering, Artificial Intelligence and Computer Science, (b) applications related to knowledge management, natural language processing, e-commerce, intelligent information integration, information retrieval, database design and integration, bio-informatics, education, and (c) the Semantic Web, the Semantic Grid, and the Linked Data initiative. In this paper, we provide an overview of Ontology Engineering, mentioning the most outstanding and used methodologies, languages, and tools for building ontologies. In addition, we include some words on how all these elements can be used in the Linked Data initiative.

Sharing analysis of arrays, collections, and recursive structures

Precise modeling of the program heap is fundamental for understanding the behavior of a program, and is thus of signiflcant interest for many optimization applications. One of the fundamental properties of the heap that can be used in a range of optimization techniques is the sharing relationships between the elements in an array or collection. If an analysis can determine that the memory locations pointed to by different entries of an array (or collection) are disjoint, then in many cases loops that traverse the array can be vectorized or transformed into a thread-parallel versión. This paper introduces several novel sharing properties over the concrete heap and corresponding abstractions to represent them. In conjunction with an existing shape analysis technique, these abstractions allow us to precisely resolve the sharing relations in a wide range of heap structures (arrays, collections, recursive data structures, composite heap structures) in a computationally efflcient manner. The effectiveness of the approach is evaluated on a set of challenge problems from the JOlden and SPECjvm98 suites. Sharing information obtained from the analysis is used to achieve substantial thread-level parallel speedups.

Semantic technologies in idea management systems: a model for interoperability, linking and filtering

Abstract Idea Management Systems are web applications that implement the notion of open innovation though crowdsourcing. Typically, organizations use those kind of systems to connect to large communities in order to gather ideas for improvement of products or services. Originating from simple suggestion boxes, Idea Management Systems advanced beyond collecting ideas and aspire to be a knowledge management solution capable to select best ideas via collaborative as well as expert assessment methods. In practice, however, the contemporary systems still face a number of problems usually related to information overflow and recognizing questionable quality of submissions with reasonable time and effort allocation. This thesis focuses on idea assessment problem area and contributes a number of solutions that allow to filter, compare and evaluate ideas submitted into an Idea Management System. With respect to Idea Management System interoperability the thesis proposes theoretical model of Idea Life Cycle and formalizes it as the Gi2MO ontology which enables to go beyond the boundaries of a single system to compare and assess innovation in an organization wide or market wide context. Furthermore, based on the ontology, the thesis builds a number of solutions for improving idea assessment via: community opinion analysis (MARL), annotation of idea characteristics (Gi2MO Types) and study of idea relationships (Gi2MO Links). The main achievements of the thesis are: application of theoretical innovation models for practice of Idea Management to successfully recognize the differentiation between communities, opinion metrics and their recognition as a new tool for idea assessment, discovery of new relationship types between ideas and their impact on idea clustering. Finally, the thesis outcome is establishment of Gi2MO Project that serves as an incubator for Idea Management solutions and mature open-source software alternatives for the widely available commercial suites. From the academic point of view the project delivers resources to undertake experiments in the Idea Management Systems area and managed to become a forum that gathered a number of academic and industrial partners. Resumen Los Sistemas de Gestión de Ideas son aplicaciones Web que implementan el concepto de innovación abierta con técnicas de crowdsourcing. Típicamente, las organizaciones utilizan ese tipo de sistemas para conectar con comunidades grandes y así recoger ideas sobre cómo mejorar productos o servicios. Los Sistemas de Gestión de Ideas lian avanzado más allá de recoger simplemente ideas de buzones de sugerencias y ahora aspiran ser una solución de gestión de conocimiento capaz de seleccionar las mejores ideas por medio de técnicas colaborativas, así como métodos de evaluación llevados a cabo por expertos. Sin embargo, en la práctica, los sistemas contemporáneos todavía se enfrentan a una serie de problemas, que, por lo general, están relacionados con la sobrecarga de información y el reconocimiento de las ideas de dudosa calidad con la asignación de un tiempo y un esfuerzo razonables. Esta tesis se centra en el área de la evaluación de ideas y aporta una serie de soluciones que permiten filtrar, comparar y evaluar las ideas publicadas en un Sistema de Gestión de Ideas. Con respecto a la interoperabilidad de los Sistemas de Gestión de Ideas, la tesis propone un modelo teórico del Ciclo de Vida de la Idea y lo formaliza como la ontología Gi2MO que permite ir más allá de los límites de un sistema único para comparar y evaluar la innovación en un contexto amplio dentro de cualquier organización o mercado. Por otra parte, basado en la ontología, la tesis desarrolla una serie de soluciones para mejorar la evaluación de las ideas a través de: análisis de las opiniones de la comunidad (MARL), la anotación de las características de las ideas (Gi2MO Types) y el estudio de las relaciones de las ideas (Gi2MO Links). Los logros principales de la tesis son: la aplicación de los modelos teóricos de innovación para la práctica de Sistemas de Gestión de Ideas para reconocer las diferenciasentre comu¬nidades, métricas de opiniones de comunidad y su reconocimiento como una nueva herramienta para la evaluación de ideas, el descubrimiento de nuevos tipos de relaciones entre ideas y su impacto en la agrupación de estas. Por último, el resultado de tesis es el establecimiento de proyecto Gi2MO que sirve como incubadora de soluciones para Gestión de Ideas y herramientas de código abierto ya maduras como alternativas a otros sistemas comerciales. Desde el punto de vista académico, el proyecto ha provisto de recursos a ciertos experimentos en el área de Sistemas de Gestión de Ideas y logró convertirse en un foro que reunión para un número de socios tanto académicos como industriales.

Transcriptional changes and oxidative stress associated with the synergistic interaction between potato virus X and potato virus Y and their relationship with symptom expression.

Many virus diseases of economic importance to agriculture result from mixtures of different pathogens invading the host at a given time. This contrasts with the relatively scarce studies available on the molecular events associated with virus---host interactions in mixed infections. Compared with single infections, co-infection of Nicotiana benthamiana with Potato virus X (PVX) and Potato virus Y (PVY) resulted in increased systemic symptoms (synergism) that led to necrosis of the newly emerging leaves and death of the plant. A comparative transcriptional analysis was undertaken to identify quantitative and qualitative differences in gene expression during this synergistic infection and correlate these changes with the severe symptoms it caused. Global transcription profiles of doubly infected leaves were compared with those from singly infected leaves using gene ontology enrichment analysis and metabolic pathway annotator software. Functional gene categories altered by the double infection comprise suites of genes regulated coordinately, which are associated with chloroplast functions (downregulated), protein synthesis and degradation (upregulated), carbohydrate metabolism (upregulated), and response to biotic stimulus and stress (upregulated). The expressions of reactive oxygen species?generating enzymes as well as several mitogen-activated protein kinases were also significantly induced. Accordingly, synergistic infection induced a severe oxidative stress in N. benthamiana leaves, as judged by increases in lipid peroxidation and by the generation of superoxide radicals in chloroplasts, which correlated with the misregulation of antioxidative genes in microarray data. Interestingly, expression of genes encoding oxylipin biosynthesis was uniquely upregulated by the synergistic infection. Virus-induced gene silencing of ?-dioxygenase1 delayed cell death during PVX?PVY infection.

Implantación de técnicas de QA en un proyecto de desarrollo software

Hoy en día existe una preocupación creciente por la calidad del software entregado en los proyectos que se realizan a lo largo del mundo. El trabajo de fin de grado que va a ser desarrollado en estas páginas pretende demostrar la importancia de la realización de tests funcionales durante el proceso de desarrollo de software para que el proyecto alcance la calidad requerida tan demandada en estos días. Para ello, después de una pequeña introducción a la historia del software, se presentarán y compararán diversos tipos de metodologías de desarrollo de software, tanto pesadas (cascada, espiral, etc.) como ágiles (Extreme Programming y Scrum), se enfatizará en dichas metodologías ágiles y cómo el proceso de testing y control de calidad encaja perfectamente con la filosofía de las citadas metodologías ágiles. Se desarrollará una explicación del papel de QA en el desarrollo de software, asi como una explicación de los tipos de test existentes, y las herramientas, tecnologías y patrones que existen a disposición de aquellos que quieran desempeñar el papel de QA. Para complementar el punto de vista teórico de este trabajo se presentará un caso práctico real realizado en la empresa bq bajo una metodología Scrum. Dicho caso práctico muestra el uso de ciertas herramientas y su aporte para el control de calidad del proyecto bajo desarrollo, demostrando su importancia. Se realizará énfasis en el proceso de automatización de ciertas baterías de test (llamadas test suites), mostrando desde el planteamiento inicial de las diferentes historias de usuario y la batería de test, pasando por la elección de las tecnologías más adecuadas para la elaboración de los test hasta llegar al lanzamiento de dicha batería de pruebas y la comprobación de éstas. El punto de vista práctico quedará complementado por una explicación del framework nightwatch.js, framework utilizado en el desarrollo del proyecto en bq para la automatización de test funcionales. Esta explicación comprenderá tanto la configuración y uso del framework como el uso de patrones y la estructura de las pruebas. ABSTRACT Nowadays there is a growing concern about the Quality of the software delivered in the projects that are made all around the world. This final project will try to prove the importance of performing functional tests during the Software Development Process in order to be able to reach the demanded Quality. To fulfill this objective, different types of Software Development methodologies will be presented and compared. Heavy methodologies (waterfall, spiral methodologies, etc.) as well as agile methodologies (Extreme Programming and Scrum). There will be an emphasis in the second kind (agile methodologies) and how the testing and quality assurance process fits perfectly in their philosophy. A deep explanation of the role that Quality Assurance holds on software development will be presented, as well as an explanation on the current types of testing and an explanation of the different tools; technologies and patrons that exist to help anyone who wants to perform the role of QA. To complement the theoretical perspective of this work a real case study, performed at the company bq under a Scrum methodology, will be presented. The mentioned study covers the use of certain tools and their input for the quality assurance of the project under development, proving its relevance. Emphasis will be made in the process of conducting a set of tests (called test suite), showing from the initial approach of the different users stories and the set of tests, going through the choosing of the most suitable technologies for the tests development, and ending with the performance of this battery of tests and their checkout. The practical point of view will be complemented by a deep explanation of the creation process using the nightwatch.js automated test framework, used in the project in bq. This explanation will cover both the configuration and use of the framework as the use of patterns and structure of the tests.

Rapid mass spectrometric peptide sequencing and mass matching for characterization of human melanoma proteins isolated by two-dimensional PAGE.

We report a general mass spectrometric approach for the rapid identification and characterization of proteins isolated by preparative two-dimensional polyacrylamide gel electrophoresis. This method possesses the inherent power to detect and structurally characterize covalent modifications. Absolute sensitivities of matrix-assisted laser desorption ionization and high-energy collision-induced dissociation tandem mass spectrometry are exploited to determine the mass and sequence of subpicomole sample quantities of tryptic peptides. These data permit mass matching and sequence homology searching of computerized peptide mass and protein sequence data bases for known proteins and design of oligonucleotide probes for cloning unknown proteins. We have identified 11 proteins in lysates of human A375 melanoma cells, including: alpha-enolase, cytokeratin, stathmin, protein disulfide isomerase, tropomyosin, Cu/Zn superoxide dismutase, nucleoside diphosphate kinase A, galaptin, and triosephosphate isomerase. We have characterized several posttranslational modifications and chemical modifications that may result from electrophoresis or subsequent sample processing steps. Detection of comigrating and covalently modified proteins illustrates the necessity of peptide sequencing and the advantages of tandem mass spectrometry to reliably and unambiguously establish the identity of each protein. This technology paves the way for studies of cell-type dependent gene expression and studies of large suites of cellular proteins with unprecedented speed and rigor to provide information complementary to the ongoing Human Genome Project.

Caracterização geocronológica (U-Pb), geoquímica e isotópica (Sr, Nd, Hf) do complexo Rio Capivari no terreno Embu

O Complexo Rio Capivari (CRC) é constituído por ortognaisses migmatíticos de composições graníticas a tonalíticas e anfibolitos subordinados (magmas toleíticos) em lascas tectônicas no Terreno Embu. As composições dos gnaisses do CRC são predominantemente cálcio-alcalinas a álcali-cálcicas. Idades U-Pb em núcleos de zircão com zoneamento oscilatório indicam cristalização magmática dos protólitos em três períodos principais 2.4, 2.2-2.1 e 2.0 Ga. Idades metamórficas foram reconhecidas em bordas de zircão totalmente escuras nas imagens de catodoluminescência e variam entre 620-590 Ma. A suíte sideriana (2.4 Ga) apresenta caráter juvenil, como evidenciado pelos valores positivos de \'\'épsilon\'\'IND.Nd\' (+3.8) e \'\'épsilon\'\'IND.Hf\' (+0.3 a +4.8) e pela ausência de núcleos de zircão herdado, comumente encontrados em rochas que sofreram retrabalhamento crustal. A suíte de idades riacianas (2.2-2.1 Ga) apresenta idades modelos TDM arqueanas (2.6-3.3 Ga), valores negativos de \'\'épsilon\'\'IND.Nd\' (-12.0 a -4.0) e negativos a levemente positivos de \'\'épsilon\'\'IND.Hf\' (-7.8 a +0.5). Portanto, tais rochas derivam de retrabalhamento de reservatórios crustais antigos. A suíte de idade orosiriana (2.0 Ga) apresenta fontes mais antigas e retrabalhadas com valores altamente negativos de \'\'épsilon\'\'IND.Nd\' (-10.4) e \'\'épsilon\'\'IND.Hf\' (-1.2 a -13.6), sugerindo prolongada residência crustal com idades modelo \'T IND.DM\' e \'T IND.Hf\' >3.3 Ga. As assinaturas de elementos traços em rocha total e a química de zircão sugerem fontes máficas para o gnaisse sideriano. Reservatórios de crosta média, mas de profundidades variáveis, parecem ser a principal fonte dos gnaisses riacianos e orosirianos. Análises em diagramas tectônicos discriminantes baseados em elementos traços de rocha total com elevadas razões \'La/Yb IND.(N)\' (>10), Nb/Yb (>2) e Th/Yb (>1), somados aos valores de \'Y IND.2\'\'O IND.3\' (<3000 ppm), U/Yb (>0.5) e Nb/Yb (0.01-0.10) da química de zircão, sugerem que ambas as suítes de idades foram geradas em ambientes de arco magmático continental, mas com um gap de 200-300 Ma entre o gnaisse sideriano e os gnaisses riacianos sem dados ou informações geológicas. Perfis multielementos (elementos traços) comparativos entre representação de amostras típicas de arco continental associado à subducção de crosta oceânica (margem andina) e amostras de arcos de ilha (Ilhas Mariana) confirmam afinidade com ambiente de arco continental para o CRC, associado à subducção de placa oceânica, principalmente para o gnaisse sideriano. Apesar de pouco representativo, devido ao número de amostras (n=1), uma acresção juvenil em 2.4 Ga colabora para uma dinâmica contínua da evolução da crosta continental. O papel desempenhado pelo CRC na evolução geral do Terreno Embu permanece enigmático. Os dados isotópicos de \'\'épsilon\'\'IND.Nd(590)\' e \'ANTPOT.87 Sr\'/\'ANTPOT.88 Sr IND.(i)\' do CRC (-27.3 a -19.7 e 0.704 a 0.722, respectivamente) indicam evolução temporal não compatível com o requerido para as fontes dos granitos ediacaranos do Terreno Embu, que exigem a participação de reservatórios mais primitivos (\'\'épsilon\'\'IND.Nd(590)\' -13 a -7) e empobrecidos em Rb (\'ANTPOT.87 Sr\'/\'ANTPOT.88 Sr IND.(i)\' \'\'QUASE IGUAL A\' 0,710).

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.