Engineering PapersSearch

SEARCH · Engineering Papers

Results for “Clocks”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8

Mechanical proofs of fault-tolerant clock synchronization

The following topics are covered in viewgraph form: (1) introduction to clock synchronization protocols; (2) a schematic formulation of clock synchronization; (3) the interactive convergence algorithm; (4) verification of Schneider's formulation; (5) verification of interactive convergence; (6) a hardware-oriented clock synchronization protocol; (7) verification of Infis/Moore's protocol; and (8) the EHDM specification/verification environment.

Shankar, N.

Synchronizing computer clocks using a local area network

Researchers completed the first tests of a method to synchronize the clocks of networked computers to the National Institute of Standards and Technology (NIST) time scale. The method uses a server computer to disseminate the time to other clients on the same local-area network. The server is synchronized to NIST using the ACTS protocol over a dial-up telephone line. The software in both the server and the parameters of this model are used to adjust the time of the local clock and the interval between calibration requests in a statistically optimum way. The algorithm maximizes the time between calibrations while at the same time keeping the time of the local clock correct within a specific tolerance. The method can be extended to synchronize computers linked over wide-area networks, and an experiment to test the performance of the algorithms over such networks is being planned.

Levine, Judah

Atomic Clock Based On Linear Ion Trap

Highly stable atomic clock based on excitation and measurement of hyperfine transition in 199Hg+ ions confined in linear quadrupole trap by radio-frequency and static electric fields. Configuration increases stability of clock by enabling use of enough ions to obtain adequate signal while reducing non-thermal component of motion of ions in trapping field, reducing second-order Doppler shift of hyperfine transition. Features described in NPO-17758 "Linear Ion Trap for Atomic Clock." Frequency standard based on hyperfine transition described in NPO-17456, "Trapped-Mercury-Ion Frequency Standard."

Prestage, John D.

Using the USCCS for sub microsecond spacecraft clock calibration

The Return Data Delay technique which requires knowledge of spacecraft range is commonly used for correlating a spacecraft clock against a ground time standard when millisecond accuracy is required. An analysis is presented that allows using the user spacecraft clock calibration system (USCCS) to correlate a spacecraft clock to better than one microsecond accuracy. The basic USCCS algorithm has been simplified and it is shown to result in about one microsecond accuracy without requiring orbital information. By considering the relative motion of the user satellite, the TDRS and the earth station about the center of the earth, a correction of almost two orders of magnitude can be made. Such accuracy is required for scientific investigations that require correlating coincident radiation or particle detection with a remote laboratory.

Sank, Victor J.

Gravitational Wave Search with the Clock Mission

Doppler tracking of distant spacecraft is the only method currently available to search for gravitational waves in the low-frequency (approx. 0.0001-0.1 Hz) band. In this technique the Doppler system measures the relative dimensionless velocity 2(delta)v/c = (delta)f/f(sub o) between the earth and the spacecraft as a function of time, where (delta)f is the frequency perturbation and f(sub o) is the nominal frequency of the radio link. A gravitational wave of amplitude h incident on this system causes small frequency perturbations, of order h in (delta)f/f(sub o), replicated three times in the observed record (Estabrook and Wahlquist 1975). All experiments to date and those planned for the near future involve only 'two-way' Doppler-i.e., uplink signal coherently transponded by the spacecraft with Doppler measured using a frequency standard common to the transmit and receive chains of the ground station. If, as on the proposed Clock Mission, there is an additional frequency standard on the spacecraft and a suitable earth-spacecraft radio system, some noise sources can be isolated and removed from the data (Vessot and Levine 1978). Supposing that the Clock Mission spacecraft is transferred into a suitable interplanetary orbit, I discuss here how the on-board frequency standard could be employed with an all-Ka-band radio system using the very high stability Deep Space Network station DSS 25 being instrumented for Cassini. With this configuration, the Clock Mission could search for gravitational waves at a sensitivity limited by the frequency standards, rather than plasma or tropospheric scintillation effects, whenever the sun-earth-spacecraft angle is greater than 90 degrees.

Armstrong, J. W.

Ion-Atom Cold Collisions and Atomic Clocks

