Search NASA⌕ Search

SEARCH · Search NASA

Results for “Computer Terminals”

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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1977

Computer assisted thermal-vacuum testing

In testing complex systems and components under dynamic thermal-vacuum environments, it is desirable to optimize the environment control sequence in order to reduce test duration and cost. This paper describes an approach where a computer is utilized as part of the test control operation. Real time test data is made available to the computer through time-sharing terminals at appropriate time intervals. A mathematical model of the test article and environmental control equipment is then operated on using the real time data to yield current thermal status, temperature analysis, trend prediction and recommended thermal control setting changes to arrive at the required thermal condition. The data acquisition interface and the time-sharing hook-up to an IBM-370 computer is described along with a typical control program and data demonstrating its use.

Petrie, W.↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗
NASA NTRS1981

KONFIG and REKONFIG: Two interactive preprocessing to the Navy/NASA Engine Program (NNEP)

The NNEP is a computer program that is currently being used to simulate the thermodynamic cycle performance of almost all types of turbine engines by many government, industry, and university personnel. The NNEP uses arrays of input data to set up the engine simulation and component matching method as well as to describe the characteristics of the components. A preprocessing program (KONFIG) is described in which the user at a terminal on a time shared computer can interactively prepare the arrays of data required. It is intended to make it easier for the occasional or new user to operate NNEP. Another preprocessing program (REKONFIG) in which the user can modify the component specifications of a previously configured NNEP dataset is also described. It is intended to aid in preparing data for parametric studies and/or studies of similar engines such a mixed flow turbofans, turboshafts, etc.

Fishbach, L. H.↗
NASA NTRS1986

Computer-generated imagery for 4-D meteorological data

The University of Wisconsin-Madison Space Science and Engineering Center is developing animated stereo display terminals for use with McIDAS (Man-computer Interactive Data Access System). This paper describes image-generation techniques which have been developed to take maximum advantage of these terminals, integrating large quantities of four-dimensional meteorological data from balloon and satellite soundings, satellite images, Doppler and volumetric radar, and conventional surface observations. The images have been designed to use perspective, shading, hidden-surface removal, and transparency to augment the animation and stereo-display geometry. They create an illusion of a moving three-dimensional model of the atmosphere. This paper describes the design of these images and a number of rules of thumb for generating four-dimensional meteorological displays.

Hibbard, William L.↗
NASA NTRS1995

Distances to the termination shock and heliopause from a simulation analysis of the 1992-93 heliospheric radio emission event

A new heliospheric radio emission event observed by Voyagers 1 and 2 in mid-1992 is believed to have been produced by the interaction of an interplanetary shock with the heliopause. The shock is thought to have oriented near the Sun during a period of intense solar activity in late-May and early-June, 1991. The observed travel time of the shock to the heliopause is 408 days; the initial speed is estimated to be between 600 and 800 km/s. We use a numerical gasdynamic simulation of an interplanetary shock, propagating through an equilibrium solution of the solar wind/interstellar medium interaction, to compute the distances to the termination shock and the heliopause that are consistent with these observations. For a shock speed of 600 km/s, the termination shock is located at 92 AU, and the heliopause is located at 128 AU. These distances increase to 112 AU and 156 AU when the shock speed is increased to 800 km/s.

Steinolfson, R. S.↗
NASA NTRS1977

A description of the software analysis from flight and simulation data of the course cut limiter in the TCV b-737 area navigation computer

During automatic horizontal path captures, the (Terminal Configured Vehicle) B-737 airplane maintained smaller than designed path intercept angles and experienced a sawtooth bank angle oscillation during its turn towards the path. From flight data, it was determined that these anomalies were caused by the improper output of the course cut limiter in the horizontal path control law. The output from the course cut limiter did not obtain its full value and it was calculated stepwise discontinuously. The automatic horizontal path captures were then conducted on the TCV B-737 airplane real-time simulation. The path intercept angles were maintained properly and no bank angle oscillation was encountered. Data showed that the course cut limiter was calculated at its full value in a continuous manner. The intermediate calculations of the course cut limiter in the airplane's navigation computer were rewritten and rescaled in such a manner that truncation errors could be minimized. The horizontal path capture tests were then reflown. The airplane maintained the proper path intercept angle and no bank angle oscillations occurred on any of the tests.

Knox, C. E.↗
NASA NTRS1980

Integrated computer-aided design using minicomputers

