[pt] Este trabalho consiste na determinação dos valores e da distrbuição dos módulos de elasticidade com a profundidade de maciços de solo estratificados através de retroanálises de provas de carga em estaca instrumentada, com medição de recalques no topo e na base, publicadas na literatura para depósito de solos resuduais, argila rija e areia. Nas retroanálises utilizou-se um programa computacional baseado numa versão simplificada do método dos elementos de contorno, sugerida por Poulos (1968), com adaptações da formulação de Mindlin (1936) para permitir também a consideração de maciços estratificados. Seus resultados foram comparados com aqueles obtidos por vários tipos de ensaios de campo ou de laboratório, com o objetivo de indicar quais destes ensaios são os mais adequados para a determinação dos parâmetros de deformação do solo, visando o cálculo do recalque de estacas. Os valores de módulo de elasticidade computados nas retroanálises compararam-se satisfatoriamente com aqueles determinados com base nos ensaios que, durante a execução, induzem pequenas deformações no solo, ocorrendo, por outro lado, uma significativa subestimativa destes valores quando determinados em ensaios envolvendo grandes deformações. Este comportamento permitiu então concluir que uma escolha adequada do nível de deformações associada ao tipo de ensaio é essencial para a determinação das características de compressibilidade do solo na engenharia de fundações. / [en] This work consists of the determination of values and distribution of the modulus of elasticity with depth in layered soils through backanalysis of instrumented pile load tests, published in literature for residual soils, stiff clay and sand. In the backanalysis was used a simplified version of the boundary element method, originally introduced by Poulos and Davis (1968), with adaptations of Mindlin´s formulation to allow for the consideration of layered soils. The results of the backanalysis were compared with those obtained through many ´in situ´ and laboratory tests, with the aim of indicating which of those tests are more suitable for the determination of the deformation parameters of the soil, to be used in the evaluation of pile settlement. The values of elasticity modulus computed in the backanalysis agreed well with those determined from the tests which transmit small strains to the soil during its execution. On the other hand, these values were subestimated when obtained from tests that involve high strains. This behavior permitted the conclusion that an appropriate choice of the strain level, associated to the type of the test, is essential to the determination of the compressibility characteristics of the soil in foundation engineering problems. / [es] Este trabajo aborda la determinación de los valores de los módulos de elasticidad con profundidad de macizos de suelo estratificados así como su distribución. Dicha determinación se efectua a través de retroanálisis de pruebas de carga en estaca instrumentada, que aparecen publicadas en la literatura para depósito de suelos residuales, arcilla dura y arena. En el retroanálisis se utilizó un programa computacional basado en una versión simplificada del método de los elementos de contorno, sugerida por Polos (1968), con adaptaciones de la formulación de Mindlin (1936) que permiten considerar macizos estratificados. Con el objetivo de indicar cuál de estos ensayos resulta más adecuado para la determinación de los parámetros de deformación del suelo y para el cálculo del recalque de estacas, se compararon sus resultados con los obtenidos por varios tipos de ensayos de campo o de laboratorio. Los valores de módulo de elasticidad computados en el retroanálisis se compararan satisfactoriamente con los determinados con base en los ensayos que, durante la ejecución, inducen pequenas deformaciones en el suelo, teniendo, por otro lado, una significativa subestimación de estos valores cuando son determinados en ensayos con grandes deformaciones. Este comportamiento permitió entonces concluir que una selección adecuada del nível de deformación asociada al tipo de ensayo es esencial para la determinación de las características de compresibilidad del suelo en la ingeniería de fundaciones.

