Search NASA⌕ Search

SEARCH · Search NASA

Results for “SYMBOL”

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 127 records · Page 7

A computer program for anisotropic shallow-shell finite elements using symbolic integration

A FORTRAN computer program for anisotropic shallow-shell finite elements with variable curvature is described. A listing of the program is presented together with printed output for a sample case. Computation times and central memory requirements are given for several different elements. The program is based on a stiffness (displacement) finite-element model in which the fundamental unknowns consist of both the displacement and the rotation components of the reference surface of the shell. Two triangular and four quadrilateral elements are implemented in the program. The triangular elements have 6 or 10 nodes, and the quadrilateral elements have 4 or 8 nodes. Two of the quadrilateral elements have internal degrees of freedom associated with displacement modes which vanish along the edges of the elements (bubble modes). The triangular elements and the remaining two quadrilateral elements do not have bubble modes. The output from the program consists of arrays corresponding to the stiffness, the geometric stiffness, the consistent mass, and the consistent load matrices for individual elements. The integrals required for the generation of these arrays are evaluated by using symbolic (or analytic) integration in conjunction with certain group-theoretic techniques. The analytic expressions for the integrals are exact and were developed using the symbolic and algebraic manipulation language.

Andersen, C. M.↗

MACSYMA's symbolic ordinary differential equation solver

The MACSYMA's symbolic ordinary differential equation solver ODE2 is described. The code for this routine is delineated, which is of interest because it is written in top-level MACSYMA language, and may serve as a good example of programming in that language. Other symbolic ordinary differential equation solvers are mentioned.

Golden, J. P.↗

Symbolic computer vector analysis

A MACSYMA program is described which performs symbolic vector algebra and vector calculus. The program can combine and simplify symbolic expressions including dot products and cross products, together with the gradient, divergence, curl, and Laplacian operators. The distribution of these operators over sums or products is under user control, as are various other expansions, including expansion into components in any specific orthogonal coordinate system. There is also a capability for deriving the scalar or vector potential of a vector field. Examples include derivation of the partial differential equations describing fluid flow and magnetohydrodynamics, for 12 different classic orthogonal curvilinear coordinate systems.

Stoutemyer, D. R.↗

A generalization of MSK-type signaling based upon input data symbol pulse shaping

Minimum-shift-keying (MSK), which is a special case of continuous phase frequency-shift-keying (CPFSK) with frequency deviation ratio equal to 0.5, is known to be spectrally equivalent to a form of offset quadrature phase-shift-keying (OQPSK) in which the symbol pulse shape is a half-cycle sinusoid rather than the usual rectangular form. Appropriate shaping of the input data symbols allows one to generate an entire class of constant envelope, MSK-type signals, whose spectral properties are in some applications more desirable than those of MSK or OQPSK. The present study derives and presents a set of conditions on the input pulse shaping which in turn describes the class of envelope shapes allowable. The autocorrelation function and power spectral density of this class of signals are then derived, and specific examples are given to illustrate the desirable spectral properties. Such properties are important considerations in system design where interchannel and intersymbol interference degradations must be kept to a minimum.

Simon, M. K.↗

Tracking performance of symbol synchronizers for Manchester coded data

The implementation and tracking performance of symbol synchronizers for Manchester coded data is presented with motivation provided by maximum a posteriori (MAP) estimation theory. Certain physically relizable closed-loop structures, readily implemented in practice, are suggested by the theory for uncoded data symbols with arbitrary data transition probabilities. The tracking performance of these loops is optimized and comparisons are made among the various configurations over a wide range of system parameters. Although not the major intent of the paper, the acquisition problem is briefly addressed.

Simon, M. K.↗

SYMBOD - A computer program for the automatic generation of symbolic equations of motion for systems of hinge-connected rigid bodies

A computer program is described that can automatically generate symbolic equations of motion for systems of hinge-connected rigid bodies with tree topologies. The dynamical formulation underlying the program is outlined, and examples are given to show how a symbolic language is used to code the formulation. The program is applied to generate the equations of motion for a four-body model of the Galileo spacecraft. The resulting equations are shown to be a factor of three faster in execution time than conventional numerical subroutines.

Macala, G. A.↗

Online Tester for a Symbol Generator

About 95 percent of faults detected. Programable instrument periodically checks for failures in system that generates alphanumerical and other symbol voltages for cathode-ray-tube displays. Symbol-generator tester compares gated test-point voltages with predetermined voltage limits while circuit under test performs commanded operation. A go/no-go indication given, depending on whether test voltage is or is not within its specification. Tester in plug-in modular form, temporarily wired to generator test points, or permanently wired to these points.

Juday, D.↗

Detection and Symbol Synchronization for Multiple-bit Per Photon Optical Communications

Methods of detection and synchronization in a highly efficient direct detection optical communication system are reported. Results of measurements on this moderate-rate demonstration system capable of transmitting 2.5 bits/detected photon in low-background situations indicate that symbol slot synchronization is not a problem, and that a simple symbol detection scheme is adequate for this situation. This system is a candidate for interplanetary optical communications.

Marshall, W. K.↗

Symbol Stream Combining in a Convolutionally Coded System

Symbol stream combining has been proposed as a method for arraying signals received at different antennas. If convolutional coding and Viterbi decoding are used, it is shown that a Viterbi decoder based on the proposed weighted sum of symbol streams yields maximum likelihood decisions.

Mceliece, R. J.↗

Double symbol error rates for differential detection of narrow-band FM

This paper evaluates the double symbol error rate (average probability of two consecutive symbol errors) in differentially detected narrow-band FM. Numerical results are presented for the special case of MSK with a Gaussian IF receive filter. It is shown that, not unlike similar results previously obtained for the single error probability of such systems, large inaccuracies in predicted performance can occur when intersymbol interference is ignored.

