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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2026

Compositional Reasoning for Hierarchical State Machines

Harel statecharts and its derivatives are popular graphical languages for specifying discrete control systems via hierarchical state machines. Separately, there has been a long line of work on specifying concurrent systems with process calculi which come equipped with an algebraic theory, the ability reason compositionally about various temporal properties, and strong type systems. While these two approaches to modeling systems are tantalizingly similar, the integrated reasoning principles that exist for process calculi have not been demonstrated in hierarchical state machines. A key issue is that operational theories for process calculi do not behave like control systems, and thus, there is virtually no tool support for modeling control systems with such languages. For a control system designer, bringing the integrated, more scalable reasoning from the process calculi to state-machine languages would enable the specification of more complex systems and a more modular systems development process. Our insight is that we can recover many important results from the process calculi in hierarchical state machines with local scope. We employ a structural operational semantics, which is ubiquitous in process and 𝜆-calculi but uncommon in hierarchical statemachine formalizations, to enable inductive reasoning about behavior. Taking inspiration from the structure of process calculi metatheories, we define a calculus of refinement and equivalence that we prove sound with respect to local notion of (bi)simulation. Furthermore, we prove that the calculus preserves the behavioral properties of reactivity, observational determinism, traces, and linear temporal properties. Our results are mechanized in the Rocq proof assistant.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Boron Coordination in Multicomponent Glasses: Analytical Models and Machine Learning With Uncertainty

Borosilicate glasses are extensively used in a variety of applications from kitchenware to nuclear waste immobilization due to the strong network formed by the Si-O-B bond that makes it resistant to chemical corrosion and gives it a low thermal expansion. Boron, however, exists in both trigonal BO3 and tetrahedral BO4 bonds in glass systems, which impacts the chemical durability and thermal resistance of the glass, amongst other properties. Boron coordination (N4), or the ratio of the amount of BO4 to BO3 within a glass, may aid in predicting these properties but is difficult to derive without experimental data due to the complexity of impacts from varied glass compositions and processing factors. For this reason, compositional models have been developed to predict boron coordination, but the models typically include a limited number of glass components. To help fill this gap in the models, in this work, a diverse multicomponent glass dataset of 809 glasses is compiled from a literature search, and then a number of analytical and machine learning (ML) models are trained on the dataset. Previously developed modified Bernstein and modified Du Stebbins analytical models were fitted to update parameters with the new dataset. Then, partially Bayesian neural networks, Gaussian process regressor, and heteroskedastic deterministic neural networks were evaluated. The ML models examined all have different strategies to overcome the potential for overfitting as a result of a limited training dataset, and return results that account for model uncertainty, which can be valuable for understanding model reliability. For the first time, cooling rate is introduced as an input parameter for ML models, showing consistent improvements in performance and solidifying the importance of including parameters outside of composition alone for N4 prediction. The machine learning models examined here show promise in accurate predictions of boron coordination in borosilicate glasses, all achieving R2 values of 0.91.

boron coordination↗
NASA NTRS2012

Custom Machines Advance Composite Manufacturing

Here is a brief list of materials that NASA will not be using to construct spacecraft: wood, adobe, fiberglass, bone. While it might be obvious why these materials would not make for safe space travel, they do share a common characteristic with materials that may well be the future foundation of spacecraft design: They all are composites. Formed of two or more unlike materials - such as cellulose and lignin in the case of wood, or glass fibers and plastic resin in the case of fiberglass-composites provide enhanced mechanical and physical properties through the combination of their constituent materials. For this reason, composites are used in everything from buildings, bathtubs, and countertops to boats, racecars, and sports equipment. NASA continually works to develop new materials to enable future space missions - lighter, less expensive materials that can still withstand the extreme demands of space travel. Composites such as carbon fiber materials offer promising solutions in this regard, providing strength and stiffness comparable to metals like aluminum but with less weight, allowing for benefits like better fuel efficiency and simpler propulsion system design. Composites can also be made fatigue tolerant and thermally stable - useful in space where temperatures can swing hundreds of degrees. NASA has recently explored the use of composites for aerospace applications through projects like the Composite Crew Module (CCM), a composite-constructed version of the aluminum-lithium Multipurpose Crew Capsule. The CCM was designed to give NASA engineers a chance to gain valuable experience developing and testing composite aerospace structures.

Source record↗
DOE OSTI2022

