Real-time identification and modelling in pervasive mining

This paper introduces an architecture for identifying and modelling in real-time at a copper mine using new technologies as M2M and cloud computing with a server in the cloud and an Android client inside the mine. The proposed design brings up pervasive mining, a system with wider coverage, higher communication efficiency, better fault-tolerance, and anytime anywhere availability. This solution was designed for a plant inside the mine which cannot tolerate interruption and for which their identification in situ, in real time, is an essential part of the system to control aspects such as instability by adjusting their corresponding parameters without stopping the process.

Staging the Sherleys' Travails

The remarkable Sherley brothers and their maverick diplomacy evidently appealed to early seventeenth-century readers, and dramatists recognised the theatrical potential their adventures offered. Scholars have been drawn to The Travailes of the Three English Brothers for its depiction of encounters with 'others', as a portrait of early modern England's ambitions beyond its shores. This article examines how, rather than serving as propaganda, as Thomas Sherley must have hoped, the theatrical treatment exposed the brothers to a sustained critique, deploying irony to undercut the heroic motives to which they laid claim and revealing the ideological fault lines at the heart of their enterprise.

Mobile elements drive recombination hotspots in the core genome of Staphylococcus aureus

Horizontal gene transfer is an important driver of bacterial evolution, but genetic exchange in the core genome of clonal species, including the major pathogen Staphylococcus aureus, is incompletely understood. Here we reveal widespread homologous recombination in S. aureus at the species level, in contrast to its near-complete absence between closely related strains. We discover a patchwork of hotspots and coldspots at fine scales falling against a backdrop of broad-scale trends in rate variation. Over megabases, homoplasy rates fluctuate 1.9-fold, peaking towards the origin-of-replication. Over kilobases, we find core recombination hotspots of up to 2.5-fold enrichment situated near fault lines in the genome associated with mobile elements. The strongest hotspots include regions flanking conjugative transposon ICE6013, the staphylococcal cassette chromosome (SCC) and genomic island νSaα. Mobile element-driven core genome transfer represents an opportunity for adaptation and challenges our understanding of the recombination landscape in predominantly clonal pathogens, with important implications for genotype–phenotype mapping.

Intraplate earthquake swarm in Belo Jardim, NE Brazil: reactivation of a major Neoproterozoic shear zone (Pernambuco Lineament)

Intraplate earthquakes in stable continental areas have been explained basically by reactivation of pre-existing zones of weakness, stress concentration, or both. Zones of weakness are usually identified as sites of the last major orogeny, provinces of recent alkaline intrusions, or stretched crust in ancient rifts. However, it is difficult to identify specific zones of weakness and intraplate fault zones are not always easily correlated with known geological features. Although Northeastern Brazil is one of the most seismically active areas in the country (magnitudes 5 roughly every 5 yr), with hypocentral depths shallower than similar to 10 km and seismic zones as long as 30-40 km, no clear relationship with the known surface geology can be usually established with confidence, and a clear identification of zones of weakness has not yet been possible. Here we present the first clear case of seismic activity occurring as reactivation of an old structure in Brazil: the Pernambuco Lineament, a major Neoproterozoic shear zone. The 2004 earthquake swarm of Belo Jardim (magnitudes up to 3.1) and the recurrent activities in the nearby towns of Sao Caetano and Caruaru (magnitudes up to 4.0 and 3.8), show that the Pernambuco Lineament is a weak zone. A local seismic network showed that the Belo Jardim swarm of 2004 November occurred by normal faulting on a North dipping, E-W oriented fault plane in close agreement with the E-W trending structures within the Pernambuco Lineament. The Belo Jardim activity was concentrated in a 1.5 km (E-W) by 2 km (downdip) fault area, and average depth of 4.5 km. The nearby Caruaru activity occurs as both strike-slip and normal faulting, also consistent with local structures of the Pernambuco Lineament. The focal mechanisms of Belo Jardim, Caruaru and S. Caetano, indicate E-W compressional and N-S extensional principal stresses. The NS extension of this stress field is larger than that predicted by numerical models such as those of Coblentz & Richardson and we propose that additional factors such as flexural stresses from the nearby Sergipe-Alagoas marginal basin could also affect the current stress field in the Pernambuco Lineament.

The intracratonic Caraibas-Itacarambi earthquake of December 09, 2007 (4.9 m(b)), Minas Gerais State, Brazil

