SEARCH · Search NASA

Results for “clock models”

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.

SourceResearch connectionFrom yearThrough year

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

At least 145 records · Page 8

All sources NASA NTRS DOE OSTI

NASA NTRS2005

A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures

Recent advanced in model-checking have made it practical to formally verify the correctness of many complex synchronous systems (i.e., systems driven by a single clock). However, many computer systems are implemented by asynchronously composing several synchronous components, where each component has its own clock and these clocks are not synchronized. Formal verification of such Globally Asynchronous/Locally Synchronous (GA/LS) architectures is a much more difficult task. In this report, we describe a methodology for developing and reasoning about such systems. This approach allows a developer to start from an ideal system specification and refine it along two axes. Along one axis, the system can be refined one component at a time towards an implementation. Along the other axis, the behavior of the system can be relaxed to produce a more cost effective but still acceptable solution. We illustrate this process by applying it to the synchronization logic of a Dual Fight Guidance System, evolving the system from an ideal case in which the components do not fail and communicate synchronously to one in which the components can fail and communicate asynchronously. For each step, we show how the system requirements have to change if the system is to be implemented and prove that each implementation meets the revised system requirements through modelchecking.

Miller, Steven P.↗

NASA NTRS1990

Word timing recovery in direct detection optical PPM communication systems with avalanche photodiodes using a phase lock loop

A technique for word timing recovery in a direct-detection optical PPM communication system is described. It tracks on back-to-back pulse pairs in the received random PPM data sequences with the use of a phase locked loop. The experimental system consisted of an 833-nm AlGaAs laser diode transmitter and a silicon avalanche photodiode photodetector, and it used Q = 4 PPM signaling at source data rate 25 Mb/s. The mathematical model developed to describe system performance is shown to be in good agreement with the experimental measurements. Use of this recovered PPM word clock with a slot clock recovery system caused no measurable penalty in receiver sensitivity. The completely self-synchronized receiver was capable of acquiring and maintaining both slot and word synchronizations for input optical signal levels as low as 20 average detected photons per information bit. The receiver achieved a bit error probability of 10 to the -6th at less than 60 average detected photons per information bit.

Sun, Xiaoli↗

NASA NTRS1992

The statistical analysis of circadian phase and amplitude in constant-routine core-temperature data

Accurate estimation of the phases and amplitude of the endogenous circadian pacemaker from constant-routine core-temperature series is crucial for making inferences about the properties of the human biological clock from data collected under this protocol. This paper presents a set of statistical methods based on a harmonic-regression-plus-correlated-noise model for estimating the phases and the amplitude of the endogenous circadian pacemaker from constant-routine core-temperature data. The methods include a Bayesian Monte Carlo procedure for computing the uncertainty in these circadian functions. We illustrate the techniques with a detailed study of a single subject's core-temperature series and describe their relationship to other statistical methods for circadian data analysis. In our laboratory, these methods have been successfully used to analyze more than 300 constant routines and provide a highly reliable means of extracting phase and amplitude information from core-temperature data.

NASA Discipline Regulatory Physiology↗

NASA NTRS2018

SEXTANT X-Ray Pulsar Navigation Demonstration: Initial On-Orbit Results

Millisecond pulsars (MSPs) are rapidly rotating neutron stars that appear to pulsate across the electromagnetic spectrum. Some MSPs have long-term timing stability that rivals that of atomic clocks. Pulse arrival phase can be predicted with great accuracy at any reference point in the Solar System through use of a pulsar timing model on a spacecraft. Comparing observed phase to predictions gives information that may be used in a navigation process. Why X-rays? Some stable MSPs have conveniently detectable X-ray emissions. X-rays are immune to interstellar dispersion effects thought to limit radio pulsar timing models. Highly directional compact detectors possible.

Navigatio↗

NASA NTRS1990

New aspects of heavy cosmic rays from calcium to nickel (Z = 20 to 28)

