Engineering PapersSearch

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.

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

At least 55 records · Page 3

Laser clocks and near field gravity of rotating objects

This work explores the feasibliity of using high performance laser clocks to detect effects of rotation in the near field region of the Earth's gravitational field. According to general relativity, the time recorded by an independent clock is the proper time of the space-time metric that applies to the system under consideration. If the gravitational source is stationary (nonrotating), proper time involves only the speed of the clocks and the scalar gravitational potential at the position of the clocks. However, if the source is rotating, the motion of the source could have an effect on the metric. Previous attempts to calculate the relativistic timekeeping for terrestrial clocks have used the metric for a nonrotating system, primarily because metrics for a rotating system were not available. This work investigates the specific effects of rotation on the Earth's gravitational field and the corresponding effect on timekeeping of laser clocks in the near field environment.

Hafele, Joseph C.

Verification of fault-tolerant clock synchronization systems

A critical function in a fault-tolerant computer architecture is the synchronization of the redundant computing elements. The synchronization algorithm must include safeguards to ensure that failed components do not corrupt the behavior of good clocks. Reasoning about fault-tolerant clock synchronization is difficult because of the possibility of subtle interactions involving failed components. Therefore, mechanical proof systems are used to ensure that the verification of the synchronization system is correct. In 1987, Schneider presented a general proof of correctness for several fault-tolerant clock synchronization algorithms. Subsequently, Shankar verified Schneider's proof by using the mechanical proof system EHDM. This proof ensures that any system satisfying its underlying assumptions will provide Byzantine fault-tolerant clock synchronization. The utility of Shankar's mechanization of Schneider's theory for the verification of clock synchronization systems is explored. Some limitations of Shankar's mechanically verified theory were encountered. With minor modifications to the theory, a mechanically checked proof is provided that removes these limitations. The revised theory also allows for proven recovery from transient faults. Use of the revised theory is illustrated with the verification of an abstract design of a clock synchronization system.

Miner, Paul S.

Future Laser-Cooled Microwave Clock Performance

Limitations to the performance of laser-cooled earth and space-based Cs clocks will be critically discussed. The most significant limitation to the stability and accuracy of laser-cooled atomic clocks is the frequency shift due to cold collisions. Because of it, laser-cooled Cs clocks must be operated at low density and this implies that space based Cs clock performance will not be significantly better than earth based. To regain some of the high accuracy and stability lost to the low density, clocks can be designed to multiply launch (or juggle) atoms. Clocks based on other atoms, in particular Rb-87 or possibly Rb-85, may have much smaller cold collision frequency shifts and therefore be capable of higher stability and accuracy, especially in a space environment.

Gibble, Kurt

Applications of Clocks to Space Navigation & "Planetary GPS"

The ability to fly atomic clocks on GPS satellites has profoundly defined the capabilities and limitations of GPS in near-Earth applications. It is likely that future infrastructure for Lunar and Mars applications will be constrained by financial factors. The development of a low cost, small, high performance space clock -- or ultrahigh performance space clocks -- could revolutionize and drive the entire approach to GPS-like systems at the Moon (or Mars), and possibly even change the future of GPS at Earth. Many system trade studies are required. The performance of future GPS-like tracking systems at the Moon or Mars will depend critically on clock performance, availability of inertial sensors, and constellation coverage. Example: present-day GPS carry 10(exp -13) clocks and require several updates per day. With 10(exp -15) clocks, a constellation at Mars could operate autonomously with updates just once per month. Use of GPS tracking at the Moon should be evaluated in a technical study.

Lichten, Stephen M.

A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

Embedded distributed systems have become an integral part of safety-critical computing applications, necessitating system designs that incorporate fault tolerant clock synchronization in order to achieve ultra-reliable assurance levels. Many efficient clock synchronization protocols do not, however, address Byzantine failures, and most protocols that do tolerate Byzantine failures do not self-stabilize. Of the Byzantine self-stabilizing clock synchronization algorithms that exist in the literature, they are based on either unjustifiably strong assumptions about initial synchrony of the nodes or on the existence of a common pulse at the nodes. The Byzantine self-stabilizing clock synchronization protocol presented here does not rely on any assumptions about the initial state of the clocks. Furthermore, there is neither a central clock nor an externally generated pulse system. The proposed protocol converges deterministically, is scalable, and self-stabilizes in a short amount of time. The convergence time is linear with respect to the self-stabilization period. Proofs of the correctness of the protocol as well as the results of formal verification efforts are reported.

Malekpour, Mahyar R.

A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

