Search NASA⌕ Search

SEARCH · Search NASA

Results for “Bounding Analysis”

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 505 records · Page 28

Statistical Modeling for Radiation Hardness Assurance

We cover the models and statistics associated with single event effects (and total ionizing dose), why we need them, and how to use them: What models are used, what errors exist in real test data, and what the model allows us to say about the DUT will be discussed. In addition, how to use other sources of data such as historical, heritage, and similar part and how to apply experience, physics, and expert opinion to the analysis will be covered. Also included will be concepts of Bayesian statistics, data fitting, and bounding rates.

Hardness Assurance↗

Advanced Supersonic Parachute Inflation Research Experiment Preflight Trajectory Modeling and Postflight Reconstruction

The Advanced Supersonic Parachute Inflation Research and Experiments (ASPIRE) was a series of sounding rocket flights aimed at understanding the dynamics of supersonic parachutes that are used for Mars robotic applications. The 2012 Mars Science Laboratory (MSL) had a successful deployment of a supersonic parachute, but based on post-flight analysis of parachute margins, the ASPIRE project was created as a risk-reduction program to improve quantification of these margins and qualify a supersonic parachute for Mars 2020, the follow-on mission to MSL. The first sounding rocket (SR01) flight of ASPIRE occurred near Wallops Island, Virginia on Oct. 4, 2017 and demonstrated the successful deployment and inflation of a MSL build-to-print parachute in flight conditions similar to the 2012 MSL mission. The ASPIRE SR02 and SR03 were successful follow-on flights on Mar. 31, 2018 and Sep. 7, 2018 that demonstrated the new, strengthened supersonic parachute designed for the Mars 2020 project. The SR02 and SR03 parachuteswere targeted to 100% and 140% of the expected flight limit load for Mars 2020 to confirm new margins expected from the strengthened parachute. Prior to all flights, a multi-body flight dynamics simulation was developed to predict the parachute dynamics and was used, in conjunction with other tools, to target Mars-relevant flight conditions. After each flight, the on-board data were used to reconstruct the flight trajectory and to validate the pre-flight dynamics simulation. Post-flight analysis showed that all three tests achieved their targeted conditions and pre-flight modeling bounded the key performance metrics for the parachute. This paper describes the flight mechanics simulation, post-flight reconstruction, and the reconciliation process used to validate the flight models.

Soumyo Dutta↗

FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation

We present FPDetect, a low-overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline analysis that tightly estimates the number of floating-point bits preserved across stencil applications. This estimate rigorously bounds the values expected in the data space of the computation. Violations of this bound can be attributed with certainty to errors. FPDetect helps synthesize error detectors customized for user-specified levels of accuracy and coverage. FPDetect also enables overhead reduction techniques based on deploying these detectors coarsely in space and time. Experimental evaluations demonstrate the practicality of our approach.

97 MATHEMATICS AND COMPUTING↗

The SURE reliability analysis program

The SURE program is a new reliability tool for ultrareliable computer system architectures. The program is based on computational methods recently developed for the NASA Langley Research Center. These methods provide an efficient means for computing accurate upper and lower bounds for the death state probabilities of a large class of semi-Markov models. Once a semi-Markov model is described using a simple input language, the SURE program automatically computes the upper and lower bounds on the probability of system failure. A parameter of the model can be specified as a variable over a range of values directing the SURE program to perform a sensitivity analysis automatically. This feature, along with the speed of the program, makes it especially useful as a design tool.

Butler, R. W.↗

Uncertainty quantification in breakup reactions

Breakup reactions are one of the favored probes to study loosely bound nuclei, particularly those in the limit of stability forming a halo. In order to interpret such breakup experiments, the continuum discretized coupled channel method is typically used. In this study, the first Bayesian analysis of a breakup reaction model is performed. Herein we use a combination of statistical methods together with a three-body reaction model (the continuum discretized coupled channel method) to quantify the uncertainties on the breakup observables due to the parameters in the effective potential describing the loosely bound projectile of interest. The combination of tools we develop opens the path for a Bayesian analysis of not only breakup processes, but also a wide array of complex processes that require computationally intensive reaction models.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Nonlinear modal analysis of penetrative convection

