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 91 records · Page 5

Vibroacoustic study of the NASA Goddard Space Flight Center OSS-1 payload

A comparative evaluation of shuttle liftoff and ground test random response data obtained from the Office of Space Science-1 (OSS-1) pallet payload flown in the cargo bay of STS-3 is presented. The study was initiated to evaluate the possibility that the payload flight vibration response can exceed that occurred during ground test when the ground test acoustic excitation is normalized to the flight acoustic environment. In addition, the analytically derived response from the Vibroacoustic Payload Environment Prediction System (VAPEPS) is compared with OSS-1 ground test results.

Lee, Y. A.↗

TRIM: AI Guided Random Number Generation for Resource-Constrained IoT Systems

Random numbers often serve as the backbone for many security solutions in diverse domains such as cryptography, side channel leakage prevention, and moving target defense. However, generating true random numbers requires a physical source of entropy (e.g. hardware, quantum, environmental phenomenon) making it difficult to realize at a large scale and at a low cost. On the flip side, pseudorandom number generators (easy to implement) following a specific distribution (e.g. Gaussian) can be easily compromised given a sufficient amount of traces. In this work, we have developed a machine learning-guided generative approach that can be used to create portable, resource-efficient, and cost-effective random number generators with high throughput and true randomness characteristics. We implement the proposed approach as a highly parameterized framework and perform extensive evaluation for different settings. The framework was able to learn from true random sources such as irrational numbers and environmental audio noise and imitate those sources towards generating new good quality random numbers on demand. We have generated more than 1 billion bits and observed robust performance in terms of true randomness metrics obtained from NIST SP 800-22 and FIPS 140-1 randomness test suites achieving a throughput of up to 142.85 Mbps. Compared to the state-of-the-art (SOTA) technique, the iso-cost setup of our framework can achieve more than 500 Mbps in a distributed setting. We have evaluated the efficacy of running the true randomness imitation AI models on target edge devices such as Raspberry Pi 4 (Model B), Nvidia Jetson Nano, Nvidia Jetson Orin Nano and Nvidia Jetson Xavier. We have also looked at the security of the TRIM framework itself against different adversarial threat models.

Cybersecurity↗

Development of a High Min-Entropy Quantum Random Number Generator Based on Amplified Spontaneous Emission

We present the theory, architecture, and performance characteristics of a quantum random number generator (QRNG) which operates in a PCI express form factor-compatible plug-and-play design. The QRNG relies on a thermal light source (in this case, amplified spontaneous emission), which exhibits photon bunching according to the Bose–Einstein (BE) statistics. We demonstrate that 98.7% of the unprocessed random bit stream min-entropy is traceable to the BE (quantum) signal. The classical component is then removed using a non-reuse shift-XOR protocol, and the final random numbers are generated at a 200 Mbps rate and shown to pass the statistical randomness test suites FIPS 140-2, Alphabit, SmallCrush, DIEHARD, and Rabbit of the TestU01 library.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Designing Size Consistent Statistics for Accurate Anomaly Detection in Dynamic Networks

An important task in network analysis is the detection of anomalous events in a network time series. These events could merely be times of interest in the network timeline or they could be examples of malicious activity or network malfunction. Hypothesis testing using network statistics to summarize the behavior of the network provides a robust framework for the anomaly detection decision process. Unfortunately, choosing network statistics that are dependent on confounding factors like the total number of nodes or edges can lead to incorrect conclusions (e.g., false positives and false negatives). In this article, we describe the challenges that face anomaly detection in dynamic network streams regarding confounding factors. We also provide two solutions to avoiding error due to confounding factors: the first is a randomization testing method that controls for confounding factors, and the second is a set of size-consistent network statistics that avoid confounding due to the most common factors, edge count and node count.

97 MATHEMATICS AND COMPUTING↗

Vertical Axis Rotational Motion Cues in Hovering Flight Simulation

