SEARCH · Search NASA

Results for “test case”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 613 records · Page 34

All sources NASA NTRS DOE OSTI

DOE OSTI2026

Validation of OpenPronghorn for Periodic Hill Flow Separation

OpenPronghorn is an open-source, MOOSE-based thermal-hydraulics simulation tool used for advanced reactor analysis. As an open-source code, it offers a transparent framework for validating governing equations, assumptions, and numerical methods against established benchmarks. This study evaluates OpenPronghorn's RANS turbulence model against the ERCOFTAC Case 81 periodic hill benchmark, a standard test case for separated turbulent flow featuring curved-wall separation, recirculation, shear-layer development, and reattachment. Streamwise velocity profiles predicted by OpenPronghorn were compared to reference LES data at multiple x/h locations. Results show that OpenPronghorn captures the overall trend of the velocity profiles, but the largest discrepancies occur in the separated-flow region, where turbulence is highly anisotropic and strongly affected by adverse pressure gradients and wall curvature—conditions that are inherently difficult for standard RANS models to resolve. Future work will test alternative k-e model variants and correction terms to improve prediction accuracy in this region.

42 - ENGINEERING↗

DOE OSTI2024

Fortran Compiler Test Suite v0.1.0

There is no currently available, open-source, easily adapted test suite for checking a compiler's conformance to the Fortran Standard. The main innovation of this software is in the framework to make the test suite apply to a new compiler. Making it open-source will enable community contributions of the test cases. Single organization construction of a comprehensive test suite is something that would be financially infeasible.

Richardson, Bradley↗

DOE OSTI2025

Creation of a Weather Drivers Test Suite for Inclusion in ASHRAE Standard 140

Weather conditions are an important boundary condition for building performance simulation (BPS) calculations. For existing test cases in ASHRAE Standard 140 "Method of Test for Evaluating Building Performance Simulation Software" (ANSI/ASHRAE 2020), it was assumed that the software being tested could adequately read and interpret the weather data in the provided standard weather files. As differences between the programs have been reduced and as more programs have shifted to sub-hourly time steps this assumption has become more stretched. To address these concerns a new test suite testing a program's ability to read and interpret the data from a standard weather file was developed. The purpose of the test suite is to test the use of the typical data used from standard weather files.

54 ENVIRONMENTAL SCIENCES↗

NASA NTRS1973

An extension of the QZ algorithm for solving the generalized matrix eigenvalue problem

This algorithm is an extension of Moler and Stewart's QZ algorithm with some added features for saving time and operations. Also, some additional properties of the QR algorithm which were not practical to implement in the QZ algorithm can be generalized with the combination shift QZ algorithm. Numerous test cases are presented to give practical application tests for algorithm. Based on results, this algorithm should be preferred over existing algorithms which attempt to solve the class of generalized eigenproblems where both matrices are singular or nearly singular.

Ward, R. C.↗

NASA NTRS1982

The design of the Galileo scan platform control

The design of the scan platform control for the Galileo spacecraft is described. Emphasis is given to the inertial pointing of the scan platform when the spacecraft is in the dual-spin configuration. The various methods of operation used in Galileo scan pointing are outlined. Important design considerations, such as spacecraft flexibility and the separation of the actuator and sensor by a flexible structure, are discussed. An explanation is given of the pointing requirements imposed on the scan platform control. Also given is a high level description of the relevant scan pointing algorithms. The performance of the design is demonstrated by means of a sample slew test case. The simulation program used in the test includes models of the flexibility of the stator structure, the friction in the clock and cone actuators, the gyro sensor characteristics, and the system time delays.

Chodas, J. L.↗

NASA NTRS1989

Analysis of the T-97 Space Shuttle Solid Rocket Motor test facility

The history of the analyses for the hydraulic force control systems of the T-97 test facility is presented. Two approaches that were investigated for softening the hydraulic systems for improved performance are presented. A valve modification and inclusion of a proportional-integral controller that finally stabilized the system are described. A simulated test case is shown and compared to actual test data from the QM-7 test. The simulated results are very close to the real results but indicate a slightly higher open-loop gain than for the real system.

Williamson, Marlin J.↗

NASA NTRS1993

Qualitative model-based diagnostics for rocket systems