Orientador: José Roberto de França Arruda / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-28T12:34:37Z (GMT). No. of bitstreams: 1 Pugliese_DanielPerussi_M.pdf: 5689260 bytes, checksum: fc23e46a7c6b4785faef7e0a5f83078f (MD5) Previous issue date: 2015 / Resumo: A não uniformidade em pneus esta associada com o seu processo de fabricação e afeta todos os tipos de pneus, mas é mais relevante em pneus de veículos de passeio, dado que este setor exige elevados níveis de conforto a altas velocidades. As forças dinâmicas devido à rotação dos pneus variam de acordo com a velocidade do veículo. Em certas velocidades podem excitar frequências naturais do sistema pneu-suspensão. Este trabalho explora os efeitos dinâmicos das não uniformidades de um conjunto de pneu-roda de um veiculo de passeio. Seu impacto sobre as forças da roda nas direções radiais, transversais e longitudinais, em baixas e altas velocidades são investigados tanto numérica quanto experimentalmente. A principal contribuição deste trabalho é a geração de um modelo tridimensional dinâmico para o estudo da não uniformidade. O modelo é construído utilizando o método dos elementos finitos. A validação do modelo é realizada utilizando-se o modelo de pneu comercial mais amplamente utilizado, e com uma campanha experimental significativa. Os resultados numéricos preveem os principais efeitos observados experimentalmente da não uniformidade do conjunto pneu-roda no sentido vertical e longitudinal. Este último predominante a elevadas velocidades. O modelo numérico é útil para a análise dinâmica virtual de diferentes tipos de não uniformidade / Abstract: Tire non-uniformity is associated with the production process and affects all types of tires, but is more relevant for passenger tires, as this sector requires high levels of comfort at the high speeds achieved by vehicles in this segment. Dynamic forces due to tire rotation vary with the vehicle speed. At certain speeds they can excite natural frequencies of the tire-suspension system. This work explores the dynamic effects of non-uniformities of a car tire-wheel assembly. Their impact on hub forces at the radial, lateral and longitudinal directions, at low and high speeds are investigated both numerically and experimentally. The main contribution of this work is the generation of a dynamic three-dimensional model for the study of tire non-uniformity. The model is built using the Finite Element Method. The model is validated with the most widely used commercial tire model and with a significant experimental campaign, which is also described in the paper. Numerical results predict the main experimentally observed effects of non-uniformity of the tire-wheel assembly in the vertical and longitudinal directions. The latter predominate at higher speeds. The numerical model is helpful for the virtual dynamic analysis of different types of non-uniformity / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

[pt] É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou provas de corte atômico, pois tais procedimento envolvem menos escolhas. Provas de algumas tautologias são conhecidamente grandes quanto realizadas sem a regra do corte e curtas quando a utilizam. Queremos com este trabalho apresentar procedimentos para reduzir o tamanho de provas proposicionais. Neste sentido, apresentamos dois métodos. O primeiro, denominado método vertical, faz uso de axiomas de extensão e alguns casos é possível uma redução considerável no tamanho da prova. Apresentamos um procedimento que gera tais axiomas de extensão. O segundo, denominado método horizontal, adiciona fórmulas máximas por meio de unificação via substituição de variáveis proposicionais. Também apresentamos um método que gera tal unificação durante o processo de construção da prova. O primeiro método é aplicado a dedução natural enquanto o segundo à Dedução Natural e Cálculo de Seqüentes. As provas produzidas correspondem de certo modo a provas não normais (com a regra do corte). / [en] It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut-free proofs and their respective non-normal proofs. The task of automatic theorem proving is, on the other hand, usually based on the construction of normal, cut-free or only-atomic-cuts proofs, since this procedure produces less alternative choices. There are familiar tautologies such that the cut-free proof is huge while the non-cut-free is small. The aim of this work is to reduce the weight of proposicional deductions. In this sense we present two methods. The fi first, namely vertical method, uses the extension axioms. We present a method that generates a such extension axiom. The second, namely horizontal method, adds suitable (propositional) unifi fications modulo variable substitutions.We also present a method that generates a such unifi fication during the proving process. The proofs produced correspond in a certain way to non normal proofs (non cut-free proofs).

