The gated integration technique for the accurate measurement of the autocorrelation function of speckle intensities scattered from random phase screens

A new approach based on the gated integration technique is proposed for the accurate measurement of the autocorrelation function of speckle intensities scattered from a random phase screen. The Boxcar used for this technique in the acquisition of the speckle intensity data integrates the photoelectric signal during its sampling gate open, and it repeats the sampling by a preset number, in. The average analog of the in samplings output by the Boxcar enhances the signal-to-noise ratio by root m, because the repeated sampling and the average make the useful speckle signals stable, while the randomly varied photoelectric noise is suppressed by 1/ root m. In the experiment, we use an analog-to-digital converter module to synchronize all the actions such as the stepped movement of the phase screen, the repeated sampling, the readout of the averaged output of the Boxcar, etc. The experimental results show that speckle signals are better recovered from contaminated signals, and the autocorrelation function with the secondary maximum is obtained, indicating that the accuracy of the measurement of the autocorrelation function is greatly improved by the gated integration technique. (C) 2006 Elsevier Ltd. All rights reserved.

Efficient methods for stochastic optimal control

The Hamilton Jacobi Bellman (HJB) equation is central to stochastic optimal control (SOC) theory, yielding the optimal solution to general problems specified by known dynamics and a specified cost functional. Given the assumption of quadratic cost on the control input, it is well known that the HJB reduces to a particular partial differential equation (PDE). While powerful, this reduction is not commonly used as the PDE is of second order, is nonlinear, and examples exist where the problem may not have a solution in a classical sense. Furthermore, each state of the system appears as another dimension of the PDE, giving rise to the curse of dimensionality. Since the number of degrees of freedom required to solve the optimal control problem grows exponentially with dimension, the problem becomes intractable for systems with all but modest dimension.

In the last decade researchers have found that under certain, fairly non-restrictive structural assumptions, the HJB may be transformed into a linear PDE, with an interesting analogue in the discretized domain of Markov Decision Processes (MDP). The work presented in this thesis uses the linearity of this particular form of the HJB PDE to push the computational boundaries of stochastic optimal control.

This is done by crafting together previously disjoint lines of research in computation. The first of these is the use of Sum of Squares (SOS) techniques for synthesis of control policies. A candidate polynomial with variable coefficients is proposed as the solution to the stochastic optimal control problem. An SOS relaxation is then taken to the partial differential constraints, leading to a hierarchy of semidefinite relaxations with improving sub-optimality gap. The resulting approximate solutions are shown to be guaranteed over- and under-approximations for the optimal value function. It is shown that these results extend to arbitrary parabolic and elliptic PDEs, yielding a novel method for Uncertainty Quantification (UQ) of systems governed by partial differential constraints. Domain decomposition techniques are also made available, allowing for such problems to be solved via parallelization and low-order polynomials.

The optimization-based SOS technique is then contrasted with the Separated Representation (SR) approach from the applied mathematics community. The technique allows for systems of equations to be solved through a low-rank decomposition that results in algorithms that scale linearly with dimensionality. Its application in stochastic optimal control allows for previously uncomputable problems to be solved quickly, scaling to such complex systems as the Quadcopter and VTOL aircraft. This technique may be combined with the SOS approach, yielding not only a numerical technique, but also an analytical one that allows for entirely new classes of systems to be studied and for stability properties to be guaranteed.

The analysis of the linear HJB is completed by the study of its implications in application. It is shown that the HJB and a popular technique in robotics, the use of navigation functions, sit on opposite ends of a spectrum of optimization problems, upon which tradeoffs may be made in problem complexity. Analytical solutions to the HJB in these settings are available in simplified domains, yielding guidance towards optimality for approximation schemes. Finally, the use of HJB equations in temporal multi-task planning problems is investigated. It is demonstrated that such problems are reducible to a sequence of SOC problems linked via boundary conditions. The linearity of the PDE allows us to pre-compute control policy primitives and then compose them, at essentially zero cost, to satisfy a complex temporal logic specification.

Spectral technique for measuring hyperfine structure of atoms

A new spectral technique for measuring the hyperfine structure of atoms is reported. A divergent atomic beam and a divergent laser beam are crossed. Because of the Doppler effect, the hyperfine structure of atomic levels will be directly displayed in the interaction region in the form of spatially resolved fluorescence arc bands. By measuring the spatial-fluorescence intensity distribution, it is possible to obtain the hyperfine splittings of atomic levels. Basic principles and experimental results are given.

Generalizations and extensions of the Fokker-Planck-Kolmogorov equations

The problem of determining probability density functions of general transformations of random processes is considered in this thesis. A method of solution is developed in which partial differential equations satisfied by the unknown density function are derived. These partial differential equations are interpreted as generalized forms of the classical Fokker-Planck-Kolmogorov equations and are shown to imply the classical equations for certain classes of Markov processes. Extensions of the generalized equations which overcome degeneracy occurring in the steady-state case are also obtained.

The equations of Darling and Siegert are derived as special cases of the generalized equations thereby providing unity to two previously existing theories. A technique for treating non-Markov processes by studying closely related Markov processes is proposed and is seen to yield the Darling and Siegert equations directly from the classical Fokker-Planck-Kolmogorov equations.

