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.

SourceResearch connectionFrom yearThrough year

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

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS2002

MALDI TOF MS: An Exobiology Surface-Science Approach for Europa

If Europa is to be of primary exobiological interest, namely as a habitat for extant life, it is obvious that: (i) a hydrosphere must prevail beneath the cryosphere for a long time, (ii) internal energy sources must be present in a sufficient state of activity, and (iii) a reasonable technical means must be available for assessing if indeed life does exist in the hypothesized hydrosphere. This discussion focuses on technological issues, because the compounding evidence about Europa indicates that the first two are highly likely to be true. We present a consideration of time-of-flight mass spectroscopy (TOF MS) conducted in-situ on the cryosphere surface of Europa during a landed robotic mission. We assert that this is a reasonable technical means not only for exploring the composition of the cryosphere itself, but also for locating any biomolecular indicators of extant life brought to the surface through cryosphere activity. We also describe a MALDI (MAtrix Laser Desorption and Ionization) TOF MS system that we are constructing as a proof-of-concept prototype for conducting TOF MS measurements on Europa.

Gerakines, Perry A.↗

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 NTRS2020

Revisiting the Relationship between Atlantic Dust and Tropical Cyclone Activity using Aerosol Optical Depth Reanalyses: 2003-2018

Previous studies have noted a relationship between African dust and Atlantic tropical cyclone (TC) activity. However, due to the limitations of past dust analyses, the strength of this relationship remains uncertain. The emergence of aerosol reanalyses, including the Navy Aerosol Analysis and Prediction System (NAAPS) aerosol optical depth (AOD) reanalysis, NASA Modern-Era Retrospective analysis for Research and Applications, Version 2 (MERRA-2), and ECMWF Copernicus Atmosphere Monitoring Service reanalysis (CAMSRA), enables an investigation of the relationship between African dust and TC activity over the tropical Atlantic and Caribbean in a consistent temporal and spatial manner for 2003–2018. Although June–July–August (JJA) 550 nm dust AOD (DAOD) from all three reanalysis products correlates significantly over the tropical Atlantic and Caribbean, the difference in DAOD magnitude between products can be as large as 60 % over the Caribbean and 20 % over the tropical North Atlantic. Based on the three individual reanalyses, we have created an aerosol multi-reanalysis consensus (MRC). The MRC presents overall better root mean square error over the tropical Atlantic and Caribbean compared to individual reanalyses when verified with ground-based AErosol RObotic NETwork (AERONET) AOD measurements. Each of the three individual reanalyses and the MRC have significant negative correlations between JJA Caribbean DAOD and seasonal Atlantic accumulated cyclone energy (ACE), while the correlation between JJA tropical North Atlantic DAOD and seasonal ACE is weaker. Possible reasons for this regional difference are provided. A composite analysis of 3 high-JJA-Caribbean-DAOD years versus 3 low-JJA-Caribbean-DAOD years reveals large differences in overall Atlantic TC activity. We also show that JJA Caribbean DAOD is significantly correlated with large-scale fields associated with variability in interannual Atlantic TC activity including zonal wind shear, mid-level moisture, and sea surface temperature (SST), as well as the El Niño–Southern Oscillation (ENSO) and the Atlantic Meridional Mode (AMM), implying confounding effects of these factors on the dust–TC relationship. We find that seasonal Atlantic DAOD and the AMM, the leading mode of coupled Atlantic variability, are inversely related and intertwined in the dust–TC relationship. Overall, DAOD in both the tropical Atlantic and Caribbean is negatively correlated with Atlantic hurricane frequency and intensity, with stronger correlations in the Caribbean than farther east in the tropical North Atlantic.

Dust particles↗

NASA NTRS1986

Interfaces and failure mechanisms in Al-SiC composites

