Resumo não disponível.

Resumo não disponível.

Este trabalho aborda uma análise comparativa dos resultados obtidos em provas de carga à tração, com os diversos métodos de previsão de carga última de estacas tracionadas. Os ensaios foram realizados no campo experimental de fundações do Departamento de Geotecnia da USP/São Carlos, sobre estacas apiloadas, escavadas a trado helicoidal e do tipo Strauss, com diâmetros de 20 a 32 cm, e comprimentos de 6 e 9 m. Observou-se que os métodos que consideram a ruptura na interface solo-estaca são os que conduzem a resultados mais satisfatórios de previsão. Ademais, estudou-se a colapsibilidade da ligação solo-estaca, uma vez que as estacas analisadas têm seu fuste embutido em solo de estrutura comprovadamente colapsível. Para tanto, realizaram-se as provas de carga primeiramente com o solo em estado natural e, posteriormente, inundado por 48 h, na carga de trabalho. Constatou-se o colapso da ligação solo-estaca nas cinco estacas, sendo que em três delas - duas escavadas e uma apiloada -, o colapso deu-se na carga de trabalho, com tempos de inundação inferiores a 48 h; nas outras duas estacas, após 48 h de inundação, prossegui-se normalmente com os incrementos de carga, ocorrendo o colapso para 60 e 78% das cargas respectivas de ruptura. / This dissertation deals with an analysis by comparison of results obtained with piles submitted to axial uplift foreces using several prediction methods of ultimate loads. The pile tests were performed in the Experimental Site of the Departament of Geotechnical Engineering of USP/São Carlos, on bored, hammed and Strauss pile types, with diameters varying from 0,20 to 0,32 m and 6 to 9 m long. It was observed that the methods that took into account the pile-soil interface failure yelded better results. Moreover, the pile-soil interface colapsibility was analyzed, once the shaft of the studied piles were embedded in soil whose structure are truly collapsible. For this, pile testings were performed both in the natural soil conditions and soaked during 48 h for working load. Collapse was observed in the pile-soil interface in five piles. For three of them (two of which were bored and one hammed) the failure took place with working loads under 48 h soaking time; in two others, the failure, occured after 48 h soaking time with loads equivalents to 60% and 78% of natural soil\'s ultimate loads, respectively.

Nessa dissertação, objetiva-se demonstrar em que medida a formação do professor, suas crenças e seus letramentos incentivam o aluno a superar suas limitações em relação ao ensino da leitura e da escrita. Por meio da observação de enunciados de provas, objetiva-se, também, verificar se as práticas letradas acumuladas pelo professor de Ensino Superior ao longo de sua trajetória estão presentes em sua prática cotidiana. Para tanto, na parte teórica visa-se estabelecer os fundamentos de conceitos-chave no estudo da lingüística, tais como: língua, linguagem, leitura, letramento, enunciado e gênero. A análise foi realizada com 18 enunciados de provas, de seis diferentes professores de uma instituição de Ensino Superior de Belém do Pará. Os enunciados das provas analisados revelam professores ainda presos a velhos padrões de avaliação, que, por sua vez, apontam para concepções tradicionais de língua, linguagem, leitura e letramento. Isso significa que esses docentes, responsáveis pela formação das novas gerações de professores, ainda não assimilaram a noção de língua como entidade viva, sempre em transformação, construída em um determinado contexto histórico-social, em que todos os enunciadores são igualmente importantes e em que existe respeito por todas as modalidades (da oral à escrita) e normas (padrão e popular). Tal rigidez na concepção de língua materna, pelos docentes pesquisados, tem raiz nas suas práticas letradas e em sua vida como alunos. A análise dos enunciados revela, também, vários professores com posturas intermediárias, ora tendendo para as concepções tradicionais, ora buscando alternativas contemporâneas, o que, por sua vez, demonstra que existe vontade de mudança. Esse desejo de mudança, no entanto, pode ser tolhido por variados fatores, como a falta de formação continuada, a ausência de materiais de apoio, tanto didáticos, quanto paradidáticos, e/ou condição de trabalho abaixo da ideal. Há também professores que superam práticas antigas de letramento e conseguem oferecer a seus alunos vivência atualizada de um letramento que considera a vida social em seu escopo. / This thesis aims to demonstrate how much the professors education, his beliefs and his literacy practices encourage the students to overcome theirs limitations in relation the teaching of reading and writing. Through the observation of questions of tests, the objective is also to verify if the literacy practices, accumulated by the professor of higher education throughout its career, are present in their daily activity. For this, the theoretical part aims to lay the foundations of key concepts in the study of linguistics, such as language, reading, literacy, enunciate and genre. The analysis was performed with eighteen questions of tests by six different teachers of a higher education institution in Belém do Pará. The questions analyzed show teachers still tied to old standards of evaluation, and these old standards point to the traditional conceptions of language, reading and literacy. This means that these teachers, responsible for training new generations of teachers havent incorporated the notion of language as a living entity, always in transformation, built on a historical and social context, which where all peers are equally important and respect all modalities (from oral until writing) and rules (standard and popular). The analyzed teachers face hardly the mother language, mostly because theirs lives as students and theirs literacy practices. The analysis of the questions also reveals that several teachers have ambiguous positions, sometimes taking to the traditional conceptions, sometimes seeking more contemporary alternatives, which by the way, shows a desire for change. This desire, however, can be stopped by several factors, as lack of continuing education, lack of materials that support both didactic as paradidatics, and / or condition of employment below the ideal. There are also teachers who managed to overcome old practices of literacy and can offer to his students an updated experience of literacy, which believes in social life in its scope.

