Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Davis”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

CASA Uno GPS orbit and baseline experiments

CASA Uno data from sites distributed in longitude from Australia to Europe have been used to determine orbits of the GPS satellites. The characteristics of the orbits determined from double difference phase have been evaluated through comparisons of two-week solutions with one-week solutions and by comparisons of predicted and estimated orbits. Evidence of unmodeled effects is demonstrated, particularly associated with the orbit planes that experience solar eclipse. The orbit accuracy has been assessed through the repeatability of unconstrained estimated baseline vectors ranging from 245 km to 5400 km. Both the baseline repeatability and the comparison with independent space geodetic methods give results at the level of 1-2 parts in 100,000,000. In addition, the Mojave/Owens Valley (245 km) and Kokee Park/Ft. Davis (5409 km) estimates agree with VLBI and SLR to better than 1 part in 100,000,000.

Schutz, B. E.↗
NASA NTRS1990

Correlation functions for pairs and groups of galaxies

There are many studies on the correlation functions of galaxies, of clusters of galaxies, even of superclusters (e.g., Groth and Peebles 1977; Davies and Peebles 1983; Kalinkov and Kuneva 1985, 1986; Bahcall 1988 and references therein) but not so many on pairs and groups of galaxies. Results of the calculations of two-point correlation fuctions for some catalogs of pairs and groups of galaxies are given. It is assumed that the distances to pairs and groups of galaxies are given by their mean redshifts according to R = sigma (sup n, sub i-1) V sub i/nH (sub 0), where n is the number of galaxies in the system and H sub 0 = 100 km s(exp -1) Mpc(exp -1).

Kalinkov, M.↗
NASA NTRS1990

Amplitude-dependent neutral modes in compressible boundary layer flows

The ideas of Benney and Bergeron (1969) and Davies (1969) on nonlinear critical layers are extended, and some new nonlinear neutral modes are computed for compressible boundary layer flow. A special case of the work is when the generalized inflexion point criterion holds. Neutral modes are found for a range of phase-speeds, dependent on the Mach number, and the properties of these are discussed. As in the linear case when the flow is relatively supersonic, multiple neutral modes exist. The behavior of the neutral amplitude in some limiting cases is also considered, and it is found that the results are significantly different from that in incompressible flow when the flow is locally supersonic.

Gajjar, J. S. B.↗
NASA NTRS1991

Use of aerosol microphysical measurements to model IR backscatter in support of GLOBE

Data on the concentration and composition of free tropospheric aerosol over the Pacific Ocean, collected during the GAMETAG program in 1977-1978 (Davis, 1980 and Patterson et al., 1980) are used to model values of aerosol optical extinction coefficients (sigma) at two wavelengths (0.55 and 1 micron) and values of volume backscatter coefficients (beta) at four wavelengths (1 micron, 9.11 microns, 9.25 microns, and 10.6 microns) and to investigate the relationship between these parameters. The mass concentrations inferred from the GAMETAG measurements with optical particle spectrometers agreed with the results of simultaneous chemical measurements. The study of the relationships among the optical parameters indicates that visible and near-visible values of beta and sigma may be useful in predicting 9.11- and 10.6-micron backscatter.

Patterson, Edward M.↗
NASA NTRS1991

Compressive strain in Lunae Planum-shortening across wrinkle ridges

Wrinkle ridges have long been considered to be structural or structurally controlled features. Most, but not all, recent studies have converged on a model in which wrinkle ridges are structural features formed under compressive stress; the deformation being accommodated by faulting and folding. Given that wrinkle ridges are compressive tectonic features, an analysis of the associated shortening and strain provides important quantitative information about local and regional deformation. Lunae Planum is dominated by north-south trending ridges extending from Kasei Valles in the north to Valles Marineris in the south. To quantify the morphometric character, a photoclinometric study was undertaken for ridges on Lunae Planum using the Davis and Soderblom. More than 25 ridges were examined between long. 57 and 80 deg, lat. 5 to 25 deg N. For each ridge, several profiles were obtained along its length. Ridge width, total relief, and elevation offset were measured for each ridge. Analyses are given.

Plescia, J. B.↗
NASA NTRS1992

Space Station Centrifuge: A Requirement for Life Science Research

A centrifuge with the largest diameter that can be accommodated on Space Station Freedom is required to conduct life science research in the microgravity environment of space. (This was one of the findings of a group of life scientists convened at the University of California, Davis, by Ames Research Center.) The centrifuge will be used as a research tool to understand how gravity affects biological processes; to provide an on-orbit one-g control; and to assess the efficacy of using artificial gravity to counteract the deleterious biological effect of space flight. The rationale for the recommendation and examples of using ground-based centrifugation for animal and plant acceleration studies are presented. Included are four appendixes and an extensive bibliography of hypergravity studies.

