Search NASA⌕ Search

SEARCH · Search NASA

Results for “proof”

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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

Toward a proof of entropy increase in the presence of quantum black holes

A sufficient condition for the quantum entropy to be nondecreasing under a trace-preserving positive linear map is that the 'totally random' state be stationary. It is argued that this condition will be satisfied by the quantum system consisting of the region external to one or more black holes. This would explain why a 'generalized second law of thermodynamics' appears to hold in the presence of black holes.

Sorkin, R. D.↗
NASA NTRS1986

Resonant AC power system proof-of-concept test program, volume 2, appendix 1

This report contains two volumes. The main text (Volume 1) summarizes the tests results and gives a detailed discussion of the response of three early, first generation configurations of ac power system IRAD breadboards to the contracted tests imposed on them. It explains photographs, measurements, and data calculations, as well as any observed anomalies or lessons learned. This volume (No 2, Appendix 1, Test Results and Data), published under separate cover, includes all of the data taken on the 1.0 kW single-phase; 5.0 kW three-phase; and 25.0-kW three-phase system breadboards. The format of this data is raw, i.e., it is a direct copy of the data sheets for the test data notebook.

Source record↗
NASA NTRS1987

Proof of quasi-adaptivity for the m-measurement feedback class of stochastic control policies

Bounds on expected performance are established which show that the m-measurement feedback (mM) policy for nonlinear stochastic control performs as well or better than the open-loop optimal control policy, and thus is quasi-adaptive in the sense of Witenhausen (1966). The chain of performance inequalities indicate a tendency for the mM policy performance to improve with increasing m. It is suggested that the present analytical method, based on the construction of artificial control sequences denoted as utility controls, can be used to establish performance bounds on other well-known policies, avoiding the extensive Monte Carlo simulations necessary in comparing stochastic control policies.

Bayard, David S.↗
NASA NTRS1987

Proof that timing requirements of the FDDI token ring protocol are satisfied

The fiber distributed data interface (FDDI) is an ANSI draft proposed standard for a 100 Mbit/s fiber-optic token ring. The FDDI timed token access protocol provides dynamic adjustment of the load offered to the ring, with the goal of maintaining a specified token rotation time and of providing a guaranteed upper bound on time between successive arrivals of the token at a station. FDDI also provides automatic recovery when errors occur. The bound on time between successive token arrivals is guaranteed only if the token rotates quickly enough to satisfy timer requirements in each station when all ring resources are functioning properly. Otherwise, recovery would be initiated unnecessarily. The purpose of this paper is to prove that FDDI timing requirements are satisfied, i.e., the token rotates quickly enough to prevent initiation of recovery unless there is failure of a physical resource or unless the network management entity within a station initiates the recovery process.

Johnson, Marjory J.↗
NASA NTRS1987

Oxygen isotopes in refractory stratospheric dust particles - Proof of extraterrestial origin

The oxygen and magnesium isotopic compositions of five individual particles that were collected from the stratosphere and that bear refractory minerals were measured by secondary ion mass spectrometry. Four of the particles exhibit excesses of oxygen-16 similar to those observed in anhydrous mineral phases of carbonaceous chondrites and thus are extraterrestrial. The oxygen and magnesium isotopic abundances of one corundum-rich particle are consistent with a terrestial origin. Magnesium in the four extraterrestrial particles is isotopically normal. It is unlikely that these particles are derived from carbonaceous chondrites and thus such particles probably represent a new type of collected extraterrestrial material.

Mckeegan, Kevin D.↗
NASA NTRS1988

Infrared lightcurves of asteroids 532 Herculina and 45 Eugenia - Proof of the absence of significant albedo markings

Time-resolved thermal maxima and minima from near- and mid-IR photometry for the asteroids 532 Herculina and 45 Eugenia are noted to occur at nearly the same time as the maxima and minima in reflected light, while model lightcurves for Herculina, based on Taylor et al.'s (1987) albedo distribution, had predicted a 90-deg out-of-phase relationship. It is presently found through a comparison of model and observed lightcurves that the light variations of both Herculina and Eugenia are primarily the result of variations in shape rather than in albedo.

Lebofsky, Larry A.↗
NASA NTRS1989

Novel protein crystal growth technology: Proof of concept

A technology for crystal growth, which overcomes certain shortcomings of other techniques, is developed and its applicability to proteins is examined. There were several unknowns to be determined: the design of the apparatus for suspension of crystals of varying (growing) diameter, control of the temperature and supersaturation, the methods for seeding and/or controlling nucleation, the effect on protein solutions of the temperature oscillations arising from the circulation, and the effect of the fluid shear on the suspended crystals. Extensive effort was put forth to grow lysozyme crystals. Under conditions favorable to the growth of tetragonal lysozyme, spontaneous nucleation could be produced but the number of nuclei could not be controlled. Seed transfer techniques were developed and implemented. When conditions for the orthorhombic form were tried, a single crystal 1.5 x 0.5 x 0.2 mm was grown (after in situ nucleation) and successfully extracted. A mathematical model was developed to predict the flow velocity as a function of the geometry and the operating temperatures. The model can also be used to scaleup the apparatus for growing larger crystals of other materials such as water soluble non-linear optical materials. This crystal suspension technology also shows promise for high quality solution growth of optical materials such as TGS and KDP.

Nyce, Thomas A.↗
NASA NTRS1989

Teledyne Taber 206-1000 and 2210-3000 pressure transducer proof test and burst test