Este trabalho apresenta o desenvolvimento de um sistema de controle de absorção ativa de ondas como parte integrante da implementação de um novo tanque de ensaios de estruturas oceânicas na Universidade de São Paulo. O tanque é equipado com 148 geradores de onda dispostos em todo o seu perímetro para propiciar a geração de ondas em quaisquer direções. O método de absorção de ondas implementado é baseado em filtros digitais utilizando como realimentação hidrodinâmica a leitura de sensores de nível solidários ao gerador de ondas. Foram estudados filtro recursivos e não recursivos, unidimensionais e bidimensionais. Também é apresentado um método para a análise da estabilidade do sistema de controle em malha fechada. Para avaliar o desempenho do sistema de controle de absorção foi executada uma série de experimentos com ondas regulares com direção de propagação normal ao gerador de ondas e algumas direções oblíquas. Também foram executados ensaios com ondas irregulares na direção de propagação normal ao gerador de ondas. O coeficiente de reflexão experimental obtido apresentou boa aderência aos valores teóricos, apresentado um máximo de 5,61% para um ângulo de incidência entre 0 e 45 graus na faixa de frequência de operação do tanque. Nos ensaios com ondas oblíquas foi observado o aparecimento de uma ressonância lateral de ondas com frequência mais alta que a da onda gerada, o que impossibilitou a execução de ensaios de longa duração de ondas com ângulo de incidência diferente de 0 grau. No final são apresentadas sugestões para a correção deste problema. / This work presents the development of a control system for active absorption of waves as part of the implementation of a new test tank of ocean structures at the University of São Paulo. The tank is equipped with 148 wave generators disposed around its perimeter to allow the generation of waves in all directions. The implemented method of wave absorption is based on digital filters with hydrodynamic feedback given by level sensors solidary to the wave generator. Were studied recursive and non-recursive, one-dimensional and two-dimensional filters. A method for stability analysis of the closed loop control system it is also presented. To evaluate the performance of the absorption control system, a series of experiments was performed considering regular waves with propagation direction normal to the wave generator and some oblique directions. Were also performed tests with irregular waves with propagation direction normal to the wave generator. The experimental reflection coefficient obtained showed good adherence to the theoretical values, presenting a maximum of 5.61% for an angle of incidence between 0o to 45o in the frequency range of operation of the tank. In tests with oblique waves was observed the appearance of a lateral wave resonance with highest frequency of the generated wave, prohibiting the accomplishment of long term experiments of waves with different incidence angle of 0o. At the end it is made suggestions to correct this problem.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Genetics, a subarea within Biology, has a major importance for the study and comprehension of diversity, heredity and biological evolution. A significant understanding of this subarea, with its correlations and applications, allows that individuals perform in a critical way in the society. This study aimed to recognize how the contents of Genetics and its applications are explored in different teaching situations. This research had a quali-quantitative approach, using for data collection instruments as tests composed by exercises focusing on Genetics and its relationships/applications applied to High School students and University students, a questionnaire applied to teachers, and documental analysis. The participants in the study were High School senior students in the years of 2013 and 2014 from two schools, chosen because they had studied Genetics at least one year before, University freshman enrolled in courses within the Biological Area, in the first or second semester in 2012; and also Biology teachers from public and private schools located in the town of Santa Maria, Rio Grande do Sul state, Brazil. Admission exams for entering High Education in Brazil in the period from 2009 to 2013 were also analyzed. Results showed that students, both High School seniors and University freshmen, did not present a significant knowledge related to Genetics and its applications. The main difficulties are related to the understanding of the triad genes-chromosomes-DNA, lacking of inter-relationships among contents previously studied and utilization of math rules for probabilities and calculations involving fractions. Students presented misconceptions related to the concepts of genetic code and genome, relationship between number of chromosomes and DNA molecules, presence of different DNA molecules in different cell types in a single individual, confusion between the concepts of transgenic and genetic modified organisms. The admission exams presented a model favoring the correlation among different contents, but usually toward basic Genetics to the detriment of subjects related to the applications of Genetics. Teachers, on the other hand, considered that the basic contents of Genetics are essential to the individual formation and that the difficulty in learning Genetics is related to the excess of concepts, abstract content, besides correlation between contents, as nucleic acids, and to other matters, mainly Mathematics and Chemistry. Based on the results we developed a didactic booklet containing models and auxiliary teaching resources in Genetics. / A Genética, subárea da Biologia, é de grande importância para o estudo e compreensão da diversidade, hereditariedade e evolução dos seres vivos. O entendimento significativo desta subárea, com suas correlações e aplicações, permite que o indivíduo atue na sociedade de forma crítica. O objetivo principal deste estudo foi reconhecer como o conteúdo de Genética e suas aplicações são explorados em diferentes situações de ensino. Esta pesquisa teve como enfoque uma abordagem quanti-qualitativa, utilizando como instrumentos de coleta testes compostos por exercícios enfocando Genética, relações e aplicações com os alunos do ensino médio e do ensino superior, questionário aplicado aos professores e análise documental. Participaram da pesquisa estudantes concluintes do ensino médio nos anos de 2013 e 2014 em duas escolas, escolhidos porque estudaram Genética há um ano, no mínimo; estudantes universitários iniciantes matriculados em cursos que contemplam a área Biológica, no primeiro ou segundo semestre do ano de 2012; além de professores de Biologia de escolas públicas e particulares localizadas na cidade de Santa Maria, RS, Brasil no segundo semestre de 2013. Também foi feita a análise de provas de seleção para ingresso em Instituições de Ensino Superior Brasileiras e Exame nacional do Ensino Médio (ENEM) no período de 2009 a 2013. Os resultados mostraram que os alunos, iniciantes na universidade ou concluintes do ensino médio, não apresentaram conhecimento significativo relacionado à Genética e suas aplicações. As principais dificuldades estão relacionadas ao entendimento da tríade genes-cromossomos-DNA, à falta de interrelacionamento entre conteúdos estudados em anos anteriores e à utilização de regras matemáticas para probabilidades e cálculos envolvendo frações. Os alunos apresentaram concepções errôneas relacionadas aos conceitos de código genético e genoma, relação entre número de cromossomos e moléculas de DNA, presença de tipos diferentes de DNA de acordo com o tipo celular no mesmo indivíduo, confusão entre os conceitos de organismos transgênicos e geneticamente modificados. As provas de seleção analisadas apresentaram um modelo que preza pela correlação de diferentes conteúdos, mas normalmente voltadas aos conteúdos de Genética básica em detrimento de temas relacionados às aplicações da Genética. Os professores, por sua vez, consideraram que os conteúdos de Genética básica são essenciais para a formação dos indivíduos e que a dificuldade em aprender Genética está relacionada ao excesso de conceitos, conteúdo abstrato, além da correlação entre conteúdos, como ácidos nucleicos, e entre disciplinas, principalmente Matemática e Química. A partir dos resultados foi desenvolvido um caderno didático composto por modelos didáticos e materiais auxiliares para o ensino de Genética.

