Search NASA⌕ Search

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.

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

At least 217 records · Page 12

Dynamic orbit determination using GPS measurements from TOPEX/POSEIDON

The GPAS data acquired by the TOPEX/POSEIDON (T/P) Demonstration Receiver (DR) have been used in a dynamic orbit determination, which was based on the description of the gravitational and nongravitational forces in the equations of motion. The GPS carrier phase data were processed in a double difference mode to remove clock errors, including the effects of Selective Availability. Simultaneous estimation of the T/P orbit and GPS orbits was performed using five 10-day cycles in the interval between December (1992) and April (1993). The resulting T/P orbits have been compared with the orbits determined from Satellite Laser Ranging, the French one-way Doppler tracking system, DORIS, and with the JPL reduced dynamic orbit determination strategies and force models with the GPS/DR to those used with SLR/DORIS, the radial component of the T/P orbit (based on JGM-2) was found to agree better than 30 mm (rms) and 35 mm with the JPL reduced dynamic orbit. An experiment gravity tuning was accomplished using four cycles of GPS/DR data. The resulting GPS./DR-orbits, determined by the dynamic technique with the experimental gravity field, are in better agreement with the JPL reduced dynamic orbits in both the radial component (21-25 mm) and altimeter crossover residuals than the JGM-2 orbits. (21-25 mm) and altimeter crossover residuals than the JGM-2 orbits.

Schultz, B. E.↗

Autonomous Navigation of a Lunar Relay Using GNSS and Other Measurements

NASA’s Lunar Communications Relay and Navigation Services (LCRNS) project will establish a relay constellation at the Moon to provide the south pole region with communications and position, navigation, and time (PNT) services. These services will require highly accurate knowledge of position, velocity, and time (PVT) for each relay. This paper explores one approach for performing onboard PVT estimation, the LCRNS PNT Instrument (LPI). This paper considers different configurations of the instrument, specifically different measurement types and clocks, and the resulting navigation performance. Simulation results are first shown for an instrument configuration that uses GPS pseudorange and Doppler measurements with a highly sensitive GPS receiver (i.e., an acquisition and tracking threshold of 23 dB-Hz) and a chip-scale atomic clock (CSAC). The importance of Doppler, clock quality, receiver sensitivity, and optical navigation is examined through comparison of these results to other instrument configurations. Clock quality (i.e., stability) is the strongest determinant of achievable performance, and the inclusion of GPS Doppleralso has a significant effect. Finally, simulation results are compared to two laboratory tests: first a case that includes GPS receiver hardware in the loop, then a case that includes optical navigation and filter flight software in the loop. These agreeclosely with the simulation results and provide evidence the simulation is accurately modeling the instrument under development.

Benjamin W Ashman↗

A Pulsar-Based Time-Scale from the International Pulsar Timing Array

We have constructed a new time-scale, TT(IPTA16), based on observations of radio pulsars presented in the first data release from the International Pulsar Timing Array (IPTA). We used two analysis techniques with independent estimates of the noise models for the pulsar observations and different algorithms for obtaining the pulsar time-scale. The two analyses agree within the estimated uncertainties and both agree with TT(BIPM17), a post-corrected time-scale produced by the Bureau International des Poids et Mesures (BIPM). We show that both methods could detect significant errors in TT(BIPM17) if they were present. We estimate the stability of the atomic clocks from which TT(BIPM17) is derived using observations of four rubidium fountain clocks at the US Naval Observatory. Comparing the power spectrum of TT(IPTA16) with that of these fountain clocks suggests that pulsar-based time-scales are unlikely to contribute to the stability of the best time-scales over the next decade, but they will remain a valuable independent check on atomic time-scales. We also find that the stability of the pulsar-based time-scale is likely to be limited by our knowledge of solar-system dynamics, and that errors in TT(BIPM17) will not be a limiting factor for the primary goal of the IPTA, which is to search for the signatures of nano-Hertz gravitational waves.

G. Hobbs↗

Orbit determination of low-altitude earth satellites using GPS RF Doppler

