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 37 records · Page 2

Knowledge-based critiquing of graphical user interfaces with CHIMES

CHIMES is a critiquing tool that automates the process of checking graphical user interface (GUI) designs for compliance with human factors design guidelines and toolkit style guides. The current prototype identifies instances of non-compliance and presents problem statements, advice, and tips to the GUI designer. Changes requested by the designer are made automatically, and the revised GUI is re-evaluated. A case study conducted at NASA-Goddard showed that CHIMES has the potential for dramatically reducing the time formerly spent in hands-on consistency checking. Capabilities recently added to CHIMES include exception handling and rule building. CHIMES is intended for use prior to usability testing as a means, for example, of catching and correcting syntactic inconsistencies in a larger user interface.

Jiang, Jianping↗

Astrophysical Li-7 as a product of big bang nucleosynthesis and galactic cosmic-ray spallation

The astrophysical Li-7 abundance is considered to be largely primordial, while the Be and B abundances are thought to be due to galactic cosmic ray (GCR) spallation reactions on top of a much smaller big bang component. But GCR spallation should also produce Li-7. As a consistency check on the combination of big bang nucleosynthesis and GCR spallation, the Be and B data from a sample of hot population II stars is used to subtract from the measured Li-7 abundance an estimate of the amount generated by GCR spallation for each star in the sample, and then to add to this baseline an estimate of the metallicity-dependent augmentation of Li-7 due to spallation. The singly reduced primordial Li-7 abundance is still consistent with big bang nucleosynthesis, and a single GCR spallation model can fit the Be, B, and corrected Li-7 abundances for all the stars in the sample.

Olive, Keith A.↗

Estimating the Concentration of Large Raindrops from Polarimetric Radar and Disdrometer Observations

