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 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1980

Shuttle orbiter Ku-band radar/communications system design evaluation. Ku band bent-pipe channel performance evaluation

Because of difficulties with the bit detector of the SPA mode 1 channel 3 input port, a new bit synchronizer was required. The two prime candidate designs are described and analyzed. The selected design is a modification of one which utilizes a phase frequency detector to track the received data clock frequency and a mid-bit transition point sample detector to generate a bit timing error (phase error) signal to control the relative phase between the local clock and the local data stream. The model used to calculate the effects of cable attenuation and rise time degradation is discussed.

Holmes, J. K.↗

NASA NTRS1982

Why a variable G

An attempt is made to put the possible time variability of G in a broader context. It is suggested that the variable G is a popular and incomplete representation of the problem of the validity of the strong equivalence principle (SEP). Particular reference is made to a reanalysis of Viking Mars data to study, in a model independent way, the influence of atomic clocks in recording purely gravitational phenomena. These data ought to provide the most reliable test of the variability of G and the validity of the SEP.

Canuto, V. M.↗

NASA NTRS1990

Complete the development and construction of a spaceborne hydrogen maser clock

The objective, to complete the development of an engineering model of a spaceborne hydrogen maser, was successfully achieved. A layout of the maser and detail drawings of the physics package was completed during the first 7 months of the contract. A computer model was made for the maser's thermal design. Using numerical computations, heater resistances were established for 7 temperature controlled zones. The physics package includes: a vacuum manifold that houses four sorption pumps capable of scavenging hydrogen for 4 years, a titanium vacuum tank housing the cavity, metallic seals for all vacuum joints, an RF dissociator within the vacuum envelope, a two-layer printed circuit solenoid and four layers of moly-permalloy magnetic shields. Problems were encountered and overcome in the procurements of the PC solenoid and the magnetic shields. After completion of the fabrication of the maser's components, the maser was assembled using these parts and other components made available by SAO, NRL, and NASA from earlier development work. In March, 1990, the vacuum system was assembled, and by May the maser assembly was completed. The magnetic shielding was poor and the shields were removed, reannealed by a local vendor, and the maser was reassembled. The maser began tests in early June and has been oscillating since that time. The test results of the maser are very good and a life test of the maser is being conducted. It is anticipated that the development and construction of a maser to be tested in space under a new contract from NASA's Marshall Space Flight Center will continue.

Vessot, Robert F. C.↗

NASA NTRS2010

Next Generation GPS Ground Control Segment (OCX) Navigation Design

In February 2010, a Raytheon-led team was selected by The Air Force to develop, implement, and operate the next generation GPS ground control segment (OCX). To meet and exceed the demanding OCX navigation performance requirements, the Raytheon team partnered with ITT (Navigation lead) and JPL to adapt major elements of JPL's navigation technology, proven in the operations of the Global Differential GPS (GDGPS) System. Key design goals for the navigation subsystem include accurate ephemeris and clock accuracy (user range error), ease of model upgrades, and a smooth and safe transition from the legacy system to OCX.We will describe key elements of the innovative architecture of the OCX navigation subsystem,and demonstrate the anticipated performance of the system through high fidelity simulations withactual GPS measurements.

Bertiger, Willy↗

NASA NTRS1996

Simulations of light effects on the human circadian pacemaker: implications for assessment of intrinsic period

The sensitivity of the human circadian system to light has been the subject of considerable debate. Using computer simulations of a recent quantitative model for the effects of light on the human circadian system, we investigated these effects of light during different experimental protocols. The results of the simulations indicate that the nonuniform distribution over the circadian cycle of exposure to ordinary room light seen in classical free-run studies, in which subjects select their exposure to light and darkness, can result in an observed period of approximately 25 h, even when the intrinsic period of the subject's endogenous circadian pacemaker is much closer to 24 h. Other simulation results suggest that accurate assessment of the true intrinsic period of the human circadian pacemaker requires low ambient light intensities (approximately 10-15 lx) during scheduled wake episodes, desynchrony of the imposed light-dark cycle from the endogenous circadian oscillator, and a study length of at least 20 days. Although these simulations await further experimental substantiation, they highlight the sensitivity to light of the human circadian system and the potential confounding influence of light on the assessment of the intrinsic period of the circadian pacemaker.

