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 541 records · Page 30

Spacecraft

In this twentieth century, we are privileged to witness the first steps toward realization of an age-old dream: the exploration of space. Already, in the first few years of the Space Age, man has been able to penetrate the layer of atmosphere which surrounds his planet and to venture briefly into space. Scores of man-made objects have been thrust into space, some of them to roam the solar system forever. Behind each space mission are years of patient research, thousands of man-hours of labor, and large sums of money. Because the sums involved are so enormous, the question is frequently asked, "Is it worth it?" Many people want to know what return this huge investment will bring to mankind. The return on the investment is knowledge. The accumulation of knowledge over the centuries has made possible our advanced way of life. As we unlock more and more of the secrets of the universe through space exploration, we add new volumes to the encyclopedia of man's knowledge. This will be applied to the benefit of mankind. For the practical-minded, there are concrete benefits to our way of life. Although we are still in the Stone Age of space exploration, a number of immediate applications of space technology are already apparent. For instance, imagine the benefits of an absolutely perfect system of predicting the weather. Or, going a step further, even changing the weather. And wouldn't it be fascinating to watch the next Olympic games, telecast from Tokyo, on your TV set? These are just a few of the practical benefits made possible by space technology.

Clark, John F.↗

Diagenetic Mineralogy at Gale Crater, Mars

Three years into exploration of sediments in Gale crater on Mars, the Mars Science Laboratory rover Curiosity has provided data on several modes and episodes of diagenetic mineral formation. Curiosity determines mineralogy principally by X-ray diffraction (XRD), but with supporting data from thermal-release profiles of volatiles, bulk chemistry, passive spectroscopy, and laser-induced breakdown spectra of targeted spots. Mudstones at Yellowknife Bay, within the landing ellipse, contain approximately 20% phyllosilicate that we interpret as authigenic smectite formed by basalt weathering in relatively dilute water, with associated formation of authigenic magnetite as in experiments by Tosca and Hurowitz [Goldschmidt 2014]. Varied interlayer spacing of the smectite, collapsed at approximately 10 A or expanded at approximately 13.2 A, is evidence of localized diagenesis that may include partial intercalation of metal-hydroxyl groups in the approximately 13.2 A material. Subsequent sampling of stratigraphically higher Windjana sandstone revealed sediment with multiple sources, possible concentration of detrital magnetite, and minimal abundance of diagenetic minerals. Most recent sampling has been of lower strata at Mount Sharp, where diagenesis is widespread and varied. Here XRD shows that hematite first becomes abundant and products of diagenesis include jarosite and cristobalite. In addition, bulk chemistry identifies Mg-sulfate concretions that may be amorphous or crystalline. Throughout Curiosity's traverse, later diagenetic fractures (and rarer nodules) of mm to dm scale are common and surprisingly constant and simple in Ca-sulfate composition. Other sulfates (Mg,Fe) appear to be absent in this later diagenetic cycle, and circumneutral solutions are indicated. Equally surprising is the rarity of gypsum and common occurrence of bassanite and anhydrite. Bassanite, rare on Earth, plays a major role at this location on Mars. Dehydration of gypsum to bassanite in the dry atmosphere of Mars has been proposed but considered unlikely based on lab studies of dehydration kinetics in powdered samples. Dehydration is even less likely for bulk vein samples, as lab data show dehydration rates one to two orders of magnitude slower in bulk samples than in powders. On Mars, exposure ages of 100 Ma or more may be a significant factor in dehydration of hydrous phases.

Vaniman, David↗

Aram Chaos: a Long Lived Subsurface Aqueous Environment with Strong Water Resources Potential for Human Missions on Mars

