SEARCH · Search NASA

Results for “consistency checking”

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.

SourceResearch connectionFrom yearThrough year

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

At least 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1993

The Halogen Occultation Experiment

The Halogen Occultation Experiment (HALOE) uses solar occultation to measure vertical profiles of O3, HCl, HF, CH4, H2O, NO, NO2, aerosol extinction, and temperature versus pressure with an instantaneous vertical field of view of 1.6 km at the earth limb. Latitudinal coverage is from 80 deg S to 80 deg N over the course of 1 year and includes extensive observations of the Antarctic region during spring. The altitude range of the measurements extends from about 15 km to about 60-130 km, depending on channel. Experiment operations have been essentially flawless, and all performance criteria either meet or exceed specifications. Internal data consistency checks, comparisons with correlative measurements, and qualitative comparisons with 1985 atmospheric trace molecule spectroscopy (ATMOS) results are in good agreement. Examples of pressure versus latitude cross sections and a global orthographic projection for the September 21 to October 15, 1992, period show the utility of CH4, HF, and H2O as tracers, the occurrence of dehydration in the Antarctic lower stratosphere, the presence of the water vapor hygropause in the tropics, evidence of Antarctic air in the tropics, the influence of Hadley tropical upwelling, and the first global distribution of HCl, HF, and NO throughout the stratosphere. Nitric oxide measurements extend through the lower thermosphere.

Russell, James M., III↗

NASA NTRS1992

First results from analysis of coordinated AVIRIS, TIMS, and ISM (French) data for the Ronda (Spain) and Beni Bousera (Morocco) peridotites

Ultramafic rocks are relatively rare at the Earth's surface but constitute the vast majority of the Earth by volume. Exposures of ultramafic bodies are therefore crucial for deducing many important processes that occur in the Earth's mantle. An important science question regarding the spatial distribution, abundance, and composition of mafic minerals in ultramafic bodies that can be examined with advanced sensor data is the melting process. When a lherzolite melts, clinopyroxene (cpx) melts first and therefore variations in the modal amount of cpx remaining in the mantle are a reflection of the amount of fractional melting that has occurred. Fe goes preferentially into the melt during melting but a 20 percent batch melting (i.e. closed system) acquires less Fe relative to 20 percent fractional melting (i.e. open system). Since the strength and wavelength of diagnostic absorptions is a strong function of Fe content, it is possible to make maps of the variation in Fe:Mg ratios which can be related to the general melting process. Accurate ground-truth information about local mineralogy provides internal calibration and consistency checks. Investigations using imaging spectrometer are very complementary to field studies because advanced sensor data can provide a synoptic view of modal mineralogy and chemical composition whereas field studies focus on detailed characterization of local areas. Two excellent exposures of ultramafic lithologies are being investigated with visible to mid-infrared imaging spectrometer data: the Ronda peridotite near Ronda, Spain and the Beni Bousera ophiolitic fragment in northern Morocco. Although separated by the Alboran Sea, these bodies are thought to be related and represent fertile sub-continental mantle. The Ronda peridotite is predominantly spinel lherzolite but grades into harzburgite and shows considerable variation in major and trace element compositions. Mafic layering and dykes (i.e. olivine gabbro) are also observed. This indicates some sections of the peridotite have experienced greater degrees of partial melting. The Beni Bousera peridotite also contains mafic layers and dykes and grades into harzburgite representing similar fundamental shifts in the bulk chemistry of this ultramafic body probably related to an episode of partial melting. The specific mode of emplacement of these bodies is controversial and important for understanding the tectonic evolution of this region. Our investigations are not necessarily designed to help resolve this controversy. Rather, these exposures provide excellent and unusual examples of fertile mantle which have undergone variable degrees of partial melting.

Mustard, J. F.↗

NASA NTRS1994

Propagating orientation constraints for the Hubble Space Telescope

