SEARCH · Search NASA

Results for “Compositional verification”

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 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS1980

Quantitative ultrasonic evaluation of engineering properties in metals, composites and ceramics

Ultrasonic technology from the perspective of nondestructive evaluation approaches to material strength prediction and property verification is reviewed. Emergent advanced technology involving quantitative ultrasonic techniques for materials characterization is described. Ultrasonic methods are particularly useful in this area because they involve mechanical elastic waves that are strongly modulated by the same morphological factors that govern mechanical strength and dynamic failure processes. It is emphasized that the technology is in its infancy and that much effort is still required before all the available techniques can be transferred from laboratory to industrial environments.

Vary, A.↗

NASA NTRS1993

An advanced test technique to quantify thermomechanical fatigue damage accumulation in composite materials

A mechanical test technique was developed to assist in quantifying the accumulation of damage in composite materials during thermomechanical fatigue (TMF) cycling. This was accomplished by incorporating definitive elastic mechanical property measurements into an ongoing load-controlled TMF test without disturbing the test specimen or significantly altering the test conditions. The technique allows two fundamental composite properties consisting of the isothermal elastic static moduli and the macroscopic coefficient of thermal expansion (CTE) to be measured and collected as functions of the TMF cycles. The specific implementation was incorporated into the commonly employed idealized in-phase and out-of-phase TMF cycles. However, the techniques discussed could be easily implemented into any form of load-controlled TMF mission cycle. By quantifying the degradations of these properties, tremendous insights are gained concerning the progression of macroscopic composite damage and often times the progression of damage within a given constituent. This information should also be useful for the characterization and essential for the verification of analytical damage modeling methodologies. Several examples utilizing this test technique are given for three different fiber lay-ups of titanium metal matrix composites.

Castelli, Michael G.↗

NASA NTRS1984

Ground test experiment for large space structures, appendix I

Marshall Space Flight Center has developed a Large Space Structure (LSS) ground test verification experiment facility having adequate fidelity and flexibility to accommodate the demands of LSS control theory testing. The first experiment is in the subsystem verification and integration phase. This test employs the ASTROMAST, a lightweight S glass composite deployable beam structure, as the test article and is cited to prove out centralized and distributed sensor control strategies.

Tollison, D. K.↗

NASA NTRS1999

NASA Ames Research Center R and D Services Directorate Biomedical Systems Development

The Ames Research Center R&D Services Directorate teams with NASA, other government agencies and/or industry investigators for the development, design, fabrication, manufacturing and qualification testing of space-flight and ground-based experiment hardware for biomedical and general aerospace applications. In recent years, biomedical research hardware and software has been developed to support space-flight and ground-based experiment needs including the E 132 Biotelemetry system for the Research Animal Holding Facility (RAHF), E 100 Neurolab neuro-vestibular investigation systems, the Autogenic Feedback Systems, and the Standard Interface Glove Box (SIGB) experiment workstation module. Centrifuges, motion simulators, habitat design, environmental control systems, and other unique experiment modules and fixtures have also been developed. A discussion of engineered systems and capabilities will be provided to promote understanding of possibilities for future system designs in biomedical applications. In addition, an overview of existing engineered products will be shown. Examples of hardware and literature that demonstrate the organization's capabilities will be displayed. The Ames Research Center R&D Services Directorate is available to support the development of new hardware and software systems or adaptation of existing systems to meet the needs of academic, commercial/industrial, and government research requirements. The Ames R&D Services Directorate can provide specialized support for: System concept definition and feasibility Mathematical modeling and simulation of system performance Prototype hardware development Hardware and software design Data acquisition systems Graphical user interface development Motion control design Hardware fabrication and high-fidelity machining Composite materials development and application design Electronic/electrical system design and fabrication System performance verification testing and qualification.

Pollitt, J.↗

NASA NTRS2012

Hybrid Wing-Body (HWB) Pressurized Fuselage Modeling, Analysis, and Design for Weight Reduction