Smith, Arthur H.↗
NASA NTRS1992

Cooling of the magma ocean due to accretional disruption of the surface insulating layer

Planetary accretion has been considered as a process to heat planets. Some fraction of the kinetic energy of incoming planetesimals is trapped to heat the planetary interior (Kaula, 1979; Davies, 1984). Moreover, blanketing effect of a primary atmosphere (Hayashi et al., 1979; Sasaki, 1990) or a degassed atmosphere (Abe and Matsui, 1986; Zahnle et al., 1988) would raise the surface temperature of the Earth-size planets to be higher than the melting temperature. The primordial magma ocean was likely to be formed during accretion of terrestrial planets. In the magma ocean, if crystallized fractions were heavier than melt, they would sink. But if solidified materials were lighter than the melt (like anorthosite of the lunar early crust) they would float to form a solid shell surrounding the planet. (In an icy satellite, solidified water ice should easily float on liquid water because of its small density.) The surface solid lid would prevent efficient convective heat transfer and slow the interior cooling. Consider that the accretion of planetesimals still continues in this cooling stage. Shock disruption at planetesimal impact events may destroy the solid insulating layer. Even if the layer survives impacts, the surface layer is finally overturned by Rayleigh-Taylor instability, since accreting materials containing metals are heavier than the surface solidified lid of silicates.

Sasaki, Sho↗
NASA NTRS1992

Spatial patterns of increases and decreases in the length of the sea ice season in the north polar region, 1979-1986

Recently it was reported that sea ice extents in the Northern Hemisphere showed a very slight but statistically significant decrease over the 8.8-year period of the Nimbus 7 scanning multichannel microwave radiometer (SMMR) data set. In this paper the same SMMR data are used to reveal spatial patterns in increasing and decreasing sea ice coverage. Specifically, the length of the ice season is mapped for each full year of the SMMR data set (1979-1986), and the trends over the 8 years in these ice season lengths are also mapped. These trends show considerable spatial coherence, with a shortening in the sea ice season apparent in much of the eastern hemisphere of the north polar ice cover, particularly in the Sea of Okhotsk, the Barents Sea, and the Kara Sea, and a lengthening of the sea ice season apparent in much of the western hemisphere of the north polar ice cover, particularly in Davis Strait, the Labrador Sea, and the Beaufort Sea.

Parkinson, Claire L.↗
NASA NTRS1992

Inheritance of silicate differentiation during lunar origin by giant impact

It is pointed out that the implication of the popular giant impact model of lunar origin (e.g., Hartmann and Davis, 1975; Cameron and Ward, 1976; Stevenson, 1987) is that any depth-related silicate differentiation within the impactor (and/or the earth) at the time of the impact must be partly inherited by the preferentially peripheral matter that forms the moon. This paper presents calculations of the magnitude of the net differentiation of the protolunar matter for a variety of elements and scenarios, with different assumptions regarding the geometries of the 'sampled' peripheral zones, the relative proportions of the earth-derived to impactor-derived matter in the final moon, and the degree to which the impactor mantle had crystallized prior to the giant impact. It is shown that these differention effects constrain the overall plausibility of the giant impact hypothesis.

Warren, Paul H.↗
NASA NTRS1992

A brief overview of NASA Langley's research program in formal methods

An overview of NASA Langley's research program in formal methods is presented. The major goal of this work is to bring formal methods technology to a sufficiently mature level for use by the United States aerospace industry. Towards this goal, work is underway to design and formally verify a fault-tolerant computing platform suitable for advanced flight control applications. Also, several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of six NASA civil servants and contractors from Boeing Military Aircraft Company, Computational Logic Inc., Odyssey Research Associates, SRI International, University of California at Davis, and Vigyan Inc.

Source record↗
NASA NTRS1993

Formal verification of a microcoded VIPER microprocessor using HOL

The Royal Signals and Radar Establishment (RSRE) and members of the Hardware Verification Group at Cambridge University conducted a joint effort to prove the correspondence between the electronic block model and the top level specification of Viper. Unfortunately, the proof became too complex and unmanageable within the given time and funding constraints, and is thus incomplete as of the date of this report. This report describes an independent attempt to use the HOL (Cambridge Higher Order Logic) mechanical verifier to verify Viper. Deriving from recent results in hardware verification research at UC Davis, the approach has been to redesign the electronic block model to make it microcoded and to structure the proof in a series of decreasingly abstract interpreter levels, the lowest being the electronic block level. The highest level is the RSRE Viper instruction set. Owing to the new approach and some results on the proof of generic interpreters as applied to simple microprocessors, this attempt required an effort approximately an order of magnitude less than the previous one.