This paper investigates the use of one type of GPS-signal derived measurement, the doubly differenced GPS RF Doppler, in the orbit determination of low-altitude earth satellites. This measurement is simple to make, is insensitive to clock errors and provides a continuous determination of the user satellite orbit. Analysis shows that, with a constellation of 18 GPS satellites and 13 ground stations, the 1300 km altitude of a user satellite (TOPEX) can be determined to 5 cm in 2 hours of tracking. Examination is made of the effects of employing fewer ground stations, of different solution strategies, and of introducing fictitious thrust parameters to alleviate the geopotential modeling error which is one of the major error sources.

Wu, S. C.↗

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

A Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present an outline of a deductive proof of the correctness of the protocol. A model of the protocol was mechanically verified using the Symbolic Model Verifier (SMV) for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗

Mathematical models of the open magnetosphere - Application to dayside auroras.

Two static mathematical models of the open or Dungey model of the magnetosphere are constructed. The process of construction is similar to that for early closed magnetosphere models, such as the Taylor-Hones model. The first model in fact is simply an addition of an interplanetary field in arbitrary direction to a Taylor-Hones image dipole model. In order to preserve the shape of the magnetosphere at high latitudes, and to partially exclude the exterior field, another model is constructed with the magnetopause approximated by a diamagnetic sphere. We find that there are some interplanetary field lines connected to the earth for all orientations of the interplanetary field other than strictly northward, and that the maximum number of connected field lines occurs with a due southward field. For an average spiral hose angle of the interplanetary field, the dayside neutral point occurs on the magnetopause at about 10 o'clock local time. Dayside auroras, convection patterns, and other phenomena may exhibit symmetry about this local time. For a positive (negative) interplanetary field sector, energetic, anisotropic particle fluxes should have direct access to the northern (southern) polar caps, as is supported by many recent observations.

Forbes, T. G.↗

Advanced technology satellite demodulator development

Ford Aerospace has developed a proof-of-concept satellite 8 phase shift keying (PSK) modulation and coding system operating in the Time Division Multiple Access (TDMA) mode at a data range of 200 Mbps using rate 5/6 forward error correction coding. The 80 Msps 8 PSK modem was developed in a mostly digital form and is amenable to an ASIC realization in the next phase of development. The codec was developed as a paper design only. The power efficiency goal was to be within 2 dB of theoretical at a bit error rate (BER) of 5x10(exp 7) while the measured implementation loss was 4.5 dB. The bandwidth efficiency goal was 2 bits/sec/Hz while the realized bandwidth efficiency was 1.8 bits/sec/Hz. The burst format used a preamble of only 40 8 PSK symbol times including 32 symbols of all zeros and an eight symbol unique word. The modem and associated special test equipment (STE) were fabricated mostly on a specially designed stitch-weld board although a few of the highest rate circuits were built on printed circuit cards. All the digital circuits were ECL to support the clock rates of from 80 MHz to 360 MHz. The transmitter and receiver matched filters were square-root Nyquist bandpass filters realized at the 3.37 GHz i.f. The modem operated as a coherent system although no analog phase locked (PLL) loop was employed. Within the budgetary constraints of the program, the approach to the demodulator has been proven and is eligible to proceed to the next phase of development of a satellite demodulator engineering model. This would entail the development of an ASIC version of the digital portion of the demodulator, and MMIC version of the quadrature detector, and SAW Nyquist filters to realize the bandwidth efficiency.

Ames, Stephen A.↗

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↗

Development of a drive system for a sequential space camera

Breadboard models of single and dual motor drives for the shutter, claw and magazine of a space camera system were designed and tested. The single motor technique utilizes a single electronically commutated motor to drive the claw and shutter without resorting to a solenoid actuated clutch for pulse operation. Shutter speed is established by a combination of the cinemode speed and the opening of the conventional DAC two piece shutter. Pulse mode operation is obtained by applying power at a fixed clock rate and removing power at an appropriate point in the mechanical cycle such that the motor comes to rest by system friction. The dual motor approach utilizes a stepper motor to drive the shutter and an electronically commutated dc motor to drive the claw and magazine functions. The motors are synchronized electronically.

Sharpsteen, J. T.↗

