Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Choice model”

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 109 records · Page 6

The use of typed lambda calculus for comprehension and construction of simulation models in the domain of ecology

We are concerned with two important issues in simulation modelling: model comprehension and model construction. Model comprehension is limited because many important choices taken during the modelling process are not documented. This makes it difficult for models to be modified or used by others. A key factor hindering model construction is the vast modelling search space which must be navigated. This is exacerbated by the fact that many modellers are unfamiliar with the terms and concepts catered to by current tools. The root of both problems is the lack of facilities for representing or reasoning about domain concepts in current simulation technology. The basis for our achievements in both of these areas is the development of a language with two distinct levels; one for representing domain information, and the other for representing the simulation model. Of equal importance, is the fact that we make formal connections between these two levels. The domain we are concerned with is ecological modelling. This language, called Elklogic, is based on the typed lambda calculus. Important features include a rich type structure, the use of various higher order functions, and semantics. This enables complex expressions to be constructed from relatively few primitives. The meaning of each expression can be determined in terms of the domain, the simulation model, or the relationship between the two. We describe a novel representation for sets and substructure, and a variety of other general concepts that are especially useful in the ecological domain. We use the type structure in a novel way: for controlling the modelling search space, rather than a proof search space. We facilitate model comprehension by representing modelling decisions that are embodied in the simulation model. We represent the simulation model separately from, but in terms of a domain mode. The explicit links between the two models constitute the modelling decisions. The semantics of Elklogic enables English text to be generated to explain the simulation model in domain terms.

Uschold, Michael↗

A Logical Account of Diagnosis with Multiple Theories

Model-based diagnosis is a powerful, first-principles approach to diagnosis. The primary drawback with model-based diagnosis is that it is based on a system model, and this model might be inappropriate. The inappropriateness of models usually stems from the fundamental tradeoff between completeness and efficiency. Recently, Struss has developed an elegant proposal for diagnosis with multiple models. Struss characterizes models as relations and develops a precise notion of abstraction. He defines relations between models and analyzes the effect of a model switch on the space of possible diagnoses. In this paper we extend Struss's proposal in three ways. First, our account of diagnosis with multiple models is based on representing models as more expressive first-order theories, rather than as relations. A key technical contribution is the use of a general notion of abstraction based on interpretations between theories. Second, Struss conflates component modes with models, requiring him to define models relations such as choices which result in non-relational models. We avoid this problem by differentiating component modes from models. Third, we present a more general account of simplifications that correctly handles situations where the simplification contradicts the base theory.

Pandurang, P.↗

Turbulence Model Comparisons for Supersonic Transports at Transonic and Supersonic Conditions

Results of turbulence model comparisons from two studies on supersonic transport configurations performed during the NASA High-speed Research program are given. Results are presented for both transonic conditions at Mach 0.90 and supersonic conditions at Mach 2.48. A feature of these two studies was the availability of higher Reynolds number wind tunnel data with which to compare the computational results. The transonic wind tunnel data was obtained in the National Transonic Facility at NASA Langley, and the supersonic data was obtained in the Boeing Polysonic Wind Tunnel. The computational data was acquired using a state of the art Navier-Stokes flow solver with a wide range of turbulence models implemented. The results show that the computed forces compare reasonably well with the experimental data, with the Baldwin- Lomax with Degani-Schiff modifications and the Baldwin-Barth models showing the best agreement for the transonic conditions and the Spalart-Allmaras model showing the best agreement for the supersonic conditions. The transonic results were more sensitive to the choice of turbulence model than were the supersonic results.

Rivers, S. M. B.↗

Investigations for Supersonic Transports at Transonic and Supersonic Conditions

Several computational studies were conducted as part of NASA s High Speed Research Program. Results of turbulence model comparisons from two studies on supersonic transport configurations performed during the NASA High-Speed Research program are given. The effects of grid topology and the representation of the actual wind tunnel model geometry are also investigated. Results are presented for both transonic conditions at Mach 0.90 and supersonic conditions at Mach 2.48. A feature of these two studies was the availability of higher Reynolds number wind tunnel data with which to compare the computational results. The transonic wind tunnel data was obtained in the National Transonic Facility at NASA Langley, and the supersonic data was obtained in the Boeing Polysonic Wind Tunnel. The computational data was acquired using a state of the art Navier-Stokes flow solver with a wide range of turbulence models implemented. The results show that the computed forces compare reasonably well with the experimental data, with the Baldwin-Lomax with Degani-Schiff modifications and the Baldwin-Barth models showing the best agreement for the transonic conditions and the Spalart-Allmaras model showing the best agreement for the supersonic conditions. The transonic results were more sensitive to the choice of turbulence model than were the supersonic results.