Computer-Aided Design/Computer-Aided Manufacturing (CAD/CAM), a highly interactive software, has been implemented on minicomputers at the NASA Langley Research Center. CAD/CAM software integrates many formerly fragmented programs and procedures into one cohesive system; it also includes finite element modeling and analysis, and has been interfaced via a computer network to a relational data base management system and offline plotting devices on mainframe computers. The CAD/CAM software system requires interactive graphics terminals operating at a minimum of 4800 bits/sec transfer rate to a computer. The system is portable and introduces 'interactive graphics', which permits the creation and modification of models interactively. The CAD/CAM system has already produced designs for a large area space platform, a national transonic facility fan blade, and a laminar flow control wind tunnel model. Besides the design/drafting element analysis capability, CAD/CAM provides options to produce an automatic program tooling code to drive a numerically controlled (N/C) machine. Reductions in time for design, engineering, drawing, finite element modeling, and N/C machining will benefit productivity through reduced costs, fewer errors, and a wider range of configuration.

Storaasli, O. O.↗
NASA NTRS1979

TMS communications hardware. Volume 1: Computer interfaces

A prototpye coaxial cable bus communications system was designed to be used in the Trend Monitoring System (TMS) to connect intelligent graphics terminals (based around a Data General NOVA/3 computer) to a MODCOMP IV host minicomputer. The direct memory access (DMA) interfaces which were utilized for each of these computers are identified. It is shown that for the MODCOMP, an off-the-shell board was suitable, while for the NOVAs, custon interface circuitry was designed and implemented.

Brown, J. S.↗
NASA NTRS1979

ATLAS, an integrated structural analysis and design system. Volume 3: User's manual, input and execution data

The input data and execution control statements for the ATLAS integrated structural analysis and design system are described. It is operational on the Control Data Corporation (CDC) 6600/CYBER computers in a batch mode or in a time-shared mode via interactive graphic or text terminals. ATLAS is a modular system of computer codes with common executive and data base management components. The system provides an extensive set of general-purpose technical programs with analytical capabilities including stiffness, stress, loads, mass, substructuring, strength design, unsteady aerodynamics, vibration, and flutter analyses. The sequence and mode of execution of selected program modules are controlled via a common user-oriented language.

Dreisbach, R. L.↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for​ First-Order Recursive Functions

This talk presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs.

Termination↗
NASA NTRS1997

Light microscopic image analysis system to quantify immunoreactive terminal area apposed to nerve cells

The present report describes a desktop computer-based method for the quantitative assessment of the area occupied by immunoreactive terminals in close apposition to nerve cells in relation to the perimeter of the cell soma. This method is based on Fast Fourier Transform (FFT) routines incorporated in NIH-Image public domain software. Pyramidal cells of layer V of the somatosensory cortex outlined by GABA immunolabeled terminals were chosen for our analysis. A Leitz Diaplan light microscope was employed for the visualization of the sections. A Sierra Scientific Model 4030 CCD camera was used to capture the images into a Macintosh Centris 650 computer. After preprocessing, filtering was performed on the power spectrum in the frequency domain produced by the FFT operation. An inverse FFT with filter procedure was employed to restore the images to the spatial domain. Pasting of the original image to the transformed one using a Boolean logic operation called 'AND'ing produced an image with the terminals enhanced. This procedure allowed the creation of a binary image using a well-defined threshold of 128. Thus, the terminal area appears in black against a white background. This methodology provides an objective means of measurement of area by counting the total number of pixels occupied by immunoreactive terminals in light microscopic sections in which the difficulties of labeling intensity, size, shape and numerical density of terminals are avoided.

Non-NASA Center↗
NASA NTRS1974

The Penn State ORSER system for processing and analyzing ERTS and other MSS data

The author has identified the following significant results. The office for Remote Sensing of Earth Resources (ORSER) of the Space Science and Engineering Laboratory at the Pennsylvania State University has developed an extensive operational system for processing and analyzing ERTS-1 and similar multispectral data. The ORSER system was developed for use by a wide variety of researchers working in remote sensing. Both photointerpretive techniques and automatic computer processing methods have been developed and used, separately and in a combined approach. A remote Job Entry system permits use of an IBM 370/168 computer from any compatible remote terminal, including equipment tied in by long distance telephone connections. An elementary cost analysis has been prepared for the processing of ERTS data.

Mcmurtry, G. J.↗
NASA NTRS1974

The Penn State ORSER system for processing and analyzing ERTS and other MSS data

