Search NASA⌕ Search

SEARCH · Search NASA

Results for “choice 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.

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

At least 271 records · Page 15

The Parent Magmas of the Cumulate Eucrites: A Mass Balance Approach

The cumulate eucrite meteorites are gabbros that are related to the eucrite basalt meteorites. The eucrite basalts are relatively primitive (nearly flat REE patterns with La approx. 8-30 x CI), but the parent magmas of the cumulate eucrites have been inferred as extremely evolved (La to greater than 100 x CI). This inference has been based on mineral/magma partitioning, and on mass balance considering the cumulate eucrites as adcumulates of plagioclase + pigeonite only; both approaches have been criticized as inappropriate. Here, mass balance including magma + equilibrium pigeonite + equilibrium plagiociase is used to test a simple model for the cumulate eucrites: that they formed from known eucritic magma types, that they consisted only of magma + crystals in chemical equilibrium with the magma, and that they were closed to chemical exchange after the accumulation of crystals. This model is tested for major and Rare Earth Elements (REE). The cumulate eucrites Serra de Mage and Moore County are consistent, in both REE and major elements, with formation by this simple model from a eucrite magma with a composition similar to the Nuevo Laredo meteorite: Serra de Mage as 14% magma, 47.5% pigeonite, and 38.5% plagioclase; Moore County as 35% magma, 37.5% pigeonite, and 27.5% plagioclase. These results are insensitive to the choice of mineral/magma partition coefficients. Results for the Moama cumulate eucrite are strongly dependent on choice of partition coefficients; for one reasonable choice, Moama's composition can be modeled as 4% Nuevo Laredo magma, 60% pigeonite, and 36% plagioclase. Selection of parent magma composition relies heavily on major elements; the REE cannot uniquely indicate a parent magma among the eucrite basalts. The major element composition of Y-791195 can be fit adequately as a simple cumulate from any basaltic eucrite composition. However, Y-791195 has LREE abundances and La/Lu too low to be accommodated within the model using any basaltic eucrite composition and any reasonable partition coefficients. Postcumulus loss of incompatible elements seems possible. It is intriguing that Serra de Mage, Moore County, and Moama are consistent with the same parental magma; could they be from the same igneous body on the eucrite parent asteroid (4 Vesta)?

Treiman, Allan H.↗

Bayesian Inference and the Effects of Varying Uncertainty Models in Charring Ablator Calibration and Uncertainty Quantification Problems

The Mars Science Laboratory (MSL) vehicle utilized a heat shield constructed from NASA’s Phenolic-Impregnated Carbon Ablator (PICA) material to protect the main structure from the high enthalpy environment encountered during hypersonic atmospheric entry. During the vehicle’s descent through Martian atmosphere, multiple thermocouples embedded within the heat shield captured in-depth material temperature data that allow for studies to be conducted on current material response reconstruction tools. In the present work, material temperature data obtained from thermocouples within the MISP-4 plug (MEDLI (Mars Science Laboratory Entry, Descent, and Landing Instrument) Integrated Sensor Plug) are utilized in the calibration of Theoretical Ablative Composite for Open Testing (TACOT) model parameters in conjunction with NASA’s Porous material Analysis Toolbox (PATO) through Bayesian inference where uncertainty due to parametric, modeling, and experimental sources is simultaneously quantified. Prior to the study, a sensitivity analysis is performed through computation of the robust Sobol indices in an effort to study the relationship between input space and model response and to reduce the dimensionality of the statistical inverse problem. The Bayesian inference methodology necessitates an a-priori choice to be made for the uncertainty model for which numerous possibilities are available. Across most works, however, only basic additive or multiplicative models are utilized with pre-defined magnitudes of uncertainty based on a-priori knowledge or to-be-calibrated multipliers of static covariance matrix structures. The present effort explores the effects of informed uncertainty models, ones with temporal dependence that are simultaneously calibrated through Bayesian inference, on calibrated results for parameters that make up the uncertain input space.

