Search NASA⌕ Search

SEARCH · Search NASA

Results for “coverage”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1982

A study of the geographic coverage properties of a satellite borne Doppler lidar wind velocity measuring system

Geographic coverage frequency and geographic shot density for a satellite borne Doppler lidar wind velocity measuring system are measured. The equations of motion of the light path on the ground were derived and a computer program devised to compute shot density and coverage frequency by latitude-longitude sections. The equations for the coverage boundaries were derived and a computer program developed to plot these boundaries, thus making it possible, after an application of a map coloring algorithm, to actually see the areas of multiple coverage. A theoretical cross-swath shot density function that gives close approximations in certain cases was also derived. This information should aid in the design of an efficient data-processing system for the Doppler lidar.

Pate, T. H.↗
NASA NTRS1989

Coverage modeling for dependability analysis of fault-tolerant systems

Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error can actually increase the unreliability of the system. This result is true if the error detectability is not nearly perfect, so that the risk of producing an undetectable error is greater than the benefit gained by not discarding the component.

Dugan, Joanne Bechta↗
NASA NTRS1993

Automating test case generation for coverages required by FAA standard DO-178B

Coverage testing techniques are required by the FAA for various levels of subsystem criticality at the unit testing level. Higher levels of criticality require coverage schemes that frequently require more and more test cases, particularly when the number of conditions in a decision grows. For example, if we have a decision with n conditions of the form: if (/ci/ or /c2/ or .... or /cn/) then there are 2(n) possible combinations of condition outcomes. Given the enormous number of inputs that may be required to satisfy different coverages, and given that there are no automated tools for determining these inputs (to our knowledge), we will show how one alternative testing technique, mutation testing, can be coerced into generating inputs that satisfy a code coverage scheme X, i.e., if we modify the rules for mutant generation during mutation testing, this technique will provide test cases that satisfy X.

Voas, Jeffrey M.↗
NASA NTRS1995

Is coverage a factor in non-Gaussianity of IMF parameters?

Recently, Feynman and Ruzmaikin (1994) showed that IMF parameters for the 1973 to 1990 period are not log-normally distributed as previously suggested by Burlaga and King (1979) for the data obtained over a shorter time period (1963-75). They studied the first four moments, namely: mean, variance, skewness, and kurtosis. For a Gaussian distribution, moments higher than the variance should vanish. In particular, Feynman and Ruzmaikin obtained very high values of kurtosis during some periods of their analysis. We note that the coverage for IMF parameters is very uneven for the period analyzed by them, ranging from less than 40% to greater than 80%. So a question arises as to whether the amount of coverage is a factor in their analysis. We decided to test this for the B(sub z) component of IMF, since it is an effective geoactive parameter for short term disturbances. Like them, we used 1-hour averaged data available on the Omnitape. We studied the scatter plots of the annual mean values of B(sub z)(nT) and its kurtosis versus the percent coverage for the year. We obtain a correlation coefficient of 0.48 and 0.42 respectively for the 1973-90 period. The probability for a chance occurrence of these correlation coefficients for 18 pair of points is less than 8%. As a rough measure of skewness, we determined the percent asymmetry between the areas of the histograms representing the distributions of the positive and the negative values of B(sub z) and studied its correlation with the coverage for the year. This analysis yields a correlation coefficient of 0.41 When we extended the analysis for the whole period for which IMF data are available (1963-93) the corresponding correlation coefficients are 0.59, 0.14, and 0.42. Our findings will be presented and discussed

Ahluwalia, H. S.↗
NASA NTRS1997

Constellation Coverage Analysis

The design of satellite constellations requires an understanding of the dynamic global coverage provided by the constellations. Even for a small constellation with a simple circular orbit propagator, the combinatorial nature of the analysis frequently renders the problem intractable. Particularly for the initial design phase where the orbital parameters are still fluid and undetermined, the coverage information is crucial to evaluate the performance of the constellation design. We have developed a fast and simple algorithm for determining the global constellation coverage dynamically using image processing techniques. This approach provides a fast, powerful and simple method for the analysis of global constellation coverage.

Martin W. Lo↗
NASA NTRS2001

A Practical Tutorial on Modified Condition/Decision Coverage

This tutorial provides a practical approach to assessing modified condition/decision coverage (MC/DC) for aviation software products that must comply with regulatory guidance for DO-178B level A software. The tutorial's approach to MC/DC is a 5-step process that allows a certification authority or verification analyst to evaluate MC/DC claims without the aid of a coverage tool. In addition to the MC/DC approach, the tutorial addresses factors to consider in selecting and qualifying a structural coverage analysis tool, tips for reviewing life cycle data related to MC/DC, and pitfalls common to structural coverage analysis.

