Search NASA⌕ Search

SEARCH · Search NASA

Results for “Checking”

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 523 records · Page 29

Reduction of the effects of the communication delays in scientific algorithms on message passing MIMD architectures

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.

Saltz, J. H.↗

Concurrent system-level error detection using a watchdog processor

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.

Mahmood, A.↗

Measuring Leakage From Large, Complicated Machinery

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).

Bottemiller, S.↗

Testing Instrument for Flight-Simulator Displays

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.

Haines, Richard F.↗

Charcoal/Nitrogen Adsorption Cryocooler

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.

Bard, Steven↗

Human factors in space station architecture 2. EVA access facility: A comparative analysis of 4 concepts for on-orbit space suit servicing

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.

Cohen, Marc M.↗

Effect of gravitational lenses on the microwave background, and 1146+111B,C

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.

Ostriker, J. P.↗

An easy-to-use diagnostic system development shell

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.

Tsai, L. C.↗

The Sizing and Optimization Language, (SOL): Computer language for design problems

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.

Lucas, Stephen H.↗

Fast computation of the multivariable stability margin for real interrelated uncertain parameters

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.

Sideris, Athanasios↗

Space station Platform Management System (PMS) replanning using resource envelopes

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.

Bush, Joy Lee↗

Evaluation of platinum resistance thermometers

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.

Daryabeigi, Kamran↗

Spacecraft command verification: The AI solution

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.

Fesq, Lorraine M.↗

Data quality analysis at the National Transonic Facility

The data quality analysis program that was developed at Langley Research Center's National Transonic Facility is described. The program provides a computer driven systematic analysis of data taken during calibrations of the high speed digital data acquisition system. Five distinct checks that are performed on the calibration data are outlined. The five checks are for non-linearity, noise, short term drift, long term drift, and the proper functioning of the calibrator. The program has established a standard set of evaluation guidelines.

Stewart, Pamela N.↗

Electrochemical control of iodine disinfectant for space transportation system and space station potable water

An electrochemical microbial check valve method (EC-MCV) for controlling the iodine disinfectant in potable water (PW) for NASA's space operations was proposed. The factors affecting the design and performance of the unit were analyzed. This showed that it would be feasible to construct a recyclable unit in a small volume that will operate in either an iodine removal or addition mode. The EC-MCV should remove active iodine species rapidly from PW, but the rapid delivery rates at end-use may make complete removal of excess I(-) difficult under some conditions. Its performace change with AgI buildup needs to be investigated, as this controls the time for recycling the unit. The EC-MCV has advantages over the passive microbial check valve (MCV) method currently in use, as it would allow precise control of the I2 level and would not introduce excess I(-) to the water. The presence of oxygen in the EC-MCV needs to be investigated as it could affect the efficiency of I2 addition and excess I(-) removal.

Geer, Richard D.↗

Manufacture and evaluation of Li/BCX DD cells

This project is divided into four main tasks: cell manufacture, acceptance, and lot certification of cells, performance testing of cells, and abuse testing of cells. Lithium/bromine chloride in thionyl chloride (Li/BCX) 149 DD cells (PN 3B2085-XA) were built according to the provisions of Electrochem Industries Quality Plan 17096. Acceptance and lot certification testing was performed according to NASA JSC Document EP5-83-025, Revision B. Acceptance testing included open circuit and load voltage check, visual examination, size and weight measurements, and high temperature exposure. Lot certification tests were performed for capacity performance and for performance under conditions of thermal and electrical abuse. These tests included 149 C exposure, capacity discharge, fuse check, high temperature exposure, high rate discharge, short circuit, vibration, and overdischarge testing. A quantity of 200 cells was delivered to Johnson Space Center for life test evaluation. A parametric evaluation of the capacity discharge of Li/BCX DD cells was performed over a variety of temperatures and discharge rates. This testing served to map the performance capability of the cell. Tests were also performed over a variety of electrical and thermal abuse conditions. Abuse tests included short circuit, charging, overdischarge, high temperature exposure, shock, and vibration.

Meyer, S.↗

Capturing, using, and managing quality assurance knowledge for shuttle post-MECO flight design

Ascent initialization values used by the Shuttle's onboard computer for nominal and abort mission scenarios are verified by a six degrees of freedom computer simulation. The procedure that the Ascent Post Main Engine Cutoff (Post-MECO) group uses to perform quality assurance (QA) of the simulation is time consuming. Also, the QA data, checklists and associated rationale, though known by the group members, is not sufficiently documented, hindering transfer of knowledge and problem resolution. A new QA procedure which retains the current high level of integrity while reducing the time required to perform QA is needed to support the increasing Shuttle flight rate. Documenting the knowledge is also needed to increase its availability for training and problem resolution. To meet these needs, a knowledge capture process, embedded into the group activities, was initiated to verify the existing QA checks, define new ones, and document all rationale. The resulting checks were automated in a conventional software program to achieve the desired standardization, integrity, and time reduction. A prototype electronic knowledge base was developed with Macintosh's HyperCard to serve as a knowledge capture tool and data storage.

Peters, H. L.↗

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

Shankar, Natarajan↗