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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 973 records · Page 54

All sources NASA NTRS DOE OSTI

NASA NTRS1981

Architecture for VLSI design of Reed-Solomon encoders

The logic structure of a universal VLSI chip called the symbol-slice Reed-Solomon (RS) encoder chip is discussed. An RS encoder can be constructed by cascading and properly interconnecting a group of such VLSI chips. As a design example, it is shown that a (255,223) RD encoder requiring around 40 discrete CMOS ICs may be replaced by an RS encoder consisting of four identical interconnected VLSI RS encoder chips. Besides the size advantage, the VLSI RS encoder also has the potential advantages of requiring less power and having a higher reliability.

Liu, K. Y.↗

NASA NTRS1982

Automated verification of flight software. User's manual

(Automated Verification of Flight Software), a collection of tools for analyzing source programs written in FORTRAN and AED is documented. The quality and the reliability of flight software are improved by: (1) indented listings of source programs, (2) static analysis to detect inconsistencies in the use of variables and parameters, (3) automated documentation, (4) instrumentation of source code, (5) retesting guidance, (6) analysis of assertions, (7) symbolic execution, (8) generation of verification conditions, and (9) simplification of verification conditions. Use of AVFS in the verification of flight software is described.

Saib, S. H.↗

NASA NTRS1982

Performance of an optical relay satellite using Reed-Solomon coding over a cascaded optical PPM and BPSK channel

The nature of the optical/microwave interface aboard the relay satellite is considered. To allow for the maximum system flexibility, without overburdening either the optical or RF channel, demodulating the optical on board the relay satellite but leaving the optical channel decoding to be performed at the ground station is examined. The occurrence of erasures in the optical channel is treated. A hard decision on the erasure (i.e., the relay selecting a symbol at random in case of erasure occurrence) seriously degrades the performance of the overall system. Coding the erasure occurrences at the relay and transmitting this information via an extra bit to the ground station where it can be used by the decoder is suggested. Many examples with varying bit/photon energy efficiency and for the noisy and noiseless optical channel are considered. It is shown that coding the erasure occurrences dramatically improves the performance of the cascaded channel relative to the case of hard decision on the erasure by the relay.

Divsalar, D.↗

NASA NTRS1981

Experimental evaluation of a perspective tunnel display for three-dimensional helicopter approaches

A computer-generated perspective tunnel display for a steep and strongly curved three-dimensional helicopter approach is studied. The necessary control variables for following a curved trajectory are analyzed, the effectiveness of superimposed predictor symbology is investigated, and a suitable predictor law is formulated. The theoretical considerations are validated by an extensive fixed-base simulator program. The tunnel display with a superimposed predictor symbol is shown to outperform conventional-type displays in its abilities to follow a curved trajectory in the presence of gust disturbances, to enter the trajectory from an unknown position outside this trajectory, as well as to monitor automatic approaches. The feasibility of the tunnel display for operation in actual flight has been demonstrated in an exploratory flight test.

Grunwald, A. J.↗

NASA NTRS1980

Performance considerations of frequency-hopping multiple access

The basic system parameters of a frequency-hopping multiple-access system are investigated. Noncoherent binary FSK and M-ary FSK signal formats are studied in a random-access asynchronous environment. Both slow and fast frequency hopping are considered. Under relatively ideal conditions, the degradation in performance with respect to the number of users is determined. The dependence on performance due to hopping rate and bandwidth constraint is developed. It is shown, for example, that, for fast hopping, the optimum hopping rate is that which spreads the users' power over the entire available bandwidth during each baud time. This agrees with the basic spread spectrum philosophy of making the signal appear white over as wide a bandwidth as possible. The computational results describe the trade-off between the number of tones in M-ary FSK and the number of hops per symbol. Given a specified number of tones in the frequency-hopping system, the results describe the manner in which the system degrades as the number of users is increased.

Weber, C. L.↗

NASA NTRS1982

Differentially coherent detection of QASK for frequency-hopping systems. I - Performance in the presence of a Gaussian noise environment

