Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “symbolic”

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 1,045 records · Page 58
All sourcesNASA NTRSDOE OSTI
NASA NTRS1987

Down-to-earth supercomputing at NASA Ames

The requirements for computers for aerospace vehicle design problems, in particular fluid dynamics, are examined. The levels of approximation to Navier-Stokes equations are: (1) linearized inviscid form, (2) nonlinear inviscid equation, (3) Reynolds-averaged Navier-Stokes equation, (4) large eddy simulation with models for subgrid scale turbulence, and (5) full Navier-Stokes equations to calculate laminar/turbulent transition and turbulence dissipation. The Cray 2 with 256 megaword memory and 4.1 nsec clock and the Cray X-MP/48 with a 128 megaword memory and a 9.5 nsec clock of the Ames facility are described, and an example revealing their applicability is presented. The use of zonal methods to simulate aerodynamic flow fields numerically is discussed. Consideration is given to the development of a program for simulation of aerodynamic flow fields, the compilers, symbolic debuggers, the scheduling of multiple CPUs, and the analysis and storage of the data.

Stevens, Kenneth G., Jr.↗
NASA NTRS1986

Multiple trellis coded modulation (MTCM)

A new trellis coded modulation technique, referred to as multiple trellis coded modulation wherein more than one channel symbol per trellis branch is transmitted and demonstrated. Simple two state trellis codes for symmetric MPSK and AM modulations, which can achieve 3 dB gain over uncoded modulation at very high signal-to-noise ratios without bandwidth expansion and without reduction in information bit rate have been found. The gain of the new trellis codes with respect to previously reported two state trellis codes is between 1 to 2 dB at very high signal-to-noise ratios, depending on the number of bits per hertz transmitted. These gains are achieved with no additional cost in complexity; while indeed additional computations per branch are needed for the multiple trellis coding scheme. This concept can be extended to higher number of states and other type of modulations; i.e., quadrature amplitude modulation.

Divsalar, D.↗
NASA NTRS1986

Word and frame synchronization with verification for PPM optical communications

A method for obtaining word and frame synchronization in pulse position modulated optical communication systems is described. The method uses a short sync sequence inserted at the beginning of each data frame and a verification procedure to distinguish between inserted and randomly occurring sequences at the receiver. This results in an easy to implement sync system which provides reliable synchronization even at high symbol error rates. Results are given for the application of this approach to a highly energy efficient 256-ary PPM test system.

Marshall, William K.↗
NASA NTRS1986

VLSI Reed Solomon decoder design

A Reed Solomon code is a highly efficient error correcting code that NASA will use in future space communication missions. A VLSI implementation of the decoder is presented that accepts data rates of 80 Mbits/second. A total of seven chips are needed and operate with the symbol clock being the system clock for the chip set. Approximately 1.65 billion Galois Field operations per second are achieved with this chip set.

Maki, Gary K.↗
NASA NTRS1987

An efficient quadrilateral element for plate bending analysis

A simple, shear flexible, quadrilateral plate element is developed based on the Hellinger/Reissner mixed variational principle with independently assumed displacement and stress fields. The crucial point of the selection of appropriate stress parameters is emphasized in the formulation. For this purpose, a set of guidelines is formulated based on the follwoing considerations: (1) suppression of all kinematic deformation modes, (2) the element has a favorable value for the constraint index in the thin plate limit, and (3) element properties are frame-invariant. For computer implementation the components of the element stiffness matrix are evaluated analytically using the symbolic manipulation package MACSYMA. The effectiveness and practical usefulness of the proposed element are demonstrated by the numerical results of a variety of problems involving thin and moderately thick plates under different loading and support conditions.

Saleeb, A. F.↗
NASA NTRS1985

An experimental and analytical investigation of isolated rotor flap-lag stability in forward flight