Over the two year course of this grant a study was conducted to explore the implications of composition measurements of heavy cosmic rays made by the Third High Energy Astronomy Observatory (HEAO-3). To interpret these and other measurements this study combined for the first time new laboratory measurements of the fragmentation cross sections of heavy nuclei, a new semi-empirical cross section formula, and the latest in cosmic ray propagation and solar modulation models. These models were used to interpret abundance measurements from six recent satellite experiments, including, in particular, two from HEAO-3. The principal results of the study were: (1) an improved interpretation of the Mn-54 clock in cosmic rays, including predictions of the isotopic abundances of Mn for comparison with future isotope measurements; (2) the first realization of the effect of Mn-54 decay on studies of the source abundances of Fe isotopes; (3) improved source abundances of the elements Ar, Ca, Cr, Mn, Fe, and Ni in the cosmic ray source material; (4) an improved fit to the abundances of Fe secondaries in cosmic rays; and (5) additional evidence that supports the validity of the leaky-box model of cosmic ray propagation in the galaxy. This final report summarizes these new results, the new tools that were developed to obtain them, and presents a bibliography of talks and publications that resulted from this work.

Mewaldt, Richard A.↗

NASA NTRS1992

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

Evidence that has recently been compiled (Bai and Sturrock 1991) indicates that the enigmatic 154-day periodicity in solar activity may be viewed as part of a complex of periodicities that are approximate multiples of 25.8 days, suggesting that the Sun contains a 'clock' with frequency in the range 440 to 463 nano Hz. The clock may comprise either an oscillator or a rotator, each of which may be either real or virtual. We have reconsidered a previous spectrum analysis of the Zurich sunspot-number sequence by Knight, Schatten, and Sturrock (1979) which revealed a sharp, persistent and significant periodicity with a period of 12.072 days, corresponding to a frequency of about 958.8 nano Hz. This periodicity may be regarded as the (second) upper sideband of the second harmonic (2nu(sub R) + 2nu(sub E)) of a fundamental frequency of 447.7 nano Hz that is clearly within the search band. In this expression, nu(sub R) is the sidereal frequency of the hypothetical rotator and nu(sub E) is the frequency (31.69 nano Hz) of the Earth in its orbital motion around the Sun. In analyzing sunspot area data derived from the Greenwich data set, and on noting that any frequency is defined only to within the Nyquist frequency, we find clear evidence not only for the upper sideband of the second harmonic, but also for the second harmonic (2nu(sub R)) and the lower sideband of the second harmonic (2nu(sub R) - 2nu(sub E)). There is no strong peak at the fundamental frequency in the Greenwich data, but there is in the Zurich sunspot data. The effect of a linear oscillator is, to the lowest order in the amplitude, the same as the combined effect of two rotators of opposite polarities. A rotator that has arbitrary orientation with respect to the ecliptic may influence the outer layers of the Sun and thereby modulate the occurrence of solar activity such as sunspots. By analyzing a simple model, we find that such a rotator would influence surface activity in such a way that the spectrum of a 'signal' (such as the record of sunspots), as seen from the Earth, would contain components with frequencies that are certain integral combinations of nu(sub R) and nu(sub E). The amplitudes of the various components depend sensitively on theta, the angle between the axis of the rotator and the axis of the Earth's orbital motion. This simple model therefore offers a kinematical (but not dynamical) interpretation of the sunspot spectrum. The present analysis, while offering support of our conjectures that the Sun contains a clock that regulates the 154-day complex of periodicities, cannot distinguish between an osillator or a rotator (that might be a traveling wave), nor between a real rotator or a virtual rotator (that might be an apparent traveling wave due to the aliasing effect of an oscillator in a rotating system). Further analysis of sunspot and other data sets will be required to confirm the existence of such clock and (if it is real) to determine its physical nature.

Sturrock, P. A.↗

NASA NTRS1998

Compressibility and Turbulence Effects Due to Airfoil Clocking in Axial Compressors

Axial compressors have inherently unsteady flow fields because of relative motion between rotor and stator airfoils. This relative motion leads to viscous and inviscid (potential) interactions between blade rows. As the number of stages increases in a turbomachine, the buildup of convected wakes can lead to progressively more complex wake/wake and wake/airfoil interactions. Variations in the relative circumferential positions of stators or rotors can change these interactions, leading to different unsteady forcing functions on airfoils and different compressor efficiencies. In addition, as the Mach number increases the interaction between blade rows is intensified due to potential effects. The current study uses an unsteady, two-dimensional Navier-Stokes approach to investigate the unsteady aerodynamics of stator clocking in a 1-1/2 stage compressor, typical of high-pressure compressors used in advanced commercial jet engines. The effects of turbulence are modeled with both algebraic and two-equation models. Results include surface pressures, efficiencies, boundary layer quantities and turbulence quantities. In addition, the growth of turbulence and the effects of compressibility on airfoil are discussed.

