Search NASA⌕ Search

SEARCH · Search NASA

Results for “clock synchronization”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Formal verification of algorithms for critical systems

We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

Rushby, John M.↗
NASA NTRS2002

Central and peripheral regulation of feeding and nutrition by the mammalian circadian clock: implications for nutrition during manned space flight

Circadian clocks have evolved to predict and coordinate physiologic processes with the rhythmic environment on Earth. Space studies in non-human primates and humans have suggested that this clock persists in its rhythmicity in space but that its function is altered significantly in long-term space flight. Under normal circumstances, the clock is synchronized by the light-dark cycle via the retinohypothalamic tract and the suprachiasmatic nucleus. It is also entrained by restricted feeding regimes via a suprachiasmatic nucleus-independent circadian oscillator. The site of this suboscillator (or oscillators) is not known, but new evidence has suggested that peripheral tissues in the liver and viscera may express circadian clock function when forced to do so by restricted feeding schedules or other homeostatic disruptions. New research on the role of the circadian clock in the control of feeding on Earth and in space is warranted.

NASA Discipline Regulatory Physiology↗
NASA NTRS2001

Intrinsic near-24-h pacemaker period determines limits of circadian entrainment to a weak synchronizer in humans

Endogenous circadian clocks are robust regulators of physiology and behavior. Synchronization or entrainment of biological clocks to environmental time is adaptive and important for physiological homeostasis and for the proper timing of species-specific behaviors. We studied subjects in the laboratory for up to 55 days each to determine the ability to entrain the human clock to a weak circadian synchronizing stimulus [scheduled activity-rest cycle in very dim (approximately 1.5 lux in the angle of gaze) light-dark cycle] at three approximately 24-h periods: 23.5, 24.0, and 24.6 h. These studies allowed us to test two competing hypotheses as to whether the period of the human circadian pacemaker is near to or much longer than 24 h. We report here that imposition of a sleep-wake schedule with exposure to the equivalent of candle light during wakefulness and darkness during sleep is usually sufficient to maintain circadian entrainment to the 24-h day but not to a 23.5- or 24.6-h day. Our results demonstrate functionally that, in normally entrained sighted adults, the average intrinsic circadian period of the human biological clock is very close to 24 h. Either exposure to very dim light and/or the scheduled sleep-wake cycle itself can entrain this near-24-h intrinsic period of the human circadian pacemaker to the 24-h day.

NASA Discipline Regulatory Physiology↗
NASA NTRS1968

Pseudonoise (PN) synchronization of data system with derivation of clock frequency from received signal for clocking receiver PN generator

A digital communicating system for automatically synchronizing signals for data detection is described. The systems consists of biphase modulating a subcarrier frequency by the binary data and transmitting a carrier phase modulated by this signal to a receiver, where coherent phase detection is employed to recover the subcarrier. Data detection is achieved by providing, in the receiver, a demodulated reference which is in synchronism with the unmodulated subcarrier in transmitting system. The output of the detector is passed through a matched filter where the signal is integrated over a bit period. As a result, random noise components are averaged out, so that the probability of detecting the correct data transmitted is maximized.

Couvillon, L. A., Jr.↗
NASA NTRS1975

Reformulation of the relativistic conversion between coordinate time and atomic time

The relativistic conversion between coordinate time and atomic time is reformulated to allow simpler time calculations relating analysis in solar system barycentric coordinates (using coordinate time) with earth-fixed observations (measuring 'earth-bound' proper time or atomic time). After an interpretation in terms of relatively well-known concepts, this simplified formulation, which has a rate accuracy of about 10 to the minus 15th, is used to explain the conventions required in the synchronization of a worldwide clock network and to analyze two synchronization techniques - portable clocks and radio interferometry. Finally, pertinent experimental tests of relativity are briefly discussed in terms of the reformulated time conversion.

Thomas, J. B.↗
NASA NTRS1979

The LASSO experiment

An international coordinated experimental assessment of a system which promises to provide a synchronization of clocks bound to time and frequency standard laboratories, with an accuracy of one nanosecond using existing or near ground-based laser stations via a geostationary satellite (SIRIO-2) is detailed. The system performance and the technical details concerning the on-board equiment, the ground segment, and the operational configuration are discussed. Finally, the future prospects of the LASSO experiment and possible implementations are examined together.

