SEARCH · Engineering Papers

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 19 records

All sources NASA NTRS DOE 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↗

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.↗

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.↗

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.↗

NASA NTRS2006

From Astrochemistry to Astrobiology ...... and Back Again

Tremendous strides have been made in our understanding of interstellar material over the past twenty five years thanks to significant developments in observational infrared astronomy and laboratory astrophysics. Twenty five years ago the composition of interstellar dust was largely guessed at, the concept of ices in dense molecular clouds generally ignored, and the notion of large, abundant, gas phase, carbon-rich molecules widespread throughout the interstellar medium (ISM) considered impossible. Today the composition of interstellar dust is reasonably well understood. In molecular clouds, the birthplace of stars and planets, these cold dust particles are coated with mixed molecular ices whose composition is reasonably well constrained. Lastly, the signature of carbon-rich polycyclic aromatic hydrocarbons (PAHs), shockingly large molecules by early interstellar chemistry standards, is widespread throughout the Universe. The first part of this talk will describe how infrared spectroscopic studies of interstellar space, combined with laboratory simulations and theoretical studies of PAHs and interstellar ices, have revealed the widespread presence of interstellar PAHs and the composition of interstellar precometary ices. The remainder of the presentation will focus on the photochemical evolution of these icy materials. Within a molecular cloud, and especially the presolar nebula, materials frozen into the ices are photoprocessed by ultraviolet light and more complex molecules are produced. As these materials are the building blocks of comets and related to carbonaceous micrometeorites, they are likely to be important sources of complex materials delivered to habitable planets and their composition may be related to the origin of life.

Allamandola, L. J.↗

NASA NTRS1996

The Parent Magmas of the Cumulate Eucrites: A Mass Balance Approach

The cumulate eucrite meteorites are gabbros that are related to the eucrite basalt meteorites. The eucrite basalts are relatively primitive (nearly flat REE patterns with La approx. 8-30 x CI), but the parent magmas of the cumulate eucrites have been inferred as extremely evolved (La to greater than 100 x CI). This inference has been based on mineral/magma partitioning, and on mass balance considering the cumulate eucrites as adcumulates of plagioclase + pigeonite only; both approaches have been criticized as inappropriate. Here, mass balance including magma + equilibrium pigeonite + equilibrium plagiociase is used to test a simple model for the cumulate eucrites: that they formed from known eucritic magma types, that they consisted only of magma + crystals in chemical equilibrium with the magma, and that they were closed to chemical exchange after the accumulation of crystals. This model is tested for major and Rare Earth Elements (REE). The cumulate eucrites Serra de Mage and Moore County are consistent, in both REE and major elements, with formation by this simple model from a eucrite magma with a composition similar to the Nuevo Laredo meteorite: Serra de Mage as 14% magma, 47.5% pigeonite, and 38.5% plagioclase; Moore County as 35% magma, 37.5% pigeonite, and 27.5% plagioclase. These results are insensitive to the choice of mineral/magma partition coefficients. Results for the Moama cumulate eucrite are strongly dependent on choice of partition coefficients; for one reasonable choice, Moama's composition can be modeled as 4% Nuevo Laredo magma, 60% pigeonite, and 36% plagioclase. Selection of parent magma composition relies heavily on major elements; the REE cannot uniquely indicate a parent magma among the eucrite basalts. The major element composition of Y-791195 can be fit adequately as a simple cumulate from any basaltic eucrite composition. However, Y-791195 has LREE abundances and La/Lu too low to be accommodated within the model using any basaltic eucrite composition and any reasonable partition coefficients. Postcumulus loss of incompatible elements seems possible. It is intriguing that Serra de Mage, Moore County, and Moama are consistent with the same parental magma; could they be from the same igneous body on the eucrite parent asteroid (4 Vesta)?

Treiman, Allan H.↗

NASA NTRS1985

Water loss from Venus: Implications for the Earth's early atmosphere

The atmosphere of Venus outgassed rapidly as a result of planetary heating during accretion, resulting in massive water loss. The processes affecting atmospheric chemistry following accretion have consisted largely of hydrogen escape and internal re-equilibrium. The initial bulk composition of Venus and Earth are assumed to have been roughly similar. Chemical speciation on Venus was controlled by the temperature and oxygen buffering capacity of the surface magma. It is also assumed that the surfaces of planetary bodies of the inner solar system were partly or wholly molten during accretion with a temperature estimated at 1273 to 1573 K. To investigate the range of reasonable initial atmospheric compositions on Venus, limits have to be set for the proportion of total hydrogen and the buffered fugacity of oxygen. Using the C/H ratio of 0.033 set for Earth, virtually all of the water generated during outgassing must later have been lost in order to bring the current CO2/H2O ratio for Venus up to its observed value of 10 sup 4 to 10 sup 5. The proportion of H2O decreases in model atmospheres with successfully higher C/H values, ultimately approaching the depleted values currently observed on Venus. Increasing C/H also results in a rapid increase in CO/H2O and provides an efficient mechanism for water loss by the reaction CO+H2O = CO2 + H2. This reaction, plus water loss mechanisms involving crustal iron, could have removed a very large volume of water from the Venusian atmosphere, even at a low C/H value.

Richardson, S. M.↗