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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
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↗
NASA NTRS2014

The Effect of Drive Signal Limiting on High Cycle Fatigue Life Analysis

It is common practice to assume a Gaussian distribution of both the input acceleration and the response when modeling random vibration tests. In the laboratory, however, shaker controllers often limit the drive signal to prevent high amplitude peaks. The high amplitudes may either be truncated at a given level (socalled brick wall limiting or abrupt clipping), or compressed (soft limiting), resulting in drive signals which are no longer Gaussian. The paper first introduces several methods for limiting a drive signal, including brick wall limiting and compression. The limited signal is then passed through a linear time-invariant system representing a device under test. High cycle fatigue life predictions are subsequently made using spectral fatigue and rainflow cycle counting schemes. The life predictions are compared with those obtained from unclipped input signals. Some guidelines are provided to help the test engineer decide how clipping should be applied under different test scenarios.

Kihm, Frederic↗
NASA NTRS2016

Advanced Wet Tantalum Capacitors: Design, Specifications and Performance

Insertion of new types of commercial, high volumetric efficiency wet tantalum capacitors in space systems requires reassessment of the existing quality assurance approaches that have been developed for capacitors manufactured to MIL-PRF-39006 requirements. The specifics of wet electrolytic capacitors is that leakage currents flowing through electrolyte can cause gas generation resulting in building up of internal gas pressure and rupture of the case. The risk associated with excessive leakage currents and increased pressure is greater for high value advanced wet tantalum capacitors, but it has not been properly evaluated yet. This presentation gives a review of specifics of the design, performance, and potential reliability risks associated with advanced wet tantalum capacitors. Problems related to setting adequate requirements for DPA, leakage currents, hermeticity, stability at low and high temperatures, ripple currents for parts operating in vacuum, and random vibration testing are discussed. Recommendations for screening and qualification to reduce risks of failures have been suggested.

wet tantalum capacitors (WTC)↗
NASA NTRS2015

Software Validation via Model Animation

This paper explores a new approach to validating software implementations that have been produced from formally-verified algorithms. Although visual inspection gives some confidence that the implementations faithfully reflect the formal models, it does not provide complete assurance that the software is correct. The proposed approach, which is based on animation of formal specifications, compares the outputs computed by the software implementations on a given suite of input values to the outputs computed by the formal models on the same inputs, and determines if they are equal up to a given tolerance. The approach is illustrated on a prototype air traffic management system that computes simple kinematic trajectories for aircraft. Proofs for the mathematical models of the system's algorithms are carried out in the Prototype Verification System (PVS). The animation tool PVSio is used to evaluate the formal models on a set of randomly generated test cases. Output values computed by PVSio are compared against output values computed by the actual software. This comparison improves the assurance that the translation from formal models to code is faithful and that, for example, floating point errors do not greatly affect correctness and safety properties.

Dutle, Aaron M.↗
NASA NTRS2017

Advanced Wet Tantalum Capacitors: Design, Specifications and Performance

Insertion of new types of commercial, high volumetric efficiency wet tantalum capacitors in space systems requires reassessment of the existing quality assurance approaches that have been developed for capacitors manufactured to MIL-PRF-39006 requirements. The specifics of wet electrolytic capacitors is that leakage currents flowing through electrolyte can cause gas generation resulting in building up of internal gas pressure and rupture of the case. The risk associated with excessive leakage currents and increased pressure is greater for high value advanced wet tantalum capacitors, but it has not been properly evaluated yet. This presentation gives a review of specifics of the design, performance, and potential reliability risks associated with advanced wet tantalum capacitors. Problems related to setting adequate requirements for DPA, leakage currents, hermeticity, stability at low and high temperatures, ripple currents for parts operating in vacuum, and random vibration testing are discussed. Recommendations for screening and qualification to reduce risks of failures have been suggested.

hermeticity↗
NASA NTRS2017

Advanced Characterisation of Aerosol Size Properties from Measurements of Spectral Optical Depth Using the GRASP Algorithm