Apresenta-se uma metodologia de projeto de fundações por estacas incluindo probabilidade de ruína. Considera-se que a complexidade do comportamento geológico-geotécnico do maciço de solo e do elemento estrutural de fundação, submetidos às ações aleatórias ambientais e funcionais, pode ser avaliada por meio das variáveis aleatórias resistência e solicitação. Estatisticamente, a metodologia proposta supõe que a população da fundação é finita, e que os estimadores extraídos das sondagens de simples reconhecimento e das provas de carga podem ser representativos da população (Aoki, 2002), também podem ser avaliados pelas estatísticas de ordem. Aplica-se esta metodologia na fundação do Píer 3 do Porto de Vila do Conde localizado no Estado do Pará, tendo como compartimentação geológica a formação Barreiras. Conclui-se, de modo geral, que esta metodologia pode ser aplicada nas obras de fundações por estacas, especialmente, para auxiliar nas tomadas de decisões. / A methodology of pile foundation projects is presented incorporating ruin probability. It is considered that the complexity of the geological and geotechnical behaviors of the soil mass and the structural element of foundation, subjected to environmental and functional random actions, can be evaluated by strength and solicitation variables. Statistically, the proposed methodology assumes that the population of the foundation is finite, and that the extracted estimators of the standard penetration tests (SPT) and the load tests could be representative of the population (Aoki, 2002). The extracted estimators of the said tests can also be evaluated by the order statistics. This methodology is applied in the Pier 3 foundation of Porto de Vila do Conde, Pará State, which is underlain by the Barreiras formation. It is concluded that in most cases, this methodology could be applied to pile foundations, especially, in taking decisions.

