Search NASA⌕ Search

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.

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

At least 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Measurement and Analysis of Failures in Computer Systems

This thesis presents a study of software failures spanning several different releases of Tandem's NonStop-UX operating system running on Tandem Integrity S2(TMR) systems. NonStop-UX is based on UNIX System V and is fully compliant with industry standards, such as the X/Open Portability Guide, the IEEE POSIX standards, and the System V Interface Definition (SVID) extensions. In addition to providing a general UNIX interface to the hardware, the operating system has built-in recovery mechanisms and audit routines that check the consistency of the kernel data structures. The analysis is based on data on software failures and repairs collected from Tandem's product report (TPR) logs for a period exceeding three years. A TPR log is created when a customer or an internal developer observes a failure in a Tandem Integrity system. This study concentrates primarily on those TPRs that report a UNIX panic that subsequently crashes the system. Approximately 200 of the TPRs fall into this category. Approximately 50% of the failures reported are from field systems, and the rest are from the testing and development sites. It has been observed by Tandem developers that fewer cases are encountered from the field than from the test centers. Thus, the data selection mechanism has introduced a slight skew.

Thakur, Anshuman↗
NASA NTRS1998

Estimating Soil Moisture from Satellite Microwave Observations

Cooperative research in microwave remote sensing between the Hydrological Sciences Branch of the NASA Goddard Space Flight Center and the Earth Sciences Faculty of the Vrije Universiteit Amsterdam began with the Botswana Water and Energy Balance Experiment and has continued through a series of highly successful International Research Programs. The collaboration between these two research institutions has resulted in significant scientific achievements, most notably in the area of satellite-based microwave remote sensing of soil moisture. The Botswana Program was the first joint research initiative between these two institutions, and provided a unique data base which included historical data sets of Scanning Multifrequency Microwave Radiometer (SN4NM) data, climate information, and extensive soil moisture measurements over several large experimental sites in southeast Botswana. These data were the basis for the development of new approaches in physically-based inverse modelling of soil moisture from satellite microwave observations. Among the results from this study were quantitative estimates of vegetation transmission properties at microwave frequencies. A single polarization modelling approach which used horizontally polarized microwave observations combined with monthly composites of Normalized Difference Vegetation Index was developed, and yielded good results. After more precise field experimentation with a ground-based radiometer system, a dual-polarization approach was subsequently developed. This new approach realized significant improvements in soil moisture estimation by satellite. Results from the Botswana study were subsequently applied to a desertification monitoring study for the country of Spain within the framework of the European Community science research programs EFEDA and RESMEDES. A dual frequency approach with only microwave data was used for this application. The Microwave Polarization Difference Index (MPDI) was calculated from 37 GHz data and used to derive the one-way canopy transmissivity. Using a simple radiative transfer model, this information was combined with horizontally polarized 6.6 GHz SMMR observations to derive a 9-year time series of soil moisture for all of Spain at a one quarter degree spatial scale. Both day and night SMMR observations were used independently, in order to check the consistency of the results. A first order Fourier Transform was performed on the mean monthly soil moisture values to identify major characteristics of time series such as trend, amplitude, and phase shift.

Owe, M.↗
NASA NTRS2002

Computational Predictions of the Performance Wright 'Bent End' Propellers

Computational analysis of two 1911 Wright brothers 'Bent End' wooden propeller reproductions have been performed and compared with experimental test results from the Langley Full Scale Wind Tunnel. The purpose of the analysis was to check the consistency of the experimental results and to validate the reliability of the tests. This report is one part of the project on the propeller performance research of the Wright 'Bent End' propellers, intend to document the Wright brothers' pioneering propeller design contributions. Two computer codes were used in the computational predictions. The FLO-MG Navier-Stokes code is a CFD (Computational Fluid Dynamics) code based on the Navier-Stokes Equations. It is mainly used to compute the lift coefficient and the drag coefficient at specified angles of attack at different radii. Those calculated data are the intermediate results of the computation and a part of the necessary input for the Propeller Design Analysis Code (based on Adkins and Libeck method), which is a propeller design code used to compute the propeller thrust coefficient, the propeller power coefficient and the propeller propulsive efficiency.