Aluminum alloys reinforced with silicon carbide whiskers exhibit significantly higher strength and modulus than the unreinforced alloys. However, the composites also exhibit low ductility and poor fracture toughness for reasons which are not well-understood. In this study, high resolution and conventional TEM techniques are used to analyze interface microstructure and failure mechanisms in P/M 2124 and 6061 aluminum alloys reinforced with silicon carbide whiskers. Interfacial oxides are typical of both composite materials, often distributed in clusters or in a discrete layer 2-5 nm thick along the whisker-matrix interface. Highly deformed regions beneath bulk tensile fracture surfaces reveal possible fracture nucleation centers as well as sites of stress concentration where intense plastic strain has occurred. Observations of such highly deformed regions include (1) void initiation at whisker ends, (2) interface decohesion involving the thin oxide layer, (3) transverse cracks in whiskers, and (4) cracks in large constituent particles. TEM results are presented and discussed in relation to mechanisms of composite failure.

Nutt, S. R.↗

NASA NTRS2010

Stability of Basalt plus Anhydrite plus Calcite at HP-HT: Implications for Venus, the Earth and Mars

"Canali" observed at Venus surface by Magellan are evidence for very long melt flows, but their composition and origin remain uncertain. The hypothesis of water-rich flow is not reasonable regarding the temperature at Venus surface. The length of these channels could not be explained by a silicate melt composition but more likely, by a carbonate-sulfate melt which has a much lower viscosity (Kargel et al 1994). One hypothesis is that calcite CaCO3 and anhydrite CaSO4 which are alteration products of basalts melted during meteorite impacts. A famous example recorded on the Earth (Chicxulub) produced melt and gas rich in carbon and sulfur. Calcite and sulfate evaporites are also present on Mars surface, associated with basalts. An impact on these materials might release C- and S-rich melt or fluid. Another type of planetary phenomenon (affecting only the Earth) might provoke a high pressure destabilization of basalt+anhydrite+calcite. Very high contents of C and S are measured in some Earth s magmas, either dissolved or in the form of crystals (Luhr 2008). As shown by the high H content and high fO2 of primary igneous anhydrite-bearing lavas, the high S content in their source may be explained by subduction of an anhydrite-bearing oceanic crust, either directly (by melting followed by eruption) or indirectly (by release of S-rich melt or fluid that metasomatize the mantle) . Calcite is a major product of oceanic sedimentation and alteration of the crust. Therefore, sulfate- and calcite-rich material may be subducted to high pressures and high temperatures (HP-HT) and release S- and C-rich melts or fluids which could influence the composition of subduction zone lavas or gases. Both phenomena - meteorite impact and subduction - imply HP-HT conditions - although the P-T-time paths are different. Some HP experimental/theoretical studies have been performed on basalt/eclogite, calcite and anhydrite separately or on a combination of two. In this study we performed piston-cylinder experiments at 1 GPa between 950 and 1700 C using a mixture of 70wt% tholeiitic basalt + 15wt% anhydrite + 15wt% calcite. Up to ~1440 C, an ultracalcic (CaO>13.5 wt%; CaO/Al2O3>1 wt%) picrobasaltic (SiO2~40-45 wt%; Na2O+K2O<2 wt%) melt containing up to 5 wt% SO3 and up to 5.3 wt% CO2+H2O (calculated by difference) is present in equilibrium with clinopyroxene, anhydrite, spinel-chromite, a CAS-phase and a gas composed mainly of CO and an aliphatic thiol (CH2)4SH. Hydrogen was incorporated either by contact between the starting material and air or by diffusion through the capsule during the experiments. The S content in the gas increases with temperature and run duration, implying that gases with various C/S ratios might be released during an impact or at subduction zones, depending on the P-T-t path and on the H content. Above approx.1440 C, a Ca-rich carbonate-sulfate melt forms (in equilibrium with the picrobasaltic melt) which contains a few percents of Na and K. Such melt is not expected to form at Earth s subduction temperatures. If it forms by meteorite impact, it might crystallize too fast to explain long flows like Venus canali. A different basalt/anhydrite/calcite ratio might, however, decrease its formation temperature.