Aram Chaos, Mars is a crater 280 kilometers in diameter with elevations circa. minus 2 to minus 3 kilometers below datum that provides a compelling landing site for future human explorers as it features multiple scientific regions of interest (ROI) paired with a rich extensible Resource ROI that features poly-hydrated sulfates [1]. The geologic history of Aram Chaos suggests several past episodes of groundwater recharge and infilling by liquid water, ice, and other materials [1-3]. The creation of the fractured region with no known terrestrial equivalent may have been caused by melting of deep ice reservoirs that triggered the collapse of terrain followed by catastrophic water outflows over the region. Aram Chaos is of particular scientific interest because it is hypothesized that the chaotic terrain may be the source of water that contributed to the creation of nearby valleys such as Ares Vallis flowing toward Chryse Planitia. The liquid water was likely sourced as groundwater and therefore represents water derived from a protected subsurface environment making it a compelling astrobiological site [2]. The past history of water is also represented by high concentrations of hematite, Fe-oxyhydroxides, mono-hydrated and poly-hydrated sulfates [1, 2]. Poly-hydrated sulfates are likely to contain abundant water that evolves at temperatures below 500 degrees Centigrade thus conferring Aram Chaos a potentially high value for early in-situ resource utilization (ISRU) [4]. The geologic history also calls for future prospecting of deep ice deposits and possibly liquid water via deep drilling. The most recent stratigraphic units in the central part of Aram Chaos are not fractured, and are part of a dome-shaped formation that features bright, poorly-consolidated material that contains both hydrated sulfates and ferric oxides according to OMEGA (Observatoire pour la Minéralogie, l'Eau, les Glaces et l'Activité) data [5]. These surface material characteristics are preliminary indications of their potential use in civil engineering activities that involve regolith moving and hauling, while further study is needed to assess traverse-ability challenges. The widespread distribution of sulfates is also of interest as a resource for the use of sulfur as a binding compound in regolith-based concrete for constructions. The terrain depressions caused by the rock fracturing events may challenge surface mobility but also suggest the possibility of using such natural features for additional shielding from space radiation and as emplacement of nuclear surface power reactors for the same reason. The high concentration of hematite (up to 16 percent) in some of the smoother recent terrains of the central part of Aram Chaos [2] is a favorable attribute for metal extraction ISRU to create iron-based feedstock for in-situ fabrication of replacement parts or their repairs. Preliminary data on Aram Chaos indicate that it offers a combination of many critical criteria for human missions to the surface of Mars: equatorial region at low Mars Orbiter Laser Altimeter (MOLA), evidence of hydrated minerals over large areas and at high concentrations tied to historic evidence of liquid water over long periods.

Sibille, L.↗

A Full-Scale Fire Program to Evaluate New Furnishings and Textile Materials Developed by the National Aeronautics and Space Administration

The plans for the present series of full-scale experimental fires were initiated at the suggestion of NASA following the presentation of a film and discussion illustrating Battelle-Columbus' recent work in fire research. That film showed bedroom-type fires carried out as a part of a program to determine the influence of the cyclic characteristics of real fires under limited ventilation on the burning and pyrolysis properties of the room furnishings. A new series of fires was suggested by NASA designed to show the performance of new fire resistant and fire retardant materials by providing comparative fire and smoldering environmental conditions. More recently, the goal for the new series of fires was written in a meeting with NASA personnel and others at Battelle on May 3 and 4, 1972. The goal was as follows: To establish the need for special materials of improved fire safety in domiciliary settings of public concern, and to assess, in a professionally acceptable manner, the potential of materials arising from the new space-age technology for this purpose. It was anticipated that some new materials arising from the space-age technology and not yet available through conventional commercial channels might provide significant improvements in fire safety if the best of the commercially available materials showed important shortcomings in this area. It was the intent of this program to assess the benefits that could accrue from the use of these new materials. Fire safety is a matter requiring the evaluation of a number of factors. For example, fire resistance and fire spread, visibility during the fire, toxicity of evolved gases, and the fire-fighting problem that is created must be evaluated before the relative hazard can be assessed. The plan of the program provided for sampling and instrumentation to evaluate these factors, consistent with the goal of technological utilization that has been specified. Arrangements were made with the Columbus Fire Department to use an existing six-story concrete building', designed and used as a fire training tower, as the site for the experimental fires. The visual evidence provided by TV and photographic coverage of the four experimental room fires showed clearly that the rooms responded very differently to a common ignition condition. In particular: (1) The Typical room, furnished from conventional retail sources, ignited easily and burned rapidly so that after 8 minutes the contents of the room were nearly destroyed. (2) The Improved room, furnished with materials selected as being among the best commercially available, showed substantial improvement over the Typical room in that there was slower fire spread. However, the relatively complete destruction of the room contents that resulted, and the large amounts of smoke, made it clear that substantial further improvements were needed. This fire was stopped after 29 minutes. (3) The Space-age room, furnished completely with new materials that were not yet commercially available, did not ignite under the common ignition condition and soon demonstrated the substantial improvement in fire resistance available for those components close to the ignition source. A second and larger ignition arrangement showed that this room can burn, but the difficulty with which this was brought about confirmed the improved fire resistance available with use of these materials. (4) The Mixed room ensemble, furnished with 'materials identical to the Typical room except for the substitution of the bed from the Space-age room, illustrated the improvement in control of fire spread available by careful placement of fire materials in the important paths of fire development of an otherwise ordinary room. The most significant hazards at early times in each fire were due to the rapid rise in heat flux and the abrupt obscuration of vision by smoke. The most consistent toxicity hazard was due to CO and its importance would depend on the ability of the occupant to survive the initial heat and smoke menace which characterized each fire room. Other gases and vapors were shown to reach hazardous levels in certain fire rooms and, again, their significance to an occupant, would relate to the times in which such hazards occurred, and probably to the synergistic nature of the hazard arising from mixtures of such gases. Fire retardant items in the room are caused to pyrolyze by the heat of burning from other items in the room and so contribute to combustible and toxic vapor accumulations, even though they may not have entered into the burning process. This effect of a mixture of combustible materials to produce burning and pyrolysis not characteristic of any one item individually we have chosen to call the "ensemble effect". Further full-scale fire trials may be expected to show the significant changes that control the burning and pyrolytic processes and in that event a programmed fire chamber should be developed to yield realistic laboratory results.