Wang, Xiang-Yu↗
NASA NTRS2002

Universal Quantification in a Constraint-Based Planner

Constraints and universal quantification are both useful in planning, but handling universally quantified constraints presents some novel challenges. We present a general approach to proving the validity of universally quantified constraints. The approach essentially consists of checking that the constraint is not violated for all members of the universe. We show that this approach can sometimes be applied even when variable domains are infinite, and we present some useful special cases where this can be done efficiently.

Golden, Keith↗
NASA NTRS2001

Flight Test Results of a Synthetic Vision Elevation Database Integrity Monitor

This paper discusses the flight test results of a real-time Digital Elevation Model (DEM) integrity monitor for Civil Aviation applications. Providing pilots with Synthetic Vision (SV) displays containing terrain information has the potential to improve flight safety by improving situational awareness and thereby reducing the likelihood of Controlled Flight Into Terrain (CFIT). Utilization of DEMs, such as the digital terrain elevation data (DTED), requires a DEM integrity check and timely integrity alerts to the pilots when used for flight-critical terrain-displays, otherwise the DEM may provide hazardous misleading terrain information. The discussed integrity monitor checks the consistency between a terrain elevation profile synthesized from sensor information, and the profile given in the DEM. The synthesized profile is derived from DGPS and radar altimeter measurements. DEMs of various spatial resolutions are used to illustrate the dependency of the integrity monitor s performance on the DEMs spatial resolution. The paper will give a description of proposed integrity algorithms, the flight test setup, and the results of a flight test performed at the Ohio University airport and in the vicinity of Asheville, NC.

deHaag, Maarten Uijt↗
NASA NTRS2004

Air Mass Factor Formulation for Spectroscopic Measurements from Satellites: Application to Formaldehyde Retrievals from the Global Ozone Monitoring Experiment

We present a new formulation for the air mass factor (AMF) to convert slant column measurements of optically thin atmospheric species from space into total vertical columns. Because of atmospheric scattering, the AMF depends on the vertical distribution of the species. We formulate the AMF as the integral of the relative vertical distribution (shape factor) of the species over the depth of the atmosphere, weighted by altitude-dependent coefficients (scattering weights) computed independently from a radiative transfer model. The scattering weights are readily tabulated, and one can then obtain the AMF for any observation scene by using shape factors from a three dimensional (3-D) atmospheric chemistry model for the period of observation. This approach subsequently allows objective evaluation of the 3-D model with the observed vertical columns, since the shape factor and the vertical column in the model represent two independent pieces of information. We demonstrate the AMF method by using slant column measurements of formaldehyde at 346 nm from the Global Ozone Monitoring Experiment satellite instrument over North America during July 1996. Shape factors are cumputed with the Global Earth Observing System CHEMistry (GEOS-CHEM) global 3-D model and are checked for consistency with the few available aircraft measurements. Scattering weights increase by an order of magnitude from the surface to the upper troposphere. The AMFs are typically 20-40% less over continents than over the oceans and are approximately half the values calculated in the absence of scattering. Model-induced errors in the AMF are estimated to be approximately 10%. The GEOS-CHEM model captures 50% and 60% of the variances in the observed slant and vertical columns, respectively. Comparison of the simulated and observed vertical columns allows assessment of model bias.

Palmer, Paul I.↗
NASA NTRS2005

Assimilation of MLS and OMI Ozone Data

