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 91 records · Page 5

Precise time dissemination via portable atomic clocks

The most precise operational method of time dissemination over long distances presently available to the Precise Time and Time Interval (PTTI) community of users is by means of portable atomic clocks. The Global Positioning System (GPS), the latest system showing promise of replacing portable clocks for global PTTI dissemination, was evaluated. Although GPS has the technical capability of providing superior world-wide dissemination, the question of present cost and future accessibility may require a continued reliance on portable clocks for a number of years. For these reasons a study of portable clock operations as they are carried out today was made. The portable clock system that was utilized by the U.S. Naval Observatory (NAVOBSY) in the global synchronization of clocks over the past 17 years is described and the concepts on which it is based are explained. Some of its capabilities and limitations are also discussed.

Putkovich, K.↗

Maser and secondary clock in telecommunications networks

Telecommunication networks of time division switches, interconnected by digital transmission are being put into place. At each switch, each incoming bit stream is brought into its own buffer. Then the clock in the switch reads each buffer to re-establish phase. Care must be taken to keep frequency differences between various clocks from becoming too large. Based on empirically defined data transmission requirements, one major network has determined that fractional frequency inequality between switches should be no worse than 1.7 X 10 to the minus 9 power. A network needs near frequency equality between its own switches, and also between its switches and other networks with which it interfaces. As a practical matter, the best way to achieve needed frequency equality is for each network to have master clock with an accuracy which is at least as good as 1 X 10 to the minus 10 power. The relationship between the master and the secondary clock is discussed. The questions of master clock accuracy and precision and the free-running capability of the secondary clocks are examined.

Risley, A.↗

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.↗

Distinguishing between evidence and its explanations in the steering of atomic clocks

Quantum theory reflects within itself a separation of evidence from explanations. This separation leads to a known proof that: (1) no wave function can be determined uniquely by evidence, and (2) any chosen wave function requires a guess reaching beyond logic to things unforeseeable. Chosen wave functions are encoded into computer-mediated feedback essential to atomic clocks, including clocks that step computers through their phases of computation and clocks in space vehicles that supply evidence of signal propagation explained by hypotheses of spacetimes with metric tensor fields. The propagation of logical symbols from one computer to another requires a shared rhythm—like a bucket brigade. Here we show how hypothesized metric tensors, dependent on guesswork, take part in the logical synchronization by which clocks are steered in rate and position toward aiming points that satisfy phase constraints, thereby linking the physics of signal propagation with the sharing of logical symbols among computers. Recognizing the dependence of the phasing of symbol arrivals on guesses about signal propagation transports logical synchronization from the engineering of digital communications to a discipline essential to physics. Within this discipline we begin to explore questions invisible under any concept of time that fails to acknowledge unforeseeable events. In particular, variation of spacetime curvature is shown to limit the bit rate of logical communication. - Highlights: • Atomic clocks are steered in frequency toward an aiming point. • The aiming point depends on a chosen wave function. • No evidence alone can determine the wave function. • The unknowability of the wave function has implications for spacetime curvature. • Variability in spacetime curvature limits the bit rate of communications.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Aging studies on micro-fabricated alkali buffer-gas cells for miniature atomic clocks

We report an aging study on micro-fabricated alkali vapor cells using neon as a buffer gas. An experimental atomic clock setup is used to measure the cell's intrinsic frequency, by recording the clock frequency shift at different light intensities and extrapolating to zero intensity. We find a drift of the cell's intrinsic frequency of (−5.2 ± 0.6) × 10{sup −11}/day and quantify deterministic variations in sources of clock frequency shifts due to the major physical effects to identify the most probable cause of the drift. The measured drift is one order of magnitude stronger than the total frequency variations expected from clock parameter variations and corresponds to a slow reduction of buffer gas pressure inside the cell, which is compatible with the hypothesis of loss of Ne gas from the cell due to its permeation through the cell windows. A negative drift on the intrinsic cell frequency is reproducible for another cell of the same type. Based on the Ne permeation model and the measured cell frequency drift, we determine the permeation constant of Ne through borosilicate glass as (5.7 ± 0.7) × 10{sup −22} m{sup 2} s{sup −1 }Pa{sup −1} at 81 °C. We propose this method based on frequency metrology in an alkali vapor cell atomic clock setup based on coherent population trapping for measuring permeation constants of inert gases.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Simple-design ultra-low phase noise microwave frequency synthesizers for high-performing Cs and Rb vapor-cell atomic clocks