An observing program on the Hubble Space Telescope (HST) is described in terms of exposures that are obtained by one or more of the instruments onboard the HST. Many requested exposures might specify orientation requirements and accompanying ranges. Orientation refers to the amount of roll (in degrees) about the line of sight. The range give the permissible tolerance (also in degrees). These requirements may be (1) absolute (in relation to the celestial coordinate system), (2) relative to the nominal roll angle for HST during that exposure, or (3) relative (in relation to other exposures in the observing program). The TRANSformation expert system converts proposals for astronomical observations with HST into detailed observing plans. Part of the conversion involves grouping exposures into higher level structures based on exposure characteristics. Exposures constrained to be at different orientations cannot be grouped together. Because relative orientation requirements cause implicit constraints, orientation constraints have to be propagated. TRANS must also identify any inconsistencies that may exist so they can be corrected. We have designed and implemented an orientation constraint propagator as part of TRANS. The propagator is based on an informal algebra that facilitates the setting up and propagation of the orientation constraints. The constraint propagator generates constraints between directly related exposures, and propagates derived constraints between exposures that are related indirectly. It provides facilities for path-consistency checking, identification of unsatisfiable constraints, and querying of orientation relationships. The system has been successfully operational as part of TRANS for over seven months. The solution has particular significance to space applications in which satellite/telescope pointing and attitude are constrained and relationships exist between multiple configurations.

Bose, Ashim↗

NASA NTRS1994

Data pre-processing: Stratospheric aerosol perturbing effect on the remote sensing of vegetation: Correction method for the composite NDVI after the Pinatubo eruption

An operational stratospheric correction scheme used after the Mount Pinatubo (Phillipines) eruption (Jun. 1991) is presented. The stratospheric aerosol distribution is assumed to be only variable with latitude. Each 9 days the latitudinal distribution of the optical thickness is computed by inverting radiances observed in the NOAA AVHRR channel 1 (0.63 micrometers) and channel 2 (0.83 micrometers) over the Pacific Ocean. This radiance data set is used to check the validity of model used for inversion by checking consistency of the optical thickness deduced from each channel as well as optical thickness deduced from different scattering angles. Using the optical thickness profile previously computed and radiative transfer code assuming Lambertian boundary condition, each pixel of channel 1 and 2 are corrected prior to computation of NDVI (Normalized Difference Vegetation Index). Comparison between corrected, non corrected, and years prior to Pinatubo eruption (1989 to 1990) NDVI composite, shows the necessity and the accuracy of the operational correction scheme.

Vermote, E.↗

NASA NTRS1994

Oblique magnetohydrodynamic cosmic-ray-modified shocks: Two-fluid numerical simulations

We present the first results of time-dependent two-fluid cosmic-ray (CR) modified magnetohydrodynamic (MHD) shock simulations. The calculations were carried out with a new numerical code for one-dimensional ideal MHD. By coupling this code with the CR energy transport equation we can simulate the time-dependent evolution of MHD shocks, including the acceleration of the CR and their feedback on the shock structures. We report tests of the combined numerical method including comparisons with analytical steady state results published earlier by Webb, as well as internal consistency checks for more general MHD CR shock structures after they apppear to have converged to dynamical steady states. We also present results from an initial time-dependent simulation which extends the parameter space domain of previous analytical models. These new results support Webb's suggestion that equilibrium oblique shocks are less effective than parallel shocks in the acceleration of CR. However, for realistic models of anisotropic CR diffusion, oblique shocks may achieve dynamical equilibrium on shorter timescales than parallel shocks.

Frank, Adam↗

NASA NTRS1997

Method for Reducing Pumping Damage to Blood

Methods are provided for minimizing damage to blood in a blood pump wherein the blood pump comprises a plurality of pump components that may affect blood damage such as clearance between pump blades and housing, number of impeller blades, rounded or flat blade edges, variations in entrance angles of blades, impeller length, and the like. The process comprises selecting a plurality of pump components believed to affect blood damage such as those listed herein before. Construction variations for each of the plurality of pump components are then selected. The pump components and variations are preferably listed in a matrix for easy visual comparison of test results. Blood is circulated through a pump configuration to test each variation of each pump component. After each test, total blood damage is determined for the blood pump. Preferably each pump component variation is tested at least three times to provide statistical results and check consistency of results. The least hemolytic variation for each pump component is preferably selected as an optimized component. If no statistical difference as to blood damage is produced for a variation of a pump component, then the variation that provides preferred hydrodynamic performance is selected. To compare the variation of pump components such as impeller and stator blade geometries, the preferred embodiment of the invention uses a stereolithography technique for realizing complex shapes within a short time period.