This paper describes the interim progress for an in-house study that is directed toward innovative structural analysis and design of next-generation advanced aircraft concepts, such as the Hybrid Wing-Body (HWB) and the Advanced Mobility Concept-X flight vehicles, for structural weight reduction and associated performance enhancement. Unlike the conventional, skin-stringer-frame construction for a cylindrical fuselage, the box-type pressurized fuselage panels in the HWB undergo significant deformation of the outer aerodynamic surfaces, which must be minimized without significant structural weight penalty. Simple beam and orthotropic plate theory is first considered for sizing, analytical verification, and possible equivalent-plate analysis with appropriate simplification. By designing advanced composite stiffened-shell configurations, significant weight reduction may be possible compared with the sandwich and ribbed-shell structural concepts that have been studied previously. The study involves independent analysis of the advanced composite structural concepts that are presently being developed by The Boeing Company for pressurized HWB flight vehicles. High-fidelity parametric finite-element models of test coupons, panels, and multibay fuselage sections, were developed for conducting design studies and identifying critical areas of potential failure. Interim results are discussed to assess the overall weight/strength advantages.

Mukhopadhyay, Vivek↗

NASA NTRS1983

Static and damage tolerance tests of an advanced composite vertical fin for L-1011 aircraft

This paper recounts the significant events which took place during the structural verification testing of two graphite/epoxy material, full-size vertical stabilizers. The ground test articles were tested to a high bending dynamic lateral gust condition. The first unit failed during static testing at 98 percent Design Ultimate Load. Failure began within the front spar cap. A detailed review of the failure was performed to identify all possible modes. This review resulted in a 'production line' type fix being designed for incorporation in the second ground test article prior to installation in the test fixture. The modified second unit sustained 106 percent of Design Ultimate Load without incident. One lifetime (36,000 flights) of damage tolerance testing was accomplished with the specimen purposely damaged at five locations. A fail-safe loading was performed successfully after simulating lightning strike damage to the fin box cover. A large area repair was substantiated by completing a second lifetime of spectrum loadings. The residual static strength was determined to be 119.7 percent of Design Ultimate Load.

Dorward, F.↗

NASA NTRS1984

Advanced composite vertical fin for L-1011 aircraft

The structural box of the L-1011 vertical fin was redesigned using advanced composite materials. The box was fabricated and ground tested to verify the structural integrity. This report summarizes the complete program starting with the design and analysis and proceeds through the process development ancillary test program production readiness verification testing, fabrication of the full-scale fin boxes and the full-scale ground testing. The program showed that advanced composites can economically and effectively be used in the design and fabrication of medium primary structures for commercial aircraft. Static-strength variability was demonstrated to be comparable to metal structures and the long term durability of advanced composite components was demonstrated.

Jackson, A. C.↗

NASA NTRS1983

Process and quality verification controls for solid propellant manufacturing

It is pointed out that in-process tests to verify quality and detect discrepant propellant which could compromise motor performance are essential elements of the solid composite propellant manufacturing process. The successful performance of the 260SL-1 and 260SL-2 motors aptly verified the controls used for manufacturing the propellant. The present investigation is concerned with the selected control parameters, and their relationships to composition and final propellant properties. Control performance is evaluated by comparison with processing data experienced in the manufacture of the propellant for the 260SL-1 motor. It is found that the in-process quality verification controls utilized in the propellant manufacturing process for the 260-in. diameter motor contributed significantly to the confidence of successful and predictable motor performance.

Rogers, C. J.↗

NASA NTRS1976

The infrared spectrum of Jupiter

The principal characteristics of Jupiter's infrared spectrum are reviewed with emphasis on their significance for our understanding of the composition and temperature structure of the Jovian upper atmosphere. The spectral region from 1 to 40 microns divides naturally into three regimes: the reflecting region, thermal emission from below the cloud deck (5-micron hot spots), and thermal emission from above the clouds. Opaque parts of the Jovian atmosphere further subdivide these regions into windows, and each is discussed in the context of its past or potential contributions to our knowledge of the planet. Recent results are incorporated into a table of atmospheric composition and abundance which includes positively identified constituents as well as several which require verification. The limited available information about spatial variations of the infrared spectrum is presented

Ridgway, S. T.↗

NASA NTRS1980

Production readiness verification testing

A Production Readiness Verification Testing (PRVT) program has been established to determine if structures fabricated from advanced composites can be committed on a production basis to commercial airline service. The program utilizes subcomponents which reflect the variabilities in structure that can realistically be expected from current production and quality control technology to estimate the production qualities, variation in static strength, and durability of advanced composite structures. The results of the static tests and a durability assessment after one year of continuous load/environment testing of twenty two duplicates of each of two structural components (a segment of the front spar and cover of a vertical stabilizer box structure) are discussed.

