Search NASA⌕ Search

SEARCH · Search NASA

Results for “Concrete Modeling”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Void probability as a function of the void's shape and scale-invariant models

The dependence of counts in cells on the shape of the cell for the large scale galaxy distribution is studied. A very concrete prediction can be done concerning the void distribution for scale invariant models. The prediction is tested on a sample of the CfA catalog, and good agreement is found. It is observed that the probability of a cell to be occupied is bigger for some elongated cells. A phenomenological scale invariant model for the observed distribution of the counts in cells, an extension of the negative binomial distribution, is presented in order to illustrate how this dependence can be quantitatively determined. An original, intuitive derivation of this model is presented.

Elizalde, E.↗
DOE OSTI2026

Self-interacting sub-GeV dark matter with strong MeV gamma-ray

Sub-GeV dark matter (DM) with s-channel resonant self-scattering provides a promising framework for addressing small-scale structure problems. However, models that also account for the observed relic abundance through the same resonance are strongly constrained by current γ-ray observations, since the associated signals are significantly enhanced. To overcome this limitation, we propose a framework in which the relic abundance and self-scattering are governed independently by two distinct mediators. As a concrete realization, we present a singlet scalar DM model in which self-scattering is mediated by a vector boson associated with a gauged baryon number, while the relic density is determined by forbidden annihilation into dark Higgs bosons that generate the gauge boson mass. By imposing cosmological, experimental, and theoretical constraints, We identify viable parameter regions that reproduce the observed relic density, alleviate small-scale problems, and remain consistent with current bounds. Notably, the model predicts multiple distinctive MeV γ-ray signals, a significant fraction of which will be testable with next-generation MeV γ-ray telescopes, including the Compton Spectrometer and Imager (COSI).

Models for Dark Matter↗
DOE OSTI2025

Overlapping qubits from non-isometric maps and de Sitter tensor networks

The emergence of a local effective theory from a more fundamental theory of quantum gravity with seemingly fewer degrees of freedom is a major puzzle of theoretical physics. A recent approach to this problem is to consider general features of the Hilbert space maps relating these theories. In this work, we construct approximately local observables, or overlapping qubits, from such non-isometric maps. We show that local processes in effective theories can be spoofed with a quantum system with fewer degrees of freedom, with deviations from actual locality identifiable as features of quantum gravity. For a concrete example, we construct two tensor network models of de Sitter space-time, demonstrating how exponential expansion and local physics can be spoofed for a long period before breaking down. Our results highlight the connection between overlapping qubits, Hilbert space dimension verification, degree-of-freedom counting in black holes, holography, and approximate locality in quantum gravity.

Quantum information↗
NASA NTRS2006

Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem

This paper proposes a challenge problem in disproving. We describe a fault-tolerant distributed protocol designed at NASA for use in a fly-by-wire system for next-generation commercial aircraft. An early design of the protocol contains a subtle bug that is highly unlikely to be caught in fault injection testing. We describe a failed proof of the protocol's correctness in a mechanical theorem prover (PVS) with a complex unfinished proof conjecture. We use a model checking suite (SAL) to generate a concrete counterexample to the unproven conjecture to demonstrate the existence of a bug. However, we argue that the effort required in our approach is too high and propose what conditions a better solution would satisfy. We carefully describe the protocol and bug to provide a challenging but feasible case study for disproving research.

Pike, Lee↗
DOE OSTI2026

State of Innovation 2025: Progress in Accelerating Next-Generation Cement and Concrete Technologies

The cement and concrete sectors are entering a decisive period as next-generation technologies advance from laboratory research to demonstration, early deployment, and first-of-a-kind commercial plants. Building on the 2024 State of Innovation report, the 2025 outlook highlights both the rapid acceleration of innovation and the urgent need for coordinated action across the value chain. Venture capital activity into the cement and concrete space stabilized following the record surge of 2022-2023, yet landmark financings, such as Sublime Systems' $200 million round and Terra CO2's $124 million Series B, signal continued investor confidence in companies approaching commercialization. Corporate procurement has become a powerful new catalyst, with Microsoft, Amazon, and CRH (Cement Roadstone Holdings) Ventures providing long-term commitments that underpin the first wave of next-generation cementitious products. The sector is shifting from early-stage experimentation toward the scaling of well-capitalized leaders capable of bridging the critical "capitalization gap." Early innovators continue to expand the toolkit through novel binders, electrochemical cements, biogenic limestone, and carbonate mineralization pathways. Going into 2026, cost competitiveness, durability validation, and scalability enabled by resilient supply chains remain the decisive factors for market adoption. At the 2025 Next Generation Cement and Concrete Critical Technologies Meeting, attendees emphasized dual-track funding strategies that integrate federal grants with private capital as key to enabling market breakthrough. State programs and corporate demand are sustaining momentum, while successful companies increasingly demonstrate both economic value and reduced dependence on imported materials. The National Concrete Pavement Technology Center and others underscored that broad integration of next-generation materials will hinge on standards compatibility, verified field performance, and workforce readiness. Colorado continues to serve as a proving ground through pilot programs that combine supplier training, phased implementation, and real-world data to de-risk innovation and provide replicable models for other regions. The 2025 Cement and Concrete Critical Technologies Workshop reinforced that scaling next-generation materials will require alignment among technology innovation, performance validation, and market demand. Stakeholders must move beyond siloed efforts toward collaborative frameworks that coordinate standards, funding, and infrastructure deployment. As a neutral convener and technical validator, the National Laboratory of the Rockies (NLR) plays a pivotal role in bridging innovation and market adoption through collaborative research, technology validation, and entrepreneurship programs. By uniting innovators, incumbents, policymakers, contractors, and investors, NLR and its partners are helping chart a credible pathway toward widespread commercialization in the decade ahead.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS1963

