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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

The route to chaos for the Kuramoto-Sivashinsky equation

The results of extensive numerical experiments of the spatially periodic initial value problem for the Kuramoto-Sivashinsky equation. This paper is concerned with the asymptotic nonlinear dynamics at the dissipation parameter decreases and spatio-temporal chaos sets in. To this end the initial condition is taken to be the same for all numerical experiments (a single sine wave is used) and the large time evolution of the system is followed numerically. Numerous computations were performed to establish the existence of windows, in parameter space, in which the solution has the following characteristics as the viscosity is decreased: a steady fully modal attractor to a steady bimodal attractor to another steady fully modal attractor to a steady trimodal attractor to a periodic attractor, to another steady fully modal attractor, to another periodic attractor, to a steady tetramodal attractor, to another periodic attractor having a full sequence of period-doublings (in parameter space) to chaos. Numerous solutions are presented which provide conclusive evidence of the period-doubling cascades which precede chaos for this infinite-dimensional dynamical system. These results permit a computation of the length of subwindows which in turn provide an estimate for their successive ratios as the cascade develops. A calculation based on the numerical results is also presented to show that the period doubling sequences found here for the Kuramoto-Sivashinsky equation, are in complete agreement with Feigenbaum's universal constant of 4,669201609 .... Some preliminary work shows several other windows following the first chaotic one including periodic, chaotic, and a steady octamodal window; however, the windows shrink significantly in size to enable concrete quantitative conclusions to be made.

Papageorgiou, Demetrios T.↗
NASA NTRS1991

On the symbolic manipulation and code generation for elasto-plastic material matrices

A computerized procedure for symbolic manipulations and FORTRAN code generation of an elasto-plastic material matrix for finite element applications is presented. Special emphasis is placed on expression simplifications during intermediate derivations, optimal code generation, and interface with the main program. A systematic procedure is outlined to avoid redundant algebraic manipulations. Symbolic expressions of the derived material stiffness matrix are automatically converted to RATFOR code which is then translated into FORTRAN statements through a preprocessor. To minimize the interface problem with the main program, a template file is prepared so that the translated FORTRAN statements can be merged into the file to form a subroutine (or a submodule). Three constitutive models; namely, von Mises plasticity, Drucker-Prager model, and a concrete plasticity model, are used as illustrative examples.

Chang, T. Y.↗
NASA NTRS1991

NASA Marshall Space Flight Center solar observatory report, January - June 1991

Given here is a summary 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 operation. 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 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

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