Search NASA⌕ Search

SEARCH · Search NASA

Results for “space 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 235 records · Page 13

Chemical reactions in low-g

The Apollo-Soyuz flight experiment, 'Chemical Foams' demonstrated that foams and air/liquid dispersions are much more stable in low-gravity than on the ground. It thus should be possible to conduct unique chemical reactions in space foams. The low-g results and subsequent ground work on the formaldehyde clock reaction indicate that the reaction is strongly influenced by (1) dissociated and undissociated solution species being adsorbed at solid/liquid and gas/liquid surfaces and (2) chemical reaction rates apparently being affected by long-range forces determined by the liquid mass and the extent and nature of all surface interfaces.

Grodzka, P. G.↗

Ramp time synchronization

A new method of intercontinental clock synchronization has been developed and proposed for possible use by NASA's Deep Space Network (DSN), using a two-way/three-way radio link with a spacecraft. Analysis of preliminary data indicates that the real-time method has an uncertainty of 0.6 microsec, and it is very likely that further work will decrease the uncertainty. Also, the method is compatible with a variety of nonreal-time analysis techniques, which may reduce the uncertainty down to the tens of nanosecond range.

Hietzke, W.↗

Contractor point of view for system development and test program

Industry's practice of testing space qualified hardware is examined. An overview of the Global Positioning System (GPS) Test Program is discussed from the component level to the sub-system compatibility tests with the space vehicle and finally to the launch site tests, all related to the Rubidium clock.

Koide, F. K.↗

Transformation from proper time on earth to coordinate time in solar system barycentric space-time frame of reference. I. II

It is noted that in order to obtain accurate computed values of earth-based range and Doppler observables of a deep space probe, an expression is required for the difference between coordinate time (t) in the solar system barycentric space-time frame of reference and proper time (tau) recorded on a fixed atomic clock on earth. This is part 1 of a two-part article which obtains an expression for the coordinate time/proper time difference that can be used in deriving computed values of observations of a spacecraft or celestial body located anywhere in the solar system. The expression can also be used in computing Very Long Baseline Interferometry data types. In part 1, expression for the coordinate time/proper time difference is obtained that is a function of position and velocity vectors of the major celestial bodies of the solar system and the atomic clock on earth which reads proper time. This expression is transformed in part 2 to a function of time and the earth-fixed coordinates of the atomic clock.

Moyer, T. D.↗

Hydrogen Maser Clock (HMC) Experiment

The Hydrogen Maser Clock (HMC) project was originally conceived to fly on a reflight of the European Space Agency (ESA) free flying platform, the European Recoverable Carrier (EURECA) that had been launched into space and recovered by NASA's Space Transportation System (STS). A Phase B study for operation of HMC as one of the twelve EURECA payload components was begun in July 1991, and completed a year later. Phase C/D of HMC began in August 1992 and continued into early 1995. At that time ESA decided not to refly EURECA, leaving HMC without access to space. Approximately 80% of the flight support electronics are presently operating the HMC's physics package in a vacuum tank at the Smithsonian Astrophysical Observatory, and are now considered to be well-tested flight electronics. The package will continue to be operated until the end of 1997 or until a flight opportunity becomes avaiable. Appendices: letters and trip report; proceedings of the symposium on frequency standards and metrology; milli-celsius-stability thermal control for an orbiting frequency standard.

Vessot, Robert F. C.↗

Extreme Temperature Operation of a 10 MHz Silicon Oscillator Type STCL1100

The performance of STMicroelectronics 10 MHz silicon oscillator was evaluated under exposure to extreme temperatures. The oscillator was characterized in terms of its output frequency stability, output signal rise and fall times, duty cycle, and supply current. The effects of thermal cycling and re-start capability at extreme low and high temperatures were also investigated. The silicon oscillator chip operated well with good stability in its output frequency over the temperature region of -50 C to +130 C, a range that by far exceeded its recommended specified boundaries of -20 C to +85 C. In addition, this chip, which is a low-cost oscillator designed for use in applications where great accuracy is not required, continued to function at cryogenic temperatures as low as - 195 C but at the expense of drop in its output frequency. The STCL1100 silicon oscillator was also able to re-start at both -195 C and +130 C, and it exhibited no change in performance due to the thermal cycling. In addition, no physical damage was observed in the packaging material due to extreme temperature exposure and thermal cycling. Therefore, it can be concluded that this device could potentially be used in space exploration missions under extreme temperature conditions in microprocessor and other applications where tight clock accuracy is not critical. In addition to the aforementioned screening evaluation, additional testing, however, is required to fully establish the reliability of these devices and to determine their suitability for long-term use.

Patterson, Richard L.↗

Three model space experiments on chemical reactions