Investigation of the Landing Characteristics of a Re-entry Vehicle Having a Canted Multiple Air Bag Load Alleviation System

An investigation was made to determine the landing-impact characteristics of a reentry vehicle having a multiple-air-bag load-alleviation system. A 1/16-scale dynamic model having four canted air bags was tested at flight-path angles of 90 degrees (vertical), 45 degrees, and 27 degrees for a parachute or paraglider vertical letdown velocity of 30 feet per second (full scale). Landings were made on concrete at attitudes ranging from -l5 degrees to 20 degrees. The friction coefficient between the model heat shield and the concrete was approximately 0.4. An aluminum diaphragm, designed to rupture at 10.8 pounds per square inch gage, was used to maintain initial pressure in the air bags for a short time period.

TESTS↗
DOE OSTI2021

Rheological characterization of 3D printable geopolymers

This study demonstrates a two-step approach that enables quantification of concrete printability through dynamics mode rheological measurements; I) modeling shearing history during extrusion; II) monitoring the hardening evolution of deposited material by applying a strain smaller than the critical strain. It is shown that the shearing history of the material is removed by imposing a pre-shearing above the critical strain, and zero value yield stress is measured for all specimens. At step II, a linear extrapolation of the green strength development can quantify the static yield stress at the origin, which we used to quantify the material printability. As far as this yield stress surpasses the stress level that exists in the printed structure, the material retains its shape stability. We show the performance of the model on a series of geopolymer mortars with a wide range of rheological properties as a function of material composition, aging, and pre-shearing consequences.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Fire and Thermal Experiments in Support of the Model Evaluation Protocol for LNG Facility Fires

The motivation for the experiments reported here pertains to the siting of Liquefied Natural Gas (LNG) facilities which requires assessing the potential adverse radiant thermal impacts of accidental fires on the public. The objective is to obtain data on jet fires, pool fires, fireballs, and concrete walls that could serve as thermal barriers for model validation. The fuels tested include ethane, ethylene, propane, and isopentane.

42 ENGINEERING↗
DOE OSTI2024

Fireball antinucleosynthesis

The tentative identification of approximately ten relativistic antihelium ( He ¯ ) cosmic-ray events at AMS-02 would, if confirmed, challenge our understanding of the astrophysical synthesis of heavy antinuclei. We propose a novel scenario for the enhanced production of such antinuclei that is triggered by isolated, catastrophic injections of large quantities of energetic Standard Model (SM) antiquarks in our galaxy by physics beyond the Standard Model (BSM). We demonstrate that SM antinucleosynthetic processes that occur in the resulting rapidly expanding, thermalized fireballs of SM plasma can, for a reasonable range of parameters, produce the reported tentative ∼ 2 : 1 ratio of He ¯ 3 to He ¯ 4 events at AMS-02, as well as their relativistic boosts. Moreover, we show that this can be achieved without violating antideuterium or antiproton flux constraints for the appropriate antihelium fluxes. A plausible BSM paradigm for the catastrophic injections is the collision of macroscopic composite dark-matter objects carrying large net antibaryon number. Such a scenario would require these objects to be cosmologically stable, but to destabilize upon collision, promptly releasing a fraction of their mass energy into SM antiparticles within a tiny volume. We show that, in principle, the injection rate needed to attain the necessary antihelium fluxes and the energetic conditions required to seed the fireballs appear possible to obtain in such a paradigm. We leave open the question of constructing a BSM particle physics model to realize this, but we suggest two concrete scenarios as promising targets for further investigation. Published by the American Physical Society 2024

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Damage development in neutron-irradiated concrete in a test reactor: Hygro-thermal and mechanical simulations