A previous study that examined how yaw motion affected a pilot's ability to perform realistic hovering flight tasks indicated that any amount of pure yaw motion had little-to-no effect on pilot performance or opinion. In that experiment, pilots were located at the vehicle's center of rotation; thus lateral or longitudinal accelerations were absent. The purpose of the new study described here was to investigate further these unanticipated results for additional flight tasks, but with the introduction of linear accelerations associated with yaw rotations when the pilot is not at the center of rotation. The question of whether a yaw motion degree-of-freedom is necessary or not is important to government regulators who specify what simulator motions are necessary according to prescribed levels of simulator sophistication. Currently, specifies two levels of motion sophistication for flight simulators: full 6-degree-of-freedom and 3-degree-of-freedom. For the less sophisticated simulator, the assumed three degrees of freedom are pitch, roll, and heave. If other degrees of freedom are selected, which are different f rom these three, they must be qualified on a case-by-case basis. Picking the assumed three axes is reasonable and based upon experience, but little empirical data are available to support the selection of critical axes. Thus, the research described here is aimed at answering this question. The yaw and lateral degrees of freedom were selected to be examined first, and maneuvers were defined to uncouple these motions from changes in the gravity vector with respect to the pilot. This approach simplifies the problem to be examined. For this experiment, the NASA Ames Vertical Motion Simulator was used in a comprehensive investigation. The math model was an AH-64 Apache in hover, which was identified from flight test data and had previously been validated by several AH-64 pilots. The pilot's head was located 4.5 ft in front of the vehicle center of gravity, which is representative of the AH-64 pilot location. Six test pilots flew three tasks that were specifically designed to represent a broad class of situations in which both lateral and yaw motion cues may be useful. For the first task, the pilot controlled only the yaw axis and was required to rapidly acquire a North heading from 15 deg yaw offsets to either the East or West. This task allowed for full, or 1:1, motion to be used in all axes (yaw, lateral, and longitudinal). The second task was a 10 sec., 180 deg. pedal turn over a runway, but with the pilot only controlling the yaw degree-of-freedom. The position of the vehicle's center-of-mass remained fixed. This maneuver was taken from a current U.S. Army rotary wing design standard5 and is representative of a maneuver performed for acceptance of military helicopters; however, it does not allow for full 1:1 motion, since the simulator cab cannot rotate 180 deg. The third task required the pilot to perform a rapid 9 ft climb at a constant heading. This task was challenging, because rapid collective lever movement in the unaugmented AH64 results in a substantial yawing moment (due to engine torque) that must be countered by the pilot. This task also had full motion in all axes, but, in this case, the pilot had two axes to control simultaneously, rather than one as in the previous tasks. Four motion configurations were examined for each task: full motion (except for the 180 deg turn, for which the motion system was configured to provide as much motion as possible), full linear with no yaw motion, full yaw with no linear motion, and no motion. Each configuration was flown four times in a randomized test matrix, and the pilots were not informed of the configuration given. Vehicle state data were recorded for objective performance comparisons, and pilots provided subjective comments and ratings. As part of the pilots' evaluation, they were asked to rate the compensation required, the overall fidelity of the motion as compared to real flight, and whether motion was detected or not in each of the six degrees of freedom. In addition, the pilots provided a numerical level-of confidence rating, between 1 and 7, corresponding to how sure they were whether or not motion was present in each degree-of-freedom. The latter rating allow classical signal detection analysis to be performed.

Schroeder, Jeffrey A.↗

Compression of tokamak boundary plasma simulation data using a maximum volume algorithm for matrix skeleton decomposition

This report demonstrates satisfactory data compression of SOLPS-ITER simulation output ranging from 2D fields, 1D profiles, and 0D scalar variables with a novel matrix decomposition approach. The singular value decomposition (SVD) scales poorly for large matrix sizes and is unsuited to the application on high dimensional data common to fusion plasma physics simulation. In this work, we employ the columns-submatrix-rows (CUR) matrix factorization technique in order to compute a low-rank approximation up to two orders of magnitude faster than the SVD, but within a nominal L2-norm relative error of ε = 10 –2 . In addition, the CUR approach maintains the original format of the data, in its extracted columns and rows, allowing for interpretable data storage at the original resolution of the simulation. We utilize an iterative algorithm to compute the CUR decomposition of simulation output by maximizing the volume, or linearly independent information content, of a low-rank submatrix contained within the data. Experiments over $\textit{n} × \textit{n}$ randomized test matrices with embedded rank-deficient features show that this maximum volume implementation of CUR matrix approximation has reduced asymptotic computational complexity on the order of n compared to the SVD, which scales approximately as $n^3$. These results show that the CUR technique can be used to effectively select time step snapshots (columns) of over 140 SOLPS-ITER output variables and the associated discretized coordinate timeseries (rows) allowing for reconstruction of the complete simulation dynamics.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

