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.
Horizontal jitter in the video presentation in television systems is prevented by using an additional sync level. This circuitry uses simultaneous signals at both sync and porch frequencies, providing a sync identification from which a coincidence circuit can generate pulses having the required stability and noise immunity.
Automatic directional antenna position control system for ATS synchronous orbit spin-stabilized satellite
This paper presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system except for the presence of sufficient good nodes, thus making the weakest possible assumptions and producing the strongest results. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV). The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space.
Embedded distributed systems have become an integral part of safety-critical computing applications, necessitating system designs that incorporate fault tolerant clock synchronization in order to achieve ultra-reliable assurance levels. Many efficient clock synchronization protocols do not, however, address Byzantine failures, and most protocols that do tolerate Byzantine failures do not self-stabilize. Of the Byzantine self-stabilizing clock synchronization algorithms that exist in the literature, they are based on either unjustifiably strong assumptions about initial synchrony of the nodes or on the existence of a common pulse at the nodes. The Byzantine self-stabilizing clock synchronization protocol presented here does not rely on any assumptions about the initial state of the clocks. Furthermore, there is neither a central clock nor an externally generated pulse system. The proposed protocol converges deterministically, is scalable, and self-stabilizes in a short amount of time. The convergence time is linear with respect to the self-stabilization period. Proofs of the correctness of the protocol as well as the results of formal verification efforts are reported.
Embedded distributed systems have become an integral part of safety-critical computing applications, necessitating system designs that incorporate fault tolerant clock synchronization in order to achieve ultra-reliable assurance levels. Many efficient clock synchronization protocols do not, however, address Byzantine failures, and most protocols that do tolerate Byzantine failures do not self-stabilize. Of the Byzantine self-stabilizing clock synchronization algorithms that exist in the literature, they are based on either unjustifiably strong assumptions about initial synchrony of the nodes or on the existence of a common pulse at the nodes. The Byzantine self-stabilizing clock synchronization protocol presented here does not rely on any assumptions about the initial state of the clocks. Furthermore, there is neither a central clock nor an externally generated pulse system. The proposed protocol converges deterministically, is scalable, and self-stabilizes in a short amount of time. The convergence time is linear with respect to the self-stabilization period. Proofs of the correctness of the protocol as well as the results of formal verification efforts are reported.
The SSME (Space Shuttle Main Engine) HPFTP (High-Pressure Fuel Turbopump) has been subject to a rotordynamic instability problem, characterized by large and damaging subsynchronous whirling motion. The original design of the HPFTP (from a rotordynamic viewpoint) and the evolution of the HPFTP subsynchronous whirl problem are reviewed. The models and analysis which have been developed and utilized to explain the HPFTP instability and improve its stability performance are also reviewed. Elements of the rotordynamic model which are discussed in detail include the following: (a) hydrodynamic forces due to seals, (b) internal rotor damping, (c) bearing and casing support stiffness asymmetry, and (d) casing dynamics. The stability and synchronous response characteristics of the following two design alternatives are compared: (a) a 'stiff' symmetric bearing support design and (b) a damped asymmetric stiffness design. With appropriate interstage seal designs, both designs are shown, in theory to provide substantially improved stability and synchronous response characteristics in comparison to the original design. The asymmetric design is shown to have better stability and synchronous response characteristics than the stiffly supported design.
The results of both linear (stability and synchronous response) and transient nonlinear analyses are reported. Dynamic coefficients were developed for the HPFTP interstage seals, and introduced into the rotordynamic model. The influence on HPFTP rotordynamics of a change in interstage seals from the smooth stepped design to a smooth straight configuration was examined. The sensitivity of the stability and synchronous results to changes in bearing stiffnesses and damping was determined. The influence on rotordynamic stability of a change from the stiff symmetric bearing carrier design to an asymmetric bearing carrier configuration was also studied.
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.
Systems and methods for rapid Byzantine-fault-tolerant self-stabilizing clock synchronization are provided. The systems and methods are based on a protocol comprising a state machine and a set of monitors that execute once every local oscillator tick. The protocol is independent of specific application specific requirements. The faults are assumed to be arbitrary and/or malicious. All timing measures of variables are based on the node's local clock and thus no central clock or externally generated pulse is used. Instances of the protocol are shown to tolerate bursts of transient failures and deterministically converge with a linear convergence time with respect to the synchronization period as predicted.
This report presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV) [SMV]. The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space. Also, additional innovative state space reduction techniques are introduced that can be used in future verification efforts applied to this and other protocols.
Synchronous orbit stationkeeping techniques, examining thrust control requirements of spin- stabilized spacecraft
In this report we present a strategy for solving the Byzantine general problem for self-stabilizing a fully connected network from an arbitrary state and in the presence of any number of faults with various severities including any number of arbitrary (Byzantine) faulty nodes. Our solution applies to realizable systems, while allowing for differences in the network elements, provided that the number of arbitrary faults is not more than a third of the network size. The only constraint on the behavior of a node is that the interactions with other nodes are restricted to defined links and interfaces. Our solution does not rely on assumptions about the initial state of the system and no central clock nor centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. We also present a mechanical verification of a proposed protocol. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV). The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirming claims of determinism and linear convergence with respect to the self-stabilization period. We believe that our proposed solution solves the general case of the clock synchronization problem.
This paper presents a strategy for solving the Byzantine general problem for self-stabilizing a fully connected network from an arbitrary state and in the presence of any number of faults with various severities including any number of arbitrary (Byzantine) faulty nodes. The strategy consists of two parts: first, converting Byzantine faults into symmetric faults, and second, using a proven symmetric-fault tolerant algorithm to solve the general case of the problem. A protocol (algorithm) is also present that tolerates symmetric faults, provided that there are more good nodes than faulty ones. The solution applies to realizable systems, while allowing for differences in the network elements, provided that the number of arbitrary faults is not more than a third of the network size. The only constraint on the behavior of a node is that the interactions with other nodes are restricted to defined links and interfaces. The solution does not rely on assumptions about the initial state of the system and no central clock nor centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. A mechanical verification of a proposed protocol is also present. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV). The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirming claims of determinism and linear convergence with respect to the self-stabilization period.
Relative comparisons of Loran-C frequency transmissions between the master station of Catanzaro (Simeri Crichi) and the X, Z slave stations of Estartit (Spain) and Lampedusa (Italy) are carrying out by the GG LORSTA monitor station of the Mediterranean Sea Loran-C chain. These comparisons are able to emphasize the relative and, under certain conditions, the absolute rate of the emitting standard frequencies of the slave stations and some relevant statistical properties of the Loran-C Method for frequency transmission and time synchronization. The stability of each Loran-C frequency standard transmission is subject to perturbations, more or less known, due to the propagation medium and other causes. Following the Allan (1966) method for data processing, the performance of the relative rate of frequency of the transmissions of the X, Z slave stations are described calculating the standard deviation of a set of N frequency measurements from its mean averaged during sampling times. This standard deviation is designated as the measure of the stability of the Loran-C frequency transmission.
TIROS weather satellite launch - flight plan, configuration, vidicon television system, polar synchronous orbit, stabilization and control, and Delta launch vehicle
The paper describes the satellite laser ranging system at the Goddard Space Flight Center, its range and accuracy capabilities, and planned improvements for future systems. Major subsystems are described, including the laser, optical/mechanical, receiver, computer/software, timing, and laser data preprocessing subsystems. Operational considerations are examined, with attention given the mobile station layout, manpower requirements, and transportability. System performance is considered, with emphasis on system accuracy (calibration, stability, clock synchronization, atmospheric propagation correction) and range capability.
Power Processing and Control requirements of Dispersed Receiver Solar Thermal Electric Generation Systems are presented. Kinematic Stirling Engines, Brayton Engines and Rankine Engines are considered as prime movers. Various types of generators are considered for ac and dc link generations. It is found that ac-ac Power Conversion is not suitable for implementation at this time. It is also found that ac-dc-ac Power Conversion with a large central inverter is more efficient than ac-dc-ac Power Conversion using small dispersed inverters. Ac-link solar thermal electric plants face potential stability and synchronization problems. Research and development efforts are needed in improving component performance characteristics and generation efficiency to make Solar Thermal Electric Generation economically attractive.
The International Ultraviolet Explorer (IUE) is a large astronomical observatory which was launched on January 26, 1978. The observatory was placed into a three-axis stabilized, eccentric synchronous orbit with an inclination of about 29 degrees. It was designed for a three year lifetime, but is currently still operational. This paper will briefly review the thermal design which consists of multilayer insulation, ammonia-filled grooved heat pipes, bimetallic actuated louvers, and assorted commandable heaters. It will then discuss the seven years of thermal data and compare the results with prelaunch predictions. Finally an attempt will be made to explain the unexpected and continuing rise in temperature of the hydrazine auxiliary propulsion system which has increased over twenty degrees centigrade since launch.