Sensitivity Analysis↗

Investigation of Neural Strategies of Visual Search

The goal of this project was to measure how neurons in the superior colliculus (SC) change their activity during a visual search task. Specifically, we proposed to measure how the activity of these neurons was altered by the discriminability of visual targets and to test how these changes might predict the changes in the subjects performance. The primary rationale for this study was that understanding how the information encoded by these neurons constrains overall search performance would foster the development of better models of human performance. Work performed during the period supported by this grant has achieved these aims. First, we have recorded from neurons in the superior colliculus (SC) during a visual search task in which the difficulty of the task and the performance of the subject was systematically varied. The results from these single-neuron physiology experiments shows that prior to eye movement onset, the difference in activity across the ensemble of neurons reaches a fixed threshold value, reflecting the operation of a winner-take-all mechanism. Second, we have developed a model of eye movement decisions based on the principle of winner-take-all . The model incorporates the idea that the overt saccade choice reflects only one of the multiple saccades prepared during visual discrimination, consistent with our physiological data. The value of the model is that, unlike previous models, it is able to account for both the latency and the percent correct of saccade choices.

Krauzlis, Richard J.↗

NASTRAN modeling and analysis of rigid and flexible walled acoustic cavities

The acoustic slot elements, CSLOTi, are applied to analyze two-dimensional enclosures with fixed or moving boundaries. The capability utilized to compute (a) the acoustic natural modes and frequencies of a rigid walled enclosure and (b) the sound pressure at any point inside an enclosure when the surrounding walls are forced to vibrate. Applications to an automobile passenger compartment illustrate the technique. The axisymmetric fluid elements, CFLUIDi, are used in conjunction with a suitable choice of symmetry planes and a model of the surrounding structure to approximate a two-dimensional enclosure with flexible walls. The enclosure walls are modeled using finite elements or structural modes. Illustrative examples include a comparison of rectangular cavity modes with those calculated using the acoustic slot element and the free vibration modes of two enclosures coupled through a flexible rectangular panel.

Wolf, J. A., Jr.↗

Manipulation strategies for massive space payloads

Control for the bracing strategy is being examined. It was concluded earlier that trajectory planning must be improved to best achieve the bracing motion. Very interesting results were achieved which enable the inverse dynamics of flexible arms to be calculated for linearized motion in a more efficient manner than previously published. The desired motion of the end point beginning at t=0 and ending at t=t sub f is used to calculate the required torque at the joint. The solution is separated into a causal function that is zero for t is less than 0 and an accusal function which is zero for t is greater than t sub f. A number of alternative end point trajectories were explored in terms of the peak torque required, the amount of anticipatory action, and other issues. The single link case is the immediate subject and an experimental verification of that case is being performed. Modeling with experimental verification of closed chain dynamics continues. Modeling effort has pointed out inaccuracies that result from the choice of numerical techniques used to incorporate the closed chain constraints when modeling our experimental prototype RALF (Robotic Arm Large and Flexible). Results were compared to TREETOPS, a multi body code. The experimental verification work is suggesting new ways to make comparisons with systems having structural linearity and joint and geometric nonlinearity. The generation of inertial forces was studied with a small arm that will damp the large arm's vibration.

Book, Wayne J.↗

Integrated Formal Analysis of Timed-Triggered Ethernet

We present new results related to the verification of the Timed-Triggered Ethernet (TTE) clock synchronization protocol. This work extends previous verification of TTE based on model checking. We identify a suboptimal design choice in a compression function used in clock synchronization, and propose an improvement. We compare the original design and the improved definition using the SAL model checker.

Dutertre, Bruno↗

Choice-reaction time to visual motion with varied levels of simultaneous rotary motion

