Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2018-05-16T14:06:35Z No. of bitstreams: 1 172222.pdf: 6207720 bytes, checksum: 03c2fda402d730a1322caed3f1c8082b (MD5) / Made available in DSpace on 2018-05-16T14:06:36Z (GMT). No. of bitstreams: 1 172222.pdf: 6207720 bytes, checksum: 03c2fda402d730a1322caed3f1c8082b (MD5) Previous issue date: 1990-12 / Estuda-se o comportamento de solos colapsíveis dos canais de irrigação do projeto Formoso "A", do Município de Bom Jesus da Lapa, no Estado da Bahia. Faz-se, de início, a revisão bibliográfica da ocorrência e características geotécnicas dos solos colapsíveis em geral. A seguir, analisam-se os aspectos físicos da região em causa - sua geologia, pedologia, climatologia, etc. Estas informações propiciam a explicação das características estruturais e mecânicas dos solos colapsíveis. Descrevem-se os ensaios de laboratório realizados no CEPED, Bahia, e na COPPE/UFRJ, e faz-se a análise crítica dos mesmos. Apresentam-se as soluções de engenharia para a construção do canal atendendo às condições de solo e clima. Apresentam-se conclusões quanto à obra em causa e ao problema da colapsibilidade dos solos em geral. / A study of the geotechnical characteristics of collapsible soils from the irrigation channels of Formoso "A" project, Bom Jesus da Lapa country, State of Bahia, is presented. A bibliographic survey on collapsible soils and their characterisation is made at first. Then, physical aspects of the region - geology, pedological types of soils, climate, etc. - are described. This kind of information helps to understand structural features and mechanical properties of collapsible soils under study. Laboratory testing was performed at CEPED, Bahia, and at COPPE/UFRJ. A critical analysis of testing results is presented. Engineering solutions for the channel construction with regard to these soils and climate are shown. Conclusions refer both to the construction features and to collapsible soils characteristics.

Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2018-05-16T16:57:52Z No. of bitstreams: 1 171838.pdf: 4198682 bytes, checksum: cae14a97d1cd3329993fde35a6bc6dd6 (MD5) / Made available in DSpace on 2018-05-16T16:57:52Z (GMT). No. of bitstreams: 1 171838.pdf: 4198682 bytes, checksum: cae14a97d1cd3329993fde35a6bc6dd6 (MD5) Previous issue date: 1990-10 / Dois tipos de estruturas, diferenciadas pelo número de juntas internas, foram confeccionadas em laboratório e a partir destes protótipos foram projetados e construídos modelo reduzidos de acordo com a Teoria da Semelhança. Estes modelos foram confeccionados com diversos materiais e em distintas escalas geométricas. Estas variações do tipo de material e de geometria nos modelos, foram realizadas para verificar as suas influências no parâmetro adimensional: taxa de amortecimento. Observa-se que, para as estruturas estudadas, a taxa de amortecimento depende fortemente do material empregado na sua confecção, sendo praticamente independente da geometria ou número de juntas. É bom ressaltar entretanto, que as estruturas ensaiadas possuem comportamento linear e devido às pequenas amplitudes de deslocamento, nenhuma preocupação houve em realizar um controle do nível de tensões nas juntas. / Two types of structures were fabricated in laboratory, and for these prototypes, reduced scale models were designed and constructed according to the structural elastic similitude conditions. These models were fabricated with different materials and geometric scales, and the number of joints in these two types of structures were modified. These variations in the models were imposed so as to verify their influence on the non-dimensional parameter: damping factors. It was observed that for the studied structures, the damping factors depend strongly on the material used in their fabrication. It is good to notice however, that all the tested structures have linear behaviour and no attempt was made to control the stress level in the joints.

Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2018-05-16T17:48:03Z No. of bitstreams: 1 171083.pdf: 2213933 bytes, checksum: 27b49dbd0fa0911b751d4cbc9c10ae1c (MD5) / Made available in DSpace on 2018-05-16T17:48:03Z (GMT). No. of bitstreams: 1 171083.pdf: 2213933 bytes, checksum: 27b49dbd0fa0911b751d4cbc9c10ae1c (MD5) Previous issue date: 1990-04 / O presente trabalho estuda o comportamento dinâmico de linhas de ancoragem em mar aberto em lâminas de água profundas. Inicialmente são apresentadas as duas metodologias adotadas para o cálculo da resposta dinâmica, baseadas na integração das equações no domínio do tempo e no domínio da frequência, e procedimentos para a determinação dos danos causados por fadiga. Estudos paramétricos foram efetuados para a avaliação da influência das não linearidades inerentes ao problema e, com a finalidade de demonstrar a aplicabilidade dos conceitos contidos no trabalho, foram realizadas aplicações numéricas, cujos resultados são apresentados e comentados. / This work deals with the dynamic behaviour of mooring lines at deep water on open sea. Initially are shown two dynamic response calculations approaches, based on the problem solution in the time domain and frequency domain, and procedures for fatigue damage determination. Parametric studies were carried out for problem non-linearities accounting. Numerical examples are presented and discussed at the end of the work to demonstrate the presented procedures.

Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2018-05-16T18:27:41Z No. of bitstreams: 1 172202.pdf: 2067953 bytes, checksum: 14b28a8909a0be469dfa5a5948915128 (MD5) / Made available in DSpace on 2018-05-16T18:27:41Z (GMT). No. of bitstreams: 1 172202.pdf: 2067953 bytes, checksum: 14b28a8909a0be469dfa5a5948915128 (MD5) Previous issue date: 1990-11 / O objetivo do presente trabalho é estudar a importância da consideração da sequência de carregamento e construção, na análise de edifícios, bem como as formas de melhor simular esta sequência. Com esta finalidade foi desenvolvido um programa de computador, baseado no método dos deslocamentos, que efetua a análise tanto pelo procedimento convencional como pelo procedimento incremental construtivo. Este último permite a obtenção não apenas dos esforços finais como também dos desenvolvidos durante uma determinada etapa de construção, podendo-se reproduzir os efeitos do processo de escoramento e da construção das alvenarias ou ainda efetuar a pesquisa dos esforços extremos, entre outras facilidades. Através dos exemplos analisados foi possível comprovar que o procedimento convencional de análise conduz a resultados pouco confiáveis, sendo portanto o procedimento incremental indispensável para que se aproxime às reais condições a que as estruturas são submetidas. / The study of the significance of the consideration of loading and construction sequences in building analysis is the aim of this work. In order to reach this objective a computer program, based on the displacement method, was developed. This program performs the analyses by the conventional procedure and by the incremental constructive procedure. The latter one allows computation of final stresses as well as of the stresses in any construction phase, being possible to model the shoring process, the masonry construction and the research of the maximum and minimum stresses, among other facilities. The presented numerical examples have shown that the conventional procedure does not give good results, being therefore important to use the incremental constructive procedure to obtain a reliable simulation of the real conditions to which structures are submitted.

Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2018-05-16T18:57:36Z No. of bitstreams: 1 171294.pdf: 2064025 bytes, checksum: 8095803a83dd5811bbeb545ded9855b6 (MD5) / Made available in DSpace on 2018-05-16T18:57:36Z (GMT). No. of bitstreams: 1 171294.pdf: 2064025 bytes, checksum: 8095803a83dd5811bbeb545ded9855b6 (MD5) Previous issue date: 1990-06 / Este trabalho apresenta um estudo experimental e uma proposta de modificações em um programa de computador para avaliar a resistência ao esforço cortante de peças de C.A. de seção transversal circular vazada e armadura longitudinal uniformemente distribuída no perímetro. Foram ensaiadas quatro peças, divididas em dois grupos conforme a taxa de armadura transversal. Neles, a variável principal foi o esforço normal de compressão. Com base nos resultados desses ensaios apresenta-se uma modificação nas expressões propostas por Y. Nagato para o cálculo do esforço cortante resistente em peças de C.A. de seção transversal circular cheia, de modo a adaptá-las para peças de seção vazada. Devido ao pequeno número de ensaios realizados, a modificação proposta deve servir apenas como indicativo para pesquisas futuras. / This work presents an experimental study and suggestion for modifications in a computer program on the shear strength of reinforced concrete members with hollow circular cross-section and longitudinal reinforcement uniformly distributed along the perimeter. Four specimens were tested forming two groups according to the percentage of transverse reinforcement. In each group the main variable was the axial compression. The test results lead to the proposal of some changes in the formulae proposed by Y. Nagato for the calculation of the shear strength of reinforced concrete members with plain circular cross-section in order to fit them to hollow circular cross-section. Due to the limited number of test results the proposed changes shall serv only as a guidance for future research.

Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2018-05-17T12:34:21Z No. of bitstreams: 1 170880.pdf: 2103565 bytes, checksum: 665683caab805ca7117f322baee73239 (MD5) / Made available in DSpace on 2018-05-17T12:34:21Z (GMT). No. of bitstreams: 1 170880.pdf: 2103565 bytes, checksum: 665683caab805ca7117f322baee73239 (MD5) Previous issue date: 1990-03 / Inicialmente é apresentado um procedimento para a obtenção da resposta em regime permanente a partir da resposta transiente para um ciclo de excitação. A resposta transiente é calculada pelo método da superposição de vetores de Ritz-Wilson. Também são apresentados procedimentos baseados na mudança de base que possibilitam a utilização do método de Ritz-Wilson no cálculo da resposta dinâmica devida a carregamentos genéricos. O objetivo final do trabalho é a utilização conjunta dos procedimentos apresentados na análise dinâmica de sistemas estruturais sujeitos a carregamentos periódicos genéricos. Exemplos numéricos são apresentados e comentados ao final do trabalho. / A procedure is presented in which the steady-state response of a structural system to a periodic excitation is computed from the transient response to a single cycle of the excitation. The superposition of Ritz-Wilson vectors is used for the transient response solution. Basis change approaches are also presented to allow the application of the Ritz-Wilson method in the solution of dynamic response due to generic load cases. The final purpose of this work is the use of both procedures in the dynamic analysis of structural systems subject to generalized periodic excitations. Some basic ideas of the classical mode superposition method as well as the Lanczos method are briefly reviewed and a set of numerical examples are presented and discussed.

Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2018-05-17T13:42:32Z No. of bitstreams: 1 170938.pdf: 4489015 bytes, checksum: c02598c100ccc647fc758f0b6fe445bf (MD5) / Made available in DSpace on 2018-05-17T13:42:32Z (GMT). No. of bitstreams: 1 170938.pdf: 4489015 bytes, checksum: c02598c100ccc647fc758f0b6fe445bf (MD5) Previous issue date: 1990-02 / O presente trabalho pretende avaliar o desempenho do equipamento para ensaio de adensamento de fluxo restringido realizado na argila mole do Sarapuí. São apresentados ensaios de adensamento incremental cujos resultados são comparados com os de fluxo restringido. Obteve-se boa concordância entre os resultados desses dois tipos de ensaio. Os valores do coeficiente de adensamento para os ensaios incrementais e da tensão de pré-adensamento para ambos os ensaios foram determinados por vários métodos e comparados. Descreve-se também uma célula triaxial Ko desenvolvida na COPPE/UFRJ que permite o adensamento anisotrópico e isotrópico, além do cisalhamento como no triaxial convencional. A comparação de um ensaio de adensamento Ko em caulim com o ensaio incremental indicou boa concordância entre os resultados de ambos os ensaios. / It is the main purpose of this study to evaluate the performance of restricted flow consolidation test carried out in Sarapuí soft clay. Standard incremental consolidation tests have also been performed and the results of these are been performed and the results of these are compared with results of restricted flow consolidation tests. Good agreement between results of these two types of tests has been obtained by a number of methods are compared. A triaxial Ko cell developed at COPPE/UFRJ and allowing anisotropic and isotropic consolidation besides shearing is presented. A Ko consolidation test in Kaolin is compared with an incremental test and good agreement is obtained between results of both tests.

