Qualification testing - Space vehicle design criteria
Qualification tests conducted on flight quality components, subsystems, and systems to prove that structural design requirements have been achieved
Source record↗
SEARCH · Search NASA
Results for “Proving”
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.
N-person nonzero sum differential games with linear dynamics
N person nonzero sum differential games with linear dynamics, proving existence of equilibrium strategies
Varaiya, P.↗
The optimization of trajectories of linear functional differential equations
Linear functional differential equations trajectory optimization, proving maximal principle
Banks, H. T.↗
On a class of pursuit and evasion problems
Pursuit and evasion games, proving existence and approximation theorems
Warga, J.↗
Some results on expansive mappings
Expansive mappings as generalizations of expansive homeomorphisms, proving nonexistence of expansive functions on open unit interval
Williams, R. K.↗
Toward automatic program synthesis
Automatic computer program synthesis based on theorem proving approach for construction of recursive and iterative programs operating on natural numbers, lists and trees
Manna, Z.↗
A stability condition for linear comparison systems
Linear comparison systems stability condition proved with Kotelianskii and Bailey theorems
Gunderson, R. W.↗
Standardization and qualification of computer programs for circuit design
Study presents methods and initial procedures which may be obtained for development of more efficient uniform network analysis input language and theoretical tools to prove equivalence of data representations.
Martin, D. F.↗
A protective coating for stainless steel
Comparative furnace oxidation tests prove that coating provides high temperature oxidation and erosion resistance.
Grisaffe, S. J.↗
A contracting-interval program for the Danilewski method
The concept of contracting-interval programs is applied to finding the eigenvalues of a matrix. The development is a three-step process in which (1) a program is developed for the reduction of a matrix to Hessenberg form, (2) a program is developed for the reduction of a Hessenberg matrix to colleague form, and (3) the characteristic polynomial with interval coefficients is readily obtained from the interval of colleague matrices. This interval polynomial is then factored into quadratic factors so that the eigenvalues may be obtained. To develop a contracting-interval program for factoring this polynomial with interval coefficients it is necessary to have an iteration method which converges even in the presence of controlled rounding errors. A theorem is stated giving sufficient conditions for the convergence of Newton's method when both the function and its Jacobian cannot be evaluated exactly but errors can be made proportional to the square of the norm of the difference between the previous two iterates. This theorem is applied to prove the convergence of the generalization of the Newton-Bairstow method that is used to obtain quadratic factors of the characteristic polynomial.
Harris, J. D.↗
Experiment D010: Ion sensing attitude control
The feasibility of an attitude control system that uses environmental positive ions and an electrostatic detection system to measure spacecraft pitch and yaw is studied. The secondary objective was to measure the spatial and temporal variations of ambient positively charged particles along the orbital path of the Gemini 10 and 12 spacecrafts. The results proved that the use of a horizon detector in conjunction with pitch and yaw sensors would facilitate complete description of the spacecraft position and attitude. Furthermore, with the addition of a servosystem, the unit could be used as a complete automatic attitude-control system that would be applicable from the lowest satellite altitudes up to at least 10 earth radii. Also, results established that the charge density along the trajectory of the satellite could be determined by transmission of output voltages from the individual electrometers.
Sagalyn, R. C.↗
Experiment S007: Cloud top spectrometry
During the Gemini 5 mission, 26 spectrographic observations on various cloud types were obtained using the oxygen A band (7600 A). An example of the types of spectrum and photograph involved represents a cloud in the intertropical convergence zone. Densitometer traces of the spectra of three types of clouds (high, medium, and low) are shown. It was apparent qualitatively that radiation transmission in the oxygen band for a high cloud was much greater than that for a low cloud. The results proved the feasibility of cloud altitude measurements from a spacecraft by this method.
Saiedy, F.↗
Ground truth versus no ground truth
The area of study was the southeastern Arizona test site and three areas within the site were studied in detail: Safford, Point of Pines, and Fort Apache-White River. These areas have terrain contrast ranging from flat arid regions to high alpine mountains. Data were obtained from the Apollo 9 photographic missions, high altitude aerial photography, and simulated ERTS-A data from high altitude aircraft. Various monoscopic and steroscopic devices were used to analyze the features, and film density variations were studied. No ground-based data were permitted. Thematic maps were prepared for geology, geomorphology, vegetation, hydrology, and soils. Interpreted boundaries were delineated, with no collaborative data used in the interpretation. Ground-based data were gathered during the overflight of high altitude aerial photography. A further study was made using the ground truth, and the data gathered on the ground were compared with original mapping. 80% to 85% of the interpretations in the areas checked were correct. It was proved that it is possible to monitor gross features of the vigor of crop lands and vegetative cover, to type soils and classify geologic features, and to determine hydrologic conditions.
Torbert, G. B.↗
The aerodynamic characteristics of large angled cones with retrorockets
Analytical and experimental phases of the subject investigation are described. The analytical program for the single jet determines the terminal shock location, the jet boundary, the interface profile, the bow shock profile, the shear layer growth and the dead air region pressure. The experimental program described was conducted over the range from free stream Mach 0.4 to 2.0 at angles-of-attack up to 18 deg and at thrusting coefficients up to C sub T = T/q sub infinity A sub m = 30. Variables investigated included aeroshell angle, number of nozzles, engine thrust, size of nozzles, nozzle throttling and gas composition. The influence of these variables on the aeroshell stability, drag, and loads was determined by integrating pressure measurements on the aeroshell. The total system forces consist of components due to pure thrust and components due to pressure on the aeroshell arising from the jet-free stream interaction. Shadowgraphs provided flow field geometries which proved to be within 10% of those predicted analytically.
Jarvinen, P. O.↗
Applications of presently planned interplanetary missions to testing gravitational theories
A summary of the probable interplanetary missions for the 1970's is presented, which may prove useful in testing the general theory of relativity. Mission characteristics are discussed, as well as instrumentation. This last includes a low-level accelerometer and S-/X-band transponders and antennas.
Friedman, L. D.↗
Further studies of propellant sloshing under low-gravity conditions
A variational integral is formulated from Hamilton's Principle and is proved to be equivalent to the usual differential equations of low-gravity sloshing in ellipsoidal tanks. It is shown that for a zero-degree contact angle the contact line boundary condition corresponds to the stuck condition, a result that is due to the linearization of the equations and the ambiguity in the definition of the wave height at the wall. The variational integral is solved by a Rayleigh-Ritz technique. Results for slosh frequency when the free surface is not bent-over compare well with previous numerical solutions. When the free surface is bent over, however, the results for slosh frequency are considerably larger than those predicted by previous finite-difference, numerical approaches: the difference may be caused by the use of a zero degree contact angle in the present theory in contrast to the nonzero contact angle used in the numerical approaches.
Dodge, F. T.↗
Selected photographic techniques, a compilation
A selection has been made of methods, devices, and techniques developed in the field of photography during implementation of space and nuclear research projects. These items include many adaptations, variations, and modifications to standard hardware and practice, and should prove interesting to both amateur and professional photographers and photographic technicians. This compilation is divided into two sections. The first section presents techniques and devices that have been found useful in making photolab work simpler, more productive, and higher in quality. Section two deals with modifications to and special applications for existing photographic equipment.
Source record↗
Continued advancement of the programming language HAL to an operational status
The continued advancement of the programming language HAL to operational status is reported. It is demonstrated that the compiler itself can be written in HAL. A HAL-in-HAL experiment proves conclusively that HAL can be used successfully as a compiler implementation tool.
Source record↗