SEARCH · Search NASA
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.
Slip ring lead wires composed of ternary alloys of silver, have high electrical conductivity, a tensile strength of at least 30,000 psi, high ductility, and are solderable and weldable. An unexpected advantage of these alloys is their resistance to discoloration on heating in air.
Dry blasting with glass beads through a nozzle assembly descales both the outside and inside surfaces of tubes of Inconel 718 used for the distribution of gaseous oxygen. The inside of the nozzle is coated with polyurethane and the deflector with a commercially available liquid urethane rubber.
Gas flow calibration systems noting accuracy degree and factors contributing to errors
Influence of process variations in the etching of germanium with hydrogen peroxide has been studied, along with damage effects due to radiation. The work advances the knowledge of the etching process for germanium.
Methods for determining mass flow rates of gases for use in calibrating gas flowmeters
For abstract, see N77-29826.
Carbon fiber sampling instruments were developed: passive collectors made of sticky bridal veil mesh, and active instruments using a light emitting diode (LED) source. These instruments measured the number or number rate of carbon fibers released from carbon/graphite composite material when the material was burned in a 10.7 m (35 ft) dia JP-4 pool fire for approximately 20 minutes. The instruments were placed in an array suspended from a 305 m by 305 m (1000 ft by 1000 ft) Jacob's Ladder net held vertically aloft by balloons and oriented crosswind approximately 140 meters downwind of the pool fire. Three tests were conducted during which released carbon fiber data were acquired. These data were reduced and analyzed to obtain the characteristics of the released fibers including their spatial and size distributions and estimates of the number and total mass of fibers released. The results of the data analyses showed that 2.5 to 3.5 x 10 to the 8th power single carbon fibers were released during the 20 minute burn of 30 to 50 kg mass of initial, unburned carbon fiber material. The mass released as single carbon fibers was estimated to be between 0.1 and 0.2% of the initial, unburned fiber mass.
The main propulsion system, solid rocket boosters, external tank, orbital maneuvering system, spacecraft orbital operations (thermal tests, attitude control and remote manipulator), and return to Earth are outlined for the first four STS missions.
A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.
The Software Implemented Fault Tolerance SIFT system, is written in PASCAL except for about a page of machine code. The SIFT system implements a small time sharing system in which PASCAL programs for separate application tasks are executed according to a schedule with real time constraints. The PASCAL language has no provision for handling the notion of an interrupt such as the B930 clock interrupt. The PASCAL language also lacks the notion of running a PASCAL subroutine for a given amount of time, suspending it, saving away the suspension, and later activating the suspension. Machine code was used to overcome these inadequacies of PASCAL. Code which handles clock interrupts and suspends processes is called a dispatcher. The time sharing/virtual machine idea is completely destroyed by the reconfiguration task. After termination of the reconfiguration task, the tasks run by the dispatcher have no relation to those run before reconfiguration. It is impossible to view the dispatcher as a time-sharing system implementing virtual BDX930s running concurrently when one process can wipe out the others.
The concept of unstructured structure editing and ted, an editor for unstructured trees, is described. Ted is used to manipulate hierarchies of information in an unrestricted manner. The tool was implemented and applied to the problem of organizing formal proofs. As a proof management tool, it maintains the validity of a proof and its constituent lemmas independently from the methods used to validate the proof. It includes an adaptable interface which may be used to invoke theorem provers and other aids to proof construction. Using ted, a user may construct, maintain, and verify formal proofs using a variety of theorem provers, proof checkers, and formatters.
From the description of a field problem (i.e., designing decision aids for air traffic controllers), this paper points out how a cognitive engineering approach provides the milestones for the evaluation of future joint human-machine systems.
Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates. A similar approach was developed using a model checker on state-intensive systems. This method applies to systems with functional rather than state-based behaviors. This approach allows for the use of incomplete specifications to aid in generation of tests for potential failure cases. We illustrate the technique on the cannonical triangle testing problem and discuss its use on analysis of a spacecraft scheduling system.
The X-33, NASA's flagship for reusable space plane technology demonstration, is on course to permit a crucial decision for the nation by the end of this decade. Lockheed Martin Skunk Works, NASA's partner in this effort, has led a dedicated and talented industry and government team that have met and solved numerous challenges within the first 26 months. This program began by accepting the mandate that included two unprecedented and highly challenging goals: 1) demonstrate single stage to orbit technologies in flight and ground demonstration in less than 42 months and 2) demonstrate a new government and industry management relationship working together with industry in the lead.
The scientific objective of the Isothermal Dendritic Growth Experiment (IDGE) is to test fundamental assumptions about dendritic solidification of molten materials. "Dendrites"-- from the ancient Greek word for tree--are tiny branching structures that form inside molten metal alloys when they solidify during manufacturing. The size, shape, and orientation of the dendrites have a major effect on the strength, ductility (ability to be molded or shaped), and usefulness of an alloy. Nearly all of the cast metal alloys used in everyday products (such as automobiles and airplanes) are composed of thousands to millions of tiny dendrites. Gravity, present on Earth, causes convection currents in molten alloys that disturb dendritic solidification and make its precise study impossible. In space, gravity is negated by the orbiting of the space shuttle. Consequently, IDGE (which was conducted on the space shuttle) gathered the first precise data regarding undisturbed dendritic solidification. IDGE is a microgravity materials science experiment that uses an apparatus which was designed, built, tested, and operated by people from the NASA Lewis Research Center. This experiment was conceived by the principal investigator, Professor Martin E. Glicksman, from Rensselaer Polytechnic Institute in Troy, New York. The experiment was a team effort of Lewis civil servants, contractors from Aerospace Design & Fabrication Inc. (ADF), and personnel at Rensselaer.
Flying a trajectory perpendicular to the Earth-Sun line during its perihelion passage, Solar Probe will use in-situ and imaging instruments to provide the first three dimentional viewing of the corona, direct observations of solar polar regions, and local sampling of the solar environment. These primary observations are complemented by context-setting cruise measurements and Earth-based observations.
No abstract available
As of Draft 4.0 of the CCT-REQ-1130 requirements document for CCP, ISS Crew Transportation and Services Requirements Document, specific language for the verification of the abort capability requirement, 3.3.1.4, was added. The abort capability requirement ensures that the CTS under dispersed conditions is always capable of aborting from a failed LV. The Integrated Aborts IPT was asked to author a memo for how this verification might be completed. The following memo dictates one way that this requirement and its verification could be met, but this is the not the only method.