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 433 records · Page 24
All sourcesNASA NTRSDOE OSTI
NASA NTRS1973

Development of advanced composite rocket motor chambers using boron and graphite fibers.

Four 71-cm-diameter rocket motor chambers were designed and fabricated with advanced composite materials. The first three chambers were filament wound from boron/epoxy tape, and the fourth from graphite/epoxy tape. The first boron/epoxy chamber was 74 cm in length and was successfully hydroburst tested. The other three chambers were 57.6 cm in length for a smaller propellant load. The first shortened boron/epoxy chamber failed in proof test as a result of fabrication deficiencies. The last boron/epoxy and the graphite/epoxy chambers were successfully proof tested.

Jensen, W. M.↗
NASA NTRS1973

Advanced methods for the solution of differential equations

This book is based on a course presented at the Lewis Research Center for engineers and scientists who were interested in increasing their knowledge of differential equations. Those results which can actually be used to solve equations are therefore emphasized; and detailed proofs of theorems are, for the most part, omitted. However, the conclusions of the theorems are stated in a precise manner, and enough references are given so that the interested reader can find the steps of the proofs.

Goldstein, M. E.↗
NASA NTRS1969

Advancement of proprotor technology. Task 1: Design study summary

A tilt-proprotor proof-of-concept aircraft design study has been conducted. The results are presented. The ojective of the contract is to advance the state of proprotor technology through design studies and full-scale wind-tunnel tests. The specific objective is to conduct preliminary design studies to define a minimum-size tilt-proprotor research aircraft that can perform proof-of-concept flight research. The aircraft that results from these studies is a twin-engine, high-wing aircraft with 25-foot, three-bladed tilt proprotors mounted on pylons at the wingtips. Each pylon houses a Pratt and Whitney PT6C-40 engine with a takeoff rating of 1150 horsepower. Empty weight is estimated at 6876 pounds. The normal gross weight is 9500 pounds, and the maximum gross weight is 12,400 pounds.

Source record↗
NASA NTRS1973

Research in mathematical theory of computation

Research progress in the following areas is reviewed: (1) new version of computer program LCF (logic for computable functions) including a facility to search for proofs automatically; (2) the description of the language PASCAL in terms of both LCF and in first order logic; (3) discussion of LISP semantics in LCF and attempt to prove the correctness of the London compilers in a formal way; (4) design of both special purpose and domain independent proving procedures specifically program correctness in mind; (5) design of languages for describing such proof procedures; and (6) the embedding of ideas in the first order checker.

Mccarthy, J.↗
NASA NTRS1973

Study for identification of Beneficial Uses of Space (BUS). Volume 2: Technical report. Book 1: Sections 1 through 4

Consolidated information is presented for the study whose purpose was to identify products, processes, and services to be produced in future spacecraft environments for direct utilization on earth. Discussion of methodology for selecting from among potential space processing approaches, definition of requirements for experiments and tests needed to acquire sufficient knowledge for proof testing of selected processes, formulation of research and development schedules to achieve proof testing, and documentation of the decision processes involved in the programs are presented. Technology and programmatics are reported for the following select studies: (1) surface acoustic wave components; (2) transparent oxides; (3) high purity tungsten X-ray targets; and (4) high specificity isoenzymes.

Source record↗
NASA NTRS1974

An implicit sampling theorem for bounded bandlimited functions

A rigorous proof of the 'strong bias tone' scheme is embodied in the implicit sampling theorem. The representation of signals that are sample functions of possible nonstationary random processes being of principal interest, the proof could not directly invoke results from classical analysis, which depend on the existence of the Fourier transform of the function under consideration; rather, it is based on Zakai's (1965) theorem on the series expansion of functions, band-limited under a suitably extended definition. A practical circuit that restores an approximate version of the signal from its sine-wave-crossings is presented and possible improvements to it are discussed.

Bar-David, I.↗
NASA NTRS1974

Test results from the Langley high Reynolds number cryogenic transonic tunnel

NASA has recently developed and proof tested a pilot cryogenic transonic pressure tunnel. In addition to providing an attractive method for obtaining high Reynolds number results at moderate aerodynamic loadings and tunnel power, this unique facility enables the independent determination of the effects of Reynolds number, Mach number, and aeroelasticity. The proof-of-concept experimental and theoretical studies are briefly reviewed. Experimental results are included which indicate pressure distributions for a two-dimensional airfoil and strain-gage balance characteristics for a three-dimensional delta wing model.

Ray, E. J.↗
NASA NTRS1975

Analysis of validation tests of the Langley pilot transonic cryogenic tunnel

A pilot transonic cryogenic pressure tunnel has recently been developed and proof tested at the NASA Langley Research Center. In addition to providing an attractive method for obtaining high Reynolds number results at moderate aerodynamic loadings and tunnel power, this unique tunnel allows the independent determination of the effects of Reynolds number, Mach number, and dynamic pressure (aeroelasticity) on the aerodynamic characteristics of the model under test. The proof of concept experimental and theoretical studies are briefly reviewed. Experimental results obtained on both two- and three-dimensional models have substantiated that cryogenic test conditions can be set accurately and that cryogenic gaseous nitrogen is a valid test medium.

Ray, E. J.↗
NASA NTRS1974

Specification and correlation of the sine vibration environment for Viking '75

Two Viking spacecraft will be individually launched on a new Titan IIIE/Centaur D-1T launch vehicle in August 1975. The method for the establishment of spacecraft sine vibration test levels prior to availability of any Titan IIIE/Centaur D-1T flight data by use of both computer simulations and data from previous Titan and Atlas Centaur vehicles is described. The specification level is compared with actual flight data obtained from a proof flight launch of the Titan IIIE/Centaur D-1T and a Viking dynamic simulator in January 1974. An objective of the proof flight launch was to obtain estimates of the flight loads and environments. The criteria used to minimize the structural weight that would result from an unmodified application of a sine test environment are described.

