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

Shuttle avionics visual display

SAV-D system is composed of display description language (DDL) and its language processor. Language provides for the description of displays in terms of static and variable references for text, special symbols, lines, and circles. SAV-D permits use of high-order English-like language to describe complete displays with increased speed and ease of coding, debugging, and modification. It also allows one to specify static and variable attribute, such as location, flash, dash, character size, and intensity.

Yoshimura, A. A.↗
NASA NTRS1975

On-orbit flight control algorithm description

Algorithms are presented for rotational and translational control of the space shuttle orbiter in the orbital mission phases, which are external tank separation, orbit insertion, on-orbit and de-orbit. The program provides a versatile control system structure while maintaining uniform communications with other programs, sensors, and control effectors by using an executive routine/functional subroutine format. Software functional requirements are described using block diagrams where feasible, and input--output tables, and the software implementation of each function is presented in equations and structured flow charts. Included are a glossary of all symbols used to define the requirements, and an appendix of supportive material.

Source record↗
NASA NTRS1976

Free vibrations of laminated composite elliptic plates

The free vibrations are studied of laminated anisotropic elliptic plates with clamped edges. The analytical formulation is based on a Mindlin-Reissner type plate theory with the effects of transverse shear deformation, rotary inertia, and bending-extensional coupling included. The frequencies and mode shapes are obtained by using the Rayleigh-Ritz technique in conjunction with Hamilton's principle. A computerized symbolic integration approach is used to develop analytic expressions for the stiffness and mass coefficients and is shown to be particularly useful in evaluating the derivatives of the eigenvalues with respect to certain geometric and material parameters. Numerical results are presented for the case of angle-ply composite plates with skew-symmetric lamination.

Andersen, C. M.↗
NASA NTRS1976

Remote sensing application to regional activities

Two agencies within the State of Tennessee were identified whereby the transfer of aerospace technology, namely remote sensing, could be applied to their stated problem areas. Their stated problem areas are wetland and land classification and strip mining studies. In both studies, LANDSAT data was analyzed with the UTSI video-input analog/digital automatic analysis and classification facility. In the West Tennessee area three land-use classifications could be distinguished; cropland, wetland, and forest. In the East Tennessee study area, measurements were submitted to statistical tests which verified the significant differences due to natural terrain, stripped areas, various stages of reclamation, water, etc. Classifications for both studies were output in the form of maps of symbols and varying shades of gray.

Shahrokhi, F.↗
NASA NTRS1977

Hardware simulation of KU-band spacecraft receiver and bit synchronizer, phase 2, volume 1

The acquisition behavior of the PN subsystem of an automatically acquiring spacecraft receiver was studied. A symbol synchronizer subsystem was constructed and integrated into the composite simulation of the receiver. The overall performance of the receiver when subjected to anomalies such as signal fades was evaluated. Potential problems associated with PN/carrier sweep interactions were investigated.

Lindsey, W. C.↗
NASA NTRS1977

Preserving sparseness in multivariate polynominal factorization

Attempts were made to factor these ten polynomials on MACSYMA. However it did not get very far with any of the larger polynomials. At that time, MACSYMA used an algorithm created by Wang and Rothschild. This factoring algorithm was also implemented for the symbolic manipulation system, SCRATCHPAD of IBM. A closer look at this old factoring algorithm revealed three problem areas, each of which contribute to losing sparseness and intermediate expression growth. This study led to effective ways of avoiding these problems and actually to a new factoring algorithm. The three problems are known as the extraneous factor problem, the leading coefficient problem, and the bad zero problem. These problems are examined separately. Their causes and effects are set forth in detail; the ways to avoid or lessen these problems are described.

Wang, P. S.↗
NASA NTRS1977

Indicator tensor manipulation on MACSYMA

A new computational tool for physical calculations is described. It is the first computer system capable of performing indicial tensor calculus (as opposed to component tensor calculus). It is now operational on the symbolic manipulation system MACSYMA. The capabilities of the system are outlined.

Bogen, R. A.↗
NASA NTRS1977

The variety of variables in mathematical expressions

Various distinctions are discussed which can be made regarding evaluation of mathematical expressions: regular evaluation vs. infinite evaluation vs. finite evaluation, regular variables vs. mathematical variables vs. shadow variables vs. labels, simplification vs. evaluation vs. solution of equations. The unsatisfactory state of evaluation strategies in symbolic systems is due to insufficient use of such distinctions in the past.

Moses, J.↗
NASA NTRS1977

A new algorithm for the integration of exponential and logarithmic functions

An algorithm for symbolic integration of functions built up from the rational functions by repeatedly applying either the exponential or logarithm functions is discussed. This algorithm does not require polynomial factorization nor partial fraction decomposition and requires solutions of linear systems with only a small number of unknowns. It is proven that if this algorithm is applied to rational functions over the integers, a computing time bound for the algorithm can be obtained which is a polynomial in a bound on the integer length of the coefficients, and in the degrees of the numerator and denominator of the rational function involved.

Rothstein, M.↗
NASA NTRS1977

Ray trajectories in a torus: An application of MACSYMA to a complex numerical computation

The study of ray trajectories of plasma waves in a torodial geometry using MACSYMA is an example of how symbolic, numerical, and graphical facilities can be used in concert to accomplish a complex computational goal. Computational features of this study which are of particular significance include: the derivation of code (i.e. writing functions to generate program fragments), the use of array functions to simplify the specification of a numerical iteration scheme, and the graphical presentation of the results. Mathematically, this study originates in the solution of a linear inhomogeneous partial differential equation in 3 dimensions by the method of characteristics. While it is possible to describe this equation compactly by using vector notation, and by specifying the spatial variation of the coefficients in terms of intermediate parameters, the transformation of the equation into a form amenable to solution is very tedious. A MACSYMA program is presented for obtaining description of the rf field structure excited by a waveguide located at the edge of a toroidal plasma confinement device.