For flap-lag stability of isolated rotors, experimental and analytical investigations are conducted in hover and forward flight on the adequacy of a linear quasi-steady aerodynamics theory with dynamic inflow. Forward flight effects on lag regressing mode are emphasized. Accordingly, a soft inplane hingeless rotor with three blades is tested at advance ratios as high as 0.55 and at shaft angles as high as 20 deg. The 1.62-m model rotor is untrimmed with an essentially unrestricted tilt of the tip path plane. By computerized symbolic manipulation, an analytical model is developed in substall to predict stability margins with mode indentification. It also predicts substall and stall regions to help explain the correlation between theory and data. The correlation shows both the strengths and weaknesses of the data and theory, and promotes further insights into areas in which further study is needed in substall and stall.

Gaonkar, Gopal H.↗
NASA NTRS1987

Evaluation of a takeoff performance monitoring system

A takeoff performance monitoring system (TOPMS) has been developed to provide the pilot with graphic/numeric information pertinent to his decision to continue or abort a takeoff. The TOPMS instrument display consists primarily of a runway graphic overlaid with symbolic status, predictive, and advisory information including: (1) current position and airspeed, (2) predicted locations for reaching decision speed and rotation speed, (3) groundroll limit for reaching the rotation speed, (4) predicted stop point for an aborted takeoff from current conditions, (5) engine-failure flags, and (6) an overall situation advisory flag which recommends continuation or rejection of the takeoff. In this study, over 30 experienced multiengine pilots evaluated the TOPMS display on the Langley B-737 real-time research simulator. The display was judged to be easy to monitor and comprehend.

Middleton, David B.↗
NASA NTRS1988

Computer Scheduling Of Airplane Arrivals

Prototype computer-based system developed to assist air-traffic controllers in scheduling arrivals of many airplanes at airport and at designated points along approaches to airport. Designed to follow as many as 100 airplanes within radius of 150 nautical miles. Software written in Symbolics Zetalisp language.

Tobias, L.↗
NASA NTRS1988

Hybrid Applications Of Artificial Intelligence

STAR, Simple Tool for Automated Reasoning, is interactive, interpreted programming language for development and operation of artificial-intelligence application systems. Couples symbolic processing with compiled-language functions and data structures. Written in C language and currently available in UNIX version (NPO-16832), and VMS version (NPO-16965).

Borchardt, Gary C.↗
NASA NTRS1988

Integrated Displays For Helicopter Pilots

Report evaluates three similar video displays for guidance of helicopter pilots in low-level flight at night in adverse weather. Computer produces guidance information for pilot by integrating data from terrain-following radar, forward-looking infrared (FLIR) imagery, and data from such autonomous navigation instruments as inertial navigation systems and Doppler radar. FLIR imagery, information on status of helicopter, and command symbols incorporated in one head-down display.

Swenson, Harry N.↗
NASA NTRS1988

Research On The CH-47B Helicopter

Report describes equipment added to, and research capabilities of CH-47B helicopter. Programmable symbol generator provides display formats for variety of missions - those of vertical-takeoff-and-landing aircraft and helicopters. Powerful general-purpose flight computer in operation. Computer programmable in high-level languages and supports research more efficiently. Flight-control software developed to improve capability of helicopter to perform simulations in flight.

Hilbert, Kathryn B.↗
NASA NTRS1988

Computerized Analysis Of Helicopter-Rotor Aeroelasticity

Analysis of aeroelastic stability of helicopter rotor automated. Symbolic-manipulation program, HESL, written in FORTRAN, used to aid in derivation of government equations of motion for elastic-bladed rotor. Operates both on expressions and matrices. By transferring some burden of algebraic manipulations from human analyst to computer, program reduces tedium analysis and conequent opportunity for errors.

Reddy, T. S. R.↗
NASA NTRS1987

Space Station: Leadership for the Future

