Search NASA⌕ Search

SEARCH · Search NASA

Results for “clock”

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 451 records · Page 25
All sourcesNASA NTRSDOE OSTI
NASA NTRS1983

High-accuracy global time and frequency transfer with a space-borne hydrogen maser clock

A proposed system for high-accuracy global time and frequency transfer using a hydrogen maser clock in a space vehicle is discussed. Direct frequency transfer with a accuracy of 10 to the minus 14th power and time transfer with an estimated accuracy of 1 nsec are provided by a 3-link microwave system. A short pulse laser system is included for subnanosecond time transfer and system calibration. The results of studies including operational aspects, error sources, data flow, system configuration, and implementation requirements for an initial demonstration experiment using the Space Shuttle are discussed.

Decher, R.↗
NASA NTRS1981

The effects of transmitter/receiver clock time base instability on coherent communication system performance

The purpose of this paper is to present a model and associated analysis of the deleterious effects which both transmitter and receiver data clock time-base instability have on bit error probability. The types of time-base instability modeled and analyzed include bit jitter (epoch jitter), bit jitter rate (time interval jitter) and data asymmetry. The bit error probability is determined as a function of the statistical characteristics of the time-base instability, the data transition density, the signal-to-noise ratio in the bit rate bandwidth and the mechanizations of both the data bit detector and bit synchronizer. Numerical results are provided.

Chie, C. M.↗
NASA NTRS1984

Validation of a fault-tolerant clock synchronization system

A validation method for the synchronization subsystem of a fault tolerant computer system is investigated. The method combines formal design verification with experimental testing. The design proof reduces the correctness of the clock synchronization system to the correctness of a set of axioms which are experimentally validated. Since the reliability requirements are often extreme, requiring the estimation of extremely large quantiles, an asymptotic approach to estimation in the tail of a distribution is employed.

Butler, R. W.↗
NASA NTRS1983

On the clock mechanism and the implausibility of the 35 day precessing disk in HZ Herculis/Hercules X-1

The concept of the precessing accretion disk in HZ Her/Her X-1 in its varied forms, to account for the 35 day periodicity in the X-ray flux, has met many objections from a number of workers on various grounds, but it is still being invoked in current publications. These objections are reviewed and additional arguments are presented against the precessing accretion disk model. The implausibility of the disk models is demonstrated. An alternate clock mechanism, based on nonlinear oscillations in the normal star, which provides the modulation of the mass flow is discussed.

Kondo, Y.↗
NASA NTRS1983

Testing for a cosmological influence on local physics using atomic and gravitational clocks

The existence of a possible influence of the large-scale structure of the universe on local physics is discussed. A particular realization of such an influence is discussed in terms of the behavior in time of atomic and gravitational clocks. Two natural categories of metric theories embodying a cosmic infuence exist. The first category has geodesic equations of motion in atomic units, while the second category has geodesic equations of motion in gravitational units. Equations of motion for test bodies are derived for both categories of theories in the appropriate parametrized post-Newtonian limit and are applied to the Solar System. Ranging data to the Viking lander on Mars are of sufficient precision to reveal (1) if such a cosmological influence exists at the level of Hubble's constant, and (2) which category of theories is appropriate for a descripton of the phenomenon.

Adams, P. J.↗
NASA NTRS1985

International time transfer and portable clock evaluation using GPS timing receivers: Preliminary results

The overall experiment was designed to test the positioning and navigation capabilities of the GPS timing receivers developed by the Naval Research Laboratory (NRL) for the NASA Goddard Laser Tracking Network (GITN). To perform this experiment, a reliable and redundant time scale was set up onboard the ship, and a back-up on shore. This situation provided the opportunity to perform simultaneously a timing experiment ideally divided into two parts, the main objectives of the experimentation being: (1) To test GPS timing receiver synchronization capabilities on a moving platform, and to perform an intercontinental synchronization via GPS between participating international timing laboratories in Europe and in the United States. (2) To evaluate the performance of cesium portable clocks in the field.

Wardrip, S. C.↗
NASA NTRS1984

Atmospheric limitations to clock synchronization at microwave frequencies

Clock synchronization schemes utilizing microwave signals that pass through the Earth's atmosphere are ultimately limited by our ability to correct for the variable delay imposed by the atmosphere. The atmosphere is non-dispersive at microwave frequencies and imposes a delay of roughly 8 nanosec times the cosecant of the elevation angle. This delay is composed of two parts, the delay due to water vapor molecules (i.e., the wet delay), and the delay due to all other atmospheric constituents (i.e., the dry delay). Water vapor contributes approximately 5 to 10% of the total atmospheric delay but is highly variable, not well mixed, and difficult to estimate from surface air measurements. However, the techniques of passive remote sensing using microwave radiometry can be used to estimate the line of sight delay due to water vapor with potential accuracies of 10 to 20 picosec. The devices that are used are called water vapor radiometers and simply measure the power emitted by the water vapor molecule at the 22.2 GHz spectral line. An additional power measurement is usually included at 31.4 GHz in order to compensate for the effect of liquid water (e.g., clouds). The dry atmosphere is generally in something close to hydrostatic equilibrium and its delay contribution at zenith can be estimated quite well from a simple barometric measurement. At low elevation angles one must compensate for refractive bending and possible variations in the vertical refractivity profile. With care these effects can be estimated with accuracies on the order of 30 picosec down to elevation angles of 10 degree.

Resch, G. M.↗
NASA NTRS1985

Defect-phase-dynamics approach to statistical domain-growth problem of clock models