Three investigations conducted aboard Skylab IV and Apollo-Soyuz involved phenomena that are of interest to the biochemistry community. The formaldehyde clock reaction and the equilibrium shift reaction experiments conducted aboard Apollo Soyuz demonstrate the effect of low-g foams or air/liquid dispersions on reaction rate and chemical equilibrium. The electrodeposition reaction experiment conducted aboard Skylab IV demonstrate the effect of a low-g environment on an electrochemical displacement reaction. The implications of the three space experiments for various applications are considered.

Grodzka, P.↗

Transformation from proper time on earth to coordinate time in solar system barycentric space-time frame of reference

An expression was derived for the time transformation t - tau, where t is coordinate time in the solar system barycentric space-time frame of reference and tau is proper time obtained from a fixed atomic clock on earth. This transformation is suitable for use in the computation of high-precision earth-based range and Doppler observables of a spacecraft or celestial body located anywhere in the solar system; it can also be used in obtaining computed values of very long baseline interferometry data types. The formulation for computing range and Doppler observables, which is an explicit function of the transformation t - tau, is described briefly.

Moyer, T. D.↗

Rubidium atomic frequency standards for GPS Block IIR

The Rubidium Atomic Frequency Standards (RAFS) were provided for the GPS Block IIR NAVSTAR satellites. These satellites will replenish and upgrade the space segment of the Global Positioning System in the mid 1990s. The GPS RAFS Rb clocks are the latest generation of the high-performance rubidium frequency standards. They offer an aging rate in the low pp 10(exp 14)/day range and a drift-corrected 1-day stability in the low pp 10(exp 14) range. The Block IIR version of these devices will have improved performance, higher reliability, smaller size, and greater radiation hardness. The GPS Block IIR atomic clocks have a natural frequency configuration whereby they output a frequency of about 13.4 MHz that is a submultiple of the atomic resonance of Rb (or Cs). The RAFS operates at a low, fixed C-field for increased stability. The GPS Block IIR RAFS design, including the changes and improvements made, and the test results obtained are described.

Riley, William J.↗

Time Distribution Using SpaceWire in the SCaN Testbed on ISS

A paper describes an approach for timekeeping and time transfer among the devices on the CoNNeCT project s SCaN Testbed. It also describes how the clocks may be synchronized with an external time reference; e.g., time tags from the International Space Station (ISS) or RF signals received by a radio (TDRSS time service or GPS). All the units have some sort of counter that is fed by an oscillator at some convenient frequency. The basic problem in timekeeping is relating the counter value to some external time standard such as UTC. With SpaceWire, there are two approaches possible: one is to just use SpaceWire to send a message, and use an external wire for the sync signal. This is much the same as with the RS- 232 messages and l pps line from a GPS receiver. However, SpaceWire has an additional capability that was added to make it easier - it can insert and receive a special "timecode" word in the data stream.

Lux, James P.↗

Use of a Frequency Divider to Evaluate an SOI NAND Gate Device, Type CHT-7400, for Wide Temperature Applications

Frequency dividers constitute essential elements in designing phase-locked loop circuits and microwave systems. In addition, they are used in providing required clocking signals to microprocessors and can be utilized as digital counters. In some applications, particularly space missions, electronics are often exposed to extreme temperature conditions. Therefore, it is required that circuits designed for such applications incorporate electronic parts and devices that can tolerate and operate efficiently in harsh temperature environments. While present electronic circuits employ COTS (commercial-off- the-shelf) parts that necessitate and are supported with some form of thermal control systems to maintain adequate temperature for proper operation, it is highly desirable and beneficial if the thermal conditioning elements are eliminated. Amongst these benefits are: simpler system design, reduced weight and size, improved reliability, simpler maintenance, and reduced cost. Devices based on silicon-on-insulator (SOI) technology, which utilizes the addition of an insulation layer in the device structure to reduce leakage currents and to minimize parasitic junctions, are well suited for high temperatures due to reduced internal heating as compared to the conventional silicon devices, and less power consumption. In addition, SOI electronic integrated circuits display good tolerance to radiation by virtue of introducing barriers or lengthening the path for penetrating particles and/or providing a region for trapping incident ionization. The benefits of these parts make them suitable for use in deep space and planetary exploration missions where extreme temperatures and radiation are encountered. Although designed for high temperatures, very little data exist on the operation of SOI devices and circuits at cryogenic temperatures. In this work, the performance of a divide-by-two frequency divider circuit built using COTS SOI logic gates was evaluated over a wide temperature range and thermal cycling to determine suitability for use in space exploration missions and terrestrial fields under extreme temperature conditions.

Patterson, Richard L.↗

The Impact of Radiation Damage on Photon Counting with an EMCCD for the WFIRST-AFTA Coronagraph