Hayhurst, Kelly J.↗
NASA NTRS2001

Coverage Metrics for Model Checking

When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

Penix, John↗
NASA NTRS2002

Global Precipitation Measurement - Report 9 Core Coverage Trade Space Analysis

This paper summarizes the GPM-Core coverage trade space analysis. The goal of this analysis was to determine the GPM-Core sensitivity to changes in altitude and inclination for the three onboard instruments: the radiometer, the KU band radar and the KA band radar. This study will enable a better choice of the nominal GPM-Core orbit as well as the optimal size of the maintenance box (+/-1 km, +/-5 km..). For this work, we used two different figures-of-merit: (1) the time required to cover 100% of the +/-65 deg latitude band and (2) the coverage obtained for a given propagation time (7 days and 30 days). The first figure-of-merit is used for the radiometer as it has a sensor cone half-angle between 3 to 5 times bigger than the radars. Thus, we anticipate that for this instrument the period of the orbit (i.e. altitude) will be the main driver and that the 100% coverage value will be reached within less than a week. The second figure-of-merit is used for the radar instruments as they have small sensor cone half-angle and will, in some cases, never reach the 100% coverage threshold point.

Mailhe, Laurie↗
NASA NTRS2009

Space Shuttle Communications Coverage Analysis for Thermal Tile Inspection

The space shuttle ultra-high frequency Space-to-Space Communication System has to provide adequate communication coverage for astronauts who are performing thermal tile inspection and repair on the underside of the space shuttle orbiter (SSO). Careful planning and quantitative assessment are necessary to ensure successful system operations and mission safety in this work environment. This study assesses communication systems performance for astronauts who are working in the underside, non-line-of-sight shadow region on the space shuttle. All of the space shuttle and International Space Station (ISS) transmitting antennas are blocked by the SSO structure. To ensure communication coverage at planned inspection worksites, the signal strength and link margin between the SSO/ISS antennas and the extravehicular activity astronauts, whose line-of-sight is blocked by vehicle structure, was analyzed. Investigations were performed using rigorous computational electromagnetic modeling techniques. Signal strength was obtained by computing the reflected and diffracted fields along the signal propagation paths between transmitting and receiving antennas. Radio frequency (RF) coverage was determined for thermal tile inspection and repair missions using the results of this computation. Analysis results from this paper are important in formulating the limits on reliable communication range and RF coverage at planned underside inspection and repair worksites.

Kroll, Quin D.↗
NASA NTRS2007

Spatial Coverage Planning for Exploration Robots

A report discusses an algorithm for an onboard planning and execution technology to support the exploration and characterization of geological features by autonomous rovers. A rover that is capable of deciding which observations are more important relieves the engineering team from much of the burden of attempting to make accurate predictions of what the available rover resources will be in the future. Instead, the science and engineering teams can uplink a set of observation requests that may potentially oversubscribe resources and let the rover use observation priorities and its current assessment of available resources to make decisions about which observations to perform and when to perform them. The algorithm gives the rover the ability to model spatial coverage quality based on data from different scientific instruments, to assess the impact of terrain on coverage quality, to incorporate user-defined priorities among subregions of the terrain to be covered, and to update coverage quality rankings of observations when terrain knowledge changes. When the rover is exploring large geographical features such as craters, channels, or boundaries between two different regions, an important factor in assessing the quality of a mission plan is how the set of chosen observations spatially cover the area of interest. The algorithm allows the rover to evaluate which observation to perform and to what extent the candidate observation will increase the spatial coverage of the plan.

Gaines, Daniel↗
NASA NTRS2012

Assessment of DSN Communication Coverage for Space Missions to Potentially Hazardous Asteroids

A communication coverage gap exists for Deep Space Network (DSN) antennas. This communication coverage gap is on the southern hemisphere, centered at approximate latitude of -47deg and longitude of -45deg. The area of this communication gap varies depending on the altitude from the Earth s surface. There are no current planetary space missions that fall within the DSN communication gap because planetary bodies in the Solar system lie near the ecliptic plane. However, some asteroids orbits are not confined to the ecliptic plane. In recent years, Potentially Hazardous Asteroids (PHAs) have passed within 100,000 km of the Earth. NASA s future space exploration goals include a manned mission to asteroids. It is important to ensure reliable and redundant communication coverage/capabilities for manned space missions to dangerous asteroids that make a sequence of close Earth encounters. In this paper, we will describe simulations performed to determine whether near-Earth objects (NEO) that have been classified as PHAs fall within the DSN communication coverage gap. In the study, we reviewed literature for a number of PHAs, generated binary ephemeris for selected PHAs using JPL s HORIZONS tool, and created their trajectories using Satellite Took Kit (STK). The results show that some of the PHAs fall within DSN communication coverage gap. This paper presents the simulation results and our analyses

