Search NASA⌕ Search

SEARCH · Search NASA

Results for “synchronization stability”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1977

Thermal design of the IUE hydrazine auxiliary propulsion system

The International Ultraviolet Explorer is a large astronomical observatory scheduled to be placed in a three-axis stabilized synchronous orbit in the fourth quarter of 1977. The Hydrazine Auxiliary Propulsion System (HAPS) must perform a number of spacecraft maneuvers to achieve a successful mission. This paper describes the thermal design which accomplishes temperature control between 5 and 65 C for all orbital conditions by utilizing multilayer insulation and commandable component heaters. A primary design criteria was the minimization of spacecraft power by the selective use of the solar environment. The thermal design was carefully assessed and verified in both spacecraft thermal balance and subsystem solar simulation testing.

Joseph T. Skladany↗
NASA NTRS1976

Simulation of radiometer data from a spin stabilized satellite

The effect of misregistration on cloud brightness threshold is investigated by simulating radiometric data as observed from a spin stabilized synchronous satellite such as the SMS. Clouds were introduced randomly and a bidirectional reflectance model was used to create radiance data from clouds and ocean. A theoretical and an empirical reflectance model were compared.

Rangaswamy, S.↗
DOE OSTI2020

High-Frequency Signature-Based Fault Detection for Future MV Distribution Grids: Preprint

Increased deployment of Distributed Energy Resources (DERs) and microgrids are significantly changing the operation of distribution grid. Increasing penetration of power electronics based DERs also raise several operational problems such as protection coordination issues, voltage raise, recloser synchronization, stability, and frequency control. Legacy systems are designed for unidirectional power flow. Bidirectional power flows, and varying short circuit levels are some of the major challenges in implementing these legacy protection schemes for future power grid with high penetration of power electronics based DERs. Inverter based DER’s can contribute to a maximum of 2 p.u. fault current. Interconnection standards might require even lower fault current contribution. If these protection related challenges are not addressed, it will result in limiting the penetration of DERs in distribution feeders. In this paper, the feasibility of high frequency signature generated by transients is evaluated to identify and locate faults in a distribution system. The paper will discuss the need for an accurate line modeling approach to accurately capture the high frequency signatures. These high frequency signatures are naturally occurring electromagnetic transients for events such as switching events in the network, faults events, etc. This is different than that implemented in transmission systems as the proposed approach utilizes advanced signal processing techniques to retrieve valuable information from the high frequency signatures generated during faults and does not just rely on time delay measurements between reflections of the high frequency signals. In the full paper, information of a modified IEEE distribution feeder test system to accurately model the high frequency signatures will be provided. The distribution lines will be modeled using universal line modeling (ULM) technique in an electromagnetic transients program (EMTP) modeling platform. Different test cases will be simulated and these test cases will include different fault types, multiple fault locations, capacitor bank switching, etc. The feeder system modeled for these simulations will also include power electronics based DERs. Additionally, experimental results demonstrating the high frequency signatures generated due to a transient event in a medium voltage (13.8 kV) distribution line will also be presented in the full paper. Furthermore, the analysis combined with simulation and experimental results in the full paper will help demonstrate the feasibility and efficacy of the proposed protection scheme. The developed protection scheme will not just help solve problems generated by bidirectional current flow, varying short-circuit current capacity, but also help in proliferation of DERs in distribution systems.

41 EE - Solar Energy Technologies Office (EE-4S)↗
NASA NTRS2010

Byzantine-fault tolerant self-stabilizing protocol for distributed clock synchronization systems

A rapid Byzantine self-stabilizing clock synchronization protocol that self-stabilizes from any state, tolerates bursts of transient failures, and deterministically converges within a linear convergence time with respect to the self-stabilization period. Upon self-stabilization, all good clocks proceed synchronously. The Byzantine self-stabilizing clock synchronization protocol 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 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.

Malekpour, Mahyar R.↗
NASA NTRS1967

TV synchronization system features stability and noise immunity

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.

Landauer, F. P.↗
NASA NTRS2008

Verification of a Byzantine-Fault-Tolerant Self-stabilizing Protocol for Clock Synchronization

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.

Malekpour, Mahyar R.↗
NASA NTRS2006

A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

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.

Malekpour, Mahyar R.↗
NASA NTRS2006

A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

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.

Malekpour, Mahyar R.↗
NASA NTRS1977

The Space Shuttle Main Engine High-Pressure Fuel Turbopump rotordynamic instability problem

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.

Childs, D. W.↗
NASA NTRS1980

Rotordynamics analysis for the HPFTP (High Pressure Fuel Turbopump) of the SSME (Space Shuttle Main Engine). SSME turbopump technology improvements via transient rotordynamics analysis

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.

Childs, D. W.↗
NASA NTRS2009

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

Self-stabilizing byzantine-fault-tolerant clock synchronization system and method

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.

Malekpour, Mahyar R.↗
NASA NTRS2007

Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

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.

Malekpour, Mahyar R.↗
NASA NTRS2014

A Self-Stabilizing Hybrid-Fault Tolerant Synchronization Protocol

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.

Malekpour, Mahyar R.↗
DOE OSTI2024

Epitaxial heterointerfacial electron bridge synchronizes oxygen evolution activity and stability on a layered double hydroxide surface

Scalable green hydrogen production via electrocatalytic water splitting is largely restricted by the insufficient activity and stability of oxygen evolution reaction (OER) catalysts at the anode. As a class of the most active OER catalysts in alkaline electrolyzers, the application of layered double hydroxides (LDHs) remains a main challenge owing to the unstable lattice oxygen dissolution due to the dominant lattice oxygen-involving OER mechanism during long-term operation. Herein, we found that using an epitaxial hetero-interfacing nickel hydroxide (namely Ni(OH) 2 ) as an electron bridge between an active FeCo LDH and Ni foam support to form an LDH*/NFO catalyst, the electronic storage capacity around the Fermi level (-0.5 to +0.5 eV, e-D FE ) sharply increases from 0.93 per cell to 1.51 per cell. Subsequently, we demonstrate that this high e-D FE enables ceaseless and fast power injection into the kinetic process of intermediate species conversion and inhibits lattice oxygen dissolution in the active FeCo LDH. Consequently, it demonstrated a low OER overpotential of 246 mV at a current density of 100 mA cm -2 and ultrahigh stability for up to 3500 hours with an ultraslow overpotential increase rate of 9.4 × 10 -3 mV h -1 . Therefore, we developed an epitaxial hetero-interfacial electron bridging strategy to synchronize the activity and stability of available catalysts for scalable green hydrogen production via electrocatalytic water splitting.

25 ENERGY STORAGE↗