Search NASA⌕ Search

SEARCH · Search NASA

Results for “Localization Error”

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 703 records · Page 39
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Tropical Convection Through the Lens of the INCUS Mission

The overarching goal of the recently selected NASA INvestigation of Convective UpdraftS (INCUS) mission is to enhance our understanding of why, when and where tropical convective storms form, and why only some of these storms produce extreme weather. Convective storms provide an important pathway for the transport of air and water between Earth’s surface and the upper troposphere. This vertical transport of air and water, often referred to as convective mass flux (CMF), plays a critical role in Earth’s weather and climate system through its impacts on microphysical and precipitation rates, detrainment and upper tropospheric moistening, high cloud feedbacks, and the large-scale circulation. Potential changes to the CMF as a function of the local environment or with changing climates may also have significant implications for severe weather such as flood-producing rainfall, damaging hail and lightning. In spite of the critical role of this vertical transport of water and air, representation of CMF remains a major source of error in weather and climate models, thereby limiting our ability to accurately predict convective storms and their impacts. The tropics-wide observations from INCUS will enhance our understanding of tropical convective storm processes and will provide guidance for representing these processes in numerical models across scales. INCUS is comprised of three SmallSat platforms each carrying a RainCube-heritage Ka-band 7-beam scanning radar. The satellite platforms will be 30 and 90 seconds apart, thus providing three time intervals (30, 90 and 120 seconds) over which observations will be made. INCUS will investigate CMF using a novel time-differenced radar reflectivity profile approach. In addition to the Ka-band radar, a single TEMPEST-D-heritage cross-track-scanning passive microwave radiometer will be housed on the middle SmallSat. The radiometer will provide extensive storm context for the radar observations, as well as observations of the convective anvils. The combination of the radars and radiometer on INCUS will deliver unprecedented three-dimensional views of tropical convective storms. INCUS is the first systematic investigation of the rapidly evolving CMF within tropical convective storms, the observations of which are expected to significantly enhance both our understanding and prediction of storm structure, their dynamics and microphysical processes, and the ways in which these evolve over storm lifetimes. This presentation will highlight the observational capabilities and scientific approach of the INCUS mission.

Susan C. van den Heever↗
NASA NTRS1995

Introduction to Penelope

A formal program verification is a (mathematical) proof that a program executed according to its intended model meets some specification. This proves that the algorithm defined by the program is correct in the precise technical sense of being consistent with a particular specification. A program correct in this sense is free from a large and important class of errors, even though its behavior may still produce unintended results--either because the implementation of the programming language itself does not match the model of execution, or because the specification does not correctly express the user's intentions. Penelope is a prototype system for interactively developing and verifying programs that are written in a rich subset of sequential Ada. Penelope can be used to develop a program and its correctness proof incrementally, and in concert with one another. Incrementality is used in a number of ways to help make verification more tractable and more productive. For example, if an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original verification. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. Larch/Ada scales up properly, in the sense that it is demonstrably sound to decompose a system hierarchically and reason locally about the implementation of each piece. Penelope has been applied in various demonstration projects--for specification (guidance control, distributed operating systems), verification (of off-the-shelf code), and formal development (by non-expert as well as expert users). Some features of Penelope have been embodied in Ada Wise, a lint-like non-interactive tool that warns of the potential for certain dynamic semantic errors in Ada programs.

Guaspari, David↗
NASA NTRS1990

Early results from the Cosmic Background Explorer (COBE)

The Cosmic Background Explorer, launched 18 Nov. 1989, has nearly completed its first full mapping of the sky with all three of its instruments: A Far Infrared Absolute Spectrometer (FIRAS) covering 0.1 to 10 mm, a set of Differential Microwave Radiometers (DMR) operating at 3.3, 5.7, and 9.6 mm, and a diffuse Infrared Background Experiment (DIRBE) spanning 1 to 300 microns in ten bands. A preliminary map of the sky derived from DIRBE data is presented. Initial cosmological implications include: a limit on the comptonization parameter of 0.001, on the chemical potential parameter of 0.01, a strong limit on the existence of a hot smooth intergalactic medium, and a confirmation that the dipole anisotropy has the spectrum expected from a Doppler shift of a blackbody. There are no significant anisotropies in the microwave sky detected, other than from our own galaxy and a cos theta dipole anisotropy whose amplitude and direction agree with previous data. At shorter wavelengths, the sky spectrum and anisotropies are dominated by emission from local sources of emission within our Galaxy and Solar System. Preliminary comparison of IRAS (Infrared Astronomical Satellite) and DRIBE sky brightnesses toward the ecliptic poles shows the IRAS values to be significantly higher than found by DRIBE at 100 microns. The presence of gain and zero point errors in the IRAS total brightness data is suggested. The spacecraft, instrument designs, and data reduction methods are described.