Bozeman, Richard J., Jr.↗

NASA NTRS1999

Global and Local Doppler-Profile Escape Factors for Plane-Parallel Geometry

Global (source- and direction-averaged) and local (direction-averaged) Doppler-profile escape factors for plane-parallel sources are calculated and tabulated for a range of line-center optical thicknesses tau(sub 0), and are compared with published or derived small-tau(sub 0) and large-tau(sub 0) approximations. Integration (averaging) over the local escape factor provides a consistency check on both the global and local evaluations.

Bhatia, A. K.↗

NASA NTRS2000

Hydrometeor Profiles Derived from Airborne Radar and Wideband Radiometer Observations

A rich dataset was obtained with observations from the MIR (Millimeter-wave Imaging Radiometer, 89, 150, 183.3$\pm$1, 183.3$\pm$3,183.3$\pm$7, and 220 apprx.GHz), the AMPR (Advanced Microwave Precipitation Radiometer, 10.7, 19.35, 37, and 85 approx. GHz), and the EDOP (ER-2 Doppler Radar, 9.6 approx. GHz) on board the ER-2 aircraft during the CAMEX-3/TEFLUN-B (Convection and Moisture Experiment/Texas and Florida Underflights) TRMM (Tropical Rainfall Measuring Mission) field campaign. Measurements over the ocean from these three instruments on 26 August 1998 were used in our iterative retrieval algorithm to estimate hydrometeor drop size profiles, The algorithm attempts to minimize the difference between the observations and forward radiometer and radar calculations based on the estimated profile. The high frequency MIR observations provide detailed information about the high altitude ice microphysics, while the AMPR is mostly used to define liquid hydrometeor characteristics. The EDOP provides an initial estimate of the profile and as a consistency check throughout the iterative cycle. The retrieval algorithm, specific results for convective and anvil cases, and general implications of this work will be presented.

Skofronick-Jackson, G. M.↗

NASA NTRS2001

Improving Ocean Angular Momentum Estimates Using a Model Constrained by Data

Ocean angular momentum (OAM) calculations using forward model runs without any data constraints have, recently revealed the effects of OAM variability on the Earth's rotation. Here we use an ocean model and its adjoint to estimate OAM values by constraining the model to available oceanic data. The optimization procedure yields substantial changes in OAM, related to adjustments in both motion and mass fields, as well as in the wind stress torques acting on the ocean. Constrained and unconstrained OAM values are discussed in the context of closing the planet's angular momentum budget. The estimation procedure, yields noticeable improvements in the agreement with the observed Earth rotation parameters, particularly at the seasonal timescale. The comparison with Earth rotation measurements provides an independent consistency check on the estimated ocean state and underlines the importance of ocean state estimation for quantitative. studies of the variable large-scale oceanic mass and circulation fields, including studies of OAM.

Ponte, Rui M.↗

NASA NTRS2002

Small-Scale Tropopause Dynamics and TOMS Total Ozone

This project used Earth Probe Total Ozone Mapping Spectrometer (EP TOMS) along-track ozone retrievals, in conjunction with ancillary meteorological fields and modeling studies, for high resolution investigations of upper troposphere and lower stratosphere dynamics. Specifically, high resolution along-track (Level 2) EP TOMS data were used to investigate the beautiful fine-scale structure in constituent and meteorological fields prominent in the evolution of highly non-linear baroclinic storm systems. Comparison was made with high resolution meteorological models. The analyses provide internal consistency checks and validation of the EP TOMS data which are vital for monitoring ozone depletion in both polar and midlatitude regions.

