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.

Induced seismicity in the Castarthao reservoir, NE Brazil - Preliminary results

The Castanhao reservoir was built in the state of Ceara, a dry region in Northeastern Brazil, to regulate the flow of the Jaguaribe River, for irrigation, and for power generation. It is an earth-filled dam, 60 m high, with a water capacity of 4.5 x 10(9) m(3). The seismicity in the area has been monitored since 1998, with a few interruptions, using one analog or one digital station and, during a few periods, a three-station network. The first earthquakes likely to be induced events were detected in 2003, when the water level was about 20 in high. In early 2004 a very heavy rainfall season quickly filled the reservoir. Shortly after, an increase in the seismic activity occurred and many micro-earthquakes were recorded. We suggest that this activity resulted from an increase in pore pressure due to undrained response. Therefore, we may classify this cluster of microearthquakes as ""initial seismicity."" We deployed a network with four analog stations in the area, following this activity, to determine the epicentral zone. At least three epicentral areas under the reservoir were detected. The spatio-temporal analysis of the available data revealed that the seismicity occurs in clusters and that these were activated at different periods. We identified four sets of faults (N-S-, E-W-, NW-SE-, and NE-SW-oriented), some of which moved in shallow crustal levels and as recently as the Quaternary (1.8 Ma). Under the present-day stress regime, the last two sets moved as strike-slip structures. We suggest a possible correlation between dormant faults and the observed induced seismicity. (c) 2008 Elsevier B.V. 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.

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.

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.

Tectonic implications of a paleomagnetic study of the Sarmiento Ophiolitic Complex, southern Chile

A paleomagnetic study was carried out on the Late Jurassic Sarmiento Ophiolitic Complex (SOC) exposed in the Magallanes fold and thrust belt in the southern Patagonian Andes (southern Chile). This complex, mainly consisting of a thick succession of pillow-lavas, sheeted dikes and gabbros, is a seafloor remnant of the Late Jurassic to Early Cretaceous Rocas Verdes basin that developed along the south-western margin of South America. Stepwise thermal and alternating field demagnetization permitted the isolation of a post-folding characteristic remanence, apparently carried by fine grain (SD?) magnetite, both in the pillow-lavas and dikes. The mean ""in situ"" direction for the SOC is Dec: 286.9 degrees, Inc: -58.5 degrees, alpha-95: 6.9 degrees, N: 11 (sites). Rock magnetic properties, petrography and whole-rock K-Ar ages in the same rocks are interpreted as evidence of correlation between remanence acquisition and a greenschist facies metamorphic overprint that must have occurred during latest stages or after closure and tectonic inversion of the basin in the Late Cretaceous. The mean remanence direction is anomalous relative to the expected Late Cretaceous direction from stable South America. Particularly, a declination anomaly over 50 degrees is suggestively similar to paleomagnetically interpreted counter clockwise rotations found in thrust slices of the Jurassic El Quemado Fm. located over 100 km north of the study area in Argentina. Nevertheless, a significant ccw rotation of the whole SOC is difficult to reconcile with geologic evidence and paleogeographic models that suggest a narrow back-arc basin sub-parallel to the continental margin. A rigid-body 30 degrees westward tilting of the SOC block around a horizontal axis trending NNW, is considered a much simpler explanation, being consistent with geologic evidence. This may have occurred as a consequence of inverse reactivation of old normal faults, which limit both the SOC exposures and the Cordillera Sarmiento to the East. The age of tilting is unknown but it must postdate remanence acquisition in the Late Cretaceous. Two major orogenic events of the southern Patagonian Andes, in the Eocene (ca. 42 Ma) and Middle Miocene (ca. 12 Ma), respectively, could have caused the proposed tilting. (C) 2008 Elsevier B.V. All rights reserved.

Structural analysis of the Itapucumi Group in the Vallemi region, northern Paraguay: Evidence of a new Brasiliano/Pan-African mobile belt

