Search NASA⌕ Search

SEARCH · Search NASA

Results for “default”

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 19 records

Modelling default and likelihood reasoning as probabilistic reasoning

A probabilistic analysis of plausible reasoning about defaults and about likelihood is presented. Likely and by default are in fact treated as duals in the same sense as possibility and necessity. To model these four forms probabilistically, a qualitative default probabilistic (QDP) logic and its quantitative counterpart DP are derived that allow qualitative and corresponding quantitative reasoning. Consistency and consequent results for subsets of the logics are given that require at most a quadratic number of satisfiability tests in the underlying propositional logic. The quantitative logic shows how to track the propagation error inherent in these reasoning forms. The methodology and sound framework of the system highlights their approximate nature, the dualities, and the need for complementary reasoning about relevance.

Buntine, Wray↗

Analyzing spacecraft configurations through specialization and default reasoning

For an intelligent system to describe a real-world situation using as few statements as possible, it is necessary to make inferences based on observed data and to incorporate general knowledge of the reasoning domain into the description. These reasoning processes must reduce several levels of specific descriptions into only those few that most precisely describe the situation. Moreover, the system must be able to generate descriptions in the absence of data, as instructed by certain rules of inference. The deductions applied by the system, then, generate a high-level description from the low-level evidence provided by the real and default data sources. An implementation of these ideas in a real-world situation is described. The application concerns evaluation of Space Shuttle electromechanical system configurations by console operators in the Mission Control Center. A production system provides the reasoning mechanism through which the default assignments and specializations occur. Examples are provided within this domain for each type of inference, and the suitability is discussed of each toward achieving the goal of describing a situation in the fewest statements possible. Finally, several enhancements are suggested that will further increase the intelligence of similar spacecraft monitoring applications.

Barry, Matthew R.↗

Modelling default and likelihood reasoning as probabilistic

A probabilistic analysis of plausible reasoning about defaults and about likelihood is presented. 'Likely' and 'by default' are in fact treated as duals in the same sense as 'possibility' and 'necessity'. To model these four forms probabilistically, a logic QDP and its quantitative counterpart DP are derived that allow qualitative and corresponding quantitative reasoning. Consistency and consequence results for subsets of the logics are given that require at most a quadratic number of satisfiability tests in the underlying propositional logic. The quantitative logic shows how to track the propagation error inherent in these reasoning forms. The methodology and sound framework of the system highlights their approximate nature, the dualities, and the need for complementary reasoning about relevance.

Buntine, Wray↗

Observer properties for understanding dynamical displays: Capacities, limitations, and defaults

People's ability to extract relevant information while viewing ongoing events is discussed in terms of human capabilities, limitations, and defaults. A taxonomy of event complexity is developed which predicts which dynamical events people can and cannot construe. This taxonomy is related to the distinction drawn in classical mechanics between particle and extended body motions. People's commonsense understandings of simple mechanical systems are impacted little by formal training, but rather reflect heuristical simplifications that focus on a single dimension of perceived dynamical relevance.

Proffitt, Dennis R.↗

Gravitropic moss cells default to spiral growth on the clinostat and in microgravity during spaceflight

In addition to shoots and roots, the gravity (g)-vector orients the growth of specialized cells such as the apical cell of dark-grown moss protonemata. Each apical cell of the moss Ceratodon purpureus senses the g-vector and adjusts polar growth accordingly producing entire cultures of upright protonemata (negative gravitropism). The effect of withdrawing a constant gravity stimulus on moss growth was studied on two NASA Space Shuttle (STS) missions as well as during clinostat rotation on earth. Cultures grown in microgravity (spaceflight) on the STS-87 mission exhibited two successive phases of non-random growth and patterning, a radial outgrowth followed by the formation of net clockwise spiral growth. Also, cultures pre-aligned by unilateral light developed clockwise hooks during the subsequent dark period. The second spaceflight experiment flew on STS-107 which disintegrated during its descent on 1 February 2003. However, most of the moss experimental hardware was recovered on the ground, and most cultures, which had been chemically fixed during spaceflight, were retrieved. Almost all intact STS-107 cultures displayed strong spiral growth. Non-random culture growth including clockwise spiral growth was also observed after clinostat rotation. Together these data demonstrate the existence of default non-random growth patterns that develop at a population level in microgravity, a response that must normally be overridden and masked by a constant g-vector on earth.