Rivers, S. Melissa B.↗

Turbulence Model Effects on RANS Simulations of the HIFiRE Flight 2 Ground Test Configurations

The Wind-US Reynolds-averaged Navier-Stokes solver was applied to the Hypersonic International Flight Research Experimentation (HIFiRE) Flight 2 scramjet ground test configuration. Two test points corresponding to flight Mach numbers of 5.9 and 8.9 were examined. The emphasis was examining turbulence model effects on the prediction of flow path pressures. Three variants of the Menter k-omega turbulence model family were investigated. These include the baseline (BSL) and shear stress transport (SST) as well as a modified SST model where the shear stress limiter was altered. Variations in the turbulent Schmidt number were also considered. Choice of turbulence model had a substantial effect on prediction of the flow path pressures. The BSL model produced the highest pressures and the SST model produced the lowest pressures. As expected, the settings for the turbulent Schmidt number also had significant effects on predicted pressures. Small values for the turbulent Schmidt number enabled more rapid mass transfer, faster combustion, and in turn higher flowpath pressures. Optimal settings for turbulence model and turbulent Schmidt number were found to be rather case dependent, as has been concluded in other scramjet investigations.

Georgiadis, Nicholas J.↗

Three models of the vibrating ulna.

Evaluation of the ability of three models of the ulna to predict ulnar resonant frequency. The ulna is considered to be a uniform cylindrical tube made of homogeneous isotropic material. In model I the tube is attached at each end to rigid supports by hinges, in model II the tube is attached to rigid supports by springs rather than hinges, while model III is the same as model II except for the addition of a spring-mass system simulating an accelerometer strapped to the wrist. It is found that all three models exhibit comparable effectiveness in predicting the allowed cyclic vibration frequency, although model I is marginally better than models II or III in predicting this parameter. All three models also yield relatively realistic values for Young's modulus. In terms of results, therefore, there is no clear choice between the models. However, owing to greater costs incurred with models II and III, it is concluded that model I is the most useful, even though it is the least 'realistic' of the three models evaluated.-

Jurist, J. M.↗

Airline Choice for Domestic Flights in Sao Paulo Metropolitan Area: An Application of the Conditional Logit Model

Using the conditional (multinomial) LOGIT model, this paper addresses airline choice in the S o Paulo Metropolitan Area. There are two airports in this region, where two, three or even four airlines compete for passengers flying to an array of domestic destinations. The airline choice is believed to be a result of the tradeoff passengers face among flight cost, flight frequency and airline performance. It was found that the lowest fare better explains airline choice than the highest fare, whereas direct flight frequencies give better explanation to airline choice than indirect (connections and stops) and total (direct plus indirect) ones. Out of 15 variables tested, the lowest fare was the variable that best explained airline choice. However, its signal was counterintuitive (positive) possibly because the cheapest airline was offering few flights, so passengers overwhelmingly failed to choose the cheapest airline. The model specification most adjusted to the data considered the lowest fare, direct flight frequency in the travel day and period (morning or afternoon peak) and airline age. Passengers departing from S o Paulo-Guarulhos International Airport (GRU) airport make their airline choice in terms of cost whereas those from Sao Paulo-Congonhas Airport (CGH) airport do not. Finally, senior passengers place more importance on airline age than junior passengers.

Moreno, Marcelo Baena↗

Accretion of Moon and Earth and the emergence of life

The discrepancy between the impact records on the Earth and Moon in the time period, 4.0-3.5 Ga calls for a re-evaluation of the cause and localization of the late lunar bombardment. As one possible explanation, we propose that the time coverage in the ancient rock record is sufficiently fragmentary, so that the effects of giant, sterilizing impacts throughout the inner solar system, caused by marauding asteroids, could have escaped detection in terrestrial and Martian records. Alternatively, the lunar impact record may reflect collisions of the receding Moon with a series of small, original satellites of the Earth and their debris in the time period about 4.0-3.5 Ga. The effects on Earth of such encounters could have been comparatively small. The location of these tellurian moonlets has been estimated to have been in the region around 40 Earth radii. Calculations presented here, indicate that this is the region that the Moon would traverse at 4.0-3.5 Ga, when the heavy and declining lunar bombardment took place. The ultimate time limit for the emergence of life on Earth is determined by the effects of planetary accretion--existing models offer a variety of scenarios, ranging from low average surface temperature at slow accretion of the mantle, to complete melting of the planet followed by protracted cooling. The choice of accretion model affects the habitability of the planet by dictating the early evolution of the atmosphere and hydrosphere. Further exploration of the sedimentary record on Earth and Mars, and of the chemical composition of impact-generated ejecta on the Moon, may determine the choice between the different interpretations of the late lunar bombardment and cast additional light on the time and conditions for the emergence of life.

