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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1973

A restricted proof that the weak equivalence principle implies the Einstein equivalence principle

Schiff has conjectured that the weak equivalence principle (WEP) implies the Einstein equivalence principle (EEP). A proof is presented of Schiff's conjecture, restricted to: (1) test bodies made of electromagnetically interacting point particles, that fall from rest in a static, spherically symmetric gravitational field; (2) theories of gravity within a certain broad class - a class that includes almost all complete relativistic theories that have been found in the literature, but with each theory truncated to contain only point particles plus electromagnetic and gravitational fields. The proof shows that every nonmentric theory in the class (every theory that violates EEP) must violate WEP. A formula is derived for the magnitude of the violation. It is shown that WEP is a powerful theoretical and experimental tool for constraining the manner in which gravity couples to electromagnetism in gravitation theories.

Lightman, A. P.↗

NASA NTRS1974

Effect of proof testing on the flaw growth characteristics of 304 stainless steel

The effects of proof overload frequency and magnitude on the cyclic crack growth rates of 304 stainless steel weldments were investigated. The welding procedure employed was typical of those used on over-the-road cryogenic vessels. Tests were conducted at room temperature with an overload ratio of 1.50 to determine the effect of overload frequency. Effect of overload magnitude was determined from tests where a room temperature overload was applied between blocks of 1000 cycles applied at 78 K (-320 F). The cyclic stress level used in all tests was typical of the nominal membrane stress generally encountered in full scale vessels. Test results indicate that judicious selection of proof overload frequency and magnitude can reduce crack growth rates for cyclic stress levels.

Finger, R. W.↗

NASA NTRS1974

Effects of proof loads and combined mode loadings on fracture and flaw growth characteristics of aerospace alloys

This experimental program was undertaken to determine the effects of (1) combined tensile and bending loadings, (2) combined tensile and shear loadings, and (3) proof overloads on fracture and flaw growth characteristics of aerospace alloys. Tests were performed on four alloys: 2219-T87 aluminum, 5Al-2.5Sn (ELl) titanium, 6Al-4V beta STA titanium and high strength 4340 steel. Tests were conducted in room air, gaseous nitrogen at -200F (144K), liquid nitrogen and liquid hydrogen. Flat center cracked and surface flawed specimens, cracked tube specimens, circumferentially notched round bar and surface flawed cylindrical specimens were tested. The three-dimensional photoelastic technique of stress freezing and slicing was used to determine stress intensity factors for surface flawed cylindrical specimens subjected to tension or torsion. Results showed that proof load/temperature histories used in the tests have a small beneficial effect or no effect on subsequent fracture strength and flaw growth rates.

Shah, R. C.↗

NASA NTRS1976

Proof test criteria for thin walled pressure vessels

Proof tests were conducted on surface-flaw pressure-vessel specimens of 2219-T87 aluminum base metal and weld metal at three different temperatures: 72, -320, and -423 F, and for three different metal sheet thicknesses: 0.125, 0.250, and 0.375 in. It was found that significant stable crack growth under increasing load can occur prior to failure. Initial flaw shapes and material conditions have a significant effect on the extent of crack growth. Stable crack growth initiates at a lower K sub Ii/K sub cr ratio and is more severe in weld metal specimens than in base metal specimens. Low aspect ratio flaws experience more growth in the depthwise direction than higher aspect ratio flaws. Proof testing assures that any first cycle failure will be by leakage, not by catastrophic failure.

Finger, R. W.↗

NASA NTRS1980

Proof test and fatigue of unnotched composite laminates

A comprehensive fatigue and residual strength degradation model has been used to predict the effect of proof loads (or high load) on the statistical fatigue behavior of composite laminates. The validity of the theoretical model is confirmed by the experimental test results. The correlation between the test results and the theoretical distributions of the fatigue life and the residual strength for composite specimens with or without the effect of proof loads is shown to be very good.

Yang, J. N.↗

NASA NTRS1980

Satellite Power System total proof of concept program

Requirements for a solar power satellite (SPS) orbital demonstration for providing a system proof of concept within the decade of the 1980s are outlined. Maximum use of the anticipated results of the ground based exploratory development program (GBED) results and Earth launching via the space shuttle are assumed. System demonstration requirements are listed. It was determined that total proof of concept can be demonstrated with a satellite at low Earth orbit, and that orbital construction of a full scale microwave antenna structure is feasible, as is demonstration of power collection by a transportable rectanna farm with an area of approximately one half acre.

Mcrae, W. V., Jr.↗

NASA NTRS1987

Proof-mass actuator placement strategies for regulation of flexure during the SCOLE slew

An analysis was performed in order to find the best placement for proof-mass actuators and to determine the importance of placement, i.e., what is the sensitivity of beam flexure to actuator placement. The analysis was performed by using the NASTRAN finite element model for a flexible beam with 21 grid points on beam, by using the nonlinear DISCOS simulation of 20 deg slew and the use of a closed-loop linear quadratic regulator (lqr). Some conclusions reached are: (1) proof-mass actuators can reduce flexure amplitude and damp oscillations; (2) amplitude of deformations during slew is relatively insensitive to placement of actuators; (3) damping factor of oscillations is sensitive to actuator placement; and (4) the degree of controllability method indicates most effective placement for actuators.

Fisher, Shalom (mike)↗

NASA NTRS1989

Control of a flexible planar truss using proof mass actuators

A flexible structure was modeled and actively controlled by using a single space realizable linear proof mass actuator. The NASA/UVA/UB actuator was attached to a flexible planar truss structure at an optimal location and it was considered as both passive and active device. The placement of the actuator was specified by examining the eigenvalues of the modified model that included the actuator dynamics, and the frequency response functions of the modified system. The electronic stiffness of the actuator was specified, such that the proof mass actuator system was tuned to the fourth structural mode of the truss by using traditional vibration absorber design. The active control law was limited to velocity feedback by integrating of the signals of two accelerometers attached to the structure. The two lower modes of the closed-loop structure were placed further in the LHS of the complex plane. The theoretically predicted passive and active control law was experimentally verified.