Non-NASA Center↗

On a production system using default reasoning for pattern classification

This paper addresses an unconventional application of a production system to a problem involving belief specialization. The production system reduces a large quantity of low-level descriptions into just a few higher-level descriptions that encompass the problem space in a more tractable fashion. This classification process utilizes a set of descriptions generated by combining the component hierarchy of a physical system with the semantics of the terminology employed in its operation. The paper describes an application of this process in a program, constructed in C and CLIPS, that classifies signatures of electromechanical system configurations. The program compares two independent classifications, describing the actual and expected system configurations, in order to generate a set of contradictions between the two.

Barry, Matthew R.↗

Default taxonomy: Ernst Mayr's view of the microbial world

This perspective is a response to a taxonomic proposal by E. Mayr ["Two empires or three?" (1998) Proc. Natl. Acad. Sci. USA 95, 9720-9723]. Mayr has suggested that the now accepted classification of life into three primary domains, Archaea, Bacteria, and Eucarya-originally proposed by myself and others--be abandoned in favor of the earlier Prokaryote-Eukaryote classification. Although the matter appears a taxonomic quibble, it is not that simple. At issue here are differing views as to the nature of biological classification, which are underlain by differing views as to what biology is and will be--matters of concern to all biologists.

Non-NASA Center↗

Use of Navier-Stokes methods for the calculation of high-speed nozzle flow fields

Flows through three reference nozzles have been calculated to determine the capabilities and limitations of the widely used Navier-Stokes solver, PARC. The nozzles examined have similar dominant flow characteristics as those considered for supersonic transport programs. Flows from an inverted velocity profile (IVP) nozzle, an under expanded nozzle, and an ejector nozzle were examined. PARC calculations were obtained with its standard algebraic turbulence model, Thomas, and the two-equation turbulence model, Chien k-epsilon. The Thomas model was run with the default coefficient of mixing set at both 0.09 and a larger value of 0.13 to improve the mixing prediction. Calculations using the default value substantially underpredicted the mixing for all three flows. The calculations obtained with the higher mixing coefficient better predicted mixing in the IVP and underexpanded nozzle flows but adversely affected PARC's convergence characteristics for the IVP nozzle case. The ejector nozzle case did not converge with the Thomas model and the higher mixing coefficient. The Chien k-epsilon results were in better agreement with the experimental data overall than were those of the Thomas run with the default mixing coefficient, but the default boundary conditions for k and epsilon underestimated the levels of mixing near the nozzle exits.

Georgiadis, Nicholas J.↗

AXAF Coordinate Transformation at XRCF

Coordinate transformation between focal plane and detector pixel systems must be handled carefully at the X-ray Calibration Facility (XRCF) as it will be during flight. The High Resolution Mirror Assembly (HRMA) X-ray Detection System (HXDS) stage dithers, and the five-axis mount (FAM) attachment points underwent various types of motion during testing. At the XRCF when the FAM moved, the Science Instrument Module (SIM) travel direction was not necessarily aligned with the mirror axis motion, and, in addition, an arbitrary position offset had to be calibrated. Misalignment from the mirror axis was assessed by measuring its displacement from the boresight configuration of the default FAM frame, and the HXDS stage was monitored for motion from the default FAM reference point. Mirror position, prescribed in a mirror modal coordinate system, was measured in HRMA pitch and yaw axes. Prior to corrections for dithering and FAM movement, the coordinate data at XRCF also had to be corrected for possible misalignments of the mirror mount relative to XRCF and the default FAM axes due to the movement of the FAM feet. Those misalignments were processed in terms of yaw-pitch-roll Euler angles in the mirror nodal coordinate, and in the default FAM frame, respectively. An AXAF Science Center (ASC) coordinate library, pixlib, has been built to support these coordinate transformations and was used during x-ray calibration at the George C. Marshall Space Flight Center, Huntsville, AL. The design and implementation of this library will be discussed.

He, Helen↗

Reformulating Non-Monotonic Theories for Inference and Updating

