Verification and Validation of Progressive Damage Analysis Methods for Laminated Composite Structures
Explore the source record for details and available documents.
Prabhakar Rao↗
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.
Verification and Validation Process for Progressive Damage and Failure Analysis Methods in the NASA Advanced Composites Consortium
The Advanced Composites Consortium is a US Government/Industry partnership supporting technologies to enable timeline and cost reduction in the development of certified composite aerospace structures. A key component of the consortium's approach is the development and validation of improved progressive damage and failure analysis methods for composite structures. These methods will enable increased use of simulations in design trade studies and detailed design development, and thereby enable more targeted physical test programs to validate designs. To accomplish this goal with confidence, a rigorous verification and validation process was developed. The process was used to evaluate analysis methods and associated implementation requirements to ensure calculation accuracy and to gage predictability for composite failure modes of interest. This paper introduces the verification and validation process developed by the consortium during the Phase I effort of the Advanced Composites Project. Specific structural failure modes of interest are first identified, and a subset of standard composite test articles are proposed to interrogate a progressive damage analysis method's ability to predict each failure mode of interest. Test articles are designed to capture the underlying composite material constitutive response as well as the interaction of failure modes representing typical failure patterns observed in aerospace structures.
Wanthal, Steven↗
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Providing safety guarantees for autonomous systems is difficultas these systems operate in complex environments that require the use of learning-enabled components, such as deep neural networks (DNNs) for visual perception. DNNs are hard to analyze due to their size (they can have thousands or millions of parameters), lack of formal specifications (DNNs are typically learnt from labeled data, in the absence of any formal or informal requirements), and sensitivity to small changes in the environment. We present an assume-guarantee style compositional approach for the formal verification of system-level safety properties of such autonomous systems. Our insight is that we can analyze the system in the absence of the DNN perception components by automatically synthesizing assumptions on the DNN behaviour that guarantee the satisfaction of the required safety properties. The synthesized assumptions are the weakest in the sense that they characterize the output sequences of all the possible DNNs that, plugged into the autonomous system, guarantee the required safety properties. The assumptions can be leveraged as run-time monitors over a deployed DNN to guarantee the safety of the overall system; they can also be mined to extract local specifications for use during training and testing of DNNs. We illustrate our approach on a case study taken from the autonomous airplanes domain that uses a complex DNN for perception
Autonomous systems↗
Online and Offline Analytical Techniques to Quantify Chloride Salts
This report serves as the deliverable for Milestone- M3FT-26AN080502017: Summary of Accomplishments for Online and Offline Analytical Qualification of Chloride Fuel Salts. The qualification of chloride fuel salts is a critical challenge for the development and deployment of molten salt reactors (MSRs), requiring precise control and verification of chemical and isotopic composition to ensure predictable neutronics, manageable radiological behavior, and safe plant operation. Currently, there is no universally accepted standard for fuel salt qualification, particularly for chloride-based systems, which underscores the need for robust, science-based analytical methodologies. This report presents a comprehensive evaluation of both online and offline techniques for quantifying chloride fuel salts, including multielectrode array voltammetry, differential thermal analysis (DTA) probes, inert gas fusion (IGF) analyzers, and gamma spectrometry using the Mirion NAIS-2x2 NaI(Tl) detector. The integration of these methods enables real-time monitoring of actinide concentrations, redox state, and thermophysical properties, as well as high-precision measurement of impurities and isotopic composition. The acquisition of advanced instruments such as the Bruker Leonardo G6 for IGF and the Mirion NaI detector enhances analytical capabilities, supporting the establishment of operational envelopes and impurity thresholds. These approaches provide essential data for neutronic impact evaluation, feedstock documentation, and compliance with nuclear safety standards. The methodologies developed and validated in this report lay the groundwork for future standardized protocols, bridging the gap between laboratory research and commercial reactor operation, and advancing the safe and efficient deployment of chloride-fueled MSRs.
Polke, Amber↗
Composite material technology requirements for large precision space structures
The development of dimensionally stable, precision composite structures has been recognized as a high risk technology driver in NASA's continuing large space structures research. Attempts are being made to understand the influences controlling thermal performance in such composites, and specifically in composite sandwich panels. The necessary tools for such composite panels' deployment, the experimental verification of analytical predictions, and the demonstration of technology in small scale hardware, are presently addressed.
Mcelroy, P. M.↗
Fracture modes in notched angleplied composite laminates
The Composite Durability Structural Analysis (CODSTRAN) computer code is used to determine composite fracture. Fracture modes in solid and notched, unidirectional and angleplied graphite/epoxy composites were determined by using CODSTRAN. Experimental verification included both nondestructive (ultrasonic C-Scanning) and destructive (scanning electron microscopy) techniques. The fracture modes were found to be a function of ply orientations and whether the composite is notched or unnotched. Delaminations caused by stress concentrations around notch tips were also determined. Results indicate that the composite mechanics, structural analysis, laminate analysis, and fracture criteria modules embedded in CODSTRAN are valid for determining composite fracture modes.
Irvine, T. B.↗
Composite materials research and education program: The NASA-Virginia Tech composites program
Major areas of study include: (1) edge effects in finite width laminated composites subjected to mechanical, thermal and hygroscopic loading with temperature dependent material properties and the influence of edge effects on the initiation of failure; (2) shear and compression testing of composite materials at room and elevated temperatures; (3) optical techniques for precise measurement of coefficients of thermal expansion of composites; (4) models for the nonlinear behavior of composites including material nonlinearity and damage accumulation and verification of the models under biaxial loading; (5) compressive failure of graphite/epoxy plates with circular holes and the buckling of composite cylinders under combined compression and torsion; (6) nonlinear mechanical properties of borsic/aluminum, graphite/polyimide and boron/aluminum; (7) the strength characteristics of spliced sandwich panels; and (8) curved graphite/epoxy panels subjected to internal pressure.
Herakovich, C. T.↗
Verification and Validation of Progressive Damage and Failure Analysis Methods for Intralaminar Failure Modes in Thermoplastic Composites
Current progressive damage and failure analysis (PDFA) methods were developed around thermoset material systems and their physical behavior. However, the applicability of these analysis methods has not been evaluated for use in modeling thermoplastic material systems. As part of the Hi-Rate Composite Aircraft Manufacturing (HiCAM) Project sponsored by NASA, intralaminar failure characterization was completed on a thermoplastic material system, AS4D/PEKK-FC, with off-axis tension (OAT) and off-axis compression (OAC) testing. The experiments were able to capture matrix non-linear shear behavior and the failure envelope of the material system. Two PDFA methods, LS-DYNA MAT299 and NASA’s CompDam-DGD, were then employed to simulate individual coupon behavior and simulation results were compared to published verification and validation guidelines from the CMH-17 crashworthiness working group. The results found that the two modeling methods provided suitable representation of material behavior of thermoplastics.
PDFA↗
Verification and Validation of Progressive Damage and Failure Analysis Methods for Intralaminar Failure Modes in Thermoplastic Composites
Current progressive damage and failure analysis (PDFA) methods were developed around thermoset material systems and their physical behavior. However, the applicability of these analysis methods has not been evaluated for use in modeling thermoplastic material systems. As part of the Hi-Rate Composite Aircraft Manufacturing (HiCAM) Project sponsored by NASA, intralaminar failure characterization was completed on a thermoplastic material system, AS4D/PEKK-FC, with off-axis tension (OAT) and off-axis compression (OAC) testing. The experiments were able to capture matrix non-linear shear behavior and the failure envelope of the material system. Two PDFA methods, LS-DYNA MAT299 and NASA’s CompDam-DGD, were then employed to simulate individual coupon behavior and simulation results were compared to published verification and validation guidelines from the CMH-17 crashworthiness working group. The results found that the two modeling methods provided suitable representation of material behavior of thermoplastics.
PDFA↗
A layered solid finite element formulation with interlaminar enhanced displacements for the modeling of laminated composite structures
Accurate modeling of layered composite structures often requires the use of detailed finite element models which can sufficiently resolve the kinematics and material behavior within each layer of the composite. However, individually discretizing each material layer into finite elements presents a prohibitive computational expensive given the large number of thin layers comprising some laminated composites. To address these challenges, an 8-node layered solid hexahedral finite element is formulated with the aim of striking an appropriate balance between efficiency and fidelity. The element is discretized into an arbitrary number of distinct material layers, and employs reduced in-plane integration within each layer. The chosen reduced integration scheme is supplemented by a novel physical stabilization approach which includes layerwise enhancements to mitigate various forms of locking phenomena. The proposed framework additionally supports the inclusion of interlaminar enhanced displacements to better represent the kinematics of general layered composite materials. Finally, the described element formulation has been implemented in the ParaDyn finite element code, and its efficacy for modeling laminated composite structures is demonstrated on a variety of verification problems.
42 ENGINEERING↗
Deductive Verification of Cryptographic Software
We report on the application of an off-the-shelf verification platform to the RC4 stream cipher cryptographic software implementation (as available in the openSSL library), and introduce a deductive verification technique based on self-composition for proving the absence of error propagation.
Almeida, Jose Barcelar↗
Development of a C-ELS Specimen-Based Numerical Benchmark for Mode II Delamination and Assessment of Two VCCT-Based Propagation Strategies
Explore the source record for details and available documents.
finite element analysis↗
Optimal Design and Damage Tolerance Verification of an Isogrid Structure for Helicopter Application
A composite isogrid panel design for application to a rotorcraft fuselage is presented. An optimum panel design for the lower fuselage of the rotorcraft that is subjected to combined in-plane compression and shear loads was generated using a design tool that utilizes a smeared-stiffener theory in conjunction with a genetic algorithm. A design feature was introduced along the edges of the panel that facilitates introduction of loads into the isogrid panel without producing undesirable local bending gradients. A low-cost manufacturing method for the isogrid panel that incorporates these design details is also presented. Axial compression tests were conducted on the undamaged and low-speed impact damaged panels to demonstrate the damage tolerance of this isogrid panel. A combined loading test fixture was designed and utilized that allowed simultaneous application of compression and shear loads to the test specimen. Results from finite element analyses are presented for the isogrid panel designs and these results are compared with experimental results. This study illustrates the isogrid concept to be a viable candidate for application to the helicopter lower fuselage structure.
Baker, Donald J.↗
Implementation of Laminate Theory Into Strain Rate Dependent Micromechanics Analysis of Polymer Matrix Composites
A research program is in progress to develop strain rate dependent deformation and failure models for the analysis of polymer matrix composites subject to impact loads. Previously, strain rate dependent inelastic constitutive equations developed to model the polymer matrix were implemented into a mechanics of materials based micromechanics method. In the current work, the computation of the effective inelastic strain in the micromechanics model was modified to fully incorporate the Poisson effect. The micromechanics equations were also combined with classical laminate theory to enable the analysis of symmetric multilayered laminates subject to in-plane loading. A quasi-incremental trapezoidal integration method was implemented to integrate the constitutive equations within the laminate theory. Verification studies were conducted using an AS4/PEEK composite using a variety of laminate configurations and strain rates. The predicted results compared well with experimentally obtained values.
Goldberg, Robert K.↗
A Method for Characterizing PMR-15 Resin
Quantitative analysis technique based on reverse-phase, highperformance liquid chromatography (HPLC) and paired-ion chromatography (PIC) developed for PMR-15 resins. In reverse-phase HPLC experiment, polar solvent containing material to be analyzed passed through column packed with nonpolar substrate. Composition of PMR-15 Resin of 50 weight percent changes as resin ages at room temperature. Verification of proper resin formulation and analysis of changes in resin composition during storage important to manufacturers of PMR-15 polymer matrix composite parts. Technique especially suitable for commercial use by manufacturers of high-performance composite components.
Roberts, G. D.↗
Determination of Scale Bar for AGHCF Metallography Data
The DOE Nuclear Energy Advanced Reactor Technologies (ART) Fast Reactor Program (FRP) has supported the development of several databases containing information on the safety performance of fast reactors, components, and fuels. This growing collection of legacy experimental data, operating data, and analysis is available online to registered users. Metallography data represents one of the most critical types of post-irradiation examination (PIE) data being collected, organized, and archived in several ART Fast Reactor Databases (https://frdb.ne.anl.gov), including the Metallic Fuels Irradiation & Physics Database (FIPD), Out-of-Pile Transient Database (OPTD), and TREAT (the Transient Reactor Test Facility) Experimental Relational Database (TREXR). These databases contain three principal sets of metallography data. The first set comprises metallography data from Experimental Breeder Reactor-II (EBR-II) and Fast Flux Test Facility (FFTF) irradiated fuel pins examined in the Hot Fuel Examination Facility (HFEF). The second set consists of metallography data from EBR-II irradiated fuel pins examined in the Alpha-Gamma Hot Cell Facility (AGHCF). The third set includes metallography data from transient-tested fuel pins (including both out-of-pile furnace tests and TREAT tests) examined in AGHCF. Since both the second and third sets were generated in AGHCF, they are governed by identical specifications. The metallography data in the databases consist of digital images scanned from either positive or negative photographic films. To analyze the microstructure of a fuel pin, a series of preparatory steps are required, including sectioning, epoxy mounting, mechanical grinding and polishing, and etching. Following sample preparation, specimens are transferred for metallographic examination. The AGHCF and HFEF metallography data were generated using optical microscopes manufactured by Leitz and Bausch and Lomb (B&L). Images were recorded on Polaroid film at preset magnifications. Magnification verification for the Leitz and B&L metallographs was conducted every two months prior to 1989 and at least every six months from 1989 through the conclusion of the IFR program. Magnifications determined from imaging of microslide standards were compared to the instrument settings for magnifications ranging from 50× to 500×. If the magnifications determined from standards deviated from the instrument settings, adjustments were made to the bellows extension until agreement was achieved. The specifications for AGHCF and HFEF legacy metallography data have been established based on available hard-copy and digital records, most of which have been incorporated into the data repositories associated with FIPD, OPTD, and TREXR. Detailed specifications including hard-copy records, digitized records, cutting diagrams and sectioning schemes, high-magnification photographs, photomosaics (composites), information tags, scale bars, and magnification verification procedures can be found in a separate report.
22 GENERAL STUDIES OF NUCLEAR REACTORS↗
Recent Advances in Discrete Crack Modeling Applied to Laminated Composites with Emphasis on: Floating Node Method, VCCT and Cohesive Zone Modeling
The present talk will provide an overview of the work performed during the Advanced Composites Project (ACP) on the development, and verification and validation of the Floating Node Method (FNM) as well as the Virtual Crack Closure Technique (VCCT) and cohesive zone modeling (CZM). The FNM is a finite element-based technique to represent crack networks. The complex nature of matrix crack-delamination interactions observed in unidirectional (UD) tape laminates suggests that a methodology such as the FNM method may be required to be able to accurately simulate damage progression in these laminates. Simulating crack onset and growth within the context of the FNM relies on techniques such as VCCT and CZM. The talk is organized to provide, via select examples, an overview of the breadth of the Verification & Validation (V&V) exercises performed during the ACP, and how these challenged the state-of-the art and guided further developments in discrete crack modeling, while helping to establish confidence in the progress made and map the challenges ahead. The performance of the VCCT and CZM individually, and in combination with the FNM can be assessed through verification exercises. These exercises typically consist of a comparison of simulation results to known numerical or analytical solutions. Verification is key to identify implementation issues and limitations that, otherwise, may remain undetected and cloud any subsequent validation efforts. Indeed, a subset of these numerical exercises led to further developments of the VCCT and the FNM method as will be illustrated. Before embarking on the subsequent validation of the framework, it is critical to have adequate characterization data. However, the testing campaign conducted revealed material responses that challenged the state-of-the-art and required further developments. The developments in CZM technology associated with the modeling of the responses of hybrid interfaces (fabric/UD) will be given as an example. Finally, the talk will conclude with a summary of the validation exercises performed under quasi-static and fatigue loadings, highlighting some of the key achievements, outstanding challenges and lessons learned.
finite elements↗
Verification Benchmarks and Validation of MAT261 for High Energy Dynamic Impact Applications
Advanced computational methods for composite structures can enable smarter testing and potentially certification by analysis. These methods, known as progressive damage and failure analysis (PDFA) methods, can predict lamina level mechanics including failure and subsequent propagation. When introduced into a commercial off the shelf finite element solver such as ABAQUS, LS-DYNA, or ANSYS, it enables end users to effectively exercise PDFA methods; however, it requires an understanding of the assumed mechanics and underlying coded response. In this paper, verification benchmarks developed under the NASA Advanced Composite Consortium for a class of PDFA methods known as continuum damage mechanics approaches are applied to the native LS-DYNA material model MAT261. As a result of the verification, an instability was discovered and subsequently corrected with an engineering solution. The results of the preliminary MAT261 simulations for high energy dynamic impact and the engineering solution are compared and a discussion about the significance is presented.
Molitor, Matthew↗