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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 181 records · Page 10

All sources NASA NTRS DOE OSTI

NASA NTRS1994

Measurement and interpretation of crustal deformation rates associated with postglacial rebound

Analysis of Global Positioning System (GPS) data from two sites separated by horizontal distance of only approximately 2.2 m yielded phase residuals exhibiting a systematic elevation angle dependence. One of the two GPS antennas was mounted on an approximately 1 m high concrete pillar, and the other was mounted on a standard wooden tripod. We performed elevation angle cutoff tests with these data, and established that the vertical coordinate of site position was sensitive to the minimum elevation angle (elevation cutoff) of the data analyzed. For example, the vertical coordinate of site position changed by 9.7 plus or minus 0.8 mm when the minimum elevation angle was increased from 10 to 25. We performed simulations based on a simple (ray tracing) multipath model with a single horizontal reflector, and demonstrated that the elevation angle cutoff test results and the pattern of the residual versus elevation angle could be qualitatively reproduced if the reflector were located 0.1-0.2 m beneath the antenna phase center. We therefore, hypothesized that the source of the elevation-angle-dependent error were multipath reflections and scattering and that the horizontal surface of the pillar, located a distance of approximately 0.2 m beneath the antenna phase center, was the primary reflector. We tested this hypothesis by placing microwave absorbing material between the antenna and the pillar in a number of configurations and analyzed the changes in apparent position of the antenna. The results indicate that (1) the horizontal surface of the pillar is indeed the main reflector, (2) both the concrete and the metal plate embedded in the pillar are significant reflectors, and (3) the reflection can be reduced to a great degree by the use of microwave absorbing materials. These results have significant implications for the accuracy of global GPS geodetic tracking networks which use pillar-antenna configuration identical or similar to the one used here (at the Westford WFRD GPS site).

Davis, James L.↗

NASA NTRS1991

On the Power of Abstract Interpretation

Increasingly sophisticated applications of static analysis place increased burden on the reliability of the analysis techniques. Often, the failure of the analysis technique to detect some information my mean that the time or space complexity of the generated code would be altered. Thus, it is important to precisely characterize the power of static analysis techniques. We follow the approach of Selur et. al. who studied the power of strictness analysis techniques. Their result can be summarized by saying 'strictness analysis is perfect up to variations in constants.' In other words, strictness analysis is as good as it could be, short of actually distinguishing between concrete values. We use this approach to characterize a broad class of analysis techniques based on abstract interpretation including, but not limited to, strictness analysis. For the first-order case, we consider abstract interpretations where the abstract domain for data values is totally ordered. This condition is satisfied by Mycroft's strictness analysis that of Sekar et. al. and Wadler's analysis of list-strictness. For such abstract interpretations, we show that the analysis is complete in the sense that, short of actually distinguishing between concrete values with the same abstraction, it gives the best possible information. We further generalize these results to typed lambda calculus with pairs and higher-order functions. Note that products and function spaces over totally ordered domains are not totally ordered. In fact, the notion of completeness used in the first-order case fails if product domains or function spaces are added. We formulate a weaker notion of completeness based on observability of values. Two values (including pairs and functions) are considered indistinguishable if their observable components are indistinguishable. We show that abstract interpretation of typed lambda calculus programs is complete up to this notion of indistinguishability. We use denotationally-oriented arguments instead of the detailed operational arguments used by Selur et. al.. Hence, our proofs are much simpler. They should be useful for further future improvements.

Reddy, Uday S.↗

NASA NTRS1997

A Model for Space Shuttle Orbiter Tire Side Forces Based on NASA Landing Systems Research Aircraft Test Results

Forces generated by the Space Shuttle orbiter tire under varying vertical load, slip angle, speed, and surface conditions were measured using the Landing System Research Aircraft (LSRA). Resulting data were used to calculate a mathematical model for predicting tire forces in orbiter simulations. Tire side and drag forces experienced by an orbiter tire are cataloged as a function of vertical load and slip angle. The mathematical model is compared to existing tire force models for the Space Shuttle orbiter. This report describes the LSRA and a typical test sequence. Testing methods, data reduction, and error analysis are presented. The LSRA testing was conducted on concrete and lakebed runways at the Edwards Air Force Flight Test Center and on concrete runways at the Kennedy Space Center (KSC). Wet runway tire force tests were performed on test strips made at the KSC using different surfacing techniques. Data were corrected for ply steer forces and conicity.

Carter, John F.↗

NASA NTRS1997

America's Urban Forests: Keeping Our Cities Cool

The additional heating of the air over the city is the result of the replacement of naturally vegetated surfaces with those composed of asphalt, concrete, rooftops and other man-made materials. The temperatures of these artificial surfaces can be 20 to 40 C higher than vegetated surfaces. Materials such as asphalt store much of the sun's energy and remains hot long after sunset. This produces a dome of elevated air temperatures 5 to 8 C greater over the city, compared to the air temperatures over adjacent rural areas. This effect is called the "urban heat island". Tree canopies can reduce the urban heat island effect by dissipating the solar energy received by transpiring water from leaf surfaces which cools the air by taking "heat" from the air to evaporate the water and by shading surfaces like asphalt, roofs, and concrete parking lots which prevents initial heating and storage of heat. It is difficult to take enough temperature measurements over a large city area to characterize the surface temperature variability and quantify the temperature reduction effects of tree canopies. However, the use of remotely sensed thermal data from airborne scanners are ideal for the task. In a study funded by NASA, a series of flights over Huntsville AL were performed in September 1994 and over Atlanta in May 1997. In this article we will examine the techniques of analyzing remotely sensed data for measuring the effect of tree canopies in reducing the urban heat island effect.

Luvall, Jeffrey C.↗

NASA NTRS2002