Serene, B.↗
NASA NTRS1989

Applied general relativity

Important relativistic effects and issues are discussed which must be considered in the interpretation of current measurements such as ranging measurements to LAGEOS and to the moon, in the implementation of the Global Positioning System, in the synchronization of clocks near the earth's surface, and in the adoption of appropriate scales of time and length for the communication of scientific results.

Ashby, Neil↗
NASA NTRS2022

Light in Ecological Settings: Entrainment, Circadian Disruption, and Interventions

Light is the predominant signal for the human circadian clock to synchronize to the solar 24-h day through an active process called entrainment. Modern light profiles are characterized by exposure to both natural daylight and artificial lighting. A mismatch between these self-selected light profiles and the solar day-night alternation can disrupt the circadian system, resulting in acute and chronic effects for health and safety. In this chapter, we describe (i) how entrainment works in the real world, illustrating the major role of light for this process; (ii) ways in which the circadian system can be disrupted by (external) factors such as irregular sleep, shift work, daylight saving time, and longitudinal position in a time zone; and (iii) how field studies have used light interventions to reduce direct and indirect effects of circadian disruption in ecological settings.

light interventions↗
NASA NTRS1972

Satellite time synchronization of a NASA network.

A satellite time synchronization technique has been used for synchronization of remotely separated clocks during the past several years. The NASA network has been successfully synchronized to an accuracy of tens of microseconds via the NASA Geodetic Earth Orbiting Satellite GEOS-11. The results indicate that a polar orbit satellite having an onboard clock can effectively be used to synchronize clocks on a global basis.

Laios, S. C.↗
NASA NTRS1979

Biomedical ultrasonoscope

The combination of a "C" mode scan electronics in a portable, battery powered biomedical ultrasonoscope having "A" and "M" mode scan electronics, the latter including a clock generator for generating clock pulses, a cathode ray tube having X, Y and Z axis inputs, a sweep generator connected between the clock generator and the X axis input of the cathode ray tube for generating a cathode ray sweep signal synchronized by the clock pulses, and a receiver adapted to be connected to the Z axis input of the cathode ray tube. The "C" mode scan electronics comprises a plurality of transducer elements arranged in a row and adapted to be positioned on the skin of the patient's body for converting a pulsed electrical signal to a pulsed ultrasonic signal, radiating the ultrasonic signal into the patient's body, picking up the echoes reflected from interfaces in the patient's body and converting the echoes to electrical signals; a plurality of transmitters, each transmitter being coupled to a respective transducer for transmitting a pulsed electrical signal thereto and for transmitting the converted electrical echo signals directly to the receiver, a sequencer connected between the clock generator and the plurality of transmitters and responsive to the clock pulses for firing the transmitters in cyclic order; and a staircase voltage generator connected between the clock generator and the Y axis input of the cathode ray tube for generating a staircase voltage having steps synchronized by the clock pulses.

Lee, R. D.↗
NASA NTRS1995

A high-speed photonic clock and carrier regenerator

As data communications rates climb toward 10 Gbits/s, clock recovery and synchronization become more difficult, if not impossible, using conventional electronic circuits. The high-speed photonic clock regenerator described in this article may be more suitable for such use. This photonic regenerator is based on a previously reported photonic oscillator capable of fast acquisition and synchronization. With both electrical and optical clock inputs and outputs, the device is easily interfaced with fiber-optic systems. The recovered electrical clock can be used locally and the optical clock can be used anywhere within a several kilometer radius of the clock/carrier regenerator.

Yao, X. S.↗
NASA NTRS1992

Global synchronization algorithms for the Intel iPSC/860

In a distributed memory multicomputer that has no global clock, global processor synchronization can only be achieved through software. Global synchronization algorithms are used in tridiagonal systems solvers, CFD codes, sequence comparison algorithms, and sorting algorithms. They are also useful for event simulation, debugging, and for solving mutual exclusion problems. For the Intel iPSC/860 in particular, global synchronization can be used to ensure the most effective use of the communication network for operations such as the shift, where each processor in a one-dimensional array or ring concurrently sends a message to its right (or left) neighbor. Three global synchronization algorithms are considered for the iPSC/860: the gysnc() primitive provided by Intel, the PICL primitive sync0(), and a new recursive doubling synchronization (RDS) algorithm. The performance of these algorithms is compared to the performance predicted by communication models of both the long and forced message protocols. Measurements of the cost of shift operations preceded by global synchronization show that the RDS algorithm always synchronizes the nodes more precisely and costs only slightly more than the other two algorithms.