Simon, M. K.↗

The influence of dynamic inflow and torsional flexibility on rotor damping in forward flight from symbolically generated equations

The combined effects of blade torsion and dynamic inflow on the aeroelastic stability of an elastic rotor blade in forward flight are studied. The governing sets of equations of motion (fully nonlinear, linearized, and multiblade equations) used in this study are derived symbolically using a program written in FORTRAN. Stability results are presented for different structural models with and without dynamic inflow. A combination of symbolic and numerical programs at the proper stage in the derivation process makes the obtainment of final stability results an efficient and straightforward procedure.

Reddy, T. S. R.↗

On the symbolic manipulation and code generation for elasto-plastic material matrices

A computerized procedure for symbolic manipulations and FORTRAN code generation of elastoplastic material matrix for finite element applications is presented. Special emphasis is placed on expression simplifications during intermediate derivations, optimal code generation, and interface with the main program. A systematic procedure is outlined to avoid redundant algebraic manipulations. Symbolic expressions of the derived material stiffness matrix are automatically converted to RATFOR code which is then translated into FORTRAN statements through a preprocessor. To minimize the interface problem with the main program, a template file is prepared so that the translated FORTRAN statements can be merged into the file to form a subroutine (or a submodule). Three constitutive models; namely, von Mises plasticity, the Drucker-Prager model, and a concrete plasticity model, are used as illustrative examples.

Chang, T. Y.↗

Advanced data management design for autonomous telerobotic systems in space using spaceborne symbolic processors

The use of computers in autonomous telerobots is reaching the point where advanced distributed processing concepts and techniques are needed to support the functioning of Space Station era telerobotic systems. Three major issues that have impact on the design of data management functions in a telerobot are covered. It also presents a design concept that incorporates an intelligent systems manager (ISM) running on a spaceborne symbolic processor (SSP), to address these issues. The first issue is the support of a system-wide control architecture or control philosophy. Salient features of two candidates are presented that impose constraints on data management design. The second issue is the role of data management in terms of system integration. This referes to providing shared or coordinated data processing and storage resources to a variety of telerobotic components such as vision, mechanical sensing, real-time coordinated multiple limb and end effector control, and planning and reasoning. The third issue is hardware that supports symbolic processing in conjunction with standard data I/O and numeric processing. A SSP that currently is seen to be technologically feasible and is being developed is described and used as a baseline in the design concept.

Goforth, Andre↗

A model-based approach to the symbolic control of space subsystems

A multilayered approach to the symbolic control of complex electromechanical assemblies, such as spaceborne thermal, power, and life subsystems, is discussed. An example of this approach is given in some recent tests of the Thermal Expert System (TEXSYS) in control of the Boeing Aerospace Thermal Bus System (BATBS), a prototype two-phase Space Station Freedom thermal bus. The BATBS hardware requires read-update-act cycles of under a minute, and it is subject to dynamic reconfiguration while operating. These performance requirements are addressed by layering model-based expert system software on a conventional numerical data acquisition and control system. TEXSYS test results demonstrate both nominal control and fault recovery actions with the BATBS. Dynamic modification of the symbolic model used in this approach is compared to that of a classical numerical adaptive controller.

Glass, B. J.↗

Multiple-Symbol Detection Of Multiple-Trellis-Coded MDPSK

In proposed scheme for detection and decoding of multiple-trellis-coded multilevel differential-phase-shift-keyed (MDPSK) radio signals, observation time for differential detection extended from conventional 2 to larger number of symbol periods. Decreases rate of error in differential detection of uncoded MDPSK by increasing number of symbol periods.

Divsalar, Dariush↗

Symbol lock detection in the ARX 2 and Block 5 receivers

The performances of 5 symbol-lock detectors are compared. These detectors are the square-law detector with overlapping (SQOD) and nonoverlapping integrators, the absolute-value detectors with overlapping and nonoverlapping integrators, and the signal-power estimator detector (SPED). The analysis considers various scenarios in which the observation interval is much larger than or equal to the symbol-synchronizer loop bandwidth, and which were not considered in previous analyses. Also, the case of threshold setting in the absence of signal is considered. It is shown, that the SQOD outperforms all others when the threshold is set in the presence of a signal, independent of the relationship between loop bandwidth and observation period. On the other hand, the SPED outperforms all others when the threshold is set in the presence of noise only.

Shihabi, M.↗

The split symbol moments SNR estimator in narrow-band channels

The split symbol moments estimator is an algorithm that is designed to estimate symbol SNR in the presence of additive white Gaussian noise. The performance of the algorithm in band-limited channels is examined, and the effects of the resulting intersymbol interference are quantified. All results obtained are in closed form and can be easily evaluated numerically for performance-prediction purposes. The results are also validated through digital simulations.

Shah, Biren↗

The performance of trellis-coded MDPSK with multiple symbol detection

The idea of using a multiple (more than two) symbol observation interval to improve error probability performance is applied to differential detection of trellis-coded multiple phase-shift keying (MPSK) over an additive white Gaussian noise (AWGN) channel. An equivalent Euclidean distance measure per trellis branch is determined for this detection scheme. This is used to define an augmented (larger multiplicity) trellis code whose distance measure is the conventional squared Euclidean distance typical of conventional trellis-coded modulation on the AWGN. Such an augmented multiple trellis code is a convenient mathematical tool for simplifying the analysis. Results are obtained by a combination of analysis (upper Chernoff bounds and asymptotic large-SNR approximations) and computer simulation. It is shown that only a slight increase (e.g., one symbol) in the length of the observation interval will provide a significant improvement in bit error probability performance.

Divsalar, Dariush↗