Mather, J. C.↗
NASA NTRS1993

A priori error estimates for an hp-version of the discontinuous Galerkin method for hyperbolic conservation laws

A priori error estimates are derived for hp-versions of the finite element method for discontinuous Galerkin approximations of a model class of linear, scalar, first-order hyperbolic conservation laws. These estimates are derived in a mesh dependent norm in which the coefficients depend upon both the local mesh size h(sub K) and a number p(sub k) which can be identified with the spectral order of the local approximations over each element.

Bey, Kim S.↗
NASA NTRS1994

Symmetry breaking in O4(+): An application of the Brueckner coupled-cluster method

A recent calculation of the antisymmetric stretch frequency for the rectangular structure of quartet O4(+) using the singles and doubles quadratic configuration interaction method with a perturbational estimate of connected triple excitations (QCISD(T)) method gave a value of 3710 cm(exp -1). This anomalous frequency is shown to be a consequence of symmetry breaking effects, which occur even though the QCISD(T) solution derived from a delocalized SCF reference function lies energetically well below the two localized (symmetry-broken) solutions at the equilibrium geometry. The symmetry breaking is almost eliminated at the CCSD level of theory, but the small remaining symmetry breaking effects are magnified at the CCSD(T) level of theory so that the antisymmetric stretch frequency is still significantly in error. The use of the Brueckner coupled cluster method, however, leads to a symmetrical solution which is free of symmetry breaking effects, with an antisymmetric stretch frequency of 1322 cm(exp -1), in good agreement with our earlier calculations using the complete active space self consistent field/complete active space state interaction (CASSCF/CASSI) method.

Barnes, Leslie A.↗
NASA NTRS1994

Toward unbiased determination of the redshift evolution of Lyman-alpha forest clouds

The possibility of using D(sub A), the mean depression of a quasar spectrum due to Ly-alpha forest absorption, to study the number density evolution of the Ly-alpha forest clouds is examined in some detail. Current D(sub A) measurements are made against a continuum that is a power-law extrapolation from the continuum longward of Ly-alpha emission. Compared to the line-counting approach, the D(sub A)-method has the advantage that the D(sub A) measurements are not affected by line-blending effects. However, we find using low-redshift quasar spectra obtained with the Hubble Space Telescope (HST), where the true continuum in the Ly-alpha forest can be estimated fairly reliably because of the much lower density of the Ly-alpha forest lines, that the extrapolated continuum often deviates systematically from the true continuum in the forest region. Such systematic continuum errors introduce large errors in the D(sub A) measurements. The current D(sub A) measurements may also be significantly biased by the possible presence of the Gunn-Peterson absorption. We propose a modification to the existing D(sub A)-method, namely, to measure D(sub A) against a locally established continuum in the Ly-alpha forest. Under conditions that the quasar spectrum has good resolution and S/N to allow for a reliable estimate of the local continuum in the Ly-alpha forest, the modified D(sub A) measurements should be largely free of the systematic uncertainties suffered by the existing D(sub A) measurements. We also introduce a formalism based on the work of Zuo (1993) to simplify the application of the D(sub A)-method(s) to real data. We discuss the merits and limitations of the modified D(sub A)-method, and conclude that it is a useful alternative. Our findings that the extrapolated continuum from longward of Ly-alpha emission often deviates systematically from the true continuum in the Ly-alpha forest present a major problem in the study of the Gunn-Peterson absorption.

Lu, Limin↗
NASA NTRS2001

Multiwavelength Examination of the COS B Field 2CG 075+00 Yields a Blazar Identification for 3EG J2016+3657

We present a high-energy study of the intriguing COS B gamma-ray field, 2CG 075+00, in order to search for possible counterparts. New EGRET data show that the COS B emission probably corresponds to two localized gamma-ray sources, 3EG J2016+3657 and 3EG J2021+3716. Spectral fits to these EGRET sources, assuming a power-law model, yield photon indices of approx. 2 for each object. We examine archival ROSAT and ASCA X-ray data that overlap both EGRET error boxes and find several point sources in the region to a flux limit of approximately 6.5 x 10(exp -13) ergs/sq cm s. We conclude that the most probable candidate for 3EG J2016+3657 is the compact, variable, flat-spectrum radio and millimeter source B2013+370 (G74.87+1.22), which has blazar like properties. The other source, 3EG J2021+3716, remains unidentified.

Mukherjee, R.↗
NASA NTRS2005