Seidel, Steven R.↗
NASA NTRS1996

A Novel Photonic Clock and Carrier Recovery Device

As data communication rates climb toward ten Gb/s, clock recovery and synchronization become more difficult, if not impossible, using conventional electronic circuits. We present in this article experimental results of a high speed clock and carrier recovery using a novel device called a photonic oscillator that we recently developed in our laboratory. This device is capable of recovering clock signals up to 70 GHz. To recover the clock, the incoming data is injected into the photonic oscillator either through the optical injection port or the electrical injection port. The free running photonic oscillator is tuned to oscillate at a nominal frequency equal to the clock frequency of the incoming data. With the injection of the data, the photonic oscillator will be quickly locked to clock frequency of the data stream while rejecting other frequency components associated with the data. Consequently, the output of the locked photonic oscillator is a continuous periodical wave synchronized with the incoming data or simply the recovered clock. We have demonstrated a clock to spur ratio of more than 60 dB of the recovered clock using this technique. Similar to the clock recovery, the photonic oscillator can be used to recover a high frequency carrier degraded by noise and an improvement of about 50 dB in signal-to-noise ratio was demonstrated. The photonic oscillator has both electrical and optical inputs and outputs and can be directly interfaced with a photonic system without signal conversion. In addition to clock and carrier recovery, the photonic oscillator can also be used for (1) stable high frequency clock signal generation, (2) frequency multiplication, (3) square wave and comb frequency generation, and (4) photonic phase locked loop.

Yao, X. Steve↗
NASA NTRSDate not supplied

Recent Progress at the International Laser Ranging Service (ILRS)

The International Laser Ranging Service (ILRS) is experiencing significant growth. New stations are being built and brought into operation, expanding the spatial and temporal coverage of the Satellite Laser Ranging (SLR) observations. Some of these stations are multi-technique Core Sites that allow us to exploit the combined strengths of different geodetic space techniques. New satellites are strengthening the ILRS contribution to the International Terrestrial Reference Frame (ITRF), and expanding the spectrum of satellite applications supported by the ILRS. New analysis, modeling, and data processing techniques continue to improve the science products. New campaigns are continuing to expand SLR applications into relativity and the study of non-gravitational forces. The ILRS is currently participating in the Galileo for Science campaign (G4S_2.0 project), funded by the Italian Space Agency (ASI), which aims to perform a set of measurements in the field of gravitation with the Galileo satellites, taking advantage of the accuracy of the on-board atomic clocks and, in particular, of GSAT0201and GSAT0202 by exploiting their relatively high eccentricity (~0.16). New activities underway in Lunar Laser Ranging (LLR), with the imminent launch and deployment of the upcoming Next Generation Lunar Retroreflector - 1 (NGLR-1) to the lunar surface. Some new satellites supported by the ILRS are now exploring means of capturing Space Debris, while some ILRS stations run local laser ranging projects to track space debris, contributing to the maintenance of various data catalogs. Time transfer experiments are also expanding the application of laser ranging, linking two fully characterized optical clocks at different locations with SLR (Einstein Synchronization) providing measurements of height differences, demonstrating the feasibility of a physical height system. Two-way and one-way transponders activity has been underway since the LASSO experiment in the 1990’s. More experiments are underway or planned. Applications include time and frequency transfer and clock synchronization between ground and space, interplanetary laser ranging, and fundamental physics. This presentation will give an update on ILRS activities and the impact that these activities have had and will have on ILRS data products.

Lunar Laser Ranging↗
NASA NTRS1982

Atomic and gravitational clocks

Atomic and gravitational clocks are governed by the laws of electrodynamics and gravity, respectively. While the strong equivalence principle (SEP) assumes that the two clocks have been synchronous at all times, recent planetary data seem to suggest a possible violation of the SEP. Past analysis of the implications of an SEP violation on different physical phenomena revealed no disagreement. However, these studies assumed that the two different clocks can be consistently constructed within the framework. The concept of scale invariance, and the physical meaning of different systems of units, are now reviewed and the construction of two clocks that do not remain synchronous - whose rates are related by a non-constant function beta sub a - is demonstrated. The cosmological character of beta sub a is also discussed.