James, A. M.↗

NASA NTRS2005

Digital Equivalent Data System for XRF Labeling of Objects

A digital equivalent data system (DEDS) is a system for identifying objects by means of the x-ray fluorescence (XRF) spectra of labeling elements that are encased in or deposited on the objects. As such, a DEDS is a revolutionary new major subsystem of an XRF system. A DEDS embodies the means for converting the spectral data output of an XRF scanner to an ASCII alphanumeric or barcode label that can be used to identify (or verify the assumed or apparent identity of) an XRF-scanned object. A typical XRF spectrum of interest contains peaks at photon energies associated with specific elements on the Periodic Table (see figure). The height of each spectral peak above the local background spectral intensity is proportional to the relative abundance of the corresponding element. Alphanumeric values are assigned to the relative abundances of the elements. Hence, if an object contained labeling elements in suitably chosen proportions, an alphanumeric representation of the object could be extracted from its XRF spectrum. The mixture of labeling elements and for reading the XRF spectrum would be compatible with one of the labeling conventions now used for bar codes and binary matrix patterns (essentially, two-dimensional bar codes that resemble checkerboards). A further benefit of such compatibility is that it would enable the conversion of the XRF spectral output to a bar or matrix-coded label, if needed. In short, a process previously used only for material composition analysis has been reapplied to the world of identification. This new level of verification is now being used for "authentication."

Schramm, Harry F.↗

NASA NTRS2020

Copilot 3

Ultra-critical systems require high-level assurance, which cannot always be guaranteed in compile time. The use of runtime verification (RV) enables monitoring these systems in runtime, to detect property violations early and limit their potential consequences. The introduction of monitors in ultra-critical systems poses a challenge, as failures and delays in the RV subsystem could affect other subsystems and threaten the mission as a whole. This paper presents Copilot 3, a runtime verification framework for real-time embedded systems. Copilot monitors are written in a compositional, stream-based language with support for a variety of Temporal Logics (TL), which results in robust, high-level specifications that are easier to understand than their traditional counterparts. The framework translates monitor specifications into C code with static memory requirements, which can be compiled to run on embedded hardware. This paper presents version 3 of the Copilot language, demonstrates its suitability with a number of examples, and discusses its use in larger applications. Additionally, it describes the framework?s architecture, its implementation as a Domain Specific Language (DSL) embedded in Haskell, and the progress of the project over the years.

Ivan Perez↗

NASA NTRSDate not supplied

Development of a C-ELS Specimen-Based Numerical Benchmark for Mode II Delamination and Assessment of Two VCCT-Based Propagation Strategies

A finite element (FE) benchmark example inspired by the calibrated end-loaded split (C-ELS) specimen is developed and used to assess the performance of delamination propagation capabilities based on linear elastic fracture mechanics (LEFM). The C-ELS specimen has the advantage of a longer region of stable delamination propagation compared to the existing mode II benchmark case. The new benchmark example may therefore provide a better assessment tool by enabling more stable crack growth in regions further away from the boundary conditions or load application. First, a benchmark result is created manually using two-dimensional finite element models of the C-ELS specimen with different delamination lengths. Second, the performance of the virtual crack closure technique (VCCT) delamination propagation capabilities in the Abaqus/Standard®1 FE code and the recently developed Progressive Release eXplicit-VCCT (PRX-VCCT) method are assessed by comparing the results to the benchmark case. Two examples with different starter delamination lengths are studied. A shorter starter length is chosen to create a scenario with unstable delamination propagation. A longer delamination encourages stable delamination propagation. Detailed results from three-dimensional analyses with aligned and misaligned meshes and two levels of mesh refinement are provided. In general, good agreement can be achieved between the results obtained from the quasi-static propagation analysis and the benchmark analysis. Numerical artifacts including anomalous unreleased nodes in the crack wake and zig-zag crack fronts occur for propagation analyses using Abaqus/Standard VCCT. In comparison, continuous, smooth, delamination fronts are observed for PRX-VCCT. The use of the benchmark case to assess different VCCT-based propagation strategies illustrates the value of establishing benchmark cases.

