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 451 records · Page 25
All sourcesNASA NTRSDOE OSTI
NASA NTRS1980

Reliability validation of systems for life-critical applications

A framework is proposed which addresses traditional reliability validation approaches consisting of life testing techniques which are inapplicable for digital flight control systems. A specific validation methodology is identified based on logical proofs, analytical modeling, and experimental testing. Research activities required to support continued development of validation technology are identified, and the validation procedure is driven by the reliability model obtained from the system description. The analytical reliability model is shown to be a proper abstraction of the system under consideration, and a proof of correctness of system design and system scheduler performance is proposed.

Trivedi, K. S.↗
NASA NTRS1982

Operational evaluation of a proppeller test stand in the quiet flow facility at Langley Research Center

Operational proof tests of a propeller test stand (PTS) in a quiet flow facility (QFF) are presented. The PTS is an experimental test bed for acoustic propeller research in the quiet flow environment of the QFF. These proof tests validate thrust and torque predictions, examine the repeatability of measurements on the PTS, and determine the effect of applying artificial roughness to the propeller blades. Since a thrusting propeller causes an open jet to contract, the potential flow core was surveyed to examine the magnitude of the contraction. These measurements are compared with predicted values. The predictions are used to determine operational limitations for testing a given propeller design in the QFF.

Block, P. J. W.↗
NASA NTRS1982

Sonic fatigue testing of an advanced composite aileron

The sonic fatigue test program to verify the design of the composite inboard aileron for the L-1011 airplane is described. The composite aileron is fabricated from graphite/epoxy minisandwich covers which are attached to graphite/epoxy front spar and ribs, and to an aluminum rear spar with fasteners. The program covers the development of random fatigue data by means of coupon testing and modal studies on a representative section of the composite aileron, culminating in the accelerated sonic fatigue proof test. The composite aileron sustained nonlinear panel vibration during the proof test without failure. Viscous damping coefficients as low as 0.4% were measured on the panels. The effects of moisture conditioning and elevated temperature on the random fatigue life of both undamaged and impact damaged coupons were investigated. The combination of impact damage, moisture, and a 180 F temperature could reduce the random fatigue life by 50%.

Soovere, J.↗
NASA NTRS1982

Attitude and translation control of a low-altitude Gravsat

Dynamic simulation of the Gravsat's attitude and translation control system is used to provide an upper bound for the fuel supply and test the feasibility of the preliminary design. A preliminary design is made for the disturbance compensation system (DISCOS) sensor, the thruster control laws, reaction wheel control laws, and the onboard state estimators. The sensor analysis and noise measurements show no problems in scaling the Triad navigation satellite sensor design up to meet the Gravsat requirements, except for proof mass center-of-mass offset. A promising technique is proposed to measure and eliminate this error. The covariance analysis confirms that a sophisticated post-flight data fit will be necessary to reconstruct a scientifically useful proof mass state. The DISCOS sensor will have to be continuously calibrated from the inflight data to achieve this reconstruction.

Ray, J. C.↗
NASA NTRS1982

Design and test of aircraft engine isolators for reduced interior noise

Improved engine vibration isolation was proposed to be the most weight and cost efficient retrofit structure-borne noise control measure for single engine general aviation aircraft. A study was carried out the objectives: (1) to develop an engine isolator design specification for reduced interior noise transmission, (2) select/design candidate isolators to meet a 15 dB noise reduction design goal, and (3) carry out a proof of concept evaluation test. Analytical model of the engine, vibration isolators and engine mount structure were coupled to an empirical model of the fuselage for noise transmission evaluation. The model was used to develop engine isolator dynamic properties design specification for reduced noise transmission. Candidate isolators ere chosen from available product literature and retrofit to a test aircraft. A laboratory based test procedure was then developed to simulate engine induced noise transmission in the aircraft for a proof of concept evaluation test. Three candidate isolator configurations were evaluated for reduced structure-borne noise transmission relative to the original equipment isolators.

Unruh, J. F.↗
NASA NTRS1981

A spaceborne superconducting gravity gradiometer for mapping the earth's gravity field

The principles of a satellite gravity gradiometer system which measures all five independent components of the gravity gradient tensor with a sensitivity of 0.001 E/Hz to the 1/2 power or better, are analyzed, and the status of development of the system is reviewed. The superconducting gravity gradiometer uses sensitive superconducting accelerometers, each of which are composed of a weakly suspended superconducting proof mass, a superconducting magnetic transducer, and a low-noise superconducting magnetometer. The magnetic field produced by the transducer coils is modulated by the motion of the proof mass and detected by the magnetometer. A combination of two or four of such accelerometers with proper relative orientation of sensitive axes results in an in-line or a cross component gravity gradiometer.

