Search NASA⌕ Search

SEARCH · Search NASA

Results for “Reliability Block”

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 307 records · Page 17

Systems approach to software fault tolerance

Computing systems are employed for aerospace applications with high reliability requirements. In order to provide the needed reliability, it was necessary to make use of computing systems with fault-tolerance characteristics. Traditionally, fault tolerance is achieved through the use of hardware redundance. However, fault-tolerant techniques based on suitable software design considerations have also been developed. The present paper is concerned with the major issues arising in the context of an application of fault-tolerant software techniques to dynamic systems. Attention is given to fault-tolerant flight software, software component stability, system stability with fault-tolerant software, the preservation of functional performance, N-version vs. recovery blocks in flight software, systems-based software, static and dynamic models, static and dynamic consistency tests, and recovery block initialization.

Caglayan, A. K.↗

Role of the BIPM in UTC Dissemination to the Real Time User

The generation and dissemination of International Atomic Time (TAI), and Coordinated Universal Time (UTC) are explicitly mentioned in the list of principal tasks of the Bureau International des Poids et Mesures (BIPM), that appears in the Compes Rendus of the the 18e Conference Generales des Poids et Measures, in 1987. These time scales are used as the ultimate reference in the most demanding scientific applications and must, therefore, be of the best metrological quality in terms of reliability, long term stability, and conformity of the scale interval with the second, the unit of time of the International System of Units. To meet these requirements, it is necessary that the readings of the atomic clocks, spread all over the world, that are used as basic timing data for TAI and UTC generation, must be combined in the most efficient way possible. In particular, to take full advantage of the quality of each contributing clock calls for observation of its performance over a sufficiently long time. At present, the computation period treats data in blocks covering two months. TAI and UTC are thus deferred-time scales that cannot be immediately available to real-time users. The BIPM can, nevertheless be of help to real-time users. The predictability of UTC is a fundamental attribute of the scale for institutions responsible for the dissemination of real-time time scales. It allows them to improve their local representations of UTC and, thus, implement a more thorough steering of the time scales diffused in real-time. With a view to improving the predicatbility of UTC, the BIPM examines in detail timing techniques and basic theories in order to propose alternative solutions for timing algorithms. This, coupled with a recent improvement of timing data, makes UTC more stable and thus, more predictable. At a more practical level, effort is being devoted to putting in place automatic procedures for reducing the time needed for data collection and treatment: monthly results are already available ten days earlier than before.

Quinn, T. J.↗

Advancing reliability assessments of photovoltaic modules and materials using combined-accelerated stress testing

Previously undiscovered failure modes in photovoltaic (PV) modules continue to emerge in field installations despite passing protocols for design qualification and quality assurance. Failure to detect these modes prior to widespread use could be attributed to the limitations of present-day standard accelerated stress tests (ASTs), which are primarily designed to identify known degradation or failure modes at the time of development by applying simultaneous or sequential stress factors (usually two at most). Here, we introduce an accelerated testing method known as the combined-accelerated stress test (C-AST), which simultaneously combines multiple stress factors of the natural environment. Simultaneous combination of multiple stress factors allows for improved identification of failure modes with better ability to detect modes not known a priori. A demonstration experiment was conducted that reproduced the field-observed cracking of polyamide- (PA-) and polyvinylidene fluoride (PVDF)–based backsheet films, a failure mode that was not detected by current design qualification and quality assurance testing requirements. In this work, a two-phase testing protocol was implemented. The first cycle (“Tropical”) is a predominantly high-humidity and high-temperature test designed to replicate harsh tropical climates. The second cycle (“Multi-season”) was designed to replicate drier and more temperate conditions found in continental or desert climates. Testing was conducted on 2 × 2-cell crystalline-silicon cell miniature modules constructed with both ultraviolet (UV)–transmitting and UV-blocking encapsulants. Cracking failures were observed within a cumulative 120 days of the Tropical condition for one of the PA-based backsheets and after 84 days of Tropical cycle followed by 42 days of the Multi-season cycle for the PVDF-based backsheet, which are both consistent with failures seen in fielded modules. In addition to backsheet cracking, degradation modes were observed including solder/interconnect fatigue, various light-induced degradation modes, backsheet delamination, discoloration, corrosion, and cell cracking. The ability to simultaneously apply multiple stress factors may allow many of the test sequences within the standardized design qualification procedure to be performed using a single test setup.