In recent years, there is a growing interest in many-valued logics in many areas such as computer sciences automated theorem proving, approximate reasoning, multi-agent systems, program verication electrical engineering and digital circuits, linguistics, mathematics and algebra, philosophy, etc. In this context, the general problem of nding an axiomatization for nite many-valued logics has not yet been solved satisfactorily. For this, we must demonstrate the correction and completeness theorems of these logic systems, both mathematically rigorous. Soundness theorem is straightforward, however, it is known that the demonstration of the "completeness theorem"is much more sosticated and unique for each logic system. Completeness is one of the most important notions in logic and the foundations of mathematics. Completeness means the possibility of getting all correct and reliable schemata of inference by use of logical methods. When one wishes to build or design a many-valued logic system, he or she is implicitly looking for a system with a minimal set of axioms and rules. The purpose of this thesis is to establish a general algorithmic completeness proof procedure for nite many-valued logics. It is shown that a matrix is characteristic (sound and complete) for a many-valued nite logic system when, all successive correct extensions of this matrix have the same set of tautologies. It is also shown that in order to determine if a matrix is characteristic, all one has to do is to fetch from all the unit extensions those which are correct and then verify if they are repetitions of the matrix being considered. How to implement a computational procedure to demonstrate the completeness of a many-valued nite logic system is shown from these results. The new approach is a simpler and more uniform solution for the problem of nite many-valued logics axiomatization. / Nos últimos anos tem crescido o interesse nas denominadas lógicas multivalentes: no ramo da computação, em áreas como prova automática de teoremas, raciocínio aproximado, sistemas multi-agente e vericação de programas; na engenharia elétrica como em circuitos digitais; na área da matemática pura, como em provas de independência ou consistência, na teoria generalizada de conjuntos e estruturas algébricas universais e mesmo na linguística e losoa. Nesse contexto, o problema de axiomatização geral de lógicas nitas multivalentes ainda não foi resolvido de forma satisfatória. Para tal, devemos demonstrar os teoremas da correção e completude desses sistemas lógicos, ambos teoremas matematicamente rigorosos. De forma geral, a demostração do teorema da correção não pode ser considerada como uma diculdade pois é direta, bastando uma vericação nos axiomas e regras de inferência. No entanto, é sabido que em geral a demonstração do teorema da completude é muito mais sosticada e particular para cada sistema lógico. A completude é uma das noções mais importantes na Lógica e nos fundamentos da Matemática. Completude signica a demonstração da possibilidade de obtermos todos os esquemas corretos de inferência através do uso de um sistema formal lógico. Além disso, quando desejamos construir ou desenhar um sistema lógico multivalente implicitamente estamos procurando por um sistema com um conjunto mínimo de axiomas e regras. A proposta dessa tese é estabelecer um método algorítmico para demonstra ção da completude em lógicas nitas multivalentes. Demonstra-se que se uma matriz M é correta para um sistema lógico nito multivalente L e todas as suas extensões unitárias corretas são repetições da matriz M, então M é uma matriz característica de L. A partir desse resultado, são implementados procedimentos computacionais que demonstram a completude de um sistema lógico nito multivalente. A nova abordagem soluciona de uma forma mais simples e uniforme o problema da axiomatização de lógicas nitas multivalentes. / Doutor em Ciências