A Frequency Domain Methodology for Quantitative Evaluation of Diffuse Wavefield With Applications to Seismic Imaging

Abstract Ambient Noise Imaging (ANI) of subsurface structures relies on seismic interferometry of diffuse seismic wavefields. However, the lack of effective methods to quantify and identify highly diffuse waves hampers applications of ANI, particularly in evaluating seismic attenuation and monitoring structural changes with high temporal resolution. Conventional ANI approaches require data normalization, which effectively suppresses the non‐diffuse component with large amplitude but also results in significant loss of amplitude and phase information in the continuous seismic records. In this study, we propose a frequency domain method to quantitatively evaluate the degree of diffuseness of seismic wavefields by analyzing their statistical characteristics of modal amplitudes for stationarity and randomness. Tests on synthetic waveform and field nodal records show that the proposed method can effectively distinguish between diffuse and non‐diffuse waveforms for either single‐ or three‐component data. As an application, we identify a 60‐s‐long diffuse coda of a local M 2.2 earthquake recorded by a dense nodal array on the San Jacinto Fault Zone, and successfully extract high‐quality dispersion curve andQ‐value without performing data normalization. These results are consistent with those obtained by conventional methods that assess the correlation between coherency and the Green's function, and by modeling ballistic waves generated by road traffic. Our proposed method can advance the imaging of subsurface velocity and attenuation structures as well as monitoring temporal changes for scientific studies and engineering applications.

Geochemistry & Geophysics↗

Studying language evolution in the age of big data

The increasing availability of large digital corpora of cross-linguistic data is revolutionizing many branches of linguistics. Overall, it has triggered a shift of attention from detailed questions about individual features to more global patterns amenable to rigorous, but statistical, analyses. This engenders an approach based on successive approximations where models with simplified assumptions result in frameworks that can then be systematically refined, always keeping explicit the methodological commitments and the assumed prior knowledge. Therefore, they can resolve disputes between competing frameworks quantitatively by separating the support provided by the data from the underlying assumptions. These methods, though, often appear as a ‘black box’ to traditional practitioners. In fact, the switch to a statistical view complicates comparison of the results from these newer methods with traditional understanding, sometimes leading to misinterpretation and overly broad claims. We describe here this evolving methodological shift, attributed to the advent of big, but often incomplete and poorly curated, data, emphasizing the underlying similarity of the newer quantitative to the traditional comparative methods and discussing when and to what extent the former have advantages over the latter. In this review, we cover briefly both randomization tests for detecting patterns in a largely model-independent fashion and phylolinguistic methods for a more model-based analysis of these patterns. We foresee a fruitful division of labor between the ability to computationally process large volumes of data and the trained linguistic insight declaring worthy prior commitments and interesting hypotheses in need of comparison.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

Beating the Auditors: Comparing Doping in Sport to Nuclear Proliferators

The Berlinger Bottle (Figure 1, below) is the central part of the BEREG-Kit that has been used by anti-doping agencies worldwide for over 25 years. As documented in the World Anti-Doping Agency’s investigative report [Ref 1], in 2014, Russian state-level actors found ways to defeat these bottles and was able to secretly replace an athlete’s drug-laced urine with clean urine samples that had been collected earlier. This cheating scheme allowed rampant performance enhancing drug use by its athletes, and (before disqualifications) earned Russia 33 medals in the 2014 Sochi Olympics – more than double its haul of 15 medals at the 2010 Winter Olympics in Vancouver. All this activity was conducted despite the watchful eye of the World Anti-Doping Agency. Similarly, Lance Armstrong and the US Postal Team infamously used performance enhancing drugs and blood transfusions to win 7 Tour de France titles (again, before disqualification) in a row, all under the supervision of L’Union Cycliste Internationale (UCI) and the US Anti Doping Agency. The inspection role of anti-doping agencies is similar in scope to the role of a Safeguards Inspector with the International Atomic Energy Agency: detect the misuse of facilities, and conduct scheduled and randomized testing to detect and deter would-be cheaters. This paper will explore the motivation, the means, and the mistakes which led to discovery – and will draw out commonalities between those who seek to cheat in sports, and those who seek to undermine international nuclear safeguards as Iraq tried in the 1980s.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Optoelectronic Properties of C60 and C70 Fullerene Derivatives: Designing and Evaluating Novel Candidates for Efficient P3HT Polymer Solar Cells