Martin, A. M.↗

NASA NTRS1976

Vibration characteristics of composite fan blades and comparison with measured data

The vibration characteristics of a composite fan blade for high-tip-speed applications were determined theoretically and the results compared with measured data. The theoretical results were obtained using a computerized capability consisting of NASTRAN coupled with composite mechanics by way of pre- and postprocessors. The predicted vibration frequencies and mode shapes were in reasonable agreement with the measured data. Theoretical results showed that different laminate configurations from the same composite system had only small effects on the blade frequency. However, the use of adhesively bonded titanium/beryllium laminar composites may improve considerably the blade vibration characteristics.

Chamis, C. C.↗

NASA NTRS1976

Vibration characteristics of composite fan blades and comparison with measured data

Chamis, C. C.↗

NASA NTRS2013

Constraints on the Composition and Evolution of the Lunar Crust from Meteorite NWA 3163

The lunar meteorite NWA 3163 (paired with NWA 4881, 4483) is a ferroan, feldspathic granulitic breccia characterized by pigeonite, augite, olivine, maskelynite and accessory Tichromite, ilmenite and troilite. Bulk rock geochemical signatures indicate the lack of a KREEP- derived component (Eu/Eu* = 3.47), consistent with previously studied lunar granulites and anorthosites. Bulk rock chondrite-normalized signatures are however distinct from the anorthosites and granulites sampled by Apollo missions and are relatively REE-depleted. In-situ analyses of maskelynite reveal little variation in anorthite content (average An% is 96.9 +/- 1.6, 2 sigma). Olivine is relatively ferroan and exhibits very little variation in forsterite content with mean Fo% of 57.7 +/- 2.0 (2 sigma). The majority of pyroxene is low-Ca pigeonite (En57Fs33Wo10). Augite (En46Fs21Wo33) is less common, comprising approximately 10% of analyzed pyroxene. Two pyroxene thermometry on co-existing orthopyroxene and augite yield an equilibrium temperature of 1070C which is in reasonable agreement with temperatures of 1096C estimated from pigeonite compositions. Rb-Sr isotopic systematics of separated fractions yield an average measured Sr-87/Sr-87 of 0.699282+/-0.000007 (2 sigma). Sr model ages are calculated using a modern day Sr-87/Sr-86 Basaltic Achondrite Best Initial (BABI) value of 0.70475, from an initial BABI value Sr-87/Sr-86 of 0.69891 and a corresponding Rb-87/Sr-97 of 0.08716. The Sr model Thermomechanical analysis (TMA) age, which represents the time of separation of a melt from a source reservoir having chondritic evolution, is 4.56+/-0.1 Ga. A Sr model T(sub RD) age, which is a Rb depletion age and assumes no contribution from Rb in the sample in the calculation, yields 4.34+/-0.1 Ga (i.e. a minimum age). The Ar-Ar dating of paired meteorite NWA 4881 reveals an age of c. 2 Ga, likely representing the last thermal event this meteorite experienced. An older Ar-40/Ar-39 age of c. 3.5 Ga may record the thermal event which produced the granulitic texture. Additional chronological constraints will be provided by Sm-Nd systematics. Ferroan Anorthosites like NWA 3163 have been interpreted to represent direct lunar magma ocean (LMO) crystallization products. If this is the case, trace element concentrations in NWA 3163 primary mineral phases should be in equilibrium with residual LMO liquids present during crystallization of those phases. Results from petrogenetic modeling suggest that the NWA 3163 protolith did not form from crystallization of an initially LREE depleted LMO but rather require an initially chondritic LMO with early garnet crystallization. Furthermore, a two-stage crystallization model where plagioclase crystalized prior to pyroxene (93% vs. 99.5% of LMO crystallization) is implied.

McLeod, C. L.↗

NASA NTRS1988

Diagnosis by integrating model-based reasoning with knowledge-based reasoning

