Search NASA⌕ Search

SEARCH · Search NASA

Results for “symbolic calculation”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1928

The span as a fundamental factor in airplane design

Previous theoretical investigations of steady curvilinear flight did not afford a suitable criterion of "maneuverability," which is very important for judging combat, sport and stunt-flying airplanes. The idea of rolling ability, i.e., of the speed of rotation of the airplane about its X axis in rectilinear flight at constant speed and for a constant, suddenly produced deflection of the ailerons, is introduced and tested under simplified assumptions for the air-force distribution over the span. This leads to the following conclusions: the effect of the moment of inertia about the X axis is negligibly small, since the speed of rotation very quickly reaches a uniform value.

MANEUVERABILITY↗
NASA NTRS1985

Asymptotic matching by the symbolic manipulator MACSYMA

The delegation of the labor of calculating higher-order terms in singular perturbation (SP) expansions to a computer by the use of MACSYMA is considered. The method of matched asymptotic expansions is studied in detail for two model SP problems: a model resembling the boundary layer equation with a small parameter multiplying the highest derivatives; and a turning-point problem. It is shown that MACSYMA has successfully performed the higher-order matching in both problems.

Lo, L. L.↗
NASA NTRS1995

Applications of symbolic computation in fracture mechanics

A FORTRAN program for calculating the stresses of n cracks embedded in an isotropic plate is presented. Formulas are given for calculating the stresses of one crack, two cracks, and n cracks in an isotropic plate. Then the program code that accomplishes this is provided.

Tan, Hui-Qian↗
NASA NTRS2011

Engineering and Scientific Applications: Using MatLab(Registered Trademark) for Data Processing and Visualization

MatLab(TradeMark)(MATrix LABoratory) is a numerical computation and simulation tool that is used by thousands Scientists and Engineers in many countries. MatLab does purely numerical calculations, which can be used as a glorified calculator or interpreter programming language; its real strength is in matrix manipulations. Computer algebra functionalities are achieved within the MatLab environment using "symbolic" toolbox. This feature is similar to computer algebra programs, provided by Maple or Mathematica to calculate with mathematical equations using symbolic operations. MatLab in its interpreter programming language form (command interface) is similar with well known programming languages such as C/C++, support data structures and cell arrays to define classes in object oriented programming. As such, MatLab is equipped with most of the essential constructs of a higher programming language. MatLab is packaged with an editor and debugging functionality useful to perform analysis of large MatLab programs and find errors. We believe there are many ways to approach real-world problems; prescribed methods to ensure foregoing solutions are incorporated in design and analysis of data processing and visualization can benefit engineers and scientist in gaining wider insight in actual implementation of their perspective experiments. This presentation will focus on data processing and visualizations aspects of engineering and scientific applications. Specifically, it will discuss methods and techniques to perform intermediate-level data processing covering engineering and scientific problems. MatLab programming techniques including reading various data files formats to produce customized publication-quality graphics, importing engineering and/or scientific data, organizing data in tabular format, exporting data to be used by other software programs such as Microsoft Excel, data presentation and visualization will be discussed.

Sen, Syamal K.↗
NASA NTRS1999

Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper

In contrast to pure mathematical applications where automated theorem provers (ATPs) are quite capable, proof tasks arising form real-world applications from the area of Software Engineering show quite different characteristics: they usually do not only contain much arithmetic (albeit often quite simple one), but they also often contain reasoning about specific structures (e.g. graphics, sets). Thus, an ATP must be capable of performing reasoning together with a fair amount of simplification, calculation and solving. Therefore, powerful simplifiers and other (symbolic and semi-symbolic) algorithms seem to be ideally suited to augment ATPs. In the following we shortly describe two major points of interest in combining SASs (symbolic algebraic systems) with top-down automated theorem provers (here: SETHEO [Let92, GLMS94]).

Schumann, Johann↗
NASA NTRS1974

Simulation study of communication link for Pioneer Saturn/Uranus atmospheric entry probe

