SEARCH · Search NASA

Results for “Concrete Modeling”

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 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1990

State reduction for semi-Markov reliability models

Semi-Markov processes have proved to be an effective and convenient tool to construct models of systems that achieve reliability by redundancy and reconfiguration. These models are able to depict complex system architectures and to capture the dynamics of fault arrival and system recovery. A disadvantage of this approach is that the models can be extremely large, which poses both a model construction and a computational problem. Techniques are needed to reduce the model size. Because these systems are used in critical applications where failure can be expensive, there must be an analytically derived bound for the error produced by the model reduction technique. Automatic model generation programs have been written to help the reliability analyst produce models of complex systems. Because of the importance of these programs, the model reduction technique needs to be precise and easily implemented. This paper presents a model reduction technique called trimming that can be applied to a popular class of systems. An error bound for the trimming procedure is derived that uses readily available system parameters. The trimming procedure is precisely described and appears easy to implement in a model generation program.

Reduced order systems↗

NASA NTRS1995

Durability and life prediction modeling in polyimide composites

Sudden appearance of cracks on a macroscopically smooth surface of brittle materials due to cooling or drying shrinkage is a phenomenon related to many engineering problems. Although conventional strength theories can be used to predict the necessary condition for crack appearance, they are unable to predict crack spacing and depth. On the other hand, fracture mechanics theory can only study the behavior of existing cracks. The theory of crack initiation can be summarized into three conditions, which is a combination of a strength criterion and laws of energy conservation, the average crack spacing and depth can thus be determined. The problem of crack initiation from the surface of an elastic half plane is solved and compares quite well with available experimental evidence. The theory of crack initiation is also applied to concrete pavements. The influence of cracking is modeled by the additional compliance according to Okamura's method. The theoretical prediction by this structural mechanics type of model correlates very well with the field observation. The model may serve as a theoretical foundation for future pavement joint design. The initiation of interactive cracks of quasi-brittle material is studied based on a theory of cohesive crack model. These cracks may grow simultaneously, or some of them may close during certain stages. The concept of crack unloading of cohesive crack model is proposed. The critical behavior (crack bifurcation, maximum loads) of the cohesive crack model are characterized by rate equations. The post-critical behavior of crack initiation is also studied.

Binienda, Wieslaw K.↗

NASA NTRS1988

Identifiability Of Systems With Modeling Errors

Advances in theory of modeling errors reported. Recent paper on errors in mathematical models of deterministic linear or weakly nonlinear systems. Extends theoretical work described in NPO-16661 and NPO-16785. Presents concrete way of accounting for difference in structure between mathematical model and physical process or system that it represents.

Hadaegh, Yadolah "fred"↗

NASA NTRS1973

Experimental stress analysis of large plastic deformations in a hollow sphere deformed by impact against a concrete block

An experimental plastic strain measurement system is presented for use on the surface of high velocity impact test models. The system was used on a hollow sphere tested in impact against a reinforced concrete block. True strains, deviatoric stresses, and true stresses were calculated from experimental measurements. The maximum strain measured in the model was small compared to the true failure strain obtained from static tensile tests of model material. This fact suggests that a much greater impact velocity would be required to cause failure of the model shell structure.

Morris, R. E.↗

NASA NTRS1989

Nonlinear fracture of concrete and ceramics

The nonlinear fracture process zones in an impacted unnotched concrete bend specimen, a prenotched ceramic bend specimen, and an unnotched ceramic/ceramic composite bend specimen were estimated through hybrid experimental numerical analysis. Aggregate bridging in concrete, particulate bridging in ceramics, and fiber bridging in ceramic/ceramic composite are modeled by Barenblatt-type cohesive zones which are incorporated into the finite-element models of the bend specimens. Both generation and propagation analyses are used to estimate the distribution of crack closure stresses in the nonlinear fracture process zones. The finite-element models are then used to simulate fracture tests consisting of rapid crack propagation in an impacted concrete bend specimen, and stable crack growth and strain softening in a ceramic and ceramic/ceramic composite bend specimens.

Kobayashi, Albert S.↗

NASA NTRS1991

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 NTRS1992

Void probability as a function of the void's shape and scale-invariant models

Elizalde, E.↗

NASA NTRS2006

Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem

This paper proposes a challenge problem in disproving. We describe a fault-tolerant distributed protocol designed at NASA for use in a fly-by-wire system for next-generation commercial aircraft. An early design of the protocol contains a subtle bug that is highly unlikely to be caught in fault injection testing. We describe a failed proof of the protocol's correctness in a mechanical theorem prover (PVS) with a complex unfinished proof conjecture. We use a model checking suite (SAL) to generate a concrete counterexample to the unproven conjecture to demonstrate the existence of a bug. However, we argue that the effort required in our approach is too high and propose what conditions a better solution would satisfy. We carefully describe the protocol and bug to provide a challenging but feasible case study for disproving research.

Pike, Lee↗

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 NTRS2023

