Search NASA⌕ Search

SEARCH · Search NASA

Results for “explainability”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Impact Hydrothermal Alteration of Terrestrial Basalts: Explaining the Rock Component of the Martian Soil

The large energy in terrestrial impacts can create hydrothermal systems and consequently produce hydrothermal alteration materials. In this study we consider the chemistry of impact and volcanic hydrothermal alteration under relatively low water/rock ratios in basaltic or a somewhat more evolved protolith. Our work on the Lonar and Mistastin craters suggests that Fe-rich clays, including Fe-rich saponite can be produced. We postulate that similar alteration materials are produced on Mars and could be a component of the martian soil or regolith, contrary to some earlier studies. The martian regolith is a globally homogenized product of various weathering processes. The soil [1] is thought to consist of a rock component, with lesser amounts of mobile elements (Ca, Na, and K) than a presumed protolith, and a salt or mobile element component enriched in sulfur and chlorine [2, 3]. In this study we consider the contributions of impacts and consequent hydrothermal processes to the rock component of the martian soil.

Nelson, M. J.↗
NASA NTRS2002

What Went Wrong: Explaining Counterexamples

Model checking, initially successful in the field of hardware design, has recently been applied to software. One of the chief advantages of model checking is the production of counterexamples demonstrating that a system does not satisfy a speci cation. However, it may require a great deal of human effort to extract the essence of an error from even a detailed source-level trace of a failing run. We use an automated method for nding multiple versions of an error (and similar executions that do not produce an error), and analyze these executions to produce a more succinct description of the key elements of the error. The description produced includes identi cation of portions of the source code crucial to distinguishing failing and succeeding runs, di erences in invariants between failing and non-failing runs, and information on the necessary changes in scheduling and environmental actions needed to cause suc- cessful runs to fail. In addition, this analysis allows a classi cation of errors by features such as whether they are purely concurrent (i.e. can be induced by changing only thread scheduling).

Groce, Alex↗
NASA NTRS2003

Can Low Water/Rock Hydrothermal Alteration of Impact Materials Explain the Rock Component of the Martian Soil?

The martian regolith is a globally homogenized product of chemical and aeolian weathering processes. The soil is thought to consist of a rock component, with lesser amounts of mobile elements (Ca, Na, and K) than a presumed protolith, and a salt or mobile element component enriched in sulfur and chlorine. In this study we consider the contributions of hydrothermal processes to the origin of the rock component of the martian soil.

Nelson, M. J.↗
NASA NTRS2004

Explaining the Mid-Latitude Ice Deposits with a General Circulation Model

We have examined the influence of a regolith on the water cycle with a focus on high obliquity periods on Mars. Our findings show that while the regolith will almost certainly interact with the atmosphere initially, it is only a transient effect, and ice will form on the surface once the regolith is effectively isolated from the atmosphere. These low latitude deposits could conceivably be ice deposits formed at high obliquity and are certainly presently out of thermal equilibrium, but remain due to the insulating effect of a dust lag.

Mischna, M. A.↗
NASA NTRS1985

Geoperception in primary and lateral roots of Phaseolus vulgaris (Fabaceae). III. A model to explain the differential georesponsiveness of primary and lateral roots

Half-tipped primary and lateral roots of Phaseolus vulgaris bend toward the side of the root on which the intact half tip remains. Therefore, tips of lateral and primary roots produce growth effectors capable of inducing gravicurvature. The asymmetrical placement of a tip of a lateral root onto a detipped primary root results in the root bending toward the side of the root onto which the tip was placed. That is, the lesser graviresponsiveness of lateral roots as compared with primary roots is not due to the inability of their caps to produce growth inhibitors. The more pronounced graviresponsiveness of primary roots is positively correlated with the presence of columella tissues that are 3.8 times longer, 1.7 times wider, and 10.5 times more voluminous than the columellas of lateral roots. We propose that the lack of graviresponsiveness exhibited by lateral roots is due to the fact that they (i) produce smaller amounts of the inhibitor than primary (i.e., strongly graviresponsive) roots and (ii) are unable to redistribute the inhibitor so as to be able to create a concentration gradient sufficient to induce a pronounced gravitropic response.

NASA Program Space Biology↗
NASA NTRS2004

Absorption Reveals and Hydrogen Addition Explains New Interstellar Aldehydes: Propenal and Propanal

New interstellar molecules propenal (CH2CHCHO) and propanal (CH3CH2CHO) have been detected largely in absorption toward the star-forming region Sagittarius B2(N) by means of rotational transitions observed with the 100-m Green Bank Telescope (GBT) operating in the range of 18 GHz (lambda approximately 1.7 cm) to 26 GHz (lambda approximately 1.2 cm). The GBT was also used to observe the previously reported interstellar aldehyde propynal (HC2CHO) in Sagittarius B2(N) which is known for large molecules believed to form on interstellar grains. The presence of these three interstellar aldehydes toward Sagittarius B2(N) strongly suggests that simple hydrogen addition on interstellar grains accounts for successively larger molecular species: from propynal to propenal and from propenal to propanal. Energy sources within Sagittarius B2(N) likely permit the hydrogen addition reactions on grain surfaces to proceed. This work demonstrates that successive hydrogen addition is probably an important chemistry route in the formation of a number of complex interstellar molecules. We also searched for but did not detect the three-carbon sugar glyceraldehyde (CH2OHCHOHCHO).