14 SOLAR ENERGY↗

On the potentially transformative role of auxiliary-field quantum Monte Carlo in quantum chemistry: A highly accurate method for transition metals and beyond

Approximate solutions to the ab initio electronic structure problem have been a focus of theoretical and computational chemistry research for much of the past century, with the goal of predicting relevant energy differences to within “chemical accuracy” (1 kcal/mol). For small organic molecules, or in general, for weakly correlated main group chemistry, a hierarchy of single-reference wave function methods has been rigorously established, spanning perturbation theory and the coupled cluster (CC) formalism. For these systems, CC with singles, doubles, and perturbative triples is known to achieve chemical accuracy, albeit at O(N7) computational cost. In addition, a hierarchy of density functional approximations of increasing formal sophistication, known as Jacob’s ladder, has been shown to systematically reduce average errors over large datasets representing weakly correlated chemistry. However, the accuracy of such computational models is less clear in the increasingly important frontiers of chemical space including transition metals and f-block compounds, in which strong correlation can play an important role in reactivity. A stochastic method, phaseless auxiliary-field quantum Monte Carlo (ph-AFQMC), has been shown to be capable of producing chemically accurate predictions even for challenging molecular systems beyond the main group, with relatively low O(N3 − N4) cost and near-perfect parallel efficiency. Herein, we present our perspectives on the past, present, and future of the ph-AFQMC method. We focus on its potential in transition metal quantum chemistry to be a highly accurate, systematically improvable method that can reliably probe strongly correlated systems in biology and chemical catalysis and provide reference thermochemical values (for future development of density functionals or interatomic potentials) when experiments are either noisy or absent. Finally, we discuss the present limitations of the method and where we expect near-term development to be most fruitful.

Chemistry↗

Problems in the interpretation of lunar mare stratigraphy and relative ages indicated by ejecta from small impact craters

The numbers of large ejecta blocks in excess of several meters in diameter ('blockiness') around the rims of small craters in southeastern Mare Serenitatis exceed those around similar craters in southern Mare Imbrium (and some other regions) at all but the final stages of crater degradation. Terrestrial explosion crater analogs, studies of impact processes, and a layered mare model suggest that the nature of the layering in the subsurface, including lavas, ejecta and buried regolith horizons, could account for the variable blockiness of crater ejecta and, possibly, for some variation in crater size-frequency distributions. Such effects would limit the reliability and utility of counting postmare craters for the purpose of estimating the relative ages of mare surfaces. Similarly, comparisons of the effects of progressive degradation on small impact craters to determine relative or absolute ages of individual craters may be limited by the influence of stratigraphy on ejecta fragment size distributions, which would in turn affect micrometeorite erosion rates and regolith production models.

Young, R. A.↗

Performance analysis of a cascaded coding scheme with interleaved outer code

A cascaded coding scheme for a random error channel with a bit-error rate is analyzed. In this scheme, the inner code C sub 1 is an (n sub 1, m sub 1l) binary linear block code which is designed for simultaneous error correction and detection. The outer code C sub 2 is a linear block code with symbols from the Galois field GF (2 sup l) which is designed for correcting both symbol errors and erasures, and is interleaved with a degree m sub 1. A procedure for computing the probability of a correct decoding is presented and an upper bound on the probability of a decoding error is derived. The bound provides much better results than the previous bound for a cascaded coding scheme with an interleaved outer code. Example schemes with inner codes ranging from high rates to very low rates are evaluated. Several schemes provide extremely high reliability even for very high bit-error rates say 10 to the -1 to 10 to the -2 power.

Lin, S.↗

Density of impact craters on tessera, Venus

