• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 602
  • 268
  • 127
  • 64
  • 55
  • 21
  • 11
  • 9
  • 9
  • 7
  • 6
  • 4
  • 4
  • 4
  • 3
  • Tagged with
  • 1448
  • 231
  • 204
  • 190
  • 188
  • 142
  • 140
  • 134
  • 108
  • 101
  • 99
  • 98
  • 97
  • 94
  • 92
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
481

Comportamento estrutural de pontes com protensão no extradorso. / Structural behavior of extradosed bridges.

Daniel Miranda dos Santos 13 July 2006 (has links)
Nos últimos anos, a protensão externa aplicada a estruturas de pontes tem evoluído de forma excepcional, o que permite maior liberdade de projeto e, consequentemente, possibilita o surgimento de novas tipologias estruturais. Um exemplo desse desenvolvimento é a ponte com protensão no extradorso, que começa a se difundir no meio técnico como uma transição econômica entre as pontes de concreto protendido e as estaiadas. A idéia, atribuída ao engenheiro francês Jacques Mathivat, consiste em utilizar protensão externa sobre os apoios intermediários, com o auxílio de pequenas torres. Neste trabalho é apresentada uma revisão bibliográfica ampla sobre os diversos tipos de pontes com emprego de protensão, visando focar nos aspectos importantes e que auxiliam no entendimento do comportamento estrutural das pontes com protensão no extradorso. É realizado, também, um estudo da flutuação de tensão nos cabos de protensão, com vistas à fadiga dos mesmos, que é um fator de extrema importância. Além disso, é realizado um vasto estudo paramétrico de diversos tipos de modelos estruturais, que têm por objetivo um aprofundamento da compreensão do comportamento estrutural das pontes com protensão no extradorso, sendo que, a partir da análise dos resultados obtidos, foram sugeridos alguns critérios de projeto. / In recent years, external prestressing applied to structures of bridges has experienced exceptional development, permitting a greater freedom in design and, consequently, the appearance of new structural typologies. An exemple of such development is the extradosed bridge, a concept that begins to spread in technical media as a low cost transition between prestressed concrete bridges and cable-stayed bridges. The idea, which should be attributed to French engineer Jacques Mathivat, consists of using external prestressing at intermediate supports, with the help of small towers. In this work, a comprehensive review of the literature about different types of bridges using prestressing is presented, aiming at the important aspects that help us understand the structural behavior of extradosed bridges. A study of stress fluctuation in prestressing cables is also presented, having in mind fatigue, an extremely important factor. Besides, an ample parametric study of different types of structural arrangements is performed, with the purpose of having a deeper understanding of the structural behavior of extradosed bridges. Analysis of the results led to suggesting some desing criteria.
482

Desenvolvimento e implementação de uma ferramenta computacional aplicada no processo de identificação de sistemas em ambientes Fieldbus foundation / Development and implementation of a computational tool applied to the system identification process in a Fieldbus foundation environment

Márcio José da Cunha 06 October 2004 (has links)
Técnicas experimentais de identificação de sistemas de controle têm despertado interesse na indústria, devido a sua facilidade em se ajustar modelos matemáticos, facilitando a formulação e a resolução de problemas de controle de processos. É proposto o uso de uma técnica experimental de identificação de sistemas, utilizando a estrutura matemática linear ARX. Os parâmetros da estrutura matemática ARX são estimados por meio do algoritmo dos mínimos quadrados recursivo (RLS). A comunicação e a aquisição de dados de redes Fieldbus é feita através do padrão de comunicação OPC. / Experimental system identification techniques are considered interesting by industrial sector due to the simple approach to adjust mathematical models, making it easy the formulation and the solution of process control problems. In this work a computational tool is proposed, the Sintonizador, based on the experimental technic of System Identification, using the linear mathematical structure ARX (Auto-Regressive with eXogenous inputs). The ARX structure parameters are estimated by RLS (Recursive Least Square) algorithm. The data comunication and data aquisition of the fieldbus network has been done through of the OPC comunication standard.
483

