899 resultados para paths


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Double-torsion tests were carried out on a commercial ceramic floor tile to verify whether this test is suitable for determining the R-curve of ceramics. The instantaneous crack length was obtained by means of compliance calibration, and it was found that the experimental compliance underestimates the real crack length. The load vs. displacement curves were also found to drop after maximum loading, causing the stress intensity factor to decline. The R-curves were calculated by two methods: linear elastic fracture mechanics and the energetic method. It was obtained that the average values of crack resistance, R, and the double of the work of fracture, 2 · γwof, did not depend on notch length, a0, which is a highly relevant finding, indicating that these parameters were less dependent on the test specimen's geometry. The proposal was to use small notches, which produce long stable crack propagation paths that in turn are particularly important in the case of coarse microstructures.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A methodology for analyzing the solar access and its influence on both air temperature and thermal comfort of the urban environment was here developed by applying the potentiality of GIS tools. Urban canyons in a specific area of a Brazilian medium sized city were studied. First, a computational algorithm was applied in order to allow the determination of sky view factors (SVF) and sun-paths in urban canyons. Then, air temperatures in 40 measurement points were collected within the study area. Solar radiation values of these canyons were determined and subsequently stored in a GIS database. The creation of thermal maps for the whole neighbourhood was possible due to a statistical treatment of the data, by promoting the interpolation of values. All data could then be spatially cross-examined. In addition, thermal comfort maps for summer and winter periods were generated. The methodology allowed the identification of thermal tendencies within the neighbourhood, what can be useful in the conception of guidelines for urban planning purposes.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A short time after the creation of the first Geology courses in Brazil (in 1957 with the pioneers in the University of São Paulo and in the Federal Universities of Ouro Preto, Pernambuco and Rio Grande do Sul, and then in the following year in the Federal Universities of Bahia and Rio de Janeiro), there arose other initiatives that spread almost twenty Geology courses throughout Brazil. In addition to expanding the Geology teaching in the South, Southeast and Northeast regions, these initiatives succeeded in allowing access to geological education for the population in the North and Central-west of Brazil. In the 1960s, the courses in the Federal University of Para in Belém (1964), University of Brasilia (1965) and São Paulo State University in Rio Claro (1969) were implanted. In the following decade, the courses in the Federal Rural University of Rio de Janeiro in Seropédica (1970), the Federal University of Ceará in Fortaleza (1970), the University of Rio dos Sinos in São Leopoldo (1973), the Federal University of Paraná in Curitiba (1973), the Federal University of Minas Gerais in Belo Horizonte (1973), the Federal University of Amazonas in Manaus (1976), the Federal University of Mato Grosso in Cuiabá (1976), the Federal University of Rio Grande do Norte in Natal (1976), and the State University of Rio de Janeiro in Rio de Janeiro (1977) were all created. At the close of the twentieth century, the course was implanted in the State University of Campinas (1998). Now, at the beginning of the twenty-first century, new Geology courses are being implanted, accentuating the movement inland of Geology teaching in Brazil. The Federal University of Pará began a new course in its campus in Marabá in the south-east of Pará and the Federal University of Bahia implanted a new course in its campus in Barreiras in the west of Bahia. Finally, the Federal Universities of Sergipe, Espírito Santo and Roraima commenced Geology courses in Aracaju, Alegre and Boa Vista, respectively. This chapter will present the synthesis of the Geology courses which, over the last decades of the twentieth century, contributed to the expansion of Geology teaching in the country, taking it to every region and giving opportunities to a large number of Brazilian citizens to realize their dreams and tread the paths of their professional vocation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Includes bibliography

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Includes bibliography

Relevância:

10.00% 10.00%

Publicador:

Resumo:

(Chemical Equation Presented) The reaction between the benzohydroxamate anion (BHO-) and bis(2,4-dinitrophenyl)phosphate (BDNPP) has been examined kinetically, and the products were characterized by mass and NMR spectroscopy. The nucleophilic attack of BHO- follows two reaction paths: (i) at phosphorus, giving an unstable intermediate that undergoes a Lossen rearrangement to phenyl isocyanate, aniline, diphenylurea, and O-phenylcarbamyl benzohydroxamate; and (ii) on the aromatic carbon, giving an intermediate that was detected but slowly decomposes to aniline and 2,4-dinitrophenol. Thus, the benzohydroxamate anion can be considered a self-destructive molecular scissor since it reacts and loses its nucleophilic ability. © 2009 American Chemical Society.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Includes bibliography

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Incluye Bibliografía

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Includes bibliography

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thermal transformations on microalloyed steels can produce multiphase microstructures with different amounts of ferrite, martensite, bainite and retained austenite. These different phases, with distinct morphologies, are determinant of the mechanical behavior of the steel and can, for instance, affect the crack path or promote crack shielding, thus resulting in changes on its propagation rate under cyclic loading. The aim of the present work is to evaluate the effects of microstructure on the tensile strength and fatigue crack growth (FCG) behaviour of a 0.08%C-1,5%Mn (wt. pct.) microalloyed steel, recently developed by a Brazilian steel maker under the designation of RD480. This steel is being considered as a promising alternative to replace low carbon steel in wheel components for the automotive industry. Various microstructural conditions were obtained by means of heat treatments followed by water quench, in which the material samples were kept at the temperatures of 800, 950 and 1200 °C. In order to describe the FCG behavior, two models were tested: the conventional Paris equation and a new exponential equation developed for materials showing non-linear FCG behavior. The results allowed correlating the tensile properties and crack growth resistance to the microstructural features. It is also shown that the Region II FCG curves of the dual and multiphase microstructural conditions present crack growth transitions that are better modeled by dividing them in two parts. The fracture surfaces of the fatigued samples were observed via scanning electron microscopy in order to reveal the fracture mechanisms presented by the various material conditions. © 2010 Published by Elsevier Ltd.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Includes bibliography

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Includes bibliography