Hillenbrand, L. J.↗

Life Support and Environmental Monitoring International System Maturation Team Considerations.

Human exploration of the solar system is an ambitious goal. Future human missions to Mars or other planets will require the cooperation of many nations to be feasible. Exploration goals and concepts have been gathered by the International Space Exploration Coordination Group (ISECG) at a very high level, representing the overall goals and strategies of each participating space agency. The Global Exploration Roadmap published by ISECG states that international partnerships are part of what drives the the mission scenarios. It states "Collaborations will be established at all levels (missions, capabilities, technologies), with various levels of interdependency among the partners." To make missions with interdependency successful, technologists and system experts need to share information early, before agencies have made concrete plans and binding agreements. This paper provides an overview of possible ways of integrating NASA, ESA, and JAXA work into a conceptual roadmap of life support and environmental monitoring capabilities for future exploration missions. Agencies may have immediate plans as well as long term goals or new ideas that are not part of official policy. But relationships between plans and capabilities may influence the strategies for the best ways to achieve partner goals. Without commitments and an organized program like the International Space Station, requirements for future missions are unclear. Experience from ISS has shown that standards and an early understanding of requirements are an important part of international partnerships. Attempting to integrate systems that were not designed together can create many problems. Several areas have been identified that could be important to discuss and understand early: units of measure, cabin CO2 levels, and the definition and description of fluids like high purity oxygen, potable water and residual biocide, and crew urine and urine pretreat. Each of the partners is exploring different kinds of technologies. Different specific parameters may important to define or explore possible ranges depending on the system concepts. Early coordination between technology developers can create new possibilities for collaboration, and provide input to determine what combined options may provide the best overall system architecture.

Anderson, Molly↗

NASA Fuel Tank Wireless Power and Signal Study

Hydro Technologies has developed a custom electronics and mechanical framework for interfacing with off-the-shelf sensors to achieve through barrier sensing solutions. The core project technology relies on Hydro Technologies Wireless Power and Signal Interface (Wi psi) System for transmitting data and power wirelessly using magnetic fields. To accomplish this, Wi psi uses a multi-frequency local magnetic field to produce magnetic fields capable of carrying data and power through almost any material such as metals, seawater, concrete, and air. It will also work through layers of multiple materials.

Merrill, Garrick↗

Lithium in Open Cluster Red Giants Hosting Substellar Companions

We have measured stellar parameters, [Fe/H], lithium abundances, rotation, and (12)C/13C in a small sample of red giants (RGs) in three open clusters that are each home to a RG star that hosts a substellar companion (SSC) (NGC 2423 3, NGC 4349 127, and BD+12 1917 in M67). Our goal is to explore whether the presence of SSCs influences the Li content. Both (12)C/13C and stellar rotation are measured as additional tracers of stellar mixing. One of the companion hosts, NGC 24233, is found to be Li-rich with A(Li)(sub NLTE) = 1.56 dex, and this abundance is significantly higher than the A(Li) of the two comparison stars in NGC 2423. All three SSC hosts have the highest A(Li) and (12)C/13C when compared to the control RGs in their respective clusters; however, except for NGC 24233, at least one control star has similarly high abundances within the uncertainties. Higher A(Li) could suggest that the formation or presence of planets plays a role in the degree of internal mixing on or before the RG branch. However, a multitude of factors affect A(Li) during the RG phase, and when the abundances of our sample are compared with the abundances of RGs in other open clusters available in the literature, we find that they all fall well within a much larger distribution of A(Li) and (12)C/13C. Thus, even the high Li in NGC 2423 3 cannot be concretely tied to the presence of the SSC.

