O ensaio SPT (Standard Penetration Test) é um dos ensaios geotécnicos mais utilizados no Brasil e em grande parte do mundo, para determinar o índice NSPT. Esse índice é usado para estimar, através de correlações empíricas, parâmetros do solo, capacidade de suporte, recalque de fundações, etc. Pelo fato destas correlações não terem nenhum fundamento científico, pesquisadores têm procurado desenvolver métodos racionais de análise, baseados em energia. Com esses métodos pode-se determinar a eficiência do ensaio SPT, que é uma importante característica utilizada nas análises dos resultados do ensaio. As quantidades de energia envolvidas no ensaio SPT são determinadas através do método EFV. Para tanto, é necessária a utilização de hastes instrumentadas com acelerômetros e células de carga durante a realização dos ensaios. Com os sinais de força e aceleração foram determinadas as quantidades de energia, força de reação dinâmica experimental do solo, forças de reação teórica estática e dinâmica e tensões atuantes no amostrador. Neste trabalho, como os sinais de força e aceleração foram registrados em uma seção instrumentada logo acima do amostrador, a eficiência do sistema pode ser determinada de acordo com a definição proposta por Aoki e Cintra (2000), e incluindo a correção sugerida por Odebrecht (2003). Nesta pesquisa foi desenvolvido um sistema de extrator de amostras, constituído de uma base, um cilindro hidráulico e uma célula de carga, para quantificar experimentalmente a força de atrito interno para posteriormente determinar as demais tensões que atuam no amostrador e o parâmetro a de Aoki, o qual é a razão entre o atrito interno e o atrito externo entre o solo e o amostrador. / The Standard Penetration Test (SPT) is one of the in-situ geotechnical tests most used in Brazil, as well as in many parts of the world. Through empirical correlations, the NSPT index is used to estimate parameters of the soil, carrying capacity, discharge of foundations, etc. Because these correlations have no scientific basis, researchers have developed rational methods of analysis, based on energy concepts. Using these concepts, the efficiency of the SPT, which is essential in the analysis of the test results, can be assessed. The amounts of energy involved in the SPT test are evaluated by the EFV method. Therefore, it is necessary instrumented rods with accelerometers and load cells for performing the tests. With force and acceleration records, amounts of energy, experimental dynamic reaction force of the soil, theoretical static and dynamic reaction forces and stresses acting on the sampler were assessed. In this work, as the force and acceleration signals were recorded at an instrumented section just above the sampler, the system efficiency could be determined according to the definition proposed by Cintra and Aoki (2000), including the energy corrections suggested by Odebrecht (2003). In this study, a sample extractor system consisting of a base, a hydraulic cylinder and a load cell was designed. The objective of this equipment is to experimentally quantify the internal friction force, allowing evaluating the stresses acting on the sampler. Also, the Aoki\'s a parameter, which is the ratio of internal friction and external friction between the ground and the sampler, could be calculated.

Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille industrielle où l’utilisation individuelle de chaque approche ne peut fournir les résultats souhaités. Les approches combinées appliquent l’analyse dynamique pour déterminer les portions à problèmes dans le code et effectuent par la suite une analyse statique concentrée sur les parties identifiées. Toutefois les outils d’analyse dynamique existants génèrent des données imprécises ou incomplètes, ou aboutissent en un ralentissement inacceptable du temps d’exécution. Lors de ce travail, nous nous intéressons à la génération de graphes d’appels dynamiques complets ainsi que d’autres informations nécessaires à la détection des portions à problèmes dans le code. Pour ceci, nous faisons usage de la technique d’instrumentation dynamique du bytecode Java pour extraire l’information sur les sites d’appels, les sites de création d’objets et construire le graphe d’appel dynamique du programme. Nous démontrons qu’il est possible de profiler dynamiquement une exécution complète d’une application à temps d’exécution non triviale, et d’extraire la totalité de l’information à un coup raisonnable. Des mesures de performance de notre profileur sur trois séries de benchmarks à charges de travail diverses nous ont permis de constater que la moyenne du coût de profilage se situe entre 2.01 et 6.42. Notre outil de génération de graphes dynamiques complets, nommé dyko, constitue également une plateforme extensible pour l’ajout de nouvelles approches d’instrumentation. Nous avons testé une nouvelle technique d’instrumentation des sites de création d’objets qui consiste à adapter les modifications apportées par l’instrumentation au bytecode de chaque méthode. Nous avons aussi testé l’impact de la résolution des sites d’appels sur la performance générale du profileur. / Code analysis is used to verify code functionality, detect bugs or improve its performance. Analyzing the code can be done either statically or dynamically. Approaches combining both analysis techniques are most appropriate for industrial-scale applications where each one individually cannot provide the desired results. Blended analysis, for example, first applies dynamic analysis to identify problematic code regions and then performs a focused static analysis on these regions. However, the existing dynamic analysis tools generate inaccurate or incomplete data, or result in an unacceptably slow execution times. In this work, we focus on the generation of complete dynamic call graphs with additional information required for blended analysis. We make use of dynamic instrumentation techniques of Java bytecode to extract information about call sites and object creation sites, and to build the dynamic call graph of the program. We demonstrate that it is possible to profile real-world applications to efficiently extract complete and accurate information. Performance measurement of our profiler on three sets of benchmarks with various workloads places the overhead of our profiler between 2.01 and 6.42. Our profiling tool generating complete dynamic graphs, named dyko, is also an extensible platform for evaluating new instrumentation approaches. We tested a new adaptive instrumentation technique for object creation sites which accommodates instrumentation to the bytecode of each method. We also tested the impact of call sites resolution on the overall performance of the profiler.