NASA Discipline Exobiology↗

Turbulent transport models for scramjet flowfields

Turbulence modeling approaches were examined from the standpoint of their capability to predict the complex flowfield features observed in scramjet combustions. Thus, for example, the accuracy of each turbulence model, with respect to the prediction of recirculating flows, was examined. It was observed that for large diameter ratio axisymmetric sudden expansion flows, a choice of turbulence model was not critical because of the domination of their flowfields by pressure forces. For low diameter ratio axisymmetric sudden expansions and planar backward-facing steps flows, where turbulent shear stresses are of greater significance, the algebraic Reynolds stress approach, modified to increase its sensitivity to streamline curvature, was found to provide the best results. Results of the study also showed that strongly swirling flows provide a stringent test of turbulence model assumptions. Thus, although flows with very high swirl are not of great practical interest, they are useful for turbulence model development. Finally, it was also noted that numerical flowfields solution techniques have a strong interrelation with turbulence models, particularly with the turbulent transport models which involve source-dominated transport equations.

Sindir, M. M.↗

Evaluating local indirect addressing in SIMD proc essors

In the design of parallel computers, there exists a tradeoff between the number and power of individual processors. The single instruction stream, multiple data stream (SIMD) model of parallel computers lies at one extreme of the resulting spectrum. The available hardware resources are devoted to creating the largest possible number of processors, and consequently each individual processor must use the fewest possible resources. Disagreement exists as to whether SIMD processors should be able to generate addresses individually into their local data memory, or all processors should access the same address. The tradeoff is examined between the increased capability and the reduced number of processors that occurs in this single instruction stream, multiple, locally addressed, data (SIMLAD) model. Factors are assembled that affect this design choice, and the SIMLAD model is compared with the bare SIMD and the MIMD models.

Middleton, David↗

A Model of Silicate Grain Nucleation and Growth in Circumstellar Outflows

Based on its abundance, high bond energy, and recent measurements of its vapor pressure SiO is a natural candidate for dust nucleation in circumstellar outflows around asymptotic giant branch stars. In this paper, we describe a model of the nucleation and growth of silicate dust in such outflows. The sensitivity of the model to varying choices of poorly constrained chemical parameters is explored, and the merits of using scaled rather than classical nucleation theory are briefly considered, An elaboration of the model that includes magnesium and iron as growth species is then presented and discussed. The composition of the bulk of the grains derived from the model is consistent with olivines and pyroxenes, but somewhat metal-rich grains and very small, nearly pure SiO grains are also produced,

Paquette, John A.↗

Exploring the Model Design Space for Battery Health Management

Battery Health Management (BHM) is a core enabling technology for the success and widespread adoption of the emerging electric vehicles of today. Although battery chemistries have been studied in detail in literature, an accurate run-time battery life prediction algorithm has eluded us. Current reliability-based techniques are insufficient to manage the use of such batteries when they are an active power source with frequently varying loads in uncertain environments. The amount of usable charge of a battery for a given discharge profile is not only dependent on the starting state-of-charge (SOC), but also other factors like battery health and the discharge or load profile imposed. This paper presents a Particle Filter (PF) based BHM framework with plug-and-play modules for battery models and uncertainty management. The batteries are modeled at three different levels of granularity with associated uncertainty distributions, encoding the basic electrochemical processes of a Lithium-polymer battery. The effects of different choices in the model design space are explored in the context of prediction performance in an electric unmanned aerial vehicle (UAV) application with emulated flight profiles.

Saha, Bhaskar↗

Four-Nozzle Benchmark Wind Tunnel Model USA Code Solutions for Simulation of Multiple Rocket Base Flow Recirculation at 145,000 Feet Altitude

