Search NASA⌕ Search

SEARCH · Search NASA

Results for “microprocessor design”

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 109 records · Page 6

Microprocessor-controlled laser tracker for atmospheric sensing

An optical tracking system comprising a visible HeNe laser, an imaging detector, and a microprocessor-controlled mirror, has been designed to track a moving retroreflector located up to 500 m away from an atmospheric instrument and simultaneously direct spectrally tunable infrared laser radiation to the retroreflector for double-ended, long-path absorption measurements of atmospheric species. The tracker has been tested during the recent flight of a balloon-borne tunable diode laser absorption spectrometer which monitors the concentrations of stratospheric species within a volume defined by a 0.14-m-diameter retroreflector lowered 500 m below the instrument gondola.

Johnson, R. A.↗

Formal verification of an avionics microprocessor

Formal specification combined with mechanical verification is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practice? This report discusses a project undertaken to answer some of these questions, the formal verification of the AAMPS microprocessor. This project consisted of formally specifying in the PVS language a rockwell proprietary microprocessor at both the instruction-set and register-transfer levels and using the PVS theorem prover to show that the microcode correctly implemented the instruction-level specification for a representative subset of instructions. Notable aspects of this project include the use of a formal specification language by practicing hardware and software engineers, the integration of traditional inspections with formal specifications, and the use of a mechanical theorem prover to verify a portion of a commercial, pipelined microprocessor that was not explicitly designed for formal verification.

Srivas, Mandayam, K.↗

Automated pH Control of Nutrient Solution in a Hydroponic Plant Growth System

Over, the years, NASA has played an important role in providing to and the development of automated nutrient delivery and monitoring, systems for growing crops hydroponically for long term space missions. One example are the systems used in the Biomass Production Chamber (BPC) at Kennedy Space Center (KSC). The current KSC monitoring system is based on an engineering workstation using standard analog/digital input/output hardware and custom written software. The monitoring system uses completely separate sensors to provide a check of control sensor accuracy and has the ability to graphically display and store data form past experiment so that they are available for data analysis [Fortson, 1992]. In many cases, growing systems have not been fitted with the kind of automated control systems as used at KSC. The Center for Food and Environmental Systems for Human Exploration of Space (CFESH) located on the campus of Tuskegee University, has effectively grown sweetpotatoes and peanuts hydroponically for the past five years. However they have adjusted the pH electrical conductivity and volume of the hydroponic nutrient solution only manually at times when the solution was to be replenished or changed out according to its protocol (e.g. one-week, two-week, or two-day cycle). But the pH of the nutrient solution flowing through the channel is neither known nor controlled between the update, change out, or replenishment period. Thus, the pH of the nutrient solution is not held at an optimum level over the span of the plant's growth cycle. To solve this dilemma, an automated system for the control and data logging of pH data relative to sweetpotato production using the nutrient film technique (NFT) has been developed, This paper discusses a microprocessor-based system, which was designed to monitor, control, and record the pH of a nutrient solution used for growing sweetpotatoes using NFT.

Smith, B.↗

A Low-Power High-Speed Smart Sensor Design for Space Exploration Missions

In this paper, an ultra-fast low-power smart vision system-on-a-chip design is proposed to provide effective solutions for real time machine vision applications by taking advantages of advances in integrated sensing/processing designs, electronic neural networks, advanced microprocessors, and sub-micron VLSI systemns-on-a-chip (SOAC) technology.

space↗

Innovative architectures for dense multi-microprocessor computers

The purpose is to summarize a Phase 1 SBIR project performed for the NASA/Langley Computational Structural Mechanics Group. The project was performed from February to August 1987. The main objectives of the project were to: (1) expand upon previous research into the application of chordal ring architectures to the general problem of designing multi-microcomputer architectures, (2) attempt to identify a family of chordal rings such that each chordal ring can be simply expanded to produce the next member of the family, (3) perform a preliminary, high-level design of an expandable multi-microprocessor computer based upon chordal rings, (4) analyze the potential use of chordal ring based multi-microprocessors for sparse matrix problems and other applications arising in computational structural mechanics.

Larson, Robert E.↗

An assembler for the MOS Technology 6502 microprocessor as implemented in jolt (TM) and KIM-1 (TM)

Design of low-cost, microcomputer-based navigation receivers, and the assembler are described. The development of computer software for microprocessors is materially aided by the assembler program using mnemonic variable names. The flexibility of the environment provided by the IBM's Virtual Machine Facility and the Conversational Monitor System, make possible the convenient assembler access. The implementation of the assembler for the microprocessor chip serves a part of the present need and forms a model for support of other microprocessors.

Lilley, R. W.↗

A Report of Bethune-Cookman College NASA JOVE Projects

This document is the final report for the Joint Venture (JOVE) in Space Sciences, and describes the tasks, performed with the support of the contract. These tasks include work in: (1) interfacing microprocessor systems to high performance parallel interface chips, SCSI drive and memory, needed for the implementation of a Space Optical Data Recorder; (2) designing a digital interface architecture for a microprocessor controlled sensors monitoring unit for a NASA Jitter Attenuation and Dynamics Experiment (JADE) project; (3) developing an enhanced back-propagation training algorithm; (4) studying the effect of simulated spaceflight on Aortic Contractility; (5) developing a course in astronomy; and (6) improving internet access by running cables, and installing hubs in various places on the campus; and (7) researching the characteristics of Nd:YALO laser resonator.

