Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CONCRETES”

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 631 records · Page 35
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis

Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide a survey of some of the new research trends in symbolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input data structures, arrays, as well as multi-threading. We follow with a discussion of abstraction techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision procedures for the application domain. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.

Pasareanu, Corina S.↗
NASA NTRS2009

jFuzz: A Concolic Whitebox Fuzzer for Java

We present jFuzz, a automatic testing tool for Java programs. jFuzz is a concolic whitebox fuzzer, built on the NASA Java PathFinder, an explicit-state Java model checker, and a framework for developing reliability and analysis tools for Java. Starting from a seed input, jFuzz automatically and systematically generates inputs that exercise new program paths. jFuzz uses a combination of concrete and symbolic execution, and constraint solving. Time spent on solving constraints can be significant. We implemented several well-known optimizations and name-independent caching, which aggressively normalizes the constraints to reduce the number of calls to the constraint solver. We present preliminary results due to the optimizations, and demonstrate the effectiveness of jFuzz in creating good test inputs. The source code of jFuzz is available as part of the NASA Java PathFinder. jFuzz is intended to be a research testbed for investigating new testing and analysis techniques based on concrete and symbolic execution. The source code of jFuzz is available as part of the NASA Java PathFinder.

Jayaraman, Karthick↗
NASA NTRS2011

Pad A Main Flame Deflector Sensor Data and Evaluation

Space shuttle launch pads use flame deflectors beneath the vehicle to channel hot gases away from the vehicle. Pad 39 A at the Kennedy Space Center uses a steel structure coated with refractory concrete. The solid rocket booster plume is comprised of gas and molten alumina oxide particles that erodes the refractory concrete. During the beginning of the shuttle program the loads for this system were never validated with a high level of confidence. This paper presents a representation of the instrumentation data collected and follow on materials science evaluation of the materials exposed to the SRB plume. Data collected during STS-133 and STS-134 will be presented that support the evaluation of the components exposed to the SRB plume.

Parlier, Christopher R.↗
NASA NTRS2004

Curing Composite Materials Using Lower-Energy Electron Beams

In an improved method of fabricating composite-material structures by laying up prepreg tapes (tapes of fiber reinforcement impregnated by uncured matrix materials) and then curing them, one cures the layups by use of beams of electrons having kinetic energies in the range of 200 to 300 keV. In contrast, in a prior method, one used electron beams characterized by kinetic energies up to 20 MeV. The improved method was first suggested by an Italian group in 1993, but had not been demonstrated until recently. With respect to both the prior method and the present improved method, the impetus for the use of electron- beam curing is a desire to avoid the high costs of autoclaves large enough to effect thermal curing of large composite-material structures. Unfortunately, in the prior method, the advantages of electron-beam curing are offset by the need for special walls and ceilings on curing chambers to shield personnel from x rays generated by impacts of energetic electrons. These shields must be thick [typically 2 to 3 ft (about 0.6 to 0.9 m) if made of concrete] and are therefore expensive. They also make it difficult to bring large structures into and out of the curing chambers. Currently, all major companies that fabricate composite-material spacecraft and aircraft structures form their layups by use of automated tape placement (ATP) machines. In the present improved method, an electron-beam gun is attached to an ATP head and used to irradiate the tape as it is pressed onto the workpiece. The electron kinetic energy between 200 and 300 keV is sufficient for penetration of the ply being laid plus one or two of the plies underneath it. Provided that the electron-beam gun is properly positioned, it is possible to administer the required electron dose and, at the same time, to protect personnel with less shielding than is needed in the prior method. Adequate shielding can be provided by concrete walls 6 ft (approximately equal to 1.8 m) high and 16 in. (approximately equal to 41 cm) thick, without a ceiling. The success of the present method depends on the use of a cationic epoxy as the matrix material in the prepreg tape, heating the prepreg tape to a temperature of 50 C immediately prior to layup, and exposing the workpiece to an electron-beam dose of approximately 2 Mrad. Experiments have shown that structures fabricated by the present method have the same mechanical properties as those of nominally identical structures fabricated by the prior method with electron beams of 3 to 4 MeV.