We aim to help build programs that do large-scale, expressive non-monotonic reasoning (NMR): especially, 'learning agents' that store, and revise, a body of conclusions while continually acquiring new, possibly defeasible, premise beliefs. Currently available procedures for forward inference and belief revision are exhaustive, and thus impractical: they compute the entire non-monotonic theory, then re-compute from scratch upon updating with new axioms. These methods are thus badly intractable. In most theories of interest, even backward reasoning is combinatoric (at least NP-hard). Here, we give theoretical results for prioritized circumscription that show how to reformulate default theories so as to make forward inference be selective, as well as concurrent; and to restrict belief revision to a part of the theory. We elaborate a detailed divide-and-conquer strategy. We develop concepts of structure in NM theories, by showing how to reformulate them in a particular fashion: to be conjunctively decomposed into a collection of smaller 'part' theories. We identify two well-behaved special cases that are easily recognized in terms of syntactic properties: disjoint appearances of predicates, and disjoint appearances of individuals (terms). As part of this, we also definitionally reformulate the global axioms, one by one, in addition to applying decomposition. We identify a broad class of prioritized default theories, generalizing default inheritance, for which our results especially bear fruit. For this asocially monadic class, decomposition permits reasoning to be localized to individuals (ground terms), and reduced to propositional. Our reformulation methods are implementable in polynomial time, and apply to several other NM formalisms beyond circumscription.

Grosof, Benjamin N.↗

A Systems Model for Power Technology Assessment

A computer model is under continuing development at NASA Glenn Research Center that enables first-order assessments of space power technology. The model, an evolution of NASA Glenn's Array Design Assessment Model (ADAM), is an Excel workbook that consists of numerous spreadsheets containing power technology performance data and sizing algorithms. Underlying the model is a number of databases that contain default values for various power generation, energy storage and power management and distribution component parameters. These databases are actively maintained by a team of systems analysts so that they contain state-of-art data as well as the most recent technology performance projections. Sizing of the power subsystems can be accomplished either by using an assumed mass specific power (W/kg) or energy (Wh/kg) or by a bottoms-up calculation that accounts for individual component performance and masses. The power generation, energy storage and power management and distribution subsystems are sized for given mission requirements for a baseline case and up to three alternatives. This allows four different power systems to be sized and compared using consistent assumptions and sizing algorithms. The component sizing models contained in the workbook are modular so that they can be easily maintained and updated. All significant input values have default values loaded from the databases that can be over-written by the user. The default data and sizing algorithms for each of the power subsystems are described in some detail. The user interface and workbook navigational features are also discussed. Finally, an example study case that illustrates the model's capability is presented.

Hoffman, David J.↗

Optimizing Muscle Parameters in Musculoskeletal Modeling Using Monte Carlo Simulations

Astronauts assigned to long-duration missions experience bone and muscle atrophy in the lower limbs. The use of musculoskeletal simulation software has become a useful tool for modeling joint and muscle forces during human activity in reduced gravity as access to direct experimentation is limited. Knowledge of muscle and joint loads can better inform the design of exercise protocols and exercise countermeasure equipment. In this study, the LifeModeler(TM) (San Clemente, CA) biomechanics simulation software was used to model a squat exercise. The initial model using default parameters yielded physiologically reasonable hip-joint forces. However, no activation was predicted in some large muscles such as rectus femoris, which have been shown to be active in 1-g performance of the activity. Parametric testing was conducted using Monte Carlo methods and combinatorial reduction to find a muscle parameter set that more closely matched physiologically observed activation patterns during the squat exercise. Peak hip joint force using the default parameters was 2.96 times body weight (BW) and increased to 3.21 BW in an optimized, feature-selected test case. The rectus femoris was predicted to peak at 60.1% activation following muscle recruitment optimization, compared to 19.2% activation with default parameters. These results indicate the critical role that muscle parameters play in joint force estimation and the need for exploration of the solution space to achieve physiologically realistic muscle activation.

Hanson, Andrea↗

Missing Data and Multiple Imputation: An Unbiased Approach

