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 91 records · Page 5

Validating and Verifying Biomathematical Models of Human Fatigue

Airline pilots experience acute and chronic sleep deprivation, sleep inertia, and circadian desynchrony due to the need to schedule flight operations around the clock. This sleep loss and circadian desynchrony gives rise to cognitive impairments, reduced vigilance and inconsistent performance. Several biomathematical models, based principally on patterns observed in circadian rhythms and homeostatic drive, have been developed to predict a pilots levels of fatigue or alertness. These models allow for the Federal Aviation Administration (FAA) and commercial airlines to make decisions about pilot capabilities and flight schedules. Although these models have been validated in a laboratory setting, they have not been thoroughly tested in operational environments where uncontrolled factors, such as environmental sleep disrupters, caffeine use and napping, may impact actual pilot alertness and performance. We will compare the predictions of three prominent biomathematical fatigue models (McCauley Model, Harvard Model, and the privately-sold SAFTE-FAST Model) to actual measures of alertness and performance. We collected sleep logs, movement and light recordings, psychomotor vigilance task (PVT), and urinary melatonin (a marker of circadian phase) from 44 pilots in a short-haul commercial airline over one month. We will statistically compare with the model predictions to lapses on the PVT and circadian phase. We will calculate the sensitivity and specificity of each model prediction under different scheduling conditions. Our findings will aid operational decision-makers in determining the reliability of each model under real-world scheduling situations.

fatigue↗

WFIRST Coronagraph Detector Trap Modeling Results and Improvements

The WFIRST coronagraph is being designed to detect and characterize mature exoplanets through the starlight reflected from their surfaces and atmospheres. The light incident on the detector from these distant exoplanets is estimated to be on the order of a few photons per pixel per hour. To measure such small signals, the project has baselined the CCD201 detector made by e2v, a low-noise and high-efficiency electron-multiplying charge-coupled device (EMCCD), and has instituted a rigorous test and modeling program to characterize the device prior to flight. An important consideration is detector performance degradation over the proposed mission lifetime due to radiation exposure in space. To quantify this estimated loss in performance, the project has built a detector trap model that takes into account detailed trap interactions at the sub-pixel level, including stochastic trap capture and release, and the deferment of charge into subsequent pixels during parallel and serial clocking of the pseudo-two-phase CCD201 device. This paper describes recent detector trap model improvements and modeling results.

Holland, Andrew↗

Reconnection voltage as a function of IMF clock angle

Magnetic reconnection between the IMF and the geomagnetic field is thought to play a major role in the transfer of solar wind momentum and energy to the magnetosphere. Both analytic modeling and analysis of geophysical data have shown that this coupling process should be a sensitive function of the clock angle of the IMF. Results are presented from a three-dimensional, MHD, global numerical simulation code for the reconnection voltage between the closed geomagnetic field and the IMF as a function of the IMF clock angle. These results are consistent with a sin(theta/2) functional behavior.

Fedder, J. A.↗

NASA Tech Briefs, May 2003

Topics covered include: Using Diffusion Bonding in Making Piezoelectric Actuators; Wireless Temperature-Monitoring System; Analog Binaural Circuits for Detecting and Locating Leaks; Mirrors Containing Biomimetic Shape-Control Actuators; Surface-Micromachined Planar Arrays of Thermopiles; Cascade Back-Propagation Learning in Neural Networks; Perovskite Superlattices as Tunable Microwave Devices; Rollable Thin-Shell Nanolaminate Mirrors; Flight Tests of a Ministick Controller in an F/A-18 Airplane; Piezoelectrically Actuated Shutter for High Vacuum; Bio-Inspired Engineering of Exploration Systems; Microscope Cells Containing Multiple Micromachined Wells; Electrophoretic Deposition for Fabricating Microbatteries; Integrated Arrays of Ion-Sensitive Electrodes; Model of Fluidized Bed Containing Reacting Solids and Gases; Membrane Mirrors With Bimorph Shape Actuators; Using Fractional Clock-Period Delays in Telemetry Arraying; Developing Generic Software for Spacecraft Avionics; Numerical Study of Pyrolysis of Biomass in Fluidized Beds; and Assessment of Models of Chemically Reacting Granular Flows.

Source record↗

A Self-Stabilizing Byzantine-Fault-Tolerant Clock Synchronization Protocol