Otimização do projeto de embarcações pesqueiras. / Optimization of fishing vessel design.

Ernesto de Las Casas de La Torre Ugarte 05 March 2007 (has links)
O propósito deste trabalho foi o de elaborar uma metodologia de projeto de embarcações pesqueiras como alternativa ao processo clássico baseado na seqüência da \"Espiral de Projetos\". A metodologia proposta faz uso de um algoritmo de otimização que tem como finalidade automatizar cada uma das etapas e aperfeiçoar o resultado final mediante a busca, dentro do espaço de soluções viáveis (chamadas de soluções satisfatórias), da solução \"ótima\", ou seja, a melhor solução para uma determinada condição. Devido ao fato de cada zona de pesca ter suas características particulares no que diz respeito a condições ambientais (altura das ondas e força do vento), arte de pesca desenvolvida na região e normas impostas pela Autoridade Marítima, foi feita, em particular, uma aplicação ao caso da pesca no litoral peruano, pois foram consideradas no desenvolvimento do trabalho peculiaridades e dados que estão presentes nesta região. Neste sentido, desenvolveu-se um programa automatizado e otimizado baseado em uma seqüência de cálculos que permite projetar, a partir dos requisitos do armador, as características de uma embarcação pesqueira que cumpre um conjunto de restrições impostas e que atende ao objetivo desejado, ou seja, a embarcação que represente, através dessas características, a melhor solução possível para uma função de mérito ou função objetivo imposta. Desta forma, utilizando a técnica da parametrização de embarcações semelhantes, assim como métodos conhecidos para cálculo de características e atributos associados a navios pesqueiros, e também um algoritmo matemático de busca, demonstrou-se que é possível projetar uma embarcação pesqueira, do tipo de cerco, a partir dos requisitos do armador, com bons resultados, em períodos curtos de tempo e dentro das margens esperadas em etapas preliminares de projeto. / The purpose of this work was to develop a methodology for a fishing vessel design as alternative to the classic process based on the sequence of the \"Design Spiral.\" The proposed methodology use an optimization algorithm that aims to automate each one of the stages of the design and to improve the final result by the search, among the space of viable solutions (calls of satisfactory solutions), of the optimal solution, in other words, to find the best solution for a determined condition. Due to different characteristics of each fishing area such as: environmental conditions (height of the waves and wind intensity), the fishing gear used in the region and the rules established by the local Maritime Authority, this tool contemplates specific applications to fishing in the Peruvian coasts. Therefore, the development of this tool considered the corresponding data available for the region and the particularities unique to this fishing ground. In this context, an automated and optimized program was created based on a sequence of calculations, allowing to project, under the owner\'s requirements, fitting the characteristics of a fishing vessel that contemplates the imposed restrictions while achieving the overall objective. In other words, the resulting vessel will achieve, through these characteristics, the best possible solution in terms of functionality and desired requirements. Therefore, using the parametric technique of similar vessels, as well as known methods for the calculation of characteristics and associated attributes for fishing vessels and the use of a search mathematical algorithm, it was demonstrated that it is possible to design a fishing vessel of the seiner type, from the requirements of the owner, with good results, in few periods of time and within expected rates in preliminary stages of the project.
484

Caracterização multiparamétrica por ultra-som do processo de fermentação alcoólica mediante sistema híbrido de processamento de sinais / Multiparametric characterization by ultrasound of alcoholic fermentation process by hybrid system of signal processing

