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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
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.↗
DOE OSTI2026

Calculation of monomer yields, verification of PG concentration approximation, catalyst comparison for neat aromatic RCF, SEM micrographs for postreaction pulps, yields of aqueous-phase sugar derivatives after PG-H2O RCF, reactor pressure transients, GPC comparing pre- and postreaction organic solvent composition, PG-H2O miscibility testing, GPC probing dimer/oligomer fractionation in PG-H2O mixtures for

Reductive catalytic fractionation (RCF) is an effective lignin-first biorefining method to extract lignin as a stabilized oil from lignocellulosic biomass. To realize RCF at scale, process modeling has shown that minimizing the use of exogenous organic solvents is critical. To this end, here we investigate the ability of lignin-derived monomers to act as either solvents or cosolvents for RCF. We begin by examining the influence of lignin-derived aromatic compounds (4-propylguaiacol, 4-propylphenol, and propylbenzene) on RCF monomer yields and subsequently extend our analysis to mixtures of 4-propylguaiacol and either methanol or water. We demonstrate that 4-propylguaiacol is an effective solvent for lignin extraction and depolymerization during RCF, especially when used in combination with water as a cosolvent. Cosolvent mixtures of 4-propylguaiacol and water enable up to 81% lignin extraction, monomer yields up to 25 wt %, and postreaction phase separation. However, unlike methanol, water as a cosolvent fails to inhibit aromatic ring hydrogenation when conducted over Ru/C as a catalyst, potentially leading to excess hydrogen consumption in a process utilizing this approach. Nonetheless, these results suggest a promising strategy for eliminating external organic solvents from RCF by utilizing mixtures of lignin-derived compounds and water as alternative extraction solvents.

biorefining↗
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↗
NASA NTRSDate not supplied

Structural Sizing of a Composite Transonic Truss-Braced Wing

Accurate finite element modeling (FEM) is a vital part of the modern aircraft design process. As aircraft become increasingly complex, the time-consuming nature of detailed FEM approaches comes at a significant cost to program timeline and budget. In an effort produce modeling efforts that are sufficiently accurate and minimally costly, a proposed FEM approach and optimization scheme for a composite aircraft is explored, including a discussion of the manufacturing constraints of a highly tailored composite panel design. A high-fidelity structural model of a transonic truss-braced wing (TTBW) is generated, and the components are sized by structural optimization to satisfy buckling and strength constraints while subjected to critical maneuver loads. The structural modeling approaches and sizing of a TTBW are discussed, including details for FEM approaches, verification of an approximated FEM approach, a sizing optimization using the optimization software LS-OPT, and a manufacturing trial of integrally stiffened composite panels conducted to explore the validity of highly tailored composites as a design consideration. The results of study discussed herein indicate that the proposed FEM approach is suitable for modeling composite-construction aircraft and for use in sizing optimization. Further efforts regarding integrally stiffened composite panels will indicate the suitability of this method for the integration of highly tailored composite panels into the design and optimization process, given the manufacturability of such panels as shown here.

Finite Element↗
NASA NTRSDate not supplied

Structural Sizing of a Transonic Truss-Braced Wing

Accurate finite element modeling (FEM) is a vital part of the modern aircraft design process. As aircraft become increasingly complex, the time-consuming nature of detailed FEM approaches comes at a significant cost to program timeline and budget. In an effort produce modeling efforts that are sufficiently accurate and minimally costly, a proposed FEM approach and optimization scheme for a composite aircraft is explored, including a discussion of the manufacturing constraints of a highly tailored composite panel design. A high-fidelity structural model of a transonic truss-braced wing (TTBW) is generated, and the components are sized by structural optimization to satisfy buckling and strength constraints while subjected to critical maneuver loads. The structural modeling approaches and sizing of a TTBW are discussed, including details for FEM approaches, verification of an approximated FEM approach, a sizing optimization using the optimization software LS-OPT, and a manufacturing trial of integrally stiffened composite panels conducted to explore the validity of highly tailored composites as a design consideration. The results of study discussed herein indicate that the proposed FEM approach is suitable for modeling composite-construction aircraft and for use in sizing optimization. Further efforts regarding integrally stiffened composite panels will indicate the suitability of this method for the integration of highly tailored composite panels into the design and optimization process, given the manufacturability of such panels as shown here.