Minas, Constantinos↗

NASA NTRS1990

Machine-checked proofs of the design and implementation of a fault-tolerant circuit

A formally verified implementation of the 'oral messages' algorithm of Pease, Shostak, and Lamport is described. An abstract implementation of the algorithm is verified to achieve interactive consistency in the presence of faults. This abstract characterization is then mapped down to a hardware level implementation which inherits the fault-tolerant characteristics of the abstract version. All steps in the proof were checked with the Boyer-Moore theorem prover. A significant results is the demonstration of a fault-tolerant device that is formally specified and whose implementation is proved correct with respect to this specification. A significant simplifying assumption is that the redundant processors behave synchronously. A mechanically checked proof that the oral messages algorithm is 'optimal' in the sense that no algorithm which achieves agreement via similar message passing can tolerate a larger proportion of faulty processor is also described.

Bevier, William R.↗

NASA NTRS1991

Candidate proof mass actuator control laws for the vibration suppression of a frame

The vibration of an experimental flexible space truss is controlled with internal control forces produced by several proof mass actuators. Four candidate control law strategies are evaluated in terms of performance and robustness. These control laws are experimentally implemented on a quasi free-free planar truss. Sensor and actuator dynamics are included in the model such that the final closed loop is self-equilibrated. The first two control laws considered are based on direct output feedback and consist of tuning the actuator feedback gains to the lowest mode intended to receive damping. The first method feeds back only the position and velocity of the proof mass relative to the structure; this results in a traditional vibration absorber. The second method includes the same feedback paths as the first plus feedback of the local structural velocity. The third law is designed with robust H infinity control theory. The fourth strategy is an active implementation of a viscous damper, where the actuator is configured to provide a bending moment at two points on the structure. The vibration control system is then evaluated in terms of how it would benefit the space structure's position control system.

Umland, Jeffrey W.↗

NASA NTRS1991

Proof test diagrams for Zerodur glass-ceramic

Proof test diagrams for Zerodur glass-ceramics are calculated from available fracture mechanics data. It is shown that the environment has a large effect on minimum time-to-failure as predicted by proof test diagrams.

Tucker, D. S.↗

NASA NTRS1992

Proof Testing Of Stainless-Steel Bolts

Report describes study of development of method for nondestructive proof testing of bolts made of A286 stainless steel. Based on concept that the higher load bolt survives, the smaller the largest flaw and, therefore, the longer its fatigue life after test. Calculations and experiments increase confidence in nondestructive proof tests.

Hsieh, Cheng H.↗

NASA NTRS1992

Single-Cycle Versus Multicycle Proof Testing

Report compares single-cycle with multiple-cycle mechanical-stress tests of parts under mechanical stresses. Objective of proof testing: to screen out gross manufacturing or material deficiencies and provide additional assurance of quality. Report concludes that changes in distribution of crack sizes during multicycle proof testing depend on initial distribution, number of cycles, relationship between resistance of material and elastic/plastic fracture-mechanics parameter, relationship between load control and displacement control, and magnitude of applied load or displacement. Whether single-cycle or multicycle testing used depends on shape, material, and technique of fabrication of components tested.

Hudak, S. J., Jr.↗

NASA NTRS1991

Putting time into proof outlines

A logic for reasoning about timing of concurrent programs is presented. The logic is based on proof outlines and can handle maximal parallelism as well as resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action.

Schneider, Fred B.↗

NASA NTRS1991

A new proof of the Jacobi necessary condition

A new proof is given for Jacobi's no-conjugate-point necessary condition. For a certain class of linear-quadratic optimal control problems it is shown that the existence of a conjugate point in the interior of the extremal implies the existence of control perturbations that lead to a reduction in cost. In a well-known way, through the concept of the accessory minimum problem, this results in a no-conjugate-point condition for general optimal control problems. Important ideas used in this work are adopted from Breakwell and Ho (1965). In contrast to earlier results, the new proof also applies if the coefficient functions of time associated with the accessory minimum problem have any finite number of discontinuities.

Seywald, Hans↗

NASA NTRS1992

Controllability and observability of flexible structures with proof-mass actuators

Relationships between Hankel singular values of a structure with a proof-mass actuator to those of a structure with an ideal actuator are analyzed. They indicate that the proof-mass actuator has little influence on Hankel singular values of a structure if the natural frequency of the actuator is much lower than the structural frequencies. This fact significantly simplifies controllability/observability analysis and model reduction of flexible structures. Results from numerical simulations verify the conclusions.

Gawronski, W.↗

NASA NTRS1992

Simple proof of the global optimality of the Hohmann transfer

The case of two-impulse transfer between coplanar circular orbits is considered. The global optimality of the Hohmann transfer among the class of two-impulse transfers is proved via ordinary calculus by using the familiar orbital elements, eccentricity e and parameter (semilatus rectum) p. It is noted that this proof is simpler than existing proofs in the literature.

Prussing, John E.↗

NASA NTRS1993

Analysis, design, and testing of a low cost, direct force command linear proof mass actuator for structural control

In this paper, the design, analysis, and test of a low cost, linear proof mass actuator for vibration control is presented. The actuator is based on a linear induction coil from a large computer disk drive. Such disk drives are readily available and provide the linear actuator, current feedback amplifier, and power supply for a highly effective, yet inexpensive, experimental laboratory actuator. The device is implemented as a force command input system, and the performance is virtually the same as other, more sophisticated, linear proof mass systems.

Slater, G. L.↗