900 resultados para Spectrum-based Fault Localization
Resumo:
Through this research is detailed the Brazilian seismic code focused on concrete projects design related to seismic engineering. At the beginning of the research is debated the fundaments of the seismic effects, the influence factors to the development of seismic effects and also relates the main data registration happened in Brazil. The second step is study the Brazilian seismic code explaining all the concepts related to it and does a compilation to the most important international seismic code. At this research is developed the designing of a building submitted to horizontal equivalent seismic forces and the modal process based on the answer spectrum based on the brazilin seismic code. It was also developed the design of a commercial building submitted to seismic loads based on the Brazilian code answer spectrum and compared to the same building submitted to wind loads.The research also focus on projects conception and detailing of seismic engineering Project design. At the study of seismic engineering it was concluded that seismic effects require special focus on concrete structures design, proving that is the essential consider the seismic effects
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.
Resumo:
The transport properties of the two-dimensional system in HgTe-based quantum wells containing simultaneously electrons and holes of low densities are examined. The Hall resistance, as a function of perpendicular magnetic field, reveals an unconventional behavior, different from the classical N-shaped dependence typical for bipolar systems with electron-hole asymmetry. The quantum features of magnetotransport are explained by means of numerical calculation of the Landau level spectrum based on the Kane Hamiltonian. The origin of the quantum Hall plateau sigma(xy) = 0 near the charge neutrality point is attributed to special features of Landau quantization in our system.
Resumo:
Purpose To this day, the slit lamp remains the first tool used by an ophthalmologist to examine patient eyes. Imaging of the retina poses, however, a variety of problems, namely a shallow depth of focus, reflections from the optical system, a small field of view and non-uniform illumination. For ophthalmologists, the use of slit lamp images for documentation and analysis purposes, however, remains extremely challenging due to large image artifacts. For this reason, we propose an automatic retinal slit lamp video mosaicking, which enlarges the field of view and reduces amount of noise and reflections, thus enhancing image quality. Methods Our method is composed of three parts: (i) viable content segmentation, (ii) global registration and (iii) image blending. Frame content is segmented using gradient boosting with custom pixel-wise features. Speeded-up robust features are used for finding pair-wise translations between frames with robust random sample consensus estimation and graph-based simultaneous localization and mapping for global bundle adjustment. Foreground-aware blending based on feathering merges video frames into comprehensive mosaics. Results Foreground is segmented successfully with an area under the curve of the receiver operating characteristic curve of 0.9557. Mosaicking results and state-of-the-art methods were compared and rated by ophthalmologists showing a strong preference for a large field of view provided by our method. Conclusions The proposed method for global registration of retinal slit lamp images of the retina into comprehensive mosaics improves over state-of-the-art methods and is preferred qualitatively.
Resumo:
Channelrhodopsins are phototaxis receptors in the plasma membranes of motile unicellular algae. They function as light-gated cation channels and this channel activity has been exploited to trigger action potentials in neurons with light to control neural circuits (“optogenetics"). Four channelrhodopsins were identified in two algal species, Chlamydomonas reinhardtii and Volvox carteri, with known genome sequences; each species contains 2 channelrhodopsins, one absorbing at longer wavelengths and one at shorter wavelengths, named CrChR1 and CrChR2, respectively. Our goals are to expand knowledge of channelrhodopsin mechanisms and also to identify new channelrhodopsins from various algal species with improved properties for optogenetic use. For these aims we are targeting algae from extreme environments to establish the natural diversity of their properties. We cloned a new channelrhodopsin from the psychrophilic (cold-loving) alga, Chlamydomonas augustae, with degenerate primers based on the 4 known homologs. The new protein is 48% and 52% identical to CrChR1 and CrChR2, respectively. We expressed the channelrhodopsin in HEK293 cells and measured light-induced currents to assess their kinetics and action spectrum. Based on the primary structure, kinetics of light-induced photocurrents in HEK293 cells, and action spectrum maximum of 520 nm near that of the two previously found CrChR1, we named the new channelrhodopsin CaChR1. The properties of robust channel activity at physiological pH, fast on-and-off kinetics, and greatly red-shifted action spectrum maximum from that of CrChR2, make CaChR1 advantageous as an optogenetic tool. To know this new channelrhodopsin better, we expressed His-tagged CaChR1 in Pichia pastoris and the yield is about 6 mg/L. The purified His-tagged CaChR1 exhibited an absorption spectrum identical to the action spectrum of CaChR1-generated photocurrents. The future work will be measurement of the photocycles of CaChR1 by flash photolysis, crystallization of CaChR1 for the structure and mutagenesis of CaChR1 to find the critical amino acids accounting for red-shifted spectra, slow inactivation and rapid on-and-off kinetics. Seven new channelrhodopsins including CaChR1 from different algal species have been cloned in our lab at this time, bringing the total known to 13. The work of cloning of these new channelrhodopsins along with the expression of CaChR1 was published in Photochemistry and Photobiology in January 2012
Resumo:
The Arp2/3 complex was first purified from Acanthamoeba castellanii by profilin affinity chromatography. The mechanism of interaction with profilin was unknown but was hypothesized to be mediated by either Arp2 or Arp3. Here we show that the Arp2 subunit of the complex can be chemically cross-linked to the actin-binding site of profilin. By analytical ultracentrifugation, rhodamine-labeled profilin binds Arp2/3 complex with a Kd of 7 μM, an affinity intermediate between the low affinity of profilin for barbed ends of actin filaments and its high affinity for actin monomers. These data suggest the barbed end of Arp2 is exposed, but Arp2 and Arp3 are not packed together in the complex exactly like two actin monomers in a filament. Arp2/3 complex also cross-links actin filaments into small bundles and isotropic networks, which are mechanically stiffer than solutions of actin filaments alone. Arp2/3 complex is concentrated at the leading edge of motile Acanthamoeba, and its localization is distinct from that of α-actinin, another filament cross-linking protein. Based on localization and actin filament nucleation and cross-linking activities, we propose a role for Arp2/3 in determining the structure of the actin filament network at the leading edge of motile cells.
Resumo:
As society becomes increasingly less binary, and moves towards a more spectrum based approach to mental illness, medical illness, and personality, it becomes necessary to address this shift within formerly rigid institutions. This paper explores this shift as it is occurring within correctional settings around the United States concerning the medical care, housing, and safety of transgendered inmates. As there is no legal standard for the housing or access to gender-affirming medical care (i.e., hormone therapy, sexual reassignment surgery), these issues are addressed on an institutional level, with very little consistency throughout the country. Currently, most institutions follow a genitalia-based system of classification. Within the system, core beliefs are held, some adaptive and some no longer adaptive, that drive the system's behavior and outcomes. With regard to transgendered inmates, several underlying beliefs within the system serve to maintain the status quo; however, the most basic underpinning is the system's reliance on a binary gender system. As views of humane treatment of the incarcerated expand and modernize, the role of mental health within corrections has also expanded. Psychologists, social workers, counselors, and psychiatrists are found in almost all correctional facilities, and have become a voice of advocacy for an often underserved population.
Resumo:
Context. We report the infrared identification of the X-ray source 2XMM J191043.4+091629.4, which was detected by XMM-Newton/EPIC in the vicinity of the Galactic supernova remnant W49B. Aims. The aim of this work is to establish the nature of the X-ray source 2XMM J191043.4+091629.4 studying both the infrared photometry and spectroscopy of the companion. Methods. We analysed UKIDSS images around the best position of the X-ray source and obtained spectra of the best candidate using NICS in the Telescopio Nazionale Galileo (TNG) 3.5-m telescope. We present photometric and spectroscopic TNG analyses of the infrared counterpart of the X-ray source, identifying emission lines in the K-band. The H-band spectra does not present any significant feature. Results. We have shown that the Brackett γ H i at 2.165 μm, and He i at 2.184 μm and at 2.058 μm are significantly present in the infrared spectrum. The CO bands are also absent from our spectrum. Based on these results and the X-ray characteristics of the source, we conclude that the infrared counterpart is an early B-type supergiant star with an E(B − V) = 7.6 ± 0.3 at a distance of 16.0 ± 0.5 kpc. This would be, therefore, the first high-mass X-ray binary in the Outer Arm at galactic longitudes of between 30° and 60°.
Resumo:
When an accurate hydraulic network model is available, direct modeling techniques are very straightforward and reliable for on-line leakage detection and localization applied to large class of water distribution networks. In general, this type of techniques based on analytical models can be seen as an application of the well-known fault detection and isolation theory for complex industrial systems. Nonetheless, the assumption of single leak scenarios is usually made considering a certain leak size pattern which may not hold in real applications. Upgrading a leak detection and localization method based on a direct modeling approach to handle multiple-leak scenarios can be, on one hand, quite straightforward but, on the other hand, highly computational demanding for large class of water distribution networks given the huge number of potential water loss hotspots. This paper presents a leakage detection and localization method suitable for multiple-leak scenarios and large class of water distribution networks. This method can be seen as an upgrade of the above mentioned method based on a direct modeling approach in which a global search method based on genetic algorithms has been integrated in order to estimate those network water loss hotspots and the size of the leaks. This is an inverse / direct modeling method which tries to take benefit from both approaches: on one hand, the exploration capability of genetic algorithms to estimate network water loss hotspots and the size of the leaks and on the other hand, the straightforwardness and reliability offered by the availability of an accurate hydraulic model to assess those close network areas around the estimated hotspots. The application of the resulting method in a DMA of the Barcelona water distribution network is provided and discussed. The obtained results show that leakage detection and localization under multiple-leak scenarios may be performed efficiently following an easy procedure.
Resumo:
This manuscript deals with the adaptation of quartz-microfabrics to changing physical deformation conditions, and discusses their preservation potential during subsequent retrograde deformation. Using microstructural analysis, a sequence of recrystallization processes in quartz, ranging from Grain-Boundary Migration Recrystallization (GBM) over Subgrain-Rotation Recrystallization (SGR) to Bulging Nucleation (BLG) is detected for the Simplon fault zone (SFZ) from the low strain rim towards the internal high strain part of the large-scale shear zone. Based on: (i) the retrograde cooling path; (ii) estimates of deformation temperatures; and (iii) spatial variation of dynamic recrystallization processes and different microstructural characteristics, continuous strain localization with decreasing temperature is inferred. In contrast to the recrystallization microstructures, crystallographic preferred orientations (CPO) have a longer memory. CPO patterns indicative of prism and rhomb glide systems in mylonitic quartz veins, overprinted at low temperatures (�400 �C), suggest inheritance of a high-temperature deformation. In this way, microstructural, textural and geochemical analyses provide information for several million years of the deformation history. The reasons for such incomplete resetting of the rock texture is that strain localization is caused by change in effective viscosity contrasts related to temporal large- and small-scale temperature changes during the evolution of such a long-lived shear zone. The spatially resolved, quantitative investigation of quartz microfabrics and associated recrystallization processes therefore provide great potential for an improved understanding of the geodynamics of large-scale shear zones.
Resumo:
This work presents the study and development of a combined fault location scheme for three-terminal transmission lines using wavelet transforms (WTs). The methodology is based on the low- and high-frequency components of the transient signals originated from fault situations registered in the terminals of a system. By processing these signals and using the WT, it is possible to determine the time of travelling waves of voltages and/or currents from the fault point to the terminals, as well as estimate the fundamental frequency components. A new approach presents a reliable and accurate fault location scheme combining some different solutions. The main idea is to have a decision routine in order to select which method should be used in each situation presented to the algorithm. The combined algorithm was tested for different fault conditions by simulations using the ATP (Alternative Transients Program) software. The results obtained are promising and demonstrate a highly satisfactory degree of accuracy and reliability of the proposed method.
Resumo:
This paper develops a Markovian jump model to describe the fault occurrence in a manipulator robot of three joints. This model includes the changes of operation points and the probability that a fault occurs in an actuator. After a fault, the robot works as a manipulator with free joints. Based on the developed model, a comparative study among three Markovian controllers, H(2), H(infinity), and mixed H(2)/H(infinity) is presented, applied in an actual manipulator robot subject to one and two consecutive faults.
Resumo:
This paper deals with the calculation of the discrete approximation to the full spectrum for the tangent operator for the stability problem of the symmetric flow past a circular cylinder. It is also concerned with the localization of the Hopf bifurcation in laminar flow past a cylinder, when the stationary solution loses stability and often becomes periodic in time. The main problem is to determine the critical Reynolds number for which a pair of eigenvalues crosses the imaginary axis. We thus present a divergence-free method, based on a decoupling of the vector of velocities in the saddle-point system from the vector of pressures, allowing the computation of eigenvalues, from which we can deduce the fundamental frequency of the time-periodic solution. The calculation showed that stability is lost through a symmetry-breaking Hopf bifurcation and that the critical Reynolds number is in agreement with the value presented in reported computations. (c) 2007 IMACS. Published by Elsevier B.V. All rights reserved.
Resumo:
Shear deformation of fault gouge or other particulate materials often results in observed strain localization, or more precisely, the localization of measured deformation gradients. In conventional elastic materials the strain localization cannot take place therefore this phenomenon is attributed to special types of non-elastic constitutive behaviour. For particulate materials however the Cosserat continuum which takes care of microrotations independent of displacements is a more appropriate model. In elastic Cosserat continuum the localization in displacement gradients is possible under some combinations of the generalized Cosserat elastic moduli. The same combinations of parameters also correspond to a considerable dispersion in shear wave propagation which can be used for independent experimental verification of the proposed mechanism of apparent strain localization in fault gouge.