O Transtorno de Déficit de Atenção e Hiperatividade (TDAH) é um dos transtornos de maior prevalência na infância e adolescência. Pesquisas recentes demonstram que, ao menos do ponto de vista cognitivo, existem diferenças importantes no desenvolvimento de crianças com TDAH quando comparadas com crianças sem qualquer diagnóstico psiquiátrico. O presente trabalho pretende contribuir para o campo de pesquisa sobre o TDAH, buscando uma compreensão mais dinâmica deste transtorno, ultrapassando o nível descritivo dos sintomas, incorporando aspectos da Psicologia do Desenvolvimento. Acreditamos que a teoria de Piaget acerca do desenvolvimento psicológico, do processo de transição do estágio pré-operatório para o estágio operatório concreto de desenvolvimento, é um subsídio teórico importante para a compreensão deste transtorno, em especial a construção operatória da noção de tempo. A hipótese geral foi a de que crianças com TDAH apresentariam déficits no desenvolvimento de noções operatórias, como a conservação, reversibilidade e apreensão temporal. Foram entrevistadas 62 crianças, com idades entre 6 a 12 anos, subdividas em dois grupos: uma amostra clínica de crianças diagnosticadas com TDAH (n=32), e uma amostra de crianças sem diagnóstico (grupo controle, n=30). A amostra clínica foi também dividida entre crianças que faziam uso de metilfenidato, e crianças não medicadas, com o intuito de observar se a medicação exerceria alguma influência no desempenho das crianças em provas piagetianas. Para a composição dos grupos, foi utilizada a K-SADS-PL, elaborada segundo os critérios do DSM-IV. Com o objetivo de avaliar os níveis de desatenção e hiperatividade, os pais e/ou responsáveis responderam a dois questionários: a versão abreviada do questionário de Conners, e o Inventário dos Comportamentos de Crianças e Adolescentes entre 6 e 18 anos (CBCL). Tendo como referência a entrevista clínica de Piaget, foram aplicadas as seguintes provas piagetianas: Conservação das quantidades discretas; Mudança de critério dicotomia; as provas de Sucessão dos Acontecimentos Percebidos e da Simultaneidade, e O tempo da ação própria e a duração interior. Os resultados demonstram haver diferença estatisticamente significativa entre o desempenho das crianças dos diferentes grupos, para as provas piagetianas como um todo (p < 0,001), e, quando analisadas separadamente, para as provas de Conservação de Quantidades Discretas (p = 0,003), Simultaneidade (p = 0,004), e O tempo da ação própria e a duração interior (p < 0,001). Crianças com TDAH apresentaram uma tendência a terem suas respostas classificadas em níveis inferiores ao esperado, quando comparadas ao grupo controle. Em relação ao uso do metilfenidato na amostra clínica, não foi observada diferença significativa entre os grupos. Apesar importante no tratamento, o metilfenidato não demonstrou ser suficiente para potencializar o desenvolvimento cognitivo de crianças com TDAH, superando os déficits observados. Esses achados corroboram a hipótese de déficit na aquisição das noções operatórias em crianças com TDAH. Assim, são necessárias novas reflexões a respeito do TDAH, considerando alternativas de intervenções que considerem os déficits observados, ultrapassando o tratamento medicamentoso. / Attention Deficit Hyperactivity Disorder (ADHD) is one of the most prevalent disorders in childhood and adolescence. Recent research shows that, at least from a cognitive level, there are important differences in the development of children with ADHD when compared with children without any psychiatric diagnosis. This work aims to contribute to the field of research on ADHD, seeking a more dynamic understanding of this disorder, surpassing the descriptive level of symptoms, incorporating aspects of Developmental Psychology. We believe that Piaget´s theory about the psychological development, the process of transition from pre-operative stage to concrete operative stage of development, is important for the theoretical understanding of this disorder, especially the construction of the operative notion of time. The general hypothesis was that children with ADHD present deficits in the development of operational concepts, such as conservation, reversibility and temporal seizure. Sixty two children, aged 6 to 12 years, were interviewed, and subdivided into two groups: a clinical sample of children diagnosed with ADHD (n = 32) and a sample composed by children without diagnosis (control group, n = 30). The clinical sample was divided between children who made use of methylphenidate, and children non-medicated, in order to see if the medication did some influence on the children´s performance in piagetian tasks. For the composition of groups, the K-SADS-PL was utilized, prepared according to the DSM-IV criteria. To assess the levels of inattention and hyperactivity, the parents and / or guardians answered two questionnaires: Conners´ Abbreviated Parents Rating Scale, and the Child Behavior Checklist (CBCL). According to the Piaget´s clinical interview, the following tasks were applied: Conservation of discrete quantities; Change of criteria - dichotomy; the tasks Succession of Events Perceived; Simultaneity, and The time of the action and the internal duration. Results show statistically significant differences between the performance of children from different groups, for piagetians tasks as a whole (p <0001) and, when analyzed separately, for the tasks Conservation of Discrete Quantities (p = 0003), Simultaneity, (p = 0004), and The time of the action and the internal duration. (p <0001). Children with ADHD showed a tendency to take their responses classified at levels lower than expected when compared to the control group. Regarding the use of methylphenidate in the clinical sample, there was no significant difference between groups. Although necessary of treatment, methylphenidate has not be sufficient to enhance the cognitive development of children with ADHD, overcoming the deficits observed. These findings support the hypothesis of deficits in the acquisition of concepts operative in children with ADHD. This calls for new thinking about the ADHD, considering alternatives for interventions that consider the deficits observed, surpassing the drug treatment.