A diagnostic software package is currently being developed at NASA LeRC that utilizes qualitative model-based reasoning techniques. These techniques can provide diagnostic information about the operational condition of the modeled rocket engine system or subsystem. The diagnostic package combines a qualitative model solver with a constraint suspension algorithm. The constraint suspension algorithm directs the solver's operation to provide valuable fault isolation information about the modeled system. A qualitative model of the Space Shuttle Main Engine's oxidizer supply components was generated. A diagnostic application based on this qualitative model was constructed to process four test cases: three numerical simulations and one actual test firing. The diagnostic tool's fault isolation output compared favorably with the input fault condition.

Maul, William↗

NASA NTRS1993

Qualitative model-based diagnostics for rocket systems

Maul, William↗

NASA NTRS2010

A New Method for Incremental Testing of Finite State Machines

The automatic generation of test cases is an important issue for conformance testing of several critical systems. We present a new method for the derivation of test suites when the specification is modeled as a combined Finite State Machine (FSM). A combined FSM is obtained conjoining previously tested submachines with newly added states. This new concept is used to describe a fault model suitable for incremental testing of new systems, or for retesting modified implementations. For this fault model, only the newly added or modified states need to be tested, thereby considerably reducing the size of the test suites. The new method is a generalization of the well-known W-method and the G-method, but is scalable, and so it can be used to test FSMs with an arbitrarily large number of states.

Pedrosa, Lehilton Lelis Chaves↗

NASA NTRS2014

Wald Sequential Probability Ratio Test for Space Object Conjunction Assessment

This paper shows how satellite owner/operators may use sequential estimates of collision probability, along with a prior assessment of the base risk of collision, in a compound hypothesis ratio test to inform decisions concerning collision risk mitigation maneuvers. The compound hypothesis test reduces to a simple probability ratio test, which appears to be a novel result. The test satisfies tolerances related to targeted false alarm and missed detection rates. This result is independent of the method one uses to compute the probability density that one integrates to compute collision probability. A well-established test case from the literature shows that this test yields acceptable results within the constraints of a typical operational conjunction assessment decision timeline. Another example illustrates the use of the test in a practical conjunction assessment scenario based on operations of the International Space Station.

Navigation↗

DOE OSTI2014

SU-F-BRD-10: Lung IMRT Planning Using Standardized Beam Bouquet Templates

Purpose: We investigate the feasibility of choosing from a small set of standardized templates of beam bouquets (i.e., entire beam configuration settings) for lung IMRT planning to improve planning efficiency and quality consistency, and also to facilitate automated planning. Methods: A set of beam bouquet templates is determined by learning from the beam angle settings in 60 clinical lung IMRT plans. A k-medoids cluster analysis method is used to classify the beam angle configuration into clusters. The value of the average silhouette width is used to determine the ideal number of clusters. The beam arrangements in each medoid of the resulting clusters are taken as the standardized beam bouquet for the cluster, with the corresponding case taken as the reference case. The resulting set of beam bouquet templates was used to re-plan 20 cases randomly selected from the database and the dosimetric quality of the plans was evaluated against the corresponding clinical plans by a paired t-test. The template for each test case was manually selected by a planner based on the match between the test and reference cases. Results: The dosimetric parameters (mean±S.D. in percentage of prescription dose) of the plans using 6 beam bouquet templates and those of the clinical plans, respectively, and the p-values (in parenthesis) are: lung Dmean: 18.8±7.0, 19.2±7.0 (0.28), esophagus Dmean: 32.0±16.3, 34.4±17.9 (0.01), heart Dmean: 19.2±16.5, 19.4±16.6 (0.74), spinal cord D2%: 47.7±18.8, 52.0±20.3 (0.01), PTV dose homogeneity (D2%-D99%): 17.1±15.4, 20.7±12.2 (0.03).The esophagus Dmean, cord D02 and PTV dose homogeneity are statistically better in the plans using the standardized templates, but the improvements (<5%) may not be clinically significant. The other dosimetric parameters are not statistically different. Conclusion: It's feasible to use a small number of standardized beam bouquet templates (e.g. 6) to generate plans with quality comparable to that of clinical plans. Partially supported by NIH/NCI under grant #R21CA161389 and a master research grant by Varian Medical System.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2016

The DQ and DQΦ electronic structure diabatization methods: Validation for general applications