O ensaio SPT (Standard Penetration Test) é um dos ensaios geotécnicos mais utilizados no Brasil e em grande parte do mundo, para determinar o índice NSPT. Esse índice é usado para estimar, através de correlações empíricas, parâmetros do solo, capacidade de suporte, recalque de fundações, etc. Pelo fato destas correlações não terem nenhum fundamento científico, pesquisadores têm procurado desenvolver métodos racionais de análise, baseados em energia. Com esses métodos pode-se determinar a eficiência do ensaio SPT, que é uma importante característica utilizada nas análises dos resultados do ensaio. As quantidades de energia envolvidas no ensaio SPT são determinadas através do método EFV. Para tanto, é necessária a utilização de hastes instrumentadas com acelerômetros e células de carga durante a realização dos ensaios. Com os sinais de força e aceleração foram determinadas as quantidades de energia, força de reação dinâmica experimental do solo, forças de reação teórica estática e dinâmica e tensões atuantes no amostrador. Neste trabalho, como os sinais de força e aceleração foram registrados em uma seção instrumentada logo acima do amostrador, a eficiência do sistema pode ser determinada de acordo com a definição proposta por Aoki e Cintra (2000), e incluindo a correção sugerida por Odebrecht (2003). Nesta pesquisa foi desenvolvido um sistema de extrator de amostras, constituído de uma base, um cilindro hidráulico e uma célula de carga, para quantificar experimentalmente a força de atrito interno para posteriormente determinar as demais tensões que atuam no amostrador e o parâmetro a de Aoki, o qual é a razão entre o atrito interno e o atrito externo entre o solo e o amostrador. / The Standard Penetration Test (SPT) is one of the in-situ geotechnical tests most used in Brazil, as well as in many parts of the world. Through empirical correlations, the NSPT index is used to estimate parameters of the soil, carrying capacity, discharge of foundations, etc. Because these correlations have no scientific basis, researchers have developed rational methods of analysis, based on energy concepts. Using these concepts, the efficiency of the SPT, which is essential in the analysis of the test results, can be assessed. The amounts of energy involved in the SPT test are evaluated by the EFV method. Therefore, it is necessary instrumented rods with accelerometers and load cells for performing the tests. With force and acceleration records, amounts of energy, experimental dynamic reaction force of the soil, theoretical static and dynamic reaction forces and stresses acting on the sampler were assessed. In this work, as the force and acceleration signals were recorded at an instrumented section just above the sampler, the system efficiency could be determined according to the definition proposed by Cintra and Aoki (2000), including the energy corrections suggested by Odebrecht (2003). In this study, a sample extractor system consisting of a base, a hydraulic cylinder and a load cell was designed. The objective of this equipment is to experimentally quantify the internal friction force, allowing evaluating the stresses acting on the sampler. Also, the Aoki\'s a parameter, which is the ratio of internal friction and external friction between the ground and the sampler, could be calculated.