This study evaluates the potential of using aerosol optical depth (τ (sub a)) measurements to characterise the microphysical and optical properties of atmospheric aerosols. With this aim, we used the recently developed GRASP (Generalized Retrieval of Aerosol and Surface Properties) code for numerical testing of six different aerosol models with different aerosol loads. The direct numerical simulations (self-consistency tests) indicate that the GRASP-AOD retrieval provides modal aerosol optical depths (fine and coarse) to within 0.01 of the input values. The retrieval of the fine-mode radius, width and volume concentration are stable and precise if the real part of the refractive index is known. The coarse-mode properties are less accurate, but they are significantly improved when additional a priori information is available. The tests with random simulated errors show that the uncertainty in the bimodal log-normal size distribution parameters increases as the aerosol load decreases. Similarly, the reduction in the spectral range diminishes the stability of the retrieved parameters. In addition to these numerical studies, we used optical depth observations at eight AERONET locations to validate our results with the standard AERONET inversion products. We found that bimodal log-normal size distributions serve as useful input assumptions, especially when the measurements have inadequate spectral coverage and/or limited accuracy, such as moon photometry. Comparisons of the mode median radii between GRASP-AOD and AERONET indicate average differences of 0.013µm for the fine mode and typical values of 0.2–0.3µm for the coarse mode. The dominant mode (i.e. fine or coarse) indicates a 10 % difference in mode radii between the GRASP-AOD and AERONET inversions, and the average of the difference in volume concentration is around 17 % for both modes. The retrieved values of the fine-mode τ(sub a)(500) using GRASP-AOD are generally between those values obtained by the standard AERONET inversion and the values obtained by the AERONET spectral deconvolution algorithm (SDA), with differences typically lower than 0.02 between GRASP-AOD and both algorithms. Finally, we present some examples of application of GRASP-AOD inversion using moon photometry and the airborne PLASMA sun photometer during the ChArMEx summer 2013 campaign in the western Mediterranean.

Torres, Benjamin↗
NASA NTRS2019

Partition-based Feasible Integer Solution Pre-computation for Hybrid Model Predictive Control

For multiparametric mixed-integer convex programming problems such as those encountered in hybrid model predictive control, we propose an algorithm for generating a feasible partition of a subset of the parameter space. The result is a static map from the current parameter to a suboptimal integer solution such that the remaining convex program is feasible. Convergence is proved with a new insight that the overlap among the feasible parameter sets of each integer solution governs the partition complexity. The partition is stored as a tree which makes querying the feasible solution efficient. The algorithm can be used to warm start a mixed integer solver with a real-time guarantee or to provide a reference integer solution in several suboptimal MPC schemes. The algorithm is tested on randomly generated systems with up to six states, demonstrating the effectiveness of the approach.

Bayard, David S.↗
NASA NTRS2021

Classifying Forest Type in the National Forest Inventory Context with Airborne Hyperspectral and Lidar Data

Forest structure and composition regulate a range of ecosystem services, including biodiversity, water and nutrient cycling, and wood volume for resource extraction. Forest type is an important metric measured in the US Forest Service Forest Inventory and Analysis (FIA) program, the national forest inventory of the USA. Forest type information can be used to quantify carbon and other forest resources within specific domains to support ecological analysis and forest management decisions, such as managing for disease and pests. In this study, we developed a methodology that uses a combination of airborne hyperspectral and lidar data to map FIA-defined forest type between sparsely sampled FIA plot data collected in interior Alaska. To determine the best classification algorithm and remote sensing data for this task, five classification algorithms were tested with six different combinations of raw hyperspectral data, hyperspectral vegetation indices, and lidar-derived canopy and topography metrics. Models were trained using forest type information from 632 FIA subplots collected in interior Alaska. Of the thirty model and input combinations tested, the random forest classification algorithm with hyperspectral vegetation indices and lidar-derived topography and canopy height metrics had the highest accuracy (78% overall accuracy). This study supports random forest as a powerful classifier for natural resource data. It also demonstrates the benefits from combining both structural (lidar) and spectral (imagery) data for forest type classification.

random forest↗
NASA NTRS2021

Design and Commissioning of an In-Air Coronagraph Testbed in the HCIT facility at NASA’s Jet Propulsion Laboratory

After completing its duty in the vacuum chamber at the High Contrast Imaging Testbed (HCIT) facility at NASA’s Jet Propulsion Laboratory, the General Purpose Coronagraph Testbed (GPCT) has been retrofitted as the In-Air Coronagraph Testbed (IACT), with the purpose of verification of Boston Micromachines (BMC) 50x50 MEMS deformable mirrors (MEMS DM) performance by contrast comparison before and after random vibration testing. The testbed is configured as a vortex coronagraph, with one MEMS DM in the pupil plane to create a half dark hole in monochromatic light. High wavefront stability is achieved using an environmentally isolating enclosure, based on the enclosure design previously used on Caltech’s High Contrast Spectroscopy Testbed (HCST). Further, a smaller enclosure has been designed which will enforce humidity conditions necessary for the MEMS DM to operate. We expect this testbed to achieve 1e-8 contrast, and will use this contrast level as a baseline to assess survival or failure of MEMS DMs during vibration testing. In this presentation, we will present an overview of the design of the IACT, commissioning results, and plans for upcoming DM tests in preparation for launch on future space telescopes with coronagraph instruments.

Mejia-Prada, Camilo↗