SEARCH · Search NASA
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.
The capabilities of the European very long baseline interferometry (VLBI) network are summarized. The range of baseline parameters, sensitivities, and recording and other equipment available are included. Plans for upgrading the recording facilities and the use of geostationary satellites for signal transfer and clock synchronization are discussed.
A simultaneous two way clock synchronization experiment between three Earth stations, was performed and improvements over the technique earlier attempted in which transmit/receive roles of the two stations were alternated at regular intervals, were studied. Time signals via two modes high frequency and satellite were critically monitored and analyzed. This time format was modified to include the additional information about time of the day in year, month, day, hour, minute and second as well as DUT1 in BCD code and was disseminated via the satellite. These signals were decoded, displayed and studied. Some preliminary work on time transfer via TV using direct satellite broadcast, was also conducted.
The Block 1, phase 1 VBLI System, implemented in the Deep Space Network and currently undergoing system testing, is discussed. The system can be characterized as the modification of existing equipment and the addition of new software in the 64 m subnet and the addition of new hardware and software in the Network Operations and Control Center. It is to be operational to support Voyager project navigation requirements and is to provide, on a weekly basis, the information related to station clock synchronization, UT1, and polar motion.
A brief review of the research accomplishments by NASA in meeting the needs of the space program for precise time in satellite tracking is presented. As a major user of precise time signals for clock synchronization of NASA's worldwide satellite tracking networks, the agency provided much of the necessary impetus for the development of stable frequency sources and time synchronization technology. The precision in time required for both satellite tracking and space science experiments has increased at a rate of about 1 order of magnitude per decade from 1 ms in the 1950's to 100 microsec during the Apollo era in the 1960's to 10 microsec in the 1970's. In the 1980's, when the Tracking and Data Relay Satellite System (TDRSS) comes into operation, satellite timing requirements will be extended to 1 microsec and below. These requirements are needed for spacecraft autonomy and data packeting which are now in active planning stages.
The form and flow of information from signal reception to recorded bits at each station, through cross-correlation, phase-tracking, phase calibration, and bandwidth synthesis, to final observable formation are traced. In this process the data volume is greatly compressed for each observation, from approx. 10 to the 9th power bits on the station tapes to only four final observables: amplitude, delay, phase-delay rate and RF phase. After phase calibration and propagation media calibrations, the final delay observable is shown to be the sum of a geometric delay and a clock synchronization offset.
It is demonstrated that there is a flexibility in clock synchronizations and that four-dimensional symmetry framework can be viewed broadly. The true universality of basic constants is discussed, considering a class of measurement processes based on the velocity = distance/time interval, which always yields some number when used by an observer. The four-dimensional symmetry framework based on common time for all observers is formulated, and related processes of measuring light speed are discussed. Invariant 'action functions' for physical laws in the new four-dimensional symmetry framework with the common time are established to discuss universal constants. Truly universal constants are demonstrated, and it is shown that physics in this new framework and in special relativity are equivalent as far as one-particle systems and the S-matrix in field theories are concerned.
The verified code for the SIFT Executive is not the code that executes on the SIFT system as delivered. The running versions of the SIFT Executive contain optimizations and special code relating to the messy interface to the hardware broadcast interface and to packing of data to conserve space in the store of the BDX930 processors. The running code was in fact developed prior to and without consideration of any mechanical verification. This was regarded as necessary experimentation with the SIFT hardware and special purpose Pascal compiler. The Pascal code sections cover: the selection of a schedule from the global executive broadcast, scheduling, dispatching, three way voting, and error reporting actions of the SIFT Executive. Not included in these sections of Pascal code are: the global executive, five way voting, clock synchronization, interactive consistency, low level broadcasting, and program loading, initialization, and schedule construction.
This paper presents the results of a performance evaluation of the SIFT computer system conducted in the NASA AIRLAB facility. The essential system functions are described and compared to both earlier design proposals and subsequent design improvements. The functions supporting fault tolerance are found to consume significant computing resources. With SIFT's specimen task load, scheduled at a 30-Hz rate, the executive tasks such as reconfiguration, clock synchronization and interactive consistency, require 55 percent of the available task slots. Other system overhead (e.g., voting and scheduling) use an average of 50 percent of each remaining task slot.
Results of a covariance study to evaluate the performance of a proposed Very Long Baseline Interferometric (VLBI) system for TDRSS orbit determination (OD) are presented. This dedicated VLBI system consists of 4 one meter antennas for each TDRS positioned on orthogonal 6000 km baselines and uses a GPS signal for clock synchronization and calibration of measurement error sources. The performance of the VLBI system is compared with the current BRT system for support of TDRSS navigation. The criteria for evaluating the system performance is the TDRSS OD accuracy and the resulting navigation accuracy for two typical TDRSS users represented by a TOPEX type orbit and a Space Shuttle orbit. Based on the anticipated characteristics of a 1990 era VLBI system a factor of 20 improvement can be expected in the TDRSS OD accuracy. This translates into accuracy improvements ranging from factors of 3 to 10 for typical TDRSS users.
Report summarizes method for synchronizing clocks at intercontinental distances employing satellites of Global Positioning System (GPS) in high Earth orbit and transit satellite in orbit at relatively low altitude of about 1,300 km. When fully implemented, method expected to supply precise time measurements for world-wide communication and navigation.
The results of a performance evaluation of the Software-Implemented Fault-Tolerance (SIFT) computer system conducted in the NASA Avionics Integration Research Laboratory are presented. The essential system functions are described and compared to both earlier design proposals and subsequent design improvements. Using SIFT's specimen task load, the executive tasks, such as reconfiguration, clock synchronization, and interactive consistency, are found to consume significant computing resources. Together with other system overhead (e.g., voting and scheduling), the operating system overhead is in excess of 60 percent. The authors propose specific design changes that reduce this overhead burden significantly.
Local time displacement is shown to be a true symmetry of Minkowskian physics, thereby demonstrating the empirical equivalence of different choices of the clock synchronization parameter in generalized Lorentz transformations.
Multicomputer Architecture for Fault-Tolerance (MAFT) is a loosely coupled multiprocessor system designed to achieve an unreliability of less than 10(exp -10)/hr in flight-critical real time applications. The MAFT design objectives and architecture are presented. The fault-tolerance implementation of major functions in MAFT is also presented, including communication; task scheduling; reconfiguration; clock synchronization; and data handling and voting. The need for Byzantine agreement or approximate agreement in various functions is discussed. Different methods were selected to achieve agreement in various subsystems. These methods are illustrated by a more detailed description of the task scheduling and error handling subsystems.
The Bonneville Power Administration (BPA) uses IRIG-B transmitted over microwave as its primary system time dissemination. Problems with accuracy and reliability have led to ongoing research into better methods. BPA has also developed and deployed a unique fault locator which uses precise clocks synchronized by a pulse over microwaves. It automatically transmits the data to a central computer for analysis. A proposed system could combine fault location timing and time dissemination into a Global Position System (GPS) timing receiver and close the verification loop through a master station at the Dittmer Control Center. Such a system would have many advantages, including lower cost, higher reliability, and wider industry support. Test results indicate the GPS has sufficient accuracy and reliability for this and other current timing requirements including synchronous phase angle measurements. A phasor measurement system which provides phase angle has recently been tested with excellent results. Phase angle is a key parameter in power system control applications including dynamic braking, DC modulation, remedial action schemes, and system state estimation. Further research is required to determine the applications which can most effectively use real-time phase angle measurements and the best method to apply them.
The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.
An approach to checkpointing and rollback recovery in a distributed computing system using a common time base is proposed. A common time base is established in the system using a hardware clock synchronization algorithm. This common time base is coupled with the idea of pseudo-recovery points to develop a checkpointing algorithm that has the following advantages: reduced wait for commitment for establishing recovery lines, fewer messages to be exchanged, and less memory requirement. These advantages are assessed quantitatively by developing a probabilistic model.
The Experiment on Timing Ranging and Atmospheric Soundings, ExTRAS, was conceived jointly by the European Space Agency, ESA, and the Russian Space Agency, RSA. It is also designated the 'Hydrogen-maser in Space/Meteor-3M project'. The launch of the satellite is scheduled for early 1997. The package, to be flown on board a Russian meteorological satellite includes ultra-stable frequency and time sources, namely two active and auto-tuned hydrogen masers. Communication between the on-board hydrogen masers and the ground station clocks is effected by means of a microwave link using the modified version for time transfer of the Precise Range And Range-rate Equipment, PRARETIME, technique, and an optical link which uses the Time Transfer by Laser Link, T2L2, method. Both the PRARETIME and T2L2 techniques operate in a two-directional mode, which makes it possible to carry out accurate transmissions without precise knowledge of the satellite and station positions. Due to the exceptional quality of the on-board clocks and to the high performance of the communication techniques with the satellite, satellite clock monitoring and ground clocks synchronization are anticipated to be performed with uncertainties below 0.5 ns (1 sigma). Uncertainty budgets and related comments are presented.
The Operating Missions as Nodes on the Internet (OMNI) project at NASA's Goddard Space flight Center (GSFC), is demonstrating the use of standard Internet protocols for spacecraft communication systems. This year, demonstrations of Internet access to a flying spacecraft have been performed with the UoSAT-12 spacecraft owned and operated by Surrey Satellite Technology Ltd. (SSTL). Previously, demonstrations were performed using a ground satellite simulator and NASA's Tracking and Data Relay Satellite System (TDRSS). These activities are part of NASA's Space Operations Management Office (SOMO) Technology Program, The work is focused on defining the communication architecture for future NASA missions to support both NASA's "faster, better, cheaper" concept and to enable new types of collaborative science. The use of standard Internet communication technology for spacecraft simplifies design, supports initial integration and test across an IP based network, and enables direct communication between scientists and instruments as well as between different spacecraft, The most recent demonstrations consisted of uploading an Internet Protocol (IP) software stack to the UoSAT- 12 spacecraft, simple modifications to the SSTL ground station, and a series of tests to measure performance of various Internet applications. The spacecraft was reconfigured on orbit at very low cost. The total period between concept and the first tests was only 3 months. The tests included basic network connectivity (PING), automated clock synchronization (NTP), and reliable file transfers (FTP). Future tests are planned to include additional protocols such as Mobile IP, e-mail, and virtual private networks (VPN) to enable automated, operational spacecraft communication networks. The work performed and results of the initial phase of tests are summarized in this paper. This work is funded and directed by NASA/GSFC with technical leadership by CSC in arrangement with SSTL, and Vytek Wireless.