Analytical research in guidance theory Final technical report, 15 Sep. 1966 - 31 Oct. 1967
Applying calculus of variations to optimal guidance problems, and symbolic programming of polynomials
Andrus, J. F.↗
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.
Correspondence principle for enumeration - Trees and loops.
Symbol oriented computer programming in network analysis, establishing correspondence principle between enumerated network trees and loops of associated flow graphs
Happ, W. W.↗
COGENT programming manual
COGENT /COmpiler and GENeralized Translator/ programming system is a compiler whose input language enables a description of symbolic and linguistic manipulation algorithms. Primarily for use as a compiler-compiler, it is also applicable to algebraic manipulation, mechanical theorem proving, and heuristic programming.
Reynolds, J. C.↗
Communications systems research - Information processing
Digital filtering of random sequences, and maximum likelihood symbol synchronization for binary systems
Source record↗
Optimum and sub-optimum detection of digital sequences corrupted by white noise.
Optimum and suboptimum detection of K binary symbols corrupted by white Gaussian noise, discussing searching procedure and average error probability
Butman, S.↗
Channel capacity of Moore automata.
Algorithm for calculating Moore automaton or connected network channel capacity and source of input symbols for full capacity utilization
Conant, R. C.↗
Signal flow graphs as an aid in network analysis
Signal flow graph, obtaining numeric and symbolic expressions for network function in terms of component parameters and sensitivity coefficients
Zobrist, G. W.↗
Realization of optimum interleavers
Optimum symbol sequence interleavers realization taking into account storage capacity and encoding delay
Ramsey, J. L.↗
On fault detection and isolation in linear networks and systems
Linear networks fault detection and isolation using computerized test procedure and symbolic transfer function generation technique
Chan, S. P.↗
FORTRAN 4 digital program changer
Computer program modifies other source language programs as aid to debugging, checkout and final documentation to eliminate manual performance of rearranging and incrementing statement numbers, identifying and sequencing cards and inserting and/or removing end-of-batch symbols.
Madden, M. F.↗
FORMAL - A formula manipulation language
FORMAL programming system with language capability for performing symbolic algebraic manipulations
Mesztenyi, C. K.↗
The problem of substitution
Discussing REDUCE system and approach to substitution in design of symbolic mathematics system
Hearn, A. C.↗
The Scope FORMAC language
Describing experimental on-line interactive symbolic prototype Scope FORMAC language implemented on IBM 2250 graphic display unit
Lipson, J. D.↗
Formal system - Technical documentation
Input/output routines for symbolic programming with FORMAL on Univac 1108 computer
Mesztenyi, C. K.↗
NASTRAN User Interfaces: Automated Input Innovations
Automatic generation of finite element input, input transparency, and symbolic parameters for NASTRAN simplification and error reduction
Ice, M. W.↗
Calculation of inviscid surface streamlines and heat transfer on shuttle type configurations. Part 2: Description of computer program
A description of the computer program used for heating rate calculation for blunt bodies in hypersonic flow is given. The main program and each subprogram are described by defining the pertinent symbols involved and presenting a detailed flow diagram and complete computer program listing. Input and output parameters are discussed in detail. Listings are given for the computation of heating rates on (1) a blunted 15 deg half-angle cone at 20 deg incidence and Mach 10.6, (2) a blunted 70 deg slab delta wing at 10 deg incidence and Mach 8, and (3) the HL-10 lifting body at 20 deg incidence and Mach 10. In addition, the computer program output for two streamlines on the blunted 15 deg half-angle cone is listed. For Part 1, see N71-36186.
Dejarnette, F. R.↗
FORMAC integration program: A special applications package used in developing techniques of orbital decay and long term ephemeris prediction for satellites in earth orbit
The symbolic manipulation capabilities of the FORMAC (Formula Manipulation Compiler) language are employed to expand and analytically evaluate integrals. The program integration is effected by expanding the integral(s) into a series of subintegrals and then substituting a pre-derived and pre-coded solution for that particular subintegral. Derivation of the integral solutions necessary for precoding is included, as is a discussion of the FORMAC system limitations encountered in the programming effort.
Rowe, C. K.↗
A vegetational and ecological resource analysis from space and high flight photography
A hierarchial classification of vegetation and related resources is considered that is applicable to convert remote sensing data in space and aerial synoptic photography. The numerical symbolization provides for three levels of vegetational classification and three levels of classification of environmental features associated with each vegetational class. It is shown that synoptic space photography accurately projects how urban sprawl affects agricultural land use areas and ecological resources.
Poulton, C. E.↗