Ozone data from Aura Microwave Limb Sounder (MLS) and Ozone Monitoring Instrument (OMI) were assimilated into the ozone model at NASA's Global Modeling and Assimilation Office (GMAO). This assimilation produces ozone fields that are superior to those from the operational GMAO assimilation of Solar Backscatter Ultraviolet (SBUV/2) instrument data. Assimilation of Aura data improves the representation of the "ozone hole" and the agreement with independent Stratospheric Aerosol and Gas Experiment (SAGE) III and ozone sonde data. Ozone in the lower stratosphere is captured better: mean state, vertical gradients, spatial and temporal variability are all improved. Inclusion of OMI and MLS data together, or separately, in the assimilation system provides a way of checking how consistent OMI and MLS data are with each other, and with the ozone model. We found that differences between OMI total ozone column data and model forecasts decrease after MLS data are assimilated. This indicates that MLS stratospheric ozone profiles are consistent with OMI total ozone columns. The evaluation of error characteristics of OMI and MLS ozone will continue as data from newer versions of retrievals becomes available. We report on the initial step in obtaining global assimilated ozone fields that combine measurements from different Aura instruments, the ozone model at the GMAO, and their respective error characteristics. We plan to use assimilated ozone fields in estimation of tropospheric ozone. We also plan to investigate impacts of assimilated ozone fields on numerical weather prediction through their use in radiative models and in the assimilation of infrared nadir radiance data from NASA's Advanced Infrared Sounder (AIRS).

Stajner, I.↗
NASA NTRS2007

DTED Integrity Monitoring Using Differential GPS and Radar Altimeter

This paper discusses a real-time digital terrain elevation data (DTED) integrity monitor for Civil Aviation applications. Providing pilots with Synthetic Vision (SV) displays containing terrain information has the potential to improve flight safety by improving situational awareness and thereby reducing the likelihood of Controlled Flight Into Terrain (CFIT). Utilization of the DTED for flight-critical terrain-displays, however, requires a DTED integrity check and timely integrity alerts to the pilots in those cases where DTED may provide hazardous misleading information. The discussed integrity monitor checks the consistency between the sensed terrain profile as computed from DGPS and radar altimeter data and the terrain profile as given by the DTED. Probability of agreement between these two profiles is used to monitor the DTED integrity. A case study to verify the integrity monitor#s performance is presented based on data collected during flight testing performed by NASA at Asheville, NC.

Young, Steve↗
NASA NTRS2010

2009 Goose Bay Experiment Ocean Measurements: Data - Part 1

During late February and early March 2009, a field experiment was performed using the NASA P3 over the Labrador Sea. During this experiment, expendable probes deployed from the aircraft acquired ocean mixed layer temperature, salinity and currents Probes were deployed during three flights of the four. Overall 7 AXBTs, 15 AXCTDs and 7 AXCPs were deployed with a success rate of nearly 70%. This is much lower than expected based on prior experience deploying from other aircraft. But given the difficulties associated with the Pneumatic Sonobuoy Launch Tube mechanism on the NASA P3, this rate likely can be improved significantly by using a different deployment mechanism. Additionally, two sets of collocated measurements of AXBTs, AXCPs and AXCTDs were made to verify the drop rates and measurements of the old AXBTs. While there were differences in the measurements, the old AXCTDs are performing well. The expendable data from the experiment are compared to the Argo profiles in the region to check for consistency. Comparisons indicate all the expendable probes acquired useful data and are well within the range of values measured by Argo floats.

Jacob, S. Daniel↗
NASA NTRS2017

Photospheric Emission in the Joint GBM and Konus Prompt Spectra of GRB 120323A

GRB 120323A is a very intense short gamma-ray burst (GRB) detected simultaneously during its prompt gamma-ray emission phase with the Gamma-Ray Burst Monitor (GBM) on board the Fermi Gamma-Ray Space Telescope and the Konus experiment on board the Wind satellite. GBM and Konus operate in the kiloelectronvolt - megaelectronvolt regime; however, the GBM range is broader toward both the low and the high parts of the gamma-ray spectrum. Analyses of such bright events provide a unique opportunity to check the consistency of the data analysis as well as cross-calibrate the two instruments. We performed time-integrated and coarse time-resolved spectral analysis of GRB 120323A prompt emission. We conclude that the analyses of GBM and Konus data are only consistent when using a double-hump spectral shape for both data sets; in contrast, the single hump of the empirical Band function, traditionally used to fit GRB prompt emission spectra, leads to significant discrepancies between GBM and Konus analysis results. Our two-hump model is a combination of a thermal-like and a non-thermal component. We interpret the first component as a natural manifestation of the jet photospheric emission.

