Search NASA⌕ Search

SEARCH · Search NASA

Results for “Abstract Interpretation”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Automated model formulation for time-varying flexible structures

Presented here is an identification technique that uses the sensor information to choose a new model out of a finite set of discrete model space, in order to follow the observed changes to the given time varying flexible structure. Boundary condition sets or other information on model variations are used to organize the set of possible models laterally into a search tree with levels of abstraction used to order the models vertically within branches. An object-oriented programming approach is used to represent the model set in the search tree. A modified A (asterisk) best first search algorithm finds the model where the model response best matches the current observations. Several extensions to this methodology are discussed. Methods of possible integration of rules with the current search algorithm are considered to give weight to interpreted trends that may be found in a series of observations. This capability might lead, for instance, to identifying a model that incorporates a progressive damage rather than with incorrect paramenters such as added mass. Another new direction is to consider the use of noisy time domain sensor feedback rather than frequency domain information in the search algorithm to improve the real-time capability of the developed procedure.

Glass, B. J.↗
NASA NTRSDate not supplied

Mars Science Laboratory Mastcam Multispectral Investigation of Drill Targets From the Beginning of the Clay Sulfate Transition to Marker Band Valley

In March, 2021 the Mars Science Laboratory Curiosity rover officially started exploring the Clay Sulfate Transition (CST). This area of Mt. Sharp has been interpreted to have hydrated Mg-sulfate spectral signatures in CRISM orbital data, and it no longer has the strong phyllosilicate spectral signature as the previous Glen Torridon region. Recently, the Curiosity rover has also encountered the marker band that was also identified in orbital data [1,3]. This shift from phyllosilicates to hydrated Mg-sulfates suggests a major change in the environmental conditions during which these rocks were deposited. This abstract focuses on changes seen in the Mastcam multispectral data between the CST drill targets.

S R Jacob↗
NASA NTRS1980

Voyager-Jupiter radio science data papers

The reduction and interpretation of the radio science data from the Voyager 1 and 2 encounters of the planet Jupiter and its satellites resulted in the preparation of several papers for publication in the special Voyager-Jupiter issue of the Journal of Geophysical Research. The radio science and tracking systems of the Deep Space Network provide the data which makes this research possible. This article lists submitted papers by title, with their authors and with abstracts of their contents.

Levy, G. S.↗
NASA NTRS1986

Medium and large-scale variations of dynamo-induced electric fields from AE ion drift measurements

Current models of the low latitude electric field are largely based on data from incoherent scatter radars. These observations are extended through the addition of the rather extensive high quality electric field measurements from the Ion Drift Meter (IDM) aboard the Atmosphere Explorer (AE) spacecraft. Some preliminary results obtained from the Unified Abstract files of satellite AE-E are presented. This satellite was active from the end of 1975 through June 1981 in various elliptical and circular orbits having an inclination near 20 deg. The resulting data can be examined for the variation of ion drift with latitude, longitude, season, solar cycle, altitude, and magnetic activity. The results presented deal primarily with latitudinal variations of the drift features. Diagrams of data are given and briefly interpreted. The preliminary results presented here indicate that IDM data from the AE and the more recent Dynamics Explorer B spacecraft should continue to disclose some interesting and previously unobserved dynamical features of the low latitude F region.

Coley, W. R.↗
NASA NTRS1999

Near-Infrared Hyperspectral Image Cubes of Mars during the 1999 Opposition

