SEARCH · Engineering Papers

Results for “CONCRETE”

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 1,333 records · Page 74

All sources NASA NTRS DOE OSTI

NASA NTRS1992

NASA Marshall Space Flight Center Solar Observatory report, July - December 1991

A summary is given of the solar vector magnetic field, H-alpha, and white light observations made at the NASA/Marshall Space Flight Center (MSFC) Solar Observatory during its daily periods of observation. The MSFC Solar Observatory facilities consist of the Solar Magnetograph, an f-13, 30 cm Cassegrain system with a 3.5 cm image of the Sun housed on top of a 12.8 meter tower, a 12.5 cm Razdow H-alpha telescope housed at the base of the tower, an 18 cm Questar telescope with a full aperture white-light filter mounted at the base of the tower, a 30 cm Cassegrain telescope located in a second metal dome, and a 16.5 cm H-alpha telescope mounted on the side of the Solar Vector Magnetograph. A concrete block building provides office space, a darkroom for developing film and performing optical testing, a workshop, video displays, and a computer facility for data reduction.

Smith, James E.↗

NASA NTRS1992

Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor

Consider a network of four processors that use the Oral Messages (Byzantine Generals) Algorithm of Pease, Shostak, and Lamport to achieve agreement in the presence of faults. Bevier and Young have published a functional description of a single processor that, when interconnected appropriately with three identical others, implements this network under the assumption that the four processors step in synchrony. By formalizing the original Pease, et al work, Bevier and Young mechanically proved that such a network achieves fault tolerance. We develop, formalize, and discuss a hardware design that has been mechanically proven to implement their processor. In particular, we formally define mapping functions from the abstract state space of the Bevier-Young processor to a concrete state space of a hardware module and state a theorem that expresses the claim that the hardware correctly implements the processor. We briefly discuss the Brock-Hunt Formal Hardware Description Language which permits designs both to be proved correct with the Boyer-Moore theorem prover and to be expressed in a commercially supported hardware description language for additional electrical analysis and layout. We briefly describe our implementation.

Moore, J. Strother↗

NASA NTRS1992

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

In this paper we present a formal model of asynchronous communication as a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into the signal stream consumed by an independently clocked processor. This transformation 'blurs' edges and 'dilates' time due to differences in the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on asynchronous communications at ISO protocol level 1 (physical level). We develop part of the reusable formal theory that permits the convenient application of the model. We use the theory to show that a biphase mark protocol can be used to send messages of arbitrary length between two asynchronous processors. We study two versions of the protocol, a conventional one which uses cells of size 32 cycles and an unconventional one which uses cells of size 18. We conjecture that the protocol can be proved to work under our model for smaller cell sizes and more divergent clock rates but the proofs would be harder.

Moore, J. Strother↗

NASA NTRS1991

Using space resources

The topics covered include the following: reducing the cost of space exploration; the high cost of shipping; lunar raw materials; some useful space products; energy from the moon; ceramic, glass, and concrete construction materials; mars atmosphere resources; relationship to the Space Exploration Initiative (SEI); an evolutionary approach to using space resources; technology development; and oxygen and metal coproduction.

Sullivan, Thomas A.↗

NASA NTRS1992

A Center for Extraterrestrial Engineering and Construction (CETEC)

A group of knowledgeable scientists and engineers in New Mexico has recognized the need for such a testing capability and has proposed a project to evelop an extraterrestrial surface simulation facility. A group of universities, national laboratories, and private industrial firms is proposing to establish a Center for Extraterrestrial Engineering and Construction (CETEC) and to develop large extraterrestrial surface simulation facilities in which this needed testing can be realistically performed. The CETEC is envisioned to be both a center of knowledge and data regarding engineering, construction, mining, and material process operations on extraterrestrial bodies and a set of extraterrestrial surface simulation facilities. The primary CETEC facility is proposed to be a large domed building made of steel reinforced concrete with more than one acre of test floor area covered with several feet of simulated lunar soil and dust. Various aspects of the project are presented in viewgraph form.

Leigh, Gerald G.↗

NASA NTRS1992

The implantation of life on Mars - Feasibility and motivation

Scientific concepts are reviewed regarding the potential formation and development of a life-bearing environment on Mars, and a potential ecopoiesis scenario is given. The development of the earth's biosphere is defined, and the major assumptions related to the formation of Martian life are listed. Three basic phases are described for the life-implantation concept which include determining whether sufficient quantities of volatiles are available, engineering the warming of the planet, and implanting microbial communities if necessary. Warming the planet theoretically releases liquid H2O and produces a thick CO2 atmosphere, and the implantation of biological communities is only necessary if no indigenous microbes emerge. It is concluded that a feasibility study is required to assess the possibilities of implanting life on Mars more concretely.

Haynes, Robert H.↗

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

NASA NTRS1991

Runway drainage characteristics related to tire friction performance

The capability of a runway pavement to rapidly drain water buildup during periods of precipitation is crucial to minimize tire hydroplaning potential and maintain adequate aircraft ground operational safety. Test results from instrumented aircraft, ground friction measuring vehicles, and NASA Langley's Aircraft Landing Dynamics Facility (ALDF) track have been summarized to indicate the adverse effects of pavement wetness conditions on tire friction performance. Water drainage measurements under a range of rainfall rates have been evaluated for several different runway surface treatments including the transversely grooved and longitudinally grinded concrete surfaces at the Space Shuttle Landing Facility (SLF) runway at NASA Kennedy Space Center in Florida. The major parameters influencing drainage rates and extent of flooding/drying conditions are identified. Existing drainage test data are compared to a previously derived empirical relationship and the need for some modification is indicated. The scope of future NASA Langley research directed toward improving empirical relationships to properly define runway drainage capability and consequently, enhance aircraft ground operational safety, is given.

