Search NASA⌕ Search

SEARCH · Search NASA

Results for “compositional reasoning”

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 163 records · Page 9

A Module Language for Typing by Contracts

Assume-guarantee reasoning is a popular and expressive paradigm for modular and compositional specification of programs. It is becoming a fundamental concept in some computer-aided design tools for embedded system design. In this paper, we elaborate foundations for contract-based embedded system design by proposing a general-purpose module language based on a Boolean algebra allowing to define contracts. In this framework, contracts are used to negotiate the correctness of assumptions made on the definition of a component at the point where it is used and provides guarantees to its environment. We illustrate this presentation with the specification of a simplified 4-stroke engine model.

Glouche, Yann↗

Automatic determination of fault effects on aircraft functionality

The problem of determining the behavior of physical systems subsequent to the occurrence of malfunctions is discussed. It is established that while it was reasonable to assume that the most important fault behavior modes of primitive components and simple subsystems could be known and predicted, interactions within composite systems reached levels of complexity that precluded the use of traditional rule-based expert system techniques. Reasoning from first principles, i.e., on the basis of causal models of the physical system, was required. The first question that arises is, of course, how the causal information required for such reasoning should be represented. The bond graphs presented here occupy a position intermediate between qualitative and quantitative models, allowing the automatic derivation of Kuipers-like qualitative constraint models as well as state equations. Their most salient feature, however, is that entities corresponding to components and interactions in the physical system are explicitly represented in the bond graph model, thus permitting systematic model updates to reflect malfunctions. Researchers show how this is done, as well as presenting a number of techniques for obtaining qualitative information from the state equations derivable from bond graph models. One insight is the fact that one of the most important advantages of the bond graph ontology is the highly systematic approach to model construction it imposes on the modeler, who is forced to classify the relevant physical entities into a small number of categories, and to look for two highly specific types of interactions among them. The systematic nature of bond graph model construction facilitates the process to the point where the guidelines are sufficiently specific to be followed by modelers who are not domain experts. As a result, models of a given system constructed by different modelers will have extensive similarities. Researchers conclude by pointing out that the ease of updating bond graph models to reflect malfunctions is a manifestation of the systematic nature of bond graph construction, and the regularity of the relationship between bond graph models and physical reality.

Feyock, Stefan↗

Oxygen Fugacity of the Martian Mantle from Pigeonite/Melt Partitioning of Samarium, Europium and Gadolinium

This study is part of an ongoing effort to calibrate the pyroxene/melt Eu oxybarometer for conditions relevant to the martian meteorites. There is fairly good agreement between a determinations using equilibria between Fe-Ti oxides and the estimates from Eu anomalies in shergottite augites in tenns of which meteorites are more or less oxidized. The Eu calibration was for angrite composition pyroxenes which are rather extreme. However, application of a calibration for martian composition augites 113 does not significantly reduce the discrepancy between the two methods. One possible reason for this discrepancy is that augites are non-liquidus. The use of pigeonite rather than augite as the oxy-barometer phase is considered. We have conducted experiments on martian composition pigeonite/melt REE partitioning as a function of fO2.

Musselwhite, S.↗

Effect of aluminum phosphate additions on composition of three-component plasma-sprayed solid lubricant

Image analysis (IA) and electron microprobe X-ray analysis (EMXA) were used to characterize a plasma-sprayed, self-lubricating coating, NASA LUBE PS106, specified by weight percent as 35NiCr-35Ag-30CaF2. To minimize segregation of the powder mixture during the plasma-spraying procedure, monoaluminum phosphate was added to form agglomerate particles. Three concentrations of AlPO4 were added to the mixtures: 1.25, 2.5, and 6.25 percent by weight. Analysis showed that 1.25 wt% AlPO4 yielded a CaF2 deficiency, 2.5 wt% kept the coating closest to specification, and 6.25 wt% yielded excess CaF2 as well as more impurities and voids and a deficiency in silver. Photomicrographs and X-ray maps are presented. The methods of IA and EMXA complement each other, and the reasonable agreement in the results increases the confidence in determining the coating composition.