Hollis, J. M.↗
NASA NTRS2001

Thalamocortical NMDA conductances and intracortical inhibition can explain cortical temporal tuning

Cells in cerebral cortex fail to respond to fast-moving stimuli that evoke strong responses in the thalamic nuclei innervating the cortex. The reason for this behavior has remained a mystery. We study an experimentally motivated model of the thalamic input-recipient layer of cat primary visual cortex that accounts for many aspects of cortical orientation tuning. In this circuit, inhibition dominates over excitation, but temporal modulations of excitation and inhibition occur out of phase with one another, allowing excitation to transiently drive cells. We show that this circuit provides a natural explanation of cortical low-pass temporal frequency tuning, provided N-methyl-D-aspartate (NMDA) receptors are present in thalamocortical synapses in proportions measured experimentally. This suggests a new and unanticipated role for NMDA conductances in shaping the temporal response properties of cortical cells, and suggests that common cortical circuit mechanisms underlie both spatial and temporal response tuning.

Synapses/metabolism↗
NASA NTRS1999

Detection in fixed and random noise in foveal and parafoveal vision explained by template learning

Foveal and parafoveal contrast detection thresholds for Gabor and checkerboard targets were measured in white noise by means of a two-interval forced-choice paradigm. Two white-noise conditions were used: fixed and twin. In the fixed noise condition a single noise sample was presented in both intervals of all the trials. In the twin noise condition the same noise sample was used in the two intervals of a trial, but a new sample was generated for each trial. Fixed noise conditions usually resulted in lower thresholds than twin noise. Template learning models are presented that attribute this advantage of fixed over twin noise either to fixed memory templates' reducing uncertainty by incorporation of the noise or to the introduction, by the learning process itself, of more variability in the twin noise condition. Quantitative predictions of the template learning process show that it contributes to the accelerating nonlinear increase in performance with signal amplitude at low signal-to-noise ratios.

NASA Center ARC↗
NASA NTRS1992

Experimental tests of a superposition hypothesis to explain the relationship between the vestibuloocular reflex and smooth pursuit during horizontal combined eye-head tracking in humans

1. We used a modeling approach to test the hypothesis that, in humans, the smooth pursuit (SP) system provides the primary signal for cancelling the vestibuloocular reflex (VOR) during combined eye-head tracking (CEHT) of a target moving smoothly in the horizontal plane. Separate models for SP and the VOR were developed. The optimal values of parameters of the two models were calculated using measured responses of four subjects to trials of SP and the visually enhanced VOR. After optimal parameter values were specified, each model generated waveforms that accurately reflected the subjects' responses to SP and vestibular stimuli. The models were then combined into a CEHT model wherein the final eye movement command signal was generated as the linear summation of the signals from the SP and VOR pathways. 2. The SP-VOR superposition hypothesis was tested using two types of CEHT stimuli, both of which involved passive rotation of subjects in a vestibular chair. The first stimulus consisted of a "chair brake" or sudden stop of the subject's head during CEHT; the visual target continued to move. The second stimulus consisted of a sudden change from the visually enhanced VOR to CEHT ("delayed target onset" paradigm); as the vestibular chair rotated past the angular position of the stationary visual stimulus, the latter started to move in synchrony with the chair. Data collected during experiments that employed these stimuli were compared quantitatively with predictions made by the CEHT model. 3. During CEHT, when the chair was suddenly and unexpectedly stopped, the eye promptly began to move in the orbit to track the moving target. Initially, gaze velocity did not completely match target velocity, however; this finally occurred approximately 100 ms after the brake onset. The model did predict the prompt onset of eye-in-orbit motion after the brake, but it did not predict that gaze velocity would initially be only approximately 70% of target velocity. One possible explanation for this discrepancy is that VOR gain can be dynamically modulated and, during sustained CEHT, it may assume a lower value. Consequently, during CEHT, a smaller-amplitude SP signal would be needed to cancel the lower-gain VOR. This reduction of the SP signal could account for the attenuated tracking response observed immediately after the brake. We found evidence for the dynamic modulation of VOR gain by noting differences in responses to the onset and offset of head rotation in trials of the visually enhanced VOR.(ABSTRACT TRUNCATED AT 400 WORDS).

Non-NASA Center↗
NASA NTRS2005

Space Weathering: A Proposed Laboratory Approach to Explaining the Sulfur Depletion on Eros