A investigacao experimental do fenomeno de vibracoes induzidas pela emissao de vortices (VIV) em modelos flexiveis longos lancados em catenaria e sujeitos a pers de correnteza variavel e ortogonais ao plano de lancamento e o tema principal desta tese de doutorado. O objetivo, neste trabalho, e identicar, descrever e discutir os comportamentos dinamicos do VIV nas catenarias sob correnteza variavel, comparando-os com aqueles exibidos por este fenomeno agindo em um cilindro flexivel vertical. Desta forma, tenciona-se contribuir para a compreensao mais geral do VIV nas linhas oceanicas utilizadas na exploracao de petroleo e gas no mar. Neste contexto, muito se sabe sobre o comportamento do VIV em cilindros rgidos montados em suportes elasticos, bem como em cilindros flexiveis nao curvados, ambos os arranjos com uma vasta literatura descrevendo nao so os comportamentos dinamicos, como tambem suas relacoes com os aspectos fluidos que lhe dao origem. Contudo, no caso dos cilindros flexiveis longos, ainda existem pontos que precisam de compreensao mais profunda, particularmente aqueles que representam condicoes mais proximas da operacao oceanica real - o lancamento em catenaria e a acao de um perfil variavel e ortogonal de correnteza. Para tanto, um dispositivo denominado braco giratorio foi projetado e construido para que experimentos com modelos de catenaria em correnteza variavel com a profundidade fossem conduzidos no tanque de provas fisico do laboratorio Tanque de Provas Numerico (TPN), caracterizando uma pesquisa inedita no tema. Como condicoes de ensaio foram consideradas diferentes configuracoes geometricas da catenaria, todas comparadas com um cilindro flexivel vertical ensaiado tanto no braco giratorio, como tambem em tanque de reboque. Tratados segundo uma tecnica de decomposicao modal, os resultados de deslocamento ao longo dos modelos nessas condicoes de ensaio permitiram a identicacao e a descricao de comportamentos dinamicos bastante parecidos nas catenarias, sempre comparados aqueles do modelo vertical, o que trouxe grande abrangencia a compreensao do VIV nas linhas flexiveis em geral. Como contribuicao adicional, este trabalho dotou o tanque de provas do TPN de um equipamento bastante interessante para ampla gama de investigacoes sobre as interacoes fluido-estruturais - o braco giratorio. / The experimental investigation of Vortex-Induced Vibrations (VIV) on long catenary models and subjected to non-uniform velocity profiles, orthogonal to the catenarys plane, it is the main subject of this doctoral thesis. As a main goal, this work search to identify, describe and discuss the dynamic behaviors of VIV on catenary lines under non-uniform velocity profiles, comparing the results with those coming from the same phenomenon acting on flexible cylinders in a vertical configuration. Thus, it is intended to help for a more general understanding of VIV in offshore lines used in the oil and gas exploration at sea. In this context, much is known about the behavior of VIV on rigid cylinders elastically supported, as well as on flexible cylinders with no curvature, both configurations counting with a large literature describing not only the dynamic behaviors, but also their relationships with hydrodynamics aspects. However, in the case of long flexible cylinders, there are still more points to be understand, particularly at those conditions closer to the offshore operations - with catenary lines under variable current profile. Under those considerations, a rotating-arm was designed and assembled in the model basin at Numerical Offshore Tank (TPN), Brazil, for model tests under non-uniform current profile, featuring itself as an unpublished research on this topic. Different catenary geometries were tested in the rotating-arm at USP and also in the towing tank at Institute for Technological Research of the State of Sao Paulo (IPT), Brazil, all of them being compared with a vertical flexible cylinder. From those conditions of test, data was analyzed according to a technique of modal decomposition, so the motion results from all the models allowed the identication and the description of a dynamic behavior quite similar in the catenary when compared to that from a vertical cylinder, which has brought great understanding about the VIV on flexible lines. As an contribution, this work has provided to the TPN\'s model basin an interesting device for a wide variety of researchs on fluid- structural interaction - the rotating-arm.

