Relativistic physics of clocks and the synchronous orbit clock experiment
Relativistic physics of clocks and synchronous orbit clock experiment
SEARCH · Search NASA
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.
Relativistic physics of clocks and synchronous orbit clock experiment
Radio interferometry has the potential of synchronizing clocks across intercontinental distances with accuracies better than one nanosecond. One of the potential error sources in such determinations is the spatial structure of the natural radio sources that provide the reference signals. Due to their extent, the effective position of these sources can vary as a function of the length and orientation of the baseline vector joining the two antennas. If they are not corrected, such variations can lead to errors in clock synchronization. The theory of structure corrections is presented and specific examples are given to illustrate the nature and size of the effect.
Clock synchronization system using lunar radar reflections for Deep Space Network needs, discussing remote clock receiver and antenna
It is well known that Very Long Baseline Interferometry (VLBI) is capable of precise time synchronization at subnanosecond levels. This paper deals with a demonstration of clock synchronization using the MKIII VBLI system. The results are compared with clock synchronization by traveling cesium clocks and GPS. The comparison agrees within the errors of the portable clocks (+ 5 ns) and GPS(+ or - 30 ns) systems. The MKIII technology appears to be capable of clock synchronization at subnanosecond levels and appears to be very good benchmark system against which future time synchronization systems can be evaluated.
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.
Tracking station clock synchronization error measurement using Deep Space Network Mark I ranging system, discussing system theory, design, operation, economy and versatility
Time synchronization of remote station clocks
This paper 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. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. We present an outline of a deductive proof of the correctness of the protocol. A bounded model of the protocol was mechanically verified 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.
The advent of round-trip radar measurements has permitted the determination of the ranges to the nearby planets with greater precision than was previously possible. When the distances to the planets are known with high precision, the propagation delay for electromagnetic waves reflected by the planets may be calculated and used to synchronize remotely located clocks. Details basic to the operation of a lunar radar indicate a capability for clock synchronization to plus or minus 20 microsec. One of the design goals for this system was to achieve a simple semiautomatic receiver for remotely located tracking stations. The lunar radar system is in operational use for deep space tracking at Jet Propulsion Laboratory and synchronizes five world-wide tracking stations with a master clock at Goldstone, Calif. Computers are programmed to correct the Goldstone transmissions for transit time delay and Doppler shifts so as to be received on time at the tracking stations; this dictates that only one station can be synchronized at a given time period and that the moon must be simultaneously visible to both the transmitter and receiver for a minimum time of 10 min.-
Two hydrogen-maser clocks, one at Haystack Observatory and one at the National Radio Astronomy Observatory, were synchronized by means of observations of several extragalactic radio sources on March 28, and again on September 23, 1977. Observations were made sequentially in eight 360-kHz bands distributed between about 8.4 and 8.5 GHz with spacings designed to enable the group-delay difference between the signals received at the two observatories from a given source to be estimated unambiguously, within an uncertainty of less than 1 ns set by receiver noise. The epoch and the rate differences between the observatories' clocks for each experiment were estimated by analysis of observations that spanned several hours. The application of corrections for the contributions to the delays of the antennas, feeds, receiver systems, and recorders yielded absolute determinations of the clock epoch differences. During each experiment, portable cesium clocks were flown from the U.S. Naval Observatory to the observatories and back. The traveling-clock data, analyzed in each case after the VLBI synchronization had been completed, confirmed the VLBI results to within 18 and 14 ns for the first and second experiments, respectively.
Oscillator quickly synchronized with data clock. Sampling clock synchronized with sinusoid by feedback technique. Signal is measure of phase-error angle theta and generated digitally by technique related to calculation of theta from periodic samples of sinusoid.
We present new results related to the verification of the Timed-Triggered Ethernet (TTE) clock synchronization protocol. This work extends previous verification of TTE based on model checking. We identify a suboptimal design choice in a compression function used in clock synchronization, and propose an improvement. We compare the original design and the improved definition using the SAL model checker.
At the Kennedy Space Center, I engaged in the research and development of electrical ground support equipment for NASA's Constellation Program. Timing characteristics playa crucial role in ground support communications. Latency and jitter are two problems that must be understood so that communications are timely and consistent within the Kennedy Ground Control System (KGCS). I conducted latency and jitter tests using Alien-Bradley programmable logic controllers (PLCs) so that these two intrinsic network properties can be reduced. Time stamping and clock synchronization also play significant roles in launch processing and operations. Using RSLogix 5000 project files and Wireshark network protocol analyzing software, I verified master/slave PLC Ethernet module clock synchronization, master/slave IEEE 1588 communications, and time stamping capabilities. All of the timing and synchronization test results are useful in assessing the current KGCS operational level and determining improvements for the future.
GPS measurements made at Topex/Poseidon and the accompanying ground tracking sites will be affected by the selective availability. Although in principle the effects may be removed by differencing between receivers observing the same GPS satellites, this requires accurate synchronization of all receiver clocks. In the case of Topex/Poseidon application, there are two sources of imperfect clock synchronization. The first and larger is due to the constantly drifting clock onboard Topex, which may cause a residual effect as large as 10 cm on Topex carrier phase and 1 m on Topex pseudorange. The second is due to light-time differences between receivers observing the same GPS satellites, which may amount to a few mm error. In this paper a data reduction scheme which incorporates a low-order polynomial interpolation and carrier phase smoothing on pseudorange acquired at Topex and ground receivers is described; a simulation analysis is given demonstrating the effectiveness of the scheme for reducing the GPS S/A effects; and comparison with other schemes is discussed.
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Wakerly protocol, the unified protocol, and its proof of correctness. We prove that it satisfies validity and agreement properties for communication of exact values. We then introduce bounded communication error into the model. Inexact communication is inherent for clock synchronization protocols. We prove that validity and agreement properties hold for inexact communication, and that exact communication is a special case. As a running example, we illustrate the unified protocol using the SPIDER family of fault-tolerant architectures. In particular we demonstrate that the SPIDER interactive consistency, distributed diagnosis, and clock synchronization protocols are instances of the unified protocol.
A study was conducted to assess the effects of transmitting a precision clock synchronization signal over a commercial multiplexed fiber optic communication system. This study is an evaluation of the distortion and jitter introduced into the signal by this type of transmission system. An analysis comparing signal quality at the multiplexing and demultiplexing ends of the fiber optic communication system shows that the amplitude and phase distortion added to the clock synchronization signal by the transmission system is minimal.
Explore the source record for details and available documents.
A recent clock synchronization experiment between the National Physical Laboratory (NPL), New Delhi and Space Applications Center (SAC), Ahemedabad, in India via geostationary satellite symphonie 2, stationed at 49 E longitude, is reported. A two-way transmission using a microwave transponder considered to provide the greatest precision in synchronization of two remote clocks is described.