Collisions between ultracold neutral atoms have for some time been the subject of investigation, initially with hydrogen and more recently with laser cooled alkali atoms. Advances in laser cooling and trapping of neutral atoms in a Magneto-Optic Trap (MOT) have made cold atoms available as the starting point for many laser cooled atomic physics investigations. The most spectacularly successful of these, the observation of Bose-Einstein Condensation (BEC) in a dilute ultra-cold spin polarized atomic vapor, has accelerated the study of cold collisions. Experimental and theoretical studies of BEC and the long range interaction between cold alkali atoms is at the boundary of atomic and low temperature physics. Such studies have been difficult and would not have been possible without the development and advancement of laser cooling and trapping of neutral atoms. By contrast, ion-atom interactions at low temperature, also very difficult to study prior to modern day laser cooling, have remained largely unexplored. But now, many laboratories worldwide have almost routine access to cold neutral atoms. The combined technologies of ion trapping, together with laser cooling of neutrals has made these studies experimentally feasible and several very important, novel applications might come out of such investigations . This paper is an investigation of ion-atom interactions in the cold and ultra-cold temperature regime. Some of the collisional ion-atom interactions present at room temperature are very much reduced in the low temperature regime. Reaction rates for charge transfer between unlike atoms, A + B(+) approaches A(+) + B, are expected to fall rapidly with temperature, approximately as T(sup 5/2). Thus, cold mixtures of atoms and ions are expected to coexist for very long times, unlike room temperature mixtures of the same ion-atom combination. Thus, it seems feasible to cool ions via collisions with laser cooled atoms. Many of the conventional collisional interactions, exploited as a useful tool at room temperature and higher, are greatly enhanced at low energy. For example, collisional spin transfer from one species of polarized atoms to another has long been a useful method for polarizing a sample of atoms where no other means was available. Because optical pumping cannot be used to polarize the nuclear spin of Xe-129 or He-3 (for use in nmr imaging of the lungs), the nuclear spins are polarized via collisions with an optically pumped Rb vapor in a cell containing both gases. In another case, a spin polarized thermal Cs beam was used to polarize the hyperfine states of trapped He(+)-3 ions in order to measure their hyperfine clock transition frequency. The absence of an x-ray light source to optically pump the ground state of the He(+)-3 ion necessitated this alternative state preparation. Similarly, Cd(+) and Sr(+) ions were spin-oriented via collisions in a cell with optically pumped Rb vapor. Resonant RF spin changing transitions in the ground state of the ions were detected by changes in the Rb resonance light absorption. Because cold collision spin exchange rates scale with temperature as T(sup -1/2) this technique is expected to be a far more powerful tool than the room temperature counterpart. This factor of 100 or more enhancement in spin exchange reaction rates at low temperatures is the basis for a novel trapped ion clock where laser cooled neutrals will cool, state select and monitor the ion clock transition. The advantage over conventional direct laser cooling of trapped ions is that the very expensive and cumbersome UV laser light sources, required to excite the ionic cooling transition, are effectively replaced by simple diode lasers.

Prestage, John D.

An Adaptive Method for Reducing Clock Skew in an Accumulative Z-Axis Interconnect System

This paper will present several methods for adjusting clock skew variations that occur in a n accumulative z-axis interconnect system. In such a system, delay between modules in a function of their distance from one another. Clock distribution in a high-speed system, where clock skew must be kept to a minimum, becomes more challenging when module order is variable before design.

Bolotin, Gary

Higher Pole Linear Traps for Atomic Clock Applications

We investigate experimentally and theoretically higher pole linear ion traps for frequency standard use. We have built a 12-pole trap and have successfully loaded ions into it from a linear quadrupole trap. By solving the Boltzmann equation describing large ion clouds where space charge interactions are important, we show that clock frequency changes due to ion number fluctuations are much smaller in ion clocks based multipole traps than comparable clocks based on quadrupole linear traps.

Prestage, John D.

Microwave Cavity Clocks On Space Station

We describe the status of a microwave cavity clock experiment to perform improved tests of Local Position Invariance and Lorentz Invariance on the International Space Station in conjunction with atomic clocks. Significant improvements over present bounds are expected in both cases. The oscillators can also be used to enhance the performance of atomic clocks at short time scales for other experiments.

Lipa, J. a.

Small Mercury Ion Clock for On-board Spacecraft Navigation

I.Small Ion Clock Approach and Heritage: a) No lasers, uwave cavities, cryogenics, atomic beams, etc. b) Ions are electrically shuttled between separate optical and microwave traps. II. Each trap is optimized for its task: quadrupole for optical state selection; multi-pole for microwave clock. a) Very good stability shown in USNO. Timescale running "open loop." III. "Open loop" operation means no self-measurements of frequency offsets: (Zeeman, ion temperature,... etc.) a) Fewer parts and procedures, produces stable output continuously. IV. Ion clock is not so sensitive to temperature fluctuations a) Measured u:nshielded temperature coefficient of few 10(exp -15) per C. b) No bulky temperature isolation needed.