The Office for Remote Sensing of Earth Resources (ORSER) of the Space Science and Engineering Laboratory (SSEL) at the Pennsylvania State University has developed an extensive operational system for processing and analyzing ERTS-1 and similar multispectral data. The ORSER system was developed for use by a wide variety of researchers working in remote sensing. Both photointerpretive techniques and automatic computer processing methods have been developed and used, separately and in a combined approach. A Remote Job Entry (RJE) system permits use of an IBM 370/168 computer from any compatible remote terminal, including equipment tied in by long-distance telephone connections. An elementary cost analysis has been prepared for the processing of ERTS data.

Mcmurtry, G. J.↗
NASA NTRS1975

Packaging printed circuit boards: A production application of interactive graphics

The structure and use of an Interactive Graphics Packaging Program (IGPP), conceived to apply computer graphics to the design of packaging electronic circuits onto printed circuit boards (PCB), were described. The intent was to combine the data storage and manipulative power of the computer with the imaginative, intuitive power of a human designer. The hardware includes a CDC 6400 computer and two CDC 777 terminals with CRT screens, light pens, and keyboards. The program is written in FORTRAN 4 extended with the exception of a few functions coded in COMPASS (assembly language). The IGPP performs four major functions for the designer: (1) data input and display, (2) component placement (automatic or manual), (3) conductor path routing (automatic or manual), and (4) data output. The most complex PCB packaged to date measured 16.5 cm by 19 cm and contained 380 components, two layers of ground planes and four layers of conductors mixed with ground planes.

Perrill, W. A.↗
NASA NTRS1982

Graphics-System Color-Code Interface

Circuit originally developed for a flight simulator interfaces a computer graphics system with color monitor. Subsystem is intended for particular display computer (AGT-130, ADAGE Graphics Terminal) and specific color monitor (beam penetration tube--Penetron). Store-and-transmit channel is one of five in graphics/color-monitor interface. Adding 5-bit color code to existing graphics programs requires minimal programing effort.

Tulppo, J. S.↗
NASA NTRS1992

An intracloud lightning parameterization scheme for a storm electrification model

The parameterization of an intracloud lightning discharge has been implemented in the present storm electrification model. The initiation, propagation direction, and termination of the discharge are computed using the magnitude and direction of the electric field vector as the determining criteria. The charge redistribution due to the lightning is approximated assuming the channel to be an isolated conductor with zero net charge over its entire length. Various simulations involving differing amounts of charge transferred and distribution of charges have been done. Values of charge transfer, dipole moment change, and electrical energy dissipation computed in the model are consistent with observations. The effects of the lightning-produced ions on the hydrometeor charges and electric field components depend strongly on the amount of charge transferred. A comparison between the measured electric field change of an actual intracloud flash and the field change due to the simulated discharge shows favorable agreement. Limitations of the parameterization scheme are discussed.

Helsdon, John H., Jr.↗
NASA NTRS1995

Far-Infrared Water Line Emissions from Circumstellar Outflows

We have modeled the far-infrared water line emission expected from circumstellar outflows from oxygen-rich late-type stars, as a function of the mass-loss rate and the terminal outflow velocity. For each mass-loss rate and terminal outflow velocity considered, we computed self-consistently the gas density, temperature, outflow velocity, and water abundance as a function of distance from the star. We then used an escape probability method to solve for the equilibrium level populations of 80 rotational states of water and thereby obtained predictions for the luminosity of a large number of far-infrared rotational transitions of water. In common with previous models, our model predicts that water will be copiously produced in the warm circumstellar gas and that water rotational emission will dominate the radiative cooling. However, our use of a realistic radiative cooling function for water leads to a lower gas temperature than that predicted in previous models. Our predictions for the far-infrared water line luminosities are consequently significantly smaller than those obtained in previous studies. Observations to be carried out by the Infrared Space Observatory will provide a crucial test of the models presented here.

Chen, Wesley↗
NASA NTRS1970

Polynomial filter estimation of range and range rate for terminal rendezvous

A study was made of a polynomial filter for computing range rate information from CSM VHF range data. The filter's performance during the terminal phase of the rendezvous is discussed. Two modifications of the filter were also made and tested. A manual terminal rendezvous was simulated and desired accuracies were achieved for vehicles on an intercept trajectory, except for short periods following each braking maneuver when the estimated range rate was initially in error by the magnitude of the burn.

Philips, R.↗