It is pointed out that thermal convection in many astrophysical and geophysical settings occurs in an unstable layer bounded above and below by regions which are stably stratified. The convective motions may extend a substantial distance into the adjacent stable zones. If the motions have little direct effect upon the mean stratification of the stable zone, then they are usually referred to as convective overshooting. The primary objective of the present investigation is to study the dynamics of overshooting at very large Rayleigh numbers, mainly with stellar applications in mind. Numerically this is only feasible if severe simplifications are made in the description of what are likely to be turbulent motions. The approach employed in the investigation utilizes nonlinear modal equations in which the vertical and temporal structure of the convection is described accurately at the expense of the horizontal structure. A summary of the salient properties of penetrative convection is provided on the basis of the results of the conducted studies.

Zahn, J.-P.↗

Coupling SCALE with DAKOTA for Axial Burnup Profiles Assessment in Burnup Credit

This paper presents a computational study that demonstrates the application of the SCALE code system in conjunction with the Design Analysis Kit for Optimization and Terascale Applications (DAKOTA) for the analysis of key factors influencing the evaluation of burnup credit (BUC) in pressurized water reactors (PWRs). The primary objective of this analysis is to characterize the model by utilizing parameterization, uncertainty quantification, and optimization studies. Using this approach, we can comprehensively assess the system and conduct informed predictive studies. This study highlights the effectiveness of the SCALE code system integrated within the DAKOTA framework in terms of efficiency and capability. With the coupling of the burnup code ORIGAMI with the CSAS or TSUNAMI-3D sequence embedded in a DAKOTA analysis, we can characterize the factors that influence the k eff of PWR 17x17 spent nuclear fuel (SNF) in the GBC-32 computational benchmark cask for the assessment of BUC in criticality safety analysis. The coupling methodology used in this study is not exclusive to BUC analysis. However, the choice to apply this methodology to the BUC problem is particularly significant because of the diverse range of aspects it encompasses in nuclear criticality safety analyses. This problem presents a unique opportunity to explore and address multiple facets of such analyses related to BUC and illustrates the capability of the SCALE code system with DAKOTA. This analysis makes use of historical reference data for the axial burnup profile, where the entire space within the bounds is considered. Both SCALE and DAKOTA are currently integrated in the Nuclear Energy Advanced Modeling Simulation (NEAMS) Workbench code system, which has a user-friendly graphical interface that simplifies the setup of simulations and configuration of input parameters as well as the visualization of simulation results.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Comparison of Methods to Predict Lower Bound Buckling Loads of Cylinders Under Axial Compression

Results from a numerical study of the buckling response of two different orthogrid stiffened circular cylindrical shells with initial imperfections and subjected to axial compression are used to compare three different lower bound buckling load prediction techniques. These lower bound prediction techniques assume different imperfection types and include an imperfection based on a mode shape from an eigenvalue analysis, an imperfection caused by a lateral perturbation load, and an imperfection in the shape of a single stress-free dimple. The STAGS finite element code is used for the analyses. Responses of the cylinders for ranges of imperfection amplitudes are considered, and the effect of each imperfection is compared to the response of a geometrically perfect cylinder. Similar behavior was observed for shells that include a lateral perturbation load and a single dimple imperfection, and the results indicate that the predicted lower bounds are much less conservative than the corresponding results for the cylinders with the mode shape imperfection considered herein. In addition, the lateral perturbation technique and the single dimple imperfection produce response characteristics that are physically meaningful and can be validated via testing.

Haynie, Waddy T.↗

Axion Dark Matter eXperiment: Run 1A analysis details

