Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Clocks”

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 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

An extension to Schneider's general paradigm for fault-tolerant clock synchronization

In 1987, Schneider presented a general paradigm that provides a single proof of a number of fault tolerant clock synchronization algorithms. His proof was subsequently subjected to the rigor of mechanical verification by Shankar. However, both Schneider and Shankar assumed a condition Shankar refers to as a bounded delay. This condition states that the elapsed time between synchronization events (i.e., the time that the local process applies an adjustment to its logical clock) is bounded. This property is really a result of the algorithm and should not be assumed in a proof of correctness. This paper remedies this by providing a proof of this property in the context of the general paradigm proposed by Schneider. The argument given is a generalization of Welch and Lynch's proof of a related property for their algorithm.

Miner, Paul S.↗
NASA NTRS1991

The role of clocks in operating deep space missions

Operation of deep space missions requires stable frequency references and clocks to perform several mission critical functions. These references are used in generating the telecommunication links to maintain communications between earth and spacecraft, in generating accurate doppler, range, and very long baseline interferometry (VLBI) observables for determining the spacecraft's time varying position, and to generate on-board timing information for clocking out timed commands and time tagging instrument data. In addition, science applications exist, particularly those utilizing radio instrumentation, which can require additional functions and levels of performance. The design necessary to support these functions affects both the spacecraft and the ground tracking stations. This paper provides a brief description of these functions and some of the key requirements needed to support them.

S. W. Asmar↗
NASA NTRS1992

A bipolar population counter using wave pipelining to achieve 2.5 x normal clock frequency

Wave pipelining is a technique for pipelining digital systems that can increase clock frequency in practical circuits without increasing the number of storage elements. In wave pipelining, multiple coherent waves of data are sent through a block of combinational logic by applying new inputs faster than the delay through the logic. The throughput of a 63-b CML population counter was increased from 97 to 250 MHz using wave pipelining. The internal circuit is flowthrough combinational logic. Novel CAD methods have balanced all input-to-output paths to about the same delay. This allows multiple data waves to propagate in sequence when the circuit is clocked faster than its propagation delay.

Wong, Derek C.↗
NASA NTRS1992

A gallium-arsenide digital phase shifter for clock and control signal distribution in high-speed digital systems

The design, implementation, testing, and applications of a gallium-arsenide digital phase shifter and fan-out buffer are described. The integrated circuit provides a method for adjusting the phase of high-speed clock and control signals in digital systems, without the need for pruning cables, multiplexing between cables of different lengths, delay lines, or similar techniques. The phase of signals distributed with the described chip can be dynamically adjusted in eight different steps of approximately 60 ps per step. The IC also serves as a fan-out buffer and provides 12 in-phase outputs. The chip is useful for distributing high-speed clock and control signals in synchronous digital systems, especially if components are distributed over a large physical area or if there is a large number of components.

Fouts, Douglas J.↗
NASA NTRS1993

Mission-Clock-Display Software Tool

Displays including images of alarm clocks illustrate temporal statuses of multiple events. MCLK is customizable clock-display computer program with Motif user interface. Used to keep track of such multiple "milestone" events as those occurring during countdowns in spacecraft launches, and alerts user when event time reached. In addition, program displays time from several time zones. Real time measured in Coordinated Universal Time. Written in C language.

Aguilera, Christine↗
NASA NTRS1992

Search for evidence of a clock related to the solar 154 day complex of periodicities

Evidence indicates that the 154-day periodicity in solar activity may be part of a complex of periodicities that are approximate multiples of 25.8 d, which suggests that the sun contains a 'clock' with frequency in the range 440-463 nHz. To search for evidence of this clock, the daily Greenwich sunspot areas and daily Zurich sunspot numbers have been Fourier-analyzed. The Zurich data show a strong peak that may clearly be identified with the fundamental frequency, while the Greenwich data show a peak that may be the harmonic of the fundamental frequency. A model is discussed which provides a kinematical interpretation of the sunspot spectrum.

Sturrock, P. A.↗
NASA NTRS1993

Measurement methods and algorithms for comparison of local and remote clocks

Several methods for characterizing the performance of clocks with special emphasis on using calibration information that is acquired via an unreliable or noisy channel is discussed. Time-domain variance estimators and frequency-domain techniques such as cross-spectral analysis are discussed. Each of these methods has advantages and limitations that will be illustrated using data obtained via GPS, ACTS, and other methods. No one technique will be optimum for all of these analyses, and some of these problems cannot be completely characterized by any of the techniques discussed. The inverse problem of communicating frequency and time corrections to a real-time steered clock are also discussed. Methods were developed to mitigate the disastrous problems of data corruption and loss of computer control.

Levine, Judah↗
NASA NTRS1994

Using GLONASS signal for clock synchronization