We recently proposed the dipole-quadrupole (DQ) method for transforming adiabatic electronic states to diabatic states by using matrix elements of the dipole and quadrupole operators, and we applied the method to 3-state diabatizations of LiH and phenol. Here we extend the method to also include the electrostatic potential, and we call the resulting method the DQΦ method, which denotes the dipole–quadrupole–electrostatic-potential diabatization method. The electrostatic potential provides extra flexibility, and the goal of the present work is to test and illustrate the robustness of the methods for producing diabatic potential energy curves that tend to the adiabatic curves away from crossings and avoided crossings and are smooth in regions of crossings and avoided crossings. We illustrate the generality of the methods by an application to LiH with four states and by two-state diabatizations of HCl, (H{sub 2}){sub 2}, O{sub 3}, and the reaction Li + HF → LiF + H. We find that—if enough states are included—the DQ method does not have a significant dependence on the parameter weighting the quadrupole moment, and a geometry-independent value of 10 a{sub 0}{sup −2} is adequate in all cases tested. We also find that the addition of the electrostatic potential improves the diabatic potentials in some cases and provides an additional property useful for increasing the generality of the method for diabatization.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA NTRS2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites

Structural coverage metrics have traditionally categorized code as either covered or uncovered. Recent work presents a stronger notion of coverage, checked coverage, which counts only statements whose execution contributes to an outcome checked by an oracle. While this notion of coverage addresses the adequacy of the oracle, for Model-Based Development of safety critical systems, it is still not enough; we are also interested in how much of the oracle is covered, and whether the values of program variables are masked when the oracle is evaluated. Such information can help system engineers identify missing requirements as well as missing test cases. In this work, we add to the idea of checked coverage an analysis of requirements coverage to help provide insight to engineers as to whether the requirements or the test suite need to be improved. We implement our approach based on a dynamic backward slicing technique and evaluate it on several systems developed in Simulink. The results of our preliminary study show that even for systems with comprehensive test suites and good sets of requirements, our approach can identify cases where more tests or more requirements are needed to improve coverage numbers.

Dynamic Slicing↗

DOE OSTI2025

Experiences with SYCL on AMD GPUs with Kokkos

With the recent diversification of the hardware landscape in the high-performance computing (HPC) community, performance-portability solutions are becoming more and more important. One of the most popular choices is Kokkos, which recently became a Linux Foundation project. Most of its development is supported by the US Department of Energy and the French Alternative Energies and Atomic Energy Commission. Kokkos is implemented as a C++ library with multiple backends to support CPUs as well as various GPU architectures. These backends include OpenMP, CUDA, HIP, and also SCYL. This approach enables users to leverage the preferred vendor toolchain for the respective platform (e.g. CUDA, ROCm, OneAPI). The SYCL backend is used to target Intel GPUs, in particular to support the Aurora exascale supercomputer. However, SYCL itself also offers a large degree of portability, and in fact Kokkos’ CI for SYCL has been running on NVIDIA hardware due to a lack of access to Intel GPUs. In this report, we describe our experience with using Kokkos SYCL backend on AMD GPUs targeting the Frontier supercomputer at Oak Ridge National Laboratory. The two major SYCL implementations are DPC++ and AdaptiveCpp. While the Kokkos SYCL backend has been implemented using the former, the latter was the first implementation to target AMD GPUs. We will discuss the experience with both of these SYCL implementations in terms of functionality and performance. Using Kokkos to evaluate SYCL toolchains has a number of benefits. Kokkos’ use of SYCL is fairly complex, exercising features such as graphs, relocatable device functions, atomics – including for non-arithmetic types, as well as pinned and page migratable memory allocations. Kokkos also needs to implement capabilities such as Kokkos’ hierarchical parallelism that are not a straight-forward mapping to SYCL capabilities. Furthermore, a large number of libraries and applications that represent diverse use cases are implemented in Kokkos, providing readily available test cases for a toolchain evaluation. Preliminary results show that support for AMD GPUs in DPC++ is much less mature than for NVIDIA GPUs or Intel GPUs. While the situation has improved significantly over the last year, we still encounter many runtime failures, dispatching problems, and code generation issues. With AdaptiveCpp the challenges arise even earlier in the evaluation process. Since Kokkos’ SYCL implementation is largely focused on supporting Intel GPUs, we opted to leverage SYCL extensions which are available in DPC++ but not in AdaptiveCpp. Furthermore, AdaptiveCpp appears to be less conformant with the SYCL2020 standard which Kokkos relies on. In some cases, we are able to work around the lack of feature support, in other cases we have to disable certain Kokkos capabilities to evaluate the toolchain. Our evaluation will leverage Kokkos’ unit tests to establish basic functionality and feature completeness. We then use simple benchmarks for components of a CG implementation as a measure of usability and performance of the SYCL toolchains.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