No longer limited to occasional spectaculars, space has become an essential, almost commonplace dimension of national life. Among other things, space is an arena of competition with our allies and adversaries, a place of business, a field of research, and an avenue of cooperation with our allies. The space station will play a critical role in each of these endeavors. Perhaps the most significant feature of the space station, essential to its utility for science, commerce, and technology, is the permanent nature of its crew. The space station will build upon the tradition of employing new capabilities to explore further and question deeper, and by providing a permanent presence, the station should significantly increase the opportunities for conducting research in space. Economic productivity is, in part, a function of technical innovation. A major thrust of the station design effort is devoted to enhancing performance through advanced technology. The space station represents the commitment of the United States to a future in space. Perhaps most importantly, as recovery from the loss of Challenger and its crew continues, the space station symbolizes the national determination to remain undeterred by tragedy and to continue exploring the frontiers of space.

Martin, Franklin D.↗
NASA NTRS1987

More on the decoder error probability for Reed-Solomon codes

The decoder error probability for Reed-Solomon codes (more generally, linear maximum distance separable codes) is examined. McEliece and Swanson offered an upper bound on P sub E (u), the decoder error probability given that u symbol errors occurs. This upper bound is slightly greater than Q, the probability that a completely random error pattern will cause decoder error. By using a combinatoric technique, the principle of inclusion and exclusion, an exact formula for P sub E (u) is derived. The P sub e (u) for the (255, 223) Reed-Solomon Code used by NASA, and for the (31,15) Reed-Solomon code (JTIDS code), are calculated using the exact formula, and the P sub E (u)'s are observed to approach the Q's of the codes rapidly as u gets larger. An upper bound for the expression is derived, and is shown to decrease nearly exponentially as u increases. This proves analytically that P sub E (u) indeed approaches Q as u becomes large, and some laws of large numbers come into play.

Cheung, K.-M.↗
NASA NTRS1987

Microprocessor control and networking for the amps breadboard

Future space missions will require more sophisticated power systems, implying higher costs and more extensive crew and ground support involvement. To decrease this human involvement, as well as to protect and most efficiently utilize this important resource, NASA has undertaken major efforts to promote progress in the design and development of autonomously managed power systems. Two areas being actively pursued are autonomous power system (APS) breadboards and knowledge-based expert system (KBES) applications. The former are viewed as a requirement for the timely development of the latter. Not only will they serve as final testbeds for the various KBES applications, but will play a major role in the knowledge engineering phase of their development. The current power system breadboard designs are of a distributed microprocessor nature. The distributed nature, plus the need to connect various external computer capabilities (i.e., conventional host computers and symbolic processors), places major emphasis on effective networking. The communications and networking technologies for the first power system breadboard/test facility are described.

Floyd, Stephen A.↗
NASA NTRS1987

Intelligent process development of foam molding for the Thermal Protection System (TPS) of the space shuttle external tank

A knowledge based system to assist process engineers in evaluating the processability and moldability of poly-isocyanurate (PIR) formulations for the thermal protection system of the Space Shuttle external tank (ET) is discussed. The Reaction Injection Molding- Process Development Advisor (RIM-PDA) is a coupled system which takes advantage of both symbolic and numeric processing techniques. This system will aid the process engineer in identifying a startup set of mold schedules and in refining the mold schedules to remedy specific process problems diagnosed by the system.

Bharwani, S. S.↗
NASA NTRS1987

Similarity networks as a knowledge representation for space applications

Similarity networks are a powerful form of knowledge representation that are useful for many artificial intelligence applications. Similarity networks are used in applications ranging from information analysis and case based reasoning to machine learning and linking symbolic to neural processing. Strengths of similarity networks include simple construction, intuitive object storage, and flexible retrieval techniques that facilitate inferencing. Therefore, similarity networks provide great potential for space applications.

Bailey, David↗
NASA NTRS1987

A formal approach to validation and verification for knowledge-based control systems

As control systems become more complex in response to desires for greater system flexibility, performance and reliability, the promise is held out that artificial intelligence might provide the means for building such systems. An obstacle to the use of symbolic processing constructs in this domain is the need for verification and validation (V and V) of the systems. Techniques currently in use do not seem appropriate for knowledge-based software. An outline of a formal approach to V and V for knowledge-based control systems is presented.

Castore, Glen↗