On December 9, 2007, a 4.9 m(b) earthquake occurred in the middle of the Sao Francisco Craton, in a region with no known previous activity larger than 4 m(b). This event reached intensity VII MM (Modified Mercalli) causing the first fatal victim in Brazil. The activity had started in May 25, 2007 with a 3.5 magnitude event and continued for several months, motivating the deployment of a local 6-station network. A three week seismic quiescence was observed before the mainshock. Initial absolute hypocenters were calculated with best fitting velocity models and then relative locations were determined with hypoDD. The aftershock distribution indicates a 3 km long rupture for the mainshock. The fault plane solution, based on P-wave polarities and hypocentral trend, indicates a reverse faulting mechanism on a N30 degrees E striking plane dipping about 40 degrees to the SE. The rupture depth extends from about 0.3 to 1.2 km only. Despite the shallow depth of the mainshock, no surface feature could be correlated with the fault plane. Aeromagnetic data in the epicentral area show short-wavelength lineaments trending NNE-SSW to NE-SW which we interpret as faults and fractures in the craton basement beneath the surface limestone layer. We propose that the Caraibas-Itacarambi seismicity is probably associated with reactivation of these basement fractures and faults under the present E-W compressional stress field in this region of the South American Plate. (c) 2009 Elsevier B.V. All rights reserved.

The intraplate Porto dos Gauchos seismic zone in the Amazon craton - Brazil

The largest earthquake observed in the stable continental interior of the South American plate occurred in Serra do Tombador, Mato Grosso state - Brazil, on January 31,1955 with a magnitude of 6.2 m(b). Since then no other earthquake has been located near the 1955 epicentre. However, in Porto dos Gauchos, 100 km northeast of Serra do Tombador, a recurrent seismicity has been observed since 1959. Both Serra do Tombador and Porto dos Gauchos are located in the Phanerozoic Parecis basin. Two magnitude 5 earthquakes occurred in Porto dos Gauchos, in 1998 and 2005, with intensities up to VI and V, respectively. These two main shocks were followed by aftershock sequences lasting more than three years each. Local seismic stations have been deployed by the Seismological Observatory of the University of Brasilia since 1998 to study the ""Porto dos Gauchos"" seismic zone (PGSZ). A local seismic refraction survey was carried out with two explosions to help define the seismic velocity model. Both the 1998 and 2005 earthquake sequences occurred in the same WSW-ENE oriented fault zone with right-lateral strike-slip mechanisms. The epicentral zone is in the Parecis basin, near its northern border where there are buried grabens, generally trending WNW-ESE, such as the deep Mesoproterozoic Caiabis graben which lies partly beneath the Parecis basin. However, the epicentral distribution indicates that the 1998 and 2005 sequences are related to a N60 degrees E fault which probably crosses the entire Caiabis graben. The 1955 earthquake, despite the uncertainty in its epicentre, does not seem to be directly related to any buried graben either. The seismicity in the Porto dos Gauchos seismic zone, therefore, is not directly related to rifted crust. The probable direction of the maximum horizontal stress near Porto dos Gauchos is roughly E-W, consistent with other focal mechanisms further south in the Pantanal basin and Paraguay. but seems to be different from the NW-SE direction observed further north in the Amazon basin. The recurrent seismicity observed in Porto dos Gauchos, and the large 1955 earthquake nearby, make this area of the Parecis basin one of the most important seismic zones of Brazil. (C) 2009 Elsevier B.V. All rights reserved.

Basement depths in the Parecis Basin (Amazon) with receiver functions from small local earthquakes in the Porto dos Gauchos seismic zone

Receiver functions from small local earthquakes were used to determine sediment thicknesses in Porto dos Gauchos seismic zone (PGSZ), Parecis basin, Amazonian craton, Brazil. The high velocity contrast between basement and sediments (P-wave velocities of 6.1 and 3.0 km/s, respectively) favors the generation of clear P-to-S converted phases (Ps) seen in the radial component, and also S-to-P conversions (Sp) seen in the vertical component. A reference 10 velocity model determined with shallow refraction experiment in PGSZ helped to convert Ps P time differences to basement depths at 15 stations deployed for aftershocks studies. The results of receiver function integrated with the shallow refraction reveal that the basement depths in the PGSZ increases from the basin border in the north up to about 600 m depth in the south. The basement topography, however, does not vary smoothly and a basement high with a steep topography was detected near the epicentral area. A 400 m elevation difference within 1.7 km distance suggests a possible border fault of a buried graben. This feature seems to be oriented roughly WSW-ENE and could indicate basement structures related to the seismicity of the Porto dos Gauchos Seismic Zone. (C) 2011 Elsevier Ltd. All rights reserved.

Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

A transformational language for mutant description

Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment. (C) 2008 Elsevier Ltd. All rights reserved.