Byrne, Catherine A.↗
NASA NTRS2012

Zero-Fidelity Simulation: Engaging Team Coordination without Physical, Functional, or Psychological Re-Creation

Team coordination is essential across domains, enabling efficiency and safety. As technology improves, our temptation is to simulate with ever-higher fidelity, by making simulators re-create reality through their physical interfaces, functionality, and by making participants believe they are undertaking the simulated task. However, high-fidelity simulations often miss salient human-human work practices. We introduce the concept of zero-fidelity simulation (ZFS), a move away from literal high-fidelity mimesis of the concrete environment. ZFS alternatively models cooperation and communication as the basis of simulation. The ZFS Team Coordination Game (TeC) is developed from observation of fire emergency response work practice. We identify ways in which team members are mutually dependent on one another for information, and use these as the basis for the ZFS game design. The design creates a need for cooperation by restricting individual activity and requiring communication. The present research analyzes the design of interdependence in the validated ZFS TeC game. We successfully simulate interdependence between roles in emergency response without simulating the concrete environment.

Toups, Zachary O.↗
NASA NTRS2019

NASA Swamp Works at Kennedy Space Center: Advanced Technology Development

The American Concrete Institution (ACI) Universidad de Cuenca Chapter, from Ecuador, is pleased to inform you that Mr. Rob Mueller, Director of Swamp Works, is invited to our academic event named II International Symposium of Cement and Concrete Technology. The dates of the event are from the 8th to 9th of October 2019 in the Carlos Cueva Tamariz Theater, Cuenca - Ecuador. This event is part of the commencement of the 80 years of institutional life of the Faculty of Engineering and is ideal opportunity to establish connections with the industry and academia.During this experience Senior Technologist Rob Mueller will have the opportunity to speak in two 45 min sessions about The Swamp Works. Topic: The rapid, innovative, and cost-effective exploration mission solutions of NASA.

Mueller, Robert P.↗
NASA NTRSDate not supplied

A Review of Extra-Terrestrial Regolith Excavation Concepts and Prototypes

Regolith is present on many extra-terrestrial bodies, and the crushed rock material it is made of contains many of the resources that are enabling for In-Situ Resource Utilization (ISRU). When extracted these resources can be used to provide consumables such as rocket propellant, human life support, working fluids and gases for industrial processes and feedstocks for manufacturing. In addition, the regolith can also be very beneficial for construction purposes as an aggregate which can be used for construction materials and shielding for radiation protection and micrometeorite impact. Binders for regolith concrete may also be made from geopolymers that may be in the regolith. The regolith can be melted and drawn out into glass fibers and used as reinforcements in a metal, polymer, or concrete matrix. In addition, there is tremendous scientific and geological knowledge that can only be obtained by studying samples of the regolith. However, none of these valuable activities can proceed without first acquiring the regolith granular material with some type of excavation device and method. Excavation is in the critical path of many workflows that will make up the capabilities required to establish a human and robotic presence in our solar system. While scientific in-situ sampling of regolith in small quantities has been achieved since the dawn of the space age in the 1960’s, large scale excavation for mining and construction on extra-terrestrial bodies has only been contemplated for many decades in works of scientific fact and also in fictional stories, but serious development and prototyping of excavation technologies for use in reduced gravity space environments was only started in the late 1990’s.This paper will review and document the evolution of extra-terrestrial excavation concepts and prototypes based on the available literature and the personal experience of the author who has been working on regolith excavation technology development since 1998.

ISRU↗
NASA NTRSDate not supplied

A Review of Extra-Terrestrial Regolith Excavation Concepts and Prototypes