Tato práce představuje optimalizační techniky zaměřené na proces sběru výkonnostních dat v rámci výkonnostní analýzy a profilování programů v nástroji Perun.   Rozšíření architektury a implementace těchto nových optimalizačních technik v nástroji Perun (a převážně pak v jeho modulu Tracer) zlepšuje jeho škálovatelnost a umožňuje tak provádět výkonnostní analýzu i nad rozsáhlými projekty.   Zaměřujeme se především na zvýšení přesnosti sběru dat, redukci množství instrumentovaných bodů programu, omezení časové režie procesu sběru dat a výkonnostního profilování, snížení objemu sbíraných dat a velikosti výsledného výkonnostního profilu.   Optimalizace je dosažena pomocí aplikace statistických metod, množství technik statické a dynamické analýzy (případně jejich kombinací) a využitím pokročilých možností a schopností nástrojů SystemTap a eBPF.   Na základě vyhodnocení provedeného na dvou vybraných projektech a množství experimentů můžeme konstatovat, že se nám úspěšně podařilo dosáhnout značné optimalizace u téměř všech sledovaných metrik a kritérií.

O ensaio de simples reconhecimento do solo (SPT) e usualmente utilizado para estimar a resistência do solo, atraves do índice NSPT, que representa a resistencia a penetração dinâmica do amostrador no solo. Esse índice é usado diretamente em correlações empíricas ou semi-empíricas na determinação da capacidade de suporte e recalque das fundações. Entretanto, esse ensaio tem sido alvo de críticas devido a utilização dessas correlações empíricas, geralmente baseadas em observações práticas e sem nenhum fundamento científico. Críticas também estão relacionadas com a dispersão dos resultados, devido a utilização de diferentes tipos de equipamentos e procedimentos executivos. O índice NSPT depende da parcela de energia que e efetivamente transmitida ao amostrador durante a queda do martelo. Assim, análises racionais dos resultados de ensaios SPT dependem essencialmente da estimativa da quantidade dessa energia. Por esse motivo, tem sido desenvolvidas diversas pesquisas relacionados com a energia envolvida no ensaio SPT. Este trabalho apresenta interpretações dos resultados do ensaio SPT a partir das quantidades de energia envolvidas durante a queda do martelo. Essas quantidades de energia são determinadas indiretamente, através dos sinais de força normal e aceleração durante a propagação da onda de tensão ao longo da composição de hastes. Para isso, foi desenvolvido um equipamento que inclui uma instrumentação capaz de registrar esses sinais de força normal e aceleração. Uma série de ensaios SPT foi realizada com instrumentação instalada tanto no topo como na base da composição de hastes. Esse arranjo permitiu estimar as quantidades de energia disponíveis no topo e na base da composição de hastes. Assim, foi possível determinar a eficiência dos equipamentos SPT com base na quantidade de energia que efetivamente atinge o amostrador. A partir dos sinais registrados, também foi possível determinar a resistência dinâmica mobilizada no sistema solo-amostrador. Os resultados experimentais foram comparados com resultados obtidos através de métodos teóricos, baseados no Princípio de Hamilton, para a determinação da resistência estática e dinâmica do solo. Essas análises mostraram que equações teóricas podem ser adequadas para a determinação da resistência do solo, desde que seja considerada a quantidade de energia que efetivamente atinge o amostrador. Desta forma, essas equações teóricas podem ser facilmente incorporadas na prática de projeto de fundações, contribuindo para o desenvolvimento de métodos baseados na quantidade de energia necessária para a penetração do amostrador no solo. / The standard penetration test (SPT) is usually used to estimate the soil strength through the NSPT index which represents the dynamic reaction force of the sampler penetration into the soil. This index is directly used in empirical or semi-empirical correlations for the determination of the bearing capacity and foundation settlements. However, this test has been criticized due to the use of these empirical correlations, often based on practical observation without any scientific basis. Criticism is also related to result dispersion due to the use of different types of equipment and execution procedures. The NSPT index depends on the amount of energy that is effectively transmitted to the sampler during the hammer fall. Thus, rational analyses of the SPT test results essentially depend on the estimation of this amount of energy. For this reason, several studies related to the energy involved in SPT test have been developed. This research presents interpretations of the SPT test results from the amounts of energy involved during the hammer fall. These amounts of energy are indirectly assessed by means of normal force and acceleration signals during the stress wave propagation along the string of rods. For this reason, a device that includes instrumentation capable of registering these signals of normal force and acceleration was developed. A series of tests was performed with the instrumentation installed at the top and the bottom of the string of rods. This arrangement allowed estimating the amount of energy available at the top and bottom of the string of rods. Thus, it was possible to estimate the efficiency of the SPT equipment basing on the amount of energy that actually reaches the sampler. From the recorded signals, it was also possible to assess the dynamic reaction force mobilized in the soil-sample system. The results were compared with other results obtained by theoretical methods, based on the Hamilton´s Principle, for evaluating the static and dynamic reaction force of the soil. These analyzes have shown that theoretical equations may be suitable for the determination of the soil strength, provided that the amount of energy that actually reaches the sampler be considered. Thus, these theoretical equations can be easily incorporated into the practice of foundation designs contributing to the development of methods based on the amount of energy required for the penetration of the sampler into the soil.

