Search NASA⌕ Search

SEARCH · Search NASA

Results for “random testing”

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 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Benchmarking SARS CoV-2 Infection in the Workplace to Support Continuity of Operations

Objective: The COVID-19 pandemic jeopardizes continuity of operations of workplaces and the health and safety of workers. Exemplar workplace-related SARS-CoV-2 benchmarks are described and illustrated with empirical data. Methods: Benchmarks were collected over a 9-month period on a large workplace (N = 5500+). These ranged from quantitative indices associated with RT-qPCR targeted testing and random surveillance screening, surveillance for new variants of SARS-CoV-2, intensive contact tracing, case management, return to work procedures, to monitoring of antibody seropositive status. Results: Data and analyses substantiated effectiveness of interventions. This was evidenced in suppressed infection rates, rapid case identification and isolation, acceptance of the program by employees, documentation of presumptive immunity, and working relationships with senior management. Conclusions: These SARS-CoV-2 exemplar benchmarks provided an evidence-base for practice and contributed strategically to organizational decisions.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2023

The Quantum Alternating Operator Ansatz for Satisfiability Problems

Here, we comparatively study, through large-scale numerical simulation, the performance across a large set of Quantum Alternating Operator Ansatz (QAOA) implementations for finding approximate and optimum solutions to unconstrained combinatorial optimization problems. Our survey includes over 100 different mixing unitaries, and we combine each mixer with both the standard phase separator unitary representing the objective function and a thresholded version. Our numerical tests for randomly chosen instances of the unconstrained optimization problems Max 2-SAT and Max 3-SAT reveal that the traditional transverse-field mixer with the standard phase separator performs best for problem sizes of 8 through 14 variables, while the recently introduced Grover mixer with thresholding wins at problems of size 6. This result (i) corrects earlier work suggesting that the Grover mixer is a superior mixer based only on results from problems of size 6, thus illustrating the need to push numerical simulation to larger problem sizes to more accurately predict performance; and (ii) it suggests that more complicated mixers and phase separators may not improve QAOA performance.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Comparison of theory with the experimental characterization of the spatial frequency response of interferometers using a binary pseudo-random array sample

Experimental evaluations of the surface height response of an interference microscope using a binary pseudo-random array test sample are compared with a theory based on a Fourier optics model. Measurements of key instrument characteristics, including the illumination, imaging, and obscuring apertures of three different Mirau objectives, support the theoretical calculations. Agreement between experimental and theoretical modeling confirms the predictability of the spatial frequency response for the purpose of specification and optimization of instrument configuration for specific metrology tasks. The results also provide confidence in methods of compensating for the decrease in instrument response with spatial frequency.

Calibration↗
DOE OSTI2015

Automatic learning-based beam angle selection for thoracic IMRT

Purpose: The treatment of thoracic cancer using external beam radiation requires an optimal selection of the radiation beam directions to ensure effective coverage of the target volume and to avoid unnecessary treatment of normal healthy tissues. Intensity modulated radiation therapy (IMRT) planning is a lengthy process, which requires the planner to iterate between choosing beam angles, specifying dose–volume objectives and executing IMRT optimization. In thorax treatment planning, where there are no class solutions for beam placement, beam angle selection is performed manually, based on the planner’s clinical experience. The purpose of this work is to propose and study a computationally efficient framework that utilizes machine learning to automatically select treatment beam angles. Such a framework may be helpful for reducing the overall planning workload. Methods: The authors introduce an automated beam selection method, based on learning the relationships between beam angles and anatomical features. Using a large set of clinically approved IMRT plans, a random forest regression algorithm is trained to map a multitude of anatomical features into an individual beam score. An optimization scheme is then built to select and adjust the beam angles, considering the learned interbeam dependencies. The validity and quality of the automatically selected beams evaluated using the manually selected beams from the corresponding clinical plans as the ground truth. Results: The analysis included 149 clinically approved thoracic IMRT plans. For a randomly selected test subset of 27 plans, IMRT plans were generated using automatically selected beams and compared to the clinical plans. The comparison of the predicted and the clinical beam angles demonstrated a good average correspondence between the two (angular distance 16.8° ± 10°, correlation 0.75 ± 0.2). The dose distributions of the semiautomatic and clinical plans were equivalent in terms of primary target volume coverage and organ at risk sparing and were superior over plans produced with fixed sets of common beam angles. The great majority of the automatic plans (93%) were approved as clinically acceptable by three radiation therapy specialists. Conclusions: The results demonstrated the feasibility of utilizing a learning-based approach for automatic selection of beam angles in thoracic IMRT planning. The proposed method may assist in reducing the manual planning workload, while sustaining plan quality.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2023