Space weathering is the cumulative effect of physical and chemical changes that occur to substances exposed on the exterior of body void of an atmosphere [1], in this case the regolith on asteroid Eros. It is only recently that the scientific community has accepted the theory first developed in the mid- 1970s by Hapke and his colleagues of how space weathering occurs. The theory [1] asserts that optical and magnetic effects, first studied on moon rocks and lunar regolith, are caused by submicroscopic metallic iron (SMFe), smaller than the wavelength of light in vapor deposit coatings, on regolith grains, and in agglutinates. This vapor is generated by solar wind and micrometeorite impacts and does not require additional heating, melting, or a reducing environment to produce space weathering. One of the major finds of the first detailed reconnaissance of an asteroid by the NEAR Shoemaker mission was that the surface of Eros was essentially chondritic yet showed major depletions in sulfur [2, 3]. Here we propose space weathering sputtering experiments that may contribute to the explanation of sulfur depletion on asteroid Eros.

Franzen, M. A.↗
NASA NTRS2006

Explaining Verification Conditions

The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs themselves. We describe a systematic extension of the Hoare rules by labels so that the calculus itself can be used to build up explanations of the VCs. The labels are maintained through the different processing steps and rendered as natural language explanations. The explanations can easily be customized and can capture different aspects of the VCs; here, we focus on their structure and purpose. The approach is fully declarative and the generated explanations are based only on an analysis of the labels rather than directly on the logical meaning of the underlying VCs or their proofs. Keywords: program verification, Hoare calculus, traceability.

Deney, Ewen↗
NASA NTRS1996

Absorption of Sunlight by Water Vapor in Cloudy Conditions: A Partial Explaination for the Cloud Absorption Anomaly

The atmospheric radiative transfer algorithms used in most global general circulation models underestimate the globally-averaged solar energy absorbed by cloudy atmospheres by up to 25 Wm(sup -2)...Here, a sophisticated atmospheric radiative transfer model was used to provide a more comprehensive description of the physical processes that contribute to the absorption of solar radiation by the Earth's atmosphere.

absorption transfer algorithms circulation models ↗
NASA NTRS2006

Computer Modeling of Thermal Convection in Melts to Explain Glass Formation in Low Gravity and on Earth

Experiments conducted up to this time on glass forming melts in the low gravity environment of space show that glasses prepared in low-g are more chemically homogeneous and more resistant to crystallization than the comparable glasses prepared at 1-g on Earth. This result is somewhat surprising and opposite to the accepted concept on glass formation for a melt. A hypothesis based on "shear thinning" of a melt, a decrease in viscosity with increasing shear stress, is proposed as an explanation for the observed low-gravity results. This paper describes detailed simulation procedures to test the role of thermal convection in introducing shear stress in glass forming melts, using a lithium disilcate melt as a model. The simulation system in its idealized version consists of a cylinder that is heated at one end and cooled at the other with gravity acting in a transverse direction to the thermal gradient. The side wall of the cylinder is assumed to be insulating. The governing equations of motion and energy are solved using variable properties for viscosity (Arrehenius and non-Arrehenius behaviors) and density (constant and temperature dependent). Other parametric variables in the calculations include gravity level and gravity vector orientation. The shear stress in the system are then computed as a function of gravity from the calculated values of maximum melt velocity, and its effect on melt viscosity (shear thinning) is predicted. Also included and discussed are the modeling efforts related to other potential convective processes in glass forming melts and their possible effects on melt viscosity.

Ray, Chandra S.↗
NASA NTRS2010

Workmanship Standards Personnel Training and Certification Explained

This slide presentation reviews the standards that NASA requires for workmanship and discusses the rationale and the NASA-STD-8739.x standard series. The training and certification of inspectors and operators is to guarantee that workmanship is qualified for NASA applications. The NASA workmanship standard documents review the standards for: Polymeric Applications, Surface Mount Technology, Soldered Electrical Connections, Crimp, Cable and Harnesses, Fiber Optic Terminations, including ANSI and IPC standards for Electrostatic Discharge Safety, Space Applications Electronic Hardware and Requirements for Soldered Electrical and Electronic Assemblies. It also reviews the certification requirements for appropriate personnel. It also reviews the various levels of trainers for the various requirements. There is also a review of calibration requirements for training equipment. Some variations on the curriculum are allowed. NASA requires operators and inspectors to be certified by their employer to ensure that oversight is being performed.

Plante, Jeannette F.↗
NASA NTRS2010

AIRS Water Vapor and Cloud Products Validate and Explain Recent Short Term Decreases in Global and Tropical OLR as Observed by CERES

A strong equatorial SST cooling occurred from 160E westward to 120W during the period of September 2002 through August 2010, surrounded by a weaker warming ring to the west. This is the result of a transition from a strong El Nino in late 2002 to a strong La Nina in 2008. Late 2009 is characterized by the beginning of another El Nino. Average rates of change (ARC's) in 500mb specific humidity and cloud cover are in phase with those in the Sea surface temperature (SST). In the El Nino and surrounding region causing outgoing longwave radiation (OLR), to decrease significantly near the dateline and increase in the vicinity of Indonesia. Tropical OLR ARC's in these two areas cancel each other to first order. The negative zonal mean tropical OLR ARC from a drop in equatorial OLR in region 1 from 140W to 40E. This results from increasing water vapor and cloud cover in this area during La Nina with the reverse holding during El Nino.

Susskind, Joel↗