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 37 records · Page 2

All sources NASA NTRS DOE OSTI

NASA NTRS1994

Lamb Wave Response of Fatigued Composite Samples

Composite materials are being more widely used today by aerospace, automotive, sports equipment, and a number of other commercial industries because of their advantages over conventional metals. Composites have a high strength-to-weight ratio and can be constructed to meet specific design needs. Composite structures are already in use in secondary parts of the Douglas MD-11 and are planned to be used in the new MD-12X. Plans also exist for their use in primary and secondary structures on the Boeing 777. Douglas proposed MD-XX may also incorporate composite materials into primary structures such as the wings and tail. Use of composites in these structures offers weight savings, corrosion resistance, and improved aerodynamics. Additionally, composites have been used to repair cracks in many B-1Bs where traditional repair techniques were not very effective. Plans have also been made to reinforce all of the remaining B-1s with composite materials. Verification of the structural integrity of composite components is needed to insure safe operation of these aerospace vehicles. One aspect of the use of these composites is their response to fatigue. To track this progression of fatigue in aerospace structures, a convenient method to nondestructively monitor this damage needs to be developed. Traditional NDE techniques used on metals are not easily adaptable to composites due to the inhomogeneous and anisotropic nature of these materials. Finding an effective means of nondestructively monitoring fatigue damage is extremely important to the safety and reliability of such structures. Lamb waves offer one method of evaluating these composite materials. As a material is fatigued, the modulus degrades. Since the Lamb wave velocity can be related to the modulus of the material, an effective tool can be developed to monitor fatigue damage in composites by measuring the velocity of these waves. In this work, preliminary studies have been conducted which monitor fatigue damage in composite samples using strain gage measurements as well as Lamb wave velocity measurements. A description of the test samples is followed by the results of two different measurements of Lamb wave velocity. The first technique is a contact measurement done at a single frequency, while the second involves an immersion study of Lamb waves in which dispersion curves are obtained. The results of the Lamb wave monitoring of fatigue damage is compared to the damage progression measured by strain gages. The final section discusses the results and conclusions.

Seale, Michael↗

NASA NTRS2000

RFI and SCRIMP Model Development and Verification

Vacuum-Assisted Resin Transfer Molding (VARTM) processes are becoming promising technologies in the manufacturing of primary composite structures in the aircraft industry as well as infrastructure. A great deal of work still needs to be done on efforts to reduce the costly trial-and-error methods of VARTM processing that are currently in practice today. A computer simulation model of the VARTM process would provide a cost-effective tool in the manufacturing of composites utilizing this technique. Therefore, the objective of this research was to modify an existing three-dimensional, Resin Film Infusion (RFI)/Resin Transfer Molding (RTM) model to include VARTM simulation capabilities and to verify this model with the fabrication of aircraft structural composites. An additional objective was to use the VARTM model as a process analysis tool, where this tool would enable the user to configure the best process for manufacturing quality composites. Experimental verification of the model was performed by processing several flat composite panels. The parameters verified included flow front patterns and infiltration times. The flow front patterns were determined to be qualitatively accurate, while the simulated infiltration times over predicted experimental times by 8 to 10%. Capillary and gravitational forces were incorporated into the existing RFI/RTM model in order to simulate VARTM processing physics more accurately. The theoretical capillary pressure showed the capability to reduce the simulated infiltration times by as great as 6%. The gravity, on the other hand, was found to be negligible for all cases. Finally, the VARTM model was used as a process analysis tool. This enabled the user to determine such important process constraints as the location and type of injection ports and the permeability and location of the high-permeable media. A process for a three-stiffener composite panel was proposed. This configuration evolved from the variation of the process constraints in the modeling of several different composite panels. The configuration was proposed by considering such factors as: infiltration time, the number of vacuum ports, and possible areas of void entrapment.

Loos, Alfred C.↗

NASA NTRS2014

Buckling of a Longitudinally Jointed Curved Composite Panel Arc Segment for Next Generation of Composite Heavy Lift Launch Vehicles: Verification Testing Analysis

In this work, an all-bonded out-of-autoclave (OoA) curved longitudinal composite joint concept, intended for use in the next generation of composite heavy lift launch vehicles, was evaluated and verified through finite element (FE) analysis, fabrication, testing, and post-test inspection. The joint was used to connect two curved, segmented, honeycomb sandwich panels representative of a Space Launch System (SLS) fairing design. The overall size of the resultant panel was 1.37 m by 0.74 m (54 in by 29 in), of which the joint comprised a 10.2 cm (4 in) wide longitudinal strip at the center. NASTRAN and ABAQUS were used to perform linear and non-linear analyses of the buckling and strength performance of the jointed panel. Geometric non-uniformities (i.e., surface contour imperfections) were measured and incorporated into the FE model and analysis. In addition, a sensitivity study of the specimens end condition showed that bonding face-sheet doublers to the panel's end, coupled with some stress relief features at corner-edges, can significantly reduce the stress concentrations near the load application points. Ultimately, the jointed panel was subjected to a compressive load. Load application was interrupted at the onset of buckling (at 356 kN 80 kips). A post-test non-destructive evaluation (NDE) showed that, as designed, buckling occurred without introducing any damage into the panel or the joint. The jointed panel was further capable of tolerating an impact damage to the same buckling load with no evidence of damage propagation. The OoA cured all-composite joint shows promise as a low mass factory joint for segmented barrels.

