FARIAS, Pablo Mayckon Silva. Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática. 2007. 110 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T14:54:53Z No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 bytes, checksum: 9d580356cce3820f228499085b2e3cde (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:48:23Z (GMT) No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 bytes, checksum: 9d580356cce3820f228499085b2e3cde (MD5) / Made available in DSpace on 2016-07-20T13:48:23Z (GMT). No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 bytes, checksum: 9d580356cce3820f228499085b2e3cde (MD5) Previous issue date: 2007 / This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekind’s arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peano’s axiomatization for Arithmetic is also presented, which in a sense simplified Dedekind’s theory. Then, Frege’s Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Frege’s basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbert’s formalist doctrine. At last, are presented, in general terms, Gödel’s incompleteness. theorems and Turing’s computability concept, which provided precise answers to the two most important points in Hilbert’s program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. Gödel’s incompleteness theorems / Este trabalho é um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade ao desenvolvimento formal da Matemática. Primeiramente, é apresentada a teoria aritmética de Dedekind, a primeira teoria a fornecer uma definição precisa para os números naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. É também apresentada a axiomatização da Aritmética feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, é apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à Lógica moderna, e nela são representadas as definições básicas de Frege a respeito da noção de número. Posteriormente, é apresentado um resumo de questões importantes em fundamentos da Matemática durante as primeiras três décadas do século XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, são apresentados, em linhas gerais, os teoremas de incompletude de Gödel e o conceito de computabilidade de Turing, que apresentaram respostas precisas às duas mais importantes questões do programa de Hilbert, a saber, uma prova direta de consistência para a Aritmética e o problema da decisão, respectivamente.

No description available.

A recente descoberta das reservas de petróleo do Pré-Sal no Brasil obrigou a indústria a enfrentar condições de extração adversas, a mais de 1000m de lâmina de água e 5000m de sedimentos. Com o aumento da procura, justificou-se investir em pesquisa e tecnologia para dar resposta aos diversos problemas de exploração em águas ultra profundas. Em condições desfavoráveis de exploração, diversos sistemas tecnológicos submersos autônomos no fundo do mar, nearshore e offshore, tem que ser instalados para resistir a esforços solicitados por plataformas devido a manobras de navios, ondas, correntes marinhas, ventos, etc.. Atualmente a Petrobras utiliza um sistema desenvolvido e patenteado, as estacas torpedo metálicas, para resistir às solicitações e ancorar no leito oceânico as suas plataformas flutuantes. Sua instalação consiste na queda livre e penetração no solo argiloso marinho, por ação da aceleração da gravidade nas suas massas, e que apresenta ainda alguns desafios na instalação. O presente trabalho avalia uma nova técnica de instalação de âncoras para plataformas marítimas de petróleo e outras estruturas, que serve de alternativa e/ou melhoria à técnica já utilizada, e que consiste na instalação de uma haste metálica pela ação do seu peso próprio e por aplicação de jatos de água verticais, provenientes de tubos metálicos inseridos em solos argilosos. O estudo, na primeira etapa descrita nesta tese, concentra-se em modelos reduzidos, seguindo as leis de semelhança pelo número de Froude, e futuramente pretende-se transitar para o protótipo. Os ensaios de hidrojateamento foram realizados em laboratório, utilizando tanques em forma de paralelepípedo, com paredes em acrílico, preenchidos com solo argiloso. O estudo foi realizado em modelos reduzidos para duas escalas de comprimento, correspondentes a 1:67 e 1:76, com o objetivo de estudar o mecanismo de penetração dos torpedos metálicos e nos fenômenos de hidrojateamento em solo argiloso. O solo foi caracterizado e nos ensaios foram identificados e avaliados: (a) a influência do fluxo de água a partir das variáveis vazão, pressão, velocidade e diâmetro do jato, (b) a influência da massa e diâmetro das hastes metálicas e (c) a interação solo-estaca pós instalação. Os resultados apresentados indicaram que as maiores profundidades de penetração das estacas torpedo foram atingidas para os modelos de maior massa, e também para as maiores vazões do fluxo de água, para maiores pressões de fluxo de água e menor resistência não drenada do solo. Com base nas variáveis controladas foi possível estabelecer um modelo e uma equação para estimar a profundidade máxima atingida por estacas metálicas instaladas por fluidização. Estes resultados complementaram estudos anteriores e permitiram uma avaliação, baseada em modelos reduzidos, na eficiência do jateamento, parâmetros de controle do mecanismo de erosão, profundidade máxima de penetração no leito marinho e capacidade de carga das estacas, sempre utilizando conceitos de similaridade para relacionar modelo e protótipo. / Deep water oil fields discovered by Petrobras in Brazil in 2006 brought new challenges to the offshore industry. Thus, for exploring these basins, research and technology investments are necessary to ensure production conditions, which require development of technological foundation systems, nearshore and offshore. Petrobras designed and patented an anchoring system, the torpedo pile, which serves as foundation to various types of production structures in ultra-deepwater. Torpedo is a steel pile, filled with ballast, having a cone-shaped tip. The anchor installation consists in the free fall of the torpedo from a designated height above the seafloor, which dynamically penetrates into marine clay by the action of gravity acceleration of the torpedo mass. This thesis presents an alternative installation technique for torpedo anchors based on tests carried out in reduced physical models following the law of similarity by the Froude number. The goal was to install model piles by applying downward vertical water jets. The water jetting tests were performed in the laboratory using parallelepiped-shaped tanks with acrylic walls, filled with clayey soil. The study was conducted on reduced scale models for two length scales, corresponding to 1:67 and 1:76, with the aim of studying the penetration mechanism of metal torpedoes and water jetting phenomena in clayey soil. The soil was characterized and tests were performed to identify and evaluated: (a) the influence of water flow, pressure, penetration rate and diameter of the jet, (b) the influence of the mass and diameter of the metal rods and (c) soil-pile interaction after installation. The results presented indicated that the greatest depth of penetration of torpedo piles was achieved for higher mass models, also for the higher flow rates, the Reynolds number, higher water flow pressures and lower undrained resistance of the soil. Based on these variables it was possible to establish a model and an equation to estimate the maximum depth of penetration of metal piles installed by fluidization. These results complement previous studies and allowed an assessment based on reduced models, the jetting efficiency, the control parameters of the erosion mechanism, the maximum penetration depth on the seabed and load capacity of the piles, always using concepts of similarity to relate model and prototype.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nosso trabalho consistiu numa investigação acerca do surgimento e das características das fundações e dos institutos empresariais no Estado do Rio de Janeiro. Entendemos ser esse um fenômeno que está ocorrendo não só no Brasil, mas em vários países, em face de essa ser uma resposta do capital ao agravamento da questão social no atual momento histórico do capitalismo, após sua crise na década de 1970. No processo de elaboração de nossa dissertação, fizemos um apanhando teórico a respeito dos condicionantes históricos, econômicos, sociais e políticos que abarcam a atual conjuntura dessa crise e suas respostas, a saber, o neoliberalismo, a reestruturação produtiva, o advento da globalização financeira e, mais especificamente no Brasil, a contra-reforma do Estado no governo de Fernando Henrique Cardoso (FHC). No contexto dessa reforma do Estado, o chamado terceiro setor e a filantropia empresarial ganharam força, sendo legitimados socialmente. Entendemos, portanto, que o terceiro setor e a chamada responsabilidade social são respostas do capital à questão social. No entanto, nos detemos especificamente no estudo das ações sociais realizadas pelas empresas por meio de seus braços sociais, constituídas pelas fundações e os institutos empresariais, que se têm colocado como integrantes do chamado terceiro setor, o que para nós se trata de um fenômeno recente, como também de um novo ator que emergiu na sociedade civil contemporânea. / Our work consisted of an investigation of the emergence and characteristics of foundations and corporate offices in Rio de Janeiro. We understand that this is a phenomenon that is occurring not only in Brazil but in many countries, in the face of this capital to be a response to the worsening social issue in the current historical moment of capitalism after its crisis in the 1970s. For the development of our thesis, we grabbed a theory about the historical conditions, economic, social and political that span the juncture of the crisis and its responses, namely neo-liberalism, the restructuring of production, the advent of financial globalization and more specifically in Brazil, the counter-reform of state under President Fernando Henrique Cardoso (FHC). In the context of state reform, the so-called third sector and corporate philanthropy gained strength, being socially legitimized. We believe therefore that the "third sector" and called "social responsibility" are responses to social capital. However, we pause specifically in the study of social actions carried out by companies through its social arm, formed by corporate foundations and institutes, which have posed as members of the so-called third sector, which for us it is a recent phenomenon as well as a new actor who emerged in civil society contemporary.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na tentativa de reconstruir a crítica nietzschiana à reflexão filosófica sobre o fenômeno moral, o presente trabalho investiga os critérios utilizados pela Filosofia moral na sistematização dos conceitos de liberdade e obrigatoriedade sob a base de uma assim chamada vontade de verdade. O propósito dessa reconstrução crítica consiste em averiguar o papel desempenhado pela noção de veracidade na compreensão filosófica das ações e normas morais. Para tanto, o estudo se ocupa, em um primeiro momento, dos argumentos utilizados por Nietzsche ao conceber a interpretação filosófica em sua essência moral e ao identificar na exigência humana por sociabilidade uma das gêneses da noção de veracidade. Essas duas hipóteses são decisivas na análise das propostas hermenêuticas ocidentais referentes ao fenômeno moral, tal como Nietzsche propôs no famoso texto Sobre verdade e mentira em sentido extramoral (1873) e em sua obra tardia. Em seguida, é abordada a dificuldade que a tradição filosófica enfrentou na tentativa de fundamentação das normas e ações morais, sobretudo à luz da crise do pensamento metafísico. Por fim, procura-se apresentar a reflexão de Nietzsche sobre o fenômeno moral como o meio mais adequado para se responder à crise do pensamento metafísico, na medida em que procura substituir os pressupostos teóricos da tradição filosófica ocidental e apresentar a noção de veracidade como probidade e virtude por excelência do espírito livre. / In attempting to reconstruct the Nietzschean critique to the philosophical reflection on moral phenomena, this study investigates the criterion used by Moral Philosophy in the systematization of the concept freedom and obligation on the basis of a so-called will to truth. The aim of this critical reconstruction is to investigate the role played by the notion of truthfulness in the philosophical understanding of actions and moral laws. Therefore, the study is concerned, in the first place, with the arguments used by Nietzsche to conceive the philosophical interpretation in its moral essence and by identifying in the human requirement for sociability one of the genesis for the notion of truthfulness. These two assumptions are crucial in the analysis of the Western hermeneutical proposals referring to the moral phenomena, such as Nietzsche proposed on the famous text Concerning Truth and Falsehood from an Extra-moral Point of view (1873) and in his later works. Then the difficulty that the philosophical tradition faced in attempting to find out the foundation for actions and moral laws is approached, especially in light of the crisis of the metaphysical thought. Finally, it seeks to present Nietzsches reflection on moral phenomenon as the most appropriate way to respond to the crisis of the metaphysical thought, thus it seeks to replace the theoretical assumptions of the philosophical tradition and present the notion of truthfulness as probity and virtue par excellence of "free spirit".

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nos diversos segmentos da Geotecnia e em especial na área de fundações, o engenheiro se depara com uma série de incertezas. Algumas destas incertezas são inerentes à variabilidade local do solo, às condições de carregamento, aos efeitos do tempo, às diferenças nos processos executivos, erros de sondagens, que influenciam diretamente a estimativa da capacidade de carga da fundação, seja por ocasião de seu carregamento estático, seja durante ou logo após a cravação. O objetivo desta dissertação é a adaptação, a estacas em terra (onshore), de um procedimento concebido originalmente para emprego em estacas offshore, que trata da atualização da estimativa da resistência durante a cravação, com base em registros documentados durante a execução. Neste procedimento a atualização é feita através da aplicação dos conceitos da análise Bayesiana, assumindo que os parâmetros da distribuição probabilística utilizada sejam variáveis randômicas. A incerteza dos parâmetros é modelada por distribuições a priori e a posteriori. A distribuição a posteriori é calculada pela atualização da distribuição a priori, utilizando uma função de máxima verossimilhança, que contém a observação obtida dos registros de cravação. O procedimento é aplicado a um conjunto de estacas de um extenso estaqueamento executado na Zona Oeste do Rio de Janeiro. As estimativas atualizadas são posteriormente comparadas aos resultados dos ensaios de carregamento dinâmico. Várias aplicações podem surgir com o emprego deste procedimento, como a seleção das estacas que, por apresentarem reduzido valor de estimativa atualizada de resistência, ou uma maior incerteza desta estimativa, devam ser submetidas a provas de carga. A extensão deste estudo a diferentes tipos de estacas em perfis de solo de natureza distintos poderá levar ao desenvolvimento de sistemas mais adequados de controle de execução, capazes de identificar as principais incertezas presentes nos diferentes tipos de execução de estacas, contribuindo assim para a otimização de futuros projetos de fundações. / In several branches of Soil Mechanics, particularly on foundation design, engineers are faced with a series of uncertainties. Some uncertainties are due to local soil variability, loading conditions, time effects, differences in construction processes, errors in soil borings that may directly influence the bearing capacity of the foundation during static loading or after its driving, among others. The present research aimed at the adaptation of a procedure originally conceived for offshore piles for use also in onshore piles. It consists in updating the soil resistance estimated during driving, based on driving records. In this approach the updating is performed by the application of Bayesian analysis, assuming that the parameters of the probabilistic distribution are random variables. The uncertainties of the parameters are modeled by a-priori and a-posteriori distributions. The a-posteriori distribution is calculated by updating the a priori distribution, using a maximum likelihood function which contains the information obtained from available driving records. The procedure is applied to piles from an extensive piling of a construction located in the West Zone of Rio de Janeiro City. The updated estimates are then compared to results of dynamic loading tests. Different practical applications can arise by using this procedure, as a better selection of piles for loading tests among those with the lowest updated bearing capacity or the greatest uncertainty in the updated predictions. The extension of this study to different pile types in soil profiles of distinct nature may lead to the development of more adequate rules for execution control, thus contributing to the optimization of future deep foundations design.

The main aim of this PhD research was to explore the cultural differences in moral judgment, moral behaviour, moral identity, and cultural values between Saudi Arabia and United Kingdom. Furthermore, I was interested in the psychological factors affecting morality in those two cultures. The first study aimed to achieve the following objectives: to understand people’s moral judgment in Saudi Arabia and the UK, to investigate whether and how personality traits and cultural values affect moral judgment in five moral foundations (harm avoidance, justice, ingroup, authority, purity), and to investigate whether personality traits and cultural values are related differently or similarly across Saudi and UK cultures. The findings of the study revealed that Saudi and British participants differed with regard to their foundation-specific moral judgments. Saudi participants were more likely to endorse moral foundations in the domains of intergroup relations, authority, and purity. However, there were no cross-cultural differences in the domains of harm avoidance and justice. Moreover, the results showed that the effect of personality traits and cultural values on morality varied. Harm and fairness foundations were predicted by personality traits while ingroup, authority, purity foundations were predicted by values. The second study investigated whether foundation-related moral behaviour was affected by moral judgment and people’s moral identity in a cross-cultural context comparing adults from the UK and Saudi Arabia. Findings of this study resulted in no cross-cultural differences between the two samples concerning moral judgment in the care and justice foundations. Furthermore, no cultural differences were found between the two samples concerning moral behaviour in the five foundations. In addition, moral identity mediated the relationship between moral judgment and allocations in the dictator game. The third study investigated the relationship between (dis-) honest behaviour, moral judgment and moral identity in two different cultures, namely Saudi Arabia and the UK. It has been found that there are no statistically significant differences in honest behaviour between Saudi Arabia and the UK. Furthermore, deception was not predicted or correlated significantly with any of the five foundation-specific moral judgments across both cultural samples. However, culture moderated the relationship between deception and moral judgment in harm and authority moral foundations. Additionally, moral sensitivity did not mediate the relationship between moral judgments and dishonesty. The forth study explored the link between moral foundation violations (harm, justice, ingroup, authority, and purity) and anger, disgust, sadness, apathy, guilt, contempt, shame, resentment, and embarrassment emotions. Findings showed that the violations of harm, and justice foundations triggered anger and Violations of purity foundation triggered disgust. The results show no cultural differences in the assignments of the violations made by both samples. Saudi and UK participants’ classifications were in agreement with the original classifications of the 40 violations by Graham et al. (2009). However, we found cross-cultural differences in the relationship between emotions and moral foundation violations.

A fluidização é definida como a suspensão de partículas de um solo granular devido à ação de um fluxo ascendente, que cria uma força de arrasto suficiente para suportar o peso próprio das partículas, produzindo uma zona fluidizada. Neste trabalho são discutidos os mecanismos e os conceitos envolvidos na fluidização de solos arenosos com a utilização de jatos de água, que futuramente podem ser associados a novas tecnologias de instalação de ancoragens de plataformas de petróleo offshore. O estudo foi baseado em ensaios realizados em câmaras de calibração retangulares, com paredes em acrílico, preenchidas com areias de granulometria distintas, compactadas com densidade relativa de 50% e 100%. O sistema de jateamento consiste basicamente em uma bomba centrífuga que succiona a água armazenada em um reservatório e a conduz, através de um circuito hidráulico, à extremidade de tubos metálicos verticais, responsáveis pelo jateamento de água. Foram utilizados tubos com diferentes diâmetros e diversas velocidades de saída do jato. Iniciado o jateamento, tem-se a formação de um leito fluidizado, com formato côncavo e interface bem definida com a zona não fluidizada. O jato de água penetra certa profundidade no interior do leito fluidizado até ser defletido, no sentido ascendente, carregando partículas de areia que são depositadas ao redor da zona fluidizada. Após a formação de uma geometria fluidizada máxima, os tubos são reposicionados em uma nova profundidade. A fluidização ao longo da profundidade apresenta comportamento definido, com uma geometria inicialmente estável, que alcança uma condição de instabilidade em determinada profundidade, até sofrer sucessivos fechamentos, formando uma cavidade submersa fluidizada. Esta cavidade diminui de tamanho com o aumento da profundidade e a fluidização do solo deixa de ocorrer para certa profundidade de saída do jato. Os parâmetros principais que comandam a geometria da zona fluidizada aberta são a velocidade de saída e o diâmetro do jato, em conjunto com o tamanho das partículas do solo. Não foi observada influência da densidade relativa de compactação da areia na geometria fluidizada final. As dimensões geométricas são função do número densimétrico de Froude, cujo emprego permite a determinação de equações empíricas que descrevem o comportamento da geometria fluidizada aberta. O conjunto de ensaios de laboratório possibilitou determinar os parâmetros de controle dos mecanismos de fluidização em areias e a influência destes parâmetros no comportamento do solo fluidizado. / Fluidisation occurs when a granular soil is subjected to an upward fluid flow which creates a drag force sufficient to support the weight of the particles, producing a fluidised zone. In the present work a discussion is made on the mechanisms and concepts controlling the fluidised process produced by upflow washing in granular materials, aiming at the installation of offshore platform anchors. The study was carried out in laboratory rectangular calibration chambers filled with sand at relative densities ranging from 50% to 100%. The upflow washing was produced by a centrifuge pump that sucks water from a reservoir and conducts the water through a hydraulic system to the extremity of a vertical metalic tube, producing the water jet flow. Tubes with different diameters and fluid velocities have been used. The mechanism initiates with the formation of an open fluidised zone having a characteristic shape and distinct boundaries. The fluid penetrates up to a given depth and is deflected towards the surface. Once a stabilized zone is produced, the jet is lowered to another depth and the process is repeated. The shape of the fluidised zone changes with increasing jet depth from an open and stable approximately ellipsoidal form to an unstable spouted profile, and then to a submerged fluidised cavity. The shape of the cavity reduces with increasing depth. Parameters controlling the geometry of an open fluidised zone are fluid velocity and inside diameter of jet, together with diameter soil particles. There has been no influence of relative density in the geometry of the fluidised zone. In fact, this geometry is expressed by densimetric Froude number. The present work was usefull in demonstrating the parameters controlling fluidisation by upflow washing.

Superficial foundations transfer the load to soil by the distributed tensions on the base of the foundation element and, projects are normally conditioned to crack and displacement criteria. In the ordinary engineering practice, especially in the Santa Maria region, due to the absence of constitutive models and experimental data, empirical and semi-empirical models are used. In this work, we have studied the behavior of slab-on-grade concrete foundations settle on sedimentary soil at UFSM Geotechnical Engineering Experimental Field (CEEG/UFSM). The study consisted of the execution of four proofs of low loading static load on 0,60m x 0,60m slab-on-grade foundations. The resulting load-repression curves were interpreted according to prescriptions on the Brazilian norm to the obtainment of soil crack load, an the results were compared to those from other methods: theoretical, empirical, semi-empirical and correlation formulations of penetration sounding (SPT). This work was complemented by the identification of the cracking to which the soil was submitted in the research field and some concepts and methods of repression estimation and, admissible tensions. The geological and geotechnical characterization of the study place was obtained by field and laboratorial analyses performed by Emmer (2004) while the implementation of the CEEG/UFSM. The results demonstrated that the soil underwent located cracking and that theoretical and correlation methods used to estimate the cracking load value presented numbers close to those got in the field test. / As fundações superficiais transmitem as cargas ao terreno através das tensões distribuídas sob a base do elemento de fundação, sendo os projetos normalmente condicionados a critérios de ruptura e deslocamentos. Na prática usual de engenharia, sobretudo na região de Santa Maria, por falta de modelos constitutivos e dados experimentais são utilizados modelos empíricos e semiemp íricos. Neste trabalho, estudou-se o comportamento de sapatas de concreto armado assentes sobre solo sedimentar no Campo Experimental de Engenharia Geotécnica da UFSM (CEEG/UFSM). O estudo compreendeu a execução de quatro provas de carga estática de carregamento lento sobre sapata de concreto armado de 0,60m x 0,60m. As curvas carga-recalque resultantes foram interpretadas conforme prescrições da norma brasileira para obtenção da carga de ruptura do solo e os resultados comparados com outros oriundos de métodos teóricos, empíricos, semi-empíricos e formulações de correlação com sondagens à penetração (SPT). Complementaram este trabalho a identificação da ruptura a que o solo foi submetido no local da pesquisa e alguns conceitos e métodos de estimativa de recalques e tensões admissíveis. A caracterização geológica e geotécnica do local de estudo foi obtida de ensaios de campo e laboratório realizados por Emmer (2004) no trabalho de implantação do CEEG/UFSM. Os resultados mostraram que o solo sofreu ruptura localizada e que os métodos teóricos e de correlação utilizados para estimar a carga de ruptura apresentaram resultados muito próximos ao obtidos em campo.

Este trabalho apresenta a análise da capacidade de carga dos ensaios de carregamento dinâmico realizados nas estacas utilizadas na construção do Estaleiro Atlântico Sul e Cais Interno IV (Porto de Suape PE). As estacas ensaiadas são do tipo hélice contínua e prémoldadas. Estão também apresentadas as locações das estacas, sondagens, características, processo executivo e instrumentação das estacas estudadas, bem como a compilação dos resultados encontrados através dos registros de monitoração das estacas. Com os resultados de capacidade de carga das estacas obtidos através dos ensaios de carregamento dinâmico e sondagens SPT (Stand Penetration Test), foram realizadas comparações com os métodos: Aoki e Velloso (1975) e Décourt (1996). A partir das curvas carga x recalque das estacas, gerados pelos métodos CAPWAP e DLTWAVE foram realiza das tentativas de verificação de capacidade de carga, através da interseção da curva com a extrapolação da reta proposta pela NBR 6122/2010, método de Davisson (1972), carga de ruptura corresponde ao recalque pelo método de Terzaghi (1942) e método de De Beer (1967). Discutiu-se também neste trabalho a influência do coeficiente de amortecimento (J), a eficiência do sistema de cravação e se propôs uma expressão para o cálculo da tensão na cravação de estacas pré-moldadas, a partir da retro análise da expressão de Broms e análise do atrito lateral mediante a comparação entre métodos semi-empíricos e hipóteses estabelecidas. Conclui-se que os resultados apresentados da capacidade de carga nos métodos Aoki e Velloso (1975) e Décourt (1996) baseados nas sondagens de referência do ensaio não demonstram em geral compatibilidade com a capacidade de carga do ensaio do ECD; com relação às curvas carga x recalque, os métodos e hipóteses adotados indicam que o nível de carregamento máximo atingido no ensaio, não foi suficiente para mobilizar a capacidade de carga total das estacas / This presented work analysis of the load capacity of the dynamic load test carried through in the props used in the construction of the Atlântico Sul Shipyard and Internal Wharf IV (Port of Suape - PE). The assayed piles are of the type continuos fly anger and pre cast concrete. Also the location of the piles and soundings are presented, characteristics, executive proceeding and instrumentation of the studied piles, as well as the compilation of the results found through the registers of monitoring of the piles. With the results of load capacity of cuttings obtained through and dynamic loading test surveys SPT (Stand penetration test), comparisons were made with the methods: Aoki and Velloso (1975) and Décourt (1996). From the curves load x settlement generated for method CAPWAP of the props had been carried through attempts of verification of load capacity, through the intersection of the curve with the extrapolation of the straight line proposal for NBR 6122/1996, Method of Davisson (1972), rupture load corresponds stresses to it for the method of Terzaghi (1942) and Method of De Beer (1967). Discussed in this work the influence of damping coefficient (J), the efficiency of the system of crimping and proposed an expression for the calculation of tension in pile driving pre-shaped, from the back analysis of the expression of Broms and e analysis of the lateral attrition by means of the comparison between methods half-empiricists and established hypotheses. One concludes that the presented results of the load capacity in the methods Aoki and Velloso (1975) and Décourt (1996) based in the soundings of reference of the assay in general does not demonstrate compatibility with the load capacity of the assay of the ECD; with regard to the curves load x it stresses, the methods and adopted hypotheses indicate that the reached maximum shipment level in the assay, was not enough to mobilize the total load capacity of the props