Twelve airline pilots were studied to determine the effects of whole-body rotation on choice-reaction time to the horizontal motion of a line on a cathode-ray tube. On each trial, one of five levels of visual acceleration and five corresponding proportions of rotary acceleration were presented simultaneously. Reaction time to the visual motion decreased with increasing levels of visual motion and increased with increasing proportions of rotary acceleration. The results conflict with general theories of facilitation during double stimulation but are consistent with neural-clock model of sensory interaction in choice-reaction time.

Clark, B.↗

Advances in Land Data Assimilation at the NASA Goddard Space Flight Center

Research in land surface data assimilation has grown rapidly over the last decade. In this presentation we provide a brief overview of key research contributions by the NASA Goddard Space Flight Center (GSFC). The GSFC contributions to land assimilation primarily include the continued development and application of the Land Information System (US) and the ensemble Kalman filter (EnKF). In particular, we have developed a method to generate perturbation fields that are correlated in space, time, and across variables and that permit the flexible modeling of errors in land surface models and observations, along with an adaptive filtering approach that estimates observation and model error input parameters. A percentile-based scaling method that addresses soil moisture biases in model and observational estimates opened the path to the successful application of land data assimilation to satellite retrievals of surface soil moisture. Assimilation of AMSR-E surface soil moisture retrievals into the NASA Catchment model provided superior surface and root zone assimilation products (when validated against in situ measurements and compared to the model estimates or satellite observations alone). The multi-model capabilities of US were used to investigate the role of subsurface physics in the assimilation of surface soil moisture observations. Results indicate that the potential of surface soil moisture assimilation to improve root zone information is higher when the surface to root zone coupling is stronger. Building on this experience, GSFC leads the development of the Level 4 Surface and Root-Zone Soil Moisture (L4_SM) product for the planned NASA Soil-Moisture-Active-Passive (SMAP) mission. A key milestone was the design and execution of an Observing System Simulation Experiment that quantified the contribution of soil moisture retrievals to land data assimilation products as a function of retrieval and land model skill and yielded an estimate of the error budget for the SMAP L4_SM product. Terrestrial water storage observations from GRACE satellite system were also successfully assimilated into the NASA Catchment model and provided improved estimates of groundwater variability when compared to the model estimates alone. Moreover, satellite-based land surface temperature (LST) observations from the ISCCP archive were assimilated using a bias estimation module that was specifically designed for LST assimilation. As with soil moisture, LST assimilation provides modest yet statistically significant improvements when compared to the model or satellite observations alone. To achieve the improvement, however, the LST assimilation algorithm must be adapted to the specific formulation of LST in the land model. An improved method for the assimilation of snow cover observations was also developed. Finally, the coupling of LIS to the mesoscale Weather Research and Forecasting (WRF) model enabled investigations into how the sensitivity of land-atmosphere interactions to the specific choice of planetary boundary layer scheme and land surface model varies across surface moisture regimes, and how it can be quantified and evaluated against observations. The on-going development and integration of land assimilation modules into the Land Information System will enable the use of GSFC software with a variety of land models and make it accessible to the research community.

Reichle, Rolf↗

On the computational noise of finite-difference schemes used in ocean models

Different distributions of variables over the horizontal array of grid points in an ocean circulation model are investigated, using the shallow water equations as a guide in the choice of finite-difference schemes for use in ocean modeling. It is shown that the scheme with diffusive dissipation, in which the horizontal velocity is carried at the center and the height field is carried at each corner of a rectangular grid, successively suppresses numerical noise in a coarse (greater than 100 km) grid ocean model. For resolutions smaller than 50 km, it is shown that the scheme in which zonal velocity is carried at points to the east and west of the point of a rectangular grid where the height is carried, with meridional velocity carried to the north and south of the height point, can be free of noise for the gravest mode.

Batteen, M. L.↗

The Impact of Very Fine Vertical Resolution on the Climate of the GEOS-2 GCM