Este trabalho se propõe a analisar os efeitos produzidos pela inundação do solo em estacas escavadas, isoladas, submetidas a esforços de compressão. Os resultados obtidos referem-se à execução de três provas de carga lentas em estacas com diâmetros de 0,40 m e 0,50 m (2 provas de carga distintas) e comprimentos de 10,0 m, submetidas anteriormente a uma série de carregamentos (duas provas de carga rápidas e duas lentas). Os resultados relativos aos deslocamentos medidos no topo das estacas e os obtidos pela instrumentação instalada ao longo do fuste são então comparados com a sequência dos resultados anteriores, para avaliação do efeito de umedecimento no comportamento \"carga x recalque\" e nos mecanismos de transferência de carga. É feita ainda uma descrição minuciosa do processo utilizado para inundação do solo e uma breve consideração sobre os efeitos da não reposição de cargas em ensaios lentos, de longa duração. / This work intends to analyze the effects produced by the flooding of the soilexcavated piles, isolated, subjected to compression efforts. The results refer to the execution of three slow load tests on piles with diameters of 0.40 m and 0.50 m (2 distinct load tests) and 10.0 m lengths, submitted previously to a number of shipments (two slow and two quick load). The results concerning offsets measured at the top of the stakes and those obtained by the instrumentation installed along the forend are then compared with the sequence of the previous results, to evaluate the effect of damping in behavior \"load x settlement\" and load transfer mechanisms. It was also made a thorough description of the process used to flood the ground and a brief consideration of the effects of non-replacement of loads in slow, long-term trials.

Para serem classificadas e aprovadas por uma sociedade classificadora, todas as estruturas offshore são submetidas a análises baseadas em regras padrão; os critérios de estabilidade utilizados são baseados no código IMO MODU (Internacional Maritime Organization Mobile Offshore Drilling Units), que referencia quase todos os tipos de unidades flutuantes, como de superfície, semi-submersíveis, e auto elevatórias, entretanto, encontram-se problemas ao tentar enquadrar alguns conceitos inovadores a um desses tipos, devido às grandes diferenças entre o existente e os novos projetos. A fim de prever o comportamento de uma estrutura flutuante, são necessárias análises de estabilidade que predigam o comportamento da plataforma em operação intacta, e eventualmente em caso de avarias. Com o propósito de superar dificuldades e encontrar os critérios apropriados, foi realizado. em conjunto pelo Departamento de Engenharia Naval e Oceânica da USP e Petrobras, esse estudo para gerar análises que cerceiem o comportamento desses novos tipos de plataforma e adéqüem as regras existentes aos novos conceitos para certificações futuras. Pode se observar que unidades do tipo FPSO são as mais comuns em campos de produção brasileiros por apresentarem grande área de convés, capacidade de armazenamento e serem unidades cuja operação é muito conhecida, além de terem baixos custos de construção, seja ela inteiramente construída ou apenas convertida. Entretanto, esse tipo de unidade apresenta movimentos não adequados para a utilização de Steel Catenary Risers (SCRs), inviabilizando sua utilização em águas ultra-profundas. Analisando as condições brasileiras, nota-se que ao considerar ondas, corrente e vento, as relações dimensionais de um FPSO não teriam a melhor proporcionalidade possível, principalmente devido às interferências hidrodinâmicas proporcionadas pelo swell. Isso impeliu o desenvolvimento de um novo conceito que atendesse melhor a função especifica da unidade, batizado monocoluna. Para esse conceito, foram gerados inúmeros cascos, porém apenas alguns deles foram escolhidos como ideais para serem submetidos a mais minuciosas análises, e nessa dissertação se discutem os critérios de estabilidade que devem ser aplicados a monocoluna. Todas as análises foram conduzidas considerando métodos numéricos e as dimensões finais foram aplicadas a ensaios em tanques de provas para que se comprovasse a eficiência dos sistemas criados. / To be classified and approved by a classification society, all offshore structures shall be submitted and analyzed according to standard rules. The stability criteria are based on the IMO MODU (International Maritime Organization Mobile Offshore Drilling Units) Code which has reference to almost all types of floating units such as surface, column-stabilized and self elevating. Although it refers to a wide range of naval systems, problems were found when dealing with new concepts due to differences between these concepts and those presented by the rules. In order to predict the behavior of a floating structure, it is necessary to perform stability analyses that foresee how the platform will respond when in operation either intact or eventually damaged. With that in mind, this study that would analyze and evaluate the existing rules came up along with the Department of Naval and Ocean Engineering of the University of São Paulo and Petrobras, this study intends to check the applicability of the existing rules and propose more adequate rules for the monocolumn. It is possible to observe that FPSO units are more common at the Brazilian oil fields due to the presence of great deck area and storage capacity, their operation is well known, they have low constructions costs either if they are built from scratch or converted. Even so, this type of unit presents inadequate responses to the use of Steel Catenary Risers (SCRs), what doesnt allow its use in ultra deep water. Analyzing the Brazilian weather and sea condition, specially focusing on waves, sea strings and wind, the FPSO dimensions are not the best, especially due to the swell hydrodynamic responses. That forced the development of a new concept that better fulfill the units specific function, named monocolumn. Lots of units were defined as valid, but only some with the best responses were chosen for deeper analysis, therefore this study discusses the stability criteria that shall apply to this concept. All the analyses were conduced considering numerical methods and among all the possibilities, final dimensions were generated and prototypes were built and tested in test tanks to prove their efficiency.