Multiple rocket exhaust plume interactions at high altitudes can produce base flow recirculation with attendant alteration of the base pressure coefficient and increased base heating. A search for a good wind tunnel benchmark problem to check grid clustering technique and turbulence modeling turned up the experiment done at AEDC in 1961 by Goethert and Matz on a 4.25-in. diameter domed missile base model with four rocket nozzles. This wind tunnel model with varied external bleed air flow for the base flow wake produced measured p/p(sub ref) at the center of the base as high as 3.3 due to plume flow recirculation back onto the base. At that time in 1961, relatively inexpensive experimentation with air at gamma = 1.4 and nozzle A(sub e)/A of 10.6 and theta(sub n) = 7.55 deg with P(sub c) = 155 psia simulated a LO2/LH2 rocket exhaust plume with gamma = 1.20, A(sub e)/A of 78 and P(sub c) about 1,000 psia. An array of base pressure taps on the aft dome gave a clear measurement of the plume recirculation effects at p(infinity) = 4.76 psfa corresponding to 145,000 ft altitude. Our CFD computations of the flow field with direct comparison of computed-versus-measured base pressure distribution (across the dome) provide detailed information on velocities and particle traces as well eddy viscosity in the base and nozzle region. The solution was obtained using a six-zone mesh with 284,000 grid points for one quadrant taking advantage of symmetry. Results are compared using a zero-equation algebraic and a one-equation pointwise R(sub t) turbulence model (work in progress). Good agreement with the experimental pressure data was obtained with both; and this benchmark showed the importance of: (1) proper grid clustering and (2) proper choice of turbulence modeling for rocket plume problems/recirculation at high altitude.

Dougherty, N. S.↗

Software engineering and Ada (Trademark) training: An implementation model for NASA

The choice of Ada for software engineering for projects such as the Space Station has resulted in government and industrial groups considering training programs that help workers become familiar with both a software culture and the intricacies of a new computer language. The questions of how much time it takes to learn software engineering with Ada, how much an organization should invest in such training, and how the training should be structured are considered. Software engineering is an emerging, dynamic discipline. It is defined by the author as the establishment and application of sound engineering environments, tools, methods, models, principles, and concepts combined with appropriate standards, guidelines, and practices to support computing which is correct, modifiable, reliable and safe, efficient, and understandable throughout the life cycle of the application. Neither the training programs needed, nor the content of such programs, have been well established. This study addresses the requirements for training for NASA personnel and recommends an implementation plan. A curriculum and a means of delivery are recommended. It is further suggested that a knowledgeable programmer may be able to learn Ada in 5 days, but that it takes 6 to 9 months to evolve into a software engineer who uses the language correctly and effectively. The curriculum and implementation plan can be adapted for each NASA Center according to the needs dictated by each project.

Legrand, Sue↗

Hierarchic models for laminated plates

Structural plates and shells are three-dimensional bodies, one dimension of which happens to be much smaller than the other two. Thus, the quality of a plate or shell model must be judged on the basis of how well its exact solution approximates the corresponding three-dimensional problem. Of course, the exact solution depends not only on the choice of the model but also on the topology, material properties, loading and constraints. The desired degree of approximation depends on the analyst's goals in performing the analysis. For these reasons models have to be chosen adaptively. Hierarchic sequences of models make adaptive selection of the model which is best suited for the purposes of a particular analysis possible. The principles governing the formulation of hierarchic models for laminated plates are presented. The essential features of the hierarchic models described models are: (1) the exact solutions corresponding to the hierarchic sequence of models converge to the exact solution of the corresponding problem of elasticity for a fixed laminate thickness; and (2) the exact solution of each model converges to the same limit as the exact solution of the corresponding problem of elasticity with respect to the laminate thickness approaching zero. The formulation is based on one parameter (beta) which characterizes the hierarchic sequence of models, and a set of constants whose influence was assessed by a numerical sensitivity study. The recommended selection of these constants results in the number of fields increasing by three for each increment in the power of beta. Numerical examples analyzed with the proposed sequence of models are included and good correlation with the reference solutions was found. Results were obtained for laminated strips (plates in cylindrical bending) and for square and rectangular plates with uniform loading and with homogeneous boundary conditions. Cross-ply and angle-ply laminates were evaluated and the results compared with those of MSC/PROBE. Hierarchic models make the computation of any engineering data possible to an arbitrary level of precision within the framework of the theory of elasticity.