mechanical/sub-structural testing↗

NASA NTRS1996

ICAN/PART: Particulate composite analyzer, user's manual and verification studies

A methodology for predicting the equivalent properties and constituent microstresses for particulate matrix composites, based on the micromechanics approach, is developed. These equations are integrated into a computer code developed to predict the equivalent properties and microstresses of fiber reinforced polymer matrix composites to form a new computer code, ICAN/PART. Details of the flowchart, input and output for ICAN/PART are described, along with examples of the input and output. Only the differences between ICAN/PART and the original ICAN code are described in detail, and the user is assumed to be familiar with the structure and usage of the original ICAN code. Detailed verification studies, utilizing dim dimensional finite element and boundary element analyses, are conducted in order to verify that the micromechanics methodology accurately models the mechanics of particulate matrix composites. ne equivalent properties computed by ICAN/PART fall within bounds established by the finite element and boundary element results. Furthermore, constituent microstresses computed by ICAN/PART agree in average sense with results computed using the finite element method. The verification studies indicate that the micromechanics programmed into ICAN/PART do indeed accurately model the mechanics of particulate matrix composites.

Goldberg, Robert K.↗

NASA NTRS1991

METCAN updates for high temperature composite behavior: Simulation/verification

The continued verification (comparisons with experimental data) of the METCAN (Metal Matrix Composite Analyzer) computer code is updated. Verification includes comparisons at room and high temperatures for two composites, SiC/Ti-15-3 and SiC/Ti-6-4. Specifically, verification of the SiC/Ti-15-3 composite includes comparisons of strength, modulus, and Poisson's ratio as well as stress-strain curves for four laminates at room temperature. High temperature verification includes comparisons of strength and stress-strain curves for two laminates. Verification of SiC/Ti-6-4 is for a transverse room temperature stress-strain curve and comparisons for transverse strength at three temperatures. Results of the verification indicates that METCAN can be used with confidence to simulate the high temperature nonlinear behavior of metal matrix composites.

Lee, H.-J.↗

NASA NTRS1991

METCAN updates for high temperature composite behavior - Simulation/verification

The continued verification (comparisons with experimental data) of the METCAN (Metal Matrix Composite Analyzer) computer code is updated. Verification includes comparisons at room and high temperatures for two composites, SiC/Ti-15-3 and SiC/Ti-6-4. Specifically, verification of the SiC/Ti-15-3 composite includes comparisons of strength, modulus, and Poisson's ratio as well as stress-strain curves for four laminates at room temperatures. High temperature verification includes comparisons of strength and stress-strain curves for two laminates. Verification of SiC/Ti-6-4 is for a transverse room temperature stress-strain curve and comparisons for transverse strength at three temperatures. Results of the verification indicates that METCAN can be used with confidence to simulate the high temperature nonlinear behavior of metal matrix composites.

Lee, H.-J.↗

NASA NTRS2021

NASA Engineering and Safety Center Technical Bulletin No. 21-04: Evaluating Appropriateness of LEFM Tools for COPV and Metal Pressure Vessel Damage Tolerance Life Verification

Human spaceflight composite overwrapped pressure vessels (COPVs) and metal pressure vessels can use linear elastic fracture mechanics (LEFM) analysis to demonstrate damage tolerance life per ANSI/AIAA-S-081 for COPVs and ANSI/AIAA-S-080 for metal pressure vessels. LEFM analysis assumptions require that the crack tip plastic zone is small relative to the crack size and is completely surrounded by elastically responding material. Test and analysis have shown that LEFM tools (i.e., NASGRO*) can provide unconservative crack growth predictions for cracks in COPV liners that violate LEFM assumptions. COPV and metal pressure vessel designers should evaluate and address the violation of LEFM plasticity assumptions before using LEFM analysis tools for damage tolerance life verification.

COPV↗

NASA NTRS1991

Micro-mechanical analysis of damage growth and fracture in discontinuous fiber reinforced metal matrix composites