Julián Antonio Villamarín Muñoz 06 December 2012 (has links)
A monitoração do processo de fermentação alcoólica para a obtenção de etanol é um tema de grande interesse pelo fato deste ser utilizado como fonte sustentavel de energia na indústria. Os processo de monitoração convencionalmente utilizados na indústria são dispendiosos, baseados em medições supervisionadas de densidade e estimativas de parâmetros químicos mediante procedimentos offline. O uso de técnicas de monitoração não invasivas baseadas em ultra-som vem sendo desenvolvidas para esse fim, fazendo uso de estimativas de parâmetros clássicos como a velocidade de propagação acústica e a atenuação. No entanto, a evolução do processo fermentativo não é bem descrita por esses parâmetros. Devido a isso, o presente trabalho propõe um sistema híbrido de processamento de sinais de ultra-som que utiliza um conglomerado de parâmetros para uma caracterização mais eficiente do processo fermentativo. O sistema incorpora procedimentos computacionais para a detecção, caracterização e classificação das fases do mosto em fermentação, visto como uma suspensão sólido-líquido (fase dispersa e contínua). Esses procedimentos foram baseadas em estimativas de estacionariedade dos sinais de retroespalhamento de ultra-som ( teste de hipotese não paramétrico - Teste de Run), ajuste de curvas sobre a largura de banda espectral (técnica de curve fitting), assim como a extração de atributos espectrais tais como : frequência central, largura de banda e valores de amplitude da componente fundamental, entre outros, além de parâmetros ultra-sônicos como o coeficiente de atenuação (slope) e o coeficiente integrado de retro-espalhamento (IBC). Para a classificação foi utilizado o algoritmo K-means. Os resultados obtidos mostraram a viabilidade na caracterização multiparamétrica não invasiva do fluido em fermentação, permitindo a identificação das principais fases do processo fermentativo. O trabalho contribui com uma metodología alternativa para a avaliação da cinética do crescimento microbiano como indicador da evolução da fermentação alcoólica. / Monitoring of alcoholic fermentation process for the ethanol production is a topic of great interest because it can be used as a sustainable energy source in the industry. The monitoring process conventionally used in industry are expensive, based on supervised measurements of density and parameter estimates by chemical offline procedures. The use of noninvasive monitoring techniques based on ultrasound are being developed for this purpose, using estimates of classical parameters as the acoustic propagation velocity and attenuation. However, the time evolution of the fermentation process is not well described by these parameters. For this reason, this study proposes a hybrid system of ultrasound signal processing that uses a conglomerate of parameters aiming a more efficient characterization about the fermentation process. The system incorporates computational procedures for the detection, characterization and classification of the fermentation must phases, seen as a solid-liquid suspension (dispersed and continuous phases). These procedures were based on estimates of stationarity for ultrasound backscattered signals (non-parametric statistical test - Run Test), curve fitting on the spectral bandwidth, as well as spectral attributes extraction such as center frequency, bandwidth and energy values of the fundamental frequency and so on, plus ultrasonic parameters as the attenuation coefficient (slope) and the integrated back-scattering coefficient (IBC). For classification we used the k-means algorithm. The results showed the feasibility for the multiparametric noninvasive characterization of fluid in fermentation, identifying the main stages of the fermentation process. This work contributes with an alternative methodology to evaluate the kinetics of microbial growth as an indicator of the alcoholic fermentation evolution.
485

Estimação não parametrica da trajetoria percorrrida por um veiculo autonomo / Non-parametric curve estimation of an autonomous vehicle trajectory

Zambom, Adriano Zanin, 1982- 03 June 2008 (has links)
Orientador: Nancy Lopes Garcia / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T10:07:23Z (GMT). No. of bitstreams: 1 Zambom_AdrianoZanin_M.pdf: 5665938 bytes, checksum: c420b9bb8c5b861a4f0fb73c3bee30c1 (MD5) Previous issue date: 2008 / Resumo: O objetivo deste estudo 'e encontrar a melhor trajetória para um veiculo autônomo que tem que se locomover de um ponto A 'a um ponto B na menor distancia possível evitando os possíveis obstáculos fixos entre esses pontos. Além disso, assumimos que existe uma distância segura r para ser mantida entre o veículo e os obstáculos. A locomoção do veículo não 'e fácil, isto 'e, o veículo não pode fazer movimentos abruptos e a trajetória tem que seguir uma curva suave. Obviamente, se não ha obstáculos, a melhor rota é uma linha reta entre A e B. Neste trabalho propomos um método não paramétrico de encontrar o melhor caminho. Se ha erro de medida, um estimador estocástico consistente 'e proposto no sentido de que quando o numero de observações aumenta, a trajetória estocástica converge para a determinística / Abstract: The objective of this study is to find a smooth function joining two points A and B with minimum length constrained to avoid fixed subsets. A penalized nonparametric method of finding the best path is proposed. The method is generalized to the situation where stochastic measurement errors are present. In this case, the proposed estimator is consistent, in the sense that as the number of observations increases the stochastic trajectory converges to the deterministic one. Two applications are immediate, searching the optimal path for an autonomous vehicle while avoiding all fixed obstacles between two points and flight planning to avoid threat or turbulence zones / Mestrado / Mestre em Estatística
486