The ADMX Collaboration gathered data for its Run 1A axion dark matter search from January 2017 to June 2017, scanning with an axion haloscope over the frequency range 645–680 MHz ( 2.66 – 2.81 μ eV in axion mass) at Dine-Fischler-Srednicki-Zhitnitskii (DFSZ) sensitivity. The resulting axion search found no axionlike signals comprising all the dark matter in the form of a virialized galactic halo over the entire frequency range, implying lower bound exclusion limits at or below DFSZ coupling at the 90% confidence level. This paper presents expanded details of the axion search analysis of Run 1A, including review of relevant experimental systems, data-taking operations, preparation and interpretation of raw data, axion search methodology, candidate handling, and final axion limits. Published by the American Physical Society 2024

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Compressing branch-and-bound trees

A branch-and-bound (BB) tree certifies a dual bound on the value of an integer program. In this work, we introduce the tree compression problem (TCP): Given a BB tree T that certifies a dual bound, can we obtain a smaller tree with the same (or stronger) bound by either (1) applying a different disjunction at some node in T or (2) removing leaves from T? Here we believe such post-hoc analysis of BB trees may assist in identifying helpful general disjunctions in BB algorithms. We initiate our study by considering computational complexity and limitations of TCP. We then conduct experiments to evaluate the compressibility of realistic branch-and-bound trees generated by commonly-used branching strategies, using both an exact and a heuristic compression algorithm.

97 MATHEMATICS AND COMPUTING↗

IDP Analysis of Tank 9H Mined Well Samples

The Savannah River Site (SRS) Tank Farm Transfer Control Program Description Document (PDD) requires Inhalation Dose Potential (IDP) testing to determine whether a transfer qualifies as a “HIGH-REM” (> 2.08E+08 rem/gal) or a “LOW-REM” (≤ 2.08E+08 rem/gal) waste transfer. Due to the unexpected presence of solids in a variable depth sample taken from Tank 9H, transfers from salt tanks potentially containing insoluble solids are currently being assessed as sludge slurry transfers. The insoluble solids concentration of such samples were requested to be adjusted to 16.7 wt% for the results to be used to bound future transfers from that tank. Two samples, HTF-09-21-100 and -101, were received from Tank 9H for analysis to determine IDP. The initial percent insoluble solids concentrations of HTF-09-21-100 and -101 were measured at 4.04 wt% and 6.23 wt%, respectively. Sample HTF-09-21-101 was adjusted to a target of at least 16.7 wt% insoluble solids by removing supernate. Analysis measured the adjusted insoluble solids concentration at 19.0 wt%. A representative sample was obtained for analysis. Then, based on calculations, supernate was added back to HTF-09-21-101 to achieve a percent insoluble solids concentration of 17.1 wt%, and a representative sample was collected for analysis. Based on duplicate analyses at 17.1 wt% and 19.0 wt% insoluble solids, the samples contain less than 0.0012 Ci/L of gross alpha activity. Therefore, the Tank 9H material can be transferred as a “LOW REM” transfer.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Stability Analysis of Inline ZFP Compression for Floating-Point Data in Iterative Methods

Currently, the dominating constraint in many high performance computing applications is data capacity and bandwidth, in both internode communications and even moreso in intranode data motion. A new approach to address this limitation is to make use of data compression in the form of a compressed data array. Storing data in a compressed data array and converting to standard IEEE-754 types as needed during a computation can reduce the pressure on bandwidth and storage. However, repeated conversions (lossy compression and decompression) introduce additional approximation errors, which need to be shown to not significantly affect the simulation results. Here, we extend recent work that analyzed the error of a single use of compression and decompression of the ZFP compressed data array representation to the case of time-stepping and iterative schemes, where an advancement operator is repeatedly applied in addition to the conversions. We show that the accumulated error for iterative methods involving fixed-point and time evolving iterations is bounded under standard constraints. An upper bound is established on the number of additional iterations required for the convergence of stationary fixed-point iterations. An additional analysis of traditional forward and backward error of stationary iterative methods using ZFP compressed arrays is also presented. The results of several 1D, 2D, and 3D test problems are provided to demonstrate the correctness of the theoretical bounds.