Seismic Assessment of a Long-Term Lunar Habitat

The establishment of secure earth-independent long-term lunar habitats has been envisioned by numerous government agencies and private companies. Recent advancements in assessing seismic hazards caused by shallow moonquakes have highlighted the importance of incorporating this phenomenon into the design of robust and resilient lunar structures. However, further research is required to explore lunar habitat design that considers seismic loads. This paper proposes assessing the structural response of a lunar habitat made of sulfur concrete covered with a regolith layer. The numerical model of the structure is subjected to gravitational, internal pressure and seismic loads. The seismic analysis of the structure is carried out using spectral and nonlinear time history methods. Conditional mean spectra for shallow moonquakes with return periods of 75, 475, 970 and 2475 years are used in the seismic analysis. The records used for the temporal analyses were ground motions that agree with a preliminary seismic hazard on the Moon. The results of temporal analyses reveal that shallow moonquakes with return periods greater than 475 years can lead to the loss of the global stability of the structure. Consequently, the findings imply that seismic loads have the potential to impose unacceptable demands on lunar structures constructed from in-situ materials like sulfur concrete. Hence, it is imperative to incorporate seismic considerations in the design process for developing resilient and long-term lunar habitats.

Lunar habitat↗

NASA NTRS1975

A study of low cost approaches to scientific experiment implementation for shuttle launched and serviced automated spacecraft

Cost reductions that can be obtained in experiment instrumentation by the use of standardized electronics and by the relaxation of instrument reliability requirements are studied. The feasibility of using standardized equipment for experiment instrumentation is assessed and a system design approach that most effectively incorporates standardized equipment is developed. The level and form of modularization that is appropriate for the standardized equipment is determined. Mission assurance aspects of instrument development are examined to determine the cost reductions that might be derived from the relaxation of reliability requirements and to formulate a systematic approach to the optimization of mission assurance cost reductions. The results of the analyses are applied to a representative model HEAO payload in order to provide a concrete example of the cost reductions that can be achieved by a standardized approach to the instrument electronics.

Source record↗

NASA NTRS1980

Solar heating and domestic hot water system installed at Kansas City, Fire Stations, Kansas City, Missouri

The solar system was designed to provide 47 percent of the space heating, 8,800 square feet area and 75 percent of the domestic hot water (DHW) load. The solar system consists of 2,808 square feet of Solaron, model 2001, air, flat plate collector subsystem, a concrete box storage subsystem which contains 1,428 cubic feet of 0.5 inch diameter pebbles weighing 71.5 tons, a DHW preheat tank, blowers, pumps, heat exchangers, air ducting, controls and associated plumbing. Two 120 gallon electric DHW heaters supply domestic hot water which is preheated by the solar system. Auxiliary space heating is provided by three electric heat pumps with electric resistance heaters and four 30 kilowatt electric unit heaters. There are six modes of system operation.

Source record↗

NASA NTRS2008

Safe Upper-Bounds Inference of Energy Consumption for Java Bytecode Applications

Many space applications such as sensor networks, on-board satellite-based platforms, on-board vehicle monitoring systems, etc. handle large amounts of data and analysis of such data is often critical for the scientific mission. Transmitting such large amounts of data to the remote control station for analysis is usually too expensive for time-critical applications. Instead, modern space applications are increasingly relying on autonomous on-board data analysis. All these applications face many resource constraints. A key requirement is to minimize energy consumption. Several approaches have been developed for estimating the energy consumption of such applications (e.g. [3, 1]) based on measuring actual consumption at run-time for large sets of random inputs. However, this approach has the limitation that it is in general not possible to cover all possible inputs. Using formal techniques offers the potential for inferring safe energy consumption bounds, thus being specially interesting for space exploration and safety-critical systems. We have proposed and implemented a general frame- work for resource usage analysis of Java bytecode [2]. The user defines a set of resource(s) of interest to be tracked and some annotations that describe the cost of some elementary elements of the program for those resources. These values can be constants or, more generally, functions of the input data sizes. The analysis then statically derives an upper bound on the amount of those resources that the program as a whole will consume or provide, also as functions of the input data sizes. This article develops a novel application of the analysis of [2] to inferring safe upper bounds on the energy consumption of Java bytecode applications. We first use a resource model that describes the cost of each bytecode instruction in terms of the joules it consumes. With this resource model, we then generate energy consumption cost relations, which are then used to infer safe upper bounds. How energy consumption for each bytecode instruction is measured is beyond the scope of this paper. Instead, this paper is about how to infer safe energy consumption estimations assuming that those energy consumption costs are provided. For concreteness, we use a simplified version of an existing resource model [1] in which an energy consumption cost for individual Java opcodes is defined.

Navas, Jorge↗

NASA NTRS1971

Airbreathing nuclear propulsion: A new look