Our research investigates how observations can be categorized by integrating a qualitative physical model with experiential knowledge. Our domain is diagnosis of pathologic gait in humans, in which the observations are the gait motions, muscle activity during gait, and physical exam data, and the diagnostic hypotheses are the potential muscle weaknesses, muscle mistimings, and joint restrictions. Patients with underlying neurological disorders typically have several malfunctions. Among the problems that need to be faced are: the ambiguity of the observations, the ambiguity of the qualitative physical model, correspondence of the observations and hypotheses to the qualitative physical model, the inherent uncertainty of experiential knowledge, and the combinatorics involved in forming composite hypotheses. Our system divides the work so that the knowledge-based reasoning suggests which hypotheses appear more likely than others, the qualitative physical model is used to determine which hypotheses explain which observations, and another process combines these functionalities to construct a composite hypothesis based on explanatory power and plausibility. We speculate that the reasoning architecture of our system is generally applicable to complex domains in which a less-than-perfect physical model and less-than-perfect experiential knowledge need to be combined to perform diagnosis.

Bylander, Tom↗

NASA NTRS2017

Using Advanced Mass Spectrometry Techniques to Fully Characterize Atmospheric Organic Carbon: Current Capabilities and Remaining Gaps

Organic compounds in the atmosphere vary widely in their molecular composition and chemical properties, so no single instrument can reasonably measure the entire range of ambient compounds. Over the past decade, a new generation of in-situ, field-deployable mass spectrometers has dramatically improved our ability to detect, identify, and quantify these organic compounds, but no systematic approach has been developed to assess the extent to which currently available tools capture the entire space of chemical identity and properties that is expected in the atmosphere. Reduced-parameter frameworks that have been developed to describe atmospheric mixtures are exploited here to characterize the range of chemical properties accessed by a suite of instruments. Multiple chemical spaces (e.g. oxidation state of carbon vs. volatility, and oxygen number vs. carbon number) were populated with ions measured by several mass spectrometers, with gas- and particle-phase α-pinene oxidation products serving as the test mixture of organic compounds. Few gaps are observed in the coverage of the parameter spaces by the instruments employed in this work, though the full extent to which comprehensive measurement was achieved is difficult to assess due to uncertainty in the composition of the mixture. Overlaps between individual ions and regions in parameter space were identified, both between gas- and particle-phase measurements, and within each phase. These overlaps were conservatively found to account for little (<10%) of the measured mass. However, challenges in identifying overlaps and in accurately converting molecular formulas into chemical properties (such as volatility or reactivity) highlight a continued need to incorporate structural information into atmospheric measurements.

G. Isaacman-VanWertz↗

NASA NTRSDate not supplied

Trade-Offs of Simplified Versus Comprehensive Representation of Mineralogy When Studying Dust Impacts on Earth’s Climate Systems