Jacobson, T. P.↗

Through-Thickness Tensile Properties of Triaxial Braided Composites

The through-thickness strength of triaxial braided composites was measured using thin specimens bonded to metallic tabs. Despite providing reasonable engineering estimates of the bulk properties, some test specimen limitations were noted: For strong epoxies, significant shear and tensile stresses occur and induce failure between the first layer and bond-line; the strains over much of the exterior are ~10% lower than interior strains, which are representative of the nominal state; and failure often occurred near or along the adhesive bond line. These interference were partially overcome by adding a large radius to the gage section. Based on the finite element analysis and experimental measurements, the nominal elastic modulus and Poisson's ratio are E(sub 33) = 10.7 GPa and v(sub 31) = 0.08 for the three triaxial braided composites tested. Strengths vary from 14 to 40 MPa depending on the resin. Relative to the in-plane properties, the through thickness modulus, fracture strength, failure strain, and Poisson's ratio are 1/5th, 1/30th, 1/6th, and 1/4th. Interlaminar failure occurred with varying degrees of fiber tear out along with little damage to axial tows, resulting is a smooth undulating fracture surface. Post cure temperature excursions to 177 deg C (350 deg F) had little effect on elastic constants but reduced the strength E862 based composites severely. The strength of PR520 and 5208 based composites increased.

composite↗

The viscosity of magmatic silicate liquids: A model for calculation

A simple model has been designed to allow reasonably accurate calculations of viscosity as a function of temperature and composition. The problem of predicting viscosities of anhydrous silicate liquids has been investigated since such viscosity numbers are applicable to many extrusive melts and to nearly dry magmatic liquids in general. The fluidizing action of water dissolved in silicate melts is well recognized and it is now possible to predict the effect of water content on viscosity in a semiquantitative way. Water was not incorporated directly into the model. Viscosities of anhydrous compositions were calculated, and, where necessary, the effect of added water and estimated. The model can be easily modified to incorporate the effect of water whenever sufficient additional data are accumulated.

Bottinga, Y.↗

The effects of thermospheric winds and chemistry in the diurnal variations of thermospheric species

The reported investigation considers on the basis of a theoretical model, the diurnal variations of the thermospheric composition (H, He, O, O2, and Ar) in terms of thermal expansion with diffusive equilibrium and transport effects associated with thermospheric winds, chemistry, and exospheric flow. The theoretical results are compared with satellite composition data which indicate that the fundamental diurnal tide can be reasonably well understood. It is found that winds are only important for molecular oxygen below 180 km, while thermal expansion due to the larger mass is relatively more important for O2 than for O. Distinct from O, photodissociation and in particular photoionization of O2 are very significant for molecular oxygen.

Mayr, H. G.↗

Numerical simulations of the profile properties of undeformed first-year sea ice during the growth season

A model is presented for estimating salinity profiles for the first-year sea ice during the growth season, in which ice growth equations were coupled with salt entrapment and brine drainage relations to obtain the relationship between the initial ice salinity and the ice-growth velocity and seawater salinity, as well as the subsequent drainage of brine from the ice. The results obtained were found to be in reasonable agreement with field observations in that they showed characteristic C-shaped profiles similar to natural profiles. The average ice salinity values were also in reasonable agreement with field data. The predicted ice property profiles give composite plate properties that are significantly different from bulk property estimates that would result by assuming that sea ice could be represented as a homogeneous plate.

Cox, G. F. N.↗

Spectroscopic evidence supporting the gravitational lens hypothesis for 1635+267 A,B

The gravitational lens hypothesis is tested for 1613+267 A,B by comparing the detailed line widths and shapes of the 2799-A Mg II and semiforbidden 1909-A C-III lines in each component. Following subtraction of an interpolating polynomial fit to the continua and the determination of a single optimum scaling factor (an amplification ratio of 2.83), reasonable agreement between the profiles of both lines in the two composites is obtained. Comparison of these lines to those in an unrelated quasar with a similar redshift and apparent magnitude does not produce a good match. It is suggested that the observed match in the 1635+267 A,B spectra arises from gravitational lensing.