A709 Qualification Plan Update and Mechanical Properties Data Assessment

This report provides a summary of the development effort for the qualification of Alloy 709, an advanced austenitic stainless steel, in the American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel Code, Section III, Division 5, High Temperature Reactors. It provides an assessment of the mechanical properties data generated to date from the tensile, creep, fatigue and creep-fatigue tests of the precipitation-treated Alloy 709 from two commercial heats in plate product form. It was concluded that the mechanical properties of Alloy 709 with the precipitation treatment continued to outperform those of Type 316 stainless steel. This affirms the recommendation to Code qualification this alloy as a replacement for Type 316 stainless steel to support the objective of reducing the construction and operating costs to incentivize advanced reactor deployment. The data also demonstrated that the precipitation treatment is effective in enhancing the creep-fatigue resistance of Alloy 709 while maintaining a significant creep strength advantage over Type 316 stainless steel. This report also provides an update to the test conditions for the creep, fatigue and creep-fatigue test matrices in order to cover the Code Case data package more effectively. Finally, it is recommended to continue the Alloy 709 Code Case Testing Program to develop the data package needed for the determination of the material-specific design parameters for inclusion in the Alloy 709 Code Case.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

DOE OSTI2026

Machine learning surrogates for ion energy–angle distributions in thermal and RF plasma sheaths

Ion energy–angle distributions (IEADs) at material surfaces are a critical input for plasma–material interaction (PMI) studies in fusion devices, yet they are computationally expensive to obtain using particle-in-cell (PIC) simulations. In this work, we develop a machine learning surrogate based on a deep deconvolutional neural network (DDeCNN) trained on large databases generated with the hPIC2 code. The surrogate is capable of reconstructing IEADs from sheath parameters for both thermal and radio-frequency (RF) plasmas, including cases with multiple ion species. Across thousands of test cases, the model achieves high accuracy, with over 97 % of predictions classified as good or average based on standard error metrics (MAE, MSE, L2). Even in the more challenging RF and multi-species regimes, the surrogate reliably captures the multi-peak structure of PIC results. Once trained, the surrogate produces IEADs in milliseconds on a common workstation, yielding speedups of six to seven orders of magnitude compared with running a full PIC simulation. This computational gain enables dense parameter scans and direct coupling of IEAD predictions with PMI and erosion models on whole-device scales in fusion-relevant conditions.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2017

Introducing Human Mandible Identification [(hu)MANid]: A Free, Web‐Based GUI to Classify Human Mandibles

Abstract Statistical programs have revolutionized the way in which forensic anthropologists conduct casework by allowing practitioners to use computationally complex analytics at the click of a button. Importantly, the products of these statistical programs are reproducible and contain measures of error or uncertainty, thereby strengthening conclusions. This paper is an introduction to (hu) MAN id, a free, web‐based application that uses linear and mixture discriminant function analyses to classify human mandibles into one of many worldwide and/or periodic reference groups. The mechanics, development, and use of the application will be discussed. Further, the program was tested against other software to compare model performances and classifications. Total correct classifications among the test cases and programs were identical. Ten mandibles were tested using both statistical procedures. Mixture discriminant analysis improved classification by an average of 9.3% and correctly identified three more mandibles than LDA . Therefore, we believe (hu) MAN id will be an asset to the anthropological community.

Berg, Gregory E.↗

DOE OSTI2020

DECOVALEX-2023 Task E Specification (Rev. 0)

This report is the Task E specification (Revision 0) for DECOVALEX-2023. Task E is focused on understanding thermal, hydrological, mechanical and chemical (THMC) processes, especially related to predicting brine migration in heated salt. The main test case being used is the ongoing Brine Availability Test in Salt (BATS) heater test located underground at the Waste Isolation Pilot Plant (WIPP) in Carlsbad, New Mexico. This report provides short motivational background, a summary of relevant experiments and data, and a step-by-step plan for the analysis by the teams participating in Task E (Rev. 0 includes detailed description of steps 0 and 1). This document will be revised, and more detail will be added to later steps during DECOVALEX-2023.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