A digital simulation is presented for a candidate modem in a modeled atmospheric scintillation environment with Doppler, Doppler rate, and signal attenuation typical of the radio link conditions for an outer planets atmospheric entry probe. The results indicate that the signal acquisition characteristics and the channel error rate are acceptable for the system requirements of the radio link. The simulation also outputs data for calculating other error statistics and a quantized symbol stream from which error correction decoding can be analyzed.

Hinrichs, C. A.↗
NASA NTRS1993

Exploiting the cannibalistic traits of Reed-Solomon codes

In Reed-Solomon codes and all other maximum distance separable codes, there is an intrinsic relationship between the size of the symbols in a codeword and the length of the codeword. Increasing the number of symbols in a codeword to improve the efficiency of the coding system thus requires using a larger set of symbols. However, long Reed-Solomon codes are difficult to implement and many communications or storage systems cannot easily accommodate an increased symbol size, e.g., M-ary frequency shift keying (FSK) and photon-counting pulse-position modulation demand a fixed symbol size. A technique for sharing redundancy among many different Reed-Solomon codewords to achieve the efficiency attainable in long Reed-Solomon codes without increasing the symbol size is described. Techniques both for calculating the performance of these new codes and for determining their encoder and decoder complexities is presented. These complexities are usually found to be substantially lower than conventional Reed-Solomon codes of similar performance.

Collins, O.↗
NASA NTRS1928

A few more mechanical-flight formulas without the aid of polar diagrams

The reliability of the assumption of a parabolic shape of the polar curve is investigated and found satisfactory for all practical purposes. It is further shown that the aerodynamically best possible or "ideal" airplane is produced on this assumption. Lastly, detailed suggestions are given on the possibilities of application of this method of calculation. It especially simplifies the design and evaluation of structural changes and the determination of the limits of technical possibilities. The present report deals only with the relations of the airfoils. The mutual action of the airfoils, engine and propeller will be treated in a subsequent report.

FORMULAS - PERFORMANCE↗
NASA NTRS1975

Digital simulation of a communication link for Pioneer Saturn Uranus atmospheric entry probe, part 1

A digital simulation study is presented for a candidate modulator/demodulator design in an atmospheric scintillation environment with Doppler, Doppler rate, and signal attenuation typical of the conditions of an outer planet atmospheric probe. The simulation results indicate that the mean channel error rate with and without scintillation are similar to theoretical characterizations of the link. The simulation gives information for calculating other channel statistics and generates a quantized symbol stream on magnetic tape from which error correction decoding is analyzed. Results from the magnetic tape data analyses are also included. The receiver and bit synchronizer are modeled in the simulation at the level of hardware component parameters rather than at the loop equation level and individual hardware parameters are identified. The atmospheric scintillation amplitude and phase are modeled independently. Normal and log normal amplitude processes are studied. In each case the scintillations are low pass filtered. The receiver performance is given for a range of signal to noise ratios with and without the effects of scintillation. The performance is reviewed for critical reciever parameter variations.

Hinrichs, C. A.↗
NASA NTRS1978

Image synthesis for SAR system, calibration and processor design

The Point Scattering Method of simulating radar imagery rigorously models all aspects of the imaging radar phenomena. Its computational algorithms operate on a symbolic representation of the terrain test site to calculate such parameters as range, angle of incidence, resolution cell size, etc. Empirical backscatter data and elevation data are utilized to model the terrain. Additionally, the important geometrical/propagation effects such as shadow, foreshortening, layover, and local angle of incidence are rigorously treated. Applications of radar image simulation to a proposed calibrated SAR system are highlighted: soil moisture detection and vegetation discrimination.

Holtzman, J. C.↗
NASA NTRS1988

Symbolic derivation of material property matrices in finite element analysis

The principles and operation of MMAX, a symbolic-computation program which automates the process of generating property matrices for structural materials, are briefly described and illustrated with sample analyses of a rubberlike material and an elastoplastic material. MMAX is written in LISP under the symbolic finite-element generator FINGER and the general symbolic manipulator MACSYMA; it first derives the formulas required by mathematical manipulation, and then translates the formulas into FORTRAN code, adapted to the particular type of machine to be used for the numerical calculations. This approach is shown to combine efficiently the advantages of symbolic and numerical computation for engineering applications.