Análise de um modelador de objetos que utiliza superfícies de junção para unir superfícies paramétricas compostas beta-spline / Analysis of an object modeler that uses blending surfaces to connect parametric composed beta spline surfaces

Copstein, Bernardo January 1992 (has links)
Um tópico importante em modelagem geométrica é a definição de objetos que não contenham cantos ou farpas. A geração de superfícies de junção (superfícies que conectam suavemente superfícies distintas) e uma das técnicas utilizadas para solucionar esse tipo de problema. Pode-se abordar a geração de superfícies de junção sob vários aspectos. Neste trabalho, serão estudadas superfícies de junção que conectam suavemente duas outras superfícies distintas (superfícies-base). Sob este enfoque, a geração das superfícies de junção será dividida em três etapas a saber: modelagem das superfícies-base, determinação das curvas de ancoragem e geração das junções propriamente ditas. Curvas de ancoragem são curvas que determinam a forma do contato entre a junção e cada uma das superfícies base. As superfícies-base utilizadas são superfícies compostas modeladas utilizando-se "beta-splines" uniformes. Discussões sobre a melhor maneira de se modelar as mesmas foram consideradas fora do contexto deste trabalho. A determinação das curvas de ancoragem é amplamente discutida. Optou-se por utilizar um piano de corte contra cada uma das superfícies-base para a determinação das curvas de ancoragem. O cálculo da intersecção entre o plano de corte e cada um dos "patches" das superfícies-base e feito utilizando-se um método numérico hibrido baseado em um algoritmo de movimentação associado a um algoritmo de reticulado. A geração das superfícies de junção e feita utilizando-se a técnica de Hermite. Para tanto é preciso que se calculem os vetores de controle necessários a técnica de Hermite de forma que se garanta a continuidade desejada ao longo da curva de contato entre a superfície base e a junção. No caso em questão e garantida continuidade geométrica de primeira ordem (G1). Por fim, apresenta-se protótipo do modelador utilizado para validar o método proposto. São indicadosos resultados obtidos bem como uma analise comparativa com outras soluções semelhantes encontradas na literatura a disposição. Os testes com o prot6tipo foram feitos em um microcomputador com arquitetura compatível com IBM-PC 386 com 640 KBytes de RAM, 20 Mhz, adaptador gráfico VGA e co-processador matemático 80387. O protótipo pode, entretanto, ser utilizado em qualquer microcomputador compatível com IBM-PC que disponha de no mínimo 640 Kbytes de memória RAM. O uso de co-processador matemático e adaptador gráfico EGA ou de major capacidade é aconselhado. / An important topic in geometric modeling is the definition of objects without sharp, corners or edges. A blending surface is one that smoothly connects two given surfaces.It has been a very useful way to define objects without sharp, corners or edges. One can approach the generation of blending surfaces from different points of view. This work deals with blending surfaces that smoothly connect two other surfaces called base-surfaces. According to this point of view the generation of blending surfaces will be divided in 3 steps: base-surfaces modeling, rail curves determination and generation of the blending surfaces. A rail curve is one along which blending and base surfaces meet. The base-surfaces used are composed-surfaces modeled by uniform beta-splines. The problem of modeling these surfaces is beyond the scope of this work. The determination of rail-curves is widely discussed. In order to determine each one of the rail curves, an intersection plane is choosen. The computation of the intersection between the intersection plane and each one of the patches of the base-surfaces uses an hibrid numeric algoritm based on a marching method associated with an lattice evaluation algorithm. The generation of blending surfaces is done using the Hermite technique. To make this possible one has to compute the control vectors needed to generate an Hermite surface and, at the same time, guarantee the desirable continuity along the rail-curves. In this work geometric continuty (G 1) is guaranteed. Finally it is presented the prototype of the modeler used to validate the proposed method. The results obtained are presented as well as a comparative analysis with other solutions found in the literature.
487