Embedded distributed systems have become an integral part of safety-critical computing applications, necessitating system designs that incorporate fault tolerant clock synchronization in order to achieve ultra-reliable assurance levels. Many efficient clock synchronization protocols do not, however, address Byzantine failures, and most protocols that do tolerate Byzantine failures do not self-stabilize. Of the Byzantine self-stabilizing clock synchronization algorithms that exist in the literature, they are based on either unjustifiably strong assumptions about initial synchrony of the nodes or on the existence of a common pulse at the nodes. The Byzantine self-stabilizing clock synchronization protocol presented here does not rely on any assumptions about the initial state of the clocks. Furthermore, there is neither a central clock nor an externally generated pulse system. The proposed protocol converges deterministically, is scalable, and self-stabilizes in a short amount of time. The convergence time is linear with respect to the self-stabilization period. Proofs of the correctness of the protocol as well as the results of formal verification efforts are reported.

Malekpour, Mahyar R.

Inexpensive Clock for Displaying Planetary or Sidereal Time

An inexpensive wall clock has been devised for displaying solar time or sidereal time as it would be perceived on a planet other than the Earth, or for displaying sidereal time on the Earth. The concept of a wall clock synchronized to a period other than the terrestrial mean solar day is not new in itself. What is new here is that the clock is realized through a relatively simple electronic modification of a common battery-powered, quartz-crystal-oscillator-driven wall clock. The essence of the modification is to shut off the internal oscillator of the clock and replace the internal-oscillator output signal with a signal of the required frequency generated by an external oscillator. The unmodified clock electronic circuitry includes a quartz crystal connected to an integrated circuit (IC) that includes, among other parts, a buffer amplifier that conditions the oscillator output. The modification is effected by removing the quartz crystal and connecting the output terminal of the external oscillator, via a capacitor, to the input terminal of the buffer amplifier

Lux, James

Sample-Clock Phase-Control Feedback

To demodulate a communication signal, a receiver must recover and synchronize to the symbol timing of a received waveform. In a system that utilizes digital sampling, the fidelity of synchronization is limited by the time between the symbol boundary and closest sample time location. To reduce this error, one typically uses a sample clock in excess of the symbol rate in order to provide multiple samples per symbol, thereby lowering the error limit to a fraction of a symbol time. For systems with a large modulation bandwidth, the required sample clock rate is prohibitive due to current technological barriers and processing complexity. With precise control of the phase of the sample clock, one can sample the received signal at times arbitrarily close to the symbol boundary, thus obviating the need, from a synchronization perspective, for multiple samples per symbol. Sample-clock phase-control feedback was developed for use in the demodulation of an optical communication signal, where multi-GHz modulation bandwidths would require prohibitively large sample clock frequencies for rates in excess of the symbol rate. A custom mixedsignal (RF/digital) offset phase-locked loop circuit was developed to control the phase of the 6.4-GHz clock that samples the photon-counting detector output. The offset phase-locked loop is driven by a feedback mechanism that continuously corrects for variation in the symbol time due to motion between the transmitter and receiver as well as oscillator instability. This innovation will allow significant improvements in receiver throughput; for example, the throughput of a pulse-position modulation (PPM) with 16 slots can increase from 188 Mb/s to 1.5 Gb/s.

Quirk, Kevin J.

Buffer Gas Experiments in Mercury (Hg+) Ion Clock

We describe the results of the frequency shifts measured from various buffer gases that might be used as a buffer gas to increase the loading efficiency and cooling of ions trapped in a small mercury ion clock. The small mass, volume and power requirement of space clock precludes the use of turbo pumps. Hence, a hermetically sealed vacuum system, incorporating a suitable getter material with a fixed amount of inert buffer gas may be a practical alternative to the groundbased system. The collision shifts of 40,507,347.996xx Hz clock transition for helium, neon and argon buffer gases were measured in the ambient earth magnetic field. In addition to the above non-getterable inert gases we also measured the frequency shifts due to getterable, molecular hydrogen and nitrogen gases which may be used as buffer gases when incorporated with a miniature ion pump. We also examined the frequency shift due to the low methane gas partial pressure in a fixed higher pressure neon buffer gas environment. Methane gas interacted with mercury ions in a peculiar way as to preserve the ion number but to relax the population difference in the two hyperfine clock states and thereby reducing the clock resonance signal. The same population relaxation was also observed for other molecular buffer gases (N H ,) but at much reduced rate.

mercury ion clock

Next Generation JPL Ultra-Stable Trapped Ion Atomic Clocks