Regolith is present on many extra-terrestrial bodies, and the crushed rock material it is made of contains many of the resources that are enabling for In-Situ Resource Utilization (ISRU). When extracted, these resources can be used to provide consumables such as rocket propellant, human life support, working fluids and gases for industrial processes and feedstocks for manufacturing. In addition, the regolith can also be very beneficial for construction purposes as an aggregate which can be used for construction materials and shielding for radiation protection and micrometeorite impact. Binders for regolith concrete may also be made from geopolymers that may be in the regolith. The regolith can be melted and drawn out into glass fibers and used as reinforcements in a metal, polymer, or concrete matrix. In addition, there is tremendous scientific and geological knowledge that can only be obtained by studying samples of the regolith. However, none of these valuable activities can proceed without first acquiring the regolith granular material with some type of excavation device and method. Excavation is in the critical path of many workflows that will make up the capabilities required to establish a human and robotic presence in our solar system. While scientific in-situ sampling of regolith in small quantities has been achieved since the dawn of the space age in the 1960’s, large scale excavation for mining and construction on extra-terrestrial bodies has only been contemplated, for many decades, but serious development and prototyping of excavation technologies for use in reduced gravity space environments was only started in the late 1990’s. This paper will review and document the evolution of extra-terrestrial excavation concepts and prototypes based on the available literature and the personal experience of the author who has been working on regolith excavation technology development since 1998.

Regolith↗
NASA NTRSDate not supplied

A Review of Extra-Terrestrial Regolith Excavation Concepts and Prototype

Regolith is present on many extra-terrestrial bodies, and the crushed rock material it is made of contains many of the resources that are enabling for In-Situ Resource Utilization (ISRU). When extracted, these resources can be used to provide consumables such as rocket propellant, human life support, working fluids and gases for industrial processes and feedstocks for manufacturing. In addition, the regolith can also be very beneficial for construction purposes as an aggregate which can be used for construction materials and shielding for radiation protection and micrometeorite impact. Binders for regolith concrete may also be made from geopolymers that may be in the regolith. The regolith can be melted and drawn out into glass fibers and used as reinforcements in a metal, polymer, or concrete matrix. In addition, there is tremendous scientific and geological knowledge that can only be obtained by studying samples of the regolith. However, none of these valuable activities can proceed without first acquiring the regolith granular material with some type of excavation device and method. Excavation is in the critical path of many workflows that will make up the capabilities required to establish a human and robotic presence in our solar system. While scientific in-situ sampling of regolith in small quantities has been achieved since the dawn of the space age in the 1960’s, large scale excavation for mining and construction on extra-terrestrial bodies has only been contemplated, for many decades, but serious development and prototyping of excavation technologies for use in reduced gravity space environments was only started in the late 1990’s. This paper will review and document the evolution of extra-terrestrial excavation concepts and prototypes based on the available literature and the personal experience of the author who has been working on regolith excavation technology development since 1998.

Regolith↗
NASA NTRS2024

Hawaiʻi Urban Development: Mapping Urban Infrastructure and Linkages to Wastewater Impacts across Hawaiʻi

Coastal ecosystems and human health across the Hawaiʻian islands are under threat from cesspools and other unpermitted wastewater infrastructure. Cesspools, or home sewage systems that hold wastewater effluent in porous concrete containers underground, discharge raw, untreated sewage directly into waterways. In fact, it is estimated that approximately 88,000 cesspools release 55 million gallons of raw sewage into Hawaiʻi’s waterways each day. Our partners, The Nature Conservancy, Hawaiʻi Regional Office (TNC) and University of Hawaiʻi, Mānoa (UHM), are heavily involved with the implementation and impact of Act 125, which was passed in 2017 by Hawaiʻi State Legislature to help combat these effects. This requires the conversion of cesspools to be upgraded and either converted to approved onsite disposal systems or connected to a sewer system so that the wastewater may be treated and to avoid leaching into the groundwater. Thus, identifying and locating cesspool and other unpermitted wastewater infrastructure is key to state and partner goals. Utilizing NASA Earth observations including Landsat 7 Enhanced Thematic Mapper Plus (ETM+), Landsat 8 Operational Land Imager (OLI), and Landsat 9 OLI-2 imagery, as well as pre-classified Sentinel-2 Multispectral Instrument (MSI) imagery in Esri’s Living Atlas, our team showcased the various perspectives that wastewater pollution research can use to assist in identifying and tracking urban development and concrete condition. This process was demonstrated by utilizing supervised object-based classification models, calculating various urban indices, and finding building size estimates to calculate effluent levels. Additionally, providing our partners with a GIS Methodology that can be built on to reach their future needs.