Dorney, Daniel J.↗

NASA NTRS2007

Global Distortion of GPS Networks Associated with Satellite Antenna Model Errors

Recent studies of the GPS satellite phase center offsets (PCOs) suggest that these have been in error by approx.1 m. Previous studies had shown that PCO errors are absorbed mainly by parameters representing satellite clock and the radial components of site position. On the basis of the assumption that the radial errors are equal, PCO errors will therefore introduce an error in network scale. However, PCO errors also introduce distortions, or apparent deformations, within the network, primarily in the radial (vertical) component of site position that cannot be corrected via a Helmert transformation. Using numerical simulations to quantify the effects of PC0 errors, we found that these PCO errors lead to a vertical network distortion of 6-12 mm per meter of PCO error. The network distortion depends on the minimum elevation angle used in the analysis of the GPS phase observables, becoming larger as the minimum elevation angle increases. The steady evolution of the GPS constellation as new satellites are launched, age, and are decommissioned, leads to the effects of PCO errors varying with time that introduce an apparent global-scale rate change. We demonstrate here that current estimates for PCO errors result in a geographically variable error in the vertical rate at the 1-2 mm/yr level, which will impact high-precision crustal deformation studies.

Cardellach, E.↗

NASA NTRS2018

International Space Station Future Correlation Analysis Improvements

Ongoing modal analyses and model correlation are performed on different configurations of the International Space Station (ISS). These analyses utilize on-orbit dynamic measurements collected using four main ISS instrumentation systems: External Wireless Instrumentation System (EWIS), Internal Wireless Instrumentation System (IWIS), Space Acceleration Measurement System (SAMS), and Structural Dynamic Measurement System (SDMS). Remote Sensor Units (RSUs) are network relay stations that acquire flight data from sensors. Measured data is stored in the Remote Sensor Unit (RSU) until it receives a command to download data via RF to the Network Control Unit (NCU). Since each RSU has its own clock, it is necessary to synchronize measurements before analysis. Imprecise synchronization impacts analysis results. A study was performed to evaluate three different synchronization techniques: (i) measurements visually aligned to analytical time-response data using model comparison, (ii) Frequency Domain Decomposition (FDD), and (iii) lag from cross-correlation to align measurements. This paper presents the results of this study.

time synchronization↗

NASA NTRS1991

Controlling state explosion during automatic verification of delay-insensitive and delay-constrained VLSI systems using the POM verifier

Delay-insensitive VLSI systems have a certain appeal on the ground due to difficulties with clocks; they are even more attractive in space. We answer the question, is it possible to control state explosion arising from various sources during automatic verification (model checking) of delay-insensitive systems? State explosion due to concurrency is handled by introducing a partial-order representation for systems, and defining system correctness as a simple relation between two partial orders on the same set of system events (a graph problem). State explosion due to nondeterminism (chiefly arbitration) is handled when the system to be verified has a clean, finite recurrence structure. Backwards branching is a further optimization. The heart of this approach is the ability, during model checking, to discover a compact finite presentation of the verified system without prior composition of system components. The fully-implemented POM verification system has polynomial space and time performance on traditional asynchronous-circuit benchmarks that are exponential in space and time for other verification systems. We also sketch the generalization of this approach to handle delay-constrained VLSI systems.

Probst, D.↗

NASA NTRS1989

The abundances of isotopes in the cosmic radiation

Studies of the isotopic composition of nuclei in the cosmic radiation are reviewed, including abundances of the isotopes of elements from H to Ni, together with their implications for cosmic ray origin, acceleration, and transport in the Galaxy. The review focuses on determinations of the composition of cosmic ray source material, and the extent to which the isotopic composition of this material is different from, or similar to, typical solar system material and other samples of Galactic matter. Theoretical models that have been advanced to explain the observed overabundance of neutron-rich isotopes in cosmic rays are described. Also discussed are studies of various radioactive clocks that record the time-scales associated with the nucleosynthesis, acceleration, and transport of cosmic ray nuclei, and studies of the so-called anomalous cosmic ray component, thought to represent a sample of the neutral interstellar medium.

Mewaldt, R. A.↗

NASA NTRS1992

Intelligent fuzzy controller for event-driven real time systems