Although in accuracy parameters GLONASS is correlated with GPS, using GLONASS signals for high-precision clock synchronization was, up to the recent time, of limited utility due to the lack of specialized time receivers. In order to improve this situation, in late 1992 the Russian Institute of Radionavigation and Time (RMT) began to develop a GLONASS time receiver using as a basis the airborne ASN-16 receiver. This paper presents results of estimating user clock synchronization accuracy via GLONASS signals using ASN-16 receiver in the direct synchronization and common-view modes.

Gouzhva, Yuri G.↗
NASA NTRS1995

The effects of clock errors on timescale stability

The weighting scheme for the cesium clocks and hydrogen masers constituting the USNO timing ensemble is reexamined from an empirical standpoint of maximizing both frequency accuracy and timescale uniformity. The utility of a sliding-weight relation between the masers and the cesiums is reaffirmed, but improvement is found if one incorporates inverse Allan variances for sampling times of 12 and 6 hours for the cesiums and masers, respectively, with some dependence on clock model.

Breakiron, Lee A.↗
NASA NTRS1995

Formal development of a clock synchronization circuit

This talk presents the latest stage in formal development of a fault-tolerant clock synchronization circuit. The development spans from a high level specification of the required properties to a circuit realizing the core function of the system. An abstract description of an algorithm has been verified to satisfy the high-level properties using the mechanical verification system EHDM. This abstract description is recast as a behavioral specification input to the Digital Design Derivation system (DDD) developed at Indiana University. DDD provides a formal design algebra for developing correct digital hardware. Using DDD as the principle design environment, a core circuit implementing the clock synchronization algorithm was developed. The design process consisted of standard DDD transformations augmented with an ad hoc refinement justified using the Prototype Verification System (PVS) from SRI International. Subsequent to the above development, Wilfredo Torres-Pomales discovered an area-efficient realization of the same function. Establishing correctness of this optimization requires reasoning in arithmetic, so a general verification is outside the domain of both DDD transformations and model-checking techniques. DDD represents digital hardware by systems of mutually recursive stream equations. A collection of PVS theories was developed to aid in reasoning about DDD-style streams. These theories include a combinator for defining streams that satisfy stream equations, and a means for proving stream equivalence by exhibiting a stream bisimulation. DDD was used to isolate the sub-system involved in Torres-Pomales' optimization. The equivalence between the original design and the optimized verified was verified in PVS by exhibiting a suitable bisimulation. The verification depended upon type constraints on the input streams and made extensive use of the PVS type system. The dependent types in PVS provided a useful mechanism for defining an appropriate bisimulation.

Miner, Paul S.↗
NASA NTRS1996

Relating the Hadamard Variance to MCS Kalman Filter Clock Estimation

The Global Positioning System (GPS) Master Control Station (MCS) currently makes significant use of the Allan Variance. This two-sample variance equation has proven excellent as a handy, understandable tool, both for time domain analysis of GPS cesium frequency standards, and for fine tuning the MCS's state estimation of these atomic clocks. The Allan Variance does not explicitly converge for the nose types of alpha less than or equal to minus 3 and can be greatly affected by frequency drift. Because GPS rubidium frequency standards exhibit non-trivial aging and aging noise characteristics, the basic Allan Variance analysis must be augmented in order to (a) compensate for a dynamic frequency drift, and (b) characterize two additional noise types, specifically alpha = minus 3, and alpha = minus 4. As the GPS program progresses, we will utilize a larger percentage of rubidium frequency standards than ever before. Hence, GPS rubidium clock characterization will require more attention than ever before. The three sample variance, commonly referred to as a renormalized Hadamard Variance, is unaffected by linear frequency drift, converges for alpha is greater than minus 5, and thus has utility for modeling noise in GPS rubidium frequency standards. This paper demonstrates the potential of Hadamard Variance analysis in GPS operations, and presents an equation that relates the Hadamard Variance to the MCS's Kalman filter process noises.

Hutsell, Steven T.↗
NASA NTRS1997

Clock Requirements for Gamma-Ray Burst Localization Experiments

Precise localization of gamma-ray bursts requires accurate timing information. A feasible space experiment places a number of detectors in the inner solar system with AU separations. To attain arcsecond positions, clock accuracy must be held to 1 millisecond. Mission costs are significantly reduced if the clock drift can be held to 1 millisecond over the entire mission, i.e. for several years.

VanBuren, Dave↗
NASA NTRS2000

A Technology Demonstration Experiment for Laser Cooled Atomic Clocks in Space

We have been developing a laser-cooling apparatus for flight on the International Space Station (ISS), with the intention of demonstrating linewidths on the cesium clock transition narrower than can be realized on the ground. GLACE (the Glovebox Laser- cooled Atomic Clock Experiment) is scheduled for launch on Utilization Flight 3 (UF3) in 2002, and will be mounted in one of the ISS Glovebox platforms for an anticipated 2-3 week run. Separate flight definition projects funded at NIST and Yale by the Micro- gravity Research Division of NASA as a part of its Laser Cooling and Atomic Physics (LCAP) program will follow GLACE. Core technologies for these and other LCAP missions are being developed at JPL, with the current emphasis on developing components such as the laser and optics subsystem, and non-magnetic vacuum-compatible mechanical shutters. Significant technical challenges in developing a space qualifiable laser cooling apparatus include reducing the volume, mass, and power requirements, while increasing the ruggedness and reliability in order to both withstand typical launch conditions and achieve several months of unattended operation. This work was performed at the Jet Propulsion Laboratory under a contract with the National Aeronautics and Space Administration.