Canuto, V. M.↗
NASA NTRS1995

A synchronous motor chopper for laboratory testing of detector systems in infrared astronomy

Airborne and ground-based IR telescopes have oscillating secondary mirrors to permit subtraction of background emission from the sky and telescope. These chopping mirrors are synchronized to a clock which may originate in the data acquisition system. For laboratory testing of detecting instruments with such data systems, externally synchronized chopped IR sources are required. We describe a laboratory chopper in which a synchronous motor is driven by 2-phase sinusoidal currents in sync with an external clock at frequencies from 5 to 50 Hz. This design is used with the KAO's facility sources, the Chopped Hotplate and the Portable Chopped Light Source (PCLS).

Baltz, James A.↗
NASA NTRS2003

A Timer for Synchronous Digital Systems

The Real-Time Interferometer Control Systems Testbed (RICST) timing board is a VersaModule Eurocard (VME)-based board that can generate up to 16 simultaneous, phase-locked timing signals at a rate defined by the user. It can also generate all seven VME interrupt requests (IRQs). The RICST timing board is suitable mainly for robotic, aerospace, and real-time applications. Several circuit boards on the market are capable of generating periodic IRQs. Most are associated with Global Positioning System (GPS) receivers and Inter Range Instrumentation Group (IRIG) time-code generators, whereas this board uses either an internal VME clock or an externally generated clock signal to synchronize multiple components of the system. The primary advantage of this board is that there is no discernible jitter in the output clock waveforms because the signals are divided down from a high-frequency clock signal instead of being phase-locked from a lower frequency. The primary disadvantage to this board, relative to other periodic-IRQ-generating boards, is that it is more difficult to synchronize the system to wall clock time.

McKenney, Elizabeth↗
NASA NTRS2002

GPS-Based Navigation and Orbit Determination for the AMSAT Phase 3D Satellite

This paper summarizes the results of processing GPS data from the AMSAT Phase 3D (AP3) satellite for real-time navigation and post-processed orbit determination experiments. AP3 was launched into a geostationary transfer orbit (GTO) on November 16, 2000 from Kourou, French Guiana, and then was maneuvered into its HEO over the next several months. It carries two Trimble TANS Vector GPS receivers for signal reception at apogee and at perigee. Its spin stabilization mode currently makes it favorable to track GPS satellites from the backside of the constellation while at perigee, and to track GPS satellites from below while at perigee. To date, the experiment has demonstrated that it is feasible to use GPS for navigation and orbit determination in HEO, which will be of great benefit to planned and proposed missions that will utilize such orbits for science observations. It has also shown that there are many important operational considerations to take into account. For example, GPS signals can be tracked above the constellation at altitudes as high as 58000 km, but sufficient amplification of those weak signals is needed. Moreover, GPS receivers can track up to 4 GPS satellites at perigee while moving as fast as 9.8 km/sec, but unless the receiver can maintain lock on the signals long enough, point solutions will be difficult to generate. The spin stabilization of AP3, for example, appears to cause signal levels to fluctuate as other antennas on the satellite block the signals. As a result, its TANS Vectors have been unable to lock on to the GPS signals long enough to down load the broadcast ephemeris and then generate position and velocity solutions. AP3 is currently in its eclipse season, and thus most of the spacecraft subsystems have been powered off. In Spring 2002, they will again be powered up and AP3 will be placed into a three-axis stabilization mode. This will significantly enhance the likelihood that point solutions can be generated, and perhaps more important, that the receiver clock can be synchronized to GPS time. This is extremely important for real-time and post-processed orbit determination, where removal of receiver clock bias from the data time tags is needed, for time-tagging of science observations. Current analysis suggests that the inability to generate point solutions has allowed the TANS Vector clock bias to drift freely, being perhaps as large as 5-7 seconds by October, 2001, thus causing up to 50 km of along-track orbit error. The data collected in May, 2002 while in three-axis stabilized mode should provide a significant improvement in the orbit determination results.

Davis, George↗