Composite Materials↗

NASA NTRS2024

Runtime Verification of Hard Realtime Systems With Copilot: A Tutorial

This presentation is a tutorial on RV using Copilot, a runtime verification framework for real-time embedded systems. Copilot monitors are written in a compositional, stream-based language with support for a variety of Temporal Logics (TL), which results in robust, high-level specifications that are easier to understand than their traditional counterparts. The framework translates monitor specifications into C code with static memory requirements, which can be compiled to run on embedded hardware.

runtime monitoring↗

NASA NTRS2021

Constraining the Neutron Star Mass–Radius Relation and Dense Matter Equation of State with NICER. III. Model Description and Verification of Parameter Estimation Codes

We describe the X-ray pulse profile models we use and how we use them to analyze Neutron Star Interior Composition Explorer(NICER)observations of rotation-powered millisecond pulsars to obtain information about the mass–radius relation of neutron stars and the equation of state of the dense matter in their cores. Here we detail our modeling of the observed profile of PSR J0030+0451 that we analyzed in Miller et al. and Riley et al. and describe a cross-verification of computations of the pulse profiles of a star with R/M 3, in case stars this compact need to be considered in future analyses. We also present our early cross-verification efforts of the parameter estimation procedures used by Miller et al. and Riley et al. by analyzing two distinct synthetic data sets. Both codes yielded credible regions in the mass–radius plane that are statistically consistent with one another, and both gave posterior distributions for model parameter values consistent with the values that were used to generate the data. We also summarize the additional tests of the parameter estimation procedure of Miller et al. that used synthetic pulse profiles and the NICER pulse profile of PSR J0030+0451. We then illustrate how the precision of mass and radius estimates depends on the pulsar’s spin rate and the size of its hot spot by analyzing four different synthetic pulse profiles. Finally, we assess possible sources of systematic error in the estimates made using this technique, some of which may warrant further investigation.

Slavko Bogdanov↗

NASA NTRS1992

Verification of a 2-D to 3-D global/local finite element method for symmetric laminates

A two-dimensional to three-dimensional global/local finite element analysis technique, as applied to both cross-ply and general symmetric composite laminates, is presented. In particular, the local areas of interest for the laminate are the straight free edge in proximity to a hole and curved free edge of a hole. Verification of this technique was accomplished by comparison to results from complete three-dimensional finite element analyses. Examination of the interlaminar stress fields and the amount of time for their determination indicated that the global/local method developed yielded accurate results and was more efficient.

Thompson, Danniella M.↗

NASA NTRS1984

Development of graphite composite adapter for Galileo spacecraft

This paper discusses the Galileo spacecraft adapter: its interface loads and stiffness capability; configuration design/analysis methodology; verification of buckling margin, local stresses, and mass properties; and the basis for graphite-epoxy material selections and tooling approach, as well as the fabrication, layup, machining, assembly, and drilling processes.

Archer, J. S.↗

NASA NTRS2021

MBSE Validation and Verification: Case Study for LADEE

The Lunar Atmosphere Dust Environment Explorer (LADEE) mission orbited the moon in order to measure the density, composition, and time variability of the lunar dust environment. The successful mission launched September 7, 2013 and was de-orbited and impacted the moon's surface on April 17, 2014. The ground-side and onboard flight software for the mission was developed using a “Model-Based Software Engineering” (MBSE) methodology combined with strong reuse of Government and Commercial Off-The Shelf (G/COTS) components. Models of the spacecraft and flight software were developed in a graphical dynamics modeling package. Flight Software requirements were prototyped and refined using the simulated models. After the model was shown to work as desired in the simulation framework, C-code software was automatically generated from the models. The auto-generated software was then tested in real-time Processor-in-the-Loop and Hardware-in-the-Loop test beds. “Traveling Road Show” test beds were used for early integration tests with payloads and other subsystems. Traditional techniques for verifying computational sciences models were used to characterize the spacecraft simulation. A lightweight set of formal methods analysis, static analysis, formal inspection, and code coverage analyses were utilized to further reduce defects in the onboard flight software artifacts. These techniques were applied early and often in the development process, iteratively increasing the capabilities of software and fidelity of vehicle models and test beds.

Model-Based Software Engineering, Validation and V↗