We report on the development and characterization of novel 4.596 GHz and 6.834 GHz microwave frequency synthesizers devoted to be used as local oscillators in high-performance Cs and Rb vapor-cell atomic clocks. The key element of the synthesizers is a custom module that integrates a high spectral purity 100 MHz oven controlled quartz crystal oscillator frequency-multiplied to 1.6 GHz with minor excess noise. Frequency multiplication, division, and mixing stages are then implemented to generate the exact output atomic resonance frequencies. Absolute phase noise performances of the output 4.596 GHz signal are measured to be −109 and −141 dB rad{sup 2}/Hz at 100 Hz and 10 kHz Fourier frequencies, respectively. The phase noise of the 6.834 GHz signal is −105 and −138 dB rad{sup 2}/Hz at 100 Hz and 10 kHz offset frequencies, respectively. The performances of the synthesis chains contribute to the atomic clock short term fractional frequency stability at a level of 3.1 × 10{sup −14} for the Cs cell clock and 2 × 10{sup −14} for the Rb clock at 1 s averaging time. This value is comparable with the clock shot noise limit. We describe the residual phase noise measurements of key components and stages to identify the main limitations of the synthesis chains. The residual frequency stability of synthesis chains is measured to be at the 10{sup −15} level for 1 s integration time. Relevant advantages of the synthesis design, using only commercially available components, are to combine excellent phase noise performances, simple-architecture, low-cost, and to be easily customized for signal output generation at 4.596 GHz or 6.834 GHz for applications to Cs or Rb vapor-cell frequency standards.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

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↗

Clock-controlled output gene Dbp is a regulator of Arnt/Hif-1β gene expression in pancreatic islet β-cells

Highlights: •Arnt mRNA expressed in a circadian manner in mouse pancreatic islets. •Expressions of Dbp and Arnt damped in the islets of a diabetic model mouse. •DBP and E4BP4 regulate Arnt promoter activity by direct binding. •Arnt may have a role in connecting circadian rhythm and metabolism. -- Abstract: Aryl hydrocarbon receptor nuclear translocator (ARNT)/hypoxia inducible factor-1β (HIF-1β) has emerged as a potential determinant of pancreatic β-cell dysfunction and type 2 diabetes in humans. An 82% reduction in Arnt expression was observed in islets from type 2 diabetic donors as compared to non-diabetic donors. However, few regulators of Arnt expression have been identified. Meanwhile, disruption of the clock components CLOCK and BMAL1 is known to result in hypoinsulinemia and diabetes, but the molecular details remain unclear. In this study, we identified a novel molecular connection between Arnt and two clock-controlled output genes, albumin D-element binding protein (Dbp) and E4 binding protein 4 (E4bp4). By conducting gene expression studies using the islets of Wfs1{sup −/−} A{sup y}/a mice that develop severe diabetes due to β-cell apoptosis, we demonstrated clock-related gene expressions to be altered in the diabetic mice. Dbp mRNA decreased by 50%, E4bp4 mRNA increased by 50%, and Arnt mRNA decreased by 30% at Zeitgever Time (ZT) 12. Mouse pancreatic islets exhibited oscillations of clock gene expressions. E4BP4, a D-box negative regulator, oscillated anti-phase to DBP, a D-box positive regulator. We also found low-amplitude circadian expression of Arnt mRNA, which peaked at ZT4. Over-expression of DBP raised both mRNA and protein levels of ARNT in HEK293 and MIN6 cell lines. Arnt promoter-driven luciferase reporter assay in MIN6 cells revealed that DBP increased Arnt promoter activity by 2.5-fold and that E4BP4 competitively inhibited its activation. In addition, on ChIP assay, DBP and E4BP4 directly bound to D-box elements within the Arnt promoter in MIN6 cells. These results suggest that in mouse pancreatic islets mRNA expression of Arnt fluctuates significantly in a circadian manner and that the down-regulation of Dbp and up-regulation E4bp4 contribute to direct suppression of Arnt expression in diabetes.

60 APPLIED LIFE SCIENCES↗

Reliable clock estimation using linear weighted fusion based on pairwise broadcast synchronization

Clock synchronization in wireless sensor networks (WSNs) has been studied extensively in recent years and many protocols are put forward based on the point of statistical signal processing, which is an effective way to optimize accuracy. However, the accuracy derived from the statistical data can be improved mainly by sufficient packets exchange, which will consume the limited power resources greatly. In this paper, a reliable clock estimation using linear weighted fusion based on pairwise broadcast synchronization is proposed to optimize sync accuracy without expending additional sync packets. As a contribution, a linear weighted fusion scheme for multiple clock deviations is constructed with the collaborative sensing of clock timestamp. And the fusion weight is defined by the covariance of sync errors for different clock deviations. Extensive simulation results show that the proposed approach can achieve better performance in terms of sync overhead and sync accuracy.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