Tectonic fabric revealed by AARM of the proterozoic mafic dike swarm in the Salvador city (Bahia state): Sao Francisco Craton, NE Brazil

Magnetic fabric and rock magnetism studies were performed on 25 unmetamorphosed mafic dikes of the Meso-Late Proterozoic (similar to 1.02 Ga) dike swarm from Salvador (Bahia State, NE Brazil). This area lies in the north-eastern part of the Sao Francisco Craton, which was dominantly formed/reworked during the Transamazonian orogeny (2.14-1.94 Ga). The dikes crop out along the beaches and in quarries around Salvador city, and cut across both amphibolite dikes and granulites. Their widths range from a few centimeters up to 30 m with an average of similar to 4 m, and show two main trends N 140-190 and N 100-120 with vertical dips. Magnetic fabrics were determined using both anisotropy of low-field magnetic susceptibility (AMS) and anisotropy of anhysteretic remanent magnetization (AARM). The magnetic mineralogy was investigated by many experiments including remanent magnetization measurements at variable low temperatures (10-300 K), Mossbauer spectroscopy, high temperature magnetization curves (25-700 degrees C) and scanning electron microscopy (SEM). The rock magnetism study suggests pseudo-single-domain magnetite grains carrying the bulk magnetic susceptibility and AARM fabrics. The magnetite grains found in these dikes are large and we discard the presence of single-domain grains. Its composition is close to stoichiometric with low Ti substitution, and its Verwey transition occurs around 120 K. The main AMS fabric recognized in the swarm is so-called normal, in which the K(max)-K(int) plane is parallel to the dike plane and the magnetic foliation pole K(min)) is perpendicular to it. This fabric is interpreted as due to magma flow, and analysis of the K m inclination permitted to infer that approximately 80% of the dikes were fed by horizontal or sub-horizontal flows (K(max) < 30 degrees). This interpretation is supported by structural field evidence found in five dikes. In addition, based on the plunge of K(max), two mantle sources could be inferred; one of them which fed about 80% of the swarm would be located in the southern part of the region, and the other underlied the Valeria quarry. However, for all dikes the AARM tensors are not coaxial with AMS fabrics and show a magnetic lineation (AARM(max)) oriented to N30-60E, suggesting that magnetite grains were rotated clockwise from dike plane. The orientation of AARM lineation is similar to the orientation of a system of faults in which the Salvador normal fault is the most important. These faults were formed during Cretaceous rifting in the Reconcavo-Tucano-jatoba assemblage that corresponds to an aborted intra-continental rift formed during the opening of the South Atlantic. Therefore, the AARM fabric found for the Salvador dikes is probably tectonic in origin and suggests that the dike swarm was affected by the important tectonic event responsible for the break-up of the Gondwanaland. (C) 2008 Elsevier B.V. All rights reserved.

Quartz recrystallization regimes, c-axis texture transitions and fluid inclusion reequilibration in a prograde greenschist to amphibolite facies mylonite zone (Ribeira Shear Zone, SE Brazil)

The crystal-plastic behavior of quartz mylonites from the Ribeira Shear Zone (SE Brazil), a major strike-slip structure that was active during a prograde metamorphic phase related to the Neoproterozoic Brasiliano-Pan African Orogeny, was investigated using a multi-method approach. Geothermobarometry results indicate deformational conditions ranging from similar to 300 to similar to 630 degrees C and 500-700 MPa. A strong correlation between mapped metamorphic zones and a dominance of different dynamic recrystallization mechanisms of quartz occurs within the mylonite zone. Bulging recrystallization (BLG) dominates within the chlorite zone between 300 and 410 degrees C, subgrain rotation recrystallization (SGR) operates within the biotite zone from 410 to 520 degrees C, and grain boundary migration recrystallization (GBM) dominates in the garnet zone above 520 degrees C. The development of quartz c-axis textures is mainly governed by temperature and dynamic recrystallization mechanisms. Textures from BLG zone mylonites are characterized by maxima around Z; SGR zone mylonites display single girdles or asymmetric type I crossed girdles; and GBM zone mylonites comprise maxima around Y and intermediate between X and Z. The scarcity or absence of water-bearing fluid inclusions in quartz mylonites from the SGR and GBM zones, which are dominated by carbonic inclusions, suggests water-deficient conditions, whereas BLG zone mylonites are dominated by water-bearing inclusions. This evidence indicates that water was available in the protoliths but has been eliminated with increasing deformation and deformation temperature. No effect of the water content variation on the quartz microstructural and recrystallized grain size evolution was detected, and little influence on c-axis texture development was observed. Most of the fluid inclusion densities were reequilibrated during the shear zone exhumation history, recording a decompression in the range of 300-500 MPa, while microstructural reequilibration effects related to the prograde metamorphism are largely preserved. Fluid inclusion microstructures and densities from two SGR zone samples preserved evidence for a near isothermal compression within the interior of the Ribeira Shear Zone during the prograde metamorphism. (C) 2009 Elsevier B.V. All rights reserved.