Turner, Edwin L.↗

Compositional analysis and classification of projectile residues in LDEF impact craters

This catalog contains preliminary analyses of residues of hypervelocity projectiles that encountered gold substrates exposed by instrument A0187-1 on the Long Duration Exposure Facility (LDEF). This instrument was on LDEF's trailing edge where relative encounter speeds should be lowest for any non-spinning platform in low Earth orbit (LEO). Approximately 0.6 m(exp 2) of Au substrates yielded 198 impact craters greater than 20 micrometers in diameter. Some 30 percent of the craters were made by natural cosmic dust particles and some 15 percent by man-made objects. Some 50 percent of all features, however, have residues, if any, that are beyond the detection threshold of the SEM-EDXA method used. The purpose of this catalog is to provide detailed evidence and criteria that may be used to arrive at specific particle types on a case-by-case basis and to group such particles into compositional classes. Clearly this is a somewhat interpretative undertaking. For that reason, we encourage and solicit critique and comments from those interested in the systematic analysis of all impact features on LDEF.

Horz, Friedrich↗

Magnetic Damping of Solid Solution Semiconductor Alloys

The objective of this study is to: (1) experimentally test the validity of the modeling predictions applicable to the magnetic damping of convective flows in electrically conductive melts as this applies to the bulk growth of solid solution semiconducting materials; and (2) assess the effectiveness of steady magnetic fields in reducing the fluid flows occurring in these materials during processing. To achieve the objectives of this investigation, we are carrying out a comprehensive program in the Bridgman and floating-zone configurations using the solid solution alloy system Ge-Si. This alloy system has been studied extensively in environments that have not simultaneously included both low gravity and an applied magnetic field. Also, all compositions have a high electrical conductivity, and the materials parameters permit reasonable growth rates. An important supporting investigation is determining the role, if any, that thermoelectromagnetic convection (TEMC) plays during growth of these materials in a magnetic field. TEMC has significant implications for the deployment of a Magnetic Damping Furnace in space. This effect will be especially important in solid solutions where the growth interface is, in general, neither isothermal nor isoconcentrational. It could be important in single melting point materials, also, if faceting takes place producing a non-isothermal interface. In conclusion, magnetic fields up to 5 Tesla are sufficient to eliminate time-dependent convection in silicon floating zones and possibly Bridgman growth of Ge-Si alloys. In both cases, steady convection appears to be more significant for mass transport than diffusion, even at 5 Tesla in the geometries used here. These results are corroborated in both growth configurations by calculations.

Szofran, Frank R.↗

Reflectance and Mossbauer spectroscopy of ferrihydrite-montmorillonite assemblages as Mars soil analog materials

Spectroscopic analyses show that Fe(3+)-doped smectites prepared in the laboratory exhibit important similarities to the soils on Mars. Ferrihydrite has been identified as the interlayer ferric component in Fe(3+)-doped smectites by a low quadrupole splitting and magnetic field strength of approximately 48 tesla in Mossbauer spectra measured at 4.2 K, as well as a crystal field transition at 0.92 micrometer. Ferrihydrite in these smectites explains features in the visible-near infrared region that resemble the energies and band strengths of features in reflectance spectra observed for several bright regions on Mars. Clay silicates have met resistance in the past as Mars soil analogs because terrestrial clay silicates exhibit prominent hydrous spectral features at 1.4, 1.9, and 2.2 micrometers; and these are observed weakly, if at all, in reflectance spectra of Mars. However, several mechanisms can weaken or compress these features, including desiccation under low-humidity conditions. The hydration properties of the interlayer cations also effect band strengths, such that a ferrihydrite-bearing smectite in the Martian environment would exhibit a 1.9 micrometers H2O absorption that is even weaker than the 2.2 micrometers structural OH absorption. Mixing experiments demonstrate that infrared spectral features of clays can be significantly suppressed and that the reflectance can be significantly darkened by mixing with only a few percent of a strongly absorbing opaque material. Therefore, the absolute reflectance of a soil on Mars may be disproportionately sensitive to a minor component. For this reason, the shape and position of spectral features and the chemical composition of potential analogs are of utmost importance in assessing the composition of the soil on Mars. Given the remarkable similarity between visible-infrared reflectance spectra of soils in bright regions on Mars and Fe(3+)-doped montmorillonites, coupled with recent observations of smectites in SNC meteorites and a weak 2.2 micrometers absorption in some Mars soils, ferrihydrite-bearing smectites warrant serious consideration as a Mars soil analog.