The growth of statistical domains in quenched Ising-like p-state clock models with p = 3 or more is investigated theoretically, reformulating the analysis of Ohta et al. (1982) in terms of a phase variable and studying the dynamics of defects introduced into the phase field when the phase variable becomes multivalued. The resulting defect/phase domain-growth equation is applied to the interpretation of Monte Carlo simulations in two dimensions (Kaski and Gunton, 1983; Grest and Srolovitz, 1984), and problems encountered in the analysis of related Potts models are discussed. In the two-dimensional case, the problem is essentially that of a purely dissipative Coulomb gas, with a sq rt t growth law complicated by vertex-pinning effects at small t.

Kawasaki, K.↗
NASA NTRS1985

Polar cap photoionization and the ten-hour clock at Jupiter

It is shown that the clock-like modulation of the spectral index of energetic electrons (greater than 2 MeV) in the outer Jovian magnetosphere is due to a periodic shift of the particle energy spectrum toward higher and lower energies. This shift results in a modulation of the spectral index when the spectrum is not a pure power law in energy. It is suggested that the periodic energization is due to a periodic modulation of the magnetic field in the outer magnetosphere. This modulation is caused by a variation of the longitudinally averaged Pedersen conductivity due to the asymmetric solar illumination of the trace of the magnetodisk in the high-latitude ionospheres. Such a modulation requires the presence of a surface magnetic anomaly.

Goertz, C. K.↗
NASA NTRS1988

A survey of provably correct fault-tolerant clock synchronization techniques

Six provably correct fault-tolerant clock synchronization algorithms are examined. These algorithms are all presented in the same notation to permit easier comprehension and comparison. The advantages and disadvantages of the different techniques are examined and issues related to the implementation of these algorithms are discussed. The paper argues for the use of such algorithms in life-critical applications.

Butler, Ricky W.↗
NASA NTRS1988

Fault-tolerant clock synchronization techniques for avionics systems

This paper examines six provably correct fault-tolerant clock synchronization algorithms. These algorithms are all presented in the same notation to enable easier comprehension and comparison. The advantages and disadvantages of the different techniques are examined and issues related to the implementation of these algorithms are discussed. The paper argues for the use of such algorithms in life-critical applications.

Butler, Ricky W.↗
NASA NTRS1990

Hardware-assisted software clock synchronization for homogeneous distributed systems

A clock synchronization scheme that strikes a balance between hardware and software solutions is proposed. The proposed is a software algorithm that uses minimal additional hardware to achieve reasonably tight synchronization. Unlike other software solutions, the guaranteed worst-case skews can be made insensitive to the maximum variation of message transit delay in the system. The scheme is particularly suitable for large partially connected distributed systems with topologies that support simple point-to-point broadcast algorithms. Examples of such topologies include the hypercube and the mesh interconnection structures.

Ramanathan, P.↗
NASA NTRS1991

Resistor Extends Life Of Battery In Clocked CMOS Circuit

Addition of fixed resistor between battery and clocked complementary metal oxide/semiconductor (CMOS) circuit reduces current drawn from battery. Basic idea to minimize current drawn from battery by operating CMOS circuit at lowest possible current consistent with use of simple, fixed off-the-shelf components. Prolongs lives of batteries in such low-power CMOS circuits as watches and calculators.

Wells, George H., Jr.↗
NASA NTRS1990

GPS composite clock software performance

Computer software for ensembling all the space vehicle (SV) and ground clocks of the Global Positioning Systems (GPS) was implemented at the Master Control Station (MCS) on 17 June 1990. Improved GPS time stability and steering control are predicted. The perceptions of both Air Force and outside users are assessed. Current performance is compared with theoretical predictions.

Satin, Arthur L.↗
NASA NTRS1991

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

Shankar, Natarajan↗
NASA NTRS1992

Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover

The application of formal methods to the analysis of computing systems promises to provide higher and higher levels of assurance as the sophistication of our tools and techniques increases. Improvements in tools and techniques come about as we pit the current state of the art against new and challenging problems. A promising area for the application of formal methods is in real-time and distributed computing. Some of the algorithms in this area are both subtle and important. In response to this challenge and as part of an ongoing attempt to verify an implementation of the Interactive Convergence Clock Synchronization Algorithm (ICCSA), we decided to undertake a proof of the correctness of the algorithm using the Boyer-Moore theorem prover. This paper describes our approach to proving the ICCSA using the Boyer-Moore prover.

Young, William D.↗
NASA NTRS1991

Compact microwave cavity for hydrogen atomic clock

A summary is presented that introduces the compact microwave cavity used in the hydrogen atomic clock. Special emphasis is placed on derivation of theoretical calculating equations of main parameters of the microwave cavity. A brief description is given of several methods for discriminating the oscillating modes. Experimental data and respective calculated values are also presented.

Dejun Zhang↗
NASA NTRS1993

The effect of clock, media, and station location errors on Doppler measurement accuracy

Doppler tracking by the Deep Space Network (DSN) is the primary radio metric data type used by navigation to determine the orbit of a spacecraft. The accuracy normally attributed to orbits determined exclusively with Doppler data is about 0.5 microradians in geocentric angle. Recently, the Doppler measurement system has evolved to a high degree of precision primarily because of tracking at X-band frequencies (7.2 to 8.5 GHz). However, the orbit determination system has not been able to fully utilize this improved measurement accuracy because of calibration errors associated with transmission media, the location of tracking stations on the Earth's surface, the orientation of the Earth as an observing platform, and timekeeping. With the introduction of Global Positioning System (GPS) data, it may be possible to remove a significant error associated with the troposphere. In this article, the effect of various calibration errors associated with transmission media, Earth platform parameters, and clocks are examined. With the introduction of GPS calibrations, it is predicted that a Doppler tracking accuracy of 0.05 microradians is achievable.

Miller, J. K.↗