3 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz

em Repositório Institucional da Universidade Estadual de São Paulo - UNESP


Relevância:

40.00% 40.00%

Publicador:

Resumo:

In this work, the author looks forward to develop a new method capable of incorporate the concepts of the Reliability Theory and Ruin Probability in Deep Foundations, in order to do a better quantification of the uncertainties, which is intrinsic in all geotechnical projects, meanly because we don't know all the properties of the materials that we work with. Using the methodologies of Decourt Quaresma and David Cabral, resistance surfaces have been developed utilizing the data achieved from the Standard Penetration Tests performed in the field of study, in conjecture with the loads defined in the executive project of the piles. The construction of resistance surfaces shows to be a very useful tool for decision making, no matter in which phase it is current on, projecting or execution. The surfaces were developed by Kriging (using the software Surfer® 12), making it easier to visualize the geotechnical profile of the field of study. Comparing the results, the conclusion was that a high safety factor doesn't mean higher security. It is fundamental to consider the loads and resistance of the piles in the whole field, carefully choosing the project methodology responsible to define the diameter and length of the piles

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work includes a study on the stretch zone and the influence of the toughness conditions at fracture in size and appearance. It was done a literature review about material properties, fracture mechanics concepts, definitions and formation of stretch zone, importance of tenacity for structural calculation, methods and standards to measure the toughness of metallic material fracture and presents the method used in microscopy. After the literature review were carried out identification and measurements of stretch zones of proof bodies were made through confocal optical microscopy and then analyzed the results in order to find relationships between the values obtained with the theory