Galvanic Liquid Applied Coating System for Protection of Embedded Steel Surfaces from Corrosion

The corrosion of reinforcing steel in concrete is an insidious problem for the Kennedy Space Center, government agencies, and the general public. Existing corrosion protection systems on the market are costly, complex, and time-consuming to install, require continuous maintenance and monitoring, and require specialized skills for installation. NASA's galvanic liquid-applied coating offers companies the ability to conveniently protect embedded steel rebar surfaces from corrosion. Liquid-applied inorganic galvanic coating contains one ore more of the following metallic particles: magnesium, zinc, or indium and may contain moisture attracting compounds that facilitate the protection process. The coating is applied to the outer surface of reinforced concrete so that electrical current is established between metallic particles and surfaces of embedded steel rebar; and electric (ionic) current is responsible for providing the necessary cathodic protection for embedded rebar surfaces.

Curran, Joseph↗

NASA NTRS1961

Effect of a Load-Alleviating Structure on the Landing Behavior of a Reentry-Capsule Model

Model tests have been made to determine the landing-impact characteristics of a parachute-supported reentry capsule that had a compliable metal structure as a load-alleviating device. A 1/6-scale dynamic model having compliable aluminum-alloy legs designed to give a low onset rate of acceleration on impact was tested at flight-path angles of 90 degrees ( vertical ) and 35 deg, at a vertical velocity of 30 ft/sec ( full scale), and at contact attitudes of 0 deg and +/-30 deg. Landings were made on concrete, sand, and water. The maximum acceleration encountered was approximately 35g and the maximum onset rate was 2,000 g/sec. on concrete a t the 55 deg flight-path, f30 contact-attitude conditions; therefore, load-alleviating devices on the canister end of the model would be required. To evaluate the scaling characteristics of compliable metal structures, models were tested with 1/4.1-scale and full-scale aluminum-alloy legs. The maximum vertical accelerations and strokes obtained from tests of the 1/4.1-scale and full-scale legs were the same within the recording accuracy of the equipment. Acceleration time histories for the 90 degree flight-path, 0 deg contact-attitude condition were computed and are in good agreement with the experimental results.

Hoffman, Edward L.↗

NASA NTRS2002

Tracking the harmonic response of magnetically-soft sensors for wireless temperature, stress, and corrosive monitoring

This paper describes the application of magnetically-soft ribbon-like sensors for measurement of temperature and stress, as well as corrosive monitoring, based upon changes in the amplitudes of the higher-order harmonics generated by the sensors in response to a magnetic interrogation signal. The sensors operate independently of mass loading, and so can be placed or rigidly embedded inside nonmetallic, opaque structures such as concrete or plastic. The passive harmonic-based sensor is remotely monitored through a single coplanar interrogation and detection coil. Effects due to the relative location of the sensor are eliminated by tracking harmonic amplitude ratios, thereby, enabling wide area monitoring. The wireless, passive, mass loading independent nature of the described sensor platform makes it ideally suited for long-term structural monitoring applications, such as measurement of temperature and stress inside concrete structures. A theoretical model is presented to explain the origin and behavior of the higher-order harmonics in response to temperature and stress. c2002 Elsevier Science B.V. All rights reserved.

Non-NASA Center↗

NASA NTRS2005

In-situ Resource-based Lunar and Martian Habitat Structures Development at NASA/MSFC

As the nation prepares to return to the Moon and subsequently to Mars, it is apparent that the viability of long duration visits with appropriate radiation shielding/crew protection, hinges on the development of habitat structures, preferably in advance of a manned landing, and preferably utilizing in-situ resources. A relatively large number of habitat structure configurations can be developed from a relatively small set of in-situ resource-based construction products, including, blocks, raw regolith, reinforced concrete, and glass products. A much larger group of habitat designs can be developed when "imported" material are brought from Earth, including thin films and liners, and foldable, or expandable metal structures. These, and other technologies have been identified, and subjected to a rigorous trade study evaluation with respect to exploration and other performance criteria. In this paper, results of this trade study will be presented, as well as various habitat structure design concepts and concepts for construction automation. Results of initial tests aimed at concrete, block and glass production using Lunar regolith simulants will also be presented. Key issues and concerns will be discussed, as well as design concepts for a Lunar environment testbed to be developed at MSFC's Microgravity Development Laboratory (MDL).

Bodiford, Melanie P.↗

NASA NTRS2005

In Situ Resource-Based Lunar and Martian Habitat Structures Development at NASA/MSFC

Bodiford, Melanie P.↗

NASA NTRS2005

Composition of Meridiani Hematite-rich Spherules: A Mass-Balance Mixing-Model Approach

One of the great surprises of the Mars Exploration Rovers (MER) mission is the discovery at Meridiani Planum that the surface hematite signature observed from orbit is attributable largely to a surface enrichment of hematite-rich spherules, thought to be concretions, that have weathered out of rocks similar to the underlying sulfate-rich rock formation [1]. A strong hematite signature has been observed by the Mini-TES [2] and by in-situ measurements of spherule-rich targets by the Mossbauer spectrometer (MB) [3] and the alpha-particle X-ray spectrometer (APXS) [4]. The Mini-TES derived spectrum of spherule-rich targets on the plains is consistent with nearly pure coarse-grained hematite, with perhaps as little as 5-10 areal % of other components [2]. The occurrence and abundance of the spherules as the bearer of the widespread hematite signature observed by MGS TES over much of Meridiani Planum is significant for global remote sensing, and their occurrence as concretions in the outcrop lithology is significant for the diagenetic history and role of water in the formation of the sedimentary rock formation [5].

jOLLIFF, b. l.↗

NASA NTRS2007

Model Checking Abstract PLEXIL Programs with SMART

We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

Siminiceanu, Radu I.↗

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↗

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