NASA Discipline Exobiology↗

Intercalated-Graphite-Fiber Composites

Electrically conducting composites made from bromine-intercalated graphite fibers in epoxy matrix. Bromine-intercalated graphite fibers have conductivity of about 20,000 ohm-1cm-1 and found to be stable in presence of moisture fibers even submerged for indefinite times) and at reasonably high temperature (200 degrees C). Conventional epoxy resins can be used with such fibers. Composite materials containing 50 percent bromine-intercalated graphite fibers have promising properties. Mechanical properties of composites similar to composites made with pristine fibers: Tensile and flexural strengths and Young's and bending moduli essentially unchanged, and interlaminar shear strengths slightly enhanced. Thermal conductivities of composites also show very little degradation. However, electrical conductivities of composites increase, which invites application of composites in electrical grounding planes and in shields against electro-magnetic interference.

Gaier, James R.↗

Impact of Thermoplastic Composites: Testing and Modeling

Thermoplastic Composites (TPCs) are being increasingly considered for aerospace applications given their faster manufacturing cycles and lower cost. The NASA High-Rate Composite Aircraft Manufacturing (HiCAM) project aims to evaluate and mature thermoplastic manufacturing technologies to achieve a 4X – 6X increase in the production rate of Next Generation Single Aisle (NGSA) commercial aircraft. Within the purview of the NASA HiCAM project, this work investigates the response of thermoplastic composites under High Energy Dynamic Impact (HEDI) conditions. HEDI tests were conducted on panels fabricated with a carbon fiber reinforced low melt semi-crystalline resin TC1225 LMPAEK T700G (T700/LMPAEK) material system. A blunt metal projectile was chosen as the impactor which impacted the T700/LMPAEK panels over a range of impact velocities imparted by a gas gun test setup. As expected, lower velocity impacts caused the projectile to rebound, whereas higher velocity impacts resulted in the projectile penetrating the test panels. For the test cases in which the projectile rebounded, the predominant damage modes recorded with Ultrasonic (UT) scans included interlaminar delaminations which exhibited a “rotating fan” like structure when viewed in the through-thickness direction. Additionally, the dynamic deflection of the center point of the back face of the test panels and the velocity of the projectile was also measured during the test. Finite element models were developed to model a test case in which the projectile rebounded. These models were developed using LS-DYNA® wherein the primary objective was to evaluate the ability of the material model MAT299 to capture the dynamic response and damage modes in the T700/LMPAEK test panels. MAT299 is a Deformation Gradient Decomposition (DGD) based Continuum Damage Mechanics (CDM) material model. The interlaminar delaminations were modeled using the cohesive contact formulation available within LS-DYNA, wherein the mixed-mode fracture is captured via the Benzegaggh-Kenane (B-K) mode-dependent fracture energy interpolation law. The above-mentioned modeling methods have mostly been applied to thermoset composites and adapting them to TPCs involves addressing challenges associated with appropriately representing material behavior. Therefore, the proposed paper would discuss the systematic approach taken to adapt thermoset composites modeling practices for applications to TPCs, while appropriately addressing material behavior. The proposed paper would show that the predicted back face center point deflection correlated reasonably well with experimental data and the peak deflection was predicted to be within 5% of the experimental measurements. The projectile rebound velocity, while predicted to be higher than the experimental measurement, was within reasonable bounds. Additionally, it will be shown that the predicted delamination shapes were in reasonable agreement with experimental data.