Bandwidth-conserving modulation techniques, which trade average power for bandwidth in a favorable exchange, have recently found widespread application in digital radio and satellite communication systems. Quadrature amplitude-shift-keying (QASK) is a particular type of the considered techniques. QASK makes use of multilevel signals to amplitude modulate the in-phase and quadrature components of a carrier. Frequency hopping (FH) is used to protect a conventional communication system from radio frequency interference (RFI) or jamming. Differentially coherent detection provides a possible solution to the effect of phase discontinuities introduced by FH. The application of such a detection technique to QASK signals is discussed. A receiver structure is proposed and its symbol error probability performance for an additive white Gaussian noise (AWGN) background is investigated.

Simon, M. K.↗

NASA NTRS1982

Architecture for VLSI design of Reed-Solomon encoders

A description is given of the logic structure of the universal VLSI symbol-slice Reed-Solomon (RS) encoder chip, from a group of which an RS encoder may be constructed through cascading and proper interconnection. As a design example, it is shown that an RS encoder presently requiring approximately 40 discrete CMOS ICs may be replaced by an RS encoder consisting of four identical, interconnected VLSI RS encoder chips, offering in addition to greater compactness both a lower power requirement and greater reliability.

Liu, K. Y.↗

NASA NTRS1982

Error bounds for multi-h phase codes

Upper and lower bounds for the probability of a decoding error event and for symbol error probability are developed for the class of time-varying phase codes known as multi-h codes. The effect of finite decoder memory is also treated. The analysis is illustrated with numerical examples, and simulation results are compared.

Wilson, S. G.↗

NASA NTRS1982

Detection of aspen-conifer forest mixes from LANDSAT digital data

Aspen, conifer and mixed aspen/conifer forests were mapped for a 15-quadrangle study area in the Utah-Idaho Bear River Range using LANDSAT multispectral scanner data. Digital classification and statistical analysis of LANDSAT data allowed the identification of six groups of signatures which reflect different types of aspen/conifer forest mixing. Photo interpretations of the print symbols suggest that such classes are indicative of mid to late seral aspen forests. Digital print map overlays and acreage calculations were prepared for the study area quadrangles. Further field verification is needed to acquire additional information about the nature of the forests. Single date LANDSAT analysis should be a cost effective means to index aspen forests which are at least in the mid seral phase of conifer invasion. Since aspen canopies tend to obscure understory conifers for early seral forests, a second date analysis, using data taken when aspens are leafless, could provide information about early seral aspen forests.

Jaynes, R. A.↗

NASA NTRS1982

A comparison of frame synchronization methods

Different methods are considered for frame synchronization of a concatenated block code/Viterbi link. Synchronization after Viterbi decoding, synchronization before Viterbi decoding based on hard-quantized channel symbols are all compared. For each scheme, the probability under certain conditions of true detection of sync within four 10,000 bit frames is tabulated.

Swanson, L.↗

NASA NTRS1983

Computer program for Stirling engine performance calculations

The thermodynamic characteristics of the Stirling engine were analyzed and modeled on a computer to support its development as a possible alternative to the automobile spark ignition engine. The computer model is documented. The documentation includes a user's manual, symbols list, a test case, comparison of model predictions with test results, and a description of the analytical equations used in the model.

Tew, R. C., Jr.↗

NASA NTRS1983

Network simulation using the simulation language for alternate modeling (SLAM 2)

The simulation language for alternate modeling (SLAM 2) is a general purpose language that combines network, discrete event, and continuous modeling capabilities in a single language system. The efficacy of the system's network modeling is examined and discussed. Examples are given of the symbolism that is used, and an example problem and model are derived. The results are discussed in terms of the ease of programming, special features, and system limitations. The system offers many features which allow rapid model development and provides an informative standardized output. The system also has limitations which may cause undetected errors and misleading reports unless the user is aware of these programming characteristics.

Shen, S.↗

NASA NTRS1982

Flight dynamics analysis and simulation of heavy lift airships, volume 4. User's guide: Appendices