The Neoproterozoic (Ediacaran) Itapucumi Group in northern Paraguay is composed of carbonate and siliciclastic rocks, including ooid grainstones, marls, shales and sandstones, containing Cloudina fossils in the eastern region. It is almost undeformed over the Rio Apa Cratonic Block but shows a strong deformational pattern at its western edge. A detailed structural analysis of the Itapucumi Group was conducted in the Vallemi Mine, along with a regional survey in other outcrops downstream in the Paraguay River and in the San Alfredo, Cerro Paiva and Sargent Jose E. Lopez regions. In the main Vallemi quarry, the structural style is characterized by an axial-plane slaty cleavage in open to isoclinal folds, sometimes overturned, associated with N-S trending thrust faults and shear zones of E-vergence and with a low-grade chlorite zone metamorphism. The structural data presented here are compatible with the hypothesis of a newly recognized mobile belt on the western side of the Rio Apa Cratonic Block, with opposite vergence to that of the Paraguay Mobile Belt in Brazil. Both belts are related to the Late Brasiliano/Pan-African tectonic cycle with a Lower Cambrian deformation and metamorphism age. The deformation could be due to the late collision of the Amazonian Craton with the remainder of Western Gondwana or to the western active plate boundary related to the Pampean Belt. The structural and lithologic differences between the western Itapucumi Group in the Vallemi and Paraguay River region and the eastern region, near San Alfredo and Cerro Paiva, suggest that this group could be divided into two lithostratigraphic units, but more stratigraphic and geochronological analyses are required to confirm this possibility. (C) 2010 Elsevier Ltd. All rights reserved.

Quaternary tectonics in a passive margin: Marajo Island, northern Brazil

Marajo Island is located in a passive continental margin that evolved from rifting associated with the opening of the Equatorial South Atlantic Ocean in the Late Jurassic/Early Cretaceous period. This study, based on remote sensing integrated with sedimentology, as well as subsurface and seismographic data available from the literature, allows discussion of the significance of tectonics during the Quaternary history of marginal basins. Results show that eastern Marajo Island contains channels with evidence of tectonic control. Mapping of straight channels defined four main groups of lineaments (i.e. NNE-SSW, NE-SW, NW-SE and E-W) that parallel main normal and strike-slip fault zones recorded for the Amazon region. Additionally, sedimentological studies of late Quaternary and Holocene deposits indicate numerous ductile and brittle structures within stratigraphic horizons bounded by undeformed strata, related to seismogenic deformation during or shortly after sediment deposition. This conclusion is consistent with subsurface Bouguer mapping suggestive of eastern Marajo Island being still part of the Marajo graben system, where important fault reactivation is recorded up to the Quaternary. Together with the recognition of several phases of fault reactivation, these data suggest that faults developed in association with rift basins might remain active in passive margins, imposing important control on development of depositional systems. Copyright (C) 2007 John Wiley & Sons, Ltd.

En analys av testprocesser med TMap som testmetod

Today there are many system development projects that break both budget and time plan. Often this depends on defects in the information systems that could have been prevented. The cost of test can in some cases be as high as 50 % of the projects total cost and it's at the same time an important part of development. Test as such has moved its focus from the software it self and its faults to a wider perspective on whole infrastructures of information systems where assure a good quality is important. Sogeti in the Netherlands have developed a test method called TMap (Test Management approach) that can be used for structured testing of information systems. TMap haven't been used as much as desired in the office in Borlänge. Because Microsoft is releasing a new version of their platform Visual Studio Team System (VSTS 2010) some colleges at Sogeti in the Netherlands are about to develop a template that can support the use of TMap in VSTS 2010. When we write this the template is still in development. The goal for Sogeti was to find out the differences between the test functionality in VSTS 2008 and 2010. By using the purpose with this essay, which was to analyze the test process in VSTS 2008 with TMap against the test process in VSTS 2010 together with the template we got much help to achieve the goal. The analysis was done with four different aspects: The TPI and TMMi models, problem and strength analyses and a few question formulations. The TPI and TMMi models where used to analyses and evaluate the test process. The analysis showed that there were differences between the both test processes. VSTS 2010 together with the template gave a better support to use TMap and perform test. In VSTS 2010 the test tool Camano is connected to TFS and the tool is also to make the execution and logging of tests easier. This leads to a test process that is easier to handle and has a better support for TMap.

Applikationsövervakning : Dess möjliga bidrag till en verksamhet