Stanford, John L.↗

NASA NTRS2004

An X-Band Radar Terrain Feature Detection Method for Low-Altitude SVS Operations and Calibration Using LiDAR

To enable safe use of Synthetic Vision Systems at low altitudes, real-time range-to-terrain measurements may be required to ensure the integrity of terrain models stored in the system. This paper reviews and extends previous work describing the application of x-band radar to terrain model integrity monitoring. A method of terrain feature extraction and a transformation of the features to a common reference domain are proposed. Expected error distributions for the extracted features are required to establish appropriate thresholds whereby a consistency-checking function can trigger an alert. A calibration-based approach is presented that can be used to obtain these distributions. To verify the approach, NASA's DC-8 airborne science platform was used to collect data from two mapping sensors. An Airborne Laser Terrain Mapping (ALTM) sensor was installed in the cargo bay of the DC-8. After processing, the ALTM produced a reference terrain model with a vertical accuracy of less than one meter. Also installed was a commercial-off-the-shelf x-band radar in the nose radome of the DC-8. Although primarily designed to measure precipitation, the radar also provides estimates of terrain reflectivity at low altitudes. Using the ALTM data as the reference, errors in features extracted from the radar are estimated. A method to estimate errors in features extracted from the terrain model is also presented.

Young, Steve↗

NASA NTRS1998

Prediction and Validation of Mars Pathfinder Hypersonic Aerodynamic Data Base

Postflight analysis of the Mars Pathfinder hypersonic, continuum aerodynamic data base is presented. Measured data include accelerations along the body axis and axis normal directions. Comparisons of preflight simulation and measurements show good agreement. The prediction of two static instabilities associated with movement of the sonic line from the shoulder to the nose and back was confirmed by measured normal accelerations. Reconstruction of atmospheric density during entry has an uncertainty directly proportional to the uncertainty in the predicted axial coefficient. The sensitivity of the moment coefficient to freestream density, kinetic models and center-of-gravity location are examined to provide additional consistency checks of the simulation with flight data. The atmospheric density as derived from axial coefficient and measured axial accelerations falls within the range required for sonic line shift and static stability transition as independently determined from normal accelerations.

Gnoffo, Peter A.↗

NASA NTRS2004

Using Block-local Atomicity to Detect Stale-value Concurrency Errors

Data races do not cover all kinds of concurrency errors. This paper presents a data-flow-based technique to find stale-value errors, which are not found by low-level and high-level data race algorithms. Stale values denote copies of shared data where the copy is no longer synchronized. The algorithm to detect such values works as a consistency check that does not require any assumptions or annotations of the program. It has been implemented as a static analysis in JNuke. The analysis is sound and requires only a single execution trace if implemented as a run-time checking algorithm. Being based on an analysis of Java bytecode, it encompasses the full program semantics, including arbitrarily complex expressions. Related techniques are more complex and more prone to over-reporting.

Artho, Cyrille↗

NASA NTRS2007

Validation and Determination of Ice Water Content - Radar Reflectivity Relationships during CRYSTAL-FACE: Flight Requirements for Future Comparisons

In order for clouds to be more accurately represented in global circulation models (GCM), there is need for improved understanding of the properties of ice such as the total water in ice clouds, called ice water content (IWC), ice particle sizes and their shapes. Improved representation of clouds in models will enable GCMs to better predict for example, how changes in emissions of pollutants affect cloud formation and evolution, upper tropospheric water vapor, and the radiative budget of the atmosphere that is crucial for climate change studies. An extensive cloud measurement campaign called CRYSTAL-FACE was conducted during Summer 2002 using instrumented aircraft and a variety of instruments to measure properties of ice clouds. This paper deals with the measurement of IWC using the Harvard water vapor and total water instruments on the NASA WB-57 high-altitude aircraft. The IWC is measured directly by these instruments at the altitude of the WB-57, and it is compared with remote measurements from the Goddard Cloud Radar System (CRS) on the NASA ER-2. CRS measures vertical profiles of radar reflectivity from which IWC can be estimated at the WB-57 altitude. The IWC measurements obtained from the Harvard instruments and CRS were found to be within 20-30% of each other. Part of this difference was attributed to errors associated with comparing two measurements that are not collocated in time an space since both aircraft were not in identical locations. This study provides some credibility to the Harvard and CRS-derived IWC measurements that are in general difficult to validate except through consistency checks using different measurement approaches.