Most of the known linguistic models are essentially static, that is, time is not a parameter in describing the behavior of the object's model. In this paper we show a model for synchronous finite state machines based on fuzzy logic. Such finite state machines can be used to build both event-driven, time-varying, rule-based systems and the control unit section of a fuzzy logic computer. The architecture of a pipelined intelligent fuzzy controller is presented, and the linguistic model is represented by an overall fuzzy relation stored in a single rule memory. A VLSI integrated circuit implementation of the fuzzy controller is suggested. At a clock rate of 30 MHz, the controller can perform 3 MFLIPS on multi-dimensional fuzzy data.

Grantner, Janos↗

NASA NTRS1997

Exterior and Interior Polar Cusps: Observations from Hawkeye

Hawkeye plasma, magnetic field, and plasma wave instruments directly sampled the throat of the northern polar cusp as the orientation of the Interplanetary Magnetic Field (IMF) changed from southward to northward on July 3, 1974. Two distinct regions in the polar cusp were identified based on magnetic field, plasma flow and magnetic and electric noise: the interior and exterior cusps. The observations show highly variable flows in the exterior portion of the cusp and constantly strong dawn-dusk flows in the interior portion during periods of strong IMF By component. Results of a minimum variance analysis of the magnetic field at each cusp interface crossing provides evidence that the magnetopause surface normal deviated highly from empirical models. During intervals of relatively steady solar wind dynamic pressure, the motion of the cusp relative to the slow moving spacecraft was modulated by the varying IMF clock angle as observed by IMP 8 in the upstream solar wind. The motion did not show a correlation with internal processes monitored by the A E index. We propose that observed plasma flow patterns and cusp motion are results of reconnection between the IMF and the magnetospheric magnetic field. Flow velocity observed in the interior cusp is consistent with stress balance for a reconnection process. This unique interval provides an opportunity for detailed studies of the plasma, magnetic field, and plasma wave properties in both the exterior and interior cusp.

Chen, S.-H.↗

NASA NTRS2001

Model of Wave Driven Flow Oscillation for Solar Cycle

At low latitudes in the Earth's atmosphere, the observed zonal flow velocities are dominated by the semi-annual and quasi-biennial oscillations with periods of 6 months and 20 to 32 months respectively. These terrestrial oscillations, the SAO and QBO respectively, are driven by wave-mean flow interactions due to upward propagating planetary-scale waves (periods of days) and small-scale gravity waves (periods of hours). We are proposing (see also Mayr et al., GRL, 2001) that such a mechanism may drive long period oscillations (reversing flows) in stellar and planetary interiors, and we apply it to the Sun. The reversing flows would occur below the convective envelope where waves can propagate. We apply a simplified, one dimensional, analytical flow model that incorporates a gravity wave parameterization due to Hines (1997). Based on this analysis, our estimates show that relatively small wave amplitudes less than 10 m/s can produce zonal flow amplitudes of 20 m/s, which should be sufficient to generate the observed variations in the magnetic field. To produce the 22-year period of oscillation, a low buoyancy frequency must be chosen, and this places the proposed flow in a region that is close to (and below) the base of the convective envelope. Enhanced turbulence associated with this low stability should help to generate the dynamo currents. With larger stability at deeper levels in the solar interior, the model can readily produce also oscillations with much longer periods. To provide an understanding of the fluid dynamics involved, we present numerical results from a 2D model for the terrestrial atmosphere that exemplify the non-linear nature of the wave interaction for which a mechanical analog is the escapement mechanism of the clock.

Mayr, Hans G.↗

NASA NTRS2012

NASA Tech Briefs, February 2012