We used the Goddard Space Flight Center, Acousto-Optic Tunable Filter (AOTF) Camera to obtain near-IR spectral image sets of Mars over the 1.6-3.6 micron region during the April 1999 opposition. A complete image set consists of 280 images with a spectral full-width-half maximum of 10 wavenumbers (fixed in frequency), 90 images in H-band (1.55-1.80 micron), 115 images in K-band (1.95-2.50 micron) and 75 images in L-band (2.90-3.70 micron). The short-wavelength limit is set by transmission of AOTF cell and long-wavelength limit is imposed by sensitivity of PICNIC, 256x256, HgCdTe array detector. We will discuss the new array performance and provide preliminary interpretations of some of these results. These measurements were part of a 4-observatory coordinated effort whose overall objective was to assemble a photometrically calibrated, spectrally complete ground-based image cube over the visible and near-IR spectral region. To accomplish this, four observing teams conducted the investigations with instruments spanning 0.4 to 5.0 micron. The instruments and observing facilities were (a) AOTF camera at Apache Point Observatory, 3.5m, f/10, Nasymth focus (this abstract). Primary science targets included the 3 micron water-of hydration feature and CO2, H2O ice (polar regions and clouds); (b) Visible/NIR interference-filter (24 filters) camera at Lowell Observatory, 72" telescope. 430-1050 nm. Science targets were Fe(2+), Fe(3+) mineralogy and coarse grain hematite search; (c) NMSU Tortugas Mountain Observatory, 60 cm telescope, CCD photometry with same filter set as Lowell; (d) KPNO cryogenic grating/slit spectrometer (CRSP/SALLY) at KPNO 2.1 m, f/15 Cassegrain focus (see abstract by D. Glenar, et. al., this meeting). Selected wavelengths in 3-5 micron region (L, M band). Science targets included water-of-hydration feature (3-4 micron long wave extension) and sulfate mineralogy. Observers participating in this campaign included Dave Glenar, John Hillman, Gordon Bjoraker and Fred Espenak from GSFC, Nancy Chanover, Jim Murphy and A. S. MurTell from NMSU, Leslie Young from BU, Diana Blaney from JPL and Dick Joyce from KPNO.

Hillman, John J.↗
NASA NTRS1990

Operator function modeling: Cognitive task analysis, modeling and intelligent aiding in supervisory control systems

The design, implementation, and empirical evaluation of task-analytic models and intelligent aids for operators in the control of complex dynamic systems, specifically aerospace systems, are studied. Three related activities are included: (1) the models of operator decision making in complex and predominantly automated space systems were used and developed; (2) the Operator Function Model (OFM) was used to represent operator activities; and (3) Operator Function Model Expert System (OFMspert), a stand-alone knowledge-based system was developed, that interacts with a human operator in a manner similar to a human assistant in the control of aerospace systems. OFMspert is an architecture for an operator's assistant that uses the OFM as its system and operator knowledge base and a blackboard paradigm of problem solving to dynamically generate expectations about upcoming operator activities and interpreting actual operator actions. An experiment validated the OFMspert's intent inferencing capability and showed that it inferred the intentions of operators in ways comparable to both a human expert and operators themselves. OFMspert was also augmented with control capabilities. An interface allowed the operator to interact with OFMspert, delegating as much or as little control responsibility as the operator chose. With its design based on the OFM, OFMspert's control capabilities were available at multiple levels of abstraction and allowed the operator a great deal of discretion over the amount and level of delegated control. An experiment showed that overall system performance was comparable for teams consisting of two human operators versus a human operator and OFMspert team.

Mitchell, Christine M.↗
NASA NTRS1999

Iodine-Xenon Dating: Sensitive Chronometer for Reprocessing in the Primitive Solar System

The I-Xe chronometer is based upon decay of I-129 to Xe-129 in the early Solar System. Recent comparison of I-Xe system in individual mineral separates from twelve different meteorites with independent Pb-Pb data has demonstrated that I-Xe clock is a reliable sensitive chronometer when applied to a single mineral system. Since most iodine hosts are secondary minerals, the I-Xe clock generally records post-formational processing, providing the information on early meteorite evolution. Absolute I-Xe ages can be found by normalization using the measured I-Xe and Pb-Pb ages of Acapulco phosphate (4.557 plus or minus 0.002 Ga). Absolute ages for the I-Xe internal standards Shallow water and Bjurbole, 4.566 plus or minus 0.002 Ga and 4.565 plus or minus 0.003 Ga, respectively, provide absolute I-Xe ages for all other samples. The I-Xe age of bulk meteorite is meaningful and interpretable only when the carrier of primordial iodine is a major mineral phase (e. g., enstatite chondrites). Using the "monomineral" approach, separated phases from the Richardton H5 chondrite provide a case history of post-formational alteration in this object. This work applies the I-Xe chronometer to determine the times of reprocessing of selected minerals in single meteorite types. A preliminary account of this work was recently reported. Additional information is contained in the original extended abstract.

Pravdivtseva, O. V.↗
NASA NTRS2000

The Spectral Evolution of Solar Flare Hard X-Ray Emission Observed with BATSE