Earth System Model Aerosol–Cloud Diagnostics (ESMAC Diags) package, version 1: assessing E3SM aerosol predictions using aircraft, ship, and surface measurements

Abstract. An Earth system model (ESM) aerosol–cloud diagnostics package is developed to facilitate the routine evaluation of aerosols, clouds, and aerosol–cloud interactions simulated by the Energy Exascale Earth System Model (E3SM) from the US Department of Energy (DOE). The first version focuses on comparing simulated aerosol properties with aircraft, ship, and surface measurements, which are mostly measured in situ. The diagnostics currently cover six field campaigns in four geographical regions: eastern North Atlantic (ENA), central US (CUS), northeastern Pacific (NEP), and Southern Ocean (SO). These regions produce frequent liquid- or mixed-phase clouds, with extensive measurements available from the Atmospheric Radiation Measurement (ARM) program and other agencies. Various types of diagnostics and metrics are performed for aerosol number, size distribution, chemical composition, cloud condensation nuclei (CCN) concentration, and various meteorological quantities to assess how well E3SM represents observed aerosol properties across spatial scales. Overall, E3SM qualitatively reproduces the observed aerosol number concentration, size distribution, and chemical composition reasonably well, but it overestimates Aitken-mode aerosols and underestimates accumulation-mode aerosols over the CUS and ENA regions, suggesting that processes related to particle growth or coagulation might be too weak in the model. The current version of E3SM struggles to reproduce the new particle formation events frequently observed over both the CUS and ENA regions, indicating missing processes in current parameterizations. The diagnostics package is coded and organized in a way that can be extended to other field campaign datasets and adapted to higher-resolution model simulations.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS2009

Towards PCC for Concurrent and Distributed Systems (Work in Progress)

We outline some conceptual challenges in extending the PCC paradigm to a concurrent and distributed setting, and sketch a generalized notion of module correctness based on viewing communication contracts as economic games. The model supports compositional reasoning about modular systems and is meant to apply not only to certification of executable code, but also of organizational workflows.

Henriksen, Anders S.↗
DOE OSTI2024

Severe Convective Storms in Limited Instability Organized by Pattern and Distribution

Abstract Severe convection occurring in high-shear, low-CAPE (HSLC) environments is a common cool-season threat in the southeastern United States. Previous studies of HSLC convection document the increased operational challenges that these environments present compared to their high-CAPE counterparts, corresponding to higher false-alarm ratios and lower probability of detection for severe watches and warnings. These environments can exhibit rapid destabilization in the hours prior to convection, sometimes associated with the release of potential instability. Here, we use self-organizing maps (SOMs) to objectively identify environmental patterns accompanying HSLC cool-season severe events and associate them with variations in severe weather frequency and distribution. Large-scale patterns exhibit modest variation within the HSLC subclass, featuring strong surface cyclones accompanied by vigorous upper-tropospheric troughs and northward-extending regions of instability, consistent with prior studies. In most patterns, severe weather occurs immediately ahead of a cold front. Other convective ingredients, such as lower-tropospheric vertical wind shear, near-surface equivalent potential temperature (θ e ) advection, and the release of potential instability, varied more significantly across patterns. No single variable used to train SOMs consistently demonstrated differences in the distribution of severe weather occurrence across patterns. Comparison of SOMs based on upper and lower quartiles of severe occurrence demonstrated that the release of potential instability was most consistently associated with higher-impact events in comparison to other convective ingredients. Overall, we find that previously developed HSLC composite parameters reasonably identify high-impact HSLC events. Significance Statement Even when atmospheric instability is not optimal for severe convective storms, in some situations they can still occur, presenting increased challenges to forecasters. These marginal environments may occur at night or during the cool season, when people are less attuned to severe weather threats. Here, we use a sorting algorithm to classify different weather patterns accompanying such storms, and we distinguish which specific patterns and weather system features are most strongly associated with severe storms. Our goals are to increase situational awareness for forecasters and to improve understanding of the processes leading to severe convection in marginal environments.

Meteorology & Atmospheric Sciences↗
NASA NTRS1983

Continental crustal composition and lower crustal models

The composition of the upper crust is well established as being close to that of granodiorite. The upper crustal composition is reflected in the uniform REE abundances in shales which represent an homogenization of the various REE patterns. This composition can only persist to depths of 10-15 km, for heat flow and geochemical balance reasons. The composition of the total crust is model dependent. One constraint is that it should be capable of generating the upper granodioritic (S.L.) crust by partial melting within the crust. This composition is based on the andesite model, which assumes that the total crust has grown by accretion of island arc material. A representation of the growth rate of the continental crust is shown. The composition of the lower crust, which comprises 60-80% of the continental crust, remains a major unknown factor for models of terrestrial crustal evolution. Two approaches are used to model the lower crust.