Tan, H. Q.↗
NASA NTRS1972

Computer analysis of general linear networks using digraphs.

Investigation of the application of digraphs in analyzing general electronic networks, and development of a computer program based on a particular digraph method developed by Chen. The Chen digraph method is a topological method for solution of networks and serves as a shortcut when hand calculations are required. The advantage offered by this method of analysis is that the results are in symbolic form. It is limited, however, by the size of network that may be handled. Usually hand calculations become too tedious for networks larger than about five nodes, depending on how many elements the network contains. Direct determinant expansion for a five-node network is a very tedious process also.

Mcclenahan, J. O.↗
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 NTRS1979

The Look-point Aircraft Coordinate Estimator (LACE) and potential applications

A look-point aircraft coordinate estimator (LACE) consisting of a windshield runway symbol projector, pilot input controls, microprocessor, and eye-alignment device is described. The estimator is used by a pilot to determine his aircraft's position relative to a runway or other visible terrain or target. The pilot initially superimposes and then corrects the superposition of the runway symbol over the runway during approach during periods when the runway is visible. Using the pilot's inputs the microprocessor calculates the position of the aircraft in terms of runway coordinates, then generates an approach trajectory and issues instructions to an autopilot. The microprocessor contains a model of the aircraft's dynamics and calculates a theoretical aircraft trajectory. The theoretical position of the aircraft is then used to drive the runway symbol, with the pilot's input being additive. The system thus acts as an aid in making low visibility approaches and landings when only an occasional glimpse of the runway is possible and no ground referenced landing systems are available. The system can also be used as an independent landing monitor for ground referenced landing systems.

Anderson, W. W.↗
NASA NTRS1983

On the determination of the coefficients of the Gaussian general theory of the Earth's magnetism for the year 1885 and about the relationship of the three Earth-magnetic elements

An attempt is made to judge the value of the Gaussian series for the Earth's magnetism. The computation employed to do this uses the method of the least and greatest coefficients. The number of unknown which had to be calculated from the individual groups was at most only four. All symbols of Gauss were retained.

Fritsche, H.↗
NASA NTRS1968

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.↗
NASA NTRS1985

Curved Finite Elements and Curve Approximation

The approximation of parameterized curves by segments of parabolas that pass through the endpoints of each curve segment arises naturally in all quadratic isoparametric transformations. While not as popular as cubics in curve design problems, the use of parabolas allows the introduction of a geometric measure of the discrepancy between given and approximating curves. The free parameters of the parabola may be used to optimize the fit, and constraints that prevent overspill and curve degeneracy are introduced. This leads to a constrained optimization problem in two varibles that can be solved quickly and reliably by a simple method that takes advantage of the special structure of the problem. For applications in the field of computer-aided design, the given curves are often cubic polynomials, and the coefficient may be calculated in closed form in terms of polynomial coefficients by using a symbolic machine language so that families of curves can be approximated with no further integration. For general curves, numerical quadrature may be used, as in the implementation where the Romberg quadrature is applied. The coefficient functions C sub 1 (gamma) and C sub 2 (gamma) are expanded as polynomials in gamma, so that for given A(s) and B(s) the integrations need only be done once. The method was used to find optimal constrained parabolic approximation to a wide variety of given curves.

Baart, M. L.↗
DOE OSTI2022

Evaluation of Thermal Neutron Scattering Law and Cross Sections for Calcium Hydride

Presented in this paper are the calculated thermal scattering law (TSL) and thermal neutron scattering cross sections for Calcium Hydride, hereafter referred to by its chemical symbol CaH 2 . The only other such data prior to this evaluation are thermal neutron scattering libraries in the JEFF database, which suffer from nonphysical features and inaccuracies. The data in this evaluation are calculated from first principles; Density Functional Theory (DFT) is used to calculate the phonon density of states (DOS), which is the primary input required to calculate the TSL. The TSL and cross sections have been evaluated for the three non-equivalent atom cites in the CaH 2: Ca, H 1 , and H 2 . Each evaluation has been submitted to the NNDC for consideration in the next ENDF/B release.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