Guiriec, S.↗
DOE OSTI2022

Search for the NΔ resonance in the 𝛾𝑑 → 𝑑𝜋 +𝜋 − reaction

A dibaryon which is an object with baryon number B = 2 has been studied for a long time. Dyson and Xuong classified non-strangeness dibaryon states based on SU(6) symmetries in 1960?s. In the framework, the deuteron is classified as one of the sextet states of dibaryons. Although dibaryon have been an interesting subject of research for a long time, most of the experimental studies up to the early 2000?s were unsuccessful. The CELCIUS/WASA collaboration reported this state via the double-pionic fusion reaction (?= ! 3c0c0) in 2009. Thereafter, the WASA-at-COSY collaboration revealed properties of the isoscaler resonance state via the ?= ! 3c0c0 reaction in 2011. The dibaryon resonance state with isospin ? = 0 and spin ( = 3 thought to be a ?03 which was predicted by Dyson and Xuong at 2.35 GeV?22 with a configuration of ??. The reported mass and width of that state were 2?37 GeV?22 and 0?07 GeV?22, espectively. The mass was ?0?08 GeV?22 smaller than that of 2?, the width was narrower than that of single ?. This surprising result made dibaryon study come back into the limelight. ?12 is one of the dibaryon states classified by Dyson and Xuong with isospin ? = 1, spin ( = 2. This state can be regarded as an s-wave #? resonance. ?12 is an interesting state from the point of view of the possibilities of existence as an internal structure of ?03 and contribution to many-body effects in nuclei. Though there were some experimental clues and theoretical studies of this state, it was unclear whether the obtained experimental results represented a real resonance or not due to the difficulty of separation from kinematical effects. Very recently, the FOREST group at Tohoku University reported a photoproduced isovector dibaryon state at mass of 2.14 GeV?22 in the 3c0 invariant mass spectra of the W3 ! 3c0c0 reaction. The most probable ?% configuration was 2¸ although they didn?t exclude the possibility of ?% = 1¸ or 3?. They separated the dibaryon production process from conventional pion production process for the first time using angular distribution of deuteron. We investigated the W3 ! 3c¸c? reaction for study of a possible #? dibaryon state using a deuterium target at the Research Center for Electron Photon Science, Tohoku University, Japan. In the experiment, ?3 ? 1012 tagged photon beam at energies ranging from 0.8 to 1.1 GeV was impinged to the liquid deuterium target (?520 mg?cm2) and the charged particles in the final state: deuteron, c¸, and c?, were detected by a magnetic spectrometer with a large solid angle named NKS2. NKS2 had capabilities of reconstructing momentum of charged particles, multi-track analysis, and ??c separation. We performed two different analyses named 2-track analysis and 3-track analysis. The 2-track (3-track) analysis was for events in which two (three) particles of 3c¸c? in the final state, including deuteron, were detected by NKS2. In the 3-track and 2-track analysis, ?2000? ?15000 events were identified as the W3 ! 3c¸c? reaction events, respectively. The 2-track analysis with higher statistics was mainly used to derive the cross sections, and the 3-track analysis was used to check the consistency of the 2-track analysis. In this thesis, we have shown the total cross section, the differential cross sections of the W3 ! 3c¸c? reaction in the region of jC j ¡ 0?15 GeV2. This is the world?s first measurement of this reaction in this energy region. Dibaryon resonance structures were observed below the #? threshold in the differential cross section of the invariant mass of 3c?. The mass and width of the structure were consistent with these of ?12 measured by the W3 ! 3c0c0 reaction. The mechanism of the production process was discussed based on the angular distribution of emitted deuteron.

Toyama, Yuichi↗
NASA NTRS2016

The Quality Control Algorithms Used in the Creation of NASA Kennedy Space Center Lightning Protection System Towers Meteorological Database

An accurate database of meteorological data is essential for designing any aerospace vehicle and for preparing launch commit criteria. Meteorological instrumentation were recently placed on the three Lightning Protection System (LPS) towers at Kennedy Space Center (KSC) launch complex 39B (LC-39B), which provide a unique meteorological dataset existing at the launch complex over an extensive altitude range. Data records of temperature, dew point, relative humidity, wind speed, and wind direction are produced at 40, 78, 116, and 139 m at each tower. The Marshall Space Flight Center Natural Environments Branch (EV44) received an archive that consists of one-minute averaged measurements for the period of record of January 2011 - April 2015. However, before the received database could be used EV44 needed to remove any erroneous data from within the database through a comprehensive quality control (QC) process. The QC process applied to the LPS towers' meteorological data is similar to other QC processes developed by EV44, which were used in the creation of meteorological databases for other towers at KSC. The QC process utilized in this study has been modified specifically for use with the LPS tower database. The QC process first includes a check of each individual sensor. This check includes removing any unrealistic data and checking the temporal consistency of each variable. Next, data from all three sensors at each height are checked against each other, checked against climatology, and checked for sensors that erroneously report a constant value. Then, a vertical consistency check of each variable at each tower is completed. Last, the upwind sensor at each level is selected to minimize the influence of the towers and other structures at LC-39B on the measurements. The selection process for the upwind sensor implemented a study of tower-induced turbulence. This paper describes in detail the QC process, QC results, and the attributes of the LPS towers meteorological database.

Orcutt, John M.↗
NASA NTRS1970

Volume-checking tool

Tool, consisting of a graduated storage vessel and a control panel, can determine the amount of gas entrained by fluid in a closed system, the amount of fluid remaining in a dried system of known volume, or the volume of a container of unknown size.

Erbe, C. J.↗
NASA NTRS2012

HyDE Framework for Stochastic and Hybrid Model-Based Diagnosis

Hybrid Diagnosis Engine (HyDE) is a general framework for stochastic and hybrid model-based diagnosis that offers flexibility to the diagnosis application designer. The HyDE architecture supports the use of multiple modeling paradigms at the component and system level. Several alternative algorithms are available for the various steps in diagnostic reasoning. This approach is extensible, with support for the addition of new modeling paradigms as well as diagnostic reasoning algorithms for existing or new modeling paradigms. HyDE is a general framework for stochastic hybrid model-based diagnosis of discrete faults; that is, spontaneous changes in operating modes of components. HyDE combines ideas from consistency-based and stochastic approaches to model- based diagnosis using discrete and continuous models to create a flexible and extensible architecture for stochastic and hybrid diagnosis. HyDE supports the use of multiple paradigms and is extensible to support new paradigms. HyDE generates candidate diagnoses and checks them for consistency with the observations. It uses hybrid models built by the users and sensor data from the system to deduce the state of the system over time, including changes in state indicative of faults. At each time step when observations are available, HyDE checks each existing candidate for continued consistency with the new observations. If the candidate is consistent, it continues to remain in the candidate set. If it is not consistent, then the information about the inconsistency is used to generate successor candidates while discarding the candidate that was inconsistent. The models used by HyDE are similar to simulation models. They describe the expected behavior of the system under nominal and fault conditions. The model can be constructed in modular and hierarchical fashion by building component/subsystem models (which may themselves contain component/ subsystem models) and linking them through shared variables/parameters. The component model is expressed as operating modes of the component and conditions for transitions between these various modes. Faults are modeled as transitions whose conditions for transitions are unknown (and have to be inferred through the reasoning process). Finally, the behavior of the components is expressed as a set of variables/ parameters and relations governing the interaction between the variables. The hybrid nature of the systems being modeled is captured by a combination of the above transitional model and behavioral model. Stochasticity is captured as probabilities associated with transitions (indicating the likelihood of that transition being taken), as well as noise on the sensed variables.

Narasimhan, Sriram↗