923 resultados para FINGERPRINT VERIFICATION
Resumo:
Crustal structure in Southern California is investigated using travel times from over 200 stations and thousands of local earthquakes. The data are divided into two sets of first arrivals representing a two-layer crust. The Pg arrivals have paths that refract at depths near 10 km and the Pn arrivals refract along the Moho discontinuity. These data are used to find lateral and azimuthal refractor velocity variations and to determine refractor topography.
In Chapter 2 the Pn raypaths are modeled using linear inverse theory. This enables statistical verification that static delays, lateral slowness variations and anisotropy are all significant parameters. However, because of the inherent size limitations of inverse theory, the full array data set could not be processed and the possible resolution was limited. The tomographic backprojection algorithm developed for Chapters 3 and 4 avoids these size problems. This algorithm allows us to process the data sequentially and to iteratively refine the solution. The variance and resolution for tomography are determined empirically using synthetic structures.
The Pg results spectacularly image the San Andreas Fault, the Garlock Fault and the San Jacinto Fault. The Mojave has slower velocities near 6.0 km/s while the Peninsular Ranges have higher velocities of over 6.5 km/s. The San Jacinto block has velocities only slightly above the Mojave velocities. It may have overthrust Mojave rocks. Surprisingly, the Transverse Ranges are not apparent at Pg depths. The batholiths in these mountains are possibly only surficial.
Pn velocities are fast in the Mojave, slow in Southern California Peninsular Ranges and slow north of the Garlock Fault. Pn anisotropy of 2% with a NWW fast direction exists in Southern California. A region of thin crust (22 km) centers around the Colorado River where the crust bas undergone basin and range type extension. Station delays see the Ventura and Los Angeles Basins but not the Salton Trough, where high velocity rocks underlie the sediments. The Transverse Ranges have a root in their eastern half but not in their western half. The Southern Coast Ranges also have a thickened crust but the Peninsular Ranges have no major root.
Resumo:
This thesis describes the theoretical solution and experimental verification of phase conjugation via nondegenerate four-wave mixing in resonant media. The theoretical work models the resonant medium as a two-level atomic system with the lower state of the system being the ground state of the atom. Working initially with an ensemble of stationary atoms, the density matrix equations are solved by third-order perturbation theory in the presence of the four applied electro-magnetic fields which are assumed to be nearly resonant with the atomic transition. Two of the applied fields are assumed to be non-depleted counterpropagating pump waves while the third wave is an incident signal wave. The fourth wave is the phase conjugate wave which is generated by the interaction of the three previous waves with the nonlinear medium. The solution of the density matrix equations gives the local polarization of the atom. The polarization is used in Maxwell's equations as a source term to solve for the propagation and generation of the signal wave and phase conjugate wave through the nonlinear medium. Studying the dependence of the phase conjugate signal on the various parameters such as frequency, we show how an ultrahigh-Q isotropically sensitive optical filter can be constructed using the phase conjugation process.
In many cases the pump waves may saturate the resonant medium so we also present another solution to the density matrix equations which is correct to all orders in the amplitude of the pump waves since the third-order solution is correct only to first-order in each of the field amplitudes. In the saturated regime, we predict several new phenomena associated with degenerate four-wave mixing and also describe the ac Stark effect and how it modifies the frequency response of the filtering process. We also show how a narrow bandwidth optical filter with an efficiency greater than unity can be constructed.
In many atomic systems the atoms are moving at significant velocities such that the Doppler linewidth of the system is larger than the homogeneous linewidth. The latter linewidth dominates the response of the ensemble of stationary atoms. To better understand this case the density matrix equations are solved to third-order by perturbation theory for an atom of velocity v. The solution for the polarization is then integrated over the velocity distribution of the macroscopic system which is assumed to be a gaussian distribution of velocities since that is an excellent model of many real systems. Using the Doppler broadened system, we explain how a tunable optical filter can be constructed whose bandwidth is limited by the homogeneous linewidth of the atom while the tuning range of the filter extends over the entire Doppler profile.
Since it is a resonant system, sodium vapor is used as the nonlinear medium in our experiments. The relevant properties of sodium are discussed in great detail. In particular, the wavefunctions of the 3S and 3P states are analyzed and a discussion of how the 3S-3P transition models a two-level system is given.
Using sodium as the nonlinear medium we demonstrate an ultrahigh-Q optical filter using phase conjugation via nondegenerate four-wave mixing as the filtering process. The filter has a FWHM bandwidth of 41 MHz and a maximum efficiency of 4 x 10-3. However, our theoretical work and other experimental work with sodium suggest that an efficient filter with both gain and a narrower bandwidth should be quite feasible.
Warsaw Conference: “Small steps forward while awaiting major decisions at the 2015 Paris Conference”
Resumo:
6 p.
Resumo:
6 p.
Resumo:
Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.
This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.
This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.
The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.
The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.
Resumo:
烧蚀条件对飞秒激光脉冲诱导氧化锌纳米结构有重要影响。研究了800nm,150fs,250kHz的飞秒激光脉冲分别在空气中,去离子水中以及无水乙醇中垂直聚焦于氧化锌晶体表面,诱导形成不同形态的纳米结构。实验结果表明,在空气中利用飞秒激光脉冲辐照样品表面,形成了周期为180nm的纳米线;在去离子水中辐照诱导形成了由氧化锌纳米线聚集而成的"纳米球";在无水乙醇中形成出现分叉结构的纳米线。拉曼光谱分析辐照前后晶体晶相结果表明,形成的纳米结构相对于辐照前特征峰437cm-1强度有所下降,在570cm-1处的峰值则显著增强。分析了在各种烧蚀条件下诱导形成纳米结构的演化过程以及物理机理。
Resumo:
[ES]Mejorar el proceso de handover en el despliegue de comunicaciones inalámbricas de banda ancha tradicionalmente ha motivado muchas iniciativas de investigación. En el dominio de los ferrocarriles de alta velocidad, el reto es incluso mayor. Debido a las largas distancias que se cubren, el nodo móvil se ve envuelto en una secuencia obligatoria de procesos de handover. Consecuentemente, un rendimiento pobre en la ejecución de esos procesos de handover degrada significativamente el rendimiento global extremo a extremo. Este documento propone una nueva estrategia de handover para el dominio de los ferrocarriles: un algoritmo de decisión para LTE basado en distancia en lugar de en potencia. La decisión de realizar el handover se realiza cuando un eNB candidato se encuentra más cerca del UE que el eNB fuente. Adicionalmente, cabe la posibilidad de retrasar esa decisión mediante un umbral. Asimismo, se añade una nueva función al modelo de LTE de la plataforma de simulación empleada en la verificación de este modelo. Este mecanismo de decisión introduce un retardo menor en los procesos de handover y, en consecuencia, la calidad extremo-a-extremo aumenta.
Resumo:
This thesis presents a novel active mirror technology based on carbon fiber composites and replication manufacturing processes. Multiple additional layers are implemented into the structure in order to provide the reflective layer, actuation capabilities and electrode routing. The mirror is thin, lightweight, and has large actuation capabilities. These features, along with the associated manufacturing processes, represent a significant change in design compared to traditional optics. Structural redundancy in the form of added material or support structures is replaced by thin, unsupported lightweight substrates with large actuation capabilities.
Several studies motivated by the desire to improve as-manufactured figure quality are performed. Firstly, imperfections in thin CFRP laminates and their effect on post-cure shape errors are studied. Numerical models are developed and compared to experimental measurements on flat laminates. Techniques to mitigate figure errors for thicker laminates are also identified. A method of properly integrating the reflective facesheet onto the front surface of the CFRP substrate is also presented. Finally, the effect of bonding multiple initially flat active plates to the backside of a curved CFRP substrate is studied. Figure deformations along with local surface defects are predicted and characterized experimentally. By understanding the mechanics behind these processes, significant improvements to the overall figure quality have been made.
Studies related to the actuation response of the mirror are also performed. The active properties of two materials are characterized and compared. Optimal active layer thicknesses for thin surface-parallel schemes are determined. Finite element simulations are used to make predictions on shape correction capabilities, demonstrating high correctabiliity and stroke over low-order modes. The effect of actuator saturation is studied and shown to significantly degrade shape correction performance.
The initial figure as well as actuation capabilities of a fully-integrated active mirror prototype are characterized experimentally using a Projected Hartmann test. A description of the test apparatus is presented along with two verification measurements. The apparatus is shown to accurately capture both high-amplitude low spatial-frequency figure errors as well as those at lower amplitudes but higher spatial frequencies. A closed-loop figure correction is performed, reducing figure errors by 94%.
Resumo:
卫星激光通信具有巨大的潜在应用价值, 国际上已实现高码率、小型化、轻量化和低功耗激光通信终端, 全文的第一部分即“链路和终端技术”综述了卫星激光通信的国外进展, 介绍了终端的关键技术, 讨论了终端设计思想。第二部分(另文)将讨论和介绍卫星激光通信终端地面检测和验证技术。
Resumo:
星间激光通信终端的主要技术指标和运行性能必须事先在地面实验室条件下进行模拟检验, 因此在研制卫星激光通信终端的同时必须发展相应的系统性检测和验证平台, 主要包括激光通信性能检验、光跟瞄性能检验和光束质量检验。本文综述了卫星激光通信终端检验技术的国外进展, 介绍了我们全物理模拟的地面检测验证思路和方法。
Resumo:
研究了非挥发全息记录中南于紫外光的强吸收而引起的光栅非均匀性,分析了这种非均匀性对光栅衍射效率的影响。结果显示,非均匀性致使光折变光栅的平均强度减弱,衍射效率降低。提出了采用两束等光强的敏化紫外光由晶体两侧入射的优化方案以改善光栅的均匀性,提高光栅的衍射效率。通过联立两中心带输运物质方程和双光束耦合波方程,进行了相应的理论模拟,并给出实验验证。结果表明双侧紫外光照射能够实现均匀性较好的光栅,是提高衍射效率的有效途径之一。
Resumo:
Este estudo teve como objeto as práticas educativas em saúde desenvolvidas no Programa de Saúde da Família (PSF), no Município do Rio de Janeiro. O objetivo geral foi a compreensão das práticas educativas realizadas pelos profissionais que atuam no PSF. O interesse se deu pelo fato de reconhecer o PSF como espaço privilegiado no desenvolvimento de práticas educativas voltadas para a conscientização popular, nos aspectos sociais, políticos e da saúde, pelas suas características de atuação em território definido, e na lógica de vigilância à saúde. Ressalta-se a importância da Educação em Saúde como estratégia de intervenção por uma sociedade mais saudável. Trata-se de pesquisa qualitativa descritiva, realizada entre 2007 e 2008. A análise dos dados foi orientada pelo método de Análise de Conteúdo. Os dados foram coletados através de entrevista semi-estruturada, com cinco equipes de saúde da família, totalizando vinte profissionais. Na análise foram identificadas quatro categorias: organização do processo de trabalho, papel do profissional na equipe, organização da prática educativa e fatores que interferem na realização das práticas educativas. Na análise verificou-se que os profissionais enfrentam dificuldades no planejamento das práticas educativas, relacionadas, principalmente, à falta de capacitação pedagógica e à dificuldade de organização do processo de trabalho, centrado no modelo biomédico. Os agentes comunitários se destacam na realização das atividades, com o apoio da equipe, principalmente da enfermeira. Os temas são escolhidos, prioritariamente, a partir da identificação das necessidades de saúde dos usuários pelos profissionais. Verifica-se que há dificuldade na definição dos objetivos das práticas educativas. Predomina o formato de grupos, voltados para a promoção da saúde, mas também com enfoque preventivista. Verifica-se a presença de práticas com outras formas de relação entre profissionais e usuários, num exercício de cidadania para a qualidade de vida. A avaliação é realizada informalmente, entre os profissionais e, geralmente, se detém à quantidade de usuários participantes, ou na constatação de mudança de comportamento do usuário. Os fatores que interferem dizem respeito às relações estabelecidas entre os profissionais, e entre estes e os usuários. A violência associada ao narcotráfico surge como fator que prejudica a atividade no território. As capacitações em prática educativa também são mencionadas. Verifica-se que a forma de organização do processo de trabalho influencia fortemente, visto que a realização das práticas educativas depende diretamente da dinâmica dada ao trabalho, e do espaço destinado para essa atividade na divisão do trabalho. As questões relacionadas à infra-estrutura são relatadas, principalmente, no que diz respeito à escassez de material, recursos financeiros, e espaço físico inadequado. Percebe-se que a falta da sistematização da prática educativa parece comprometer as transformações necessárias para o seu aprimoramento e reflete a falta de compreensão dos profissionais sobre a importância do processo educativo para a saúde e como instrumento de transformação social e política dos sujeitos. Percebe-se, ainda, a necessidade de investimentos para a qualificação do profissional do PSF, não somente em relação às práticas educativas, mas também para que seja possível operar as mudanças necessárias para a reorientação do modelo de atenção à saúde proposto pelo PSF.
Resumo:
Stable isotope geochemistry is a valuable toolkit for addressing a broad range of problems in the geosciences. Recent technical advances provide information that was previously unattainable or provide unprecedented precision and accuracy. Two such techniques are site-specific stable isotope mass spectrometry and clumped isotope thermometry. In this thesis, I use site-specific isotope and clumped isotope data to explore natural gas development and carbonate reaction kinetics. In the first chapter, I develop an equilibrium thermodynamics model to calculate equilibrium constants for isotope exchange reactions in small organic molecules. This equilibrium data provides a framework for interpreting the more complex data in the later chapters. In the second chapter, I demonstrate a method for measuring site-specific carbon isotopes in propane using high-resolution gas source mass spectrometry. This method relies on the characteristic fragments created during electron ionization, in which I measure the relative isotopic enrichment of separate parts of the molecule. My technique will be applied to a range of organic compounds in the future. For the third chapter, I use this technique to explore diffusion, mixing, and other natural processes in natural gas basins. As time progresses and the mixture matures, different components like kerogen and oil contribute to the propane in a natural gas sample. Each component imparts a distinct fingerprint on the site-specific isotope distribution within propane that I can observe to understand the source composition and maturation of the basin. Finally, in Chapter Four, I study the reaction kinetics of clumped isotopes in aragonite. Despite its frequent use as a clumped isotope thermometer, the aragonite blocking temperature is not known. Using laboratory heating experiments, I determine that the aragonite clumped isotope thermometer has a blocking temperature of 50-100°C. I compare this result to natural samples from the San Juan Islands that exhibit a maximum clumped isotope temperature that matches this blocking temperature. This thesis presents a framework for measuring site-specific carbon isotopes in organic molecules and new constraints on aragonite reaction kinetics. This study represents the foundation of a future generation of geochemical tools for the study of complex geologic systems.
Resumo:
Over the last century, the silicon revolution has enabled us to build faster, smaller and more sophisticated computers. Today, these computers control phones, cars, satellites, assembly lines, and other electromechanical devices. Just as electrical wiring controls electromechanical devices, living organisms employ "chemical wiring" to make decisions about their environment and control physical processes. Currently, the big difference between these two substrates is that while we have the abstractions, design principles, verification and fabrication techniques in place for programming with silicon, we have no comparable understanding or expertise for programming chemistry.
In this thesis we take a small step towards the goal of learning how to systematically engineer prescribed non-equilibrium dynamical behaviors in chemical systems. We use the formalism of chemical reaction networks (CRNs), combined with mass-action kinetics, as our programming language for specifying dynamical behaviors. Leveraging the tools of nucleic acid nanotechnology (introduced in Chapter 1), we employ synthetic DNA molecules as our molecular architecture and toehold-mediated DNA strand displacement as our reaction primitive.
Abstraction, modular design and systematic fabrication can work only with well-understood and quantitatively characterized tools. Therefore, we embark on a detailed study of the "device physics" of DNA strand displacement (Chapter 2). We present a unified view of strand displacement biophysics and kinetics by studying the process at multiple levels of detail, using an intuitive model of a random walk on a 1-dimensional energy landscape, a secondary structure kinetics model with single base-pair steps, and a coarse-grained molecular model that incorporates three-dimensional geometric and steric effects. Further, we experimentally investigate the thermodynamics of three-way branch migration. Our findings are consistent with previously measured or inferred rates for hybridization, fraying, and branch migration, and provide a biophysical explanation of strand displacement kinetics. Our work paves the way for accurate modeling of strand displacement cascades, which would facilitate the simulation and construction of more complex molecular systems.
In Chapters 3 and 4, we identify and overcome the crucial experimental challenges involved in using our general DNA-based technology for engineering dynamical behaviors in the test tube. In this process, we identify important design rules that inform our choice of molecular motifs and our algorithms for designing and verifying DNA sequences for our molecular implementation. We also develop flexible molecular strategies for "tuning" our reaction rates and stoichiometries in order to compensate for unavoidable non-idealities in the molecular implementation, such as imperfectly synthesized molecules and spurious "leak" pathways that compete with desired pathways.
We successfully implement three distinct autocatalytic reactions, which we then combine into a de novo chemical oscillator. Unlike biological networks, which use sophisticated evolved molecules (like proteins) to realize such behavior, our test tube realization is the first to demonstrate that Watson-Crick base pairing interactions alone suffice for oscillatory dynamics. Since our design pipeline is general and applicable to any CRN, our experimental demonstration of a de novo chemical oscillator could enable the systematic construction of CRNs with other dynamic behaviors.
Resumo:
In this paper the saturated diffraction efficiency has been optimized by considering the effect of the absorption of the recording light on a crossed-beam grating with 90 degrees recording geometry in Fe:LiNbO3 crystals. The dependence of saturated diffraction efficiency on the doping levels with a known oxidation-reduction state, as well as the dependence of saturated diffraction efficiency on oxidation-reduction state with known doping levels, has been investigated. Two competing effects on the saturated diffraction efficiency were discussed, and the intensity profile of the diffracted beam at the output boundary has also been investigated. The results show that the maximal saturated diffraction efficiency can be obtained in crystals with moderate doping levels and modest oxidation state. An experimental verification is performed and the results are consistent with those of the theoretical calculation.