This work deals with the study, design and implementation of fluorescent dimming ballast. The adopted ballast consists in a half bridge integrated with a boost converter to provide power factor correction. Three dimming techniques was studied, frequency variation, duty cycle variation and the combination between frequency and duty cycle variation. Simulation and experimental results are presented. / Este trabalho consiste no estudo, projeto e implementação de um reator eletrônico que permita o controle da intensidade luminosa de uma lâmpada fluorescente tubular. O reator adotado consiste em um conversor meia ponte integrado com um estágio boost para correção de fator de potência. Estudaram-se três técnicas de controle, uma por variação da freqüência, outra por variação da razão cíclica e uma ultima que combina variação da freqüência com variação da razão cíclica. Resultados de simulação e experimentais são apresentados. / Mestre em Ciências

The study of lightning and the resulting induced voltages is very important in the process of designing of transmission lines. In this work it will be presented problems that can be caused by such phenomenon in electrical systems, as a consequence of these voltages peaks. A analysis of the characterization of atmospheric discharge is performed in order to understand causes of induced overvoltages in transmission lines. Will be presented the classical methodology and a new proposal to estimate the tower surge impedance. In the new developed technique was used the finite element method, to obtain a computational model of the transmission tower, so as to simplify the studies. For the calculation of induced overvoltages, it was used the classic methodology developed by Sune Rusck, which is highly regarded and used for such propose. Based on the Rusck s theory, a computational model of induced voltages in transmission lines was implemented in EMTP/ ATPDraw environment, which it is a software developed by Hermann W. Dommel, with great application in evaluation of electromagnetic transients in power systems. From the model developed, results were obtained of induced voltages which are compared with measurements made by P. P. Barker, for checking and adjustment. Furthermore, propagation analysis of induced voltages on transmission lines were made, as well as the influence of some parameters in its amplitude and waveform. / O estudo das descargas atmosféricas bem como das tensões induzidas por elas é de grande importância para projeto de linhas de transmissão. Neste trabalho serão apresentados alguns problemas que o fenômeno pode causar nos sistemas elétricos, em função dos picos de tensão sentidos nos mesmos. Um estudo da caracterização da descarga atmosférica é feito de forma a se familiarizar com o fenômeno precursor das sobretensões induzidas em linhas. A metodologia clássica, bem como uma nova proposta para estimativa da impedância de surto de torres é apresentada. Na técnica desenvolvida para determinação da impedância de surto é utilizado o Método de Elementos Finitos, implementando-se computacionalmente um modelo da torre de transmissão, fazendo com que o estudo seja simplificado. Para o cálculo das sobretensões induzidas baseia-se na metodologia clássica desenvolvida por Sune Rusck, a qual é altamente conceituada e utilizada para este tipo de estudo. Com base na teoria de Rusck, um modelo computacional de tensão induzida em linhas de transmissão é implementado em ambiente EMTP/ATPDraw, que é um software livre de taxas e muito utilizado pelo setor elétrico para o cálculo de transitórios eletromagnéticos em sistemas de energia. A partir do modelo desenvolvido, são obtidos resultados de tensões induzidas os quais são comparados com as medições realizadas por P. P. Barker, a fim de verificação, ajuste e validação do modelo desenvolvido. Além disso, são realizadas análises da propagação da tensão induzida pela linha de transmissão, bem como da influência de alguns parâmetros em sua amplitude e forma de onda. / Mestre em Ciências