[pt] O tamanho das provas formais possui algumas importantes implicações teóricas na área da complexidade computacional. O problema de determinar se uma fórmula é uma tautologia da Lógica Proposicional Intuicionista e do fragmento puramente implicacional da Lógica Minimal (M(contém)) é PSPACE- Completo. Qualquer lógica proposicional com um sistema de dedução natural que satisfaça o princípio da subfórmula possui o problema de determinar tautologias em PSPACE. Saber se qualquer tautologia em M(contém) admite provas de tamanho polinomialmente limitado está relacionado com saber se NP = PSPACE. Técnicas de compressão de provas reportadas na literatura utilizam duas abordagens principais para comprimir provas: gerar provas já compactadas; comprimir uma prova já gerada. Proposta por Gordeev e Haeusler (6), a Compressão Horizontal é uma técnica de compressão de provas em dedução natural da M(contém) que utiliza grafos direcionados para representar as provas. Dada a prova de uma tautologia qualquer da M(contém), que pode possuir tamanho exponencial em relação ao tamanho da conclusão, o objetivo da Compressão Horizontal é que a prova resultante da compressão possua tamanho polinomialmente limitado em relação ao tamanho da conclusão. Nosso trabalho apresenta a primeira implementação da Compressão Horizontal, juntamente com os primeiros resultados da aplicação da técnica sobre provas de tautologias da M(contém), além disso, compara as taxas de compressão obtidas com técnicas tradicionais de compressão de dados. / [en] The size of formal proofs has some important theoretical implications in computational complexity theory. The problem of determining if some formula of Intuitionistic Propositional Logic and the purely implicational fragment of Minimal Logic (M(contains)) is a tautology is PSPACE-Complete. Any propositional logic with a natural deduction system that satisfies the sub- formula principle is PSPACE. To know if any tautology in M(contains) admits polynomially sized proof is related to whether NP = PSPACE. Proof compression techniques reported in literature use two main approaches to proof compressing: generating already compressed proofs; compressing an already generated proof. Proposed by Gordeev and Haeusler (6), the Horizontal Compression is a natural deduction proof compression technique that uses directed graphs to represent proofs. Given a tautology proof in M(contains), which may have an exponential size in relation to conclusion length, the goal of Horizontal Compression is that the compressed proof has a polynomially limited size in relation to conclusion length. Our work presents the first implementation of Horizontal Compression, together with the first results of the execution of the technique on proofs of M(contains) tautologies.

