Um tanque de provas do tipo reboque permite a realização de ensaios hidrodinâmicos com modelos em escala, sua presença é importante devido à possibilidade de obter características hidrodinâmicas que dimensionam a potência e qualidade do comportamento dos navios durante a sua operação, otimizando os projetos de forma particular ou geral, tanto para a navegação marítima, lacustre ou fluvial. O objetivo principal desta pesquisa é estudar e propor uma metodologia para o dimensionamento e concepção de um tanque de reboque para o Serviço Industrial da Marinha (SIMA PERU), principal estaleiro do Peru, de maneira que possa realizar os ensaios hidrodinâmicos correspondentes aos diferentes tipos de embarcações produzidas pelo SIMA PERU. Como propósito de estudo será desenvolvido uma análise de um tanque de reboque que permitirá ensaiar modelos de diferentes tipos de embarcações, levando em consideração as diferentes condições ambientais e climáticas relacionadas ao litoral peruano em toda sua extensão, isto é, uma condição marítima equivalente a uma escala Beaufort 5. Estas são as condições que foram requeridas para atuar na costa peruana. Será proposto um tanque de reboque com características próprias, baseado no razoável dimensionamento dos modelos reduzidos e nas necessidades e requerimentos de ensaio de acordo às recomendações apresentadas pela Conferência Internacional de Tanques de Reboque (International Towing Tank Conference- ITTC). / A towing tank allows hydrodynamic testing with scale models, their presence is important because allows to obtain hydrodynamics characteristics that they measure the power and quality of behavior during the operation, optimizing the designs in general or particular form of vessels for sea, lake or river. The main objective of this research is to study and propose a method for sizing and development of a towing tank for the Naval Industrial Service; SIMA - PERU, main shipyard from Peru, so it carry out hydrodynamics tests corresponding to different types of vessels produced by SIMA - PERU. The purpose of study will be developed analysis of a towing tank that will test models of different types of vessels, taking into account the different environmental and climatic conditions related to the Peruvian coast, in other words, sea conditions equivalent to a Beaufort \"5\". These are the conditions that were required to act on the Peruvian coast. Will be offered a towing tank with its own characteristics, needs and requirements based on the consistent sizing of reduced models and according to the recommendations made by the International Towing Tank Conference - ITTC.