Sayres, D. S.↗

NASA NTRS2008

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗

NASA NTRS2009

Integrated System Health Management: Foundational Concepts, Approach, and Implementation

Figueroa, Fernando↗

NASA NTRS2009

Integrated System Health Management: Foundational Concepts, Approach, and Implementation.

Implementation of integrated system health management (ISHM) capability is fundamentally linked to the management of data, information, and knowledge (DIaK) with the purposeful objective of determining the health of a system. It is akin to having a team of experts who are all individually and collectively observing and analyzing a complex system, and communicating effectively with each other in order to arrive to an accurate and reliable assessment of its health. We present concepts, procedures, and a specific approach as a foundation for implementing a credible ISHM capability. The capability stresses integration of DIaK from all elements of a system. The intent is also to make possible implementation of on-board ISHM capability, in contrast to a remote capability. The information presented is the result of many years of research, development, and maturation of technologies, and of prototype implementations in operational systems (rocket engine test facilities). The paper will address the following topics: 1. ISHM Model of a system 2. Detection of anomaly indicators. 3. Determination and confirmation of anomalies. 4. Diagnostic of causes and determination of effects. 5. Consistency checking cycle. 6. Management of health information 7. User Interfaces 8. Example implementation ISHM has been defined from many perspectives. We define it as a capability that might be achieved by various approaches. We describe a specific approach that has been matured throughout many years of development, and pilot implementations. ISHM is a capability that is achieved by integrating data, information, and knowledge (DIaK) that might be distributed throughout the system elements (which inherently implies capability to manage DIaK associated with distributed sub-systems). DIaK must be available to any element of a system at the right time and in accordance with a meaningful context. ISHM Functional Capability Level (FCL) is measured by how well a system performs the following functions: (1) detect anomalies, (2) diagnose causes, (3) predict future anomalies/failures, and (4) provide the user with an integrated awareness about the condition of every element in the system and guide user decisions.

Figueroa, Fernando↗

NASA NTRS2008

Using Transponders on the Moon to Increase Accuracy of GPS

It has been proposed to place laser or radio transponders at suitably chosen locations on the Moon to increase the accuracy achievable using the Global Positioning System (GPS) or other satellite-based positioning system. The accuracy of GPS position measurements depends on the accuracy of determination of the ephemerides of the GPS satellites. These ephemerides are determined by means of ranging to and from Earth-based stations and consistency checks among the satellites. Unfortunately, ranging to and from Earth is subject to errors caused by atmospheric effects, notably including unpredictable variations in refraction. The proposal is based on exploitation of the fact that ranging between a GPS satellite and another object outside the atmosphere is not subject to error-inducing atmospheric effects. The Moon is such an object and is a convenient place for a ranging station. The ephemeris of the Moon is well known and, unlike a GPS satellite, the Moon is massive enough that its orbit is not measurably affected by the solar wind and solar radiation. According to the proposal, each GPS satellite would repeatedly send a short laser or radio pulse toward the Moon and the transponder(s) would respond by sending back a pulse and delay information. The GPS satellite could then compute its distance from the known position(s) of the transponder(s) on the Moon. Because the same hemisphere of the Moon faces the Earth continuously, any transponders placed there would remain continuously or nearly continuously accessible to GPS satellites, and so only a relatively small number of transponders would be needed to provide continuous coverage. Assuming that the transponders would depend on solar power, it would be desirable to use at least two transponders, placed at diametrically opposite points on the edges of the Moon disk as seen from Earth, so that all or most of the time, at least one of them would be in sunlight.

Penanen, Konstantin↗