urban classification↗
DOE OSTI2024

Multi-functional cementitious materials with ultra-high damage tolerance and self-sensing ability

Cementitious materials having high damage tolerance and self-sensing ability are described herein. These materials may replace conventional concrete to serve as a major material component for infrastructure systems with greatly improved resistance to cracking, reinforcement corrosion, and other common deterioration mechanisms under service conditions, and prevents fracture failure under extreme events. These materials can also be used for the repair, retrofitting or rehabilitation of existing concrete structures or infrastructure systems. Furthermore, these materials may offer capacity for distributed and direct sensing of cracking, straining and deterioration with spatially continuous resolution wherever the material is located, without relying on installation of sensors. The present invention relates to multifunctional cementitious structural or infrastructure materials that integrate self-sensing with damage tolerance for improving safety, extending service life, and health monitoring of structures, components, and infrastructure systems.

Li, Mo↗
DOE OSTI2026

Critical Review of Brazil Disk Techniques for Tensile Strength Characterization With an Emphasis on High Explosive Materials

Mechanical properties are a critical performance metric for many high explosive (HE) materials and tensile strength properties are particularly important. Direct tensile measurements using dogbone shaped samples are the gold standard but they have the disadvantage that they are fairly large and require samples machined from billets. Diametral compression, more commonly known as Brazil disk (BD) testing, is an indirect method for measuring tensile strength on smaller and more easily fabricated samples. A review of the BD literature is presented with an emphasis on tensile strength measurements in high explosive materials. BD literature is reviewed in three primary areas: (i) rocks and concrete, (ii) pharmaceutical materials, and (iii) high explosive materials. The literature for rocks/concrete is extensive and dates back over 80 years; despite this there is no consensus on the validity/accuracy of the BD technique or the optimal variant of the BD technique to employ. The pharmaceutical literature is the opposite, being limited in scope and quantity of studies. BD literature on high explosive materials falls in between, not as impressive as in the rocks/concrete community but more substantiative than in the pharmaceutical community. After the review of the literature practical parameters for HE BD testing and recommended future work is discussed.

Brazil disk↗
DOE OSTI2024

Relevant biochar characteristics influencing compressive strength of biochar-cement mortars

To counteract the contribution of CO 2 emissions by cement production and utilization, biochar is being harnessed as a carbon-negative additive in concrete. Increasing the cement replacement and biochar dosage will increase the carbon offset, but there is large variability in methods being used and many researchers report strength decreases at cement replacements beyond 5%. This work presents a reliable method to replace 10% of the cement mass with a vast selection of biochars without decreasing ultimate compressive strength, and in many cases significantly improving it. By carefully quantifying the physical and chemical properties of each biochar used, machine learning algorithms were used to elucidate the three most influential biochar characteristics that control mortar strength: initial saturation percentage, oxygen-to-carbon ratio, and soluble silicon. These results provide additional research avenues for utilizing several potential biomass waste streams to increase the biochar dosage in cement mixes without decreasing mechanical properties.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Effects of organic additives on calcium hydroxide crystallisation during lime slaking

Highlights: • Sucrose and lignosulfonate reduce the crystallite size of Ca(OH){sub 2}. • Lime slaking in sucrose solutions leads to Ca(OH)2 with irregular shape. • Lime slaking in presence of lignosulfonate leads to plate-like Ca(OH){sub 2} crystals. • Effects of additives are enhanced when introduced before slaking. • Additives stabilise the unstable edge faces of Ca(OH){sub 2} during ageing. Organic compounds, often used in cement systems as admixtures, may affect the crystallisation and carbonation kinetics of Ca(OH){sub 2}, an important phase of hydrated cement. Here, we investigated changes in Ca(OH){sub 2} morphology in the presence of 3 organic compounds, commonly encountered in cement and lime-based materials: sucrose, pectin and calcium lignosulfonate. The additives were introduced either before or after lime slaking to determine the influence of temperature. Ca(OH){sub 2} crystals and supernatant solutions were characterised at time of slaking and after 6 months of ageing using scanning electron microscopy, X-ray diffraction and optical emission spectroscopy. Our results indicate that the morphology of Ca(OH){sub 2} crystals is modified by the characteristics of the organic molecules which promote formation of Ca(OH){sub 2} with habits that can result in faster carbonation, an effect that is detrimental to cement used in reinforced concrete. These effects are enhanced when the additives are introduced before slaking, likely as a result of thermal degradation.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Rheological and pumping behaviour of 3D printable cementitious materials with varying aggregate content