Klipstein, W. M.↗
NASA NTRS2003

Comparison of mode estimation methods and application in molecular clock analysis

BACKGROUND: Distributions of time estimates in molecular clock studies are sometimes skewed or contain outliers. In those cases, the mode is a better estimator of the overall time of divergence than the mean or median. However, different methods are available for estimating the mode. We compared these methods in simulations to determine their strengths and weaknesses and further assessed their performance when applied to real data sets from a molecular clock study. RESULTS: We found that the half-range mode and robust parametric mode methods have a lower bias than other mode methods under a diversity of conditions. However, the half-range mode suffers from a relatively high variance and the robust parametric mode is more susceptible to bias by outliers. We determined that bootstrapping reduces the variance of both mode estimators. Application of the different methods to real data sets yielded results that were concordant with the simulations. CONCLUSION: Because the half-range mode is a simple and fast method, and produced less bias overall in our simulations, we recommend the bootstrapped version of it as a general-purpose mode estimator and suggest a bootstrap method for obtaining the standard error and 95% confidence interval of the mode.

Evolution, Molecular↗
NASA NTRS2004

Performance Effects of Display Incogruity in a Digital and Analog Clock Reading Task

In an era of increasing automation, it is important to design displays and input devices that minimize human error. In this context, information concerning the human response to the detection of incongruous information is important. Such incongruous information can be operationalized as unexpected (perhaps erroneous) information on which a decision by the human or operation by an automated system is based. In the aviation environment, decision making when faced with inadequate, incomplete, or incongruous information may occur in a failure scenario. An additional challenge facing the human operator in automated environments is maintaining alertness or vigilance. The vigilance issue is of particular concern as a factor that may interact with performance when faced with inadequate, incomplete, or incongruous information. From the literature on eye-scan behavior we know that the time spent looking at a particular display or indicator is a function of the type of information one is trying to discern from the display. For example, quick glances are all it takes for confirming that an indicator is in a normal position or range, whereas a continuous look of several seconds may be required for confirmation that a complex control input is having the desired effect. Important to consider is that while an extended look takes place, visual input from other sources may be missed. Much like an extended look, the interpretation of incongruous information may require extra time. The present experiment was designed to explore the performance consequences of a decision making task when incongruous information was presented. For this experiment a display incongruity was created on a subset of trials of a clock reading laboratory task. Display incongruity was made possible through presentation of 'impossible' times (e.g. 1:65 or 11:90). Subjects made 'same' 'different' decisions and keyboard responses to pairings of Analog-Analog (AA), Digital-Digital (DD), and Analog- Digital (AD), display combinations. For trials during which display incongruities were not presented, based on prior research comparing digital and analog clock displays, it would be expected that the Digital-Digital condition would result in the shortest response times and the Analog-Analog and Analog-Digital conditions would have longer response times. The performance consequence expected on trials with incongruous times would be very long response times.

J. Raymond Comstock, Jr.↗
NASA NTRS2003

Genomic clocks and evolutionary timescales

For decades, molecular clocks have helped to illuminate the evolutionary timescale of life, but now genomic data pose a challenge for time estimation methods. It is unclear how to integrate data from many genes, each potentially evolving under a different model of substitution and at a different rate. Current methods can be grouped by the way the data are handled (genes considered separately or combined into a 'supergene') and the way gene-specific rate models are applied (global versus local clock). There are advantages and disadvantages to each of these approaches, and the optimal method has not yet emerged. Fortunately, time estimates inferred using many genes or proteins have greater precision and appear to be robust to different approaches.

Evolution, Molecular↗
NASA NTRS2000

The timing of the human circadian clock is accurately represented by the core body temperature rhythm following phase shifts to a three-cycle light stimulus near the critical zone

A double-stimulus experiment was conducted to evaluate the phase of the underlying circadian clock following light-induced phase shifts of the human circadian system. Circadian phase was assayed by constant routine from the rhythm in core body temperature before and after a three-cycle bright-light stimulus applied near the estimated minimum of the core body temperature rhythm. An identical, consecutive three-cycle light stimulus was then applied, and phase was reassessed. Phase shifts to these consecutive stimuli were no different from those obtained in a previous study following light stimuli applied under steady-state conditions over a range of circadian phases similar to those at which the consecutive stimuli were applied. These data suggest that circadian phase shifts of the core body temperature rhythm in response to a three-cycle stimulus occur within 24 h following the end of the 3-day light stimulus and that this poststimulus temperature rhythm accurately reflects the timing of the underlying circadian clock.

Non-NASA Center↗