Composite Materials↗

Biaxial tests of flat graphite/epoxy laminates

The influence of biaxially applied loads on the strength of composite materials containing holes was analyzed. The analysis was performed through the development of a three dimensional, finite element computer program that is capable of evaluating fiber breakage, delamination, and matrix failure. Realistic failure criteria were established for each of the failure modes, and the influence of biaxial loading on damage accumulation under monotonically increasing loading was examined in detail. Both static and fatigue testing of specially designed biaxial specimens containing central holes were performed. Static tests were performed to obtain an understanding of the influence of biaxial loads on the fracture strength of composite materials and to provide correlation with the analytical predictions. The predicted distributions and types of damage are in reasonable agreement with the experimental results. A number of fatigue tests were performed to determine the influence of cyclic biaxial loads on the fatigue life and residual strength of several composite laminates.

Liebowitz, H.↗

Interlaminar fracture toughness of thermoplastic composites

Edge delamination tension and double cantilever beam tests were used to characterize the interlaminar fracture toughness of continuous graphite-fiber composites made from experimental thermoplastic polyimides and a model thermoplastic. Residual thermal stresses, known to be significant in materials processed at high temperatures, were included in the edge delamination calculations. In the model thermoplastic system (polycarbonate matrix), surface properties of the graphite fiber were shown to be significant. Critical strain energy release rates for two different fibers having similar nominal tensile properties differed by 30 to 60 percent. The reason for the difference is not clear. Interlaminar toughness values for the thermoplastic polyimide composites (LARC-TPI and polyimidesulfone) were 3 to 4 in-lb/sq in. Scanning electron micrographs of the EDT fracture surfaces suggest poor fiber/matrix bonding. Residual thermal stresses account for up to 32 percent of the strain energy release in composites made from these high-temperature resins.

Hinkley, J. A.↗

Interlaminar fracture toughness of thermoplastic composites

Edge delamination tension and double cantilever beam tests were used to characterize the interlaminar fracture toughness of continuous graphite-fiber composites made from experimental thermoplastic polyimides and a model thermoplastic. Residual thermal stresses, known to be significant in materials processed at high temperatures, were included in the edge delamination calculations. In the model thermoplastic system (polycarbonate matrix), surface properties of the graphite fiber were shown to be significant. Cricital strain energy release rates for two different fibers having similar nominal tensile properties differed by 30 to 60 percent. The reason for the difference is not clear. Interlaminar toughness values for the thermoplastic polyimide composites (LARC-TPI and polyimidesulfone) were 3 to 4 in-lb/sq in. Scanning electron micrographs of the EDT fracture surfaces suggest poor fiber/matrix bonding. Residual thermal stresses account for up to 32 percent of the strain energy release in composites made from these high-temperature resins.

Hinkley, Jeffrey A.↗

Thermal expansion of selected graphite reinforced polyimide-, epoxy-, and glass-matrix composite

The thermal expansion of three epoxy-matrix composites, a polyimide-matrix composite and a borosilicate glass-matrix composite, each reinforced with continuous carbon fibers, has been measured and compared. The expansion of a composite with a rubber toughened epoxy-matrix and P75S carbon fibers was very different from the expansion of two different single phase epoxy-matrix composites with P75S fibers although all three had the same stacking sequence. Reasonable agreement was obtained between measured thermal-expansion data and results from classical laminate theory. The thermal expansion of a material may change markedly as a result of thermal cycling. Microdamage, induced by 250 cycles between -156 C and 121 C in the graphite/polyimide laminate, caused a 53 percent decrease in the coefficient of thermal expansion. The thermal expansion of the graphite/glass laminate was not changed by 100 thermal cycles from -129 C to 38 C; however, a residual strain of about 10 x 10 to the minus 6 power was measured for the laminate tested.

Tompkins, S. S.↗