pnnl/mlxrd

A multi-task neural network for the simultaneous identification of multiple compounds from XRD data obtained in a synchrotron-based hydrothermal fluid system. To enhance the alignment between the training and test datasets, random noise is introduced into the synthetic training dataset, and minor labeled experimental data is incorporated. Additionally, we employ a weighted cross-entropy loss function to address data imbalances and ensure smoother model training.

Li, Ang↗
DOE OSTI2022

Dataset for 'Ombadi, M. & Varadharajan, C. (2022). Urbanization and aridity mediate distinct salinity response to floods in rivers and streams across the Contiguous United States, Water Research'

This package contains data sets and code used to obtain the results in Ombadi, M., & Varadharajan, C. (2022). Urbanization and aridity mediate distinct salinity response to floods in rivers and streams across the Contiguous United States. Water Research, 118664. The folder "data" contains 259 .csv files, each of which has daily time series of concurrent streamflow (Q) and specific conductance (SC) for each of the sites used in this study originally downloaded from the USGS National Water Information System (NWIS; USGS, 2016). The number of data points in each of the files is at least 3650 (i.e. 10 years of daily measurements). The folder "RF_single_data" contains 259 .csv files, each of which include data used to train and test the Random Forest models at individual sites for predicting SC during days of floods. The folder "RF_regional_data" contains 3 .csv files, each of which include scaled data compiled from all sites within each climate zone (arid, temperate and wet). "metadata.csv" contains the physical properties of the 259 catchments corresponding to the sites used in this study; this data was extracted from GAGES-II dataset (Falcone et al., 2010). "RF_implementation.ipynb" is a Jupyter notebook with the code needed to implement the analysis using Random Forest models either for individual sites or for the regional models (for each climate zone). The code utilizes the data in the two folders: "RF_single_data" and "RF_regional_data" and the metadata.csv file.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1987

Detection of faults and software reliability analysis

Multi-version or N-version programming is proposed as a method of providing fault tolerance in software. The approach requires the separate, independent preparation of multiple versions of a piece of software for some application. These versions are executed in parallel in the application environment; each receives identical inputs and each produces its version of the required outputs. The outputs are collected by a voter and, in principle, they should all be the same. In practice there may be some disagreement. If this occurs, the results of the majority are taken to be the correct output, and that is the output used by the system. A total of 27 programs were produced. Each of these programs was then subjected to one million randomly-generated test cases. The experiment yielded a number of programs containing faults that are useful for general studies of software reliability as well as studies of N-version programming. Fault tolerance through data diversity and analytic models of comparison testing are discussed.

Knight, John C.↗
NASA NTRS1988

Random vibration (stress screening) of printed wiring assemblies

The results of a random vibration test screening (RVSS) study of the determination of the upper and lower vibration limits on printed wiring assemblies (PWA) are summarized. The study results are intended to serve as a guide for engineers and designers who make decisions on PWA features that need to withstand the stresses of dynamic testing and screening. The maximum allowable PWA deflection, G levels, and PSD levels are compared to the expected or actual levels to determine if deleterious effects will occur.

Bastien, Gilbert J.↗
NASA NTRS1989

Evaluation of atomic oxygen resistant protective coatings for fiberglass-epoxy composites in LEO