stellar parameters↗

Life Support and Environmental Monitoring International System Maturation Team Considerations

Human exploration of the solar system is an ambitious goal. Future human missions to Mars or other planets will require the cooperation of many nations to be feasible. Exploration goals and concepts have been gathered by the International Space Exploration Coordination Group (ISECG) at a very high level, representing the overall goals and strategies of each participating space agency. The Global Exploration Roadmap published by ISECG states that international partnerships are part of what drives the mission scenarios. It states "Collaborations will be established at all levels (missions, capabilities, technologies), with various levels of interdependency among the partners." To make missions with interdependency successful, technologists and system experts need to share information early, before agencies have made concrete plans and binding agreements. This paper provides an overview of possible ways of integrating NASA, ESA, and JAXA work into a conceptual roadmap of life support and environmental monitoring capabilities for future exploration missions. Agencies may have immediate plans as well as long term goals or new ideas that are not part of official policy. But relationships between plans and capabilities may influence the strategies for the best ways to achieve partner goals. Without commitments and an organized program like the International Space Station, requirements for future missions are unclear. Experience from ISS has shown that standards and an early understanding of requirements are an important part of international partnerships. Attempting to integrate systems that were not designed together can create many problems. Several areas have been identified that could be important to discuss and understand early: units of measure, cabin CO2 levels, and the definition and description of fluids like high purity oxygen, potable water and residual biocide, and crew urine and urine pretreat. Each of the partners is exploring different kinds of technologies. Different specific parameters may important to define or explore possible ranges depending on the system concepts. Early coordination between technology developers can create new possibilities for collaboration, and provide input to determine what combined options may provide the best overall system architecture.

Anderson, Molly↗

The Development of Two Composite Energy Absorbers for Use in a Transport Rotorcraft Airframe Crash Testbed (TRACT 2) Full-Scale Crash Test

Two composite energy absorbers were developed and evaluated at NASA Langley Research Center through multi-level testing and simulation performed under the Transport Rotorcraft Airframe Crash Testbed (TRACT) research program. A conical-shaped energy absorber, designated the conusoid, was evaluated that consisted of four layers of hybrid carbon-Kevlar plain weave fabric oriented at [+45deg/-45deg/-45deg/+45deg] with respect to the vertical direction. A sinusoidal-shaped energy absorber, designated the sinusoid, was developed that consisted of hybrid carbon-Kevlar plain weave fabric face sheets, two layers for each face sheet oriented at +/-45deg with respect to the vertical direction, and a closed-cell ELFOAM P200 polyisocyanurate (2.0-lb/cu ft) foam core. The design goal for the energy absorbers was to achieve average floor-level accelerations of between 25- and 40-g during the full-scale crash test of a retrofitted CH-46E helicopter airframe, designated TRACT 2. Variations in both designs were assessed through dynamic crush testing of component specimens. Once the designs were finalized, subfloor beams of each configuration were fabricated and retrofitted into a barrel section of a CH-46E helicopter. A vertical drop test of the barrel section was conducted onto concrete to evaluate the performance of the energy absorbers prior to retrofit into TRACT 2. The retrofitted airframe was crash tested under combined forward and vertical velocity conditions onto soft soil. Finite element models were developed of all test articles and simulations were performed using LS-DYNA, a commercial nonlinear explicit transient dynamic finite element code. Test-analysis results are presented for each energy absorber as comparisons of time-history responses, as well as predicted and experimental structural deformations and progressive damage under impact loading for each evaluation level.

Littell, Justin D.↗

Impact Testing and Simulation of a Sinusoid Foam Sandwich Energy Absorber