Yager, Thomas J.↗

NASA NTRS1992

Space resources. Volume 3: Materials

Space Resources addresses the issues of using space resources to support life on the Moon and for exploration of Mars. This volume - Materials - covers a number of technical and policy issues regarding the materials in space (mainly lunar and asteroidal) which can be used to support space operations. In part 1, nature and location of these materials, exploration strategy, evaluation criteria, and the technical means to collect or mine these materials is discussed. A baseline lunar mine and the basics of asteroid mining are presented and critiqued. In part 2, the beneficiation of ores and the extraction of such materials as oxygen, metals, and the makings of concrete are discussed. In part 3, the manufacturing and fabrication of nonterrestrial products are discussed. The economic tradeoffs between bringing needed products from Earth and making these products on location in space is considered.

Mckay, Mary Fae↗

NASA NTRS1992

Shuttle flight experiment preliminary proposal: Demonstration of welding applications in space

In June 1991 work was initiated at MSFC on an end-effector for 'Robotic Assembly of Welded Truss Structures in Space'. The case for welded joint assembly on orbit was discussed in the 1991 SFFP Final Report 'D'. Data drawn from Aerobrake studies (supported by the ISAAC program) allowed the more detailed investigations that accompany a design with relatively concrete goals. This principle guides current efforts to develop scenarios that further demonstrate the utility of welding for space construction and/or repair.

Brewer, William V.↗

NASA NTRS1993

The uncertainty principle in resonant gravitational wave antennae and quantum non-demolition measurement schemes

A review on the current efforts to approach and to surpass the fundamental limit in the sensitivity of the Weber type gravitational wave antennae is reported. Applications of quantum non-demolition techniques to the concrete example of an antenna resonant with the transducer are discussed in detail. Analogies and differences from the framework of the squeezed states in quantum optics are discussed.

Fortini, Pierluigi↗

NASA NTRS1993

Phase space localization for anti-de Sitter quantum mechanics and its zero curvature limit

Using techniques of geometric quantization and SO(sub 0)(3,2)-coherent states, a notion of optimal localization on phase space is defined for the quantum theory of a massive and spinning particle in anti-de Sitter space time. It is shown that this notion disappears in the zero curvature limit, providing one with a concrete example of the regularizing character of the constant (nonzero) curvature of the anti-de Sitter space time. As a byproduct a geometric characterization of masslessness is obtained.

Elgradechi, Amine M.↗

NASA NTRS1993

Generation and exploration of aggregation abstractions for scheduling and resource allocation

This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

Lowry, Michael R.↗

NASA NTRS1992

Photon escape probabilities from resolved sources - Application to solar C III limb emission

Monodirectional effective escape probabilities, involving line-of-sight-integrated escape factors, are calculated for the highly anisotropic source represented by C III emission at the solar limb as a concrete example of the application of such probabilities. Predicted intensity variations of C III lines with limb distance are obtained using a spherical shell model, showing several interesting features which may be observable with appropriate instruments. Among these are expected enhancements of extreme ultraviolet lines at 884.5 and 1308.7 A, and local limb-brightening and limb-darkening effects in optically thick lines, which may provide sensitive constraints on the solar C III emission distribution. Comparisons are made with available observations.

Kastner, S. O.↗

NASA NTRS1991

The inclusion of L sup p(mu) in L sup q(nu)

A theorem (the so-called main theorem) for the validity of the inclusion L sup p(mu) in L sup q(nu) is given, and proved by an application of the closed graph theorem. The main theorem is then applied to some interesting special cases, and concrete results are obtained including different versions of the results of Subramanian (1978) and Romero (1983).

Miamee, A. G.↗

NASA NTRS1955

An Experimental Study of Applied Ground Loads in Landing

Results are presented of an experimental investigation made of the applied ground loads and the coefficient of friction between the tire and the ground during the wheel spin-up process in impacts of a small landing gear under controlled conditions on a concrete landing strip in the Langley impact basin. The basic investigation included three major phases: impacts with forward speed at horizontal velocities up to approximately 86 feet per second, impacts with forward speed and reverse wheel rotation to simulate horizontal velocities up to about 273 feet per second, and spin-up drop tests for comparison with the other tests. In addition to the basic investigation, supplementary tests were made to evaluate the drag-load alleviating effects of prerotating the wheel before impact so as to reduce the relative velocity between the tire and ground. In the presentation of the results, an attempt has been made to interpret the experimental data so as to obtain some insight into the physical phenomena involved in the wheel spin-up process.

Milwitzky, Benjamin↗

NASA NTRS1993

The uncertainty principle in resonant gravitational wave antennae and quantum non-demolition measurement schemes

A review of current efforts to approach and to surpass the fundamental limit in the sensitivity of the Weber type gravitational wave antennae is reported. Applications of quantum non-demolition techniques to the concrete example of an antenna resonant with the transducer are discussed in detail. Analogies and differences from the framework of the squeezed states in quantum optics are discussed.

Fortini, Pierluigi↗

NASA NTRS1993

Cold press sintering of simulated lunar basalt

In order to predict the conditions for which the lunar regolith may be adequately sintered, experiments were conducted in which samples of simulated lunar basalt (MLS-1) were pressed at high pressures and then heated in an electric furnace. This sintering process may be referred to as cold press sintering since the material is pressed at room temperature. Although test articles were produced which possessed compressive strengths comparable to that of terrestrial concrete, the cold press sintering process requires very high press pressures and sintering temperatures in order to achieve that strength. Additionally, the prospect of poor internal heat transfer adversely affecting the quality of sintered lunar material is a major concern. Therefore, it is concluded that cold press sintering will most likely be undesirable for the production of lunar construction materials.

Altemir, D. A.↗