Non-NASA Center↗

NASA NTRS2010

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↗

NASA NTRS2016

Separator Reconnection at the Magnetopause for Predominantly Northward and Southward IMF: Techniques and Results

In this work, we demonstrate how to track magnetic separators in three-dimensional simulated magnetic fields with or without magnetic nulls, apply these techniques to enhance our understanding of reconnection at the magnetopause. We present three methods for locating magnetic separators and apply them to 3-D resistive MHD simulations of the Earth's magnetosphere using the Block-Adaptive-Tree Solar-wind Roe-type Upwind Scheme code. The techniques for finding separators and determining the reconnection rate are insensitive to interplanetary magnetic field (IMF) clock angle and can in principle be applied to any magnetospheric model. Moreover, the techniques have a number of advantages over prior separator finding techniques applied to the magnetosphere. The present work examines cases of high and low resistivity for two clock angles. We go beyond previous work examine the separator during Flux Transfer Events (FTEs). Our analysis of reconnection on the magnetopause yields a number of interesting conclusions: Reconnection occurs all along the separator even during predominately northward IMF cases. Multiple separators form in low-resistivity conditions, and in the region of an FTE the separator splits into distinct branches. Moreover, the local contribution to the reconnection rate, as determined by the local parallel electric field, drops in the vicinity of the FTE with respect to the value when there are none.

modeling↗

NASA NTRS1980

Low-cost production of solar-cell panels

Large-scale production model combines most modern manufacturing techniques to produce silicon-solar-cell panels of low costs by 1982. Model proposes facility capable of operating around the clock with annual production capacity of 20 W of solar cell panels.

Bickler, D. B.↗

NASA NTRS2001

Noise in state of the art clocks and their impact for fundamental physics

In this paper a review of the use of advanced atomic clocks in testing the fundamental physical laws will be presented. Noise sources of clocks will be discussed, together with an outline their characterization based on current models. The paper will conclude with a discussion of recent attempts to reduce the fundamental, as well as technical noise in atomic clocks.

noise state-of-the-art clocks fundamental physics↗

NASA NTRS1983

Time maintenance of user clocks via the tracking and data relay satellite system

A system is described which uses the Tracking and Data Relay Satellite System (TDRSS) itself to compare the user satellite clock with a clock at the White Sands station that is referenced to Universal Time Coordinated (UTC). No command of the spacecraft by the system is required, and actual on-board clock corrections are made by the spacecraft control center at its discretion. Computer models were constructed using basic orbital parameters for user and TDRS satellites. With only first-order corrections and simple averaging techniques for constant clock rates, error measurement precision of better than one microsecond was obtained. More sophisticated computations should allow considerable improvement over this.

Whitworth, G.↗

NASA NTRS1990

Synchronizing computer clocks using a local area network

Researchers completed the first tests of a method to synchronize the clocks of networked computers to the National Institute of Standards and Technology (NIST) time scale. The method uses a server computer to disseminate the time to other clients on the same local-area network. The server is synchronized to NIST using the ACTS protocol over a dial-up telephone line. The software in both the server and the parameters of this model are used to adjust the time of the local clock and the interval between calibration requests in a statistically optimum way. The algorithm maximizes the time between calibrations while at the same time keeping the time of the local clock correct within a specific tolerance. The method can be extended to synchronize computers linked over wide-area networks, and an experiment to test the performance of the algorithms over such networks is being planned.

Levine, Judah↗

NASA NTRS1998

A Novel Solution-Technique Applied to a Novel WAAS Architecture