The intensity and direction of dust impacts on Earth’s climate systems depend on mineral composition. For example, the presence or absence of a few percent of iron oxides in dust will determine if dust is warming or cooling the atmosphere. Similarly, feldspar will enhance ice cloud formation, while acid gases in the atmosphere will react on the surface of dust calcite limiting acid rain. Still, most climate models use a simplified representation of dust mineralogy. They assume a fixed composition at emission which stays invariant during transport and removal. Such simplification assumes spatially and temporally constant physical and chemical properties of dust, and appears to provide satisfactory results when comparing some properties with observations. The trade-off is their lack of spatial gradients, which will fail to induce circulation, cloud and precipitation changes. The two reasons to omit mineral variations are the uncertainty of current atlases of soil mineral composition in arid regions, and, more practically, an improved runtime efficiency. The former reason is losing ground with the recent launch (July 2022) of a dedicated mission (NASA/JPL EMIT) to retrieve global soil mineralogy of dust sources at high spatial resolution. While the EMIT science team is finalizing a satisfactory global map of mineral composition of dust sources, we analyzed the interaction of dust mineralogy on radiation and its impact on the fast temperature response using different representations of mineral composition from detailed and spatially varying to simplified and globally uniform, assuming different hematite contents and methods to calculate optical properties. Our results show that resolving dust mineralogy reduces dust absorption, and results in improved agreement with observation-based single scattering albedo (SSA), radiative fluxes from CERES (the Clouds and the Earth’s Radiant Energy System), and land surface temperature from CRU (Climatic Research Unit), compared to the baseline bulk dust model version. It also results in distinct radiative impacts on Earth’s climate over North Africa. From our 19-year simulation, we will show that it leads to a reduction of over 50% in net downward radiation at top of atmosphere (TOA) across the Sahara and an approximately 20% reduction over the Sahel. We will explain how the surface temperature response affects the monsoon flow from the Gulf of Guinea. Interestingly, we find similar results by simply fixing the hematite content of dust to a globally uniform value of 0.9% by volume. We will discuss the underlying reasons for such results and show that they may be unrelated to the distribution of soil mineralogy. Still, an accurate representation of soil mineralogy is necessary to better understand dust impacts on the Earth’s climate systems.

dust impacts↗

NASA NTRS1987

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

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

Tompkins, S. S.↗

NASA NTRS2003

LS-DYNA Implementation of Polymer Matrix Composite Model Under High Strain Rate Impact

A recently developed constitutive model is implemented into LS-DYNA as a user defined material model (UMAT) to characterize the nonlinear strain rate dependent behavior of polymers. By utilizing this model within a micromechanics technique based on a laminate analogy, an algorithm to analyze the strain rate dependent, nonlinear deformation of a fiber reinforced polymer matrix composite is then developed as a UMAT to simulate the response of these composites under high strain rate impact. The models are designed for shell elements in order to ensure computational efficiency. Experimental and numerical stress-strain curves are compared for two representative polymers and a representative polymer matrix composite, with the analytical model predicting the experimental response reasonably well.

Zheng, Xia-Hua↗

NASA NTRS1986

Assessment of simplified composite micromechanics using three-dimensional finite-element analysis

Three-dimensional finite-element analyses are used to assess the accuracy of simplified composite micromechanics equations (SME) for hygral, thermal, and mechanical properties of unidirectional composites with orthotropic fibers. The properties predicted by the SME are in reasonably good agreement with those predicted by the three-dimensional finite-element analyses. This correlation demonstrates that the SME can be used with confidence in predicting the hygral, thermal, and mechanical behavior of unidirectional fiber composites.

Caruso, J. J.↗

NASA NTRS1979

The latitudinal gradient of nitric oxide in the thermosphere

Theoretical calculations of nitric oxide altitude profiles are made at five different latitudes by using neutral temperatures and composition primarily from the MSIS (mass spectrometer and incoherent scatter) model. The nitric oxide calculated for an altitude of 105 km remains nearly constant with increasing latitude. Observations made by the ultraviolet nitric oxide instrument on the Atmosphere Explorer C satellite show that at low magnetic activity (Ap value of approximately 4), the NO density at 105 km agrees with the theory; however, at moderate levels of activity it increases with latitude. This discrepancy between the theoretical and observed latitudinal gradients of nitric oxide suggests the transport of NO from a high latitude source to lower latitudes. At 200 km the theoretical and observed latitudinal gradients are in reasonable agreement, an indication that the knowledge of the local composition and temperature is sufficient to model nitric oxide at this altitude.

Cravens, T. E.↗

NASA NTRS2014

Scientific Rationale for Saturn's in Situ Exploration