This report presents a rapid Byzantine-fault-tolerant self-stabilizing clock synchronization protocol that is independent of application-specific requirements. It is focused on clock synchronization of a system in the presence of Byzantine faults after the cause of any transient faults has dissipated. A model of this protocol is mechanically verified using the Symbolic Model Verifier (SMV) [SMV] where the entire state space is examined and proven to self-stabilize in the presence of one arbitrary faulty node. Instances of the protocol are proven to tolerate bursts of transient failures and deterministically converge with a linear convergence time with respect to the synchronization period. This protocol does not rely on assumptions about the initial state of the system other than the presence of sufficient number of good nodes. All timing measures of variables are based on the node s local clock, and no central clock or externally generated pulse is used. The Byzantine faulty behavior modeled here is a node with arbitrarily malicious behavior that is allowed to influence other nodes at every clock tick. The only constraint is that the interactions are restricted to defined interfaces.

Malekpour, Mahyar R.↗

Computational Study of Combustor-Turbine Interactions

The Open National Combustion Code (OpenNCC) is applied to the simulation of a realisticcombustor configuration [Energy Efficient Engine (E(exp. 3))] in order to investigate the unsteady flow fields inside the combustor and around the first stage stator of a high pressure turbine (HPT). We consider one-twelfth (24 degrees) of the full annular E(exp. 3) combustor with three different geometries of the combustor exit: one without the vane, and two others with the vane set at different relative positions in relation to the fuel nozzle (clocking). Although it is common to take the exit flow profiles obtained by separately simulating the combustor and then feed it as the inflow profile when modeling the HPT, our studies show that the unsteady flow fields are influenced by the presence of the vane as well as clocking. More importantly, the characteristics (e.g., distribution and strength) of the high temperature spots (i.e., hot-streaks) appearing on the vane significantly alters. This indicates the importance of simultaneously modeling both the combustor and the HPT to understand the mechanics of the unsteady formulation of hot-streaks.

turbines↗

Computational Study of Combustor-Turbine Interactions

The Open National Combustion Code (OpenNCC) is applied to the simulation of a realisticcombustor configuration (Energy Efficient Engine (E3)) in order to investigate the unsteady flow fields inside the combustor and around the first stage stator of a high pressure turbine (HPT). We consider one-twelfth (24 degrees) of the full annular E3 combustor with three different geometries of the combustor exit: one without the vane, and two others with the vane set at different relative positions in relation to the fuel nozzle (clocking). Although it is common to take the exit flow profiles obtained by separately simulating the combustor and then feed it as the inflow profile when modeling the HPT, our studies show that the unsteady flow fields are influenced by the presence of the vane as well as clocking. More importantly, the characteristics (e.g., distribution and strength) of the high temperature spots (i.e., hot-streaks) appearing on the vane significantly alters. This indicates the importance of simultaneously modeling both the combustor and the HPT to understand the mechanics of the unsteady formulation of hot-streaks.

turbines↗

Clock Technology Development in the Laser Cooling and Atomic Physics (LCAP) Program

This paper presents the Laser Cooling and Atomic Physics (LCAP) program. It focuses on clock technology development. The topics include: 1) Overview of LCAP Flight Projects; 2) Space Clock 101; 3) Physics with Clocks in microgravity; 4) Space Clock Challenges; 5) LCAP Timeline; 6) International Space Station (ISS) Science Platforms; 7) ISS Express Rack; 8) Space Qualification of Components; 9) Laser Configuration; 10) Clock Rate Comparisons: GPS Carrier Phase Frequency Transfer; and 11) ISS Model Views. This paper is presented in viewgraph form.

Seidel, Dave↗

A Proposed Clock Synchronization Method for the Solar System Internet

Networked communications in space are necessary to achieve scalability in terms of the number of communicating nodes but also in terms of the overall system complexity. A key component to such a system is the ability to synchronize clocks, which is the focus of this paper. The so-called Solar System Internet (SSI) will be built upon Delay Tolerant Networking (DTN), which, in analogy to the Internet Protocol (IP), can be considered a suite of protocols necessary for networking in the space domain. Therefore, our goal is to extend this suite to include a DTN clock synchronization capability, analogous to the Network Time Protocol (NTP) used in the Internet. A motivating example of a network in space is NASA’s LunaNet, a vision for a multi-hop multi-path network extending to the moon wherein not all nodes will have direct connections to an authoritative reference clock. In this paper, we propose a general clock synchronization methodology and algorithm that could be used for LunaNet as well as more elaborate time-varying networks. In recent years, DTN has benefited from modeling efforts founded on the mathematical tool of sheaves. Here we continue this work to provide an approach to clock synchronization. Due to the time-varying nature of space networks, absolute consensus is not possible. However, the sheaf Laplacian provides a practical, distributed approach to approximating consensus by allowing data to diffuse through the network. In particular, the sheaf Laplacian is readily computable, lending our approach to implementation. Our approach is well suited to handle the difficulties of space networks. For instance, differences in clock accuracy mean certain nodes are more authoritative than others; we can account for these differences through hierarchies in the network, generalizing the strata in NTP. Furthermore, just as error estimation is an integral part of NTP, we are able to give concrete error bounds for our approach. Indeed, different applications (e.g., communications schedules, pointing, navigation, distributed science) will have different requirements, hence it is necessary to maintain clocks within a given tolerance. We outline some of the necessary steps to turn our approach into a practical network protocol that could be used in DTN, and we conclude the paper with suggestions for future research.