WFIRST-AFTA is a 2.4m class NASA observatory designed to address a wide range of science objectives using two complementary scientific payloads. The Wide Field Instrument (WFI) offers Hubble quality imaging over a 0.28 square degree field of view, and will gather NIR statistical data on exoplanets through gravitational microlensing. The second instrument is a high contrast coronagraph that will carry out the direct imaging and spectroscopic analysis of exoplanets, providing a means to probe the structure and composition of planetary systems. The coronagraph instrument is expected to operate in low photon flux for long integration times, meaning all noise sources must be kept to a minimum. In order to satisfy the low noise requirements, the Electron Multiplication (EM)-CCD has been baselined for both the imaging and spectrograph cameras. The EMCCD was selected in comparison with other candidates because of its low effective electronic read noise at sub-electron values with appropriate multiplication gain setting. The presence of other noise sources, however, such as thermal dark signal and Clock Induced Charge (CIC), need to be characterised and mitigated. In addition, operation within a space environment will subject the device to radiation damage that will degrade the Charge Transfer Efficiency (CTE) of the device throughout the mission lifetime. Here we present our latest results from pre- and post-irradiation testing of the e2v CCD201-20 BI EMCCD sensor, baselined for the WFIRST-AFTA coronagraph instrument. A description of the detector technology is presented, alongside considerations for operation within a space environment. The results from a room temperature irradiation are discussed in context with the nominal operating requirements of AFTA-C and future work which entails a cryogenic irradiation of the CCD201-20 is presented.

Peddada, Pavani↗

Probing Galaxy Evolution in Massive Clusters Using ACT and DES: Splashback as a Cosmic Clock

We measure the projected number density profiles of galaxies and the splashback feature in clusters selected by the Sunyaev–Zel'dovich effect from the Advanced Atacama Cosmology Telescope (AdvACT) survey using galaxies observed by the Dark Energy Survey (DES). The splashback radius is consistent with CDM-only simulations and is located at-+-h2.4 Mpc0.40.31. We split the galaxies on color and find significant differences in their profile shapes. Red and green-valley galaxies show a splashback-like minimum in their slope profile consistent with theory, while the bluest galaxies show a weak feature at a smaller radius. We develop a mapping of galaxies to subhalos in simulations and assign colors based on infall time onto their hosts. We find that the shift in location of the steepest slope and different profile shapes can be mapped to the average time of infall of galaxies of different colors. The steepest slope traces a discontinuity in the phase space of dark matter halos. By relating spatial profiles to infall time, we can use splashback as a clock to understand galaxy quenching. We find that red galaxies have on average been in clusters over 3.2 Gyr, green galaxies about 2.2 Gyr, while blue galaxies have been accreted most recently and have not reached apocenter. Using the full radial profiles, we fit a simple quenching model and find that the onset of galaxy quenching occurs after a delay of about a gigayear and that galaxies quench rapidly thereafter with an exponential timescale of 0.6 Gyr.

Galaxy clusters↗

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

Introduction to some fundamental concepts of general relativity and to their required use in some modern timekeeping systems

Einstein's theory of gravity as curved space-time is presented. Emphasis is on the physical concepts, using only elementary mathematics. For the slow motions and weak gravitational fields experienced on Earth, the main curvature is that of time, not space. Experiments demonstrating this property are reviewed. The fundamental effects of motion and gravitational potential on clocks in many practical situations are discussed.

Alley, C. O.↗

Digital receiver for on-board FM/FSK-FM/BPSK demodulation

An all-digital demodulator FM/FSK-FM/BPSK is presented. The proposed architecture allows the 1-bit IF down-sampling technique with the hardware simplification of receiver analog section. The receiver exhibits great flexibility both in terms of signal demodulation (FSK or BPSK, subcarrier/ tone frequency, data rate) and interface capability. The demodulator is going to be realized in a VLSI chip (20 Kgate complexity). This paper describes the demodulator structure and its demodulation performances obtained with a breadboard based on programmable logic devices. The choice of a simple and effective scheme for frequency detection (FM and FSK demodulators) is suggested by system design considerations as well. Signal processing algorithms include also a Costas carrier phase recovery scheme in the case of BPSK signal and data transition tracking loop for the bit clock recovery. Test results address this solution as one of the most suitable for TT&C space application.

Boscagli, G.↗

STS-84 Day 02 Highlights

On this second day of the STS-84 mission, the flight crew, Cmdr. Charles J. Precourt, Pilot Eileen M. Collins, Payload Cmdr, Jean-Francois Clervoy (ESA), Mission Specialists Edward T. Lu, Carlos I. Noriega, Elena V. Kondakova, Jerry M. Linenger (download), and C. Michael Foale (upload) continues to close on the Mir Space Station in anticipation of the sixth linkup between the Shuttle and the Russian space complex. Preparations for the docking are nearly complete as Atlantis' seven astronauts worked around the clock to check out the rendezvous tools that will be used during the final phase of the approach to Mir.

Source record↗