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.
A criterion is developed for the stiffness required of elastic lateral supports at the ends of a compression member to provide stability. A method based on this criterion is then developed for checking the stability of a continuous beam-column. A related method is also developed for checking the stability of a member of a pin-jointed truss against rotation in the plane of the truss.
A portable apparatus for rapidly determining rates of discharge of a fuel-injection system is described. Satisfactory operation of this apparatus with injection-pump speeds up to 2400 r.p.m was obtained. Rate-of-discharge tests were made with several cam-plunger-valve injection systems with long injection tubes. A check valve designed to reduce secondary discharges was tested. This check valve was operated with injection-pump speeds up to 2400 r.p.m without the occurrence of large secondary discharges.
Tests of four 10-foot propellers were made in the propeller-research tunnel for the Army Air Corps to check flight and static thrust test results made on several propellers embodying Clark Y and modified NACA 16-series sections. These propellers were identical as to diameter and activity factor and very closely identical in thickness ratio and pitch distribution. The blades embodied sections with both single- and double-cambered Clark Y, modified NACA 16-series, and a combination of Clark Y and modified NACA-16 airfoils. Tests covered a range of blade angles from 20 deg. to 70 deg., and were all made at tip speeds below 280 feet per second. Although these tests were not conclusive in themselves, owing to the conditions under which they were made, the results seem to check the flight and static tests as closely as would be expected.
A VLSI architecture for synchronous sequential controllers is presented that has attractive qualities for producing reliable circuits. In these circuits, one hardware implementation can realize any flow table with a maximum of 2(exp n) internal states and m inputs. Also all design equations are identical. A real time fault detection means is presented along with a strategy for verifying the correctness of the checking hardware. This self check feature can be employed with no increase in hardware. The architecture can be modified to achieve fail safe designs. With no increase in hardware, an adaptable circuit can be realized that allows replacement of faulty transitions with fault free transitions.
An Operations Management System (OMS) is being designed for Space Station Freedom to improve productivity, reliability, and safety while reducing operations and maintenance costs. Central to the concept is a short term plan containing mixes of man-readable and machine-executable procedures used in an environment of distributed processing and execution. An OMS event evaluator to check upcoming short-term plan events for validity of execution is under development. The first version checks time and resource constraints against operational conditions for current or expected stations. In work are the handling of environmental and other operational constraints, as well as detailed modeling of resources and station operational states. The Ada Program also has the ability to reschedule all or part of the events.
Pilot reports of aviation incidents to the Aviation Safety Reporting System (ASRS) provide a window on the problems occurring in today's airline cockpits. The narratives of 10 pilot reports of errors made in the automation-assisted altitude-change task are used to illustrate some of the issues of pilots interacting with automatic systems. These narratives are then used to construct a description of the cockpit as an information processing system. The analysis concentrates on the error-tolerant properties of the system and on how breakdowns can occasionally occur. An error-tolerant system can detect and correct its internal processing errors. The cockpit system consists of two or three pilots supported by autoflight, flight-management, and alerting systems. These humans and machines have distributed access to clearance information and perform redundant processing of information. Errors can be detected as deviations from either expected behavior or as deviations from expected information. Breakdowns in this system can occur when the checking and cross-checking tasks that give the system its error-tolerant properties are not performed because of distractions or other task demands. Recommendations based on the analysis for improving the error tolerance of the cockpit system are given.
Delay-insensitive VLSI systems have a certain appeal on the ground due to difficulties with clocks; they are even more attractive in space. We answer the question, is it possible to control state explosion arising from various sources during automatic verification (model checking) of delay-insensitive systems? State explosion due to concurrency is handled by introducing a partial-order representation for systems, and defining system correctness as a simple relation between two partial orders on the same set of system events (a graph problem). State explosion due to nondeterminism (chiefly arbitration) is handled when the system to be verified has a clean, finite recurrence structure. Backwards branching is a further optimization. The heart of this approach is the ability, during model checking, to discover a compact finite presentation of the verified system without prior composition of system components. The fully-implemented POM verification system has polynomial space and time performance on traditional asynchronous-circuit benchmarks that are exponential in space and time for other verification systems. We also sketch the generalization of this approach to handle delay-constrained VLSI systems.
The methodology and techniques used to collect and analyze look-point position data from a real-time ATC display-format comparison experiment are documented. That study compared the delivery precision and controller workload of three final approach spacing aid display formats. Using an oculometer, controller lookpoint position data were collected, associated with gaze objects (e.g., moving aircraft) on the ATC display, and analyzed to determine eye-scan behavior. The equipment involved and algorithms for saving, synchronizing with the ATC simulation output, and filtering the data are described. Target (gaze object) and cross-check scanning identification algorithms are also presented. Data tables are provided of total dwell times, average dwell times, and cross-check scans. Flow charts, block diagrams, file record descriptors, and source code are included. The techniques and data presented are intended to benefit researchers in other studies that incorporate non-stationary gaze objects and oculometer equipment.
Highly successful mission operations require efficient and cost-effective science sequence development. Of key importance is the Science Planning and Operations Team's (SPOT's) ability to complete science observation design and integration early in the sequence development process (i.e., before the sequence enters into a formal change control process). Once under formal change control, careful change paper documentation, Flight Team checks, and mission software checks make sequence changes more labor-intensive. This paper discusses team organization, strategies, scheduling, and software employed by the Voyager and Galileo SPOT's to complete science observation design and integration early in the sequence development process.
This report describes the status of an on-going effort to develop software capable of detecting sensor failures on rocket engines in real time. This software could be used in a rocket engine controller to prevent the erroneous shutdown of an engine due to sensor failures which would otherwise be interpreted as engine failures by the control software. The approach taken combines analytical redundancy with Bayesian belief networks to provide a solution which has well defined real-time characteristics and well-defined error rates. Analytical redundancy is a technique in which a sensor's value is predicted by using values from other sensors and known or empirically derived mathematical relations. A set of sensors and a set of relations among them form a network of cross-checks which can be used to periodically validate all of the sensors in the network. Bayesian belief networks provide a method of determining if each of the sensors in the network is valid, given the results of the cross-checks. This approach has been successfully demonstrated on the Technology Test Bed Engine at the NASA Marshall Space Flight Center. Current efforts are focused on extending the system to provide a validation capability for 100 sensors on the Space Shuttle Main Engine.
This study determines crater depth through use of photoclinometric profiles. Random checks of the photoclinometric results are performed using shadow estimation techniques. The images are Viking Orbiter digital format frames; in cases where the digital image is unusable for photoclinometric analysis, shadow estimation is used to determine crater depths. The two techniques provide depth results within 2 percent of each other. Crater diameters are obtained from the photoclinometric profiles and checked against the diameters measured from the hard-copy images using a digitizer. All images used in this analysis are of approximately 40 m/pixel resolution. The sites that have been analyzed to date include areas within Arabia, Maja Valles, Memnonia, Acidalia, and Elysium. Only results for simple craters (craters less than 5 km in diameter) are discussed here because of the low numbers of complex craters presently measured in the analysis. General results indicate that impact craters are deeper than average. A single d/D relationship for fresh impact craters on Mars does not exist due to changes in target properties across the planet's surface. Within regions where target properties are approximately constant, however, d/D ratios for fresh craters can be determined. In these regions, the d/D ratios of nonpristine craters can be compared with the fresh crater d/D relationship to obtain information on relative degrees of crater degradation. This technique reveals that regional episodes of enhanced degradation have occurred. However, the lack of statistically reliable size-frequency distribution data prevents comparison of the relative ages of these events between different regions, and thus determination of a large-scale episode (or perhaps several episodes) cannot be made at this time.
The use of photoclinometry and shadow measurements to determine the basin volume without linking the measurements to a global datum is described. Since the boundary, or shoreline, of the basin cannot be tied to the datum and typically has no useful local relative height to measure, what is needed is a number of measurements of the height of the paleoshorelines distributed across the basin. Photoclinometric profiles are being compiled from Viking Orbiter images of the Cydonia Mensae region, which includes images with high sun elevations, necessary to avoid shadows, and images with low sun elevations, to enable the use of shadow measurements as an independent check, at high resolution (40 to 100 m/pixel). Both asymmetric and symmetric photoclinometric profile models are being used, and the results cross checked with one another to minimize errors. An apron-height map, potentially a paleobathymetric map of part of the margin of Oceanus Borealis, can be compiled from this data to determine whether variations in apron height are consistent with a lacustrine interpretation.
The Shuttle Solar Backscatter Ultraviolet (SSBUV) experiment has flown four times since October 1989. The purpose of SSBUV is to perform calibration checks of the SBUV ozone sounding instruments on the Nimbus and NOAA satellites in order to remove calibration drift so that ozone trends in the middle stratosphere can be accurately derived. Calibration checks are performed by comparing coincident observations between SSBUV and the satellite instruments. Regular flights of about once per year and maintenance of the SSBUV calibration to 1 percent from flight to flight are the major challenges for SSBUV. To date the required flight frequency has been met and instrument calibration is known to about 1-2 percent for the first three flights. The first comparisons showed 30 percent differences between SSBUV and the original archived Nimbus SBUV data, but considerably smaller differences with the new SBUV 'Version 6' data. Differences between SSBUV and SBUV/2 instruments on NOAA-11 and NOAA-9 were of the order of 5-10 percent respectively. These differences have not been accounted for in the present NOAA data set since they contain initial calibration biases as well as long term instrument drift. With subsequent SSBUV comparisons, the satellite calibration can be corrected, which will then allow an accurate estimate of ozone trends in the upper stratosphere. In this initial study, 1989 Nimbus-7 SBUV data have been corrected using SSBUV observations and then compared to SBUV data for 1980. This comparison then leads to an ozone trend of 7 percent in the upper stratosphere over the tropics for the period 1980 to 1989.
Virtual environments for software visualization may enable complex programs to be created and maintained. A typical application might be for control of regional electric power systems. As these encompass broader computer networks than ever, construction of such systems becomes very difficult. Conventional text-oriented environments are useful in programming individual processors. However, they are obviously insufficient to program a large and complicated system, that includes large numbers of computers connected to each other; such programming is called 'programming in the large.' As a solution for this problem, the authors are developing a graphic programming environment wherein one can visualize complicated software in virtual 3D world. One of the major features of the environment is the 3D representation of concurrent process. 3D representation is used to supply both network-wide interprocess programming capability (capability for 'programming in the large') and real-time programming capability. The authors' idea is to fuse both the block diagram (which is useful to check relationship among large number of processes or processors) and the time chart (which is useful to check precise timing for synchronization) into a single 3D space. The 3D representation gives us a capability for direct and intuitive planning or understanding of complicated relationship among many concurrent processes. To realize the 3D representation, a technology to enable easy handling of virtual 3D object is a definite necessity. Using a stereo display system and a gesture input device (VPL DataGlove), our prototype of the virtual workstation has been implemented. The workstation can supply the 'sensation' of the virtual 3D space to a programmer. Software for the 3D programming environment is implemented on the workstation. According to preliminary assessments, a 50 percent reduction of programming effort is achieved by using the virtual 3D environment. The authors expect that the 3D environment has considerable potential in the field of software engineering.
An operational stratospheric correction scheme used after the Mount Pinatubo (Phillipines) eruption (Jun. 1991) is presented. The stratospheric aerosol distribution is assumed to be only variable with latitude. Each 9 days the latitudinal distribution of the optical thickness is computed by inverting radiances observed in the NOAA AVHRR channel 1 (0.63 micrometers) and channel 2 (0.83 micrometers) over the Pacific Ocean. This radiance data set is used to check the validity of model used for inversion by checking consistency of the optical thickness deduced from each channel as well as optical thickness deduced from different scattering angles. Using the optical thickness profile previously computed and radiative transfer code assuming Lambertian boundary condition, each pixel of channel 1 and 2 are corrected prior to computation of NDVI (Normalized Difference Vegetation Index). Comparison between corrected, non corrected, and years prior to Pinatubo eruption (1989 to 1990) NDVI composite, shows the necessity and the accuracy of the operational correction scheme.
Finite element analysis is regularly used during the engineering cycle of mechanical systems to predict the response to static, thermal, and dynamic loads. The finite element model (FEM) used to represent the system is often correlated with physical test results to determine the validity of analytical results provided. Results from dynamic testing provide one means for performing this correlation. One of the most common methods of measuring accuracy is by classical modal testing, whereby vibratory mode shapes are compared to mode shapes provided by finite element analysis. The degree of correlation between the test and analytical mode shapes can be shown mathematically using the cross orthogonality check. A great deal of time and effort can be exhausted in generating the set of test acquired mode shapes needed for the cross orthogonality check. In most situations response data from vibration tests are digitally processed to generate the mode shapes from a combination of modal parameters, forcing functions, and recorded response data. An alternate method is proposed in which the same correlation of analytical and test acquired mode shapes can be achieved without conducting the modal survey. Instead a procedure is detailed in which a minimum of test information, specifically the acceleration response data from a random vibration test, is used to generate a set of equivalent local accelerations to be applied to the reduced analytical model at discrete points corresponding to the test measurement locations. The static solution of the analytical model then produces a set of deformations that once normalized can be used to represent the test acquired mode shapes in the cross orthogonality relation. The method proposed has been shown to provide accurate results for both a simple analytical model as well as a complex space flight structure.
CHIMES is a critiquing tool that automates the process of checking graphical user interface (GUI) designs for compliance with human factors design guidelines and toolkit style guides. The current prototype identifies instances of non-compliance and presents problem statements, advice, and tips to the GUI designer. Changes requested by the designer are made automatically, and the revised GUI is re-evaluated. A case study conducted at NASA-Goddard showed that CHIMES has the potential for dramatically reducing the time formerly spent in hands-on consistency checking. Capabilities recently added to CHIMES include exception handling and rule building. CHIMES is intended for use prior to usability testing as a means, for example, of catching and correcting syntactic inconsistencies in a larger user interface.
Document analysis is one of the main applications of machine vision today and offers great opportunities for neural net circuits. Despite more and more data processing with computers, the number of paper documents is still increasing rapidly. A fast translation of data from paper into electronic format is needed almost everywhere, and when done manually, this is a time consuming process. Markets range from small scanners for personal use to high-volume document analysis systems, such as address readers for the postal service or check processing systems for banks. A major concern with present systems is the accuracy of the automatic interpretation. Today's algorithms fail miserably when noise is present, when print quality is poor, or when the layout is complex. A common approach to circumvent these problems is to restrict the variations of the documents handled by a system. In our laboratory, we had the best luck with circuits implementing basic functions, such as convolutions, that can be used in many different algorithms. To illustrate the flexibility of this approach, three applications of the NET32K circuit are described in this short viewgraph presentation: locating address blocks, cleaning document images by removing noise, and locating areas of interest in personal checks to improve image compression. Several of the ideas realized in this circuit that were inspired by neural nets, such as analog computation with a low resolution, resulted in a chip that is well suited for real-world document analysis applications and that compares favorably with alternative, 'conventional' circuits.