The range accuracy and structural integrity of the Teledyne Taber 206-1000 and 2210-3000 pressure transducers are verified and multiple uses are studied to determine is they have a significant effect on the transducers. Burst pressure for these transducers was also established. The Teledyne Taber 206-1000 pressure transducer is used to measure chamber pressure on full-scale space shuttle rocket motors. The Teledyne Taber 2210-3000 pressure transducer is used to measure igniter pressure. The Teledyne Taber transducer has very good temperature stability and was used on all full-scale solid rocket motors, so there is a large data base established using this transducer.

Ricks, G. A.↗
NASA NTRS1990

Mechanical proofs of fault-tolerant clock synchronization

The following topics are covered in viewgraph form: (1) introduction to clock synchronization protocols; (2) a schematic formulation of clock synchronization; (3) the interactive convergence algorithm; (4) verification of Schneider's formulation; (5) verification of interactive convergence; (6) a hardware-oriented clock synchronization protocol; (7) verification of Infis/Moore's protocol; and (8) the EHDM specification/verification environment.

Shankar, N.↗
NASA NTRS1989

Proof-of-concept automation of propellant processing

For space-based propellant production, automation of the process is needed. Currently, all phases of terrestrial production have some form of human interaction. A mixer was acquired to help perform the tasks of automation. A heating system to be used with the mixer was designed, built, and installed. Tests performed on the heating system verify design criteria. An IBM PS/2 personal computer was acquired for the future automation work. It is hoped that some the mixing process itself will be automated. This is a concept demonstration task; proving that propellant production can be automated reliably.

Ramohalli, Kumar↗
NASA NTRS1992

Shocked zircons in the Onaping Formation: Further proof of impact origin

The Onaping Formation fills the structural basin at Sudbury, Ontario, Canada. This formation is composed of three members: a basal, coarse, mainly quartzitic breccia (Basal Member); a light-colored, heavily included, polymict middle unit (Gray Member); and a similar but dark-colored upper unit (Black Member). Two different origins were proposed for the Onaping: (1) volcanic ash-flow sheet; and (2) impact fall-back ejecta. These origins are critically discussed in a review paper coauthored by proponents of each view.

Bohor, B. F.↗
NASA NTRS1992

Hong Kong is an impact crater: Proof from the geomorphological and geological evidence

Hong Kong is a city in southern China. The urban districts of Hong Kong, Kowloon, and Victoria Harbour are situated within Hong Kong. Hong Kong is surrounded by mountains with a diameter of 11 km. Three million people live inside the basin. The round structure of the mountains in Hong Kong has been describd as a granite dome that is deeply eroded (batholith). The circularity of the mountains, the existence of a central hill, the inner slope of the mountains being greater than the outer slope, the presence of deep layer rock inside the basin, and the depth-to-diameter ratio were studied. All this evidence shows that the Hong Kong structure satisfies the geomorphological requirement of an impact crater. Some shock metamorphic phenomena of the rocks in Hong Kong such as planar features, microspherilitic silica glass (lechaterlierite), fused margins of rock fragments, concussion fractures, impact glass in which some schlierens are consistent with pyroxene spiculites, etc., were first discovered in Oct. 1990. In Hong Kong Island, an impact melt sheet was observed from the Victoria Peak to the southern shore. Quenching fractures of quartz in Kowloon fine-grained granite was also discovered. In our work, the K-Ar age (83.34 + 1.26 m.y.) of the impact melt rock, which is younger in comparison to the K-Ar age (117 m.y.) in Hong Kong and Kowloon granite, was measured, and the phenomena indicate that after the granite body formed, there was another geologic event. Maybe it is the Hong Kong cratering event.

Chan, Chu-Lok↗
NASA NTRS1993

On-board B-ISDN fast packet switching architectures. Phase 2: Development. Proof-of-concept architecture definition report

For the next-generation packet switched communications satellite system with onboard processing and spot-beam operation, a reliable onboard fast packet switch is essential to route packets from different uplink beams to different downlink beams. The rapid emergence of point-to-point services such as video distribution, and the large demand for video conference, distributed data processing, and network management makes the multicast function essential to a fast packet switch (FPS). The satellite's inherent broadcast features gives the satellite network an advantage over the terrestrial network in providing multicast services. This report evaluates alternate multicast FPS architectures for onboard baseband switching applications and selects a candidate for subsequent breadboard development. Architecture evaluation and selection will be based on the study performed in phase 1, 'Onboard B-ISDN Fast Packet Switching Architectures', and other switch architectures which have become commercially available as large scale integration (LSI) devices.

Shyy, Dong-Jye↗
NASA NTRS1992

The evolution of procurement and assurance methods used to proof an advanced space material

A development history and current performance evaluation is presented for a Kapton polyimide for the Space Station Freedom. Analyses of results obtained for this class of materials by the Long Duration Exposure Facility led to major revisions of procurement specifications and test requirements for this material. Attention is given to the use of oxygen plasma etching and blocking, as well as the evolution of test methodologies due to preproduction test data evaluations and the relationship between tests and product-improvement cycles.

Berendt, Marjorie↗
NASA NTRS1993

A proof of the Woodward-Lawson sampling method for a finite linear array

An extension of the continuous aperture Woodward-Lawson sampling theorem has been developed for a finite linear array of equidistant identical elements with arbitrary excitations. It is shown that by sampling the array factor at a finite number of specified points in the far field, the exact array factor over all space can be efficiently reconstructed in closed form. The specified sample points lie in real space and hence are measurable provided that the interelement spacing is greater than approximately one half of a wavelength. This paper provides insight as to why the length parameter used in the sampling formulas for discrete arrays is larger than the physical span of the lattice points in contrast with the continuous aperture case where the length parameter is precisely the physical aperture length.

Somers, Gary A.↗