Over the past decade, trapped ion atomic clock development at the Jet Propulsion Laboratory (JPL) has focused on two directions: 1) new atomic clock technology for space flight applications that require strict adherence to size, weight, and power requirements, and 2) ultra-stable atomic clocks, usually for terrestrial applications emphasizing ultimate performance. In this paper we present a new ultra-stable trapped ion clock designed, built, and tested in the second category. The first new standard, L10, will be delivered to the Naval Research Laboratory for use in characterizing DoD space clocks.

Naval Research Laboratory (NRL)

A New Trapped Ion Clock Based on Hg-201(+)

There are two stable odd isotopes of mercury with singly ionized hyperfine structure suitable for a microwave clock: Hg-199(+) and Hg-201(+). Virtually all trapped mercury ion clocks to date have used the 199 isotope. We have begun to investigate the viability of a trapped ion clock based on Hg-201(+). We have measured the unperturbed frequency of the (S-2)(sub 1/2) F = 1, m(sub F) = 0 to (S-2)(sub 1/2) F = 2, m(sub F) = 0 clock transition to be 29.9543658211(2) GHz. In this paper we describe initial measurements with Hg-201(+) and new applications to clocks and fundamental physics.

ion traps

Relativistic effects of the rotation of the earth on remote clock synchronization

A treatment is given of relativistic clock synchronization effects due to the rotation of the earth. Unlike other approaches, the point of view of an earth fixed coordinate system is used which offers insight to many problems. An attempt is made to give the reader an intuitive grasp of the subject as well as to provide formulae for his use. Specific applications to global timekeeping, navigation, VLBI, relativistic clock experiments, and satellite clock synchronization are discussed. The question of whether atomic clocks are ideal clocks is also treated.

Reinhardt, V.

Comparison of bit synchronization schemes using AM and summed clocks

This paper considers bit synchronization through the use of a separate clock signal which is either amplitude modulated onto or summed with the data signal. For continuous data transmission, such schemes are known to be inferior, in the sense of efficient use of power, to schemes which derive synchronization directly from the data signal. However, these techniques have application in burst systems such as spacecraft command systems, and in systems where receiver simplicity is more important than power conservation. For systems in which the composite data-clock signal subsequently modulates an RF carrier, it is shown that the summed clock signal performs slightly better than the AM clock signal, and that for both signal types, the optimum allocation of power between data and clock is approximately 9:1.

Geist, J. M.

Synchronization of clocks by very-long-baseline interferometry

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.

Clark, T. A.

Field operations with cesium clocks in HF navigation systems

Networks of HF phase comparison marine navigation stations employing cesium clocks are discussed. The largest permanent network is in the Gulf of Mexico where some fourteen base stations are continuously active and others are activated as needed. These HF phase comparison systems, which operate on a single transmission path, require a clock on the mobile unit as well. Inventory consists of upwards of 70 clocks from two different manufacturers. The maintenance of this network as an operating system requires a coordinated effort involving clock preparation, clock environment control, station performance monitoring and field service.

Christy, E. H.

Ensuring fault tolerance of phase-locked clocks

Processors within a real-time multiprocessor system must be synchronized with as little overhead as possible. Although synchronization can be achieved via both software (e.g., interactive convergence and interactive consistency algorithms) and hardware (e.g., multistage synchronizers and phase-locked clocks), phase-locked clocks are most attractive due to their small overheads. Despite the fact that synchronization of the multiprocessor system with phase-locked clocks is totally different in nature from the interactive consistency algorithm, it is presently proven that it must satisfy the same condition, N equal to or greater than 3m + 1, where N is the total number of clocks in the multiprocessor system and m is the maximum number of faults tolerable. Also presented are results showing how to design phase-locked clocks so as to be impervious up to a given arbitrary number of malicious failures.

Krishna, C. M.

CMOS Clock Synchronizer

Circuit synchronizes clock and gate signals within one-quarter of clock cycle. Clock synchronizer with one-quarter-cycle skew constructed from three flip-flops, three NAND gates, and inverter. In addition gate signal to which clock synchronized, circuit requires square-wave input at twice desired clock frequency.

Kepp, R. B.

Clock synchronization of a large multiprocessor system in the presence of malicious faults

An interconnection algorithm is presented for achieving clock synchronization in a multiprocessor system. The system is assumed to be maliciously faulty, i.e., some processors are out of synchronization and lie about their clock state to other intragroup or intergroup processors. A phase-locked clock network design is proposed which groups the clocks in the system into diverse clusters. The clusters are then treated as single clock units from the perspective of the network. The algorithm minimizes the number of interconnections while permitting synchronization of large multiprocessor systems controlling time-critical applications such as aircraft, nuclear reactors and industrial processes.

Shin, Kang G.