This table contains all of the input variables to the three programs. The variables are arranged according to the name list groups in which they appear in the data files. The program name, subroutine name, definition and, where appropriate, a default input value and any restrictions are listed with each variable. The default input values are user supplied, not generated by the computer. These values remove a specific effect from the calculations, as explained in the table. The phrase "not used' indicates that a variable is not used in the calculations and are for identification purposes only. The engineering symbol, where it exists, is listed to assist the user in correlating these inputs with the discussion in the Technical Manual.

Emmen, R. D.↗

NASA NTRS1983

Perturbation analysis of the limit cycle of the free van der Pol equation

A power series expansion in the damping parameter, epsilon, of the limit cycle of the free van der Pol equation is constructed and analyzed. Coefficients in the expansion are computed in exact rational arithmetic using the symbolic manipulation system MACSYMA and using a FORTRAN program. The series is analyzed using Pade approximants. The convergence of the series for the maximum amplitude of the limit cycle is limited by two pair of complex conjugate singularities in the complex epsilon-plane. A new expansion parameter is introduced which maps these singularities to infinity and leads to a new expansion for the amplitude which converges for all real values of epsilon. Amplitudes computed from this transformed series agree very well with reported numerical and asymptotic results. For the limit cycle itself, convergence of the series expansion is limited by three pair of complex conjugate branch point singularities. Two pair remain fixed throughout the cycle, and correspond to the singularities found in the maximum amplitude series, while the third pair moves in the epsilon-plane as a function of t from one of the fixed pairs to the other. The limit cycle series is transformed using a new expansion parameter, which leads to a new series that converges for larger values of epsilon.

Dadfar, M. B.↗

NASA NTRS1982

A digital flight control system verification laboratory

A NASA/FAA program has been established for the verification and validation of digital flight control systems (DFCS), with the primary objective being the development and analysis of automated verification tools. In order to enhance the capabilities, effectiveness, and ease of using the test environment, software verification tools can be applied. Tool design includes a static analyzer, an assertion generator, a symbolic executor, a dynamic analysis instrument, and an automated documentation generator. Static and dynamic tools are integrated with error detection capabilities, resulting in a facility which analyzes a representative testbed of DFCS software. Future investigations will ensue particularly in the areas of increase in the number of software test tools, and a cost effectiveness assessment.

De Feo, P.↗

NASA NTRS1981

Simplified robot arm dynamics for control

A brief summary and evaluation is presented on the use of symbolic state equation techniques in order to represent robot arm dynamics with sufficient accuracy for controlling arm motion. The use of homogeneous transformations and the Lagrangian formulation of mechanics offers a convenient frame for the derivation, analysis and simplification of complex robot dynamics equations. It is pointed out that simplified state equations can represent robot arm dynamics with good accuracy.

Bejczy, A. K.↗

NASA NTRS1983

Physics of the Jovian magnetosphere

Jupiter's magnetic field and magnetosphere are considered along with the ionosphere, the low-energy plasma in the Jovian magnetosphere, the low-energy particle population, high-energy particles, and spectrophotometric studies of the Io torus. Other topics explored are related to the phenomenology of magnetospheric radio emissions, plasma waves in the Jovian magnetosphere, theories of radio emissions and plasma waves, and magnetospheric models. Attention is also given to aspects of plasma distribution and flow, microscopic plasma processes in the Jovian magnetosphere, symbols and acronyms, coordinate systems, and selected physical parameters of Jupiter and Io.

Dessler, A. J.↗

NASA NTRS1983

Integrated verification and testing system (IVTS) for HAL/S programs

The IVTS is a large software system designed to support user-controlled verification analysis and testing activities for programs written in the HAL/S language. The system is composed of a user interface and user command language, analysis tools and an organized data base of host system files. The analysis tools are of four major types: (1) static analysis, (2) symbolic execution, (3) dynamic analysis (testing), and (4) documentation enhancement. The IVTS requires a split HAL/S compiler, divided at the natural separation point between the parser/lexical analyzer phase and the target machine code generator phase. The IVTS uses the internal program form (HALMAT) between these two phases as primary input for the analysis tools. The dynamic analysis component requires some way to 'execute' the object HAL/S program. The execution medium may be an interpretive simulation or an actual host or target machine.

Senn, E. H.↗