After the plains, tessera is the most abundant terrain on Venus. It occupies about 10 percent of the Venusian surface, forming the continent-like blocks and small islands above the adjacent plains. Tessera is a result of tectonic deformations of some precursor terrain. However, the nature of that precursor, as well as the causes and mechanisms of its formations, are under debate. Any models considering tessera terrain involve estimation of tessera age, either relative or absolute. It is well known that the important information on the age of a planetary surface comes from impact crater statistics. The Magellan global overview of Venus with improved resolution provides an opportunity to gather data on impact craters in amounts large enough for statistically reliable estimations of crater density for different terrains. Our study of impact crater density on tesserae compared to the surrounding terrains has a goal to determine whether it is higher, lower, or the same and to interpret it in terms of the tessera age and processes involved.

Ivanov, M. A.↗

Multiversion software reliability through fault-avoidance and fault-tolerance

In this project we have proposed to investigate a number of experimental and theoretical issues associated with the practical use of multi-version software in providing dependable software through fault-avoidance and fault-elimination, as well as run-time tolerance of software faults. In the period reported here we have working on the following: We have continued collection of data on the relationships between software faults and reliability, and the coverage provided by the testing process as measured by different metrics (including data flow metrics). We continued work on software reliability estimation methods based on non-random sampling, and the relationship between software reliability and code coverage provided through testing. We have continued studying back-to-back testing as an efficient mechanism for removal of uncorrelated faults, and common-cause faults of variable span. We have also been studying back-to-back testing as a tool for improvement of the software change process, including regression testing. We continued investigating existing, and worked on formulation of new fault-tolerance models. In particular, we have partly finished evaluation of Consensus Voting in the presence of correlated failures, and are in the process of finishing evaluation of Consensus Recovery Block (CRB) under failure correlation. We find both approaches far superior to commonly employed fixed agreement number voting (usually majority voting). We have also finished a cost analysis of the CRB approach.

Vouk, Mladen A.↗

Cyclic Prefix Direct Sequence Spread Spectrum Capacity Analysis

Cyclic Prefix Direct Sequence Spread Spectrum (CP-DSSS) is a novel waveform that has the potential to solve 5G objectives such as ultra reliable low latency communication (URLLC) and massive machine Type Communication (mMTC). This paper analyzes the capacity of the CP-DSSS waveform in comparison with Orthogonal Frequency Domain Multiplexing OFDM). CP-DSSS can be optimized to achieve the same capacity as OFDM when optimized by the water-filling algorithm. A significant advantage for CP-DSSS is that this capacity can be achieved with all symbols being transmitted with the same effective rate. As a result, stronger forward error correction codes can be used in a CP-DSSS implementation compared to an OFDM implementation with resource block constraints. In addition, the applicability of CP-DSSS as a waveform for a secondary network operating in the same frequency band as the primary network is discussed.

5G and Beyond Communications↗

Module-Level Thermal Interface Material Degradation in HALT

Abstract In this study, thermal interface material (TIM) degradation is driven through highly accelerated life test (HALT) using temperature cycling with a prescribed vibrational acceleration for two commercially available materials having thermal conductivities of 6.0 and 8.5 W/m K. HALT specimens were prepared by applying TIM through a 4-mil stencil over AlSiC baseplates in the shape of those used in Wolfspeed CAS325M12HM2 power electronics modules. Baseplates were mounted onto aluminum carrier blocks with embedded thermocouples to characterize the thermal resistance across the baseplate and TIM layer. Thermal dissipation into the top of the baseplates was provided by a custom heating block, which mimics the size and placement of the die junctions in CAS325 modules, applying power loads of 200, 300, and 400 W. After initial characterization, samples were transferred to the HALT chamber with one set of samples exposed to temperature cycling only (TCO) and the other temperature cycling and vibration (TCV). Both sample sets were cycled between temperature extremes of −40 °C and 180 °C with vibrations applied at a peak acceleration of 3.21 Grms. After hundreds of cycles, samples were reevaluated to assess changes in thermal resistance to provide an accelerated measure of TIM degradation. This allows for reliability prediction of useful lifetime (illustrated in a solar inverter case study herein), as well as to provide a basis for developing an accelerated testing method to related temperature cycling to faster methods of degradation. Such techniques provide a means to develop maintenance schedules for power modules for ensuring sufficient thermal performance over the operating lifetime.