Finite Element↗
NASA NTRS2006

Mechanical Properties of T650-35/AFR-PE-4 at Elevated Temperatures for Lightweight Aeroshell Designs

Considerable efforts have been underway to develop multidisciplinary technologies for aeroshell structures that will significantly increase the allowable working temperature for the aeroshell components, and enable the system to operate at higher temperatures while sustaining performance and durability. As part of these efforts, high temperature polymer matrix composites and fabrication technologies are being developed for the primary load bearing structure (heat shield) of the spacecraft. New high-temperature resins and composite material manufacturing techniques are available that have the potential to significantly improve current aeroshell design. In order to qualify a polymer matrix composite (PMC) material as a candidate aeroshell structural material, its performance must be evaluated under realistic environments. Thus, verification testing of lightweight PMC's at aeroshell entry temperatures is needed to ensure that they will perform successfully in high-temperature environments. Towards this end, a test program was developed to characterize the mechanical properties of two candidate material systems, T650-35/AFR-PE-4 and T650-35/RP46. The two candidate high-temperature polyimide resins, AFR-PE-4 and RP46, were developed at the Air Force Research Laboratory and NASA Langley Research Center, respectively. This paper presents experimental methods, strength, and stiffness data of the T650-35/AFR-PE-4 material as a function of elevated temperatures. The properties determined during the research test program herein, included tensile strength, tensile stiffness, Poisson s ratio, compressive strength, compressive stiffness, shear modulus, and shear strength. Unidirectional laminates, a cross-ply laminate and two eight-harness satin (8HS)-weave laminates (4-ply and 10-ply) were tested according to ASTM standard methods at room and elevated temperatures (23, 316, and 343 C). All of the relevant test methods and data reduction schemes are outlined along with mechanical data. These data contribute to a database of material properties for high-temperature polyimide composites that will be used to identify the material characteristics of potential candidate materials for aeroshell structure applications.

Whitley, Karen S.↗
NASA NTRS2013

Validation and Verification of LADEE Models and Software

The Lunar Atmosphere Dust Environment Explorer (LADEE) mission will orbit the moon in order to measure the density, composition and time variability of the lunar dust environment. The ground-side and onboard flight software for the mission is being developed using a Model-Based Software methodology. In this technique, models of the spacecraft and flight software are developed in a graphical dynamics modeling package. Flight Software requirements are prototyped and refined using the simulated models. After the model is shown to work as desired in this simulation framework, C-code software is automatically generated from the models. The generated software is then tested in real time Processor-in-the-Loop and Hardware-in-the-Loop test beds. Travelling Road Show test beds were used for early integration tests with payloads and other subsystems. Traditional techniques for verifying computational sciences models are used to characterize the spacecraft simulation. A lightweight set of formal methods analysis, static analysis, formal inspection and code coverage analyses are utilized to further reduce defects in the onboard flight software artifacts. These techniques are applied early and often in the development process, iteratively increasing the capabilities of the software and the fidelity of the vehicle models and test beds.

Gundy-Burlet, Karen↗
DOE OSTI2026

Portable and Cost-Effective Device for Reliable Detection of Counterfeit and Non-compliant Refrigerants in Diverse Applications

Counterfeit refrigerants pose significant challenges to safety, system reliability, and operational effectiveness due to their harmful contaminants or incompatible chemical compositions. Utilizing these noncompliant products can lead to reduced efficiency, equipment failures, and expensive repairs. Additionally, heightened demand for alternative refrigerants during the industry's transition has created supply gaps, enabling counterfeit products to proliferate. Accurate detection and analysis tools are therefore essential to verify refrigerant authenticity and ensure system integrity in diverse applications. This paper presents the development of a portable device designed for reliable identification and detailed analysis of refrigerant composition. By integrating precision gas sampling, controlled pressure regulation, and automated sensor technology, the device not only detects deviations from standard refrigerant properties but also provides a comprehensive composition breakdown. Pre-calibrated sensors measure the refrigerant gas to identify specific concentrations and contaminants, with an intuitive LED-based indicator system ensuring quick interpretation of results. The user-friendly interface enables operators to select refrigerant types for targeted testing, further enhancing accuracy and usability for field technicians. Comprehensive testing was conducted on mildly flammable A2L refrigerants, showcasing the device’s robustness and adaptability in analyzing composition and detecting discrepancies. The device demonstrated consistent accuracy across a range of refrigerant samples, affirming its reliability in diverse operational environments. Its design minimizes contamination risks during sampling and provides detailed composition results within 90 seconds, ensuring efficient and precise analysis. With a projected price point under $150, the proposed solution delivers affordability alongside its lightweight portability and straightforward operation. Unlike complex and costly alternatives, such as gas chromatography systems, this device provides an accessible option for technicians, customs personnel, and industry operators in need of quick and effective refrigerant verification. Compatible with both current formulations and emerging refrigerant technologies, the device addresses critical counterfeit detection needs across a range of applications. By delivering accurate composition analysis and counterfeit identification, this innovation enhances system performance, safety, and operational reliability in crucial industries.

