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.
Circuit for checking two-line complementary-logic bits for single faults used as building block for self-checking memory interface for Hammingcoded data. Intended for such applications as fault-tolerant computing, data handling, and data transmission. Circuit performs exclusive-OR function. Many such circuits combined produce complete memory interface with both detection and correction abilities.
Management aid makes changes obvious. One key element in scheme for software development control is check summing. If check sum for given line in source file is different from previous version, it is evident change has been made. Subsequent editing of file creates new lines, deletes old ones, modifies characters, moves lines, or copies (reuse) existing lines. Combination of three elements of line code permits all transactions to be detected.
A proposed total strainrange version of strainrange partitioning (SRP) to enhance the manner in which SRP is applied to life prediction is considered with emphasis on how advanced reliability technology can be applied to perform risk analysis and to derive safety check expressions. Uncertainties existing in the design factors associated with life prediction of a component which experiences the combined effects of creep and fatigue can be identified. Examples illustrate how reliability analyses of such a component can be performed when all design factors in the SRP model are random variables reflecting these uncertainties. The Rackwitz-Fiessler and Wu algorithms are used and estimates of the safety index and the probablity of failure are demonstrated for a SRP problem. Methods of analysis of creep-fatigue data with emphasis on procedures for producing synoptic statistics are presented. An attempt to demonstrate the importance of the contribution of the uncertainties associated with small sample sizes (fatique data) to risk estimates is discussed. The procedure for deriving a safety check expression for possible use in a design criteria document is presented.
The effectiveness of an alerting system with a single alert was analyzed. The pilot's decision behavior is modeled by the theory of signal detection and therefore accounts for different strengths of cross check information and different pilot criteria. The model includes the effects of the alerting and warning system (CAWS) error rate; the pilot's past experience with the CAWS accuracy; his reliance on the CAWS rather than independent monitoring; missed alerts; and adoption of a minimum error or Neyman-Pearson objective rather than minimum cost objective. It is showwn that for rare events: (1) the expected cost is greatly increased if the pilot ignores the a posteriori information in the existence of an alert; (2) the expected cost is insensitive to CAWS Type 1 errors; and (3) the expected cost is sensitive to CAWS type 2 errors only when the cross check information is ambiguous.
Stress analysis of an AH-64 27% scale model rotor hub was performed. Component loads and stresses were calculated based upon blade root loads and motions. The static and fatigue analysis indicates positive margins of safety in all components checked. Using the format developed here, the hub can be stress checked for future application.
The efficient implementation of algorithms on multiprocessor machines requires that the effects of communication delays be minimized. The effects of these delays on the performance of a model problem on a hypercube multiprocessor architecture is investigated and methods are developed for increasing algorithm efficiency. The model problem under investigation is the solution by red-black Successive Over Relaxation YOUN71 of the heat equation; most of the techniques described here also apply equally well to the solution of elliptic partial differential equations by red-black or multicolor SOR methods. Methods for reducing communication traffic and overhead on a multiprocessor are identified and results of testing these methods on the Intel iPSC Hypercube reported. Methods for partitioning a problem's domain across processors, for reducing communication traffic during a global convergence check, for reducing the number of global convergence checks employed during an iteration, and for concurrently iterating on multiple time-steps in a time-dependent problem. Empirical results show that use of these models can markedly reduce a numewrical problem's execution time.
This paper describes the design of a watchdog coprocessor for detecting hardware and software errors. The watchdog executes assertions about the process running on the main computer. Both general purpose an special purpose (used to check systems such as digital signal processors, telephone switching systems, or digital flight controllers) watchdog designs are described. The improvement of error coverage by adding control flow checking facilities is discussed. The implementation of the watchdog as a software process is presented.
Test chamber improvised from large bag. Cumulative sizes of leaks in large, complicated machinery measure with relatively simple variation of helium leak-checking technique. When used to check Space Shuttle main engine, new technique gave repeatable and correct results within 0.5 stdin.3/min (1.4 x 10 negative to the seventh power stdm3/s).
Displays for flight-training simulators rapidly aligned with aid of integrated optical instrument. Calibrations and tests such as aligning boresight of display with respect to user's eyes, checking and adjusting display horizon, checking image sharpness, measuring illuminance of displayed scenes, and measuring distance of optical focus of scene performed with single unit. New instrument combines all measurement devices in single, compact, integrated unit. Requires just one initial setup. Employs laser and produces narrow, collimated beam for greater measurement accuracy. Uses only one moving part, double right prism, to position laser beam.
Refrigerator with no wear-related moving parts produces 0.5 W of cooling at 118 K. When fully developed, refrigerator needs no electrical power, and life expectancy of more than 10 yr, operates unattended to cool sensitive infrared detectors for long periods. Only moving parts in adsorption cryocooler are check valves. As charcoal is cooled in canister, gas pressure drops, allowing inlet check valve to open and admit more nitrogen. When canister is heated, pressure rises, closing inlet valve and eventually opening outlet valve.
Four concepts for on-orbit spacesuit donning, doffing, servicing, check-out, egress and ingress are presented. These are: the Space Transportation System (STS) Type (shuttle system enlarged), the Transit Airlock (Shuttle Airlock with suit servicing removed from the pump-down chamber), the Suitport (a rear-entry suit mates to a port in the airlock wall), and the Crewlock (a small, individual, conformal airlock). Each of these four concepts is compared through a series of seven steps representing a typical Extra Vehicular Activity (EVA) mission: (1) Predonning suit preparation; (2) Portable Life Support System (PLSS) preparation; (3) Suit Donning and Final Check; (4) Egress/Ingress; (5) Mid-EVA rest period; (6) Post-EVA Securing; (7) Non-Routine Maintenance. The different characteristics of each concept are articulated through this step-by-step approach. Recommendations concerning an approach for further evaluations of airlock geometry, anthropometrics, ergonomics, and functional efficiency are made. The key recommendation is that before any particular airlock can be designed, the full range of spacesuit servicing functions must be considered, including timelines that are most supportive of EVA human productivity.
A simple check of the proposal by Turner et al. (1986) that the pair of quasars 1146+111B,C are, in fact, two images of the same object lensed by an intervening object is suggested. If the lens is a cluster, either of normal galaxies or of dark matter, the microwave background seen through the cluster will be distorted by the Zeldovich-Sunyaev effect at the 0.001 level. The effects on the proposed check of the cluster not having the shape of an isothermal sphere, of containing no gas or only cold gas, and of having a low ratio of baryonic mass to total mass are considered.
The Diagnostic System Development Shell (DSDS), an expert system development shell for diagnostic systems, is described. The major objective of building the DSDS is to create a very easy to use and friendly environment for knowledge engineers and end-users. The DSDS is written in OPS5 and CommonLisp. It runs on a VAX/VMS system. A set of domain independent, generalized rules is built in the DSDS, so the users need not be concerned about building the rules. The facts are explicitly represented in a unified format. A powerful check facility which helps the user to check the errors in the created knowledge bases is provided. A judgement facility and other useful facilities are also available. A diagnostic system based on the DSDS system is question driven and can call or be called by other knowledge based systems written in OPS5 and CommonLisp. A prototype diagnostic system for diagnosing a Philips constant potential X-ray system has been built using the DSDS.
The Sizing and Optimization Language, (SOL), a new high level, special purpose computer language was developed to expedite application of numerical optimization to design problems and to make the process less error prone. SOL utilizes the ADS optimization software and provides a clear, concise syntax for describing an optimization problem, the OPTIMIZE description, which closely parallels the mathematical description of the problem. SOL offers language statements which can be used to model a design mathematically, with subroutines or code logic, and with existing FORTRAN routines. In addition, SOL provides error checking and clear output of the optimization results. Because of these language features, SOL is best suited to model and optimize a design concept when the model consits of mathematical expressions written in SOL. For such cases, SOL's unique syntax and error checking can be fully utilized. SOL is presently available for DEC VAX/VMS systems. A SOL package is available which includes the SOL compiler, runtime library routines, and a SOL reference manual.
A novel algorithm for computing the multivariable stability margin for checking the robust stability of feedback systems with real parametric uncertainty is proposed. This method eliminates the need for the frequency search involved in another given algorithm by reducing it to checking a finite number of conditions. These conditions have a special structure, which allows a significant improvement on the speed of computations.
One of the responsibilities of the Space Station Platform Management System (PMS) is to maintain constraint-free, short-term plans for platform and free-flyer activities. Both the replanning function and the associated constraint-checking function are viewed as potentially requiring expert system assistance. The PMS Resource Envelope Scheduling System (PRESS) expert system, which is currently under development, is described. The PRESS capabilities will include the following: plan, replan, and perform constraint checking using resource envelopes resembling those required for telescience; initialize itself using the results fo a previous run; infer the replanning needs associated with a change in resource availability; allow the user to determine the level of interaction (including an advisory capability) with the system during execution; and generate both a graphic timeline and a report as output. The PRESS is being developed on an IBM PC/AT using TeKnowledge, Inc.'s M.1 expert system shell. The PRESS activity definitions and constraints are based on those defined for the Cosmic Background Explorer (COBE) mission scheduled for launch in early 1989.
An evaluation procedure for the characterization of industrial platinum resistance thermometers (PRTs) for use in the temperature range -120 to 160 C was investigated. This evaluation procedure consisted of calibration, thermal stability and hysteresis testing of four surface measuring PRTs. Five different calibration schemes were investigated for these sensors. The IPTS-68 formulation produced the most accurate result, yielding average sensor systematic error of 0.02 C and random error of 0.1 C. The sensors were checked for thermal stability by successive and thermal cycling between room temperature, 160 C, and boiling point of nitrogen. All the PRTs suffered from instability and hysteresis. The applicability of the self-heating technique as an in situ method for checking the calibration of PRTs located inside wind tunnels was investigated.
Recently, a knowledge-based approach was used to develop a system called the Command Constraint Checker (CCC) for TRW. CCC was created to automate the process of verifying spacecraft command sequences. To check command files by hand for timing and sequencing errors is a time-consuming and error-prone task. Conventional software solutions were rejected when it was estimated that it would require 36 man-months to build an automated tool to check constraints by conventional methods. Using rule-based representation to model the various timing and sequencing constraints of the spacecraft, CCC was developed and tested in only three months. By applying artificial intelligence techniques, CCC designers were able to demonstrate the viability of AI as a tool to transform difficult problems into easily managed tasks. The design considerations used in developing CCC are discussed and the potential impact of this system on future satellite programs is examined.