Made available in DSpace on 2016-03-15T19:34:13Z (GMT). No. of bitstreams: 1 Carolina Fichmann.pdf: 723709 bytes, checksum: 42f80ea590b1d40c51821e50422ad36b (MD5) Previous issue date: 2014-02-13 / The prohibition of illegal evidences is a constitutional rule of thumb which guarantees a wide range of fundamental rights. Nonetheless, such rule is not insurmountable. Among the mechanisms available to soften the rule stated on Article 5, paragraph LVI, of the Brazilian Constitution of 1988, there is the so called proportionality criteria, which is responsible to measure and evaluate the interests involved in a concrete case. There are two main streams that study the proportionality criteria. The first stream preaches the protection of individual rights against abusive acts perpetrated by the State. On the other hand, the second stream envisages protecting the society, forbidding any flaws in the assurance of social rights guaranteed by the Welfare State. Originally, the first stream of the proportionality criteria demonstrates a greater relation to the negative garantism, reflecting a moment in time when the State adopted a more passive behaviour. However, in light of the atrocities committed during the Second World War, it became clear the need of an effective State intervention given tha t the governmental passive attitude, limited to the mere legislation of fundamental rights in a piece of paper, proved not to be enough. Combined with such paradigm shift, there has also been an evolution in the concept of legal garantism, which turned positive, enabling the rise of a second stream of the proportionality criteria, which aims to prevent abuses against fundamental rights. Considering this new historical environment, depending on the interests involved on the specific case, the criminal illegal evidence pro societate is admitted. Analyzing case law, it is evident that, sometimes, the need to protect core values of the society reveals to be preponderant. In such cases the proportionality criteria is not utilized, so that proofs that initially would be treated as illegal, become lawful, protecting by these means higher valuable social fundamental rights. Not only, but sometimes there is not even need to talk about collisions of values in the case and the lawfulness of proof is unquestioned. In this perspective, the case law admits certain institutes and theories - such as the random knowledge, for example - in order to relativize that proof that before could be considered illegal. Thus, it is precisely in this context that criminal illegal evidence pro societate finds shelter. / De efeito , a vedação às provas ilícitas é uma regra constitucional que assegura um leque de direitos fundamentais, mas não é instransponível. Dentre os mecanismos aptos a flexibilizar a regra disposta no artigo 5º, inciso LVI, da Constituição Federal Brasileira de 1988, há o critério da proporcionalidade, responsável por realizar uma ponderação de interesses à luz do caso concreto. Para tanto, é imprescindível atentar-se às vertentes desse critério. A primeira delas assegura a proteção dos indivíduos contra eventuais excessos perpetrados pelo Estado. A segunda vertente, por sua vez, tutela a sociedade enquanto destinatária das diretrizes do Estado Social , de forma a proibir a proteção deficiente dos direitos fundamentais também de natureza social. A rigor, a primeira face do critério da proporcionalidade guarda relação com o garantismo negativo, momento, este, em que o Estado assumia uma postura passiva. Em momento posterior, no entanto, sobretudo diante das atrocidades cometidas durante a Segunda Guerra Mundial, verificou-se a necessidade de intervenção estatal eis que a postura passiva do Estado de tão somente positivar os direitos fundamentais não se revelou suficiente. Com tal mudança de paradigma, houve também uma evolução no conceito de garantismo jurídico, que passou a ser positivo, proporcionando, destarte, a ascensão da segunda vertente da proporcionalidade que visa a coibir as condutas atentatórias aos direitos fundamentais. No entanto, após análise jurisprudencial, resta evidente que, por vezes, a necessidade de proteger valores essenciais à sociedade é primordial, de modo que o critério da proporcionalidade não é utilizado para a ponderação de interesses no caso concreto e; simplesmente, à luz desse mencionado caso concreto, aquela prova, que outrora poderia ser considerada ilícita, transforma-se em lícita, com o nítido desiderato de coibir a aludida proteção deficiente dos demais direitos fundamentais. Não apenas, mas, por vezes, não há sequer que se falar em colisões de valores no caso concreto e, por conseguinte, em ponderação de interesses -, de modo que a licitude da prova resta inquestionável. Nessa perspectiva, a jurisprudência pátria admite determinadas teorias e institutos como o do conhecimento fortuito - a fim de relativizar aquela prova que antes poderia ser considerada ilícita. Destarte, é justamente nesse contexto que a prova ilícita penal pro societate encontra guarida.

