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

Apparatus for determining changes in limb volume

Measuring apparatus for determining changes in the volume of limbs or other boty extremities by determining the cross-sectional area of such limbs many comprise a transmitter including first and second transducers for positioning on the surface of the limb at a predetermined distance there between, and a receiver including a receiver crystal for positioning on the surface of the limb. The distance between the receiver crystal and the first and second transducers are represented by respective first and second chords of the cross-section of the limb and the predetermined distance between the first and second transducers is represented by a third chord of the limb cross section

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

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

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

Analysis of test system misalignment in the creep test

Sheet type rectangular 1100-0 aluminum specimens were tested. The creep strain at the geometric centerline of the specimen is different than that at the neutral axis, and decreases with time. The effect of misalignment, which decreases with creep time, is minimized when creep tests are conducted with long pullrods and large initial strain level (high creep stress)

Deriving a geocentric reference frame for satellite positioning and navigation

With the advent of Earth-orbiting geodetic satellites, nongeocentric datums or reference frames have become things of the past. Accurate geocentric three-dimensional positioning is now possible and is of great importance for various geodetic and oceanographic applications. While relative positioning accuracy of a few centimeters has become a reality using very long baseline interferometry (VLBI), the uncertainty in the offset of the adopted coordinate system origin from the geocenter is still believed to be on the order of 1 meter. Satellite laser ranging (SLR), however, is capable of determining this offset to better than 10 cm, but this is possible only after years of measurements. Global Positioning System (GPS) measurements provide a powerful tool for an accurate determination of this origin offset. Two strategies are discussed. The first strategy utilizes the precise relative positions that were predetermined by VLBI to fix the frame orientation and the absolute scaling, while the offset from the geocenter is determined from GPS measurements. Three different cases are presented under this strategy. The reference frame thus adopted will be consistent with the VLBI coordinate system. The second strategy establishes a reference frame by holding only the longitude of one of the tracking sites fixed. The absolute scaling is determined by the adopted gravitational constant (GM) of the Earth; and the latitude is inferred from the time signature of the Earth rotation in the GPS measurements. The coordinate system thus defined will be a geocentric Earth-fixed coordinate system

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

The thermal influence of continents on a model-generated January climate

Two climate simulations were compared. Both climate computations were initialized with the same horizontally uniform state of rest. However, one is carried out on a water planet (without continents), while the second is repeated on a planet with geographically realistic but flat (sea level) continents. The continents in this experiment have a uniform albedo of 0.14, except where snow accumulates, a uniform roughness height of 0.3 m, and zero water storage capacity. Both runs were carried out for a 'perpetual January' with solar declination fixed at January 15