Arquitetura aberta para controle de robôs manipuladores

Santini, Diego Caberlon January 2009 (has links)
Este documento trata da especificação de uma arquitetura aberta para controle de robôs manipuladores. A arquitetura é implementada utilizando o framework do projeto OROCOS, ambiente que já foi utilizado com sucesso em alguns sistemas de controle de robôs. Esta arquitetura é especificada para um robô manipulador genérico de N juntas, definindo componentes que abstraem o hardware dos robôs. A arquitetura é implementada com três tipos de controladores diferentes: PID independente por junta, controlador de torque calculado e controlador com feedforward. A sua validação é feita através da sua implementação em um robô real. Para isso é utilizada uma placa de acionamento, utilizando o barramento CAN devido ao seu determinismo e a sua taxa de comunicação. Também é necessário a utilização do modelo dinâmico do robô para as estratégias de controle de torque calculado e com feedforward. A obtenção de tal modelo é feita neste trabalho de forma analítica, e a seguir os parâmetros são identificados usando o sistema proposto. / This work deals with the specification of an open architecture for control of manipulator robots. The architecture is implemented by using the OROCOS framework. The architecture is specified for a generic manipulator robot with N joints, through definition of components which abstract the hardware of the robot. Three different controllers are implemented: an independent PID for each joint, a computed torque controller and a controller with feedforward. The validation is made through the implementation on the Janus robot. For this purpose, an actuator card is defined. This card uses the CAN bus due its determinism and bus rate. The dynamic model of Janus, used in computed torque and feedforward controllers, is obtained in an analytical way. After that, the parameters of this model are identified using the least squares method.
488

Desenvolvimento de um método de controle de distorções para aplicação em problemas de design de superfície de formas tridimensionais não planificáveis