We present a more detailed characterization of spectral evolution in solar flare hard X-ray emission than has been previously described. Our characterization is consistent with some earlier results but utilizes higher time resolution data and reveals nuances in spectral evolution that have never been reported. We employ an underutilized data set, the Burst and Transient Source Experiment (BATSE) solar flare catalog, for our investigation and different methodology than previous studies. Our findings support the conclusion that properties of the particle Abstract: acceleration mechanism in flares, such as the acceleration rate or efficiency, are indeed important to understanding spectral evolution. On the other hand, time-of-flight models, which assume accelerator properties to be negligible, cannot explain the observed detailed spectral evolution, and correlations that we would expect to exist between spectral evolution patterns and parameters derived from time-of-flight model inversions are not supported by the data. In this fashion, we establish an observational context in which to interpret future High Energy Solar Spectroscopic Imager (HESSI) observations and delineate some constraints for theoretical models of particle acceleration.

Newton, Elizabeth K.↗
NASA NTRS1992

Extended abstract: Managing disjunction for practical temporal reasoning

One of the problems that must be dealt with in either a formal or implemented temporal reasoning system is the ambiguity arising from uncertain information. Lack of precise information about when events happen leads to uncertainty regarding the effects of those events. Incomplete information and nonmonotonic inference lead to situations where there is more than one set of possible inferences, even when there is no temporal uncertainty at all. In an implemented system, this ambiguity is a computational problem as well as a semantic one. In this paper, we discuss some of the sources of this ambiguity, which we will treat as explicit disjunction, in the sense that ambiguous information can be interpreted as defining a set of possible inferences. We describe the application of three techniques for managing disjunction in an implementation of Dean's Time Map Manager. Briefly, the disjunction is either: removed by limiting the expressive power of the system, or approximated by a weaker form of representation that subsumes the disjunction. We use a combination of these methods to implement an expressive and efficient temporal reasoning engine that performs sound inference in accordance with a well-defined formal semantics.

Boddy, Mark↗
NASA NTRS2006

X-Windows Information Sharing Protocol Widget Class

The X-Windows Information Sharing Protocol (ISP) Widget Class ("Class") is used here in the object-oriented-programming sense of the word) was devised to simplify the task of implementing ISP graphical-user-interface (GUI) computer programs. ISP programming tasks require many method calls to identify, query, and interpret the connections and messages exchanged between a client and an ISP server. Most X-Windows GUI programs use widget sets or toolkits to facilitate management of complex objects. The widget standards facilitate construction of toolkits and application programs. The X-Windows Information Sharing Protocol (ISP) Widget Class encapsulates the client side of the ISP programming libraries within the framework of an X-Windows widget. Using the widget framework, X-Windows GUI programs can interact with ISP services in an abstract way and in the same manner as that of other graphical widgets, making it easier to write ISP GUI client programs. Wrapping ISP client services inside a widget framework enables a programmer to treat an ISP server interface as though it were a GUI. Moreover, an alternate subclass could implement another communication protocol in the same sort of widget.

Barry, Matthew R.↗
NASA NTRS2006

X-Windows PVT Widget Class

The X-Windows Process Validation Table (PVT) Widget Class ( Class is used here in the object-oriented-programming sense of the word) was devised to simplify the task of implementing network registration services for Information Sharing Protocol (ISP) graphical-user-interface (GUI) computer programs. Heretofore, ISP PVT programming tasks have required many method calls to identify, query, and interpret the connections and messages exchanged between a client and a PVT server. Normally, programmers have utilized direct access to UNIX socket libraries to implement the PVT protocol queries, necessitating the use of many lines of source code to perform frequent tasks. Now, the X-Windows PVT Widget Class encapsulates ISP client server network registration management tasks within the framework of an X Windows widget. Use of the widget framework enables an X Windows GUI program to interact with PVT services in an abstract way and in the same manner as that of other graphical widgets, making it easier to program PVT clients. Wrapping the PVT services inside the widget framework enables a programmer to treat a PVT server interface as though it were a GUI. Moreover, an alternate subclass could implement another service in a widget of the same type. This program was written by Matthew R. Barry of United Space Alliance for Johnson Space Center. For further information, contact the Johnson Technology Transfer Office at (281) 483-3809. MSC-23582 Shuttle Data Center File- Processing Tool in Java A Java-language computer program has been written to facilitate mining of data in files in the Shuttle Data Center (SDC) archives. This program can be executed on a variety of workstations or via Web-browser programs. This program is partly similar to prior C-language programs used for the same purpose, while differing from those programs in that it exploits the platform-neutrality of Java in implementing several features that are important for analysis of large sets of time-series data. The program supports regular expression queries of SDC archive files, reads the files, interleaves the time-stamped samples according to a chosen output, then transforms the results into that format. A user can choose among a variety of output file formats that are useful for diverse purposes, including plotting, Markov modeling, multivariate density estimation, and wavelet multiresolution analysis, as well as for playback of data in support of simulation and testing.