O ensaio de simples reconhecimento do solo (SPT) e usualmente utilizado para estimar a resistência do solo, atraves do índice NSPT, que representa a resistencia a penetração dinâmica do amostrador no solo. Esse índice é usado diretamente em correlações empíricas ou semi-empíricas na determinação da capacidade de suporte e recalque das fundações. Entretanto, esse ensaio tem sido alvo de críticas devido a utilização dessas correlações empíricas, geralmente baseadas em observações práticas e sem nenhum fundamento científico. Críticas também estão relacionadas com a dispersão dos resultados, devido a utilização de diferentes tipos de equipamentos e procedimentos executivos. O índice NSPT depende da parcela de energia que e efetivamente transmitida ao amostrador durante a queda do martelo. Assim, análises racionais dos resultados de ensaios SPT dependem essencialmente da estimativa da quantidade dessa energia. Por esse motivo, tem sido desenvolvidas diversas pesquisas relacionados com a energia envolvida no ensaio SPT. Este trabalho apresenta interpretações dos resultados do ensaio SPT a partir das quantidades de energia envolvidas durante a queda do martelo. Essas quantidades de energia são determinadas indiretamente, através dos sinais de força normal e aceleração durante a propagação da onda de tensão ao longo da composição de hastes. Para isso, foi desenvolvido um equipamento que inclui uma instrumentação capaz de registrar esses sinais de força normal e aceleração. Uma série de ensaios SPT foi realizada com instrumentação instalada tanto no topo como na base da composição de hastes. Esse arranjo permitiu estimar as quantidades de energia disponíveis no topo e na base da composição de hastes. Assim, foi possível determinar a eficiência dos equipamentos SPT com base na quantidade de energia que efetivamente atinge o amostrador. A partir dos sinais registrados, também foi possível determinar a resistência dinâmica mobilizada no sistema solo-amostrador. Os resultados experimentais foram comparados com resultados obtidos através de métodos teóricos, baseados no Princípio de Hamilton, para a determinação da resistência estática e dinâmica do solo. Essas análises mostraram que equações teóricas podem ser adequadas para a determinação da resistência do solo, desde que seja considerada a quantidade de energia que efetivamente atinge o amostrador. Desta forma, essas equações teóricas podem ser facilmente incorporadas na prática de projeto de fundações, contribuindo para o desenvolvimento de métodos baseados na quantidade de energia necessária para a penetração do amostrador no solo. / The standard penetration test (SPT) is usually used to estimate the soil strength through the NSPT index which represents the dynamic reaction force of the sampler penetration into the soil. This index is directly used in empirical or semi-empirical correlations for the determination of the bearing capacity and foundation settlements. However, this test has been criticized due to the use of these empirical correlations, often based on practical observation without any scientific basis. Criticism is also related to result dispersion due to the use of different types of equipment and execution procedures. The NSPT index depends on the amount of energy that is effectively transmitted to the sampler during the hammer fall. Thus, rational analyses of the SPT test results essentially depend on the estimation of this amount of energy. For this reason, several studies related to the energy involved in SPT test have been developed. This research presents interpretations of the SPT test results from the amounts of energy involved during the hammer fall. These amounts of energy are indirectly assessed by means of normal force and acceleration signals during the stress wave propagation along the string of rods. For this reason, a device that includes instrumentation capable of registering these signals of normal force and acceleration was developed. A series of tests was performed with the instrumentation installed at the top and the bottom of the string of rods. This arrangement allowed estimating the amount of energy available at the top and bottom of the string of rods. Thus, it was possible to estimate the efficiency of the SPT equipment basing on the amount of energy that actually reaches the sampler. From the recorded signals, it was also possible to assess the dynamic reaction force mobilized in the soil-sample system. The results were compared with other results obtained by theoretical methods, based on the Hamilton´s Principle, for evaluating the static and dynamic reaction force of the soil. These analyzes have shown that theoretical equations may be suitable for the determination of the soil strength, provided that the amount of energy that actually reaches the sampler be considered. Thus, these theoretical equations can be easily incorporated into the practice of foundation designs contributing to the development of methods based on the amount of energy required for the penetration of the sampler into the soil.