Engineering↗

Trends in modern system theory

The topics considered are related to linear control system design, adaptive control, failure detection, control under failure, system reliability, and large-scale systems and decentralized control. It is pointed out that the design of a linear feedback control system which regulates a process about a desirable set point or steady-state condition in the presence of disturbances is a very important problem. The linearized dynamics of the process are used for design purposes. The typical linear-quadratic design involving the solution of the optimal control problem of a linear time-invariant system with respect to a quadratic performance criterion is considered along with gain reduction theorems and the multivariable phase margin theorem. The stumbling block in many adaptive design methodologies is associated with the amount of real time computation which is necessary. Attention is also given to the desperate need to develop good theories for large-scale systems, the beginning of a microprocessor revolution, the translation of the Wiener-Hopf theory into the time domain, and advances made in dynamic team theory, dynamic stochastic games, and finite memory stochastic control.

Athans, M.↗

Algebraic Multigrid with Optimal Interpolation and Adaptive Smoothers (Final Report)

The project team continued with work on developing new bootstrap AMG techniques for solving symmetric and non-symmetric PDE systems. The focus of this work is to derive more reliable measures of the quality of the coarse space set than the convergence rate of the standard F-relaxation form of CR and a more robust form of interpolation than the so-called ideal form. We have successfully derived a sharp variant of CR that gives the precise convergence rate of the two-grid method using this optimal interpolation and, in addition, we derived a new Generalized Bootstrap AMG setup algorithm that uses as its main tool a multilevel eigensolver for the generalized eigenvalue problem involving the system matrix and the symmetrized smoother. In addition, the approach allows for general block smoothers with overlap. We have applied the method to scalar diffusion problems, linear elasticity, and Maxwell’s and the method shows marked improvements over existing AMG methods for these problems. In addition, the team worked with CASC members on new forms of ideal AMG interpolation.

97 MATHEMATICS AND COMPUTING↗

5.8kV SiC PiN Diode for Switching of High-Efficiency Inductive Pulsed Plasma Thruster Circuits

Inductive Pulsed Plasma Thruster (IPPT) pulse circuits, such as those needed to operate the Pulsed Inductive Thruster (PIT), are required to quickly switch capacitor banks operating at a period of μs while conducting current at levels on the order of at least 10 kA. [1,2] For all iterations of the PIT to date, spark gaps have been used to discharge the capacitor bank through an inductive coil. Recent availability of fast, high‐power solid state switching devices makes it possible to consider the use of semiconductor switches in modern IPPTs. In addition, novel pre‐ionization schemes have led to a reduction in discharge energy per pulse for electric thrusters of this type, relaxing the switching requirements for these thrusters. [3,4] Solid state switches offer the advantage of greater controllability and reliability, as well as decreased drive circuit dimensions and mass relative to spark gap switches. The use of solid state devices such as Integrated Gate Bipolar Transistors (IGBTs), Gate Turn‐off Thyristors (GTOs) and Silicon‐Controlled Rectifiers (SCRs) often involves the use of power diodes. These semiconductor devices may be connected antiparallel to the switch for protection from reverse current, or used to reduce power loss in a circuit by clamping off current ringing. In each case, higher circuit efficiency may be achieved by using a diode that is able to transition, or 'switch,' from the forward conducting state ('on' state) to the reverse blocking state ('off' state) in the shortest amount of time, thereby minimizing current ringing and switching losses. Silicon Carbide (SiC) PiN diodes offer significant advantages to conventional fast‐switching Silicon (Si) diodes for high power and fast switching applications. A wider band gap results in a breakdown voltage 10 times that of Si, so that a SiC device may have a thinner drift region for a given blocking voltage. [5] This leads to smaller, lighter devices for high voltage applications, as well as reduced forward conduction losses, faster reverse recovery time (faster turn‐off), and lower‐magnitude reverse recovery current. In addition, SiC devices have lower leakage current as compared to their Si counterparts, and a high thermal conductivity, potentially allowing the former to operate at higher temperatures with a smaller, lighter heatsink (or no heatsink at all).

Toftul, Alexandra↗