3D printing with cementitious materials is an emerging technology and provides an active area of research. Despite this, there are only limited studies that examine the pumping behaviour of high yield stress fluids such as printable concrete. We present a study on the rheological behaviour of 3D printable cementitious materials with different aggregate-to-binder ratios (a/b) and analyse the pumping and printing characteristics with the measured rheological parameters. We observed that an increase in a/b resulted in a significant increase of plastic viscosity, and a nominal increase in yield stress and storage modulus. The variation in plastic viscosity and yield stress with increasing aggregate content was analysed with the Krieger-Dougherty and Chateau-Ovarlez-Trung model, respectively. Also, the rheological properties of the paste rich lubrication layer during pumping were determined with the help of a tribometer. The yield stress and viscous constant of the lubrication layer increase with the increase in a/b. The pumping pressure predictions were carried out by a suitable theoretical model by considering appropriate flow conditions for different mixtures. The variation in critical height of printed elements with an increase in a/b was correlated with the observed rheological parameters.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Robustness of cement-based materials: From dosage variations to yield stress fluctuations

The idea behind the present work is to assess robustness of fresh cement-based materials (i.e. their ability to display the same properties when submitted to variations in the way they are produced) from a generic and analytical point of view. First, analytical models from literature relating components proportions and yield stress are combined into a multi-scale and physical approach and compared to our experimental yield stress measurements. In the second part, the derivation of these analytical relationships is used to assess robustness as a function of components proportions, which allows for the most sensitive variations to be mapped onto component dosage from a yield stress point of view. In the case of fluid concretes, this approach showcases the interest of working at slightly higher water content and slightly lower aggregates fraction along with benefits of viscosity modifying agents / plasticizers combination.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Modeling of aqueous species interaction energies prior to nucleation in cement-based gel systems

Arguably the most ubiquitous construction material in modern civilization, concrete is enabling the development of megacities around the globe together with increasing living standards in developing nations. However, the exact formation mechanisms of the strength-giving calcium-rich gels remain a topic of debate. Using density functional modeling, we simulate the fundamental solution-based building blocks of cement hydrates (calcium ions and silicate and aluminate monomers) and their propensity to form pair-wise complexes with bonding environments characteristic of those found in calcium-silicate-hydrate, calcium-alumino-silicate-hydrate and sodium-containing calcium-alumino-silicate-hydrate gels, as assessed from Gibbs free energies of chemical reactions. By accurately simulating the high pH pore solution chemistry in Portland cements and related systems, along with discrete solvation of the species, we hypothesize potential early age formation routes of the gels and discuss limitations and future work associated with this approach.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Effect of spatial distribution of polymer fibers on preventing spalling of UHPC at high temperatures

Polypropylene (PP) fibers are commonly used for the prevention of thermal spalling of ultra-high performance concrete (UHPC). In this work, the effect of fiber distribution on permeability and spalling resistance is investigated and an analytical model for permeability at 150 °C is proposed. This model, considering the parameters like fiber dimensions, dosage, and percolation, is based on Kozeny-Carman equation. It was found that the percolation of the interconnecting fiber network resulted in a significant increase in permeability of UHPC. X-ray tomography data on the three-dimensional spatial distribution of fibers reiterated that fiber aspect ratio and dosage (and fiber number density) were critical in increasing the fiber connectivity (percolation). It was also found that a vapor permeability of larger than 0.6 × 10{sup −16} m{sup 2} at 150 °C could eliminate spalling. Further, based on a semi-empirical approach, aspect ratio between 300 and 600 was recommended for spalling prevention with a fiber dosage of 0.3–0.4 vol%.

36 MATERIALS SCIENCE↗