The default method of dealing with missing data in statistical analyses is to only use the complete observations (complete case analysis), which can lead to unexpected bias when data do not meet the assumption of missing completely at random (MCAR). For the assumption of MCAR to be met, missingness cannot be related to either the observed or unobserved variables. A less stringent assumption, missing at random (MAR), requires that missingness not be associated with the value of the missing variable itself, but can be associated with the other observed variables. When data are truly MAR as opposed to MCAR, the default complete case analysis method can lead to biased results. There are statistical options available to adjust for data that are MAR, including multiple imputation (MI) which is consistent and efficient at estimating effects. Multiple imputation uses informing variables to determine statistical distributions for each piece of missing data. Then multiple datasets are created by randomly drawing on the distributions for each piece of missing data. Since MI is efficient, only a limited number, usually less than 20, of imputed datasets are required to get stable estimates. Each imputed dataset is analyzed using standard statistical techniques, and then results are combined to get overall estimates of effect. A simulation study will be demonstrated to show the results of using the default complete case analysis, and MI in a linear regression of MCAR and MAR simulated data. Further, MI was successfully applied to the association study of CO2 levels and headaches when initial analysis showed there may be an underlying association between missing CO2 levels and reported headaches. Through MI, we were able to show that there is a strong association between average CO2 levels and the risk of headaches. Each unit increase in CO2 (mmHg) resulted in a doubling in the odds of reported headaches.

Foy, M.↗

Detection of Coccolithophore Blooms in Ocean Color Satellite Imagery: a Generalized Approach for Use with Multiple Sensors

A generalized coccolithophore bloom classifier has been developed for use with ocean color imagery. The bloom classifier was developed using extracted satellite reflectance data from SeaWiFS images screened by the default bloom detection mask. In the current application, we extend the optical water type (OWT) classification scheme by adding a new coccolithophore bloom class formed from these extracted reflectances. Based on an in situ coccolithophore data set from the North Atlantic, the detection levels with the new scheme were between 1,500 and 1,800 coccolithophore cellsmL and 43,000 and 78,000 lithsmL. The detected bloom area using the OWT method was an average of 1.75 times greater than the default bloom detector based on a collection of SeaWiFS 1 km imagery. The versatility of the scheme is shown with SeaWiFS, MODIS Aqua, CZCS and MERIS imagery at the 1 km scale. The OWT scheme was applied to the daily global SeaWiFS imagery mission data set (years 19972010). Based on our results, average annual coccolithophore bloom area was more than two times greater in the southern hemisphere compared to the northern hemi- sphere with values of 2.00 106 km2 and 0.75 106 km2, respectively. The new algorithm detects larger bloom areas in the Southern Ocean compared to the default algorithm, and our revised global annual average of 2.75106 km2 is dominated by contributions from the Southern Ocean.

chlorophyll fluorescence↗

An Upper Bound on Orbital Debris Collision Probability When Only One Object has Position Uncertainty Information

Upper bounds on high speed satellite collision probability, P (sub c), have been investigated. Previous methods assume an individual position error covariance matrix is available for each object. The two matrices being combined into a single, relative position error covariance matrix. Components of the combined error covariance are then varied to obtain a maximum P (sub c). If error covariance information for only one of the two objects was available, either some default shape has been used or nothing could be done. An alternative is presented that uses the known covariance information along with a critical value of the missing covariance to obtain an approximate but useful P (sub c) upper bound. There are various avenues along which an upper bound on the high speed satellite collision probability has been pursued. Typically, for the collision plane representation of the high speed collision probability problem, the predicted miss position in the collision plane is assumed fixed. Then the shape (aspect ratio of ellipse), the size (scaling of standard deviations) or the orientation (rotation of ellipse principal axes) of the combined position error ellipse is varied to obtain a maximum P (sub c). Regardless as to the exact details of the approach, previously presented methods all assume that an individual position error covariance matrix is available for each object and the two are combined into a single, relative position error covariance matrix. This combined position error covariance matrix is then modified according to the chosen scheme to arrive at a maximum P (sub c). But what if error covariance information for one of the two objects is not available? When error covariance information for one of the objects is not available the analyst has commonly defaulted to the situation in which only the relative miss position and velocity are known without any corresponding state error covariance information. The various usual methods of finding a maximum P (sub c) do no good because the analyst defaults to no knowledge of the combined, relative position error covariance matrix. It is reasonable to think, given an assumption of no covariance information, an analyst might still attempt to determine the error covariance matrix that results in an upper bound on the P (sub c). Without some guidance on limits to the shape, size and orientation of the unknown covariance matrix, the limiting case is a degenerate ellipse lying along the relative miss vector in the collision plane. Unless the miss position is exceptionally large or the at-risk object is exceptionally small, this method results in a maximum P (sub c) too large to be of practical use. For example, assuming that the miss distance is equal to the current ISS alert volume along-track (+ or -) distance of 25 kilometers and that the at-risk area has a 70 meter radius. The maximum (degenerate ellipse) P (sub c) is about 0.00136. At 40 kilometers, the maximum P (sub c) would be 0.00085 which is still almost an order of magnitude larger than the ISS maneuver threshold of 0.0001. In fact, a miss distance of almost 340 kilometers is necessary to reduce the maximum P (sub c) associated with this degenerate ellipse to the ISS maneuver threshold value. Such a result is frequently of no practical value to the analyst. Some improvement may be made with respect to this problem by realizing that while the position error covariance matrix of one of the objects (usually the debris object) may not be known the position error covariance matrix of the other object (usually the asset) is almost always available. Making use of the position error covariance information for the one object provides an improvement in finding a maximum P (sub c) which, in some cases, may offer real utility. The equations to be used are presented and their use discussed.

