Search NASA⌕ Search

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.

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

At least 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
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↗
NASA NTRS1986

Shuttle Tethered Aerothermodynamics Research Facility (STARFAC)

The Earth's atmosphere from 90 km to 200 km provides the last aerothermodynamics frontier. Present NASA programs which require but also can provide an understanding of the aerodynamics and aerothermodynamics of the free molecule and transition flows that exist at these altitudes are the Aeroassisted OTV, Entry Research Vehicle and the Tethered Satellite. Each of these programs provides a unique opportunity to do flight research in the rarefied upper atmosphere. However, the Tethered Satellite Program provides, because of its capability to obtain global, in-situ, steady state data, the greatest potential to: (1)define the performance of aerodynamic shapes as a function of environmental characteristics (free molecule, transition, slip flow regimes); (2)define the characteristics of the upper atmosphere and the global variability of properties such as composition temperature, pressure and density. Such data are required to accomplish the systematic development and verification of analytical prediction techniques required to support advance configuration designs.

Siemers, P. M.↗
NASA NTRS1995

SPITFIRE-1

The purpose of this effort is to develop low-cost rapid forming superplastic aluminum that will be evaluated in pilot production trials for automotive SPF components. The alloy development study conducted under SPITFIRE-1 showed that the addition of CU or Mn to the base 5083 aluminum alloy refined the grain size, leading to enhanced superplastic properties. In SPITFIRE-2, these alloy variants will be further refined and studied to meet the target properties established earlier in the program. Mechanical properties, component forming and post-forming properties will be evaluated. Also, the alloy production process, including thermomechanical processing (TMP) optimization to reduce production cost, will be investigated during SPITFIRE-2. After identifying preferred compositions and production processing, the most promising alloy will be manufactured into production coils for verification during SPITFIRE-3. Components will be produced from these coils in SPITFIRE-4, and the process and component performance will be assessed.

Ryntz, Edward F.↗
NASA NTRS1995

Experimental Verification of a Progressive Damage Model for IM7/5260 Laminates Subjected to Tension-Tension Fatigue

The durability and damage tolerance of laminated composites are critical design considerations for airframe composite structures. Therefore, the ability to model damage initiation and growth and predict the life of laminated composites is necessary to achieve structurally efficient and economical designs. The purpose of this research is to experimentally verify the application of a continuum damage model to predict progressive damage development in a toughened material system. Damage due to monotonic and tension-tension fatigue was documented for IM7/5260 graphite/bismaleimide laminates. Crack density and delamination surface area were used to calculate matrix cracking and delamination internal state variables to predict stiffness loss in unnotched laminates. A damage dependent finite element code predicted the stiffness loss for notched laminates with good agreement to experimental data. It was concluded that the continuum damage model can adequately predict matrix damage progression in notched and unnotched laminates as a function of loading history and laminate stacking sequence.

Coats, Timothy W.↗
NASA NTRS1993

Reactive system verification case study: Fault-tolerant transputer communication

A reactive program is one which engages in an ongoing interaction with its environment. A system which is controlled by an embedded reactive program is called a reactive system. Examples of reactive systems are aircraft flight management systems, bank automatic teller machine (ATM) networks, airline reservation systems, and computer operating systems. Reactive systems are often naturally modeled (for logical design purposes) as a composition of autonomous processes which progress concurrently and which communicate to share information and/or to coordinate activities. Formal (i.e., mathematical) frameworks for system verification are tools used to increase the users' confidence that a system design satisfies its specification. A framework for reactive system verification includes formal languages for system modeling and for behavior specification and decision procedures and/or proof-systems for verifying that the system model satisfies the system specifications. Using the Ostroff framework for reactive system verification, an approach to achieving fault-tolerant communication between transputers was shown to be effective. The key components of the design, the decoupler processes, may be viewed as discrete-event-controllers introduced to constrain system behavior such that system specifications are satisfied. The Ostroff framework was also effective. The expressiveness of the modeling language permitted construction of a faithful model of the transputer network. The relevant specifications were readily expressed in the specification language. The set of decision procedures provided was adequate to verify the specifications of interest. The need for improved support for system behavior visualization is emphasized.

Crane, D. Francis↗
NASA NTRS1989

An analytical and experimental investigation of edge delamination in laminates subjected to tension, bending, and torsion

An integrated two-dimensional finite element was developed to calculate interlaminar stresses and strain energy release rates for the study of delamination in composite laminates subjected to uniaxial tension, bending, and torsion loads. Addressed are the formulation, implementation, and verification of the model. Parametric studies were conducted on the effect of Poisson's ratio mismatch between plies and the stacking sequence on interlaminar stress, and on the effect of delamination opening height and delamination length, due to bending, on strain energy release rate for various laminates. A comparison of strain energy release rates in all-graphite and graphite/glass hybrid laminates is included. The preliminary results of laminates subjected to torsion are also included. Fatigue tension tests were conducted on Mode 1 and mixed mode edge-delamination coupons to establish the relationship between fatigue load vs. onset of delamination cycle. The effect on the fatigue delamination onset of different frequencies (1 and 5 Hz) was investigated for glass, graphite,and their hybrid laminates. Although a 20 percent increase in the static onset-of-delamination strength and a 10 percent increase in ultimate strength resulted from hybridizing the all-graphite laminate with a 90 deg glass ply, the fatigue onset is lower in the hybrid laminate than in the all-graphite laminate.

Chan, Wen S.↗
NASA NTRSDate not supplied

ADVANCES IN PLUME-SURFACE INTERACTION SIMULATION CAPABILITY UNDER LUNAR LANDING CONDITIONS

The Fluid Dynamics Branch at theNASA Marshall Space Flight Center has assembled a portfolio of simulation tools to predict Plume-SurfaceInteraction (PSI) environments during extra-terrestrial propulsive landings. Particular focus is on engineering support for lunar landers such as robotic CommercialLunar Payload Services (CLPS) and the HumanLander System (HLS). Extension of existing PSI simulation capabilities are required to accurately capture the complex plume flow conditions and surface soil particle composition effects that arise in the lunar environment. The required model development and implementation, and extensive verification and validation of the key simulation tools, Loci/Chem [1]and Loci/Boltzmann [2], and Loci/GGFS [3] are now performed under a NASA Space Technology MissionDirectorate (STMD) funded multi-year GameChanging Development (GCD) project. The project will implement and mature these new modeling features and verify and validate them for the Mars andMoon environments with the aid of existing and new experiments to be performed under this project

Plume Surface Interaction↗