Cheekatamarla, Praveen [ORNL] (ORCID:0000000248827↗
DOE OSTI2025

Delayed Neutron Temporal Signatures for Uranium Enrichment Measurement NA-241 SGTech (Final Report)

Nondestructive determination of uranium enrichment is a core capability for nuclear material accounting and control (NMAC) and safeguards verification measurements; however, traditional gamma spectroscopy-based techniques for enrichment measurement rely on significant assumptions of material composition and geometry, precluding their use in scenarios where a heterogeneous spatial distribution of enrichments is encountered. As an alternative, we are developing a technique to use delayed neutron temporal signatures for the measurement of uranium enrichment. Each uranium isotope has unique delayed neutron group yields, resulting in a unique delayed neutron decay time profile which can be analyzed to determine enrichment without the need for calibration sources. As part of this effort, we performed a series of measurement campaigns in which we used an active well coincidence counter (AWCC) retrofitted with commercial D-D and D-T generators to evaluate the operational characteristics of this method in response to a set of uranium enrichment and mass standards, as well as representative diversion scenarios in which either “concealed” enriched uranium is shielded by depleted uranium or declared enriched uranium is “hollowed out” and replaced with a central region of depleted uranium. A standard operating procedure and best practices were compiled to facilitate the use of delayed neutron-based enrichment measurements for international safeguards inspections.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS1973

Inventory of forest and rangeland and detection of forest stress

The author has identified the following significant results. Eucalyptus tree stands killed by low temperatures in December 1972 were outlined by image enhancement of two separate dates of ERTS-1 images (January 22, 1973-I.D. 1183-18175 and April 22, 1973-I.D. 1273-18183). Three stands larger than 500 meters in size were detected very accurately. In Colorado, range and grassland communities were analyzed by visual interpretation of color composite scene I.D. 1028-17135. It was found that mixtures of plant litter, amount and kind of bare soil, and plant foliage cover made classification of grasslands very difficult. Changes in forest land use were detected on areas as small as 5 acres when ERTS-1 color composite scene 1264-15445 (April 13, 1973) was compared with 1966 ASCS index mosaics (scale 1:60,000). Verification of the changes were made from RB-57 underflight CIR transparencies (scale 1:120,000).

Heller, R. C.↗
NASA NTRS1995

Modeling and characterization of through-the-thickness properties of 3D woven composites

The through-the-thickness properties of three-dimensionally (3D) woven carbon/epoxy composites have been studied. The investigation aimed at the evaluation and development of test methodologies for the property characterization in the thickness direction, and the establishment of fiber architectures were studied: layer-to-layer Angle Interlock, through-the-thickness Orthogonal woven preform with surface pile was also designed and manufactured for the fabrication of tensile test coupons with integrated grips. All the preforms were infiltrated by the resin transfer molding technique. The microstructures of the composites were characterized along the warp and fill (weft) directions to determine the degree of yarn undulations, yarn cross-sectional shapes, and microstructural dimensions. These parameters were correlated to the fiber architecture. Specimens were designed and tested for the direct measurement of the through-the-thickness tensile, compressive and shear properties of the composites. Design optimization was conducted through the analysis of the stress fields within the specimen coupled with experimental verification. The experimentally-derived elastic properties in the thickness direction compared well with analytical predictions obtained from a volume averaging model.

Hartranft, Dru↗