Constraints on Short Gamma-ray Burst Models with Optical Limits of GRB 050509b

We have obtained deep optical images with the Very Large Telescope at ESO of the first well-localized short-duration gamma-ray burst, GRB 050509b. We observed in the V and R bands at epochs starting at approx. 2 days after the GRB trigger and lasting up to three weeks. We detect no variable objects inside the small Swift/XRT X-ray error circle down to 5(sigma) limiting magnitudes of V = 26.5 and R = 25.2. The X-ray error circle includes a giant elliptical galaxy at z = 0.225, which has been proposed as the likely host of this GRB. Our limits indicate that if the GRB originated at z = 0.225, any supernova-like event accompanying the GRB would have to be over 100 times fainter than normal Type Ia SNe or Type IC hypernovae, 5 times fainter than the faintest known Ia or IC SNe, and fainter than the faintest known Type II SNe. Moreover, we use the optical limits to constrain the energetics of the GRB outflow, and conclude that there was very little radioactive material produced during the GRB explosion. These limits strongly constrain progenitor models for this short GRB. Subject headings: gamma rays: bursts - supernovae

Hjorth, J.↗
NASA NTRS2011

Detecting Abnormal Machine Characteristics in Cloud Infrastructures

In the cloud computing environment resources are accessed as services rather than as a product. Monitoring this system for performance is crucial because of typical pay-peruse packages bought by the users for their jobs. With the huge number of machines currently in the cloud system, it is often extremely difficult for system administrators to keep track of all machines using distributed monitoring programs such as Ganglia1 which lacks system health assessment and summarization capabilities. To overcome this problem, we propose a technique for automated anomaly detection using machine performance data in the cloud. Our algorithm is entirely distributed and runs locally on each computing machine on the cloud in order to rank the machines in order of their anomalous behavior for given jobs. There is no need to centralize any of the performance data for the analysis and at the end of the analysis, our algorithm generates error reports, thereby allowing the system administrators to take corrective actions. Experiments performed on real data sets collected for different jobs validate the fact that our algorithm has a low overhead for tracking anomalous machines in a cloud infrastructure.

Bhaduri, Kanishka↗
NASA NTRS2014

NASA Engineering and Safety Center Technical Bulletin No. 14-03: COPV Mechanical Model Validation

Global and local deformation measurements should be incorporated into the composite overwrapped pressure vessel (COPV) design and analysis process to allow correlation of these measurements with finite element analysis (FEA) models. This correlation improves understanding of liner, liner/overwrap interface, and composite deformation response in COPVs. The improved accuracy reduces error in subsequent analyses, such as fracture, fatigue, and stress rupture that are critical for COPV qualification.

Composite Overwrap Pressure Vehicle↗
NASA NTRS1983

Aerodynamic coefficient identification package dynamic data accuracy determinations: Lessons learned

The errors in the dynamic data output from the Aerodynamic Coefficient Identification Packages (ACIP) flown on Shuttle flights 1, 3, 4, and 5 were determined using the output from the Inertial Measurement Units (IMU). A weighted least-squares batch algorithm was empolyed. Using an averaging technique, signal detection was enhanced; this allowed improved calibration solutions. Global errors as large as 0.04 deg/sec for the ACIP gyros, 30 mg for linear accelerometers, and 0.5 deg/sec squared in the angular accelerometer channels were detected and removed with a combination is bias, scale factor, misalignment, and g-sensitive calibration constants. No attempt was made to minimize local ACIP dynamic data deviations representing sensed high-frequency vibration or instrument noise. Resulting 1sigma calibrated ACIP global accuracies were within 0.003 eg/sec, 1.0 mg, and 0.05 deg/sec squared for the gyros, linear accelerometers, and angular accelerometers, respectively.

Heck, M. L.↗
NASA NTRS1986

Spatial variations of ocean wave directional spectra from the Seasat synthetic aperture radar

Seasat synthetic aperture radar ocean wave spectra for a 900-km pass are analyzed and interpreted in the context of both their probable generation sources and their surface current and bathymetric modifiers. Systematic vector wavenumber variations of several times the standard error of determination (about 1.5 percent in magnitude and 0.9 deg in direction) occur along the entire 900-km pass. The large-scale spatial variation of a 200-m swell system can be accurately accounted for as a result of dispersion from a distant storm. The more local variations are qualitatively well correlated in position with known currents and bathymetry but show systematic biases that appear partly due to an environmentally dependent instrument transfer function in the regions of high current and highest sea state. There is also substantial evidence that a large angular deviation in the center of the pass is the result of a mesoscale eddy just to the east.

Beal, R. C.↗
NASA NTRS1987