This issue contains the following briefs: (1) Optical Comb from a Whispering Gallery Mode Resonator for Spectroscopy and Astronomy Instruments Calibration (2) Real-Time Flight Envelope Monitoring System (3) Nemesis Autonomous Test System (4) Mirror Metrology Using Nano-Probe Supports (5) Automated Lab-on-a-Chip Electrophoresis System (6) Techniques for Down-Sampling a Measured Surface Height Map for Model Validation (7) Multi-Component, Multi-Point Interferometric Rayleigh/Mie Doppler Velocimeter (8) Frequency to Voltage Converter Analog Front-End Prototype (9) Dust-Tolerant Intelligent Electrical Connection System (10) Gigabit Ethernet Asynchronous Clock Compensation FIFO (11) High-Speed, Multi-Channel Serial ADC LVDS Interface for Xilinx Virtex-5 FPGA (12) Glovebox for GeoLab Subsystem in HDU1-PEM (13) Modified Process Reduces Porosity when Soldering in Reduced Gravity Environments (14) Use of Functionalized Carbon Nanotubes for Covalent Attachment of Nanotubes to Silicon (15) Flexible Plug Repair for Shuttle Wing Leading Edge (16) Three Dimensionally Interlinked, Dense, Solid Form of Single-Walled CNT Ropes (17) Axel Robotic Platform for Crater and Extreme Terrain Exploration (18) Site Tamper and Material Plow Tool - STAMP (19) Magnetic Interface for Segmented Mirror Assembly (20) Transpiration-Cooled Spacecraft-Insulation-Repair Fasteners (21) Fluorescence-Based Sensor for Monitoring Activation of Lunar Dust (22) Aperture Ion Source (23) Virtual Ultrasound Guidance for Inexperienced Operators (24) Model-Based Fault Diagnosis: Performing Root Cause and Impact Analyses in Real Time (25) Interactive Schematic Integration Within the Propellant System Modeling Environment (26) Magnetic and Electric Field Polarizations of Oblique Magnetospheric Chorus Waves (27) Variable Sampling Mapping.

Source record↗

NASA NTRS1985

Doubly-Differenced Measurements for Orbit Determinations

Report describes accurate method of determining orbit of low-altitude Earth satellite. Method insensitive to clock errors and provides continuous determination of orbit. Report examines effects of employing fewer ground stations, applying different solution strategies, and introducing fictitious thrust parameters to minimize geopotential modeling error - one of major error sources.

Wu, S. C.↗

NASA NTRS2005

Origin of the Eumetazoa: testing ecological predictions of molecular clocks against the Proterozoic fossil record

Molecular clocks have the potential to shed light on the timing of early metazoan divergences, but differing algorithms and calibration points yield conspicuously discordant results. We argue here that competing molecular clock hypotheses should be testable in the fossil record, on the principle that fundamentally new grades of animal organization will have ecosystem-wide impacts. Using a set of seven nuclear-encoded protein sequences, we demonstrate the paraphyly of Porifera and calculate sponge/eumetazoan and cnidarian/bilaterian divergence times by using both distance [minimum evolution (ME)] and maximum likelihood (ML) molecular clocks; ME brackets the appearance of Eumetazoa between 634 and 604 Ma, whereas ML suggests it was between 867 and 748 Ma. Significantly, the ME, but not the ML, estimate is coincident with a major regime change in the Proterozoic acritarch record, including: (i) disappearance of low-diversity, evolutionarily static, pre-Ediacaran acanthomorphs; (ii) radiation of the high-diversity, short-lived Doushantuo-Pertatataka microbiota; and (iii) an order-of-magnitude increase in evolutionary turnover rate. We interpret this turnover as a consequence of the novel ecological challenges accompanying the evolution of the eumetazoan nervous system and gut. Thus, the more readily preserved microfossil record provides positive evidence for the absence of pre-Ediacaran eumetazoans and strongly supports the veracity, and therefore more general application, of the ME molecular clock.

NASA Discipline Evolutionary Biology↗

NASA NTRS1989

Impaired driving performance in shiftworkers: the role of the circadian system in a multifactorial model

A substantial and growing percentage of the U.S. work force now works on a rotating shift schedule. The repeated changes in sleep-wake, meal and work times inherent in such schedules conflict with the dictates of the internal biological clock and have adverse consequences for the health of the shiftworker population. An important consequence of this conflict is impaired performance, both on and off the job, as indexed by the increased incidence of motor vehicle accidents in shift workers. In this paper we report the results of a survey administered to rotating shift and straight day workers at a manufacturing plant in the eastern U.S. This survey documents an increased incidence of motor vehicle accidents or "near misses" in which sleepiness was implicated as a cause by the respondent. Complaints of poor sleep and increased sleepiness were also significantly more common in shiftworkers than day workers. Last, shiftworkers reported higher caffeine and alcohol consumption, and were more likely to use alcohol as a sleep aid. Although causal links cannot be established using these associative observations alone, previously reported experience with alteration of shift schedules, improvement of levels of alertness, and reduction in adverse performance outcomes corroborate the possibility of a causal link and suggest potential interventions.

NASA Discipline Regulatory Physiology↗