Levitt, Karl↗
NASA NTRS1993

A new observational and numerical study of tidal interactions in M81-M82-NGC3077 system

A nearby system of interacting galaxies M81-M82-NGC3077 triplet (D = 3.3 Mpc; Freeman & Madore 1988) has been studied using multi-wavelength observations and numerical simulations to obtain a comprehensive understanding on the dynamics and the consequences of tidal interactions in a group environment. The VLA 12-field Mosaic H I observations of 2 x 1.5 deg. region have revealed a vast array of H I filaments which suggests that the severity and extent of tidal disruptions far exceed the previous estimates. A tidal remnant of the former H I disk of M82 extending up to 30 kpc (in projection) is identified for the first time, and the pervasive effects of the tidal disruption are traced into the inner disk by optical and CO observations, including a kinematic trace of a large scale bar potential (Yun, Ho, & Lo 1992). The H I disk of M81 is traced out to 40 kpc in radius, and a large scale (l approx. 20 kpc) velocity anomaly ('High Velocity Trough'), which may be a remnant of a gaseous collision, is found within the disk of M81. The large H I bridge between M81 and NGC 3077 (van der Hulst 1979) is also found to extend approx. greater than 50 kpc further, bending around NGC 3077, toward M82. The total H I detected in this experiment, 5.6 x 10(exp 9) solar mass, represents the majority of the single-dish flux (Appleton, Davies, & Stephenson 1981) and suggests that the bulk of H I found in the region belongs to the three galaxies and the tidal filaments. The impact and details of the tidal interactions have been further examined through the use of numerical techniques. The 'restricted 3-body' approach was used to simulate the observed distribution of tidal H I streamers connecting the three galaxies, and the success of the simulation is further strengthened by the accurate predictions on the gas kinematics.

Yun, M. S.↗
NASA NTRS1992

Comparison of Kalman filter estimates of zenith atmospheric path delays using the global positioning system and very long baseline interferometry

Kalman filter estimates of zenith nondispersive atmospheric path delays at Westford, Massachusetts, Fort Davis, Texas, and Mojave, California, were obtained from independent analyses of data collected during January and February 1988 using the GPS and VLBI. The apparent accuracy of the path delays is inferred by examining the estimates and covariances from both sets of data. The ability of the geodetic data to resolve zenith path delay fluctuations is determined by comparing further the GPS Kalman filter estimates with corresponding wet path delays derived from water vapor radiometric data available at Mojave over two 8-hour data spans within the comparison period. GPS and VLBI zenith path delay estimates agree well within one standard deviation formal uncertainties (from 10-20 mm for GPS and 3-15 mm for VLBI) in four out of the five possible comparisons, with maximum differences of 5 and 21 mm over 8- to 12-hour data spans.

Tralli, David M.↗
NASA NTRS1992

Thermal investigation of a large lunar telescope

Recent interest in construction of a large telescope on the lunar surface (Nein and Davis, 1991; Bely, Burrows, and Illingworth, 1989) has prompted this feasibility study of a thermal control system for a 16 meter diameter telescope located near the lunar equator. In addition to detailed analyses for a telescope located in a flat area near the equator, the thermal effect of locating the telescope in a crater, on a hill, and at higher latitude sites is discussed. Because an unprotected telescope experiences a wide range of temperature swings, several thermal protection schemes have been examined, including domes, sunshades, and ground shields to limit the temperature excursions of the primary mirror. Results of these analyses indicate that mirror temperature excursions can be limited to less than 100 Kelvin (K) per lunar cycle with an appropriate passive thermal protection system (dome), and that the telescope primary mirror can be maintained at less than 100 K for at least 7 days of each lunar cycle. However, such a dome precludes observations during the lunar day. Mirror temperature excursions can be reduced by incorporating thermal enclosures or shades in the design or by placing the telescope at a higher latitude.

Walker, Sherry T.↗
NASA NTRS1993

Numerical study of 1-D, 3-vector component, thermally-conductive MHD solar wind

In the present study, transient, 1-dimensional, 3-vector component MHD equations are used to simulate steady and unsteady, thermally conductive MHD solar wind expansions between the solar surface and 1 AU (astronomical unit). A variant of SIMPLE numerical method was used to integrate the equations. Steady state solar wind properties exhibit qualitatively similar behavior with the known Weber-Davies Solutions. Generation of Alfven shock, in addition to the slow and fast MHD shocks, was attempted by the boundary perturbations at the solar surface. Property changes through the disturbance were positively correlated with the fast and slow MHD shocks. Alfven shock was, however, not present in the present simulations.

