Performance equivalence in a two level system.
Two level systems with overall performance as explicit function of first level performance, defining equivalence condition to prove coordinability for nonadditive case
Jurdjevic, V.↗
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.
Several new catalysts for reduction of oxygen in fuel cells
Test results prove nickel carbide or nitride, nickel-cobalt carbide, titanium carbide or nitride, and intermetallic compounds of the transition or noble metals to be efficient electrocatalysts for oxygen reduction in alkaline electrolytes in low temperature fuel cells.
Cattabriga, R. A.↗
Nonlinear damping in structures
Experimental results prove the feasibility of substructure testing to measure local damping properties directly. Dynamic responses of a structure can be predicted quantitatively, and specimens are less costly and more easily tested with better controlled tests and environments.
Chang, C. S.↗
Hydrodynamic squeeze-film bearings for gyroscopes
Experimental tests are conducted on squeeze-film bearings by applying electricity to piezoelectric ceramics, causing vibrations at thousands or millions of Hz that are amplified and transmitted to the bearing. Rotor operation through 24,000 rpm without whirl instability proved bearing ability to support rotor weight without hydrodynamic action.
Chiang, T.↗
X-connectors for tubing - Feasibility study
Connector tests, including 70 deg F leakage and vibration, proof pressure, burst pressure, tensility, thermal shock, high and low temperature leakage, and simultaneous high temperature vibration and leakage, prove feasibility of lightweight 0.5-in. X-connectors for 4500-lb/sq in. service pressures.
Bragg, K.↗
Long life, low cost ball valve, with lifted seals and cartridge type construction
Ball valve design incorporates modular construction in easy-to-install, easy-to-replace cartridge housing, and a system of cams to lift upstream and downstream seals away from the ball during rotation. Tests conducted on nitrogen tetroxide prove new valve to be more efficient than previous models in preventing leakage.
Carriker, J. W.↗
On a theorem of K T Chen
Proving normal form of mappings of real line into itself by contracting mapping principle
Braun, M.↗
Biochemical studies of bacterial sporulation and germination. XIII.
Spore and vegetative cell adenylate kinases of Bacillus subtilis proved indistinguishable by polyacrylamide gel electrophoresis DEAE cellulose chromatography
Kornberg, A.↗
The rate distortion function for a class of sources
Rate distortion function for class of sources, proving positive and negative sides of Shannon encoding theorem for noisy channels
Sakrison, D. J.↗
The localization of the strict topology via bounded sets
Stronger locally convex topology on space C/S/ of bounded continuous functions proved in nonagreement with strict topology on norm bounded sets
Dorroh, J. R.↗
A new proof of superposition of dressed particles in plasma kinetic theory
Superposition of dressed particles in plasma kinetic theory proved by using generalized stochastic equation for conditional probability density for one particle
Liu, C. H.↗
Infinite dimensional multipoint methods and the solution of two point boundary value problems
Multipoint methods for two point boundary value problems with Banach space self mapped, proving convergence theorems for iterative solutions
Bosarge, W. E., Jr.↗
Linear instability of asymmetric flow in channels
Asymmetry and vorticity effects on linear instability of channel flow with one parameter velocities and inflection points, proving wave speed theorem
Fu, T. S.↗
In situ measurements of neutral and electron density wave structure from the Explorer 32 satellite
Neutral particle and electron density measurements by Explorer 32 proving thermospheric gravity waves association with wave-like structure in F region electron density
Brace, L. H.↗
Exponential absolute stability of discrete systems
Nonlinear discrete systems absolute stability exponential property proved by modified frequency condition, applying analog transformation to Szego-Kalman equations
Siljak, D. D.↗
Predicting vibrational failure of flexible ducting
Technique applies to liquid or gas transfer through flexible ducting and proves valuable in high velocity fluid flow cases. Fluid mechanism responsible for free bellows vibrational excitation also causes flexible hose oscillation. Static pressure stress influences flexible ducting fatigue life and is considered separately.
Henry, R. H.↗
Computation of group table alphanumeric display
Computer program, using only group elements as input data, provides machine computation of group tables used for proving theorems and algorithms of finite groups. Program is written for second generation computers.
Allen, G. P.↗
Stability and existence of diffusions with discontinuous or rapidly growing drift terms
Local stochastic stability property used to prove stability and existence of diffusions with rapidly growing drift terms
Kushner, H. J.↗