Paik, H. J.↗
NASA NTRS1983

A system for the simulation and evaluation of satellite communication networks

With the emergence of a new era in satellite communications brought about by NASA's thrust into the Ka band with multibeam and onboard processing technologies, new and innovative techniques for evaluating these concepts and systems are required. To this end, NASA, in conjunction with its extensive program for advanced communications technology development, has undertaken to develop a concept for the simulation and evaluation of a complete communications network. Incorporated in this network will be proof of concept models of the latest technologies proposed for future satellite communications systems. These include low noise receivers, matrix switches, baseband processors, and solid state and tube type high power amplifiers. To accomplish this, numerous supporting technologies must be added to those aforementioned proof of concept models. These include controllers for synchronization, order wire, and resource allocation, gain compensation, signal leveling, power augmentation, and rain fade and range delay simulation. Taken together, these will be assembled to comprise a system capable of addressing numerous design and performance questions. The simulation and evaluation system as planned will be modular in design and implementation, capable of modification and updating to track and evaluate a continuum emerging concepts and technologies.

Bagwell, J. W.↗
NASA NTRS1984

Digital control system for space structural dampers

A recently developed concept for a damper was improved by adding a small taper to the proof-mass, and using a proximeter to determine position. Also, an experimental damper was built using a three-inch stroke in place of the standard one-inch stroke. The analog controller initially used was replaced by an independent digital controller slaved to a TRS-80 Model I computer, which also serves as a highly effective, low-cost development system. An overall system concept for the use of proof-mass dampers is presented.

Haviland, J. K.↗
NASA NTRS1983

STP: A Mechanized Logic for Specification and Verification

A logic and proof theory that was mechanized and successfully applied to prove nontrivial properties of a fully distributed fault tolerant system is described. The system is close to achieving the critical balance in man machine interaction necesary for successful application by users other than the system developers. Motivation for the form of man machine interaction embodied by STP is discussed. A formal description of the logic and the proof theory is contained, and the description illustrated with an example. The use of STP in a large scale effort to prove nontrivial properties on SIFT, a distributed Software Implemented Fault Tolerant operating system for aircraft flight control is discussed. Finally, directions for further work are described.

Shostak, R. E.↗
NASA NTRS1983

Specifying and Verifying Ultra-reliability and Fault-tolerance Properties

A methodology to rigorously verify ultrareliability and fault tolerance system properties is described. The methodology utilizes a hierarchy of formal mathematical specifications of system design and incremental design proof to prove the system has the desired properties. A small example of the approach is given, and the application of the methodology to the large scale proof of SIFT, a fault tolerant flight control operating system, is discussed.

Schwartz, R. L.↗
NASA NTRS1983

The Hierarchical Specification and Mechanical Verification of the SIFT Design

The formal specification and proof methodology employed to demonstrate that the SIFT computer system meets its requirements are described. The hierarchy of design specifications is shown, from very abstract descriptions of system function down to the implementation. The most abstract design specifications are simple and easy to understand, almost all details of the realization were abstracted out, and are used to ensure that the system functions reliably and as intended. A succession of lower level specifications refines these specifications into more detailed, and more complex, views of the system design, culminating in the Pascal implementation. The section describes the rigorous mechanical proof that the abstract specifications are satisfied by the actual implementation.

Source record↗
NASA NTRS1982

Performance criteria guideline for three explosion protection methods of electrical equipment rated up to 15,000 volts AC

The Bureau of Mines, U.S. Department of the Interior, is reviewing explosion protection methods for use in gassy coal mines. This performance criteria guideline is an evaluation of three explosion protection methods of machines electrically powered with voltages up to 15,000 volts ac. A sufficient amount of basic research has been accomplished to verify that the explosion proof and pressurized enclosure methods can provide adequate explosion protection with the present state of the art up to 15,000 volts ac. This routine application of the potted enclosure as a stand alone protection method requires further investigation or development in order to clarify performance criteria and verification certification requirements. An extensive literature search, a series of high voltage tests, and a design evaluation of the three explosion protection methods indicate that the explosion proof, pressurized, and potted enclosures can all be used to enclose up to 15,000 volts ac.

Linley, L. J.↗
NASA NTRS1984

Digital control system for space structural dampers

Digital control systems for space structural dampers, also referred to as inertia or proof-mass dampers are investigated. A damper concept is improved by adding a small taper to the proof-mass, and using a proximeter to determine position. Another damper using a three inch stroke rather than the standard one inch stroke is described. Provisions are made for a relative velocity feedback. In one approach, the digital controller is modified to accept the signal from a linear velocity transducer. In the other, the velocity feedback is included in the digital program. An overall system concept for the use of the dampers is presented.