The Federal Aviation Administration has embarked on an historic task of modernizing and significantly improving the national air transportation system. One system that uses the Global Positioning System (GPS) to determine aircraft navigational information is called the Wide Area Augmentation System (WAAS). This paper describes a reliability assessment of one candidate system architecture for the WAAS. A unique aspect of this study regards the modeling and solution of a candidate system that allows a novel cold sparing scheme. The cold spare is a WAAS communications satellite that is fabricated and launched after a predetermined number of orbiting satellite failures have occurred and after some stochastic fabrication time transpires. Because these satellites are complex systems with redundant components, they exhibit an increasing failure rate with a Weibull time to failure distribution. Moreover, the cold spare satellite build-time is Weibull and upon launch is considered to be a good-as-new system with an increasing failure rate and a Weibull time to failure distribution as well. The reliability model for this system is non-Markovian because three distinct system clocks are required: the time to failure of the orbiting satellites, the build time for the cold spare, and the time to failure for the launched spare satellite. A powerful dynamic fault tree modeling notation and Monte Carlo simulation technique with importance sampling are shown to arrive at a reliability prediction for a 10 year mission.

Bavuso, J.↗

NASA NTRS2017

Using Formal to Exhaustively Determine Unsafe Clock Ratios Between Asynchronous Blocks

In this paper we will show how formal property checking can be used to exhaustively sweep the range of allowable clock ratios between any two blocks to determine if their correct operation is maintained. First, we obtain, or create, models of the sending and receiving blocks (in either VHDL or Verilog). After basic functional validation of these models, we then write the property set to reflect the functional requirements of each block. As the clocks between them allow for a range of frequency ratios, we employ the formal analysis principal of nondeterminism to lock-on to a particular supported frequency ratio and prove that the functional requirements are still met.

Hendrickson, Eric↗

NASA NTRS1975

The cosmic-ray age deduced from the Be-10 abundance

Satellite measurements of the radioactive cosmic-ray species Be-10 are reported. The abundance was measured near 100 MeV per nucleon with high-resolution solid-state telescopes on the IMP-7 and IMP-8 satellites during 1973 and 1974. These two independent measurements yield Be-10/Be ratios of less than 10 percent. Taken together with a galactic propagation model, these results show that the cosmic-ray 'clock' lifetime (most probable value of the order of 20 million years) is significantly greater than that deduced for a nominal interstellar gas density of the order of 1 to 3 atoms per cu cm.

Garcia-Munoz, M.↗

NASA NTRS1994

The use of the AOA TTR-4P GPS receiver in operation at the BIPM for real-time restitution of GPS time

The Global Positioning System is an outstanding tool for the dissemination of time. Using mono-channel C/A-code GPS time receivers, the restitution of GPS time through the satellite constellation presents a peak-to-peak discrepancy of several tens of nanoseconds without SA but may be as high as several hundreds of nanoseconds with SA. As a consequence, civil users are more and more interested in implementing hardware and software methods for efficient restitution of GPS time, especially in the framework of the project of a real-time prediction of UTC (UTCp) which could be available in the form of time differences (UTCp - GPS time). Previous work, for improving the real-time restitution of GPS time with SA, to the level obtained without SA, focused on the implementation of a Kalman filter based on past data and updated at each new observation. An alternative solution relies upon the statistical features of the noise brought about by SA; it has already been shown that the SA noise is efficiently reduced by averaging data from numerous satellites observed simultaneously over a sufficiently long time. This method was successfully applied to data from a GPS time receiver, model AOA TTR-4P, connected to the cesium clock kept at the BIPM. This device, a multi-channel, dual frequency, P-code GPS time receiver, is one of the first TTR-4P units in operation in a civil laboratory. Preliminary comparative studies of this new equipment with conventional GPS time receivers are described in this paper. The results of an experimental restitution of GPS time, obtained in June 1993, are also detailed: 3 to 6 satellites were observed simultaneously with a sample interval of 15 s, an efficient smoothing of SA noise was realized by averaging data on all observed satellites over more than 1 hour. When the GPS system is complete in 1994, 8 satellites will be observable continuously from anywhere in the world and the same level of uncertainty will be obtained using a shorter averaging time.

Thomas, Claudine↗

NASA NTRS2013