Barry, Matthew R.↗
NASA NTRS2014

A Simplified Approach to Cloud Masking with VIIRS in the S-NPP/JPSS Era

The quantitative detection of clouds in satellite imagery has a number of important applications in weather analysis. The proper interpretation of satellite imagery for improved situational awareness depends on knowing where the clouds are at all times of the day. Additionally, many products derived from infrared measurements need accurate cloud information to mask out regions where retrieval of geophysical parameters in the atmosphere or on the surface are not possible. Thus, the accurate detection of the presence of clouds in satellite imagery on a global basis is important to the product developers and the operational weather community to support their decision‐making process. This abstract describes an application of a two‐channel bispectral composite threshold (BCT) approach applied to VIIRS imagery. The simplified BCT approach uses only the 10.76 and 3.75 micrometer spectral channels in two spectral tests; a straightforward infrared threshold test with the longwave channel and a shortwave minus longwave channel difference test. The key to the success of this approach as demonstrated in past applications to GOES and MODIS data is the generation of temporally and spatially dependent thresholds used in the tests from a previous number of days at similar observations to the current data. The presentation will present an overview of the approach and intercomparison results with other satellites, methods, and against verification data.

Jedlovec, Gary J.↗
NASA NTRS2005

The Insoluble Carbonaceous Material of CM Chondrites as Possible Source of Discrete Organics During the Asteroidal Aqueous Phase

The larger portion of the organic carbon in carbonaceous chondrites (CC) is present as a complex and heterogeneous macromolecular material that is insoluble in acids and most solvents (IOM). So far, it has been analyzed only as a whole by microscopy (TEM) and spectroscopy (IR, NMR, EPR), which have offered and overview of its chemical nature, bonding, and functional group composition. Chemical or pyrolytic decomposition has also been used in combination with GC-MS to identify individual compounds released by these processes. Their value in the recognition of the original IOM structure resides in the ability to properly interpret the decomposition pathways for any given process. We report here a preliminary study of IOM from the Murray meteorite that combines both the analytical approaches described above, under conditions that would realistically model the IOM hydrothermal exposure in the meteorite parent body. The aim is to document the possible release of water and solvent soluble organics, determine possible changes in NMR spectral features, and ascertain, by extension, the effect of this loss on the frame of the IOM residue. Additional information is included in the original extended abstract.

Yabuta, H.↗
NASA NTRS1975

Earth Resources: A continuing bibliography with indexes, issue 2

Reports, articles, and other documents announced between April and June 1974 in Scientific and Technical Aerospace Reports (STAR), and International Aerospace Abstracts (IAA) are cited. Documents related to the identification and evaluation by means of sensors in spacecraft and aircraft of vegetation, minerals, and other natural resources, and the techniques and potentialities of surveying and keeping up-to-date inventories of such riches are included along with studies of such natural phenomena as earthquakes, volcanoes, ocean currents, and magnetic fields; and such cultural phenomena as cities, transportation networks, and irrigation systems. The components and use of remote sensing and geophysical instrumentation, their subsystems, observational procedures, signature and analyses and interpretive techniques for gathering data are, described. All reports generated under NASA's Earth Resources Survey Program for the time period covered are included.

Source record↗
NASA NTRS1995

IUE observing programs: NSOSS, VEOEB, and PCOEB