Agba, Lawrence C.↗

A microprocessor based communications multiplexer/concentrator

In the past communications concentrators have been designed using mini-computers. In this work a design for a high speed concentrator (in the megabits range) is developed using the 3000 series bit slice microprocessor. The proposed concentrator realizes the functions of multiplexing of the data arriving on the low speed lines, demultiplexing of the data arriving on the high speed line, including canned responses and code conversion. The basic system hardware configuration and the principles of operation of the multiplexing and the demultiplexing subsystems are presented. The software for these two functions are also presented. Using queueing theory, an estimate of the required buffer size is provided. Possible areas of further improvement are also indicated.

Brown, D. W.↗

Microprocessor controlled force actuator

The mechanical and electrical design of a prototype force actuator for vibration control of large space structures (LSS) is described. The force actuator is an electromagnetic system that produces a force by reacting against a proof-mass. The actuator has two colocated sensors, a digital microcontroller, and a power amplifier. The total weight of actuator is .998 kg. The actuator has a steady state force output of approximately 2.75 N from approximately 2 Hz to well beyond 1000 Hz.

Zimmerman, D. C.↗

Microprocessor realizations of range rate filters

The performance of five digital range rate filters is evaluated. A range rate filter receives an input of range data from a radar unit and produces an output of smoothed range data and its estimated derivative range rate. The filters are compared through simulation on an IBM 370. Two of the filter designs are implemented on a 6800 microprocessor-based system. Comparisons are made on the bases of noise variance reduction ratios and convergence times of the filters in response to simulated range signals.

Source record↗

Automated fourth-harmonic analyzer

The final design of a field portable microprocessor-based, microwave measuring and analysis instrument to be used for S-band transmitter fourth-harmonic power analysis and its impact on X-band reception in a dual S-X-band system is described.

Foster, C. F.↗

A four digit memory-mapped display

A circuit for interfacing the JOLT (TM) microprocessor to four digital displays was designed and fabricated. Circuit operation and test program are described and presented in detail.

Smith, R. E.↗

The Jet Propulsion Laboratory/California Institute of Technology block 2 VLBI processor

A multistation, multichannel cross correlation processor using the 250 k bit to 4 M bit recording format is discussed. The design is modular, using bit sliced microprocessors to perform the routine calculations for phase and delay on a per station basis, as well as for fractional bit shift correction and Fourier transformation of the correlation coefficients on a per baseline basis.

Rogtad, D. H.↗

Control of the Soft X-ray Polychromator on the Solar Maximum Mission Satellite

The Soft X-ray Polychromator on the Solar Maximum Mission Satellite consists of two largely independent instruments: the Flat Crystal Spectrometer, a highly collimated scanning spectrometer mounted on a raster platform, and the Bent Crystal Spectrometer, a broadly collimated spectrometer providing high time-resolution (128 ms) spectra for the study of rapidly evolving phenomena. Each instrument is controlled by a microcomputer system built around an RCA 1802 microprocessor. This paper presents a discussion of the motivation for using a microprocessor in this application, and the design concepts that were implemented. The effectiveness of the approach as seen after several months of operation will also be discussed.

Springer, L. A.↗

The containment set approach to upsets in digital systems

An approach to the fault analysis of digital systems is proposed which combines faults, hardware, and software into one overall model. The model is useful for the consideration of intermittent/transient faults, and supports a new method, based on the concept of a containment set, for realizing transient fault tolerance without massive redundancy. The model also serves as the basis for a new approach to system fault tolerance evaluation and validation using a transition matrix defined in terms of the containment set. The application of upset theory to the design of transient fault-tolerant microprocessor controllers is discussed.

Glaser, R. E.↗

Pacific area data collection stations

The installation of environmental data collection systems at several remotely located sites in islands in the Pacific Ocean is summarized. The effort was designed to enhance the ability to collect hydrological information. The data collection station consists of a data acquisition system for handling data, a transmitter for uplinking information to the GOES-W geostationary satellite, and a variety of environmental sensors for data accumulation. Each system was assembled, tested, and deployed on designated islands. The concept of using microprocessors for handling data at remote sites and relaying it via a satellite link is a cost effective approach. Such systems require high reliability and proven performance in the field.

Rector, R. C.↗

Computers in the cockpit - But what about the pilots?

The advent of the microprocessor has made it possible to design and implement small special purpose digital computers for the flightdeck of an aircraft. However, by the end of the 1970s, many in aviation and government were concerned about certain safety implications of developments related to automation which had occurred. As a result of these concerns, NASA was directed to examine the human factors of automation. A field investigation concerning the arising questions was conducted, taking into account the introduction of the Dash 80 airliner in 1980. Attention is given to the design philosophy of the aircraft, the study methodology, and preliminary results of the study, which are based on analysis of the first wave of questionnaire data and interviews. Almost all pilots, and check captains as well, expressed the view that the first 50 to 100 hours in the -80 were difficult. The reasons for these difficulties were related to cockpit automation and, in addition, to the fact that the new aircraft was more powerful than the older models to which they were accustomed.

Wiener, E. L.↗