Fiberglass-epoxy composite masts are the prime structural members for the Space Station Freedom solar array. At the altitude where Space Station Freedom will operate, atomic oxygen atoms are the most predominant species. Atomic oxygen is highly reactive and has been shown to oxidize organic and some metallic materials. Tests with random and directed atomic oxygen exposure have shown that the epoxy is removed from the composite exposing brittle glass fibers which could be easily removed from the surface where they could contaminate Space Station Freedom Systems. Protection or fiber containment systems; inorganic based paints, aluminum braid, and a metal coating; were evaluated for resistance to atomic oxygen, vacuum ultraviolet radiation, thermal cycling, and mechanical flexing. All appeared to protect well against atomic oxygen and provide fiber containment except for the single aluminum braid covering. UV radiation resistance was acceptable and in general, thermal cycling and flexure had little to no effect on the mass loss rate for most coatings.

Rutledge, Sharon K.↗
NASA NTRS1988

The search for solar gravity modes

A solar oscillations observing program of more than 13 yr is reviewed. The observations are most sensitive to low degree solar modes and were used for the study of long period p-mode and g-mode oscillations. At the start of the 1987 observing season (summer) long-standing problems with the instrument were corrected which (along with good weather) allowed the cleanest set of data to date. The search for evidence of g-modes in this data is described. Analysis of this data shows good evidence for g-modes. Various methods were used for mode identification with a statistical search for a simple pattern of even spacing in period selected as the most robust. Using this method, a possible g-mode identification was made with an asymptotic period separation T0 = 37.1 min. This identification is consistent with a rotation splitting of 1.6 MicroHz. Tests with randomly generated spectral peaks find as significant a possible set of modes in only 2 out of 100 cases.

Henning, Harald M.↗
NASA NTRS1989

Evaluation of atomic oxygen resistant protective coatings for fiberglass-epoxy composites in LEO

Fiberglass-epoxy composite masts are the prime structural members for the Space Station Freedom solar array. At the altitude where Space Station Freedom will operate, atomic oxygen atoms are the most predominant species. Atomic oxygen is highly reactive and has been shown to oxidize organic and some metallic materials. Tests with random and directed atomic oxygen exposure have shown that the epoxy is removed from the composite exposing brittle glass fibers which could be easily removed from the surface where they could contaminate space Station Freedom Systems. Protection or fiber containment systems, inorganic based paints, aluminum braid, and a metal coatinsg, were evaluated for resistance to atomic oxygen, vacuum ultraviolet radiation, thermal cycling, and mechanical flexing. All appeared to protect well against atomic oxygen and provide fiber containment except for the single aluminum braid covering. UV radiation resistance was acceptable and in general, thermal cycling and flexure had little to no effect on the mass loss rate for most coatings.

Rutledge, Sharon K.↗
NASA NTRS1991

Time domain modal identification/estimation of the mini-mast testbed

The Mini-Mast is a 20 meter long 3-dimensional, deployable/retractable truss structure designed to imitate future trusses in space. Presented here are results from a robust (with respect to measurement noise sensitivity), time domain, modal identification technique for identifying the modal properties of the Mini-Mast structure even in the face of noisy environments. Three testing/analysis procedures are considered: sinusoidal excitation near resonant frequencies of the Mini-Mast, frequency response function averaging of several modal tests, and random input excitation with a free response period.

Roemer, Michael J.↗
NASA NTRS1992

Robust modal identification/estimation of the Mini-Mast testbed

The Mini-Mast is a 20 meter long three-dimensional, deployable/retractable truss structure designed to imitate future trusses in space. Presented here are results from a robust (with respect to measurement noise sensitivity), time domain, modal identification technique for identifying the modal properties of the Mini-Mast structure even in the face of noisy environments. Three testing/analysis procedures are considered: sinusoidal excitation near resonant frequencies of the Mini-Mast, frequency response function averaging of several modal tests, and random input excitation with a free response period.

Roemer, Michael J.↗
NASA NTRS2000

Update on the NASA GRC Stirling Technology Development Project