Michael Moy↗

WFIRST/AFTA Coronograph Contrast Performance Sensitivity Studies: Simulation Versus Experiment

The WFIRST/AFTA 2.4 m space telescope currently under study includes a stellar coronagraph for the imaging and the spectral characterization of extrasolar planets. The coronagraph employs sequential deformable mirrors to compensate for phase and amplitude errors. Using the optical model of an Occulting Mask Coronagraph (OMC) testbed at the Jet Propulsion Laboratory, we have investigated through modeling and simulations the sensitivity of dark hole contrast in a Hybrid Lyot Coronagraph (HLC) for several error cases, including lateral and longitudinal translation errors of two deformable mirrors, DM1 and DM2, lateral and/or longitudinal translation errors of an occulting mask and a Lyot-Stop, clocking errors of DM1 and DM2, and the mismatch errors between the testbed and the model sensitivity matrices. We also investigated the effects of a control parameter, namely the actuator regularization factor, on the control efficiency and on the final contrast floor. We found several error cases which yield contrast results comparable to that observed on the HLC testbed. We present our findings in this paper.

Coronagraphy↗

WFIRST/AFTA coronograph contrast performance sensitivity studies: simulation versus experiment

The WFIRST/AFTA 2.4 m space telescope currently under study includes a stellar coronagraph for the imaging and the spectral characterization of extrasolar planets. The coronagraph employs sequential deformable mirrors to compensate for phase and amplitude errors. Using the optical model of an Occulting Mask Coronagraph (OMC) testbed at the Jet Propulsion Laboratory, we have investigated through modeling and simulations the sensitivity of dark hole contrast in a Hybrid Lyot Coronagraph (HLC) for several error cases, including lateral and longitudinal translation errors of two deformable mirrors, DM1 and DM2, lateral and/or longitudinal translation errors of an occulting mask and a Lyot-Stop, clocking errors of DM1 and DM2, and the mismatch errors between the testbed and the model sensitivity matrices. We also investigated the effects of a control parameter, namely the actuator regularization factor, on the control efficiency and on the final contrast floor. We found several error cases which yield contrast results comparable to that observed on the HLC testbed. We present our findings in this paper.

Nemati, Bijan↗

Impact of Jason-2/T2L2 Ultra-Stable-Oscillator Frequency Model on DORIS stations coordinates and Earth Orientation Parameters

Doppler Orbitography and Radiopositioning Integrated on Satellite (DORIS)is a tracking technique based on a one-way ground to space Doppler link.For Low Earth Orbit (LEO) satellites, DORIS shows a robust capability interms of data coverage and availability, due to a wide and well-distributedground network, where data are made available by the International DorisService (IDS). However, systematic errors remain in the DORIS data, suchas instabilities of the on-board clock due to radiation encountered in space,which limit the accurate determination of station positions.The DORIS on-board clock frequency stability is degraded by the increased radiation found in the region of the South Atlantic Anomaly (SAA)and has been shown to degrade station position estimation. This paper in-troduces a new model correction to the DORIS data for the frequency ofthe Jason-2 Ultra Stable Oscillator (USO), derived from the Time Transferby Laser Link (T2L2) experiment (Belli and Exertier, 2018). We show thata multi-satellite DORIS solution including this T2L2-corrected data appliedto the frequency modelling for The DORIS data, improves the estimationof station coordinates. We show the tie residuals with respect to collocatedGPS stations are improved by several millimeters. We also demonstratethat the 117-day (Jason-2) draconitic signal in the geophysical parametersis reduced, implying that the origin of this signal is not just solar radiationpressure mis-modeling, but also radiation-induced clock perturbations onthe Jason-2 DORIS Ultra-Stable-Oscillator (USO). Finally we demonstratethrough comparisons with the International Earth Rotations and ReferenceSystems Service (IERS) C04 series for Earth Orientation Parameters (EOP),that the estimation of EOP is improved in both a Jason-2 DORIS-only anda multi-satellite DORIS solution for EOP.