Snyder, R. E.↗
NASA NTRS1975

On a numerical sufficiency test for monotonic convergence of finite element models

Finite element analyses characterized by monotonic convergence include the discipline for meaningful measurements of convergence rate and consequently economical extrapolation. Few proposers of element models guarantee monotonic convergence for their elements. Thus, a need exists for an automatic test to classify available element models. This paper describes such a test - a test can be performed using a digital computer to guarantee that a particular element model imbues monotonicity. It describes the test and its basis. It examines seven element models for a rectangular membrane to illustrate the value of the tests. Besides confirming results already known, the application yields new data. It 'proves' monotonicity for two improved models, defines the range of element proportions for which another element can be guaranteed to exhibit monotonicity, and suggests that another element is deficient. In the special case of absolutely convergent membrane displacement models, proof of monotonicity is a necessary and sufficient condition to insure that upper bound estimates of strain energy are developed. Accordingly, the test furnishes a proof of bound solutions independently of requirements on displacement continuity the element basis may or may not satisfy.

Melosh, R. J.↗
NASA NTRS1977

Flange weld pressure testing

Device allows localized high-pressure proof test. Use of tool eliminates need to block off far end of pipe; only small amount of pressurizing gas is needed; only small area needs to be cleared of personnel for proof test.

Holden, C. F.↗
NASA NTRS1976

Caging Mechanism for a drag-free satellite position sensor

A disturbance compensation system for satellites based on the drag-free concept was mechanized and flown, using a spherical proof mass and a cam-guided caging mechanism. The caging mechanism controls the location of the proof mass for testing and constrains it during launch. Design requirements, design details, and hardware are described.

Hacker, R.↗
NASA NTRS1976

The JPL advanced propulsion module motor chamber

A Kevlar 49/epoxy chamber has been developed for the advanced propulsion module motor. This chamber was successfully designed, fabricated, and hydroproof-tested at 511.6 N/sq cm. The fabrication, interior dimensional inspection, and proof test are discussed, showing that the chamber will be capable of achieving the design burst pressure of 639.8 N/sq cm. The projected chamber growth at 448.2 N/sq cm is presented based on the strain gage and volumetric growth data collected in that proof test.

Jensen, W. M.↗
NASA NTRS1977

Proving the correctness of the flight director program EADIFD, volume 1

EADIFD is written in symbolic assembly language for execution on the C4000 airborne computer. It is a subprogram of an aircraft navigation and guidance program and is used to generate pitch and roll command signals for use in terminal airspace. The proof of EADIFD was carried out by an inductive assertion method consisting of two parts, a verification condition generator and a source language independent proof checker. With the specifications provided by NASA, EADIFD was proved correct. The termination of the program is guaranteed and the program contains no instructions that can modify it under any conditions.

Lee, F. J.↗
NASA NTRS1976

An optical sensor for the drag-free satellite

An optical sensor for drag-free satellites is described. It is based on using fluorescent re-emission from the proof mass excited by a pulsed ultraviolet source, a technique that separates the frequencies of the excited and excitant light fluxes. A theoretical analysis of the performance and linearity of the sensor was verified by the results on a laboratory prototype. The sensor provided a measure of the position of a 4 cm radius proof mass in a 10 cm cavity to an accuracy of 1 mm. Null drift and thermal gradients caused errors less than 0.05 mm.

De Hoff, R. L.↗
NASA NTRS1978

Owens-Illinois liquid solar collector materials assessment

From the beginning, it was noted that the baseline drawings for the liquid solar collector exhibited a distinct weakness concerning materials specification where elastomers, plastics, and foam insulation materials were utilized. A relatively small effort by a competent design organization would alleviate this deficiency. Based on results obtained from boilout and stagnation tests on the solar simulator, it was concluded that proof testing of the collector tubes prior to use helps to predict their performance for limited service life. Fracture mechanics data are desirable for predicting extended service life and establishing a minimum proof pressure level requirement. The temperature capability of this collector system was increased as the design matured and the coating efficiency improved. This higher temperature demands the use of higher temperature materials at critical locations in the collector.

Nichols, R. L.↗
NASA NTRS1980

Room temperature mechanical properties of shuttle thermal protection system materials

Tests were conducted at room temperature to determine the mechanical properties and behavior of materials used for the thermal protection system of the space shuttle. The materials investigated include the LI-900 RSI tiles, the RTV-560 adhesive and the .41 cm (.16 thick) strain isolator pad (SIP). Tensile and compression cyclic loading tests were conducted on the SIP material and stress-strain curves obtained for various proof loads and load cyclic conditioning. Ultimate tensile and shear tests were conducted on the RSI, RTV, and SIP materials. The SIP material exhibits highly nonlinear stress-strain behavior, increased tangent modulus and ultimate tensile strength with increased loading rate, and large short time load relaxation and moderate creep behavior. Proof and cyclic load conditioning of the SIP results in permanent deformation of the material, hysteresis effects, and much higher tensile tangent modulus values at large strains.

Sawyer, J. W.↗
NASA NTRS1982

Measuring Cyclic-Stress Properties of Pressure Vessels

Simulated-service cycle differs from conventional proof-test cycle in that specimen is subjected to sine-wave variation of stress instead of prolonged steady stress. Simulated-service testing is performed at low and high temperatures as well as at room temperatures. (Flaws initiated by severe stresses of proof testing can later develop into leaks during service, thus effectively reducing useful service life.) Method may be useful for commercial thin-wall vessels.

Fiftal, C. F.↗