Esta dissertação de mestrado tem como objetivo fundamental a apresentação de análises e comparações, que visam fazer parte do processo de aprimoramento constante do método numérico de simulação de unidades flutuantes produtoras de petróleo, chamado TPN Tanque de Provas Numérico. Para tanto, foram executados ensaios com modelo em escala reduzida, cujos resultados foram comparados com o modelo numérico do TPN. A unidade padrão utilizada nos ensaios foi a plataforma semi-submersível ITTC-SR192, escala 1:105, ensaios estes realizados no tanque de provas do IPT Instituto de Pesquisas Tecnológicas do Estado de São Paulo. Por meio de comparação com os resultados dos ensaios, foram verificadas as habilidades do TPN em reproduzir os movimentos do casco, a tração no topo das linhas de produção e o amortecimento induzido pelas mesmas. Importante destacar que os parâmetros verificados tiveram a finalidade adicional de confrontar os resultados numérico-experimentais com foco na investigação da influência das linhas de produção na própria dinâmica do sistema flutuante. Tendo em vista esse objetivo complementar, todos os ensaios foram realizados com e sem a presença de linhas de produção, no texto referenciadas apenas por risers, modeladas como um grupo de estruturas bastante flexíveis e de grande diâmetro, a fim de prover um aumento significativo no amortecimento do sistema. Sendo assim, o comportamento dinâmico dos casos com e sem risers foram comparados buscando observar as diferenças nos movimentos do sistema em ondas e correnteza. Além disso, utilizando o método recomendado pela API, referência [3] , doravante denominado apenas por método Near and Far, a tração de topo de um dos risers foi simulada numericamente com a imposição de movimentos obtidos nos experimentos, dando assim meios para comparação dos critérios de projeto, considerando a influência das linhas conectadas nas plataformas de petróleo. / This research aims to present analysis and comparisons, intended to make part of the constant improvement of the oil platform analysis software, called Numerical Offshore Tank (Tanque de Provas Numérico - TPN). For this purpose, small-scale model tests were performed, and the results compared with the numerical model in TPN. The standard unit used in these model tests was the semisubmersible ITTC-SR192, at scale 1:105, and the tests were performed at IPT (State of São Paulo Institute for Technological Research) towing tank. By means of the model tests results comparisons, the ability of the TPN in reproduce the hull motions, the risers top tensions and damping induced by these lines was evaluated. Importantly, these parameters were verified with the further purpose of comparing the numerical and the experimental results, focusing on the influence of the production lines in the dynamics of the floating system. Taking into account this additional objective, all the model tests were performed with and without production lines, i.e. risers, modeled as a group of highly flexible and large diameter structures, in order to provide a significant increment in the damping of the system. Thus, the dynamic behaviors of the cases with and without risers were compared, giving means to observe motion differences in waves and current. Moreover, using the method recommend by API, reference [3], hereinafter called Near and Far, the top tension of one riser was numerically simulated with the imposition of the motions obtained in the experiments, giving means to compare the riser design criteria, considering the influence of lines attached to the oil platforms.

Esta dissertação de mestrado tem como objetivo fundamental a apresentação de análises e comparações, que visam fazer parte do processo de aprimoramento constante do método numérico de simulação de unidades flutuantes produtoras de petróleo, chamado TPN Tanque de Provas Numérico. Para tanto, foram executados ensaios com modelo em escala reduzida, cujos resultados foram comparados com o modelo numérico do TPN. A unidade padrão utilizada nos ensaios foi a plataforma semi-submersível ITTC-SR192, escala 1:105, ensaios estes realizados no tanque de provas do IPT Instituto de Pesquisas Tecnológicas do Estado de São Paulo. Por meio de comparação com os resultados dos ensaios, foram verificadas as habilidades do TPN em reproduzir os movimentos do casco, a tração no topo das linhas de produção e o amortecimento induzido pelas mesmas. Importante destacar que os parâmetros verificados tiveram a finalidade adicional de confrontar os resultados numérico-experimentais com foco na investigação da influência das linhas de produção na própria dinâmica do sistema flutuante. Tendo em vista esse objetivo complementar, todos os ensaios foram realizados com e sem a presença de linhas de produção, no texto referenciadas apenas por risers, modeladas como um grupo de estruturas bastante flexíveis e de grande diâmetro, a fim de prover um aumento significativo no amortecimento do sistema. Sendo assim, o comportamento dinâmico dos casos com e sem risers foram comparados buscando observar as diferenças nos movimentos do sistema em ondas e correnteza. Além disso, utilizando o método recomendado pela API, referência [3] , doravante denominado apenas por método Near and Far, a tração de topo de um dos risers foi simulada numericamente com a imposição de movimentos obtidos nos experimentos, dando assim meios para comparação dos critérios de projeto, considerando a influência das linhas conectadas nas plataformas de petróleo. / This research aims to present analysis and comparisons, intended to make part of the constant improvement of the oil platform analysis software, called Numerical Offshore Tank (Tanque de Provas Numérico - TPN). For this purpose, small-scale model tests were performed, and the results compared with the numerical model in TPN. The standard unit used in these model tests was the semisubmersible ITTC-SR192, at scale 1:105, and the tests were performed at IPT (State of São Paulo Institute for Technological Research) towing tank. By means of the model tests results comparisons, the ability of the TPN in reproduce the hull motions, the risers top tensions and damping induced by these lines was evaluated. Importantly, these parameters were verified with the further purpose of comparing the numerical and the experimental results, focusing on the influence of the production lines in the dynamics of the floating system. Taking into account this additional objective, all the model tests were performed with and without production lines, i.e. risers, modeled as a group of highly flexible and large diameter structures, in order to provide a significant increment in the damping of the system. Thus, the dynamic behaviors of the cases with and without risers were compared, giving means to observe motion differences in waves and current. Moreover, using the method recommend by API, reference [3], hereinafter called Near and Far, the top tension of one riser was numerically simulated with the imposition of the motions obtained in the experiments, giving means to compare the riser design criteria, considering the influence of lines attached to the oil platforms.