Precise near-earth navigation with GPS: A survey of techniques

The tracking accuracy of the low earth orbiters (below about 3000 km altitude) can be brought below 10 cm with a variety of differential techniques that exploit the Global Positioning System (GPS). All of these techniques require a precisely known global network of GPS ground receivers and a receiver aboard the user satellite, and all simultaneously estimate the user and GPS satellite orbits. Three basic approaches are the geometric, dynamic, and nondynamic strategies. The last combines dynamic GPS solutions with a geometric user solution. Two powerful extensions of the nondynamic strategy show considerable promise. The first uses an optimized synthesis of dynamics and geometry in the user solution, while the second uses a novel gravity-adjustment method to exploit data from repeat ground tracks. These techniques will offer sub-decimeter accuracy for dynamically unpredictable satellites down to the lowesst possible altitudes

Enhanced backscatter of optical beams reflected in turbulent air

Optical beams propagating through air acquire phase distortions from turbulent fluctuations in the refractive index. While these distortions are usually deleterious to propagation, beams reflected in a turbulent medium can undergo a local recovery of spatial coherence and intensity enhancement referred to as enhanced backscatter (EBS). Using a combination of lab-scale experiments and simulations, we investigate the EBS of optical beams reflected from corner cubes and rough surfaces, and identify the regimes in which EBS is most distinctly observed.Comment: 10 pages, 8 figure

Model checking probabilistic and stochastic extensions of the pi-calculus

We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad-hoc network protocols, probabilistic security protocols and biological pathways. Despite this, no implementation of automated verification exists. Building upon the pi-calculus model checker MMC, we first show an automated procedure for constructing the underlying semantic model of a probabilistic or stochastic pi-calculus process. This can then be verified using existing probabilistic model checkers such as PRISM. Secondly, we demonstrate how for processes of a specific structure a more efficient, compositional approach is applicable, which uses our extension of MMC on each parallel component of the system and then translates the results into a high-level modular description for the PRISM tool. The feasibility of our techniques is demonstrated through a number of case studies from the pi-calculus literature

Theory of point contact spectroscopy in electron-doped cuprates

In the hole-doped $d_{x^{2}-y^{2}}$-wave cuprate superconductor, due to the midgap surface state (MSS), a zero bias conductance peak (ZBCP) is widely observed in [110] interface point contact spectroscopy (PCS). However, ZBCP of this geometry is rarely observed in the electron-doped cuprates, even though their pairing symmetry is still likely the $d_{x^{2}-y^{2}}$-wave. We argue that this is due to the coexistence of antiferromagnetic (AF) and the superconducting (SC) orders. Generalizing the Blonder-Tinkham-Klapwijk (BTK) formula to include an AF coupling, it is shown explicitly that the MSS is destroyed by the AF order. The calculated PCS is in good agreement with the experiments.Comment: 5 pages, 2 figures. Replaced with published versio

Summary of results of January climate simulations with the GISS coarse-mesh model

The large scale climates generated by extended runs of the model are relatively independent of the initial atmospheric conditions, if the first few months of each simulation are discarded. The perpetual January simulations with a specified SST field produced excessive snow accumulation over the continents of the Northern Hemisphere. Mass exchanges between the cold (warm) continents and the warm (cold) adjacent oceans produced significant surface pressure changes over the oceans as well as over the land. The effect of terrain and terrain elevation on the amount of precipitation was examined. The evaporation of continental moisture was calculated to cause large increases in precipitation over the continents

Study of pickup of cometary ions in turbulent solar winds

The influence of moderately strong magnetic disturbances on the ion pickup process near a comet is studied by a test-particle method. The research is motivated by recent observations with ICE and Giotto at Giacobini-Zinner and Halley. In this numerical study, the intrinsic hydromagnetic turbulence is modelled based on the Giotto and ICE data. The time evolution of the distribution function of the newborn ions is investigated. It is found that, when the level of the intrinsic turbulence is sufficiently high, the pickup ions can form a shell distribution function rapidly. The typical time scale for such a process is of the order of a couple of ion gyroperiods. On the other hand, if the turbulence is not strong, the pickup ions usually form an incomplete shell in the initial stage. The results seem to be consistent with available observations

k-dependent SU(4) model of high-temperature superconductivity and its coherent-state solutions

We extend the SU(4) model [1-5] for high-Tc superconductivity to an SU(4)k model that permits explicit momentum (k) dependence in predicted observables. We derive and solve gap equations that depend on k, temperature, and doping from the SU(4)k coherent states, and show that the new SU(4)k model reduces to the original SU(4) model for observables that do not depend explicitly on momentum. The results of the SU(4)k model are relevant for experiments such as ARPES that detect explicitly k-dependent properties. The present SU(4)k model describes quantitatively the pseudogap temperature scale and may explain why the ARPES-measured T* along the anti-nodal direction is larger than other measurements that do not resolve momentum. It also provides an immediate microscopic explanation for Fermi arcs observed in the pseudogap region. In addition, the model leads to a prediction that even in the underdoped regime, there exist doping-dependent windows around nodal points in the k-space, where antiferromagnetism may be completely suppressed for all doping fractions, permitting pure superconducting states to exist.Comment: 10 pages, 7 figure

Simulation of valveless micropump and mode analysis

In this work, a 3-D simulation is performed to study for the solid-fluid coupling effect driven by piezoelectric materials and utilizes asymmetric obstacles to control the flow direction. The result of simulation is also verified. For a micropump, it is crucial to find the optimal working frequency which produce maximum net flow rate. The PZT plate vibrates under the first mode, which is symmetric. Adjusting the working frequency, the maximum flow rate can be obtained. For the micrpump we studied, the optimal working frequency is 3.2K Hz. At higher working frequency, say 20K Hz, the fluid-solid membrane may come out a intermediate mode, which is different from the first mode and the second mode. It is observed that the center of the mode drifts. Meanwhile, the result shows that a phase shift lagging when the excitation force exists in the vibration response. Finally, at even higher working frequency, say 30K Hz, a second vibration mode is observed.Comment: Submitted on behalf of EDA Publishing Association (http://irevues.inist.fr/EDA-Publishing