Nuclear-powered air-cushion vehicles using lightweight aircraft-type nuclear powerplants show promise of carrying transoceanic cargo at cost-per-metric-ton-kilometer (cost-per-ton-n mi) rates comparable to railroad rates. These rates are independent of the distance traveled. Cargo rates for nonstop distances of 4000 n mi are expected to be less than one-half those for similar fossil-fueled air-cushion vehicles. For 6000-n mi nonstop distances, the rates are expected to be less than one-sixth as much. There are no fundamental technical reasons why subsonic nuclear aircraft cannot be made to fly successfully if the gross weight is over 1 million lb. Public safety of airborne nuclear powerplants is receiving the greatest attention in low-level experimental and analytical investigations. Idealized model containment vessels which have been impacted on reinforced concrete showed no leaks after impact at velocities to 400 mph. The experiments indicate feasibility of impacting at speeds over 600 mph with no leaks.

Rom, F. E.↗

NASA NTRS1994

An HP Adaptive Discontinuous Galerkin Method for Hyperbolic Conservation Laws

This dissertation addresses various issues for model classes of hyperbolic conservation laws. The basic approach developed in this work employs a new family of adaptive, hp-version, finite element methods based on a special discontinuous Galerkin formulation for hyperbolic problems. The discontinuous Galerkin formulation admits high-order local approximations on domains of quite general geometry, while providing a natural framework for finite element approximations and for theoretical developments. The use of hp-versions of the finite element method makes possible exponentially convergent schemes with very high accuracies in certain cases; the use of adaptive hp-schemes allows h-refinement in regions of low regularity and p-enrichment to deliver high accuracy, while keeping problem sizes manageable and dramatically smaller than many conventional approaches. The use of discontinuous Galerkin methods is uncommon in applications, but the methods rest on a reasonable mathematical basis for low-order cases and has local approximation features that can be exploited to produce very efficient schemes, especially in a parallel, multiprocessor environment. The place of this work is to first and primarily focus on a model class of linear hyperbolic conservation laws for which concrete mathematical results, methodologies, error estimates, convergence criteria, and parallel adaptive strategies can be developed, and to then briefly explore some extensions to more general cases. Next, we provide preliminaries to the study and a review of some aspects of the theory of hyperbolic conservation laws. We also provide a review of relevant literature on this subject and on the numerical analysis of these types of problems.

Bey, Kim S.↗

NASA NTRS2020

Predicting Gate Conflicts at Charlotte Douglas International Airport Using NASA ATD-2 Fused Data Sources

NASA is conducting the Airspace Technology Demonstration-2 to evaluate an Integrated Arrival, Departure, and Surface (IADS) traffic management system. The IADS system is powered by real-time System Wide Information Management feeds which provide an accurate and high fidelity view of the lifecycle of a flight. This data can be leveraged to drive efficiencies in the National Airspace System. For non safety critical applications there is opportunity for third party service providers to offer this type of data-driven prediction service in near real-time. This paper investigates the gate conflict prediction problem as a concrete use case which could help drive efficiencies. We model gate conflicts as a regression problem and describe the iterative process of model building, model validation, and evaluation used to assess the efficacy of our approach. We quantify our predictive accuracy and identify paths for improvement. Through this iterative process we hope to evolve our models and methods to a near real-time prediction service.

Airspace Technology Demonstration 2↗

NASA NTRS2005

Systemic Analysis Approaches for Air Transportation

Air transportation system designers have had only limited success using traditional operations research and parametric modeling approaches in their analyses of innovations. They need a systemic methodology for modeling of safety-critical infrastructure that is comprehensive, objective, and sufficiently concrete, yet simple enough to be used with reasonable investment. The methodology must also be amenable to quantitative analysis so issues of system safety and stability can be rigorously addressed. However, air transportation has proven itself an extensive, complex system whose behavior is difficult to describe, no less predict. There is a wide range of system analysis techniques available, but some are more appropriate for certain applications than others. Specifically in the area of complex system analysis, the literature suggests that both agent-based models and network analysis techniques may be useful. This paper discusses the theoretical basis for each approach in these applications, and explores their historic and potential further use for air transportation analysis.

Conway, Sheila↗

NASA NTRS1978

NASTRAN analysis of a wheel-rail loading on its foundation

One type of azimuth bearing for a large ground antenna (100 m) will consist of steel wheels, mounted at four corners of the alidade, rolling on a circular flat rail which provides the vertical restraints; a radial constraining bearing at the center of the alidade provides the horizontal restraints. One important design feature is the compressive stresses in the grout or concrete foundation under the wheel-rail load. A finite element analysis check was made of a particular design that consists of a steel rail resting on a concrete foundation. Symmetry was assumed as much as possible in order to minimize the models, but meaningful element sizes were used. Recently developed isoparametric hexahedron elements available in the NASTRAN computing program, which minimizes the number of elements required while maintaining the accuracy of the computed stresses, were used with two versions of NASTRAN. Test cases to check with the analytical solutions were made. A side loading was also applied to calculate the increase in the concrete stresses.

Katow, M. S.↗