Made available in DSpace on 2016-04-26T20:25:14Z (GMT). No. of bitstreams: 1 DIR - Ailton Ap Laurindo.pdf: 1068597 bytes, checksum: 1535e719644d9189316ea9f861de9426 (MD5) Previous issue date: 2006-10-18 / This current paper has as its main purpose to approach the matter of evidences on the social security proceedings, under a practical and theoretical perspective, in agreement with jurisprudence and its due legal process. This actual theme has been chosen due to the fact that I have worked with social security practice for several years as a public employee, and also together with the studies on material social security. The choice is also justified with the purpose of a reinterpretation or a change in the legislature concerning social security proceeding rules, which are at a perceptible state of retrocession, harnessed into those old precepts, despite having being prepared after the publication of the present Constitution. In short, after some brief considerations regarding the conception about Social Security, Social Welfare, Health and Social Security, as well as the various forms of Social Security benefits, the paper will investigate the applied evidences on the social security proceedings, among which, documentary evidence, testimonial evidence, expert evidence, administrative justification and evidence to prove economical dependency and to prove performed activities under special conditions, all in agreement with jurisprudence and its due procedural legislation. In this context, several problems on the social security procedural legislation will be examined all with its due legal proceedings and with the basic rules based on the Code of Civil Procedure. Finally, some important conclusions obtained during this present study, which confirm the necessity for a change on the jural-social security legal system in such a way that its proceeding rules (clearly expressed or implied) are interpreted and applied in favour of the weakest part on the jural-procedural relation, in casu, the insured / O presente trabalho tem por escopo abordar as provas no processo previdenciário sob uma perspectiva prática e teórica, em consonância com a jurisprudência e com o devido processo legal. A escolha do presente tema se deu em virtude dos vários anos atuando na prática previdenciária exercida como servidor público, em conjunto com o estudo do direito material previdenciário. Justifica-se ainda a escolha com o propósito de uma reinterpretação ou uma mudança legislativa no tocante às normas processuais previdenciárias, as quais se encontram num visível retrocesso, atreladas àqueles velhos cânones, embora elaboradas posteriormente à promulgação da Magna Carta vigente. Em suma, após breves considerações no tocante aos conceitos da Seguridade Social, Assistência Social, Saúde e Previdência Social, adentrar-se-á as provas utilizadas no processo previdenciário, dentre as quais a prova documental, testemunhal, pericial, justificação administrativa, provas para a comprovação de dependência econômica e para a comprovação de atividades exercidas em condições especiais, todas em consonância com a jurisprudência e com o relativo processo legal. Nesse contexto, serão observados os vários descompassos da legislação processual previdenciária com o devido processual legal e com as regras básicas do Código de Processo Civil. Finalmente, apresentar-se-ão as conclusões indispensáveis obtidas durante o estudo, as quais corroboram a necessidade de mudança legislativa no ordenamento jurídico-previdenciário, no sentido de que sejam as normas do processo previdenciário (explícitas ou implícitas) interpretadas e aplicadas em prol da parte mais fraca da relação jurídico-processual, in casu, os segurados