97 MATHEMATICS AND COMPUTING↗

Effects of the Hydrophobic Block Length Ratio of Poly(vinylbenzyl N -methylpiperidinium carbonate)- b -polyethylene- b -poly(vinylbenzyl N -methylpiperidinium carbonate) Block Copolymers for Anion Exchange Membrane Electrolysis

Electrolysis of water to produce hydrogen from renewable electricity is an extremely attractive strategy to reduce energy dependence on fossil fuels. Development of membrane and ionomer materials that maintain high performance with long lifetimes is needed. We developed and investigated the performance and durability of a series of polyethylene-based ABA triblock copolymer anion exchange ionomer and membrane (AEI, AEM) materials for anion exchange membrane water electrolysis. Poly(vinylbenzyl N-methylpiperidinium carbonate)-b-polyethylene-b-poly(vinylbenzyl N-methylpiperidinium carbonate) was synthesized with different hydrophobic/hydrophilic block ratios (1.02:1, 2.58:1, and 4.46:1) resulting in a range of ion exchange capacities (1.1–1.8 meq g –1 ) and water swelling (23–154%) characteristics. All AEMs showed full anionic dissociation, as evidenced by linear Arrhenius correlations, and excellent carbonate conductivity of 8–94 mS cm –1 at 50 °C. Hydrophilic phase separation may offer superior chemical durability by only wetting the ion-conducting region of the polymer and avoiding attack at the nonwetted backbone. We evaluated the performance and durability of these AEMs as a function of hydrophobic polyethylene (PE) content. The AEM containing the least amount of PE displayed the highest performance of 1 A cm –2 at 2.3 V but degraded at 40 mV h –1 before catastrophically failing after <3 h at 0.5 A cm –2 . With greater PE-containing AEMs, the degradation rate was reduced by 3 orders of magnitude with only a 0.2 V increase in voltage. Constant current electrolysis for 50 h resulted in a voltage change of 0.3 mV h –1 in a single-cell water electrolyzer and 1 M potassium carbonate. In a 600 h test, the voltage change in the final 200 h was impressively low for an experimental film, 58 μV h –1 . Postmortem analysis indicated that the membrane did not thin and that water becomes more tightly hydrogen-bound in the polymer after electrolysis.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Onset of High-Harmonic Fast Wave Propagation in Annulus Geometry

Previous experiments on NSTX have reported high-harmonic fast wave (HHFW) power losses in the scrape-off layer (SOL), with dependencies on the wave parallel wavenumber, plasma density, and magnetic field. This study presents an analysis of HHFW propagation in the SOL plasma, focusing on parasitic coupling to the waveguide mode bounded by the steep gradient pedestal and the outer wall boundary. The analytic and finite element wave models are discussed using a 2D annulus geometry, which serves as a simplified representation of the NSTX-U plasma. The model shows that a minimum radial gap width is required to support wave propagation, analogous to the higher-order modes in coaxial geometries. The impact of several factors, including gap width, wave parallel phasing, and magnetic field strength, on parasitic wave coupling is examined, highlighting the role of the geometric dimension in relation to the wave perpendicular wavelength. The findings suggest that controlling the edge/SOL density profile (gap control) is crucial for mitigating parasitic coupling when the density in front of the antenna exceeds the density cutoff.