Sediment deformation in Miocene and post-Miocene strata, Northeastern Brazil: Evidence for paleoseismicity in a passive margin

Stratigraphic intervals characterized by varied and complex styles of soft-sediment deformation structures are well preserved in Miocene and Late Pleistocene to Holocene deposits of a sedimentary basin located in Northeastern Brazil. The Miocene strata, represented by the Barreiras Formation, record only brittle structures, including numerous faults and fractures with straight and high angle-dipping planes that are often filled with sands derived from overlying beds. Folds consisting of broad anticlines and synclines are also present in this unit. The late Pleistocene to Holocene deposits, named Post-Barreiras Sediments, contain an indurated sandy package with a large variety of ductile and brittle deformation structures (i.e., massive sandstones with isolated sand fragments and breccias, undulatory strata, sand dykes and diapirs, sinks and bowls, pebbly pockets, plunged sediment mixtures, fitted sand masses, cone-shaped cracks, fault grading and sedimentary enclaves). These features, confined to sharp-based stratigraphic horizons that progressively grade downward into undisturbed deposits, are related to seismic shocks of high surface-wave magnitude (i.e., Ms>5 or 6). Amalgamated seismites suggest that previously formed seismites were affected by subsequent seismic-wave propagation. Seismic waves caused by activity along one, or most likely, several tectonic structures would have propagated throughout the depositional environment, producing laterally extensive seismites. The close proximity to earthquake epicenters would have promoted pervasive re-sedimentation due to pore overpressure, resulting high volumes of massive sandstones and breccia. The similarity between deposits with correlatable strata from many other areas along the Brazilian coast allows raise the hypothesis that the seismic episodes might have affected sedimentation patterns in a large (i.e., extension of several hundreds of kilometers) geographic area. Thus, the modern seismicity recorded along Northeastern Brazil was recurrent during the Quaternary and, perhaps, also in the Pliocene. The estimated high magnitude of the seismic events and the great regional extent of the affected area demonstrate that the Brazilian coast experienced tectonic stress through the last geological episodes of its evolution, which would have favored sediment accumulation and penecontemporaneous re-sedimentation. This geological context is unexpected in a passive margin, inducing to revisit the debate on how active is a passive margin. (C) 2010 Elsevier B.V. All rights reserved.

Tectono-sedimentary evolution of the Neoproterozoic BIF-bearing Jacadigo Group, SW-Brazil

The Jacadigo Group contains one of the largest sedimentary iron and associated manganese deposits of the Neoproterozoic. Despite its great relevance, no detailed sedimentological study concerning the unit has been carried out to date. Here we present detailed sedimentological data and interpretation on depositional systems, system tracts, external controls on basin evolution, basin configuration and regional tectonic setting of the Jacadigo Basin. Six depositional systems were recognized: (I) an alluvial fan system; (II) a siliciclastic lacustrine system; (III) a fan-delta system; (IV) a bedload-dominated river system; (V) an iron formation-dominated lacustrine or marine gulf system; and (VI) a rimmed carbonate platform system. The interpreted depositional systems are related to three tectonic system tracts. The first four depositional systems are mainly made of continental siliciclastics and refer to the rift initiation to early rift climax stage; the lake/gulf system corresponds to the mid to late rift climax stage and the carbonate platform represents the immediate to late post rift stage (Bocaina Formation deposits of the Ediacaran fossil-bearing Corumba Group). The spatial distribution of the depositional systems and associated paleocurrent patterns indicate a WNW-ESE orientation of the master fault zone related to the formation of the Jacadigo Basin. Thus, the iron formations of the Jacadigo Group were deposited in a starved waterbody related to maximum fault displacement and accommodation rates in a restricted continental rift basin. The Fe-Si-Mn source was probably related to hydrothermal plume activity that reached the basin through the fault system during maximum fault displacement phases. Our results also suggest a restricted tectono-sedimentary setting for the type section of the Puga Formation. The Jacadigo Group and the Puga Formation, usually interpreted as glacial deposits, are readdressed here as basin margin gravitational deposits with no necessary relation to glacial processes. (C) 2011 Elsevier B.V. All rights reserved.