Applikationsövervakning är en term för att i realtid övervaka applikationer och kunna upptäcka fel innan slutanvändaren märker av ett problem. Med övervakning av applikationer menas inte bara den enskilda programvaran utan allt som rör applikationen i fråga. Trafikverkets önskemål är att leverera en hög kvalité i sina applikationer. I nuläget har utvecklare ingen eller dålig insyn i hur en applikation levererar i en skarp miljö efter att de lämnat över ansvaret till drift. För att kunna hålla en bra kvalité i sina applikationer så vill de undersöka hur applikationsövervakning kan hjälpa till att se behov av ändringar i applikationer innan större problem uppstår. I en fallstudie bestående av intervjuer och dokumentstudier kommer genom användning av situationsbaserad FA/SIMM nuvarande arbetssätt fångas. Samt fånga mål och problem som uttrycks i verksamheten kring utveckling & förvaltning och drift av applikationer. Dessa kommer sedan analyseras för att undersöka på vilket sätt applikationsövervakning skulle hjälpa utvecklare & förvaltare, men även driftspersonal i deras arbete. Resultatet av detta visar att de problem och mål som tas upp dels är organisatoriska i sin natur och arbetssättet DevOps framhålls som en möjlig lösning. Även att applikationsövervakning de facto skulle kunna bidra till en ökad kvalité i applikationerna genom att tillföra en möjlighet att arbeta mer proaktivt.

Decision Tree Classification Model In Water Supply Network

With the service life of water supply network (WSN) growth, the growing phenomenon of aging pipe network has become exceedingly serious. As urban water supply network is hidden underground asset, it is difficult for monitoring staff to make a direct classification towards the faults of pipe network by means of the modern detecting technology. In this paper, based on the basic property data (e.g. diameter, material, pressure, distance to pump, distance to tank, load, etc.) of water supply network, decision tree algorithm (C4.5) has been carried out to classify the specific situation of water supply pipeline. Part of the historical data was used to establish a decision tree classification model, and the remaining historical data was used to validate this established model. Adopting statistical methods were used to access the decision tree model including basic statistical method, Receiver Operating Characteristic (ROC) and Recall-Precision Curves (RPC). These methods has been successfully used to assess the accuracy of this established classification model of water pipe network. The purpose of classification model was to classify the specific condition of water pipe network. It is important to maintain the pipeline according to the classification results including asset unserviceable (AU), near perfect condition (NPC) and serious deterioration (SD). Finally, this research focused on pipe classification which plays a significant role in maintaining water supply networks in the future.

A segurança viária e o fator humano : verificação da presença de álcool-direção no sistema de transporte rodoviário do RGS

Esta dissertação examina a situação geral dos Acidentes Viários, no contexto do transporte rodoviário, cujas evidências apontam o Fator Humano como o maior responsável por tais eventos. Entende-se que um maior conhecimento sobre ele possibilitará melhorar a segurança do tráfego e da produção transporte. O estudo pretende destacar a importância das análises relacionadas com a atividade transporte rodoviário, as variações da demanda do sistema de circulação e a tarefa do motorista, sob a ótica da ergonomia. Objetiva ele, também, mostrar importância desses estudos para melhor avaliar as interações dos fatores homemmáquina- ambiente viário e para o desenvolvimento de novas tecnologias e produtos de segurança viária. A revisão bibliográfica dos capítulos iniciais revelam o estado da arte e a importância da segurança de trânsito, em nível internacional. Também revelaram que todas nações sofrem do mesmo mal em suas redes viárias, que varia de acordo com a realidade de cada um. Embora o acidente de trânsito seja um fenômeno comum às nações, aqui eles atingiram a dimensão de flagelo social, em razão da sua severidade; e de calamidade econômica, face a elevação dos custos de produção na atividade do transporte rodoviário. São analisadas as características do fator humano, fundamentais na tarefa de condução, e o respectivo nexo causal das falhas com a gênese do acidente, num sistema multifatorial e interativo. O trabalho fundamenta-se em extensa revisão bibliográfica. O estudo de caso, desenvolvido a partir da revisão dos dados de uma pesquisa anterior, comprova a hipótese que o “álcool-direção”, considerado na literatura como o maior causador de acidentes viários, tem sua presença marcada por elevados índices nas rodovias do RS, contrariando a conclusão da pesquisa anterior. Ao final, também oferece recomendações para o desenvolvimento de ações objetivas para melhorar a segurança viária.