Optimizing a continuously variable filter in a hybrid optical correlator

In contrast to binary filters, continuously variable optical filters offer an ability to conpensate for certain imperfections in the optics of a hybrid correlator. Arbitrary static phase errors are introduced into a model of a phase-only filtering hybrid correlator, and a method of discovering a correction for them simulated. By a recursive technique a first approximation to the impulse's matched filter is adjusted (allowed to relax) so as to produce successively more localized distribution of the output in the correlation plane. The method is motivated by the development of continuously-variable phase-only spatial light modulators, but it is applicable to amplitude modulators and -with appropriate modification -- to binary modulators as well. The technique is robust against the form of the system's departure from ideal behavior.

Juday, Richard D.↗
NASA NTRS1972

Variance reduction in Monte Carlo analysis of rarefied gas diffusion

The present analysis uses the Monte Carlo method to solve the problem of rarefied diffusion between parallel walls. The diffusing molecules are evaporated or emitted from one of two parallel walls and diffused through another molecular species. The analysis treats the diffusing molecule as undergoing a Markov random walk and the local macroscopic properties are found as the expected value of the random variable, the random walk payoff. By biasing the transition probabilities and changing the collision payoffs the expected Markov walk payoff is retained but its variance is reduced so that the M. C. result has a much smaller error.

Perlmutter, M.↗
NASA NTRS1972

Variance reduction in Monte Carlo analysis of rarefied gas diffusion.

The problem of rarefied diffusion between parallel walls is solved using the Monte Carlo method. The diffusing molecules are evaporated or emitted from one of the two parallel walls and diffuse through another molecular species. The Monte Carlo analysis treats the diffusing molecule as undergoing a Markov random walk, and the local macroscopic properties are found as the expected value of the random variable, the random walk payoff. By biasing the transition probabilities and changing the collision payoffs, the expected Markov walk payoff is retained but its variance is reduced so that the Monte Carlo result has a much smaller error.

Perlmutter, M.↗
NASA NTRS1991

Fusion techniques using distributed Kalman filtering for detecting changes in systems

A comparison is made of the performances of two detection strategies that are based on different data fusion techniques. The strategies detect changes in a linear system. One detection strategy involves combining the estimates and error covariance matrices of distributed Kalman filters, generating a residual from the used estimates, comparing this residual to a threshold, and making a decision. The other detection strategy involves a distributed decision process in which estimates from distributed Kalman filters are used to generate distributed residuals which are compared locally to a threshold. Local decisions are made and these decisions are then fused into a global decision. The performances of each of these detection schemes are compared, and it is concluded that better performance is achieved when local decisions are made and then fused into a global decision.

Belcastro, Celeste M.↗
NASA NTRS1993

Flight-path estimation in passive low-altitude flight by visual cues

A series of experiments was conducted, in which subjects had to estimate the flight path while passively being flown in straight or in curved motion over several types of nominally flat, textured terrain. Three computer-generated terrain types were investigated: (1) a random 'pole' field, (2) a flat field consisting of random rectangular patches, and (3) a field of random parallelepipeds. Experimental parameters were the velocity-to-height (V/h) ratio, the viewing distance, and the terrain type. Furthermore, the effect of obscuring parts of the visual field was investigated. Assumptions were made about the basic visual-field information by analyzing the pattern of line-of-sight (LOS) rate vectors in the visual field. The experimental results support these assumptions and show that, for both a straight as well as a curved flight path, the estimation accuracy and estimation times improve with the V/h ratio. Error scores for the curved flight path are found to be about 3 deg in visual angle higher than for the straight flight path, and the sensitivity to the V/h ratio is found to be considerably larger. For the straight motion, the flight path could be estimated successfully from local areas in the far field. Curved flight-path estimates have to rely on the entire LOS rate pattern.

Grunwald, Arthur J.↗
NASA NTRS1993

Recent SEL experiments and studies

The studies discussed in this paper are all examples of activities that are performed as part of the Software Engineering Laboratory's (SEL's) process improvement model. Using this model, the SEL starts by understanding the product and process, then assesses the impact of new technologies, and finally packages what was learned. The preliminary examination of maintenance effort, error, and change profiles to establish a maintenance baseline exemplifies understanding-phase activities. The ongoing testing study that is examining the effects of various testing approaches on process and product measures is an example of typical assessing efforts. Finally, the derivation of cost and schedule estimation models from locally driven factors such as reuse level, application type, and language is an example of experience packaging. In the SEL, no study is ever really completed. Studies will be repeated and iterated upon in the future as part of the ongoing software improvement process.

Pajerski, Rose↗