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.
Godunov's method and several other methods for computing solutions to the equations of gas dynamics use Riemann solvers to resolve discontinuities at the interface between cells. A new method is proposed here for solving the Riemann problem based on a global existence proof for the solution to the Riemann problem. The method is found to be very reliable and computationally efficient.
Near-field testing was conducted on the 30 GHz TRW proof-of-concept (POC) Multibeam Antenna (MBA). The TRW POC MBA is a dual offset Cassegrain reflector system using a 2.7 m main reflector. This configuration was selected to assess the ability to create both multiple fixed and scanned spot beams. The POC configuration investigated frequency reuse via spatial separation of beams, polarization selectivity and time division multiple access scanning at 30 GHz. Measurements of directivity, sidelobe level, and pattern were made at NASA Lewis Research Center's Near-Field Antenna Test Facility. Presented in this paper are complete results of these measurements. Included is a detailed discussion of all testing procedures and parameters. Results of additional testing used to evaluate diffraction effects of the subreflector and distortions of the main reflector are also presented.
The objective of the microprocessor controlled proof-mass actuator is to develop the capability to mount a small programmable device on laboratory models. This capability will allow research in the active control of flexible structures. The approach in developing the actuator will be to mount all components as a single unit. All sensors, electronic and control devices will be mounted with the actuator. The goal for the force output capability of the actuator will be one pound force. The programmable force actuator developed has approximately a one pound force capability over the usable frequency range, which is above 2 Hz.
Proof-of-concept testing was performed on a 20-kHz, resonant power system breadboard from 1981 through 1985. The testing began with the evaluation of a single, 1.0-kW resonant inverter and progressed to the testing of breadboard systems with higher power levels and more capability. The final breadboard configuration tested was a 25.0-kW breadboard with six inverters providing power to three user-interface modules over a 50-meter, 20-kHz bus. The breadboard demonstrated the ability to synchronize multiple resonant inverters to power a common bus. Single-phase and three-phase 20-kHz power distribution was demonstrated. Simple conversion of 20-kHz to dc and variable-frequency ac was demonstrated as was bidirectional power flow between 20-kHz and dc. Steady state measurements of efficiency, power-factor tolerance, and conducted emissions and conducted susceptibility were made. In addition, transient responses were recorded for such conditions as start up, shut down, load changes. The results showed the 20-kHz resonant system to be a desirable technology for a spacecraft power management and distribution system with multiple users and a utility-type bus.
The function design of the Input/Output (I/O) services for the Advanced Information Processing System (AIPS) proof of concept system is described. The data flow diagrams, which show the functional processes in I/O services and the data that flows among them, are contained. A complete list of the data identified on the data flow diagrams and in the process descriptions are provided.
The Abort Region Determinator (ARD) is a console program in the space shuttle mission control center. During shuttle ascent, the Flight Dynamics Officer (FDO) uses the ARD to determine the possible abort modes and make abort calls for the crew. The goal of the Rule-based Abort region Determinator (RB/ARD) project was to test the concept of providing an onboard ARD for the shuttle or an automated ARD for the mission control center (MCC). A proof of concept rule-based system was developed on a LMI Lambda computer using PICON, a knowdedge-based system shell. Knowdedge derived from documented flight rules and ARD operation procedures was coded in PICON rules. These rules, in conjunction with modules of conventional code, enable the RB-ARD to carry out key parts of the ARD task. Current capabilities of the RB-ARD include: continuous updating of the available abort mode, recognition of a limited number of main engine faults and recommendation of safing actions. Safing actions recommended by the RB-ARD concern the Space Shuttle Main Engine (SSME) limit shutdown system and powerdown of the SSME Ac buses.
A proof-of-concept (POC) aircraft is defined and the concept of interest described for each of the six aircraft developed by the Ames-Moffet Rotorcraft and Powered-Lift Flight Projects Division from 1970 through 1985; namely, the OV-10, the C-8A Augmentor Wing, the Quiet Short-Haul Research Aircraft (QSRA), the XV-15 Tilt Rotor Research Aircraft (TRRA), the Rotor Systems Research Aircraft (RSRA)-compound, and the yet-to-fly RSRA/X-Wing Aircraft. The program/project chronology and most noteworthy features of the concepts are reviewed. The paper discusses the significance of each concept and the project demonstrating it; it briefly looks at what concepts are on the horizon as potential POC research aircraft and emphasizes that no significant advanced concept in aviation technology has ever been accepted by civilian or military users without first completing a demonstration through flight testing.
In Kanerva's Sparse Distributed Memory, writing to and reading from the memory are done in relation to spheres in an n-dimensional binary vector space. Thus it is important to know how many points are in the intersection of two spheres in this space. Two proofs are given of Wang's formula for spheres of unequal radii, and an integral approximation for the intersection in this case.
Examined is a methodology for hardware verification developed by Royal Signals and Radar Establishment (RSRE) in the context of the SRI International's Enhanced Hierarchical Design Methodology (EHDM) specification/verification system. The methodology utilizes a four-level specification hierarchy with the following levels: functional level, finite automata model, block model, and circuit level. The properties of a level are proved as theorems in the level below it. This methodology is applied to a 6-bit counter problem and is critically examined. The specifications are written in EHDM's specification language, Extended Special, and the proofs are improving both the RSRE methodology and the EHDM system.
A very simple proof of M. H. Costa's result that the entropy power of Xt = X + N (O, tI) is concave in t, is derived as an immediate consequence of an inequality concerning Fisher information. This relationship between Fisher information and entropy is found to be useful for proving the central limit theorem. Thus, one who seeks new entropy inequalities should try first to find new inequalities about Fisher information, or at least to exploit the existing ones in new ways.
A proof of principal design of the staircase auger theory is provided for lunar drilling. The drill is designed to drill holes 30 meters deep and 0.1 meters in diameter. The action of the auger is 0.01 meter strokes at a varying number of strokes per second. A detailed analysis of the interaction of the auger and particle was done to optimize the parameters of the auger. This optimum design will allow for proper heat removal and reasonable drilling time. The drill bit is designed to scoop the particles into the auger while efficiently cutting through the moon's surface.
A proof-of-principle model of a two wheeled lunar dump truck was designed to display at the 1989 Summer Conference. The dump truck consists of a cylindrical bucket suspended between two wheels with the center of gravity of the bucket lower than the axis of the wheels. This gives the truck great stability in rough terrain. One motor on each wheel controls the movement of the truck and limits the moving parts to only two. The design of the mechanical drive, the electrical system, and the control systems are examined. Conclusion and recommendations are given.
This paper presents an analysis of the interaction between a structure, an actuator used to control the vibration of the structure, and the control law to be implemented by the actuator. The control hardware used is a proof-mass actuator with experimentally verified dynamics capable of being used in a space structure configuration. A local rate-feedback control law is used. The control of two different structures is presented. The first structure is a cantilevered beam constructed of a quasi-isotropic composite material that is controlled by a single actuator forming the experimental component of the investigation. The second structure is a finite-element model of a truss system controlled by a single actuator. Models of both structures predict the presence of potential instabilities in system performance if proper consideration is not given to interactions between the control law, the structure, and the actuator.
The main objectives are: to establish hardware/software platform for ultra-reliable computing; to use fault tolerant computer architecture; to use formal methods to prevent design and implementation errors; and to construct reliability model to quantify reliability estimate. The results show that: ultra-reliable control systems are hard to achieve; simple fault tolerant design is postulated; formal specification of design is constructed; and preliminary correctness proofs are obtained.
The Magnetic Gimbal Proof-of-Concept Hardware activities, accomplishments, and test results are discussed. The Magnetic Gimbal Fabrication and Test (MGFT) program addressed the feasibility of using a magnetic gimbal to isolate an Electro-Optical (EO) sensor from the severe angular vibrations induced during the firing of divert and attitude control system (ACS) thrusters during space flight. The MGFT effort was performed in parallel with the fabrication and testing of a mechanically gimballed, flex pivot based isolation system by the Hughes Aircraft Missile Systems Group. Both servo systems supported identical EO sensor assembly mockups to facilitate direct comparison of performance. The results obtained from the MGFT effort indicate that the magnetic gimbal exhibits the ability to provide significant performance advantages over alternative mechanically gimballed techniques.
My lecture has to do with the following questions. Is the danger of stalling necessarily inherent in the airplane in its present form and structure, or can it be diminished or eliminated by suitable means? Do we possess such means or devices and how must they operate? In this connection I will devote special attention to the exhibition of stall-proof airplanes by Fokker under the auspices of the English Air Ministry, which took place in Croyden last April.
The concept of providing transparent access to a collection of files in a mass storage system is a familiar one. The goal of this project was to investigate the feasibility of providing similar access to a collection of persistent, complex objects. We describe an architecture for interfacing a persistent store of complex objects to a hierarchical storage system. Persistent object stores support the uniform creation, storage, and access of complex objects, regardless of their lifetimes. In other words, a mechanism is provided so that persistent objects outlive the processes which create them and can be accessed in a uniform manner by other processes. We validated this architecture by implementing a proof-of-concept system and testing the system on two stores of data. These tests indicate that this architecture supports the creation, storage, and access of very large persistent object stores.
A new proof is given for Jacobi's necessary condition. It is shown that the existence of a conjugate point in the interior of an extremal implies the existence of control perturbations which lead to a reduction in cost. The present analysis is restricted to linear-quadratic optimal control problems.