The Department of Energy, NASA Glenn Research Center (GRC), and Stirling Technology Company (STC) are developing a free-piston Stirling convertor for a Stirling radioisotope power system (SRPS) to provide spacecraft on-board electric power for NASA deep space missions. The SRPS has recently been identified for potential use on the Europa Orbiter and Solar Probe Space Science missions. Stirling is also now being considered for unmanned Mars rovers. NASA GRC is conducting an in-house project to assist in developing the Stirling convertor for readiness for space qualification and mission implementation. As part of this continuing effort, the Stirling convertor will be further characterized under launch environment random vibration testing, methods to reduce convertor electromagnetic interference (EMI) will be developed, and an independent performance verification will be completed. Convertor life assessment and permanent magnet aging characterization tasks are also underway. Substitute organic materials for the linear alternator and piston bearing coatings for use in a high radiation environment have been identified and have now been incorporated in Stirling convertors built by STC for GRC. Electromagnetic and thermal finite element analyses for the alternator are also being conducted. This paper discusses the recent results and status for this NASA GRC in-house project.

Thieme, Lanny G.↗
NASA NTRS2008

Integrated Circuit Chip Improves Network Efficiency

Prior to 1999 and the development of SpaceWire, a standard for high-speed links for computer networks managed by the European Space Agency (ESA), there was no high-speed communications protocol for flight electronics. Onboard computers, processing units, and other electronics had to be designed for individual projects and then redesigned for subsequent projects, which increased development periods, costs, and risks. After adopting the SpaceWire protocol in 2000, NASA implemented the standard on the Swift mission, a gamma ray burst-alert telescope launched in November 2004. Scientists and developers on the James Webb Space Telescope further developed the network version of SpaceWire. In essence, SpaceWire enables more science missions at a lower cost, because it provides a standard interface between flight electronics components; new systems need not be custom built to accommodate individual missions, so electronics can be reused. New protocols are helping to standardize higher layers of computer communication. Goddard Space Flight Center improved on the ESA-developed SpaceWire by enabling standard protocols, which included defining quality of service and supporting plug-and-play capabilities. Goddard upgraded SpaceWire to make the routers more efficient and reliable, with features including redundant cables, simultaneous discrete broadcast pulses, prevention of network blockage, and improved verification. Redundant cables simplify management because the user does not need to worry about which connection is available, and simultaneous broadcast signals allow multiple users to broadcast low-latency side-band signal pulses across the network using the same resources for data communication. Additional features have been added to the SpaceWire switch to prevent network blockage so that more robust networks can be designed. Goddard s verification environment for the link-and-switch implementation continuously randomizes and tests different parts, constantly anticipating situations, which helps improve communications reliability. It has been tested in many different implementations for compatibility.

Source record↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗
NASA NTRS2004

Polymorphic Electronic Circuits

Polymorphic electronics is a nascent technological discipline that involves, among other things, designing the same circuit to perform different analog and/or digital functions under different conditions. For example, a circuit can be designed to function as an OR gate or an AND gate, depending on the temperature (see figure). Polymorphic electronics can also be considered a subset of polytronics, which is a broader technological discipline in which optical and possibly other information- processing systems could also be designed to perform multiple functions. Polytronics is an outgrowth of evolvable hardware (EHW). The basic concepts and some specific implementations of EHW were described in a number of previous NASA Tech Briefs articles. To recapitulate: The essence of EHW is to design, construct, and test a sequence of populations of circuits that function as incrementally better solutions of a given design problem through the selective, repetitive connection and/or disconnection of capacitors, transistors, amplifiers, inverters, and/or other circuit building blocks. The evolution is guided by a search-and-optimization algorithm (in particular, a genetic algorithm) that operates in the space of possible circuits to find a circuit that exhibits an acceptably close approximation of the desired functionality. The evolved circuits can be tested by computational simulation (in which case the evolution is said to be extrinsic), tested in real hardware (in which case the evolution is said to be intrinsic), or tested in random sequences of computational simulation and real hardware (in which case the evolution is said to be mixtrinsic).

Stoica, Adrian↗