A Robust Test of the Unified Model for Seyfert Galaxies with Implications for the Starburst Phenomenon

My research involves detailed analysis of X-ray emission from Active Galactic Nuclei (AGN). For over a decade, the paradigm for AGN has rested soundly on the unified model hypothesis, which posits that the only difference between broad-line objects (e.g., Type 1 Seyfert galaxies) and narrow-line objects (e.g., Type 2 Seyferts) is that in the former case our line of sight evades toroidal obscuration surrounding the nucleus, while in the latter, our line of sight is blocked by the optically thick torus. It is well established that some Seyfert 2s contain Seyfert I nuclei (i.e., a hidden broad line region), but whether or not all Seyfert 2s contain obscured Seyfert 1 nuclei or whether some Seyfert 2s are intrinsically Seyfert 2s is not known. Optical, IR, and UV surveys are not appropriate to examine this hypothesis because such emissions are either anisotropic or subject to the effects of obscuration, and thus depend strongly on viewing angle. Hard X-rays, on the other hand, can penetrate gas with column densities as high as 10( exp 24.5) cm(-2) and thus provide reliable, direct probes of the cores of heavily obscured AGN. Combining NASA archival data from the Advanced Satellite of Cosmology and Astrophysics (ASCA), the Rossi X-ray Timing Explorer (RXTE), and Rosat, I am accumulating X-ray data between 0.1 and 60 keV to produce a catalog of the broad-band X-ray spectral properties of Seyfert galaxies. These data will be used to perform concrete tests of the unified model, and (compared with similar data on Starbursts) to examine a possible evolutionary connection between Seyfert and Starburst galaxies.

Weaver, Kimberly A.↗

NASA Collaborative Design Processes

This is Block 1, the first evolution of the world's most powerful and versatile rocket, the Space Launch System, built to return humans to the area around the moon. Eventually, larger and even more powerful and capable configurations will take astronauts and cargo to Mars. On the sides of the rocket are the twin solid rocket boosters that provide more than 75 percent during liftoff and burn for about two minutes, after which they are jettisoned, lightening the load for the rest of the space flight. Four RS-25 main engines provide thrust for the first stage of the rocket. These are the world's most reliable rocket engines. The core stage is the main body of the rocket and houses the fuel for the RS-25 engines, liquid hydrogen and liquid oxygen, and the avionics, or "brain" of the rocket. The core stage is all new and being manufactured at NASA's "rocket factory," Michoud Assembly Facility near New Orleans. The Launch Vehicle Stage Adapter, or LVSA, connects the core stage to the Interim Cryogenic Propulsion Stage. The Interim Cryogenic Propulsion Stage, or ICPS, uses one RL-10 rocket engine and will propel the Orion spacecraft on its deep-space journey after first-stage separation. Finally, the Orion human-rated spacecraft sits atop the massive Saturn V-sized launch vehicle. Managed out of Johnson Space Center in Houston, Orion is the first spacecraft in history capable of taking humans to multiple destinations within deep space. 2) Each element of the SLS utilizes collaborative design processes to achieve the incredible goal of sending human into deep space. Early phases are focused on feasibility and requirements development. Later phases are focused on detailed design, testing, and operations. There are 4 basic phases typically found in each phase of development.

Jones, Davey↗

ON THE EFFECTIVENESS OF LLMS IN UNIT TEST GENERATION FOR STRUCTURED TEXT PROGRAMS