Ten novel fullerene-derivatives (FDs) of C60 and C70 had been designed as acceptor for polymer solar cell (PSC) by employing the quantitative structure-property relationship (QSPR) model, which was developed strategically with a reasonably big pool of experimental power conversion efficiency (PCE) data. The QSPR model was checked and validated with stringent parameter and reliability of predicted PCE values of all designed FDs. They were assessed by the applicability domain (AD) and process randomization test. The predicted PCE of FDs range from 7.96 to 23.01. The obtained encouraging results led us to the additional theoretical analysis of the energetics and UV-Vis spectra of isolated dyes employing Density functional theory (DFT) and Time-dependent-DFT (TD-DFT) calculations using PBE/6-31G(d,p) and CAM-B3LYP/6-311G(d,p) level calculations, respectively. The FD4 is the best C60-derivatives candidates for PSCs as it has the lowest exciton binding energy, up-shifted lowest unoccupied molecular orbital (LUMO) energy level to increase open-circuit voltage (VOC) and strong absorption in the UV region. In case of C70-derivatives, FD7 is potential candidate for future PSCs due to its strong absorption in UV-Vis region and lower exciton binding energy with higher VOC. Our optoelectronic results strongly support the developed QSPR model equation. Analyzing QSPR model and optoelectronic parameters, we concluded that the FD1, FD2, FD4, and FD10 are the most potential candidates for acceptor fragment of fullerene-based PSC. The outcomes of tactical molecular design followed by the investigation of optoelectronic features are suggested to be employed as a significant resource for the synthesis of FDs as an acceptor of PSCs.

36 MATERIALS SCIENCE↗

Species richness and endemism in the native flora of California

California’s vascular flora is the most diverse and threatened in temperate North America. Previous studies of spatial patterns of Californian plant diversity have been limited by traditional metrics, non-uniform geographic units, and distributional data derived from floristic descriptions for only a subset of species. We revisited patterns of sampling intensity, species richness, and relative endemism in California based on equal-area spatial units, the full vascular flora, and specimen-based distributional data. We estimated richness, weighted endemism (inverse range-weighting of species), and corrected weighted endemism (weighted endemism corrected for richness), and performed a randomization test for significantly high endemism. Possible biases in herbarium data do not obscure patterns of high richness and endemism at the spatial resolution studied. High species richness was sometimes associated with significantly high endemism (e.g., Klamath Ranges) but often not. In Stebbins and Major’s (1965) main endemism hotspot, Southwestern California, species richness is high across much of the Peninsular and Transverse ranges but significantly high endemism is mostly localized to the Santa Rosa and San Bernardino mountains. In contrast, species richness is low in the Channel Islands, where endemism is significantly high, as also found for much of the Death Valley region. Measures of taxonomic richness, even with greater weighting of range-restricted taxa, are insufficient for identifying areas of significantly high endemism that warrant conservation attention. Differences between our findings and those in previous studies appear to mostly reflect the source and scale of distributional data, and recent analytical refinements.

59 BASIC BIOLOGICAL SCIENCES↗

Design guidelines for the testability of microprocessor based logic designs

This paper deals with the issue of designing microprocessor based systems with testability in mind. The ease of eventual testability should be a design consideration from the earliest design stage. Design guidelines with explicit examples for ease of testability are given. The issue of testing microprocessors as contrasted with testing random logic design is addressed, and procedures are delineated for the testability of microprocessors. Microprocessor testability design guidelines are discussed both at the design stage of the microprocessor itself as well as at the stage where the processor is imbedded as a component in a larger system. Specific instances and examples of a collection of design do's and don'ts are provided.

Mathur, F. P.↗

Integrated active and passive control design methodology for the LaRC CSI evolutionary model