Han, S.↗
NASA NTRS1991

The interpretation of crustal dynamics data in terms of plate motions and regional deformation near plate boundaries

During our participation in the NASA Crustal Dynamics Project under NASA contract NAS-27339 and grant NAG5-814 for the period 1982-1991, we published or submitted for publication 30 research papers and 52 abstracts of presentations at scientific meetings. In addition, five M.I.T. Ph.D. students (Eric Bergman, Steven Bratt, Dan Davis, Jeanne Sauber, Anne Sheehan) were supported wholly or in part by this project during their thesis research. Highlights of our research progress during this period include the following: application of geodetic data to determine rates of strain in the Mojave block and in central California and to clarify the relation of such strain to the San Andreas fault and Pacific-North American plate motions; application of geodetic data to infer post seismic deformation associated with large earthquakes in the Imperial Valley, Hebgen Lake, Argentina, and Chile; determination of the state of stress in oceanic lithosphere from a systematic study of the centroid depths and source mechanisms of oceanic intraplate earthquakes; development of models for the state of stress in young oceanic regions arising from the differential cooling of the lithosphere; determination of the depth extent and rupture characteristics of oceanic transform earthquakes; improved determination of earthquake slip vectors in the Gulf of California, an important data set for the estimation of Pacific-North American plate motions; development of models for the state of stress and mechanics of fold-and-thrust belts and accretionary wedges; development of procedures to invert geoid height, residual bathymetry, and differential body wave travel time residuals for lateral variations in the characteristic temperature and bulk composition of the oceanic upper mantle; and initial GPS measurements of crustal deformation associated with the Imperial-Cerro Prieto fault system in southern California and northern Mexico. Full descriptions of the research conducted on these topics may be found in the Semi-Annual status Reports submitted regularly to NASA over the course of this project and in the publications listed.

Solomon, Sean C.↗
NASA NTRS1994

Evaluation of current tropospheric mapping functions by Deep Space Network very long baseline interferometry

To compare the validity of current algorithms that map zenith tropospheric delay to arbitrary elevation angles, 10 different tropospheric mapping functions are used to analyze the current data base of Deep Space Network Mark 3 intercontinental very long baseline interferometric (VLBI) data. This analysis serves as a stringent test because of the high proportion of low-elevation observations necessitated by the extremely long baselines. Postfit delay and delay-rate residuals are examined, as well as the scatter of baseline lengths about the time-linear model that characterizes tectonic motion. Among the functions that utilize surface meteorological data as input parameters, the Lanyi 1984 mapping shows the best performance both for residuals and baselines, through the 1985 Davis function is statistically nearly identical. The next best performance is shown by the recent function of Niell, which is based on an examination of global atmospheric characteristics as a function of season and uses no weather data at the time of the measurements. The Niell function shows a slight improvement in residuals relative to Lanyi, but also an increase in baseline scatter that is significant for the California-Spain baseline. Two variants of the Chao mapping function, as well as the Chao tables used with the interpolation algorithm employed in the Orbit Determination Program software, show substandard behavior for both VLBI residuals and baseline scatter. The length of the California-Australia baseline (10,600 km) in the VLBI solution can vary by as much as 5 to 10 cm for the 10 mapping functions.

Sovers, O. J.↗
NASA NTRS1994

A comparative survey of current and proposed tropospheric refraction-delay models for DSN radio metric data calibration

The standard tropospheric calibration model implemented in the operational Orbit Determination Program is the seasonal model developed by C. C. Chao in the early 1970's. The seasonal model has seen only slight modification since its release, particularly in the format and content of the zenith delay calibrations. Chao's most recent standard mapping tables, which are used to project the zenith delay calibrations along the station-to-spacecraft line of sight, have not been modified since they were first published in late 1972. This report focuses principally on proposed upgrades to the zenith delay mapping process, although modeling improvements to the zenith delay calibration process are also discussed. A number of candidate approximation models for the tropospheric mapping are evaluated, including the semi-analytic mapping function of Lanyi, and the semi-empirical mapping functions of Davis, et. al.('CfA-2.2'), of Ifadis (global solution model), of Herring ('MTT'), and of Niell ('NMF'). All of the candidate mapping functions are superior to the Chao standard mapping tables and approximation formulas when evaluated against the current Deep Space Network Mark 3 intercontinental very long baselines interferometry database.

Estefan, J. A.↗