The reliability of industrial automation systems heavily depends on the correctness of Programmable Logic Controller (PLC) programs, which are often written in Structured Text (ST). While Large Language Models (LLMs) have shown promise in automating test generation for mainstream programming languages, their effectiveness for the syntactically strict ST language remains underexplored. This thesis presents a systematic empirical evaluation of three state-of-the-art LLMs—GPT-4o, Gemini 2.5 Pro, and Claude Sonnet 4.5—for generating ST unit tests. We examine three prompting strategies: Natural Language (NL), Code Language (CL), and Chain-of-Thought (CoT), across a curated set of 11 ST function blocks. The quality of the generated tests is assessed using Compilation Success Rate (CSR), Statement Coverage (SC), and Branch Coverage (BC). In the zero-shot setting, Claude Sonnet 4.5 achieves the highest CSR, while Gemini 2.5 Pro consistently delivers the best statement and branch coverage, particularly under CL prompts. By incorporating a one-shot CL prompt, all models exhibit substantial improvements—most notably GPT-4o, whose CSR increases from 45.45% to 90.91%, with substantial gains in both SC and BC. To further contextualize these findings, we compare GPT-4o’s one-shot results with PLCAutoTester, a state-ofthe- art ST unit test generation tool, on an additional benchmark dataset. While LLMgenerated tests approach competitive coverage levels, PLCAutoTester maintains significantly higher and more stable coverage across programs. This study provides the first comprehensive benchmark of modern LLMs for ST unit testing, highlighting their strengths, limitations, and improvements through one-shot prompting, and positioning their performance relative to specialized automated testing tools in industrial automation.

42 ENGINEERING↗

Hydrogen Production System Scaling Using a High-Fidelity Simulation-Optimization Framework

Proton exchange membrane (PEM) electrolyzers are widely used for hydrogen production, yet few validated, high-fidelity tools can reliably guide scale-up. Using measured performance from a 50-hour hardware-in-the-loop pilot test, a physics-based, plant-level model of a 1.25 MW PEM electrolyzer and its balance-of-plant (BoP) subsystems is developed and validated. The model couples electrochemistry and thermal/flow submodels and is calibrated against pilot test data via a genetic algorithm (GA) workflow. Validation yields a mean absolute percentage error (APE) of 0.43% for cell voltage and stack power. Two scale-out strategies are then benchmarked under a common 7-day wind-and-photovoltaic (PV) profile: (i) linear duplication of 1.25 MW blocks and (ii) shared-BoP architectures. Sharing BoP between stacks reduces BoP energy by 27% at 10 MW and 34% at 100 MW (vs. linear duplication) and improves system specific energy consumption (SEC) to 52.9 and 52.6 kWh/kg, respectively (from 54.0 kWh/kg with linear duplication). Partial-load studies (25-100% set-point) show that cumulative hydrogen production remains nearly constant down to 50% load because all cases use the same weekly renewable-energy input. Below 50%, the power cap limits how much energy can be used within 168 h, which reduces hydrogen output. The model further indicates that the practical operating optimum lies between 50% and 85% load, where efficiency gains begin to appear without significant loss in hydrogen output. Moreover, the efficiency gains at lower loads are offset by reduced production. The validated framework supports scenario-based engineering trade-off studies for large configurations (10-100 MW) and for operating policies under variable renewables.

08 HYDROGEN↗

Knowledge base rule partitioning design for CLIPS

This describes a knowledge base (KB) partitioning approach to solve the problem of real-time performance using the CLIPS AI shell when containing large numbers of rules and facts. This work is funded under the joint USAF/NASA Advanced Launch System (ALS) Program as applied research in expert systems to perform vehicle checkout for real-time controller and diagnostic monitoring tasks. The Expert System advanced development project (ADP-2302) main objective is to provide robust systems responding to new data frames of 0.1 to 1.0 second intervals. The intelligent system control must be performed within the specified real-time window, in order to meet the demands of the given application. Partitioning the KB reduces the complexity of the inferencing Rete net at any given time. This reduced complexity improves performance but without undo impacts during load and unload cycles. The second objective is to produce highly reliable intelligent systems. This requires simple and automated approaches to the KB verification & validation task. Partitioning the KB reduces rule interaction complexity overall. Reduced interaction simplifies the V&V testing necessary by focusing attention only on individual areas of interest. Many systems require a robustness that involves a large number of rules, most of which are mutually exclusive under different phases or conditions. The ideal solution is to control the knowledge base by loading rules that directly apply for that condition, while stripping out all rules and facts that are not used during that cycle. The practical approach is to cluster rules and facts into associated 'blocks'. A simple approach has been designed to control the addition and deletion of 'blocks' of rules and facts, while allowing real-time operations to run freely. Timing tests for real-time performance for specific machines under R/T operating systems have not been completed but are planned as part of the analysis process to validate the design.

Mainardi, Joseph D.↗