Cardoso, Cilene Estol January 2009 (has links)
Este trabalho tem por objetivo desenvolver um método de controle de distorção adequado ao design de superfície de produto industrial, com forma tridimensional não planificável, produzido em larga escala, de modo a minimizar as distorções gráficas procedentes da aplicação de uma imagem bidimensional em um objeto tridimensional com superfície não planificável, considerando, principalmente, a complexidade da geometria do objeto. Essa pesquisa justifica-se quando se verifica o aumento de produtos com formas não planificáveis no mercado e a visível dificuldade dos profissionais em resolver problemas de distorções das imagens quando o objeto tem uma geometria complexa. Além disso, o estudo visa contribuir também com a redução de custos de desenvolvimento desse tipo de produto, já que estuda um método que possibilita a verificação digital, eliminando os custos físicos de tentativa e erro. O método utiliza recursos de representação paramétrica de superfícies, que viabilizam a manipulação de objetos tridimensionais complexos no meio computacional e que são definidos por equações que relacionam um domínio paramétrico plano e o espaço tridimensional. Para cada uma das dimensões (x, y e z) do espaço tridimensional, existe uma equação que faz a relação com o espaço paramétrico bidimensional de coordenadas u e v. Dentre esses recursos, os mais utilizados são: mapeamento de textura e render to texture. A indústria de desenhos animados e games tridimensionais costuma utilizar com frequência estes recursos computacionais para melhorar o realismo de suas imagens. Nesta pesquisa, estudase a possibilidade de direcionar essas ferramentas computacionais para a indústria de produtos físicos manufaturados produzidos em série. A pesquisa propõe-se estudar três casos de produtos com superfícies não planificáveis de materiais distintos e processos de produção diferentes entre si. A partir dos três estudos de casos é proposto o método que visa permitir a solução sistematizada dessa classe de problema relacionado às distorções. A verificação do método é realizada, com resultados significativos, em conjunto com três grandes empresas nacionais localizadas da região sul do Brasil. O primeiro estudo de caso consiste em uma tigela de cerâmica da empresa Oxford®; o segundo, uma chaleira de metal da empresa Tramontina®, e o terceiro, uma sandália de polímero da empresa Grendene®. Assim, por meio desta pesquisa, espera-se ampliar a área do conhecimento que circunscreve o design de superfície, ampliando os meios que facilitem a atividade projetual e apontando para a necessidade de instrumentos tecnológicos que venham facilitar os projetos de superfícies de objetos com formas não planificáveis. / This work aims to develop a distortion control method adequate for surface design of mass-produced industrial products with non-planable tridimensional shape, so as to minimize the graphic distortions resulting from the application of a bidimensional image onto a tridimensional object with non-planable surface, taking into consideration mainly the complexity of the object’s geometry. The justification for this research lies in the increase of products with nonplanable shapes available on the market and in the clear difficulty of professionals to solve image distortion problems when the object presents complex geometry. Besides, this research aims to contribute to the reduction of costs of developing this kind of product, seeing that it studies a method that enables digital verification so eliminating the physical costs of trial and error. The method uses resources of parametric representation of surfaces, which enable the manipulation of complex 3D objects in the computational environment, and which are defined by equations that relate one plane parametric domain and the tridimensional space. For each dimension (x, y e z) of the tridimensional space there is an equation that makes the relation with the bidimensional parametric space with coordinates u and v. The most frequently used computational resources are texture mapping and render to texture, which are often used by the industry of 3-D animation to improve the realism of their images. In this work we study the possibility to apply these computational tools in the industry of manufactured products. This research contemplates three case studies of products with non-planable surfaces of different materials and different manufacturing processes. We then propose a method that allows a systematized solution for distortion-related problems. The verification of the method, which showed meaningful results, was carried out together with three large national enterprises located in the southern region of Brazil. The first case study consists in a ceramic bowl by Oxford®; the second, a metal kettle by Tramontina®; and the third, a polymer sandal by Grendene®. With this research we expect to expand the field of knowledge in which surface design is inserted thus extending the resources for the projectual activity and pointing to the need for technological tools that may help with the projects of surfaces of objects with non-planable shape.
489

Análise paramétrica do comportamento de túneis profundos escavados em rocha e reforçados com tirantes passivos / Parametric analysis of bolted reinforced tunnel in rock masses