Kulp, J. L.↗
NASA NTRS1977

Proving the correctness of the flight director program EADIFD, volume 1

EADIFD is written in symbolic assembly language for execution on the C4000 airborne computer. It is a subprogram of an aircraft navigation and guidance program and is used to generate pitch and roll command signals for use in terminal airspace. The proof of EADIFD was carried out by an inductive assertion method consisting of two parts, a verification condition generator and a source language independent proof checker. With the specifications provided by NASA, EADIFD was proved correct. The termination of the program is guaranteed and the program contains no instructions that can modify it under any conditions.

Lee, F. J.↗
NASA NTRS1976

Landsat Signature Development Program

The Landsat Signature Development Program, LSDP, is designed to produce an unsupervised classification of a scene from a Landsat tape. This classification is based on the clustering tendencies of the multispectral scanner data processed from the scene. The program will generate a character map that, by identifying each of the general classes of surface features extracted from the scene data with a specific line printer symbol, indicates the approximate locations and distributions of these general classes within the scene. Also provided with the character map are a number of tables each of which describes either some aspect of the spectral properties of the resultant classes, some inter-class relationship, the incidence of picture elements assigned to the various classes in the character map classification of the scene, or some significant intermediate stage in the development of the final classes.

Hall, R. N.↗
NASA NTRS1976

An algorithm for automatic reduction of complex signal flow graphs

A computer algorithm is developed that provides efficient means to compute transmittances directly from a signal flow graph or a block diagram. Signal flow graphs are cast as directed graphs described by adjacency matrices. Nonsearch computation, designed for compilers without symbolic capability, is used to identify all arcs that are members of simple cycles for use with Mason's gain formula. The routine does not require the visual acumen of an interpreter to reduce the topology of the graph, and it is particularly useful for analyzing control systems described for computer analyses by means of interactive graphics.

Young, K. R.↗
NASA NTRS1977

Optimum performance of suppressed carrier receivers with Costas loop tracking

The performance of suppressed carrier receivers with Costas loop tracking is optimized by proper choice of loop arm filter bandwidth. In particular, it is shown that for a variety of passive arm filter types, there exists, for a given data rate and data signal-to-noise ratio, an optimum filter bandwidth in the sense of minimizing the loop's squaring loss. For the linear theory case, this is equivalent to minimizing the loop's tracking jitter. When symbol synchronization is known, it is shown that by replacing the passive arm filters with active filters, i.e., integrate-and-dump circuits, one can achieve an improvement in carrier-to-noise ratio of as much as 4 to 6 dB depending on the passive arm filter type used for comparison and the value of data signal-to-noise ratio.

Simon, M. K.↗
NASA NTRS1976

The formulation of simulation models of aeronautical systems

Recent developments in formula-manipulation compilers have led to a significant reduction in the time spent in formulating models of complex multi-degrees-of-freedom dynamical systems. MACSYMA, a computer system that can be used to perform symbolic manipulations in an interactive mode, is applied to the problem of formulating models of aeronautical systems for simulation studies. An example demonstrates that once the procedure is established, the formulation and modification of the models can be reduced to a series of routine computer operations.

Howard, J. C.↗
NASA NTRS1977

A unified analysis of pseudonoise synchronization by envelope correlation

A relationship between coarse acquisition (coarse alignment of two pseudonoise codes to within approximately one code symbol) and fine acquisition (tracking) in a pseudonoise modulated spread spectrum communication system is studied. A convenient technique for determining mean acquisition time and hold-in time (mean time to lose lock) after acquisition, using a delay lock loop, is elaborated. An analysis procedure for handling the transition from search to lock is developed and applied to a problem containing representative Space Shuttle data (signal parameters and synchronizer parameters).

Hopkins, P. M.↗
NASA NTRS1977

Optimum design and performance of Costas receivers containing soft bandpass limiters

This paper investigates several key questions concerning the mechanization and design of a Costas receiver for reconstruction of a carrier from a suppressed carrier signal. For baseband NRZ encoded data symbols and a soft bandpass limiter preceding the loop, several design issues which are considered herein and which affect acquisition and tracking performance are: (1) The choice of an IF bandwidth. (2) The optimum choice of the Costas arm filter bandwidths as well as the spectral roll-off characteristics. (3) The optimum choice of loop bandwidth to data rate ratio for a given signal-to-noise ratio. (4) The signal suppression factor and the combined limiter-squaring loss. (5) The variations in loop bandwidth and damping with signal level. (6) The choice of the limiter transfer characteristic. (7) Performance degradation due to the presence of a limiter. Various new results in system design are presented and typical numerical results are given and graphically demonstrated in SNR regions of practical interest. The theory is applicable to the design of carrier reconstruction loops required in the implementation of spread spectrum communication receivers.

Lindsey, W. C.↗
NASA NTRS1977

Mixed isoparametric finite element models of laminated composite shells

Mixed shear-flexible isoparametric elements are presented for the stress and free vibration analysis of laminated composite shallow shells. Both triangular and quadrilateral elements are considered. The 'generalized' element stiffness, consistent mass, and consistent load coefficients are obtained by using a modified form of the Hellinger-Reissner mixed variational principle. Group-theoretic techniques are used in conjunction with computerized symbolic integration to obtain analytic expressions for the stiffness, mass and load coefficients. A procedure is outlined for efficiently handling the resulting system of algebraic equations. The accuracy of the mixed isoparametric elements developed is demonstrated by means of numerical examples, and their advantages over commonly used displacement elements are discussed.

Noor, A. K.↗