DORIS↗

The relative abundances of galactic cosmic ray Be-7, Be-9, and Be-10

The isotopic composition of galactic cosmic ray Be near 100 MeV/nucleon was measured in interplanetary space with high-resolution solid-state telescopes on the IMP-7 and IMP-8 satellites during 1973-1974. These two independent measurements yield Be-10/Be ratios above 10%. Taken together with the galactic propagation model described in the text, these results show that the cosmic ray 'clock' lifetime (most probable value of roughly 20 million years) is significantly greater than that deduced for a nominal interstellar gas density of about 1 to 3 atoms/cu cm.

Garcia-Munoz, M.↗

The design of the Galileo scan platform control

The design of the scan platform control for the Galileo spacecraft is described. Emphasis is given to the inertial pointing of the scan platform when the spacecraft is in the dual-spin configuration. The various methods of operation used in Galileo scan pointing are outlined. Important design considerations, such as spacecraft flexibility and the separation of the actuator and sensor by a flexible structure, are discussed. An explanation is given of the pointing requirements imposed on the scan platform control. Also given is a high level description of the relevant scan pointing algorithms. The performance of the design is demonstrated by means of a sample slew test case. The simulation program used in the test includes models of the flexibility of the stator structure, the friction in the clock and cone actuators, the gyro sensor characteristics, and the system time delays.

Chodas, J. L.↗

A simulation of GPS and differential GPS sensors

The Global Positioning System (GPS) is a revolutionary advance in navigation. Users can determine latitude, longitude, and altitude by receiving range information from at least four satellites. The statistical accuracy of the user's position is directly proportional to the statistical accuracy of the range measurement. Range errors are caused by clock errors, ephemeris errors, atmospheric delays, multipath errors, and receiver noise. Selective Availability, which the military uses to intentionally degrade accuracy for non-authorized users, is a major error source. The proportionality constant relating position errors to range errors is the Dilution of Precision (DOP) which is a function of the satellite geometry. Receivers separated by relatively short distances have the same satellite and atmospheric errors. Differential GPS (DGPS) removes these errors by transmitting pseudorange corrections from a fixed receiver to a mobile receiver. The corrected pseudorange at the moving receiver is now corrupted only by errors from the receiver clock, multipath, and measurement noise. This paper describes a software package that models position errors for various GPS and DGPS systems. The error model is used in the Real-Time Simulator and Cockpit Technology workstation simulations at NASA-LaRC. The GPS/DGPS sensor can simulate enroute navigation, instrument approaches, or on-airport navigation.

Rankin, James M.↗

Results of an Automated GPS Tracking System in Support of Topex/Poseidon and GPSMet

A fully automated near real-time GPS tracking system has been developed around JPL's GIPSY/OASIS II software. The system produces <25 cm (3D rms) GPS orbits and one-half nanosecond (15 cm) clock estimates. The process starts automatically when a favorable global distribution of ground data from the IGS network (International GPS Service for Geodynamics) becomes available. Ionospherically corrected phase and pseudorange data are optimally combined to remove satellite and ground receiver clock errors, including selective availability. After the GPS orbits are determined within the data arc, they are then propagated with empirically determined dynamic force models. Real-time <2 meter (3D rms) GPS orbits are always available. As a by-product of this process, other calibration estimates such as station clocks, troposphere estimates, and Earth orientation parameters are also produced. For daily arc fits, the process requires 7-8 hours of CPU time on an HP9000/735 workstation.

GPS↗

Model Checking A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. 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. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. 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. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV) for a subset of digraphs. Modeling challenges of the protocol and the system are addressed. The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period.

Malekpour, Mahyar R.↗

TDRS orbit determination by radio interferometry

In support of a NASA study on the application of radio interferometry to satellite orbit determination, MITRE developed a simulation tool for assessing interferometry tracking accuracy. The Orbit Determination Accuracy Estimator (ODAE) models the general batch maximum likelihood orbit determination algorithms of the Goddard Trajectory Determination System (GTDS) with the group and phase delay measurements from radio interferometry. ODAE models the statistical properties of tracking error sources, including inherent observable imprecision, atmospheric delays, clock offsets, station location uncertainty, and measurement biases, and through Monte Carlo simulation, ODAE calculates the statistical properties of errors in the predicted satellites state vector. This paper presents results from ODAE application to orbit determination of the Tracking and Data Relay Satellite (TDRS) by radio interferometry. Conclusions about optimal ground station locations for interferometric tracking of TDRS are presented, along with a discussion of operational advantages of radio interferometry.

Pavloff, Michael S.↗