As illustrations of their applicability, the generalized Fokker-Planck-Kolmogorov equations are presented for certain joint probability density functions associated with the linear filter. These equations are solved for the density of the output of an arbitrary linear filter excited by Markov Gaussian noise and for the density of the output of an RC filter excited by the Poisson square wave. This latter density is also found by using the extensions of the generalized equations mentioned above. Finally, some new approaches for finding the output probability density function of an RC filter-limiter-RC filter system driven by white Gaussian noise are included. The results in this case exhibit the data required for complete solution and clearly illustrate some of the mathematical difficulties inherent to the use of the generalized equations.

Finite differences and a coupled analytic technique with applications to explosions and earthquakes

An analytic technique is developed that couples to finite difference calculations to extend the results to arbitrary distance. Finite differences and the analytic result, a boundary integral called two-dimensional Kirchhoff, are applied to simple models and three seismological problems dealing with data. The simple models include a thorough investigation of the seismologic effects of a deep continental basin. The first problem is explosions at Yucca Flat, in the Nevada test site. By modeling both near-field strong-motion records and teleseismic P-waves simultaneously, it is shown that scattered surface waves are responsible for teleseismic complexity. The second problem deals with explosions at Amchitka Island, Alaska. The near-field seismograms are investigated using a variety of complex structures and sources. The third problem involves regional seismograms of Imperial Valley, California earthquakes recorded at Pasadena, California. The data are shown to contain evidence of deterministic structure, but lack of more direct measurements of the structure and possible three-dimensional effects make two-dimensional modeling of these data difficult.

Capacidade de selamento de três materiais retrobturadores frente à infiltração microbiana por Enterococcus faecalis

O objetivo deste estudo foi comparar a capacidade de selamento apical de três materiais retrobturadores em dentes submetidos à infiltração microbiana por Enterococcus faecalis. Além de analisar a ocorrência da infiltração microbiana em relação à variável tempo. Para tal, foram utilizados 80 caninos superiores permanentes humanos extraídos, instrumentados com o sistema rotatório ProTaper Universal (MAILLEFER) e obturados pela técnica de compactação lateral, com dois tipos de cimento endodôntico: Endofill (DENTSPLY) e AH Plus (DENTSPLY). A apicetomia foi realizada com a remoção de 3mm do terço apical e o retropreparo confeccionado com pontas ultrasônicas. As amostras foram subdivididas, aleatoriamente, em 6 grupos com 10 dentes cada, e 2 grupos controles. Os materiais utilizados para a retrobturação foram MTA branco (ANGELUS), IBC BioAggregate (INNOVATIVE BIOCERAMIX INC.) e Acroseal (SEPTODONT). Foram confeccionados dispositivos para fixação dos dentes aos tubos Eppendorfs. As amostras foram inoculadas com cepas de E. faecalis e incubadas a 37C, por um período de 90 dias, para análise da presença de turvação do meio Enterococcosel. Para a realização da análise estatística foram utilizados os seguintes testes: Qui-quadrado com Prova Exata de Fisher e Kruskal-Wallis. Os resultados mostraram que todos os grupos nos quais foi realizada a obturação e a posterior retrobturação apresentaram infiltração. Comparando todos os grupos, não houve diferença significativa entre os materiais testados. Em relação apenas aos materiais retrobturadores, o Acroseal obteve a menor infiltração, seguido do MTA branco e do IBC BioAggregate. As amostras obturadas com o cimento Endofill não apresentaram diferença estatística em relação à variável tempo. Porém, nas amostras obturadas com o cimento AH Plus, houve maior ocorrência de infiltração nas amostras retrobturadas com o IBC BioAggregate e menor infiltração nas amostras retrobturadas com Acroseal, com diferença estatisticamente significante ao nível de 10%.

Optoelectronic quotient-selected modified signed-digit division

A novel optoelectronic quotient-selected modified signed-digit division technique is proposed. This division method generates one quotient digit per iteration involving only one shift operation, one quotient selection operation and one addition/subtraction operation. The quotient digit can be selected by observing three most significant digits of the partial remainder independent of the divisor. Two algorithms based on truth-table look-up and binary logic operations are derived. For optoelectronic implementation, an efficient shared content-addressable memory based architecture as well as compact logic array processor based architecture with an electron-trapping device is proposed. Performance evaluation of the proposed optoelectronic quotient-selected division shows that it is faster than the previously reported convergence division approach. Finally, proof-of-principle experimental results are presented to verify the effectiveness of the proposed technique. (C) 2001 Society of Photo-Optical Instrumentation Engineers.

Small-dynamic-angle measurement using tangent relationship and phase-modulating technique

A method using two prisms for measurement of small dynamic angles is proposed in which the measurement is based on a simple tangent equation and a phase-modulating interferometer with a laser diode to measure dynamic optical path differences with higher accuracy. Owing to the simple tangent equation, the symmetry requirement on the two prisms in the optical configuration is eliminated, and easy measurement of the separations between two parallel beams with a position-sensitive detector is achieved. Small-dynamic-angle measurements are experimentally demonstrated with high accuracy. (C) 2007 Society of Photo-Optical Instrumentation Engineers.