This paper reports the development of a 3D mesoscale hygro-thermal-mechanical simulation approach to predict damage in concrete irradiated in a test reactor. This framework, developed in MOOSE, considers the effects of elevated temperature, moisture content, and high neutron fluence (energy threshold, E > 0.1 MeV) on the mortar and aggregates separately. The first-stage simulation implements hygro-thermal analysis to determine the temperature and RH inside the specimen as a function of imposed radiation energy. These are used as inputs to the second stage, which considers radiation-induced volumetric expansion (RIVE) of aggregates, and creep, shrinkage, and stress-strain response of mortar to predict the expansion, stresses, and damage in specimens made using different coarse aggregates and subjected to different irradiation times. The irradiation time-dependent damage in the mortar is expressed using an isotropic damage parameter. This multi-physics model serves as a predictive tool for damage quantification in concrete due to neutron irradiation.

36 MATERIALS SCIENCE↗
NASA NTRS2023

Seismic Assessment of a Long-Term Lunar Habitat

The establishment of secure earth-independent long-term lunar habitats has been envisioned by numerous government agencies and private companies. Recent advancements in assessing seismic hazards caused by shallow moonquakes have highlighted the importance of incorporating this phenomenon into the design of robust and resilient lunar structures. However, further research is required to explore lunar habitat design that considers seismic loads. This paper proposes assessing the structural response of a lunar habitat made of sulfur concrete covered with a regolith layer. The numerical model of the structure is subjected to gravitational, internal pressure and seismic loads. The seismic analysis of the structure is carried out using spectral and nonlinear time history methods. Conditional mean spectra for shallow moonquakes with return periods of 75, 475, 970 and 2475 years are used in the seismic analysis. The records used for the temporal analyses were ground motions that agree with a preliminary seismic hazard on the Moon. The results of temporal analyses reveal that shallow moonquakes with return periods greater than 475 years can lead to the loss of the global stability of the structure. Consequently, the findings imply that seismic loads have the potential to impose unacceptable demands on lunar structures constructed from in-situ materials like sulfur concrete. Hence, it is imperative to incorporate seismic considerations in the design process for developing resilient and long-term lunar habitats.

Lunar habitat↗
DOE OSTI2021

Joint inversion of electromagnetic measurements for the determination of water saturation profiles in concrete structures

Highlights: • DC-electrical and dielectric data are combined to estimate concrete saturation degree. • A joint inversion approach of the electromagnetic measurements is proposed. • The sensitivity of the measurements to the saturation model parameters is analysed. • The new joint approach was developed and is applied to synthetic and real data. • The benefits of the joint approach over the inversion of one data type are highlighted. Water saturation profiles in concrete are essential to assess its durability and can be determined using non-destructive techniques, especially the electric and the capacitive methods. In this paper, we propose a new inversion scheme where both resistivity and permittivity measurements are inverted jointly to retrieve the saturation profile. The finite element method is used to model the measurements in 3D, the concrete having a saturation profile with depth, represented by a continuous model taking the form of a Weibull curve with four parameters. A non-linear least-squares optimization based on the Levenberg-Marquardt scheme is developed for the inversion of measurements. Results show that information gathered from both measurements enriches the reconstructed profile, leading to a more reliable estimation of saturation profiles. We believe that the joint inversion method herein developed could lead to the study of more complex phenomena, such as the coupled water-chloride ingress.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Quantum state reduction: Generalized bipartitions from algebras of observables

Reduced density matrices are a powerful tool in the analysis of entanglement structure, approximate or coarse-grained dynamics, decoherence, and the emergence of classicality. It is straightforward to produce a reduced density matrix with the partial-trace map by tracing out part of the quantum state, but in many natural situations this reduction may not be achievable. We investigate the general problem of identifying how the quantum state is reduced given a restriction on the observables. For example, in an experimental setting, the set of observables that can actually be measured is usually modest (compared to the set of all possible observables) and their resolution is limited. In such situations, the appropriate state-reduction map can be defined via a generalized bipartition, which is associated with the structure of irreducible representations of the algebra generated by the restricted set of observables. One of our main technical results is a general, not inherently numeric, algorithm for finding irreducible representations of matrix algebras. In our work, we demonstrate the viability of this approach with two examples of limited-resolution observables. The definition of quantum state reductions can also be extended beyond algebras of observables. To accomplish this task we introduce a more flexible notion of bipartition, the partial bipartition, which describes coarse grainings preserving information about a limited set (not necessarily algebra) of observables. We describe a variational method to choose the coarse grainings most compatible with a specified Hamiltonian, which exhibit emergent classicality in the reduced state space. We apply this construction to the concrete example of the one-dimensional Ising model. Our results have relevance for quantum information, bulk reconstruction in holography, and quantum gravity.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Interacting dark sector within ETHOS: Cosmological constraints from SPT cluster abundance with DES and HST weak lensing data

