SEARCH · Engineering Papers

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.

SourceResearch connectionFrom yearThrough year

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

At least 199 records · Page 11

All sources NASA NTRS DOE OSTI

NASA NTRS1982

Long term frequency stability analysis of the GPS NAVSTAR 6 Cesium clock

Time domain measurements, taken between the NAVSTAR 6 Spacecraft Vehicle (SV) and the Vandenberg Global Positioning System (GPS) Monitor Site, by a pseudo random noise receiver, were collected over an extended period of time and analyzed to estimate the long term frequency stability of the NAVSTAR 6 onboard frequency standard, referenced to the Vandenberg MS frequency standard. The technique employed separates the clock offset from the composite signal by first applying corrections for equipment delays, ionospheric delay, tropospheric delay, Earth rotation and the relativistic effect. The data are edited and smoothed using the predicted SV ephemeris to calculate the geometric delay. Then all available passes from each of the four GPS monitor stations, are collected at 1-week intervals and used to calculate the NAVSTAR orbital elements. The procedure is then completed by subtracting the corrections and the geometric delay, using the final orbital elements, from the composite signal, thus leaving the clock offset and random error.

Mccaskill, T. B.↗

NASA NTRS1982

Clocks for airborne systems

The potential performance of compact oscillators, needed for the development of accurate clocks for future airborne systems (such as Identification Friend or Foe schemes), is addressed. In particular, extensive testing of rubidium oscillators manufactured by Efratom is discussed. The results indicate that an accuracy of better than 10 microseconds should be achievable in tactical aircraft provided that appropriate measures are adopted to counter the many environmental factors. In a favorable environment a stability of better than 5 x 10 to the -13th power for one day is achievable with present commercial units, but improvements are required to suit operation in an aircraft. With further development of rubidium controlled clocks the ultimate limitation on time accuracy in aircraft will probably be associated with time dissemination, maintenance difficulties and doctrinal hurdles.

Houlding, N.↗

NASA NTRS1983

Stochastic models for atomic clocks

For the atomic clocks used in the National Bureau of Standards Time Scales, an adequate model is the superposition of white FM, random walk FM, and linear frequency drift for times longer than about one minute. The model was tested on several clocks using maximum likelihood techniques for parameter estimation and the residuals were acceptably random. Conventional diagnostics indicate that additional model elements contribute no significant improvement to the model even at the expense of the added model complexity.

Barnes, J. A.↗

NASA NTRS1982

Atomic clocks for astrophysical measurements

It is noted that recently developed atomic hydrogen masers have achieved stability well into the 10 to the -16th domain for averaging time intervals beyond 1000 sec and that further improvements are in prospect. These devices are highly adaptable for space use in very high precision measurements of angle through Very Long Baseline Interferometry (VLBI) and of range and range-rate through Doppler techniques. Space missions that will use these clocks for measuring the sun's gravity field distribution and for testing gravitation and relativity (a project that will include a search for pulsed low-frequency gravitational waves) are discussed. Estimates are made of system performance capability, and the accuracy capability of relativistic measurements is evaluated in terms of the results from the 1976 NASA/SAO spaceborne clock test of the Einstein Equivalence Principle.

Vessot, R. F. C.↗

NASA NTRS1983

The JPL near-real-time VLBI system and its application to clock synchronization and earth orientation measurements

The JPL near-real-time VLBI system called Block I is discussed. The hardware and software of the system are described, and the Time and Earth Motion Precision Observations (TEMPO) which utilize Block I are discussed. These observations are designed to provide interstation clock synchronization to 10 nsec and to determine earth orientation (UT1 and polar motion - UTPM) to 30 cm or better in each component. TEMPO results for clock synchronization and UTPM are presented with data from the July 1980-August 1981 analyzed using the most recent JPL solution software and source catalog. Future plans for TEMPO and Block I are discussed.

Callahan, P. S.↗

NASA NTRS1984

Elimination of clock errors in a GPD based tracking system