Evidence from Quasi-Periodic Oscillations for a Millisecond Pulsar in the Low Mass X-Ray Binary 4U 0614+091

We have detected quasi-periodic oscillations (QPOs) near 1 kHz from the low mass X-ray binary 4U 0614+091 in observations with RXTE. The observations span several months and sample the source over a large range of X-ray luminosity. In every interval QPOs are present above 400 Hz with fractional RMS amplitudes from 3 to 12% over the full PCA band. At high count rates, two high frequency QPOs are detected simultaneously. The difference of their frequency centroids is consistent with a constant value of 323 Hz in all observations. During one interval a third signal is detected at 328 +/- 2 Hz. This suggests the system has a stable 'clock' which is most likely the neutron star with spin period 3.1 msec. Thus, our observations of 4U 0614+091 and those of 4U 1728-34 provide the first evidence for millisecond pulsars within low-mass X-ray binary systems and reveal the 'missing-link' between millisecond radiopulsars and the late stages of binary evolution in low mass X-ray binaries. The constant difference of the high frequency QPOs sug,,ests a beat-frequency interpretation. In this model, the high frequency QPO is associated with the Keplerian frequency of the inner accretion disk and the lower frequency QPO is a 'beat' between the differential rotation frequency of the inner disk and the spinning neutron star. Assuming the high frequency QPO is a Keplerian orbital frequency for the accretion disk, we find a maximum mass of 1.9 solar mass and a maximum radius of 17 km for the neutron star.

Ford, E.↗

A new coherent demodulation technique for land-mobile satellite communications

An advanced coherent demodulation technique is described for land mobile satellite (LMS) communications. The proposed technique features a combined narrow/wind band dual open loop carrier phase estimator, which is effectively able to compensate the fast carrier phase fluctuation by fading with sacrificing a phase slip rate. Also included is the realization of quick carrier and clock reacquisition after shadowing by taking open loop structure. Its bit error rate (BER) performance is superior to that of existing detection schemes, showing a BER of 1 x 10(exp -2) at 6.3 dB E sub b/N sub o over the Rician channel with 10 dB C/M and 200 Hz (1/16 modulation rate) fading pitch f sub d for QPSK. The proposed scheme consists of a fast response carrier recovery and a quick bit timing recovery with an interpolation. An experimental terminal model was developed to evaluate its performance at fading conditions. The results are quite satisfactory, giving prospects for future LMS applications.

Yoshida, Shousei↗

A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This paper presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. We present an outline of a deductive proof of the correctness of the protocol. A bounded model of the protocol was mechanically verified for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗

Rapid Variability of Mrk 421 During Extreme Flaring as Seen Through the Eyes of XMM-Newton

By studying the variability of blazars across the electromagnetic spectrum, it is possible to resolve the underlying processes responsible for rapid flux increases, so-called flares. We report on an extremely bright X-ray flare in the high-peaked BL Lacertae object Markarian 421 (Mrk 421) that occurred simultaneously with enhanced γ-ray activity detected at very high energies by First G-APD Cherenkov Telescope on 2019 June 9. We triggered an observation with XMM–Newton, which observed the source quasi-continuously for 25 h. We find that the source was in the brightest state ever observed using XMM–Newton, reaching a flux of 2.8 × 10 −9 erg cm -2 s -1 over an energy range of 0.3–10 keV. We perform a spectral and timing analysis to reveal the mechanisms of particle acceleration and to search for the shortest source-intrinsic time-scales. Mrk 421 exhibits the typical harder-when-brighter behaviour throughout the observation and shows a clock-wise hysteresis pattern, which indicates that the cooling dominates over the acceleration process. While the X-ray emission in different sub-bands is highly correlated, we can exclude large time lags as the computed z-transformed discrete correlation functions are consistent with a zero lag. We find rapid variability on time-scales of 1 ks for the 0.3–10 keV band and down to 300 s in the hard X-ray band (4–10 keV). Taking these time-scales into account, we discuss different models to explain the observed X-ray flare, and find that a plasmoid-dominated magnetic reconnection process is able to describe our observation best.

acceleration of particles↗

A three dimensional multigrid Reynolds-averaged Navier-Stokes solver for unstructured meshes