A produção de petróleo e gás em campos brasileiros é cada vez mais proveniente de regiões com águas profundas e situadas longe da costa, chegando a distâncias de mais de 100 km, como, por exemplo, na Bacia de Campos ou de Santos. Devido à falta de infra-estrutura e às características do petróleo desses campos, a cadeia de abastecimento e o sistema de exportação da produção possuem grande importância para a indústria offshore. Uma maneira usual para a exportação da produção é através de dutos submarinos, onde o óleo e/ou a gás flui das plataformas diretamente para o continente. Com esta infra-estrutura é possível a utilização de sistemas de produção sem capacidade de armazenamento e, conseqüentemente, torna-se desnecessário o uso de navios para o alívio da produção. No entanto, devido à qualidade do óleo e às distâncias entre os poços e a costa em alguns campos brasileiros, a utilização dos oleodutos mostra-se uma solução pouco viável. Por este motivo, é bastante comum o uso de FPSOs ou semi-submersíveis conectadas a sistemas auxiliares, como o FSO (Floating Storage and Offloading). Nas plataformas, outra característica importante e desejada é tornar viável o uso de um sistema de completação seca (árvore de Natal acima da linha dágua) com o objetivo de diminuir, significativamente, os custos operacionais envolvidos. Esse tipo de completação é utilizado, com excelência, por unidade do tipo TLWP ou Spar, devido ao baixo nível dos movimentos e acelerações observadas nestas plataformas. Entretanto, as condições ambientais severas amplificam as dificuldades para encontrar um sistema com grande capacidade de armazenamento e que permita o uso de completação seca. Neste contexto, pesquisadores e engenheiros estão sendo obrigados a desenvolver novos conceitos capazes de atender a essa demanda. Desta forma, uma nova solução, considerando um FPSO e uma TLWP operando a uma curta distância e trabalhando de forma acoplada com a conexão garantida por cabos sintéticos vem sendo estudada. Essencialmente, o grande atrativo deste conceito é o fato de que toda a produção e o armazenamento são concentrados no FPSO e a TLWP é responsável pela perfuração e extração dos hidrocarbonetos através de risers verticais. Assim o sistema trabalhando de forma conjunta possui capacidade de armazenamento e permite o uso da completação seca. Nesta dissertação, foi realizado um estudo sobre a evolução deste novo conceito, dividido em três fases. A primeira focada no dimensionamento do sistema de conexão e ancoragem das unidades e em uma investigação da interação hidrodinâmica entre as unidades de forma a mostrar a viabilidade do sistema. A segunda fase, focada na validação dos resultados por meio da comparação com os testes realizados no modelo em escala do NMRI (National Maritime Research Institute - Japão). Finalmente, a terceira fase, com foco no redimensionamento do sistema de amarração e no sistema de conexão, com base nos resultados obtidos na segunda fase. / The oil and gas production in Brazilian fields are commonly found in deep water and situated far away from the coast, reaching distances of more than 100 km as, for example, in the Campos Basin or Santos Basin. Due to the heavy oil and lack of pipeline infrastructure found in these fields, not only subsea equipments that must support high pressure but also logistics problems such as supply chain and production exportation system play an important role for the offshore industry. A usual way to export the production is to concentrate it in hubs of submarine pipelines which flows the oil or gas from the platforms to the continent. This infrastructure makes possible the use of no storage production systems and, consequently, releases the use of the shuttle tanks employment. However, due to the quality of the oil and the distances between the wells and the coast, some Brazilian fields do not allow the use of the pipelines to export their production. For this reason, is quite common to use FPSO and semi-submersible aided by auxiliary systems such as the FSO (Floating Storage and Offloading) units. Another important and desired characteristic of production platforms is to make it feasible to install a dry Christmas tree system aiming to decrease, significantly, operational costs involved. This feature is performed, with excellence, by TLWP and Spar units due to the low level of motions and accelerations observed in these platforms. Harsh environmental conditions can bring difficulties to find a solution of a system with both storage and dry tree system capability. In this context, researchers and engineers are being forced to develop new technological systems capable to support this demand. In this way, a new solution considering a FPSO and a TLWP coupled in a short distance by synthetic ropes has being studied. Essentially, the attractive feature of this concept is the fact that the production is performed by the FPSO whereas the TLWP is responsible to support the risers and drilling facilities turning the system coupled, equipped with a dry Christmas tree and with the possibility to storage the production. By now, the concept evolution has been divided in three phases. The first phase concerned about an advanced research focusing on the connection and mooring system development and the hydrodynamic interaction between the units and having in mind the verification of the concept feasibility. The second phase, concerned about the results validation by a comparison with scale model tests performed in the NMRI (National Maritime Research Institute Japan). Finally, the third phase, has the focus in the mooring and connection system resizing based on the results obtained on second phase.

[pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre provas normais ou livres de corte e suas respectivas provas não-normais. Assim, o uso de grafos-de-prova, ao invés de árvores ou listas, para representar provas está se tornando mais popular entre teóricos da prova. Os grafos-de-prova servem como uma forma de proporcionar uma melhor simetria para a semântica de provas e uma maneira de estudar a complexidade das provas proposicionais. O objetivo deste trabalho é reduzir o peso/tamanho de deduções. Apresentamos formalismos de grafos de prova que visam capturar a estrutura lógica de uma dedução e uma forma de facilitar a visualização das propriedades. A vantagem destes formalismos é que as fórmulas e sub-deduções em dedução natural, preservadas na estrutura de grafo, podem ser compartilhadas eliminando sub-deduções desnecessárias resultando na prova reduzida. Neste trabalho, damos uma definição precisa de grafos de prova para a lógica puramente implicacional, logo estendemos esse resultado para a lógica proposicional completa e mostramos como reduzir (eliminando fórmulas máximas) essas representações de tal forma que um teorema de normalização pode ser provado através da contagem do número de fórmulas máximas na derivação original. A normalização forte será uma consequência direta desta normalização, uma vez que qualquer redução diminui as medidas correspondentes da complexidade da derivação. Continuando com o nosso objetivo de estudar a complexidade das provas, a abordagem atual também fornece representações de grafo para lógica de primeira ordem, a inferência profunda e lógica bi-intuitionista. / [en] Traditional proof theory of Propositional Logic deals with proofs which size can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. Thus, the use of proof-graphs, instead of trees or lists, for representing proofs is getting popular among proof-theoreticians. Proof-graphs serve as a way to provide a better symmetry to the semantics of proofs and a way to study complexity of propositional proofs and to provide more efficient theorem provers, concerning size of propositional proofs. The aim of this work is to reduce the weight/size of deductions. We present formalisms of proof-graphs that are intended to capture the logical structure of a deduction and a way to facilitate the visualization. The advantage of these formalisms is that formulas and subdeductions in Natural Deduction, preserved in the graph structure, can be shared deleting unnecessary sub-deductions resulting in the reduced proof. In this work, we give a precise definition of proof-graphs for purely implicational logic, then we extend this result to full propositional logic and show how to reduce (eliminating maximal formulas) these representations such that a normalization theorem can be proved by counting the number of maximal formulas in the original derivation. The strong normalization will be a direct consequence of such normalization, since that any reduction decreases the corresponding measures of derivation complexity. Continuing with our aim of studying the complexity of proofs, the current approach also give graph representations for first order logic, deep inference and bi-intuitionistic logic.

Um tanque de provas do tipo reboque permite a realização de ensaios hidrodinâmicos com modelos em escala, sua presença é importante devido à possibilidade de obter características hidrodinâmicas que dimensionam a potência e qualidade do comportamento dos navios durante a sua operação, otimizando os projetos de forma particular ou geral, tanto para a navegação marítima, lacustre ou fluvial. O objetivo principal desta pesquisa é estudar e propor uma metodologia para o dimensionamento e concepção de um tanque de reboque para o Serviço Industrial da Marinha (SIMA PERU), principal estaleiro do Peru, de maneira que possa realizar os ensaios hidrodinâmicos correspondentes aos diferentes tipos de embarcações produzidas pelo SIMA PERU. Como propósito de estudo será desenvolvido uma análise de um tanque de reboque que permitirá ensaiar modelos de diferentes tipos de embarcações, levando em consideração as diferentes condições ambientais e climáticas relacionadas ao litoral peruano em toda sua extensão, isto é, uma condição marítima equivalente a uma escala Beaufort 5. Estas são as condições que foram requeridas para atuar na costa peruana. Será proposto um tanque de reboque com características próprias, baseado no razoável dimensionamento dos modelos reduzidos e nas necessidades e requerimentos de ensaio de acordo às recomendações apresentadas pela Conferência Internacional de Tanques de Reboque (International Towing Tank Conference- ITTC). / A towing tank allows hydrodynamic testing with scale models, their presence is important because allows to obtain hydrodynamics characteristics that they measure the power and quality of behavior during the operation, optimizing the designs in general or particular form of vessels for sea, lake or river. The main objective of this research is to study and propose a method for sizing and development of a towing tank for the Naval Industrial Service; SIMA - PERU, main shipyard from Peru, so it carry out hydrodynamics tests corresponding to different types of vessels produced by SIMA - PERU. The purpose of study will be developed analysis of a towing tank that will test models of different types of vessels, taking into account the different environmental and climatic conditions related to the Peruvian coast, in other words, sea conditions equivalent to a Beaufort \"5\". These are the conditions that were required to act on the Peruvian coast. Will be offered a towing tank with its own characteristics, needs and requirements based on the consistent sizing of reduced models and according to the recommendations made by the International Towing Tank Conference - ITTC.

O estudo do fenômeno de vibrações induzidas pela emissão de vórtices, ou VIV, em risers é um tópico de grande relevância para a engenharia oceânica. Nos últimos anos, diversos resultados vêm sendo apresentados, numéricos e/ou experimentais, buscando o entendimento dos fundamentos deste fenômeno de interação fluido-estrutural, no entanto, sem um entendimento conclusivo e abrangente. Neste contexto, risers também estão sujeitos à ação de correntezas oceânicas e, consequentemente, ao fenômeno de VIV. Neste sentido, o presente estudo traz resultados de uma abordagem experimental para o entendimento do fenômeno de VIV em risers lançados em catenária, configuração que representa grande parte das geometrias adotadas em lançamentos atuais. No entanto, a realização de experimentos com risers em tanque de provas pressupõe a utilização de modelos reduzidos, o que, por si só, representa um grande desafio de pesquisa. Para tanto, desenvolveu-se uma metodologia para a modelagem de risers em escala reduzida, com foco na similaridade entre parâmetros importantes que garantam um comportamento dinâmico equivalente àquele em escala real. Foram, então, realizados experimentos de VIV com catenárias concebidas e construídas com base nesta metodologia, posteriormente ensaiadas em tanque de reboque. Para análise dos resultados, foram utilizadas técnicas como a decomposição modal, que possibilitou a comparação desses com alguns resultados da literatura, mostrando que o fenômeno de VIV na catenária se processa de maneira bastante semelhante ao identificado nos cilindros flexíveis. Além disso, a extensa base de dados experimentais apresentada e discutida nesta tese contribui para futura validação de diversos modelos matemáticos e códigos numéricos de predição do VIV em catenárias, descrevendo com detalhes inúmeros comportamentos imersos neste problema importante de engenharia. / The study of Vortex-induced vibrations in risers is a topic of great relevance in the context of ocean engineering. In recent years, several numerical and experimental results have been presented, addressing the understanding of the fundamentals of this fluid-structure interaction phenomenon, however without a conclusive and comprehensive understanding. In this context, risers are exposed to the action of ocean currents and consequently to the phenomenon of VIV. In this sense, the present study provides results of an experimental approach to understanding the VIV phenomenon on risers launched in catenary configuration, which represents much of the geometries adopted today. However, performing risers experiments in towing-tanks presupposes the use of small-scale models, which represents a major research challenge. Therefore, a methodology for modeling reduced scale risers was developed. The focus of this methodology was on the similarity between certain important parameters that guarantee an equivalent full-scale dynamic behavior. VIV experiments were then performed in the towing tank, with the designed and constructed catenary, based on this methodology. Techniques such as modal decomposition were used for the analysis of the results. This allows the comparison of the results with classical literature paradigms showing that VIV response in the catenary is close to results obtained with flexible cylinders. Furthermore, the large experimental database presented and discussed in the study may contribute to future validation of several mathematical models and numerical codes of VIV prediction in catenary risers, describing in detail several immersed behaviors in this important engineering problem.

A produção de petróleo e gás em campos brasileiros é cada vez mais proveniente de regiões com águas profundas e situadas longe da costa, chegando a distâncias de mais de 100 km, como, por exemplo, na Bacia de Campos ou de Santos. Devido à falta de infra-estrutura e às características do petróleo desses campos, a cadeia de abastecimento e o sistema de exportação da produção possuem grande importância para a indústria offshore. Uma maneira usual para a exportação da produção é através de dutos submarinos, onde o óleo e/ou a gás flui das plataformas diretamente para o continente. Com esta infra-estrutura é possível a utilização de sistemas de produção sem capacidade de armazenamento e, conseqüentemente, torna-se desnecessário o uso de navios para o alívio da produção. No entanto, devido à qualidade do óleo e às distâncias entre os poços e a costa em alguns campos brasileiros, a utilização dos oleodutos mostra-se uma solução pouco viável. Por este motivo, é bastante comum o uso de FPSOs ou semi-submersíveis conectadas a sistemas auxiliares, como o FSO (Floating Storage and Offloading). Nas plataformas, outra característica importante e desejada é tornar viável o uso de um sistema de completação seca (árvore de Natal acima da linha dágua) com o objetivo de diminuir, significativamente, os custos operacionais envolvidos. Esse tipo de completação é utilizado, com excelência, por unidade do tipo TLWP ou Spar, devido ao baixo nível dos movimentos e acelerações observadas nestas plataformas. Entretanto, as condições ambientais severas amplificam as dificuldades para encontrar um sistema com grande capacidade de armazenamento e que permita o uso de completação seca. Neste contexto, pesquisadores e engenheiros estão sendo obrigados a desenvolver novos conceitos capazes de atender a essa demanda. Desta forma, uma nova solução, considerando um FPSO e uma TLWP operando a uma curta distância e trabalhando de forma acoplada com a conexão garantida por cabos sintéticos vem sendo estudada. Essencialmente, o grande atrativo deste conceito é o fato de que toda a produção e o armazenamento são concentrados no FPSO e a TLWP é responsável pela perfuração e extração dos hidrocarbonetos através de risers verticais. Assim o sistema trabalhando de forma conjunta possui capacidade de armazenamento e permite o uso da completação seca. Nesta dissertação, foi realizado um estudo sobre a evolução deste novo conceito, dividido em três fases. A primeira focada no dimensionamento do sistema de conexão e ancoragem das unidades e em uma investigação da interação hidrodinâmica entre as unidades de forma a mostrar a viabilidade do sistema. A segunda fase, focada na validação dos resultados por meio da comparação com os testes realizados no modelo em escala do NMRI (National Maritime Research Institute - Japão). Finalmente, a terceira fase, com foco no redimensionamento do sistema de amarração e no sistema de conexão, com base nos resultados obtidos na segunda fase. / The oil and gas production in Brazilian fields are commonly found in deep water and situated far away from the coast, reaching distances of more than 100 km as, for example, in the Campos Basin or Santos Basin. Due to the heavy oil and lack of pipeline infrastructure found in these fields, not only subsea equipments that must support high pressure but also logistics problems such as supply chain and production exportation system play an important role for the offshore industry. A usual way to export the production is to concentrate it in hubs of submarine pipelines which flows the oil or gas from the platforms to the continent. This infrastructure makes possible the use of no storage production systems and, consequently, releases the use of the shuttle tanks employment. However, due to the quality of the oil and the distances between the wells and the coast, some Brazilian fields do not allow the use of the pipelines to export their production. For this reason, is quite common to use FPSO and semi-submersible aided by auxiliary systems such as the FSO (Floating Storage and Offloading) units. Another important and desired characteristic of production platforms is to make it feasible to install a dry Christmas tree system aiming to decrease, significantly, operational costs involved. This feature is performed, with excellence, by TLWP and Spar units due to the low level of motions and accelerations observed in these platforms. Harsh environmental conditions can bring difficulties to find a solution of a system with both storage and dry tree system capability. In this context, researchers and engineers are being forced to develop new technological systems capable to support this demand. In this way, a new solution considering a FPSO and a TLWP coupled in a short distance by synthetic ropes has being studied. Essentially, the attractive feature of this concept is the fact that the production is performed by the FPSO whereas the TLWP is responsible to support the risers and drilling facilities turning the system coupled, equipped with a dry Christmas tree and with the possibility to storage the production. By now, the concept evolution has been divided in three phases. The first phase concerned about an advanced research focusing on the connection and mooring system development and the hydrodynamic interaction between the units and having in mind the verification of the concept feasibility. The second phase, concerned about the results validation by a comparison with scale model tests performed in the NMRI (National Maritime Research Institute Japan). Finally, the third phase, has the focus in the mooring and connection system resizing based on the results obtained on second phase.

O aumento na complexidade das operações de sistemas de produção de petróleo e gás no mar e um fato concreto. Atualmente, a necessidade de avaliar o comportamento no mar destes sistemas requer a compreensão de fenômenos, até então, pouco explorados e que tornam imprescindível uma investigação apoiada em experimentos com modelos reduzidos. Resultados obtidos em tanques de provas, por sua vez, requerem metodologias que contam com a experiência do pesquisador e que, em muitos casos, não são encontradas de maneira detalhada o suficiente na literatura. Ou seja, muitas destas metodologias normalmente são encontradas, no entanto, não em nível para que pesquisadores iniciantes desenvolvam atividades experimentais minimamente pertinentes as eventuais tomadas de decisão ou confrontação com outras linhas de abordagem como a analítica e/ou a numérica. Portanto, e exatamente neste contexto que se insere a presente dissertação de mestrado, buscando descrever em detalhes a teoria e prática envolvida nos procedimentos experimentais para o estudo de comportamento no mar típico de uma plataforma padrão, perfeitamente adaptáveis a outras geometrias mais complexas de sistemas navais e oceânicos. Esses procedimentos envolvem desde o planejamento dos ensaios necessários, passando pelos cuidados durante sua execução, culminando nos métodos de análise dos resultados e formas usuais de documentação. Para facilitar o processo de compreensão, além do próprio texto, este trabalho também contemplou a construção de uma ferramenta matemática dedicada a condução das atividades acima, destacando-se a avaliação e obtenção de parâmetros a partir de ensaios de decaimento e o levantamento expedito das curvas de resposta em ondas regulares, transientes e irregulares. / The increasing complexity of o shore system operations for oil and gas production is a reality. Currently, the need to evaluate the seakeeping of these systems requires understanding some phenomena not yet explored and, for that reason, researches using experiments with small scale models become indispensable. Results obtained in model basins require methodologies that rely on the researchers experience and, most of the time, they are not found detailed enough in the literature. When many of these methodologies are usually found, however, they are not ready for beginner researchers to develop experimental activities minimally relevant to any decision and/or confrontation with other lines, such as the analytical and/or numerical approaches. Therefore, the context of this dissertation describes in detail the theory and involved practice in an experimental procedure for the study of seakeeping of a standard platform, perfectly adaptable to other complex geometries and naval systems. These procedures involve the planning of the necessary tests, through the care during their execution, culminating in the methods of result analyses and usual forms of documentation. In order to facilitate the process of understanding, the construction of a dedicated mathematical tool to conduct the activities described above is provided, emphasizing the assessment and quick obtaining parameters from decay tests, curves response in regular and transient waves, among many others.

Helical anchors, used widely to resist uplift loading for a variety of applications, including in transmission towers, pipelines, offshore structures, etc., are subjected to environmental cyclic loads that influence the anchor performance and may induce fatigue failure. However, the influence of cyclic loading on helical anchor behaviour is unknown. A comprehensive evaluation of the effect of cyclic loading on the load-displacement response of single-helix anchors in sandy soils is presented here, including an interaction diagram to help designers evaluate the impact of different conditions in cyclic loadings. The experimental work of this thesis includes geotechnical centrifuge modelling and field load tests. The centrifuge model tests were carried out with reduced scale models of helical anchors in sand, at IFSTTAR (Nantes, France). The field load tests were performed on helical anchors installed in a tropical residual soil of the Experimental Site of the University of São Paulo (São Carlos, Brazil). In addition, numerical modelling was used to predict the pre- and postcyclic responses of the single-helix anchors tested in a centrifuge. The main findings of this research are: (a) helical anchor behaviour is governed by helix bearing resistance, and no loss of helix bearing capacity was observed in the range of cyclic loadings tested, (b) the degradation of shaft resistance was noticed mainly during the first 100 cycles, when the accumulation of permanent displacements is more significant, (c) an interaction diagram showing the different conditions of cyclic stability is proposed from the results of the experimental data, (d) modified values of the bearing capacity factor in tension (Nq) are suggested for the estimation of post-cyclic uplift capacity of single-helix anchors in sand, (e) the installation effect of the anchor should be taken into account in the numerical model in order to obtain reliable predictions of the helical anchor performance. / As estacas helicoidais são largamente utilizadas para resistir a carregamentos de tração em uma variedade de aplicações como torres de linhas de transmissão de energia, dutos enterrados, estruturas offshore, etc. Estes tipos de estruturas são normalmente submetidos a carregamentos cíclicos que influenciam o desempenho de fundações por estacas helicoidais submetidas a esforços de tração, e podem induzir ruptura por degradação da capacidade de carga. Contudo, a influência do carregamento cíclico no comportamento das estacas helicoidais (ou ancoragens helicoidais, quando submetidas apenas a esforços de tração) é pouco conhecida. Uma avaliação abrangente do efeito de carregamentos cíclicos sobre o comportamento das ancoragens helicoidais é apresentada nesta tese, incluindo um diagrama de interação para auxiliar na avaliação do impacto de diferentes condições de carregamento cíclico. O trabalho experimental desta tese inclui modelagem em centrífuga geotécnica e ensaios de carregamento cíclico em estacas na grandeza real em campo. Os ensaios em centrífuga foram realizados com modelos reduzidos de estacas helicoidais em areia, no IFSTTAR (Nantes, França). Os ensaios de campo foram realizados em ancoragens helicoidais instaladas no solo residual tropical do Campo Experimental de Fundações da Universidade de São Paulo (São Carlos, Brasil). Além disso, modelos numéricos foram utilizados para simular os resultados do comportamento das ancoragens helicoidais ensaiadas em centrífuga nas condições pré- e pós-ciclos. Os principais resultados desta pesquisa são: (a) a capacidade de carga à tração da ancoragem helicoidal é controlada pela capacidade de carga da hélice, (b) a degradação da resistência por atrito lateral foi observada principalmente durante os primeiros 100 ciclos, período em que a acumulação dos deslocamentos permanentes é mais significante, (c) um diagrama de interação mostrando as diferentes condições de estabilidade cíclica é proposto a partir dos resultados experimentais em centrífuga, (d) valores modificados do fator de capacidade de carga em tração (Nq) são sugeridos para estimativa da capacidade pós-ciclos de ancoragens helicoidais com uma hélice em areia, (e) o efeito da instalação da ancoragem deve ser levado em consideração no modelo numérico para que se obtenha previsões confiáveis do desempenho de ancoragens helicoidais.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-09-29T13:41:58Z No. of bitstreams: 1 monalisamarialauro.pdf: 510424 bytes, checksum: 31284a9c9c1e1159695542b7f038ffe8 (MD5) / Approved for entry into archive by Diamantino Mayra (mayra.diamantino@ufjf.edu.br) on 2016-09-30T13:52:54Z (GMT) No. of bitstreams: 1 monalisamarialauro.pdf: 510424 bytes, checksum: 31284a9c9c1e1159695542b7f038ffe8 (MD5) / Made available in DSpace on 2016-09-30T13:52:54Z (GMT). No. of bitstreams: 1 monalisamarialauro.pdf: 510424 bytes, checksum: 31284a9c9c1e1159695542b7f038ffe8 (MD5) Previous issue date: 2010-08-18 / FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais / Na presente dissertação, analisa-se o modo peculiar com que Kant apreende o problema da imortalidade da alma em sua filosofia crítica. Neste intuito, prioriza-se um confronto com as provas racional-teóricas presentes no célebre Fédon mendelssohniano, visto que este é uma notável referência na defesa da imortalidade da alma na Aufklärung. Este confronto permite constatar que o argumento da simplicidade da alma de Mendelssohn constitui-se em um paralogismo transcendental, e que sua defesa da incorruptibilidade da alma não se sustenta quando se respeita a condição crítica de uso esquematizado dos conceitos puros do entendimento. Finalmente, a advertência kantiana contra o uso especulativo da razão para além dos limites da experiência possível revela-se como parte de seu empreendimento de fundamentação de uma moralidade autônoma e plenamente ativa na vida humana. Na perspectiva aberta pela lei moral, a permanência da alma resolve-se como um necessário e sólido postulado da razão prática pura. / This thesis analyzes the particular way in which Kant conceives the issue of the soul’s immortality in his critical philosophy. In order to do that, the focus is set on a confrontation with the rational-theoretical proofs present in Mendelssohn’s Phaedon, since this work is a remarkable reference in the defense of the soul’s immortality during the German Aufklärung. This confrontation allows us to verify that Mendelssohn’s argument of the simplicity of the soul constitutes a transcendental paralogism, and his defense of the incorruptibility of the soul fails when measured by the critical condition of a schematized use of the pure concepts of the understanding. Finally, Kant’s caution against the speculative use of reason beyond the limits of possible experience appears as a part of his undertaking of philosophically grounding a morality which is both autonomous and completely active in human life. Following the perspective opened by the moral law, the duration of the soul is explained as a necessary and firm postulate of pure practical reason.