Taylor, S. R.↗
NASA NTRS1993

Techno-economic requirements for composite aircraft components

The primary reason for use of composites is to save structural weight. A well designed composite aircraft structure will usually save 25-30 percent of a well designed metal structure. The weight savings then translates into improved performance of the aircraft in measures of greater payload, increased flying range or improved efficiency - less use of fuel. Composite materials offer technical advantages. Key technical advantages that composites offer are high stiffness, tailored strength capability, fatigue resistance, and corrosion resistance. Low thermal expansion properties produce dimensionally stable structures over a wide range of temperature. Specialty resin 'char' forming characteristics in a fire environment offer potential fire barrier application and safer aircraft. The materials and processes of composite fabrication offer the potential for lower cost structures in the near future. The application of composite materials to aircraft are discussed.

Palmer, Ray↗
NASA NTRS1972

Lunar thermal history revisited.

New information is used to demonstrate that better models for the thermal history of the moon are required. As a first step, account is taken of (1) a nonuniform initial composition in terms of fraction of low melting to high melting phase present, and for variation in the uranium, potassium, and thorium contents as a function of depth, (2) partitioning of the radioactive elements between the melt and the solid phases, and (3) a cutoff value of melt which must be exceeded before magma can move to the surface. The results of several attempts to determine whether reasonable conditions, composition, and thermal properties can be expected to give rise to two separate periods of volcanism are discussed. Two models with somewhat different distributions of radioactive heat sources and different conductivities are examined.

Mcconnell, R. K., Jr.↗
DOE OSTI2022

Different feeding patterns affect meat quality of Tibetan pigs associated with intestinal microbiota alterations

This study aimed to investigate the effects of different feeding patterns on meat quality, gut microbiota and its metabolites of Tibetan pigs. Tibetan pigs with similar body weight were fed the high energy diets ( HEP , 20 pigs) and the regular diets ( RFP , 20 pigs), and free-ranging Tibetan pigs ( FRP , 20 pigs) were selected as the reference. After 6 weeks of experiment, meat quality indexes of semitendinosus muscle ( SM ) and cecal microbiota were measured. The results of meat quality demonstrated that the shear force of pig SM in FRP group was higher than that in HEP and RFP groups ( p < 0.001); the pH-value of SM in HEP pigs was higher at 45 min ( p < 0.05) and lower at 24 h ( p < 0.01) after slaughter than that in FRP and RFP groups; the SM lightness ( L* value) of FRP pigs increased compared with RFP and HEP groups ( p < 0.001), while the SM redness ( a* value) of FRP pigs was higher than that of RFP group ( p < 0.05). The free fatty acid ( FA ) profile exhibited that the total FAs and unsaturated FAs of pig SM in HEP and RFP groups were higher than those in FRP group ( p < 0.05); the RFP pigs had more reasonable FA composition with higher n-3 polyunsaturated FAs ( PUFAs ) and lower n-6/n-3 PUFA ratio than HEP pigs ( p < 0.05). Based on that, we observed that Tibetan pigs fed high energy diets (HEP) had lower microbial α-diversity in cecum ( p < 0.05), and distinct feeding patterns exhibited a different microbial cluster. Simultaneously, the short-chain FA levels in cecum of FRP and RFP pigs were higher compared with HEP pigs ( p < 0.05). A total of 11 genera related to muscle lipid metabolism or meat quality, including Alistipes , Anaerovibrio , Acetitomaculun , etc., were identified under different feeding patterns ( p < 0.05). Spearman correlation analysis demonstrated that alterations of free FAs in SM were affected by the genera Prevotellaceae_NK3B31_group , Prevotellaceae UCG-003 and Christensenellaceae_R-7_group ( p < 0.05). Taken together, distinct feeding patterns affected meat quality of Tibetan pigs related to gut microbiota alterations.

Zhu, Yanbin↗
NASA NTRS1980

Composition and energy spectra of low energy ions observed upstream of the earth's bow shock on ISEE-1