A sinusoidal-shaped foam sandwich energy absorber was developed and evaluated at NASA Langley Research Center through multi-level testing and simulation performed under the Transport Rotorcraft Airframe Crash Testbed (TRACT) research project. The energy absorber, designated the "sinusoid," consisted of hybrid carbon- Kevlar® plain weave fabric face sheets, two layers for each face sheet oriented at +/-45deg with respect to the vertical or crush direction, and a closed-cell ELFOAM(TradeMark) P200 polyisocyanurate (2.0-lb/ft3) foam core. The design goal for the energy absorber was to achieve an average floor-level acceleration of between 25- and 40-g during the full-scale crash test of a retrofitted CH-46E helicopter airframe, designated TRACT 2. Variations in the design were assessed through quasi-static and dynamic crush testing of component specimens. Once the design was finalized, a 5-ft-long subfloor beam was fabricated and retrofitted into a barrel section of a CH-46E helicopter. A vertical drop test of the barrel section was conducted onto concrete to evaluate the performance of the energy absorber prior to retrofit into TRACT 2. Finite element models were developed of all test articles and simulations were performed using LSDYNA ®, a commercial nonlinear explicit transient dynamic finite element code. Test analysis results are presented for the sinusoid foam sandwich energy absorber as comparisons of load-displacement and acceleration-time-history responses, as well as predicted and experimental structural deformations and progressive damage for each evaluation level (component testing through barrel section drop testing).

Jackson, Karen E.↗

Low Temperature Regolith Bricks for In-Situ Structural Material

Current technology for producing in-situ structural materials on future missions to Mars or the moon relies heavily on energy-intensive sintering processes to produce solid bricks from regolith. This process requires heating the material up to temperatures in excess of 1000 C and results in solid regolith pieces with compressive strengths in the range of 14000 to 28000 psi, but are heavily dependent on the porosity of the final material and are brittle. This method is currently preferred over a low temperature cementation process to prevent consumption of precious water and other non-renewable materials. A high strength structural material with low energy requirements is still needed for future colonization of other planets. To fulfill these requirements, a nano-functionalization process has been developed to produce structural bricks from regolith simulant and shows promising mechanical strength results. Functionalization of granular silicate particles into alkoxides using a simple low temperature chemical process produces a high surface area zeolite particles that are held together via inter-particle oxygen bonding. Addition of water in the resulting zeolite particles produces a sol-gel reaction called "inorganic polymerization" which gives a strong solid material after a curing process at 60 C. The aqueous solution by-product of the reaction is currently being investigated for its reusability; an essential component of any ISRU technology. For this study, two batches of regolith bricks are synthesized from JSC-1A; the first batch from fresh solvents and chemicals, the second batch made from the water solution by-product of the first batch. This is done to determine the feasibility of recycling necessary components of the synthesis process, mainly water. Characterization including BET surface area, SEM, and EDS has been done on the regolith bricks as well as the constituent particles,. The specific surface area of 17.53 sq m/g (average) of the granular regolith material was obtained from nitrogen adsorption isotherm measurement. The size, shape and textures of regolith from SEM shows that the particles are 25-50 micrometers in size and mostly irregular in shape (Figure 1a). The elemental composition of regolith was identified from EDS analysis showed the presence of Si, Al, Fe, Na, Mg, Ca, Ti, O and C (see figure 1b). Each set of cylindrical brick samples were prepared by low energy process, and cured for 21 and 28 days, respectively to compare their compressive strength. Figure 1c, and d shows the JSC-1A brick and the compressive strength measurements. The results from the 21 day cured bricks (2 bricks) have been done and yielded an aver-age strength of 3050 psi, considerably higher than Portland cement mortars (Type IV and V). This promising technology provides the benefits of construction material similar to concrete, with a low complexity, low energy synthesis process and the likelihood of complete reusability of precious resources. Compressive strength using this method can be improved by increasing the surface area of the particles, using bi-modal particle size distribution, and adding certain additives to increase inter-particle forces.

ISRU↗

Well Abandonment at Various Sites, John F. Kennedy Space Center, Florida

Between January 29 and March 9, 2016, a total of 23 monitoring wells were properly abandoned-in-place at five KSC sites (OPF-1&2, OPF-3, RDG, SRB, and HSB). The total abandonment encompassed 489.06 linear feet. The wells abandoned were constructed of PVC with diameters ranging from 1-inch to 2-inches. The shallowest well abandoned was measured to be 11.6 ft bls (OPF) and the deepest well abandoned was documented to be 51.45 feet bls (HSB). All aboveground completions were removed and each area was re-graded and/or grouted to surface to match existing surroundings. All materials (concrete pads, well casings, etc.) were disposed of accordingly.