This paper discusses the estimation problem for a GPS based tracking system which is used for low earth satellite orbit determination and for geodynamic research. The clock errors involved in the measurements are eliminated in order to obtain a solution. Two methods used to eliminate the clock errors, the double differencing method and the linear combination method are discussed and compared. The accuracy of the solution, the redundancy and the correlation of the differenced or the combined data are investigated. Numerical results of the two methods are presented.

Wu, J.-T.↗

NASA NTRS1985

Fast Clock Recovery for Digital Communications

Circuit extracts clock signal from random non-return-to-zero data stream, locking onto clock within one bit period at 1-gigabitper-second data rate. Circuit used for synchronization in opticalfiber communications. Derives speed from very short response time of gallium arsenide metal/semiconductor field-effect transistors (MESFET's).

Tell, R. G.↗

NASA NTRS1984

A validation methodology for fault-tolerant clock synchronization

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding errors and experimentation to validate the assumptions of the design proof. The experimental method is described and illustrated by validating an experimental implementation of the Software Implemented Fault Tolerance (SIFT) clock synchronization algorithm. The design proof of the algorithm defines the maximum skew between any two nonfaulty clocks in the system in terms of theoretical upper bounds on certain system parameters. The quantile to which each parameter must be estimated is determined by a combinatorial analysis of the system reliability. The parameters are measured by direct and indirect means, and upper bounds are estimated. A nonparametric method based on an asymptotic property of the tail of a distribution is used to estimate the upper bound of a critical system parameter. Although the proof process is very costly, it is extremely valuable when validating the crucial synchronization subsystem.

Johnson, S. C.↗

NASA NTRS1985

Clock synchronization by accelerated observers - Metric construction for arbitrary congruences of world lines

Clock synchronization in an arbitrarily accelerated observer congruence is considered. A general solution is obtained that maintains the isotropy and coordinate independence of the one-way speed of light. Attention is also given to various particular cases including, rotating disk congruence or ring congruence. An explicit, congruence-based spacetime metric is constructed according to Einstein's clock synchronization procedure and the equation for the geodesics of the space-time was derived using Hamilton-Jacobi method. The application of interferometric techniques (absolute phase radio interferometry, VLBI) to the detection of the 'global Sagnac effect' is also discussed.

Henriksen, R. N.↗

NASA NTRS1987

Elemental technetium and promethium as cosmic-ray clocks

The possibility of using elemental Tc (Z = 43) and Pm (Z = 61) as clocks to measure the mean cosmic-ray confinement time in the Galaxy, tau(epsilon) is considered. For this purpose it is necessary to estimate the unknown beta(+) decay half-lives of several Tc and Pm isotopes; these estimates are obtained using beta-decay systematics. In the case of Tc it is possible to estimate the half-lives sufficiently well and show that this element can indeed be used as a cosmic-ray clock; in the case of Pm the half-lives are too uncertain to permit any conclusion. In order to make meaningful measurement of tau(epsilon) using elemental Tc, a comsic-ray detector must have a charge resolution less than about 0.25e in the region around Tc, and enough collecting power to detect a few hundred Tc nuclei.

Drach, J.↗

NASA NTRS1987

A rate-transparent, self-clocking line code

A reliable and economical new transmission code is presented with the following properties: zero dc content, baseband bandwidth conservation, self-clocking capability, and data-rate-transparent decoding and synchronization. Simple encoder/decoder and clock extractor circuits are given. The code is demonstrated in a wavelength-multiplexed fiber-optic communication system.

Prucnal, Paul R.↗

NASA NTRS1989

Eliminating Tracking-System Clock Errors

Problems of redundancy and correlation avoided. ORTHO computer program eliminates effect of clock errors in differential solutions for positions of users of Global Positioning System (GPS). Main application, elimination of clock errors in tracking system based on GPS. Written in FORTRAN 77.

Wu, Jiun-Tsong↗

NASA NTRS1989

Formal verification of a fault tolerant clock synchronization algorithm

A formal specification and mechanically assisted verification of the interactive convergence clock synchronization algorithm of Lamport and Melliar-Smith is described. Several technical flaws in the analysis given by Lamport and Melliar-Smith were discovered, even though their presentation is unusally precise and detailed. It seems that these flaws were not detected by informal peer scrutiny. The flaws are discussed and a revised presentation of the analysis is given that not only corrects the flaws but is also more precise and easier to follow. Some of the corrections to the flaws require slight modifications to the original assumptions underlying the algorithm and to the constraints on its parameters, and thus change the external specifications of the algorithm. The formal analysis of the interactive convergence clock synchronization algorithm was performed using the Enhanced Hierarchical Development Methodology (EHDM) formal specification and verification environment. This application of EHDM provides a demonstration of some of the capabilities of the system.

Rushby, John↗

NASA NTRS1990

Interim results from the characterization testing of the Engineering Development (EDM) rubidium clocks for satellite applications

Some interim results from the environmental testing program to evaluate the Engineering Design Model (EDM) of the EG and G Spaceborne Rubidium Clock are presented. This effort is in support of the Global Positioning System (GPS) BLOCK IIR program and is intended to characterize the performance of EG and G design for BLOCK IIR satellite applications. Two EG and G EDM units are currently under test at NRL's Clock Test Facility to measure the long-term frequency stability, drift, and frequency versus temperature characteristics.

Powers, Edward D., Jr.↗

NASA NTRS1990

Fault-tolerant clock synchronization in distributed systems

Existing fault-tolerant clock synchronization algorithms are compared and contrasted. These include the following: software synchronization algorithms, such as convergence-averaging, convergence-nonaveraging, and consistency algorithms, as well as probabilistic synchronization; hardware synchronization algorithms; and hybrid synchronization. The worst-case clock skews guaranteed by representative algorithms are compared, along with other important aspects such as time, message, and cost overhead imposed by the algorithms. More recent developments such as hardware-assisted software synchronization and algorithms for synchronizing large, partially connected distributed systems are especially emphasized.

Ramanathan, Parameswaran↗

NASA NTRS1991

Reconnection voltage as a function of IMF clock angle

Magnetic reconnection between the IMF and the geomagnetic field is thought to play a major role in the transfer of solar wind momentum and energy to the magnetosphere. Both analytic modeling and analysis of geophysical data have shown that this coupling process should be a sensitive function of the clock angle of the IMF. Results are presented from a three-dimensional, MHD, global numerical simulation code for the reconnection voltage between the closed geomagnetic field and the IMF as a function of the IMF clock angle. These results are consistent with a sin(theta/2) functional behavior.

Fedder, J. A.↗

NASA NTRS1991

BUGS system clock distributor

A printed circuit board which will provide external clocks and precisely measure the time at which events take place was designed for the Bristol University Gas Spectrometer (BUGS). The board, which was designed to interface both mechanically and electrically to the Computer Automated Measurement and Control (CAMAC) system, has been named the BUGS system clock control. The board's design and use are described.

Dietrich, Thomas M.↗

NASA NTRS1992

A verified design of a fault-tolerant clock synchronization circuit: Preliminary investigations

Schneider demonstrates that many fault tolerant clock synchronization algorithms can be represented as refinements of a single proven correct paradigm. Shankar provides mechanical proof that Schneider's schema achieves Byzantine fault tolerant clock synchronization provided that 11 constraints are satisfied. Some of the constraints are assumptions about physical properties of the system and cannot be established formally. Proofs are given that the fault tolerant midpoint convergence function satisfies three of the constraints. A hardware design is presented, implementing the fault tolerant midpoint function, which is shown to satisfy the remaining constraints. The synchronization circuit will recover completely from transient faults provided the maximum fault assumption is not violated. The initialization protocol for the circuit also provides a recovery mechanism from total system failure caused by correlated transient faults.

Miner, Paul S.↗