Typical General Circulation Models (GCM's) that are used for tropospheric climate studies extend vertically with significant resolution only into the lower stratosphere, while GCM's specifically designed for the study of the stratospheric climate do not finely resolve the tropospheric jet or boundary layer regions. The NASA/Goddard Data Assimilation Office (DAO) Goddard Earth Observing System GCM, (GEOS-2 GCM) which is a component of the GEOS-2 Data Assimilation System (DAS), is configured with a sufficient number of vertical levels to provide very fine resolution in the tropospheric and stratospheric regimes. The present study is aimed at understanding the benefits for accurate simulation of the climate seen in the GEOS-2 GCM due to its choice of vertical resolution. Raising the model lid to the lower mesosphere so as to explicitly resolve the stratospheric circulation, in particular the descent over the winter pole, is included in GEOS-2 to address the common GCM deficiency of a stratospheric cold pole bias. Increasing the number of levels is directed at improving the representation of the planetary boundary layer, the troposphere at the altitude of the sub-tropical jet stream, and the stratosphere. Comparisons of the climate of simulations with three different vertical resolution formulations of the GEOS-2 GCM are presented. In addition to the reduction in the climate bias, the impact of the resolution on model variability will be briefly discussed.

Molod, Andrea↗

Model Checking as a Service: Towards Pragmatic Hidden Formal Methods

Executable models can be used to support all engineering activities in Model-Based Systems Engineering. Testing and simulation of such models can provide early feedback about design choices. How-ever, in today’s complex systems failures could arise due to subtle errors that are hard to find without checking all possible execution paths. Formal methods, and especially model checking can uncover such subtle errors, yet their usage in practice is limited due to the specialized expertise and high computing power required. There-fore we created an automated, cloud-based environment that can verify complex reachability properties on SysML State Machines using hidden model checkers. The approach and the prototype is illustrated using an example from the aerospace domain.

Karban, Robert↗

Whole planet cooling and the radiogenic heat source contents of the earth and moon

Thermal evolution models based on subsolidus whole mantle convection which indicate that the surface heat flows of the earth and the moon do not necessarily provide good measures of the total amounts of radioactives in these bodies have been constructed. These models assume an initially hot state, but with a wide variety of choices for the parameters characterizing the rheology and convective vigor. All models are constrained to be consistent with present-day surface heat fluxes, and many of the terrestrial models are consistent with the mantle viscosities indicated by postglacial rebound. In the lunar models, heat generation is typically only 70-80% of the surface heat flow, even with allowance for the strong near-surface enhancement of radioactives. Despite the simplicity of these models, the persistence of a significant difference between heat generation and heat output indicates that this difference is real and should be incorporated in geochemical modeling of planets.

Schubert, G.↗

Decision-Aiding and Optimization for Vertical Navigation of Long-Haul Aircraft

Most decisions made in the cockpit are related to safety, and have therefore been proceduralized in order to reduce risk. There are very few which are made on the basis of a value metric such as economic cost. One which can be shown to be value based, however, is the selection of a flight profile. Fuel consumption and flight time both have a substantial effect on aircraft operating cost, but they cannot be minimized simultaneously. In addition, winds, turbulence, and performance x,ary widely with altitude and time. These factors make it important and difficult for pilots to (a) evaluate the outcomes associated with a particular trajectory before it is flown and (b) decide among possible trajectories. The two elements of this problem considered here are (1) determining, what constitutes optimality, and (2) finding optimal trajectories. Pilots and dispatchers from major U.S. airlines were surveyed to determine which attributes of the outcome of a flight they considered the most important. Avoiding turbulence-for passenger comfort topped the list of items which were not safety related. Pilots' decision making about the selection of flight profile on the basis of flight time, fuel burn, and exposure to turbulence was then observed. Of the several behavioral and prescriptive decision models invoked to explain the pilots' choices, utility maximization is shown to best reproduce the pilots' decisions. After considering more traditional methods for optimizing trajectories, a novel method is developed using a genetic algorithm (GA) operating on a discrete representation of the trajectory search space. The representation is a sequence of command altitudes, and was chosen to be compatible with the constraints imposed by Air Traffic Control, and with the training given to pilots. Since trajectory evaluation for the GA is performed holistically, a wide class of objective functions can be optimized easily. Also, using the GA it is possible to compare the costs associated with different airspace design and air traffic management policies. A decision aid is proposed which would combine the pilot's notion of optimility with the GA-based optimization, provide the pilot with a number of alternative pareto-optimal trajectories, and allow him to consider un-modelled attributes and constraints in choosing among them. A solution to the problem of displaying alternatives in a multi-attribute decision space is also presented.

Patrick, Nicholas J. M.↗

Optimizing acoustical treatment

A mathematical linear programming model is presented for optimizing acoustical treatment and interior decoration of concert and other public halls. This method provides the designer with a range of acoustically correct solutions at increased economical efficiency. The mathematical model uses geometrical data about the room, recommended reverberation time values, the architect's choice of given sound absorbing structures and finishing materials. The model permits inclusion of aesthetical considerations about conditioning, proportioning, or, on the contrary, reciprocal exclusion of any classes of material and/or sound absorbing structure.

Beuran, N.↗

Low thrust orbit determination program

Logical flow and guidelines are provided for the construction of a low thrust orbit determination computer program. The program, tentatively called FRACAS (filter response analysis for continuously accelerating spacecraft), is capable of generating a reference low thrust trajectory, performing a linear covariance analysis of guidance and navigation processes, and analyzing trajectory nonlinearities in Monte Carlo fashion. The choice of trajectory, guidance and navigation models has been made after extensive literature surveys and investigation of previous software. A key part of program design relied upon experience gained in developing and using Martin Marietta Aerospace programs: TOPSEP (Targeting/Optimization for Solar Electric Propulsion), GODSEP (Guidance and Orbit Determination for SEP) and SIMSEP (Simulation of SEP).

Hong, P. E.↗

Trajectory optimization for the Atlas/Centaur launch vehicle

A method for finding solutions to complex trajectory optimization problems with detailed hardware and launch vehicle constraints is presented. The trajectory optimization problem is formulated as a constrained function minimization problem by modeling the control by a function of a finite number of parameters. Although any parametric control model may be selected, the natural choice of parameters is the actual parameters of the parametric guidance equations flown on the flight digital computer. A variation of the method of multipliers is presented for performing the constrained function minimization. A functional is proposed that allows incorporation of state variable inequality constraints. Finally, optimization of the HEAO-A direct-ascent trajectory is discussed. The HEAO-A mission demonstrates profile optimization to meet range safety, tracking, heating, structural integrity, and attitude rate constraints.

Brusch, R. G.↗

Application of millimeter-wave remote sensing to the investigation of comets

It is pointed out the despite years of investigation, the solid, quasi-permanent component of comets, the nucleus, remains largely a mystery. The composition and thermal properties of the nucleus determine the evolution of the more familiar and often spectacular cometary features, the coma and tail. Under certain circumstances, the nucleus may be obscured by a dust cloud of much higher temperature. The most appropriate technology for the investigation of the surface and subsurface layers of the nucleus is considered to be millimeter-wave sensing from an interplanetary spacecraft. Simple radiative transfer models, adapted from methods employed for the interpretation of remote-sensing data on terrestrial ice and snow fields, are used to predict the millimeter-wave spectra of representative model nuclei. The spectra determine the choice of the minimum set of observing frequencies that is required. An instrument configuration driven by these requirements and guided by available technology and the restraints of a proposed NASA spacecraft is then derived.

Hobbs, R. W.↗

Observer reference triad rotation, magnetic fields, and rotation in Euclidean cosmological models

It is shown that a cosmological model with Euclidean space sections admits fluid flows if a magnetic field is present. Further, if observer reference frames spin in their response to the universe, a vorticity may exist. Limits can be set on any present intergalactic magnetic field of less than 5.38 x 10 to the -10th gauss (for a model with the chosen symmetry and choice of initial field and fluid velocity components).

Fennelly, A. J.↗