Bobermin, Mariane Paula January 2014 (has links)
Este trabalho estuda os resultados obtidos da aplicação de um modelo tridimensional de previsão de comportamento de túneis profundos em rocha reforçados com tirantes passivos. Utiliza-se o método dos elementos finitos e simula-se a escavação pelo sistema de ativação e desativação de elementos. Os tirantes são tratados com uma lei de comportamento elastoplástica e o maciço reforçado com tirantes é considerado um meio homogêneo anisotrópico em escala macroscópica, através do método de homogeneização dos meios periódicos. Para a análise paramétrica foi verificada a influência dos parâmetros do sistema de reforço e do maciço. Resultados em termos de convergência do túnel e tensões são apresentados e indicam que, para o caso analisado, o comprimento dos tirantes é um fator de reduzida influência. A densidade de tirantes possui maior importância, porém, esta não é afetada por modificações na coesão e no módulo de elasticidade do maciço. A distância de aplicação dos tirantes à face de escavação se mostrou significativa somente para valores abaixo de 1/3 do raio do túnel, para valores acima, os deslocamentos já ocorreram e, portanto, não mobilizavam mais os tirantes. Verificou-se que a concentração de tensões σrr acontece na parte superior e inferior do túnel e, também, antes da frente de escavação. O ângulo de atrito demonstrou influência irrisória na convergência, diferentemente da coesão que diminui a convergência, tanto do teto como da parede do túnel, à medida que seu valor aumenta. O empuxo lateral exibiu ainda maior significância, revelando o quanto é importante sua correta determinação, especialmente na convergência lateral do túnel. Ainda, constatou-se a grande importância da combinação de tirantes com revestimento em concreto, que juntos, diminuíram em aproximadamente 25% os deslocamentos no teto do túnel. / This work studies the results obtained from the application of a three-dimensional model to predict the behavior of bolted reinforced rock mass deep tunnel. The finite element method is used to model and simulate the excavation through the activation and deactivation of elements. The bolts are treated with an elastoplastic law and the rock mass is considered as a homogenized anisotropic medium on the macroscopic scale through the homogenization method of periodic media. In the parametric analysis was studied the influence of the parameters of the reinforcement system and the rock mass. Results in terms of convergence of the tunnel and stresses are presented and indicate that, for the studied case, the length of the bolts is a factor of little influence. The density of bolts has a greater importance, however, its influence was not affected by changes in cohesion and elasticity modulus of the rock mass. The distance between the bolted zone and the facing of the tunnel was a significant parameter only for values below 1/3 of the tunnel’s radius, for distances greater than this, the displacements had already occurred and did not mobilize the bolts anymore. It was verified that stress concentration σrr occurs in the top and bottom of the tunnel, and also before the facing of the excavation. The friction angle demonstrated negligible influence on the convergence, unlike the cohesion, which decreases the convergence of the roof and tunnel’s wall as its value increases. The coefficient of lateral earth pressure at rest, k0, exhibited even greater significance, revealing how important its correct determination is, especially for the lateral convergence of the tunnel. Still, it was observed the great importance of the combination of bolts and concrete lining, which together decreased by approximately 25% the displacement of the tunnel’s roof.
490

Geração de emaranhamento de polarização entre pares de fótons no regime de fentossegundos

FERNÁNDEZ DÍAZ, Jorge Lenin 28 March 2014 (has links)
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-02-13T13:44:40Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertação final.pdf: 3576056 bytes, checksum: 4650485627f1eb13bb131bcbf6ab588a (MD5) / Made available in DSpace on 2017-02-13T13:44:40Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertação final.pdf: 3576056 bytes, checksum: 4650485627f1eb13bb131bcbf6ab588a (MD5) Previous issue date: 2014-03-28 / CAPES / A criação de estados emaranhados em polarização permite testar experimentalmente questões fundamentais da mecânica quântica, tais como os argumentos de EPR sobre a incompletezadateoriaquântica,atravésdadesigualdadeCHSH.Alémdisso,essesestados emaranhados, têm potenciais de aplicações como, por exemplo, em computação quântica e criptografia quântica. Neste trabalho, se estuda uma fonte muito eficiente para a produção de estados de fótons emaranhados em polarização baseada em um interferômetro de tipo Sagnac. Estes fótons correlacionados são criados em um cristal não linear PPKTP mediante o processo de conversão paramétrica descendente (PDC) tipo-II, quando o cristal é bombeado por pulsos de fentossegundos. Verificando as correlações das medidas de polarização produzidas por esta fonte, observamos fortes violações das desigualdades de Bell para estados de polarização, isto é, verificamos a desigualdade CHSH. / Creation of polarization entangled states allows experimentally to test fundamental properties of quantum mechanics, such as the EPR argument about the incompleteness of the quantum theory, through CHSH inequality; in addition to potential applications as in quantum computing and quantum cryptography. This work studies a very efficient sourceofphotonentangledstatesofpolarizationbasedonaSagnacinterferometer. These photons are created from a nonlinear PPKTP crystal pumped by fentosecond pulses by theprocessofparametricdown-conversion(PDC)type-IIpumpedbyfemtosecondpulses. Analysing correlations of polarization measurements produced by this source we observed strong violations of Bell inequalities for the polarization states, i.e, CHSH inequality.

Page generated in 0.0627 seconds