Este trabalho tem como objetivo central o desenvolvimento da infra-estrutura de sensoriamento e atuação para a avaliação de Sistemas de Posicionamento Dinâmico de modelos reduzidos de embarcações em tanques de provas. Ele descreve a concepção, o projeto, a implementação e os testes de um sistema sensor de posição e orientação do modelo, assim como o hardware dos propulsores utilizados como atuadores do modelo. O sistema sensor é baseado na emissão e recepção de sinais acústicos sincronizados de alta freqüência (ultra-som). Utiliza-se o Método Esférico 3-D como algoritmo de triangularização, obtendo-se a estimativa da posição por meio da minimização de uma medida quadrática do erro. Além disso, foi também aplicado o filtro estendido de Kalman como algoritmo de estimação. São apresentadas de forma clara e objetiva as dificuldades encontradas no decorrer do desenvolvimento do trabalho, bem como as soluções adotadas para contorná-las, analisando as influências das condições atmosféricas e do ambiente laboratorial no processo de medição, os resultados obtidos a partir dos ensaios, a robustez e o desempenho do sistema sensor. / The main objective of this work is the development of both sensing and actuation infra-structure for the performance evaluation of Dynamic Positioning Systems for reduced scale model of ships in towing tanks or offshore tanks. It describes the conception, design, implementation and tests of a range and orientation sensor system, as well as the hardware of the propellers used as the model actuators. The sensor system is based on the emission and reception of high frequency synchronized accoustic signals (ultra-sound). A 3-D spherical method based on the minimization of a quadratic measure of the error is used to estimate the position of the ship model. Furthermore the extended Kalman filter is also used. The difficulties found during the development of the project are presented as well as the solutions adopted to circumvent them. The experimental results obtained are discussed. In particular, the influence of both the local atmosphere and the lab environment on the performance of the sensor system are taken into account.

O tema \"segurança de fundações\" tem merecido especial atenção, tanto na lide acadêmica quanto na prática profissional, em virtude da necessidade de se buscar soluções cada vez mais otimizantes para a dicotomia custo versus segurança, soluções essas que diferem pela forma de tratamento das incertezas envolvidas no projeto e execução das fundações. As provas de carga sobre as fundações têm desempenhado papel central na redução dessas incertezas. Ultimamente, tem-se discutido muito, particularmente no âmbito da revisão da NBR 6122, o papel das provas de carga na redução das incertezas inerentes a qualquer obra de fundações. Se é ponto pacífico que as provas de carga devem reduzir as incertezas, já não há consenso quanto aos níveis dessa redução em função do tipo e da quantidade de provas de carga, nem tampouco como a variabilidade dos resultados das provas de carga efetuadas em dada obra influenciam no fator de segurança. Desta feita, o presente trabalho apresenta uma formulação consistente para combinação das previsões de capacidade de carga de estacas de deslocamento com as informações derivadas da realização de provas de carga estáticas conduzidas até a ruptura ou ensaios de carregamento dinâmico, propiciando a atualização racional dos indicadores de segurança, segundo os conceitos da inferência bayesiana. Os resultados permitem consignar que a inferência bayesiana se apresenta com grande vantagem em relação à inferência clássica, pois permite a incorporação das informações anteriores existentes, muitas vezes de caráter subjetivo, sendo menos dependente de amostragem. Além disso, a inferência bayesiana se mostrou um instrumento legítimo para a incorporação dos resultados de provas de carga, decorrendo em medidas de segurança fundamentadas e com paralelo na prática da engenharia de fundações. / The theme of \"foundations safety\" deserves special attention in theory and practice, due to the need to find optimized solutions, which balance cost and safety, solutions that differ in their method of uncertainty treatment. An important way of coping with these uncertainties is the proof pile load tests. Recently, the importance of proof load tests in the reduction of uncertainty has been widely discussed, mainly in the context of the NBR 6122 update. Despite their importance, there is no universally accepted standard regarding how the type and the number of proof load tests influence the safety factor. This work uses the bayesian inference concepts to present a consistent approach, which matches predictions of precast pile capacity with proof pile load tests results, thus providing a rational updating of safety indicators. The results of this study lead to the conclusion that bayesian inference methods have advantages compared with classical approaches. Since they allow the consideration of previous information, sometimes of a subjective nature, these methods do not require as large a sample as frequency approaches do. Furthermore, these methods have proved to be more robust than classical approaches whilst providing results which are consistent with current practice of foundation engineering.