Prestage, John D.

Synchronous clock stopper for microprocessor

A synchronous clock stopper circuit for inhibiting clock pulses to a microprocessor in response to a stop request signal, and for reinstating the clock pulses in response to a start request signal thereby to conserve power consumption of the microprocessor when used in an environment of limited power. The stopping and starting of the microprocessor is synchronized, by a phase tracker, with the occurrences of a predetermined phase in the instruction cycle of the microprocessor in which the I/O data and address lines of the microprocessor are of high impedance so that a shared memory connected to the I/O lines may be accessed by other peripheral devices. The starting and stopping occur when the microprocessor initiates and completes, respectively, an instruction, as well as before and after transferring data with a memory. Also, the phase tracker transmits phase information signals over a bus to other peripheral devices which signals identify the current operational phase of the microprocessor.

Kitchin, David A.

A Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present an outline of a deductive proof of the correctness of the protocol. A model of the protocol was mechanically verified using the Symbolic Model Verifier (SMV) for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.

Correctness Proof of a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a deductive proof of a self-stabilizing distributed clock synchronization protocol. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present a deductive proof of the correctness of the protocol as it applies to the networks with unidirectional and bidirectional links. We also confirm the claims of determinism and linear convergence.

Malekpour, Mahyar R.

Self-stabilizing byzantine-fault-tolerant clock synchronization system and method

Systems and methods for rapid Byzantine-fault-tolerant self-stabilizing clock synchronization are provided. The systems and methods are based on a protocol comprising a state machine and a set of monitors that execute once every local oscillator tick. The protocol is independent of specific application specific requirements. The faults are assumed to be arbitrary and/or malicious. All timing measures of variables are based on the node's local clock and thus no central clock or externally generated pulse is used. Instances of the protocol are shown to tolerate bursts of transient failures and deterministically converge with a linear convergence time with respect to the synchronization period as predicted.

Malekpour, Mahyar R.

Analysis of One-Way Laser Ranging Data to LRO, Time Transfer and Clock Characterization

We processed and analyzed one-way laser ranging data from International Laser Ranging Service ground stations to NASA's Lunar Reconnaissance Orbiter (LRO), obtained from June 13, 2009 until September 30, 2014. We pair and analyze the one-way range observables from station laser fire and spacecraft laser arrival times by using nominal LRO orbit models based on the GRAIL gravity field. We apply corrections for instrument range walk, as well as for atmospheric and relativistic effects. In total we derived a tracking data volume of approximately 3000 hours featuring 64 million Full Rate and 1.5 million Normal Point observations. From a statistical analysis of the dataset we evaluate the experiment and the ground station performance. We observe a laser ranging measurement precision of 12.3 centimeters in case of the Full Rate data which surpasses the LOLA (Lunar Orbiting Laser Altimeter) timestamp precision of 15 centimeters. The averaging to Normal Point data further reduces the measurement precision to 5.6 centimeters. We characterized the LRO clock with fits throughout the mission time and estimated the rate to 6.9 times10 (sup -8), the aging to 1.6 times 10 (sup -12) per day and the change of aging to 2.3 times 10 (sup -14) per day squared over all mission phases. The fits also provide referencing of onboard time to the TDB (Barycentric Dynamical Time) time scale at a precision of 166 nanoseconds over two and 256 nanoseconds over all mission phases, representing ground to space time transfer. Furthermore we measure ground station clock differences from the fits as well as from simultaneous passes which we use for ground to ground time transfer from common view observations. We observed relative offsets ranging from 33 to 560 nanoseconds and relative rates ranging from 2 times 10 (sup -13) to 6 times 10 (sup -12) between the ground station clocks during selected mission phases. We study the results from the different methods and discuss their applicability for time transfer.

Bauer, S.

A review of reduced Kalman filters for clock ensembles

This paper reviews the author’s previous work on free-running timescales based on Kalman filters that act upon clock comparisons. The natural Kalman clock ensemble algorithm tends to optimize long-term timescale stability at the expense of short-term stability. By subjecting each postmeasurement error covariance matrix to a non-transparent reduction operation, one obtains corrected clocks with improved short-term stability and little sacrifice of long-term stability. A new result on covariance matrix reduction is also stated.

Greenhall, Charles A.