Estimation of rainfall integral parameters, including radar observables, and empirical relations between them are sensitive to the truncation of the drop size distribution (DSD), particularly at the large drop end. The sensitivity of rainfall integral parameters to the maximum drop diameter (D(sub max)) is exacerbated at C‐band since resonance effects are pronounced for large drops in excess of 5 mm diameter (D). Due to sampling limitations, it is often difficult to reliably estimate D(sub max) with disdrometers. The resulting uncertainties in D(sub max0 potentially increase errors in radar retrieval methods, particularly at C‐band, that rely on disdrometer observations for DSD input to radar models. In fact, D(sub max) is typically an assumed DSD parameter in the development of radar retrieval methods. Because of these very uncertainties, it is difficult to independently confirm disdrometer estimates of D(sub max) with polarimetric radar observations. A couple of approaches can be taken to reduce uncertainty in large drop measurement. Longer integration times can be used for the collection of larger disdrometer samples. However, integration periods must be consistent with a radar resolution volume (RRV) and the temporal and spatial scales of the physical processes affecting the DSD therein. Multiple co‐located disdrometers can be combined into a network to increase the sample size within a RRV. However, over a reasonable integration period, a single disdrometer sample volume is many orders of magnitudes less than a RRV so it is not practical to devise a network of disdrometers that has an equivalent volume to a typical RRV. Since knowledge of DSD heterogeneity and large drop occurrence in time and space is lacking, the specific accuracy or even general representativeness of disdrometer based D(sub max) and large drop concentration estimates within a RRV are currently unknown. To address this complex issue, we begin with a simpler question. Is the frequency of occurrence of large rain drops (D > 5 mm) in disdrometer observations, either stand alone or networked, generally representative and consistent with polarimetric radar observations? We first show from simulations that the concentration of large (D > 5 mm) rain drops (N(sub T5)) can be estimated from polarimetric observations of specific differential phase (K(sub dp)) and differential reflectivity (Z(sub dr)), N(sub T5)=F(K(sub dp),Z(sub dr)), or horizontal reflectivity (Z(sub h)) and Z(sub dr), N(sub T5)=(Z(sub h),Z(sub dr)). We assess the error associated with polarimetric retrieval of N(sub T5), including sensitivity to D(sub max) parameterization assumptions and measurement error in the radar simulations. Polarimetric measurements at S‐band and C‐band will then be used to retrieve estimates of N(sub T5) and compared to disdrometer estimates of N(sub T5). After careful consideration of retrieval error, we will check consistency between disdrometer and polarimetric radar estimates of N(sub T5) and the frequency of occurrence of large rain drops in a variety of precipitating regimes using data from NASA's Global Precipitation Measurement (GPM) Ground Validation (GV) program, including field campaigns such as MC3E (Oklahoma) and IFloodS (Iowa) and extended measurements over Huntsville, Alabama and NASA Wallops Flight Facility in coastal Virginia.

Carey, Lawrence D.↗

Demonstration of remote clock monitoring by VLBI with three baseline closures

The capability of very long baseline interferometry (VLBI) to monitor the stability of remotely located hydrogen maser frequency standards has been demonstrated by a series of experiments conducted between Deep Space Stations in Australia, Spain, and California. The measured stabilities of the clock systems, over approximately 10 day intervals, were 1 to 3 parts in 10 to the 13th power, with the instabilities due to the oscillators, the clock distribution systems, the receiving system delays, and the VLBI measurement error. Experiments were conducted independently using two different systems (BLOCK 0 and WBDAS). Later comparison shows agreement on the order of 1 part in 10 to the 13th power. Closure was demonstrated on three separate occasions to 33, 10, and 13 ns with an error uncertainty of + or - 42 ns. The results represent an important consistency check on VLBI measurements.

Cheetham, C. M.↗

Study of fault tolerant software technology for dynamic systems

The major aim of this study is to investigate the feasibility of using systems-based failure detection isolation and compensation (FDIC) techniques in building fault-tolerant software and extending them, whenever possible, to the domain of software fault tolerance. First, it is shown that systems-based FDIC methods can be extended to develop software error detection techniques by using system models for software modules. In particular, it is demonstrated that systems-based FDIC techniques can yield consistency checks that are easier to implement than acceptance tests based on software specifications. Next, it is shown that systems-based failure compensation techniques can be generalized to the domain of software fault tolerance in developing software error recovery procedures. Finally, the feasibility of using fault-tolerant software in flight software is investigated. In particular, possible system and version instabilities, and functional performance degradation that may occur in N-Version programming applications to flight software are illustrated. Finally, a comparative analysis of N-Version and recovery block techniques in the context of generic blocks in flight software is presented.

Caglayan, A. K.↗

Evidence for collisionless conduction fronts in impulsive solar flares

The present paper is concerned with an analysis of new observations of impulsive hard X-ray and microwave bursts. The results are compared with predictions of a thermal flare model. A description is presented of the thermal model with conduction-front confinement, taking into account the development and previous applications of the model, the high-energy limit of confinement and its implications for microwave emission, the formation of a test based on the revised predictions of the model, and derived parameters. The observations and the test of the model are discussed, giving attention to instrumentation, event selection, selection of a homogeneous sample of impulsive rises,. observed and derived parameters for each rise, a correlation analysis of observed and predicted rise times, uncertainties in the measurements, consistency checks, and a comparison with results of Crannell et al. (1978).

Batchelor, D. A.↗

The necessity for a new parameterization of an empirical model for wind/ocean scatterometry

Difficulties related to the paucity of weather observation data regarding oceans were potentially alleviated for three summer months in 1978 when NASA's Seasat telemetered data from three wind-measuring instruments. The present study is concerned with one of these instruments, the Seasat A Scatterometer System (SASS). Attention is given to an internal consistency check of the SASS 1 model, comparisons of SASS 1 and other model-predicted winds with in situ winds, and a brief summary of the principal findings. It is found that a new wind retrieval system is required if SASS wind data are to be globally applicable and, at the same time, are to meet the required performance specifications. The sum-of-squares (SOS) technique for inverting SASS NRCS (normalized radar cross section) measurements results in the discarding of valuable data in low-speed areas and for higher incidence angles.

Woiceshyn, P. M.↗

Equatorial ozone profiles from the ground to 52 km during the Southern Hemisphere autumn

The results of an ozone measurement campaign conducted at Natal, Brazil from March 25 to April 15, 1985 are reported. Complete profiles of ozone, pressure, and temperature were obtained from the ground to 52 km, and all of the profiles correspond with site overpasses by ozone instruments on NASA and NOAA satellites. The profiles from this measurement series show reasonable agreement with established satellite climatologies. Stratospheric ozone variability was 2 percent or less during the 3 weeks of the measurement campaign, with stratospheric temperature and pressure variabilities half that amount. Low variability at a single location for this period implies comparable uniformity for ozone profiles over a large area around the measurement site. The auxiliary pressure and temperature profiles presented here allow the use of this data set as a transfer standard between satellite instruments with different fundamental ozone measurements. Finally, the low ozone variability in the stratosphere at Natal during this measurement series should provide an opportunity for high-quality intercomparisons of measured and modeled ozone concentrations in the equatorial stratosphere and lower mesosphere as well as a consistency check among satellite ozone measurements.

Barnes, Robert A.↗

Astrometric results of 1978-1985 Deep Space Network radio interferometry - The JPL 1987-1 extragalactic source catalog

An astrometric radio reference frame has been determined from intercontinental dual-frequency radio interferometric measurements. These measurements were carried out on a regular basis during 1978-1985 between NASA's Deep Space Network stations in California, Spain, and Australia. Analysis of 6800 pairs of delay and delay-rate observations made during 51 sessions produced estimates of 1300 parameters. The most significant of these are geophysical quantities and positions of extragalactic sources. The source catalog resulting from this analysis includes 106 sources fairly uniformly distributed over the celestial sphere, north of -45 deg declination. Almost all of the resulting source positions have formal uncertainties between 0.5 and 3 milliarcseconds (mas), with rms values of 2 mas in both angular coordinates. Internal consistency checks, as well as comparisons with independently determined source catalogs of comparable quality, indicate that relative source coordinates determined by VLBI contain systematic errors at the level of 1 to 2 mas.

Sovers, O. J.↗

Aging behavior and life prediction of graphite composites

This paper presents experimental data from two independent tests, designed to determine the long-term reliability of composite materials. The technique of accelerated aging at elevated temperatures is employed. In the first set, graphite fiber, epoxy composites in five ply layups are manufactured and tested in the standard short-beam shear mode. In the second set, Nomex honeycomb, graphite fiber/epoxy composite face and rear sheet sandwich coupons are tested. After satisfying simple consistency checks, data interpretation is attempted within the framework of an Arrhenius degradation model. The elevated temperature is assumed to influence the degradation according to this temperature-dependent rate law. From these tests on five-ply composites and honeycomb sandwiches, it is concluded that aging is not a serious problem.

Ramohalli, Kumar↗

Phase-referenced VLBI observations of weak radio sources - Milliarcsecond position of Algol

The Fourier inversion of all the delay/rate referenced visibilities of Algol was used to form a 'dirty' map which has dramatically improved VLBI array sensitivity. The Algol system, in a very low state of activity with a total flux density of only 3 mJy, was observed alternatively with the reference source 0309 + 411, about 1 deg away, throughout the 7 hr VLBI experiment. By combining all the individual VLBI observations, the resulting coherent integration time for Algol is 4.2 hr and the corresponding SNR is 12. Internal consistency checks and an analysis of possible systematic astrometric errors indicate that the accuracy of the relative VLBI position of Algol is + or - 0.0005 arcsec in both coordinates and that unknown systematic effects are presently limiting this astrometric measurement.

Lestrade, J.-F.↗

Dual-parameter radar rainfall measurement from space - A test result from an aircraft experiment

An aircraft experiment has been conducted with a dual-frequency (X/Ka-bands) radar to test various rainfall retrieval methods from space. The authors test a method to derive raindrop size distribution (DSD) parameters from the combination of a radar reflectivity profile and a path-integrated attenuation derived from surface return, which may be available from most spaceborne radars. The estimated DSD parameters are reasonable in that the values generally fall within the range of commonly measured ones and that shifts in DSD parameters appear to be correlated with changes in storm type. The validity of the estimation result is also demonstrated by a consistency check using the Ka-band reflectivity profile which is independent of the DSD estimation process. Although errors may occur in the cases of nonuniform beam filling, these test results indicate the feasibility of the dual-parameter radar measurement from space in achieving a better accuracy in quantitative rainfall remote measurements.

Kozu, Toshiaki↗

Probe systems for static pressure and cross-stream turbulence intensity

A recent study of total-pressure probes for use in highly turbulent streams is extended herein by developing probe systems that measure time-averaged static or ambient pressure and turbulence intensity. Arrangements of tubular probes of circular and elliptical cross section are described that measure the pressure at orifices on the sides of the probes to obtain different responses to the cross-stream velocity fluctuations. When the measured data are combined to remove the effect of the presence of the probes on the local pressure, the time-averaged static pressure and the cross-stream components of turbulence intensity can be determined. If a system of total pressure tubes, as described in an accompanying paper, is added to the static pressure group to form a single cluster, redundant measurements are obtained that permit accuracy and consistency checks.

Rossow, Vernon, J.↗

Sub-daily resolution of earth rotation variations with Global Positioning System measurements

Data from a worldwide Global Positioning System (GPS) tracking experiment have been used to determine variations in earth rotation (UT1-UTC) over a time period of three weeks. Kalman filtering and smoothing enabled changes in UT1-UTC over intervals of 2 to 24 hrs to be detected with the GPS data. Internal consistency checks and comparisons with other solutions from very long baseline interferometry (VLBI) and satellite laser ranging (SLR) indicate that the GPS UT1-UTC estimates are accurate to about 2 cm. Comparison of GPS-estimated variations in UT1-UTC with 2-hr time resolution over 4 days with predicted variations computed from diurnal and semidiurnal oceanic tidal contributions strongly suggests that the observed periodic sub-daily variations of about 0.1 msec are largely of tidal origin.

Lichten, Stephen M.↗

Correlated flux densities from VLBI observations with the DSN

Correlated flux densities of extragalactic radio sources in the very long baseline interferometry (VLBI) astrometric catalog are required for the VLBI tracking of Galileo, Mars Observer, and future missions. A system to produce correlated and total flux density catalogs was developed to meet these requirements. A correlated flux density catalog of 274 sources, accurate to about 20 percent, was derived from more than 5000 DSN VLBI observations at 2.3 GHz (S-band) and 8.4 GHz (X-band) using 43 VLBI radio reference frame experiments during the period 1989-1992. Various consistency checks were carried out to ensure the accuracy of the correlated flux densities. All observations were made on the California-Spain and California-Australia DSN baselines using the Mark 3 wideband data acquisition system. A total flux density catalog, accurate to about 20 percent, with data on 150 sources, was also created. Together, these catalogs can be used to predict source strengths to assist in the scheduling of VLBI tracking passes. In addition, for those sources with sufficient observations, a rough estimate of source structure parameters can be made.

Coker, R. F.↗

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

We present the first results of time dependent, two-fluid, cosmic-ray (CR) modified, MHD shock simulations. The calculations were carried out with a new numerical code for 1-D 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 appear to have converged to dynamical steady states. We also present results from an initial time dependent simulation which extend 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 timescale than parallel shocks.

Frank, Adam↗

Development of a flexible and efficient multigrid-based multiblock flow solver

A multigrid-based numerical scheme for solving the Navier-Stokes and Euler equations on block-structured grids is presented for flows over complex aircraft configurations. Self-consistency checks are conducted to ascertain that the multiblock code reproduces previously known solutions from single-block codes by splitting a single-block grid into multiple blocks. The newly-developed multiblock code maintains multigrid performance of an equivalent single-block code.

Vatsa, Veer N.↗

Symbolic discrete event system specification

Extending discrete event modeling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. An extension to the DEVS formalism that facilitates symbolic expression of event times by extending the time base from the real numbers to the field of linear polynomials over the reals is defined. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying nondeterminism. To efficiently manage symbolic constraints, a consistency checking algorithm for linear polynomial constraints based on feasibility checking algorithms borrowed from linear programming has been developed. The extended formalism offers a convenient means to conduct multiple, simultaneous explorations of model behaviors. Examples of application are given with concentration on fault model analysis.

Zeigler, Bernard P.↗