A three-dimensional unstructured mesh Reynolds averaged Navier-Stokes solver is described. Turbulence is simulated using a single field-equation model. Computational overheads are minimized through the use of a single edge-based data-structure, and efficient multigrid solution technique, and the use of multi-tasking on shared memory multi-processors. The accuracy and efficiency of the code are evaluated by computing two-dimensional flows in three dimensions and comparing with results from a previously validated two-dimensional code which employs the same solution algorithm. The feasibility of computing three-dimensional flows on grids of several million points in less than two hours of wall clock time is demonstrated.

Mavriplis, D. J.↗

Watchdog activity monitor (WAM) for use wth high coverage processor self-test

A high fault coverage, instruction modeled self-test for a signal processor in a user environment is disclosed. The self-test executes a sequence of sub-tests and issues a state transition signal upon the execution of each sub-test. The self-test may be combined with a watchdog activity monitor (WAM) which provides a test-failure signal in the presence of a counted number of state transitions not agreeing with an expected number. An independent measure of time may be provided in the WAM to increase fault coverage by checking the processor's clock. Additionally, redundant processor systems are protected from inadvertent unsevering of a severed processor using a unique unsever arming technique and apparatus.

Tulpule, Bhalchandra R.↗

A Soft X-Ray Spectral Episode for the Clocked Burster, GS 1826-24 as Measured by Swift and NuSTAR

We report on NuSTAR and Swift observations of a soft state of the neutron star low-mass X-ray binary GS 1826-24, commonly known as the "clocked" burster. The transition to the soft state was recorded in 2014 June through an increase of the 2-20 keV source intensity measured by MAXI, simultaneous with a decrease of the 15-50 keV intensity measured by Swift/BAT. The episode lasted approximately two months, after which the source returned to its usual hard state. We analyze the broadband spectrum measured by Swift/XRT and NuSTAR and estimate the accretion rate during the soft episode to be approximately equal to 13% m(sub Edd), within the range of previous observations. However, the best-fit spectral model, adopting the double Comptonization used previously, exhibits significantly softer components. We detect seven type-I X-ray bursts, all significantly weaker (and with shorter rise and decay times) than observed previously. The burst profiles and recurrence times vary significantly, ruling out the regular bursts that are typical for this source. One burst exhibited photospheric radius expansionand we estimate the source distance as (5.7 +/- 0.2) xi(sub b)(exp -1/2) kpc, where xi(sub b) parameterizes the possible anisotropy of the burst emission. The observed soft state may most likely be interpreted as a change in accretion geometry at about similar bolometric luminosity as in the hard state. The different burst behavior can therefore be attributed to this change in accretion flow geometry, but the fundamental cause and process for this effect remain unclear.

accretion↗

Development of Software to Model AXAF-I Image Quality

This draft final report describes the work performed under the delivery order number 145 from May 1995 through August 1996. The scope of work included a number of software development tasks for the performance modeling of AXAF-I. A number of new capabilities and functions have been added to the GT software, which is the command mode version of the GRAZTRACE software, originally developed by MSFC. A structural data interface has been developed for the EAL (old SPAR) finite element analysis FEA program, which is being used by MSFC Structural Analysis group for the analysis of AXAF-I. This interface utility can read the structural deformation file from the EAL and other finite element analysis programs such as NASTRAN and COSMOS/M, and convert the data to a suitable format that can be used for the deformation ray-tracing to predict the image quality for a distorted mirror. There is a provision in this utility to expand the data from finite element models assuming 180 degrees symmetry. This utility has been used to predict image characteristics for the AXAF-I HRMA, when subjected to gravity effects in the horizontal x-ray ground test configuration. The development of the metrology data processing interface software has also been completed. It can read the HDOS FITS format surface map files, manipulate and filter the metrology data, and produce a deformation file, which can be used by GT for ray tracing for the mirror surface figure errors. This utility has been used to determine the optimum alignment (axial spacing and clocking) for the four pairs of AXAF-I mirrors. Based on this optimized alignment, the geometric images and effective focal lengths for the as built mirrors were predicted to cross check the results obtained by Kodak.

Ahmad, Anees↗