An experimental verification is presented for a new two parameter fracture model based on the equivalent remote biaxial stresses (ERBS). A detailed comparison is made between the new theory and the constant K(sub IC) approach of linear elastic fracture mechanics (LEFM). Fracture is predicted through a failure curve representing the change in a variable fracture toughness K(sub IC) with the ERBS ratio B(sub E). The nonsingular term (T) in the series expansion of the near crack-tip transverse stress is included in the model. Experimental results for polymethyl methacrylate (PPMA) show that the theory can account for the effects of geometry on fracture toughness as well as indicate the initiation of crack branching. It is shown that the new criterion predicts failure for PMMA with a 95 percent confidence zone which is nearly three times smaller than that of the LEFM K(sub IC) approach.

Goree, James G.↗

NASA NTRS1991

Towards composition of verified hardware devices

Computers are being used where no affordable level of testing is adequate. Safety and life critical systems must find a replacement for exhaustive testing to guarantee their correctness. Through a mathematical proof, hardware verification research has focused on device verification and has largely ignored system composition verification. To address these deficiencies, we examine how the current hardware verification methodology can be extended to verify complete systems.

Schubert, E. Thomas↗

NASA NTRS2006

Towards a Compositional SPIN

This paper discusses our initial experience with introducing automated assume-guarantee verification based on learning in the SPIN tool. We believe that compositional verification techniques such as assume-guarantee reasoning could complement the state-reduction techniques that SPIN already supports, thus increasing the size of systems that SPIN can handle. We present a "light-weight" approach to evaluating the benefits of learning-based assume-guarantee reasoning in the context of SPIN: we turn our previous implementation of learning for the LTSA tool into a main program that externally invokes SPIN to provide the model checking-related answers. Despite its performance overheads (which mandate a future implementation within SPIN itself), this approach provides accurate information about the savings in memory. We have experimented with several versions of learning-based assume guarantee reasoning, including a novel heuristic introduced here for generating component assumptions when their environment is unavailable. We illustrate the benefits of learning-based assume-guarantee reasoning in SPIN through the example of a resource arbiter for a spacecraft. Keywords: assume-guarantee reasoning, model checking, learning.

Pasareanu, Corina S.↗

NASA NTRSDate not supplied

3D Woven Composite End Ring Structure: Design Development and Verification Testing

The National Aeronautics and Space Administration (NASA) Space Technology and Mission Directorate (STMD) is advancing composite technologies for exploration missions. The Composite Technology for Exploration (CTE) project goal is to advance lightweight joint concepts for Space Launch System (SLS) class structures. To this end CTE is developing and demonstrating a 3D woven carbon /epoxy composite joint design co-bonded in a circumferential end ring configuration, applied to a SLS sized conceptual payload attachment structure. This joint is a lightweight alternative to heavy and costly metallic joints. The 3D woven joint development advances lightweight joint technologies through material and structural design, material and joint analyses, and fabrication, as well as demonstration through building block testing. Prior limited building block tests are mentioned. In this paper, new sub-element-scale test results are described that demonstrate the structural capability well beyond design limit load. Then, results for a sub-component test article with a 889 mm joint subjected to combined loads are presented.

Kenneth N Segal↗

NASA NTRS1989

Experimental verification of damping mechanisms in a composite beam

A method of estimating the distributed damping parameters based on the measured modal parameters (frequency and damping ratios) was derived. Three different mathematical models were used to model the damping mechanism of a quasi-isotropic pultruded cantilevered beam. These three models were (1) viscous (air) damping, (2) strain rate damping, and (3) both viscous and strain rate damping. The eigenvalues of the partial differential equation model were found to be uninfluenced by any of the three assumed damping models. Values were obtained for each of the damping models as well as the modulus of elasticity of the beam. It was found that the two-parameter damping model provided the best fit to measured modal data. However, the two-parameter damping model could only reproduce the measured damping ratios to within 85 percent.

Cudney, Harley H.↗

NASA NTRS1999

Experimental Verification of Computational Models for Laminated Composites

The objective of the research reported herein is to develop a progressive damage methodology capable of predicting the residual strength of continuous fiber-reinforced, laminated, polymer matrix composites with through-penetration damage. The fracture behavior of center-notch tension panels with thin crack-like slits was studied. Since fibers are the major load-carrying constituent in polymer matrix composites, predicting the residual strength of a laminate requires a criterion for fiber fracture. The effects on fiber strain due to other damage mechanisms such as matrix cracking and delaminations must also be modeled. Therefore, the research herein examines the damage mechanisms involved in translaminate fracture and identifies the toughening mechanisms responsible for damage growth resistance in brittle epoxy matrix systems. The mechanics of matrix cracking and fiber fracture are discussed as is the mathematical framework for the progressive damage model developed by the authors. The progressive damage analysis algorithms have been implemented into a general purpose finite element code developed by NASA, the Computational Structural Mechanics Testbed (COMET). Damage growth is numerically simulated and the analytical residual strength predictions are compared to experimental results for a variety of notched panel configurations and materials systems.