We use galaxy cluster abundance measurements from the South Pole Telescope enhanced by multicomponent matched filter confirmation and complemented with mass information obtained using weak-lensing data from Dark Energy Survey Year 3 (DES Y3) and targeted Hubble Space Telescope observations for probing deviations from the cold dark matter paradigm. Concretely, we consider a class of dark sector models featuring interactions between dark matter (DM) and a dark radiation (DR) component within the framework of the effective theory of structure formation (ETHOS). We focus on scenarios that lead to power suppression over a wide range of scales, and thus can be tested with data sensitive to large scales, as realized, for example, for DM–DR interactions following from an unbroken non-Abelian 𝑆⁢𝑈⁡(𝑁) gauge theory (interaction rate with power-law index 𝑛 = 0 within the ETHOS parametrization). Cluster abundance measurements are mostly sensitive to the amount of DR interacting with DM, parametrized by the ratio of DR temperature to the cosmic microwave background (CMB) temperature, 𝜉 DR = 𝑇 DR /𝑇 CMB . We find an upper limit 𝜉 DR < 17% at 95% credibility. When the cluster data are combined with Planck 2018 CMB data along with baryon acoustic oscillation (BAO) measurements we find 𝜉 DR < 10%, corresponding to a limit on the abundance of interacting DR that is around 3 times tighter than that from CMB + BAO data alone. We also discuss the complementarity of weak lensing informed cluster abundance studies with probes sensitive to smaller scales, explore the impact on our analysis of massive neutrinos, and comment on a slight preference for the presence of a nonzero interacting DR abundance, which enables a physical solution to the 𝑆 8 tension.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2021

SU(4) Chiral Spin Liquid, Exciton Supersolid, and Electric Detection in Moiré Bilayers

We propose a moiré bilayer as a platform where exotic quantum phases can be stabilized and electrically detected. Moiré bilayers consist of two separate moiré superlattice layers coupled through the interlayer Coulomb repulsion. In the small distance limit, an SU(4) spin can be formed by combining layer pseudospin and the real spin. As a concrete example, we study an SU(4) spin model on triangular lattice in the fundamental representation. By tuning a three-site ring exchange term K ~ ( t 3 /U 2 ), we find the SU(4) symmetric crystallized phase and an SU (4) 1 chiral spin liquid at the balanced filling. We also predict two different exciton supersolid phases with interlayer coherence at imbalanced filling under displacement field. Especially, the system can simulate an SU(2) Bose-Einstein condensation by injecting interlayer excitons into the magnetically ordered Mott insulator at the layer polarized limit. Smoking gun evidences of these phases can be obtained by measuring the pseudospin transport in the counterflow channel.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS1975

A study of low cost approaches to scientific experiment implementation for shuttle launched and serviced automated spacecraft

Cost reductions that can be obtained in experiment instrumentation by the use of standardized electronics and by the relaxation of instrument reliability requirements are studied. The feasibility of using standardized equipment for experiment instrumentation is assessed and a system design approach that most effectively incorporates standardized equipment is developed. The level and form of modularization that is appropriate for the standardized equipment is determined. Mission assurance aspects of instrument development are examined to determine the cost reductions that might be derived from the relaxation of reliability requirements and to formulate a systematic approach to the optimization of mission assurance cost reductions. The results of the analyses are applied to a representative model HEAO payload in order to provide a concrete example of the cost reductions that can be achieved by a standardized approach to the instrument electronics.

Source record↗
NASA NTRS1980

Solar heating and domestic hot water system installed at Kansas City, Fire Stations, Kansas City, Missouri

The solar system was designed to provide 47 percent of the space heating, 8,800 square feet area and 75 percent of the domestic hot water (DHW) load. The solar system consists of 2,808 square feet of Solaron, model 2001, air, flat plate collector subsystem, a concrete box storage subsystem which contains 1,428 cubic feet of 0.5 inch diameter pebbles weighing 71.5 tons, a DHW preheat tank, blowers, pumps, heat exchangers, air ducting, controls and associated plumbing. Two 120 gallon electric DHW heaters supply domestic hot water which is preheated by the solar system. Auxiliary space heating is provided by three electric heat pumps with electric resistance heaters and four 30 kilowatt electric unit heaters. There are six modes of system operation.

Source record↗