MW↗

Finite Element Simulation of Three Full-Scale Crash Tests for Cessna 172 Aircraft

The NASA Emergency Locator Transmitter Survivability and Reliability (ELT-SAR) project was initiated in 2013 to assess the crash performance standards for the next generation of emergency locator transmitter (ELT) systems. Three Cessna 172 aircraft were acquired to perform crash testing at NASA Langley Research Center's Landing and Impact Research Facility. Full-scale crash tests were conducted in the summer of 2015 and each test article was subjected to severe, but survivable, impact conditions including a flare-to-stall during emergency landing, and two controlled-flight-into-terrain scenarios. Full-scale finite element analyses were performed using a commercial explicit solver, ABAQUS. The first test simulated impacting a concrete surface represented analytically by a rigid plane. Tests 2 and 3 simulated impacting a dirt surface represented analytically by an Eulerian grid of brick elements using a Mohr-Coulomb material model. The objective of this paper is to summarize the test and analysis results for the three full-scale crash tests. Simulation models of the airframe which correlate well with the tests are needed for future studies of alternate ELT mounting configurations.

Mason, Brian H.↗

Hypervelocity Impact Testing of Materials for Additive Construction: Applications on Earth, the Moon, and Mars

Additive Construction is the process of building infrastructure such as habitats, garages, roads, berms, etcetera layer by layer (3D printing). The National Aeronautics and Space Administration (NASA) and the United States Army Corps of Engineers (USACE) are pursuing additive construction to build structures using resources available in-situ. Using materials available in-situ reduces the cost of planetary missions and operations in theater. The NASA team is investigating multiple binders that can be produced on planetary surfaces, including the magnesium oxide-based Sorel cement; the components required to make Ordinary Portland Cement (OPC), the common cement used on Earth, have been found on Mars. The availability of OPC-based concrete on Earth drove the USACE to pursue additive construction for base housing and barriers for military operations. Planetary and military base structures must be capable of resisting micrometeoroid impacts with velocities ranging from 11 to 72km/s for particle sizes 200 micrometers or more (depending on protection requirements) as well as bullets and shrapnel with a velocity of 1.036km/s with projectiles 5.66mm diameter and 57.40mm in length, respectively.

Hypervelocity Impact↗

Promise and Progress of Millihertz Gravitational-Wave Astronomy

Extending the new field of gravitational wave (GW) astronomy into the millihertz band with a space-based GW observatory is a high-priority objective of international astronomy community. This paper summarizes the astrophysical promise and the technological groundwork for such an observatory, concretely focusing on the prospects for the proposed Laser Interferometer Space Antenna (LISA) mission concept.

gravitational wave (GW) astronomy↗

In Situ Air Temperature and Humidity Measurements Over Diverse Land Covers in Greenbelt, Maryland, November 2013-November 2015

As our climate changes through time there is an ever-increasing need to quantify how and where it is changing so that mitigation strategies can be implemented. Urban areas have a disproportionate amount of warming due, in part, to the conductive properties of concrete and asphalt surfaces, surface albedo, heat capacity, lack of water, etc. that make up an urban environment. The NASA Climate Adaptation Science Investigation working group at Goddard Space Flight Center in Greenbelt, MD, conducted a study to collect temperature and humidity data at 15 min intervals from 12 sites at the center. These sites represent the major surface types at the center: asphalt, building roof, grass field, forest, and rain garden. The data show a strong distinction in the thermal properties of these surfaces at the center and the difference between the average values for the center compared to a local meteorological station. The data have been submitted to Oak Ridge National Laboratory Distributed Active Archive Center (ORNL-DAAC) for archival in comma separated value (csv) file format (Carroll et al.,2016) and can be found by following this link: http:daac.ornl.govcgi-bindsviewer.pl?ds_id1319.

Carroll, Mark L.↗

Microgravity Investigation of Cement Solidification

Concrete is the most widely used man-made material in the world, second only to water. The large-scale production of cements contributes to approximately 5% anthropogenic CO2 emission. Microgravity research can lead to more durable and hence more cost-effective material.

Neves, Juliana↗

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

This paper introduces a static analysis technique for computing formally verified round-off error bounds of floating-point functional expressions. The technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-o errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verified numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-o Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.

Moscato, Mariano↗