The data reduction and analysis of IUE observations were completed. These results were presented from Venus SO2 (of the VEOEB program). The three IUE observing programs were NSOSS, VEOEB, and PCOEB. NSOSS consisted of comparative UV studies. The objectives of NSOSS included: making the first UV observations of 4179 Toutatis (a near-Earth asteroid), Himalia (a satellite of Jupiter), and Hyperion (the Saturnian satellite); obtaining the first radially-dependent information on the UV color of Saturn's rings; gathering uncontaminated UV spectra of Iapetus's bright and dark hemispheres; and obtaining a spectrum of Titania to initiate the comparative study of UV photometric properties in the Uranian system. VEOEB, as stated above, was a study of the SO2 of the Venus atmosphere and surface. Based on past Pioneer Venus and IUE observations, significant SO2 variations have been interpreted as indicating that the long term atmospheric SO2 abundance may be related to large, episodic infections from the surface or interior of Venus. If episodic events occur, then continuing observations of SO2 in the Venus atmosphere play a vital role in understanding Venus's current and past geologic evolution. PCOEB was a study of the Pluto-Charon system. The primary objective of PCOEB was to complete the coverage of the system's UV light curve in order to analyze the surface properties of Pluto-Charon. Publications, abstracts and articles, resulting from this grant are appended to this report.

Source record↗
NASA NTRS1987

STIP Symposium on Physical Interpretation of Solar/Interplanetary and Cometary Intervals

The study of travelling interplanetary phenomena has continued over a period of years. The STIP (Study of Travelling Interplanetary Phenomena) Symposium on Physical Interpretation of Solar/Interplanetary and Cometary Intervals was held in Huntsville, Alabama, on May 12-15, 1987, the first of these meetings to be held in the United States. The Symposium's objective was to coordinate and disseminate new science gained from the recent solar-terrestrial and cometary intervals which can be used to better understand the linkage of physical events to the Sun's vagaries (flares, coronal holes, eruptive prominences) from their initial detection to their consequence. Fifty-one presentations were made during the four-day period. Abstracts of these reports are included as Appendix A.

Wu, S. T.↗
NASA NTRS1995

Study of the rotational-level and temperature dependence of the quenching rate of OH fluorescence due to collisions with water molecules

The importance of the OH radical as an intermediate in many combustion reactions and in atmospheric photochemistry has led many researchers to use it as a diagnostic tool in these processes. The amount of data that has been acquired over the years for this radical is quite considerable. However, the quenching rate of OH with water molecules as a function of temperature and the rotational level of the excited state is not very well understood. The motivation of the studies undertaken is to bridge the gap between the low temperature measurements and the high temperature ones reported in the literature. The technique generally employed in these diagnostics is laser-induced fluorescence (LIF), through which rotational state selective excitation of the radical is possible. Furthermore, in a combustion medium, water is produced in abundance so that knowledge of the quenching rate of OH due to water molecules plays a crucial role in interpreting the data. In general, the precursor to an understanding of the collisional quenching rates of OH involves a characterization of the mode in which the radical is produced; the resulting rotational and translational distribution, followed by a measurement of the OH temperature; and ultimately obtaining the rate constants from the pressure dependence of the fluorescence signal. The experimental implementation of these measurements therefore involved, as a first step, the production of the OH radicals in a microwave discharge cell using water vapor as the source, wherein a hydrogen atom is abstracted from H2O. The second step involved the absorption of photons from the frequency-doubled output of a pulsed amplified, single-frequency cw ring dye laser. By tuning the laser to the peak of the transition and observing the fluorescence decay after the laser pulse, the lifetime of the OH in a particular rotational electronic state was determined (tau = 1.4 microseconds for Q(sub 1)(3)). Knowledge of this parameter led to a determination of the quenching rate. By varying the water vapor pressure in the cell and measuring the lifetime as a function of pressure a linear plot of the quenching rate as a function of pressure was obtained. Using this plot, the quenching cross section was deduced. It has therefore been possible to measure the local translational temperature and the quenching cross section with one laser system.

Koker, Edmond B.↗
NASA NTRS1972

Thermal characteristics of the moon.

The papers describe earth-based and in situ surface measurements of the thermal characteristics of lunar-type materials. A geophysical interpretation of the thermal history of the moon is given. Microwave emission from the moon and radar mapping of lunar surface roughness are studied. Lunar thermal aspects from Surveyor data, lunar surface temperatures from Apollo 11 data, the development of an in situ thermal conductivity measurement for the lunar heat flow experiment, and the Apollo 15 lunar heat flow measurement are reviewed. Thermal properties of granulated materials, thermal property measurements on lunar material returned by Apollo 11 and 12 missions, and thermal characteristics of lunar surface roughness are discussed. Individual items are abstracted in this issue.

Lucas, J. W.↗