The characteristics of eleven locally accelerated particle events in the energy range from 30 to 125 keV/Q observed upstream of the earth's bow shock have been determined, including composition, energy spectra, and intensity versus time profiles. The measurements were made with the Ultra Low Energy Charge Analyzer sensor on ISEE-1. The composition in these events is similar to that of the solar wind, with a He to proton ratio of 8% and a CNO to He ratio of 6%. The composition is reasonably constant only when evaluated at equal energy per charge. The energy spectra cannot be adequately fit by a single power law in energy; an exponential or Maxwellian in energy per charge gives a satisfactory representation of the spectra. The time-intensity profiles of these upstream events show an inverse velocity dispersion, which may provide clues to the responsible acceleration mechanism.

Ipavich, F. M.↗
NASA NTRS1990

ICAN sensitivity analysis

A computer program called Integrated Composite Analyzer (ICAN) was used to predict the properties of high-temperature polymer matrix composites. ICAN is a collection of NASA Lewis Research Center-developed computer codes designed to carry out analysis of multilayered fiber composites. The material properties used as input to the program were those of the thermoset polyimide resin PMR-15 and the carbon fiber Celion 6000. The sensitivity of the predicted composite properties to variations in the resin and fiber properties was examined. In addition, the predicted results were compared with experimental data. In most cases, the effect of changes in resin and fiber properties on composite properties was reasonable. However, the variations in the composite strengths with the moisture content of the PMR-15 resin were inconsistent. The ICAN-predicted composite moduli agreed fairly well with experimental values, but the predicted composite strengths were generally lower than experimental values.

Frimpong, Stephen↗
NASA NTRS1998

Comparison of Martian Meteorites and Martian Regolith as Shield Materials for Galactic Cosmic Rays

Theoretical calculations of radiation attenuation due to energetic galactic cosmic rays behind Martian rock and Martian regolith material have been made to compare their utilization as shields for advanced manned missions to Mars because the detailed chemical signature of Mars is distinctly different from Earth. The modified radiation fields behind the Martian rocks and the soil model were generated by solving the Boltzmann equation using a HZETRN system with the 1977 Solar Minimum environmental model. For the comparison of the attenuation characteristics, dose and dose equivalent are calculated for the five different subgroups of Martian rocks and the Martian regolith. The results indicate that changes in composition of subgroups of Martian rocks have negligible effects on the overall shielding properties because of the similarity of their constituents. The differences for dose and dose equivalent of these materials relative to those of Martian regolith are within 0.5 and 1 percent, respectively. Therefore, the analysis of Martian habitat construction options using in situ materials according to the Martian regolith model composition is reasonably accurate. Adding an epoxy to Martian regolith, which changes the major constituents of the material, enhances shielding properties because of the added hydrogenous constituents.

Kim, Myung-Hee Y.↗
NASA NTRS1996

Design of Composite Structures Using Knowledge-Based and Case Based Reasoning

A method of using knowledge based and case based reasoning to assist designers during conceptual design tasks of composite structures was proposed. The cooperative use of heuristics, procedural knowledge, and previous similar design cases suggests a potential reduction in design cycle time and ultimately product lead time. The hypothesis of this work is that the design process of composite structures can be improved by using Case-Based Reasoning (CBR) and Knowledge-Based (KB) reasoning in the early design stages. The technique of using knowledge-based and case-based reasoning facilitates the gathering of disparate information into one location that is easily and readily available. The method suggests that the inclusion of downstream life-cycle issues into the conceptual design phase reduces potential of defective, and sub-optimal composite structures. Three industry experts were interviewed extensively. The experts provided design rules, previous design cases, and test problems. A Knowledge Based Reasoning system was developed using the CLIPS (C Language Interpretive Procedural System) environment and a Case Based Reasoning System was developed using the Design Memory Utility For Sharing Experiences (MUSE) xviii environment. A Design Characteristic State (DCS) was used to document the design specifications, constraints, and problem areas using attribute-value pair relationships. The DCS provided consistent design information between the knowledge base and case base. Results indicated that the use of knowledge based and case based reasoning provided a robust design environment for composite structures. The knowledge base provided design guidance from well defined rules and procedural knowledge. The case base provided suggestions on design and manufacturing techniques based on previous similar designs and warnings of potential problems and pitfalls. The case base complemented the knowledge base and extended the problem solving capability beyond the existence of limited well defined rules. The findings indicated that the technique is most effective when used as a design aid and not as a tool to totally automate the composites design process. Other areas of application and implications for future research are discussed.

Lambright, Jonathan Paul↗
NASA NTRS2002