Baek, Seung-Gyou [Massachusetts Inst. of Technolog↗

Hybrid simulation of Alfvén wave parametric decay instability in a laboratory relevant plasma

Large-amplitude Alfvén waves are subject to parametric decays, which can have important consequences in space, astrophysical, and fusion plasmas. Although the Alfvén wave parametric decay instability (PDI) was predicted decades ago, observational evidence is limited, stimulating considerable interest in laboratory demonstration of the instability and associated numerical modeling. Here, we report an important step toward direct hybrid simulation of the Alfvén wave PDI in a laboratory plasma, using antenna-like wave injection of a circularly polarized wave and realistic wave-plasma parameters. Considering collisionless damping, we identify the threshold Alfvén wave amplitudes and frequencies required for triggering the instability. These threshold behaviors are corroborated by simple theoretical analysis, considering the balance between PDI growth and ion Landau damping and PDI development in a bounded plasma. Other effects not included in the present model such as finite transverse wave scale and ion–neutral collisions are briefly discussed. These hybrid simulations promise to be a useful tool for investigating laboratory Alfvén wave dynamics and may provide guidance for future laboratory demonstration of the PDI process.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Quantifying uncertainties due to optical potentials in one-neutron knockout reactions

One-neutron knockout reactions have been widely used to extract information about the single-particle structure of nuclei from the valley of stability to the drip lines. The interpretation of knockout data relies on reaction models, where the uncertainties are typically not accounted for. In this work, we quantify uncertainties of optical potentials used in these reaction models and propagate them, for the first time, to knockout observables using a Bayesian analysis. We study two reactions in the present paper, the first of which involves a loosely bound halo projectile, 11 Be, and the second a tightly bound projectile, 12 C. We first quantify the parametric uncertainties associated with phenomenological optical potentials. Complementing this approach, we also quantify the model uncertainties associated with the chiral forces that can be used to construct microscopic optical potentials. For the phenomenological study, we investigate the impact of the imaginary terms of the optical potential on the breakup and stripping components of the knockout cross sections as well as the impact of the angular range. For the 11 Be case, the theoretical uncertainty from the phenomenological method is on the order of the experimental uncertainty of the knockout observables; however, for the 12 C case, the theoretical uncertainty is significantly larger. Additionally, the widths of the uncertainty bands for the knockout observables obtained for the microscopic study and the phenomenological approach are of similar orders of magnitude. Based on this work we conclude that structure information inferred from the ratio of the knockout cross sections will carry a theoretical uncertainty of at least 20% for halo nuclei and at least 40% for tightly bound nuclei.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

New Perspectives on Spectroscopic Factor Quenching from Reactions

The evolution of single-particle strengths as the neutron-to-proton asymmetry changes informs us of the importance of short- and long-range correlations in nuclei and has therefore been extensively studied for the last two decades. Surprisingly, the strong asymmetry dependence of these strengths and their extreme values for highly asymmetric nuclei inferred from knockout reaction measurements on a target nucleus are not consistent with what is extracted from electron-induced, transfer, and quasi-free reaction data, constituting a two-decade old puzzle. This work presents the first consistent analysis of one-nucleon transfer and one-nucleon knockout data, in which theoretical uncertainties associated with the nucleon-nucleus effective interactions considered in the reaction models are quantified using a Bayesian analysis. Here, our results demonstrate that, taking into account these uncertainties, the spectroscopic strengths of loosely bound nucleons extracted from both probes agree with each other and, although there are still discrepancies for deeply bound nucleons, the slope of the asymmetry dependence of the single-particle strengths inferred from transfer and knockout reactions are consistent within 1 σ . Both probes are consistent with a small asymmetry dependence of these strengths. The uncertainties obtained in this work represent a lower bound and are already significantly larger than the original estimates.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Probing ferroelectricity by x-ray absorption spectroscopy in molecular crystals

We carry out x-ray absorption spectroscopy experiment at the oxygen $K$ edge in croconic acid (C 5 H 2 O 5 ) crystal as a prototype of ferroelectric organic molecular solid, whose electric polarization is generated by proton transfer. The experimental spectrum is well reproduced by the electron-hole excitation theory simulations from configuration generated by ab initio molecular dynamics simulation. When inversion symmetry is broken in the ferroelectric state, the hydrogen bonding environment on the two bonded molecules become inequivalent. Such a difference is sensitively probed by the bound excitation in the pre-edge, which is strongly localized on the excited molecules. Our analysis shows that a satellite peak in the pre-edge will emerge at higher excitation energy, which serves as a clear signature of ferroelectricity in the material.

36 MATERIALS SCIENCE↗