Designing single event upset mitigation techniques for large SRAM-Based FPGA components

This thesis presents the study and development of fault-tolerant techniques for programmable architectures, the well-known Field Programmable Gate Arrays (FPGAs), customizable by SRAM. FPGAs are becoming more valuable for space applications because of the high density, high performance, reduced development cost and re-programmability. In particular, SRAM-based FPGAs are very valuable for remote missions because of the possibility of being reprogrammed by the user as many times as necessary in a very short period. SRAM-based FPGA and micro-controllers represent a wide range of components in space applications, and as a result will be the focus of this work, more specifically the Virtex® family from Xilinx and the architecture of the 8051 micro-controller from Intel. The Triple Modular Redundancy (TMR) with voters is a common high-level technique to protect ASICs against single event upset (SEU) and it can also be applied to FPGAs. The TMR technique was first tested in the Virtex® FPGA architecture by using a small design based on counters. Faults were injected in all sensitive parts of the FPGA and a detailed analysis of the effect of a fault in a TMR design synthesized in the Virtex® platform was performed. Results from fault injection and from a radiation ground test facility showed the efficiency of the TMR for the related case study circuit. Although TMR has showed a high reliability, this technique presents some limitations, such as area overhead, three times more input and output pins and, consequently, a significant increase in power dissipation. Aiming to reduce TMR costs and improve reliability, an innovative high-level technique for designing fault-tolerant systems in SRAM-based FPGAs was developed, without modification in the FPGA architecture. This technique combines time and hardware redundancy to reduce overhead and to ensure reliability. It is based on duplication with comparison and concurrent error detection. The new technique proposed in this work was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. The thesis presents comparison results in fault coverage, area and performance between the discussed techniques.

Autonomia dos centros de pós-graduação em economia: uma abordagem institucional e de história oral

Este trabalho pretende analisar os principais centros de pós-graduação e de pesquisa em economia localizados em São Paulo e no Rio de Janeiro, a partir do levantamento de documentos, programas, regulamentos e publicações de seus principais expoentes. Também pretendemos utilizar depoimentos desses expoentes para entender como os processos decisórios foram analisados de "dentro" da instituição. A história da vida do entrevistado permite que entremos no mundo das emoções, nos limites da racionalidade do ator histórico. Ao quebrarmos o esquematismo simplista, podemos desvendar as relações entre o indivíduo e a rede histórica. A memória, com suas falhas, distorções e inversões, torna-se um elemento de análise para explicar o presente, a partir da compreensão do passado sob a ótica de quem vivenciou os fatos.

Uma análise da gestão de contas a receber: estudo de caso para a indústria de confecção TRIUMPH

Atualmente a gestão de contas a receber passou a ter uma maior importância para a alta administração das empresas. A estabilidade monetária dos últimos anos apresenta com maior clareza os resultados desta gestão. Não existe mais espaço para a ineficiência nesta área, pois ela é refletida automaticamente através do aumento da inadimplência ou aumento dos prazos de recebimento, diferentemente do passado, quando a inflação escondia as suas falhas através das distorções de valores e também de uma preocupação quase que exclusiva, por parte desta alta administração, na correção dos seus ativos financeiros. o presente trabalho tem como objetivo analisar a atual e novas propostas de gestão de contas a receber para identificar a mais adequada para a Indústria de Confecção Triumph. A análise partirá da identificação do atual estágio de gestão desta área nas empresas brasileiras, fazendo a sua descrição detalhada e mostrando os seus pontos fortes e fracos. Em seguida serão realizadas pesquisas identificadoras de diferentes instrumentos, políticas e procedimentos utilizados, mostrando também os seus pontos fortes e fracos, finalmente o trabalho apresentará um modelo-proposta de gestão eficaz para a Triumph. Como referencial teórico serão analisados os conceitos e as ferramentas da gestão estratégica, reengenharia, marketing, recursos humanos, tecnologia de informação, estatística aplicada à área, análise dos demonstrativos financeiros e administração do capital de giro, buscando interligar nestes instrumentos e teorias o que existe de mais adequado para uma gestão eficaz do tema em estudo.