Frisbee, Joseph H., Jr.↗

Improvements to an Explicit Algebraic Stress Model for Turbulent Jet Mixing Predictions

Modifications to key coefficients in a k − E based explicit algebraic stress model (EASM) are examined with the objective of improving the prediction of turbulent jet flows. The pressure strain coefficient, C2 and the turbulent diffusion coefficients, σk and σE were investigated. For a series of benchmark subsonic jets at heated and unheated conditions, lowering C2 from the default value of 0.36 to 0.10 resulted in a significant improvement in the jet mixing, when compared to experimental data. Changing σk and σE from default values of 1.00 and 1.4489, respectively, to 0.50 and 0.7244, respectively, improved the initial mixing rate, while reducing the farfield mixing rate and the peak turbulent kinetic energy along the centerline. A high-speed mixing layer was also investigated for performance of baseline and modified EASM coefficients, with similar results as for the jet cases. A flat plate boundary layer was briefly examined to determine the effects of changing the coefficients on the turbulent skin friction coefficient. The change to the pressure strain coefficient, C2 = 0.10 is recommended for future EASM calculation of jets flow; however, it is also recommended that the diffusion coefficients remain at their default values.

Turbulent Mixing↗

Assessment of Retrieved GMI Emissivity Over Land, Snow, and Sea Ice in the GEOS System

Directly assimilating microwave radiances over land, snow and sea ice remains a significant challenge for data assimilation systems. These data assimilation systems are critical to the success of global numerical weather prediction systems including the Global Earth Observing System-Atmospheric Data Assimilation System (GEOS-ADAS). Extending more surface sensitive microwave channels over land, snow and ice could provide a needed source of data for Numerical Weather Prediction particularly in the Planetary Boundary Layer (PBL). Unfortunately, the accuracy of emissivity models currently available within the GEOS-ADAS along with other data assimilation systems are insufficient to simulate and assimilate radiances. Recently, Munchak et al. (2020) published a 5-year climatological database for retrieved microwave emissivity from the GPM Microwave Imager (GMI) aboard the Global Precipitation Mission (GPM). In this work the database is utilized by modifying the GEOS-ADAS to use this emissivity database in place of the default emissivity value available in the Community Radiative Transfer Model (CRTM), which is the fast radiative transfer model used by the GEOS-ADAS. As a first step, the GEOS-ADAS is run in a so-called “stand-alone” mode to simulate radiances from GMI using the default CRTM emissivity, and replacing the default CRTM emissivity models with values from Munchak et al, 2020. The simulated observations using Munchak et al., 2020 agree more closely with observations from GMI. These results are presented along with a discussion of the implication for GMI observations within the GEOS-ADAS.

GPM↗

Flight dynamics analysis and simulation of heavy lift airships, volume 4. User's guide: Appendices

This table contains all of the input variables to the three programs. The variables are arranged according to the name list groups in which they appear in the data files. The program name, subroutine name, definition and, where appropriate, a default input value and any restrictions are listed with each variable. The default input values are user supplied, not generated by the computer. These values remove a specific effect from the calculations, as explained in the table. The phrase "not used' indicates that a variable is not used in the calculations and are for identification purposes only. The engineering symbol, where it exists, is listed to assist the user in correlating these inputs with the discussion in the Technical Manual.

Emmen, R. D.↗