High Temperature Si-doped BN Interphases for Woven SiC/SiC Composites

The hydrolytic stability of high-temperature deposited Si-doped BN has been shown in the past to be superior in comparison to "pure" BN processed at similar or even higher temperatures. This type of material would be very desirable as a SiC/SiC composite interphase that is formed by chemical infiltration into multi-ply woven preform. However, due to rapid deposition on the preform outer surface at the high processing temperature, this has proven very difficult. To overcome this issue, single plies of woven fabric were infiltrated with Si-doped BN. Three composite panels of different SiC fiber types were fabricated with Si-doped BN interphases including Sylramic, Hi-Nicalon Type S and Sylramic-iBN fiber-types. The latter fiber-type possesses a thin in-situ grown BN layer on the fiber surface. High Si contents (approx. 7 to 10 a/o) and low oxygen contents (less than 1 a/o) were achieved. All three composite systems demonstrated reasonable debonding and sliding properties. The coated Sylramic fabric and composites were weak due to fiber degradation apparently caused during interphase processing by the formation of TiN crystals on the fiber surface. The Hi-Nicalon Type S composites with Si-doped BN interphase were only slightly weaker than Hi-Nicalon Type S composites with conventional BN when the strength on the load-bearing fibers at failure was compared. On the other hand, the Sylramic-iBN fabric and composites with Si-doped BN showed excellent composite and intermediate temperature stress-rupture properties. Most impressive was the lack of any significant interphase oxidation on the fracture surface of stress-ruptured specimens tested well above matrix cracking at 815C.

Morscher, Gregory N.↗
NASA NTRS1999

Fabrication Of Carbon-Boron Reinforced Dry Polymer Matrix Composite Tape

Future generation aerospace vehicles will require specialized hybrid material forms for component structure fabrication. For this reason, high temperature composite prepregs in both dry and wet forms are being developed at NASA Langley Research Center (LaRC). In an attempt to improve compressive properties of carbon fiber reinforced composites, a hybrid carbon-boron tape was developed and used to fabricate composite laminates which were subsequently cut into flexural and compression specimens and tested. The hybrid material, given the designation HYCARB, was fabricated by modifying a previously developed process for the manufacture of dry polymer matrix composite (PMC) tape at LaRC. In this work, boron fibers were processed with IM7/LaRC(TradeMark)IAX poly(amide acid) solution-coated prepreg to form a dry hybrid tape for Automated Tow Placement (ATP). Boron fibers were encapsulated between two (2) layers of reduced volatile, low fiber areal weight poly(amide acid) solution-coated prepreg. The hybrid prepreg was then fully imidized and consolidated into a dry tape suitable for ATP. The fabrication of a hybrid boron material form for tow placement aids in the reduction of the overall manufacturing cost of boron reinforced composites, while realizing the improved compression strengths. Composite specimens were press-molded from the hybrid material and exhibited excellent mechanical properties.

Belvin, Harry L.↗
NASA NTRS1990

METCAN verification status

The status of the verification (comparisons of predictions with experimental data) of the METCAN (METal-matrix Composite ANalyzer) code at high temperature is summarized. Verification includes select available room temperature of W/Cu composites for different fiber volume ratios. It also includes high temperature properties for thermal expansion, moduli, strength and stress/strain behavior for SiC/Ti composites. Furthermore it includes limited cases for thermal fatigue strength degradation. The verification results summarized herein indicate that METCAN simulates complex high temperature metal matrix composite bahavior with reasonable accuracy and that it can be used with confidence to identify in-situ nonlinear behavior that influences composite properties.

Chamis, Christos C.↗
NASA NTRS1983

The effect of cross-section uncertainties on the derivation of source abundances from cosmic-ray composition observations

It is pointed out that the derivation of source abundances from the composition observed near the earth requires that the secondary contribution to the observed nuclidic abundances be calculated from a model of cosmic-ray propagation. A crucial element in such a calculation is the choice of nuclear fragmentation cross sections. Uncertainties in these cross sections give rise to uncertainties in the derived source abundances. It is shown here that the uncertainties in fragmentation cross sections can, in certain important cases, contribute significantly to the uncertainties in cosmic ray source abundances deduced from the observed composition. For this reason, it is essential that reliable estimates of the effect of cross section uncertainties be made when interpreting the source composition deduced from cosmic ray observations. In addition, formulas are presented which can be used to obtain such estimates with a minimum of computational effort.

Wiedenbeck, M. E.↗