Actis, Ricardo Luis↗

A Model-Based Prognostics Approach Applied to Pneumatic Valves

Within the area of systems health management, the task of prognostics centers on predicting when components will fail. Model-based prognostics exploits domain knowledge of the system, its components, and how they fail by casting the underlying physical phenomena in a physics-based model that is derived from first principles. Uncertainty cannot be avoided in prediction, therefore, algorithms are employed that help in managing these uncertainties. The particle filtering algorithm has become a popular choice for model-based prognostics due to its wide applicability, ease of implementation, and support for uncertainty management. We develop a general model-based prognostics methodology within a robust probabilistic framework using particle filters. As a case study, we consider a pneumatic valve from the Space Shuttle cryogenic refueling system. We develop a detailed physics-based model of the pneumatic valve, and perform comprehensive simulation experiments to illustrate our prognostics approach and evaluate its effectiveness and robustness. The approach is demonstrated using historical pneumatic valve data from the refueling system.

Daigle, Matthew J.↗

Conceptual modeling of coincident failures in multiversion software

Recent work by Eckhardt and Lee (1985) shows that independently developed program versions fail dependently (specifically, simultaneous failure of several is greater than would be the case under true independence). The present authors show there is a precise duality between input choice and program choice in this model and consider a generalization in which different versions can be developed using diverse methodologies. The use of diverse methodologies is shown to decrease the probability of the simultaneous failure of several versions. Indeed, it is theoretically possible to obtain versions which exhibit better than independent failure behavior. The authors try to formalize the notion of methodological diversity by considering the sequence of decision outcomes that constitute a methodology. They show that diversity of decision implies likely diversity of behavior for the different verions developed under such forced diversity. For certain one-out-of-n systems the authors obtain an optimal method for allocating diversity between versions. For two-out-of-three systems there seem to be no simple optimality results which do not depend on constraints which cannot be verified in practice.

Littlewood, Bev↗

The Precise Orbit and the Challenge of Long Term Stability

The computation of a precise orbit reference is a fundamental component of the altimetric measurement. Since the dawn of the modern altimeter age, orbit accuracy has been determined by the quality of the GPS, SLR, and DORIS tracking systems, the fidelity of the measurement and force models, and the choice of parameterization for the orbit solutions, and whether a dynamic or a reduced-dynamic strategy is used to calculate the orbits. At the start of the TOPEX mission, the inaccuracies in the modeling of static gravity, dynamic ocean tides, and the nonconservative forces dominated the orbit error budget. Much of the error due to dynamic mismodeling can be compensated by reduced-dynamic tracking techniques depending on the measurement system strength. In the last decade, the launch of the GRACE mission has eliminated the static gravity field as a concern, and the background force models and the terrestrial reference frame have been systematically refined. GPS systems have realized many improvements, including better modeling of the forces on the GPS spacecraft, large increases in the ground tracking network, and improved modeling of the GPS measurements. DORIS systems have achieved improvements through the use of new antennae, more stable monumentation, and of satellite receivers that can track multiple beacons, and as well as through improved modeling of the nonconservative forces. Many of these improvements have been applied in the new reprocessed time series of orbits produced for the ERS satellites, Envisat, TOPEX/Poseidon and the Jason satellites, and as well as for the most recent Cryosat-2 and HY2A. We now face the challenge of maintaining a stable orbit reference for these altimetric satellites. Changes in the time-variable gravity field of the Earth and how these are modelled have been shown to affect the orbit evolution, and the calibration of the altimetric data with tide gauges. The accuracy of the reference frame realizations, and their projection into the future remains a source of error. Other sources of omission error include the geocenter for which no consensus model is as of yet applied. Although progress has been made in nonconservative force modeling through the use of detailed satellite-specific models, radiation pressure modeling, and atmospheric density modeling remain a potential source of orbit error. The longer term influence of variations in the solar and terrestrial radiation fields over annual and solar cycles remains principally untested. Also the long term variation in optical and thermal properties of the space vehicle surfaces would contribute to biases in the orbital frame if ignored. We review the status of altimetric precision orbit determination as exemplified by the recent computations undertaken by the different analysis centers for ERS, Envisat, TOPEX/Poseidon, Jason, Cryosat2 and HY2A, and we provide a perspective on the challenges for future missions such as the Jason-3, SENTINEL-3 and SWOT.

Lemoine, Frank G.↗