Haviland, J. K.↗
NASA NTRS1983

Technology requirements for large flexible space structures

Research, test, and demonstration experiments necessary for establishing a data base that will permit construction of large, lightweight flexible space structures meeting on-orbit pointing and surface precesion criteria are discussed. Attention is focused on the wrap-rib proof-of-concept antenna structures developed from technology used on the ATS-6 satellite. The target structure will be up to 150 m in diameter or smaller, operate at RF levels, be amenable to packaging for carriage in the Shuttle bay, be capable of being ground-tested, and permit on-orbit deployment and retraction. Graphite/epoxy has been chosen as the antenna ribs material, and the antenna mesh will be gold-plated Mo wire. A 55-m diam reflector was built as proof-of-concept with ground-test capability. Tests will proceed on components, a model, the entire structure, and in-flight. An analytical model has been formulated to characterize the antenna's thermal behavior. The flight test of the 55-m prototype in-orbit offers the chance to validate the analytical model and characterize the control, mechanical, and thermal characteristics of the antenna configuration.

Wada, B. K.↗
NASA NTRS1982

Pole placement by static and dynamic output feedback

This paper gives new results concerning pole-assignability by static and dynamic output feedback, based on the interpretation of transfer functions, feedback laws, poles and zeroes in terms of the incidence geometry of m-planes and p-planes in (m+p)-space. As an illustration of the most basic ideas, a short proof of the Brasch-Pearson theorem is given. A more careful analysis of this proof yields a significant extension of this theorem, which is considerably sharpened in the case of pole-assignment by constant gain output feedback. As a final application, a root-locus design technique for non-square systems is introduced: zero placement by pre- or post-compensation. This zero placement problem is then analyzed by methods similar to those developed for pole placement by output feedback.

Byrnes, C. I.↗
NASA NTRS1984

A system for the simulation and evaluation of satellite communication networks

With the emergence of a new era in satellite communications, brought about by NASA's thrust into the Ka band with multibeam and onboard processing technologies, new and innovative techniques for evaluating these concepts and systems are required. To this end, NASA, in conjunction with its extensive program for advanced communications technology development, has undertaken to develop a concept for the simulation and evaluation of a complete communications network. Incorporated in this network will be proof-of-concept models of the latest technologies proposed for future satellite communications systems. These include low noise receivers, matrix switches, baseband processors, and solid state and tube type high power amplifiers. To accomplish this, numerous supporting technologies must be added to those aforementioned proof-of-concept models. These include controllers for synchronization, order wire, resource allocation, gain compensation, signal leveling, power augmentation, and rain fade and range delay simulation. Taken together, these will be assembled to comprise a system capable of addressing numerous design and performance questions. The simulation and evaluation system, as planned, will be modular in design and implementation, capable of modification and updating to track and evaluate a continuum of emerging concepts and technologies. Previously announced in STAR as N84-13400

Bagwell, J. W.↗
NASA NTRS1982

Development of the structural technology of a large deployable antenna

The current NASA-sponsored Antenna Technology Development Program of the offset wrap-rib antenna concept is based on a ground test program of 'proof of concept' hardware whose potential on-orbit performance is based on analytical estimates. The ground demonstration hardware represents a partial 55-meter diameter reflector and feed support structure. Testing will include automated deployment, reflector surface quality evaluation and validation of analytical performance models. Test results and hardware fabrication costs will be used to refine the models that will be the basis for the preliminary design of a 100-meter diameter wrap-rib antenna system. Additionally, the design, processes, tooling, fabrication techniques, fixturing and assembly approaches used for the 'proof of concept' hardware are directly applicable to building flight systems up to 100 meters in diameter.

Wada, B. K.↗
NASA NTRS1985

Superconducting techniques for gravity survey and inertial navigation

A three-axis gravity gradiometer is developed, in which the magnetic fields produced by persistent currents are modulated by motions of superconducting proof masses. The common-acceleration-induced errors are compensated for by a six-axis superconducting accelerometer with a single magnetically levitated proof mass, linear acceleration resolution of 4 x 10 to the -12th m/(s exp 2 Hz exp 1/2), and angular acceleration resolution of 3 x 10 to the -11th rad/(s exp 2 Hz exp 1/2). The testing of a prototype gradiometer revealed that the environment-induced noise limits the noise floor to 7 x 10 to the -10th/(s exp 2 Hz exp 1/2).

Chan, H. A.↗