Dynamic Black-Level Correction and Artifact Flagging in the Kepler Data Pipeline

Instrument-induced artifacts in the raw Kepler pixel data include time-varying crosstalk from the fine guidance sensor (FGS) clock signals, manifestations of drifting moiré pattern as locally correlated nonstationary noise and rolling bands in the images which find their way into the calibrated pixel time series and ultimately into the calibrated target flux time series. Using a combination of raw science pixel data, full frame images, reverse-clocked pixel data and ancillary temperature data the Keplerpipeline models and removes the FGS crosstalk artifacts by dynamically adjusting the black level correction. By examining the residuals to the model fits, the pipeline detects and flags spatial regions and time intervals of strong time-varying blacklevel (rolling bands ) on a per row per cadence basis. These flags are made available to downstream users of the data since the uncorrected rolling band artifacts could complicate processing or lead to misinterpretation of instrument behavior as stellar. This model fitting and artifact flagging is performed within the new stand-alone pipeline model called Dynablack. We discuss the implementation of Dynablack in the Kepler data pipeline and present results regarding the improvement in calibrated pixels and the expected improvement in cotrending performances as a result of including FGS corrections in the calibration. We also discuss the effectiveness of the rolling band flagging for downstream users and illustrate with some affected light curves.

Clarke, B. D.↗

NASA NTRS1989

Slot clock recovery in optical PPM communication systems with avalanche photodiode photodetectors

Slot timing recovery in a direct-detection optical PPM communication system can be achieved by processing the photodetector output waveform with a nonlinear device whose output forms the input to a phase-locked loop. The choice of a simple transition detector as the nonlinearity is shown to give satisfactory synchronization performance. The rms phase error of the recovered slot clock and the effect of slot timing jitter on the bit error probability were directly measured. The experimental system consisted of an AlGaAs laser diode (wavelength = 834 nm) and a silicon avalanche photodiode photodetector. The system used Q = 4 PPM signaling and operated at a source data rate of 25 Mbits/s. The mathematical model developed to compute the rms phase error of the recovered clock is shown to be in good agreement with results of actual measurements of phase errors. The use of the recovered slot clock in the receiver resulted in no significant degradation in receiver sensitivity compared to a system with perfect slot timing. The system achieved a bit error probability of 10 to the -6th at a received optical signal energy of 55 detected photons per information bit.

Davidson, Frederic M.↗

NASA NTRS1993

PTTI-aided ephemeris calculation and rapid data link acquisition for manned space flight

Complexity of future manned space flight mission control can be significantly reduced by integrating GPS, the PTTI source, into telemetry, tracking, and command (TT&C). Future telecommunications, space tracking electronic intelligence, metrology, navigation, and data acquisition will thereby be served, including: on-board ephemeris determination, reduced synchronization time for time division multiple access (TDMA) links, and in-flight clock calibration, increasing on-board autonomy and reducing ground support costs. Manned space transportation through the first quarter of the 21st century will probably depend on a mix of vehicles, including the Advanced Manned Launch System (AMLS), the Personnel Launch System (PLS), and continued use of the Shuttle Fleet. Precise Ephemeris is important on-board for mission success, status monitoring, also for rendezvous and docking. Use of GPS can eliminate ground based tracking/processing, enhancing autonomy and reducing communications bandwidth. GPS time can simplify complicated functions used in bandwidth efficient time division multiple access (TDMA) communications, such as: precise and realtime synchronization of receive reference timing, transmit-timing and acquisition control, unique synchronization word (UW) detection, and elastic buffering. High clock accuracy provides increased signal-to-noise (S/N) ratio during acquisition, permitting narrower acquisition frequency and time windows. Spaceborne systems requirements to provide capabilities such as: refinement of the GEM-72 gravity model based on satellite tracking observations from ATS-6 to GEOS-3, relativistic clock experiments, NASA crustal dynamics program for developing space geodetic techniques to study the earth's crust, its gravity field, and earthquake mechanisms, and multi-disciplinary space geodetic tracking for studying global climatic changes are also reviewed.

Anderman, Alfred↗