Kegege, Obadiah↗
NASA NTRS2014

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops

Symbolic execution is a program analysis technique that is used for many purposes, one of which is test-case generation. For loop-free programs, this generates a test-set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the model-checker Java Pathfinder and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop unwinding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test-case generation, naively pruning paths is likely at the cost of coverage. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable.

Programs With Loops↗
NASA NTRSDate not supplied

Determination of Percent Area Coverage of Lunar Simulant on a Surface and Observations of Fairy Castle Structures

With NASA’s goal of returning humans to the Moon, it has become increasingly important to understand the impact of lunar regolith on spacecraft systems. The ability to measure the level of dust coverage on a surface is essential. Developing an accurate technique to determine percent area coverage is challenging due to the unique and complex layering of the dust particles on the surface, creating fairy castle structures that form complex towers, bridges, and buttresses using the smallest of dust particles as building blocks. For this study, these structures have been simulated using a unique dust distributor device and imaged with a scanning electron microscope. The results show the dusted surface’s complex topology, thus demonstrating the difficulty with determining the percent area of dust coverage. Implications for dust buildup on spacecraft, even at the microscopic level, can include degraded heat transfer and altered optical properties, making continuation of this research critical to support future human exploration of the Moon.

lunar dust↗
NASA NTRSDate not supplied

Lunar Dust level sensor & Effects on Surfaces (LDES): Percent Area Coverage of Lunar Simulant on a Surface and Fairy Castle Structures

With NASA’s goal of returning humans to the Moon, it has become increasingly important to understand the impact of lunar regolith on spacecraft systems. The ability to measure the level of dust coverage on a surface is essential. Developing an accurate technique to determine percent area coverage is challenging due to the unique and complex layering of the dust particles on the surface, creating fairy castle structures that form complex towers, bridges, and buttresses using the smallest of dust particles as building blocks. For this study, these structures have been simulated using a unique dust distributor device and imaged with a scanning electron microscope. The results show the dusted surface’s complex topology, thus demonstrating the difficulty with determining the percent area of dust coverage. Implications for dust buildup on spacecraft, even at the microscopic level, can include degraded heat transfer and altered optical properties, making continuation of this research critical to support future human exploration of the Moon.

percent area coverage↗
NASA NTRS1975

Quantization and symmetry in periodic coverage patterns with applications to earth observation

The general orbit-coverage problem in a simplified physical model is investigated by application of numerical approaches derived from basic number theory. A system of basic and general properties is defined by which idealized periodic coverage patterns may be characterized, classified, and delineated. The principal common features of these coverage patterns are their longitudinal quantization, determined by the revolution number R, and their overall symmetry.

King, J. C.↗
NASA NTRS1984

Origin of the coverage-dependent vibrational shift for O on Ni(100)

The p(2 x 2) and c(2 x 2) coverages of O on Ni(100) are studied with a cluster model. The p(2 x 2) coverge is modeled by the addition of a single O at a fourfold site. The c(2 x 2) is modeled by the explicit inclusion of four additional O atoms. Consistent with electron-energy-loss spectroscopy results, the O-Ni vibration is 85/cm lower for the c(2 x 2) cluster than for the p(2 x 2). The height of O above the surface is 11 pm smaller for the c(2 x 2) coverage. The nature of the O-to-Ni bonding is similar for both coverages.

Bauschlicher, C. W., Jr.↗
NASA NTRS1985

Origin of the difference of the coverage-dependent vibrational shift for S on Ni(100) and O on Ni(100)

The p(2 x 2) and c(2 x 2) coverages of S on Ni(100) are studied with a cluster model. Consistent with a recent lattice-dynamics study, the chemical contribution (rigid Ni lattice) to the coverage-dependent shift of the S vibrational energy is of opposite sign to that for O. Analysis of the cluster wave functions suggests that S becomes less negatively charged with coverage, while O becomes more ionic; however, this effect is small.

Bauschlicher, C. W., Jr.↗
NASA NTRS1986

Low-altitude coverage of ST radars

Clear air ST (stratosphere troposphere) radars are now widely used for atmospheric research and wind profiling. Most attention to date has been directed toward extending the altitude coverage as high as possible. It is also desirable to extend the coverage as low as possible. Any improvement in the low altitude coverage of existing wind profiling radars would be useful. The approximate lower limits of some existing ST radars are listed and what set these limits are briefly examined.

Ecklund, W. L.↗