Harris, Charles E.↗

NASA NTRSDate not supplied

Thermoplastic Composite Lunar Tower Truss Structure: Design Development and Verification Plans

The National Aeronautics and Space Administration (NASA) Space Technology and Mission Directorate (STMD) is advancing thermoplastic composite (TPC) technologies for exploration missions. The Technology Development for Exploration Applications (TDEA) project goals are to develop and mature TPC materials, designs, analyses tools and techniques, and mature manufacturing processes. This includes development of manufacturing and joining approaches relevant to space environments. To these ends TDEA endeavors toward demonstrating a TPC truss structure for a lunar tower configuration. The design, predicated on robotic assembly, uses open section truss elements fused to a joint splice plate, without a structural adhesive. This presentation details the TDEA lunar truss structure design development approach including design heritage, the requirements established, the mechanical design and analyses, and thermal analyses demonstrating structural requirements conformance, as well as planned building block verification efforts either underway or planned. The mechanical analyses show the most severe environment is a moon-quake the truss dynamic responses. The thermal analyses show the extreme cold for on-orbit welding, the window for less severe on-orbit welding, as well as the large thermal gradients on the truss. The building block approach shown includes ultrasonic welding and lap shear coupon testing on various truss element thicknesses and layups. Knockdown factor determinations due to lunar dust contamination (simulated) and effects of welding in a vacuum are presented. The most highly loaded truss joint configuration sub-element verification test matrix is outlined. Lastly, plans to build, inspect, and test a 2-bay truss representative unit cell that is 1.5 meters by 1.5 meters by 3.0 meters tall are detailed.

Lunar Tower↗

NASA NTRS1991

Development and verification of global/local analysis techniques for laminated composites

A two-dimensional to three-dimensional global/local finite element approach was developed, verified, and applied to a laminated composite plate of finite width and length containing a central circular hole. The resulting stress fields for axial compression loads were examined for several symmetric stacking sequences and hole sizes. Verification was based on comparison of the displacements and the stress fields with those accepted trends from previous free edge investigations and a complete three-dimensional finite element solution of the plate. The laminates in the compression study included symmetric cross-ply, angle-ply and quasi-isotropic stacking sequences. The entire plate was selected as the global model and analyzed with two-dimensional finite elements. Displacements along a region identified as the global/local interface were applied in a kinematically consistent fashion to independent three-dimensional local models. Local areas of interest in the plate included a portion of the straight free edge near the hole, and the immediate area around the hole. Interlaminar stress results obtained from the global/local analyses compares well with previously reported trends, and some new conclusions about interlaminar stress fields in plates with different laminate orientations and hole sizes are presented for compressive loading. The effectiveness of the global/local procedure in reducing the computational effort required to solve these problems is clearly demonstrated through examination of the computer time required to formulate and solve the linear, static system of equations which result for the global and local analyses to those required for a complete three-dimensional formulation for a cross-ply laminate. Specific processors used during the analyses are described in general terms. The application of this global/local technique is not limited software system, and was developed and described in as general a manner as possible.

Thompson, Danniella Muheim↗

NASA NTRS2014

Verification and Validation of a Three-Dimensional Generalized Composite Material Model

A general purpose orthotropic elasto-plastic computational constitutive material model has been developed to improve predictions of the response of composites subjected to high velocity impact. The three-dimensional orthotropic elasto-plastic composite material model is being implemented initially for solid elements in LS-DYNA as MAT213. In order to accurately represent the response of a composite, experimental stress-strain curves are utilized as input, allowing for a more general material model that can be used on a variety of composite applications. The theoretical details are discussed in a companion paper. This paper documents the implementation, verification and qualitative validation of the material model using the T800- F3900 fiber/resin composite material.

Finite Element Method↗

NASA NTRS2015

Verification and Validation of a Three-Dimensional Generalized Composite Material Model

Plasticity↗

NASA NTRS1986

Acousto-ultrasonic verification of the strength of filament wound composite material

The concept of acousto-ultrasonic (AU) waveform partitioning was applied to nondestructive evaluation of mechanical properties in filament wound composites (FWC). A series of FWC test specimens were subjected to AU analysis and the results were compared with destructively measured interlaminar shear strengths (ISS). AU stress-wave factor (SWF) measurements gave greater than 90 percent correlation coefficient upon regression against the ISS. This high correlation was achieved by employing the appropriate time and frequency domain partitioning as dictated by wave propagation path analysis. There is indication that different SWF frequency partitions are sensitive to ISS at different depths below the surface.

Kautz, H. E.↗