A general design methodology to integrate active control with passive damping was demonstrated on the NASA LaRC CSI Evolutionary Model (CEM), a ground testbed for future large, flexible spacecraft. Vibration suppression controllers designed for Line-of Sight (LOS) minimization were successfully implemented on the CEM. A frequency-shaped H2 methodology was developed, allowing the designer to specify the roll-off of the MIMO compensator. A closed loop bandwidth of 4 Hz, including the six rigid body modes and the first three dominant elastic modes of the CEM was achieved. Good agreement was demonstrated between experimental data and analytical predictions for the closed loop frequency response and random tests. Using the Modal Strain Energy (MSE) method, a passive damping treatment consisting of 60 viscoelastically damped struts was designed, fabricated and implemented on the CEM. Damping levels for the targeted modes were more than an order of magnitude larger than for the undamped structure. Using measured loss and stiffness data for the individual damped struts, analytical predictions of the damping levels were very close to the experimental values in the (1-10) Hz frequency range where the open loop model matched the experimental data. An integrated active/passive controller was successfully implemented on the CEM and was evaluated against an active-only controller. A two-fold increase in the effective control bandwidth and further reductions of 30 percent to 50 percent in the LOS RMS outputs were achieved compared to an active-only controller. Superior performance was also obtained compared to a High-Authority/Low-Authority (HAC/LAC) controller.

Voth, Christopher T.↗

Improving the Software Development Process Using Testability Research

Software testability is the the tendency of code to reveal existing faults during random testing. This paper proposes to take software testability predictions into account throughout the development process. These predictions can be made from formal specifications, design documents, and the code itself. The insight provided by software testability is valuable during design, coding, testing, and quality assurance. We further believe that software testability analysis can play a crucial role in quantifying the likelihood that faults are not hiding after testing does not result in any failures for the current version.

Voas, Jeffrey M.↗

Modeling with Scala

The activities and the associated formalisms for modeling and programming have many commonalities. In this paper we emphasize this point of view by modeling two examples in the programming language Scala, which have previously been modeled in the VDM specification language, and the Promela modeling language of the SPIN model checker respectively. The latter Scala model uses an internal DSL for hierarchical state machines, and a simple randomized testing framework exposing the same errors as found with SPIN. We believe, as the examples illustrate, that this use of a modern programming language for modeling is promising, especially if utilizing internal DSLs.

Joshi, Rajeev↗

Infrastructure and Mission Capability at Hanford - 19048

As Hanford celebrates its 75. anniversary, the challenge to complete the cleanup mission and simultaneously prepare for new nuclear operations puts increasing pressure on an infrastructure system that in some places is nearly the same age. While the cleanup mission began in earnest in 1989 and continues today, completing construction of the country's largest Waste Treatment and Immobilization Plant will put nuclear operations back into the Hanford footprint. Ensuring that the infrastructure originally built to support plutonium production as part of the Manhattan Project is the right size and reliable for the remaining missions is a delicate balance of funding priorities, strategy and a predictable project delivery. The DOE Richland Operations Office (DOE-RL) and other sites across the DOE complex have recognized the need for increased investment in site infrastructure. Combined with this increasing need is the funding reality of variable fiscal budgets that creates challenges for even the best strategists. The current Hanford infrastructure priority list has approximately 100 reliability projects with a combined value over $380 million dollars. At current funding levels, there is a 10 to 15-year backlog. To meet this challenge head on, DOE-RL and Mission Support Alliance (MSA) regularly evaluate project priorities and ongoing maintenance actions to ensure the highest risk systems are addressed. This is done by integrating historical and operational knowledge, system health reports, and maintenance records then coordinating with the Facility Information Management System (FIMS). Sometimes with decades old infrastructure, it can seem as if everything is a number one priority. Recently, in a random testing of approximately 20% of the wooden power poles on site, approximately 92% of the poles were found to be in satisfactory condition with 8% percent failing. MSA Electrical Utilities group immediately replaced one pole, found to have only 8% strength remaining. This type of severely degraded infrastructure is not conducive to reliable mission execution. Given the historical prioritization of funding for cleanup, then operations, followed by infrastructure, it is not surprising that the commitment of funds on infrastructure projects such as sewer collection systems or replacing old electrical transformers has been hard fought. The acknowledgement and re-prioritization of limited funds will work towards creating a more reliable and sustainable infrastructure portfolio that will support and even enhance the cleanup and operations missions. This paper/presentation will outline Hanford's approach to executing reliability projects that will serve the remaining missions on site for years to come. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Self-Testing Static Random-Access Memory

Proposed static random-access memory for computer features improved error-detecting and -correcting capabilities. New self-testing scheme provides for detection and correction of errors at any time during normal operation - even while data being written into memory. Faults in equipment causing errors in output data detected by repeatedly testing every memory cell to determine whether it can still store both "one" and "zero", without destroying data stored in memory.

Chau, Savio↗