Remote sensing observations meet some limitations when used to study the bulk atmospheric composition of the giant planets of our solar system. A remarkable example of the superiority of in situ probe measurements is illustrated by the exploration of Jupiter, where key measurements such as the determination of the noble gases׳ abundances and the precise measurement of the helium mixing ratio have only been made available through in situ measurements by the Galileo probe. This paper describes the main scientific goals to be addressed by the future in situ exploration of Saturn placing the Galileo probe exploration of Jupiter in a broader context and before the future probe exploration of the more remote ice giants. In situ exploration of Saturn's atmosphere addresses two broad themes that are discussed throughout this paper: first, the formation history of our solar system and second, the processes at play in planetary atmospheres. In this context, we detail the reasons why measurements of Saturn's bulk elemental and isotopic composition would place important constraints on the volatile reservoirs in the protosolar nebula. We also show that the in situ measurement of CO (or any other disequilibrium species that is depleted by reaction with water) in Saturn's upper troposphere may help constraining its bulk O/H ratio. We compare predictions of Jupiter and Saturn's bulk compositions from different formation scenarios, and highlight the key measurements required to distinguish competing theories to shed light on giant planet formation as a common process in planetary systems with potential applications to most extrasolar systems. In situ measurements of Saturn's stratospheric and tropospheric dynamics, chemistry and cloud-forming processes will provide access to phenomena unreachable to remote sensing studies. Different mission architectures are envisaged, which would benefit from strong international collaborations, all based on an entry probe that would descend through Saturn's stratosphere and troposphere under parachute down to a minimum of 10 bar of atmospheric pressure. We finally discuss the science payload required on a Saturn probe to match the measurement requirements.

Galileo↗

NASA NTRS2005

Determination of Interlaminar Toughness of IM7/977-2 Composites at Temperature Extremes and Different Thicknesses

Composite materials are being used in the aerospace industry as a means of reducing vehicle weight. In particular, polymer matrix composites (PMC) are good candidates due to their high strength-to-weight and high stiffness-to-weight ratios. Future reusable space launch vehicles and space exploration structures will need advanced light weight composites in order to minimize vehicle weight while demonstrating robustness and durability, guaranteeing high factors of safety. In particular, the implementation of composite cryogenic propellant fuel tanks (cryotanks) for future reusable launch vehicles (RLVs) could greatly reduce the vehicle's weight versus identically sized cryotanks constructed of metallic materials. One candidate composite material for future cryotank designs is IM7/977-2, which is a graphite/epoxy system. A successful candidate must demonstrate reasonable structural properties over a wide range of temperatures. Since the matrix material is normally the weak link in the composite, tests that emphasize matrix-dominated behavior need to be conducted. Therefore, the objective of this work is to determine the mode I interlaminar fracture toughness of "unidirectional" 8-ply and 16-ply IM7/977-2 through experimental testing. Tests were performed at -196 degrees Celsius (-320 degrees Fahrenheit), 22 degrees Celsius (72 degrees Fahrenheit), 93 degrees Celsius (200 degrees Fahrenheit) and 160 degrees C (320 degrees Fahrenheit). Low temperature testing was completed while the specimen was submerged in a liquid nitrogen bath. High temperature testing was completed in a temperature-controlled oven.

Johnson, W. S.↗

NASA NTRS1999

Low-Cost, High Glass-Transition Temperature, Thermosetting Polyimide Developed

PMR-15 polyimide, developed in the mid-1970's at the NASA Lewis Research Center, is recognized as a state-of-the-art high-temperature resin for composite applications in the temperature range of 500 to 550 F (260 to 288 C). PMR-15 offers easy processing and good property retention at a reasonable cost. For these reasons, it is widely used in both military and commercial aircraft engine components. Traditionally, polyimide composites have been designed for long-term use at 500 to 600 F over thousands of hours. However, new applications in reusable launch vehicles (RLV's) require lightweight materials that can perform for short times (tens of hours) at temperatures between 800 and 1000 F (425 and 538 C). Current efforts at Lewis are focused on raising the use temperature of polyimide composites by increasing the glass-transition temperature of the matrix resins. Achieving this dramatic increase in the upper use temperature without sacrificing polymer and composite processability is a major technical challenge.

Chuang, Kathy C.↗