SEARCH · Search NASA
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.
The incorporation of algebraic turbulence models in a solver for the 2-D compressible Navier-Stokes equations using triangular grids is described. A practical way to use the Cebeci Smith model, and to modify it in separated regions is proposed. The ability of the model to predict high speed, perfect gas boundary layers is investigated from a numerical point of view.
The incorporation of algebraic turbulence models in a solver for the 2-D compressible Navier-Stokes equations using triangular grids is described. A practial way to use the Cebeci Smith model, and to modify it in separated regions is proposed. The ability of the model to predict high speed, perfect gas boundary layers is investigated from a numerical point of view.
The development of algebraic multigrid (AMG) methods and their application to certain problems in structural mechanics are described with emphasis on two- and three-dimensional linear elasticity equations and the 'jacket problems' (three-dimensional beam structures). Various possible extensions of AMG are also described. The basic idea of AMG is to develop the discretization sequence based on the target matrix and not the differential equation. Therefore, the matrix is analyzed for certain dependencies that permit the proper construction of coarser matrices and attendant transfer operators. In this manner, AMG appears to be adaptable to structural analysis applications.
The computational steps in calculating quantum mechanical reactive scattering amplitudes by the L2 generalized Newton variational principle are discussed with emphasis on computational strategies and recent improvements that make the calculations more efficient. Special emphasis is placed on quadrature techniques, storage management strategies, use of symmetry, and boundary conditions. It is concluded that an efficient implementation of these procedures provides a powerful algorithm for the accurate solution of the Schroedinger equation for rearrangements.
Computer programs to simulate and translate chosen computer design in Chu computer design language into Boolean equations
Approach to solution of nonlinear ordinary differential equations involves transfer functions based on recently-introduced Laplace-Borel and Fourier-Borel transforms. Main theorem gives transform of response of nonlinear system as Cauchy product of transfer function and transform of input function of system, together with memory effects. Used to determine responses of electrical circuits containing variable inductances or resistances. Also possibility of doing all noncommutative algebra on computers in such symbolic programming languages as Macsyma, Reduce, PL1, or Lisp. Process of solution organized and possibly simplified by algebraic manipulations reducing integrals in solutions to known or tabulated forms.
Problems of model correlation and system identification are central in the design, analysis, and control of large space structures. Of the numerous methods that have been proposed, many are based on finding minimal adjustments to a model matrix sufficient to introduce some desirable quality into that matrix. In this work, several of these methods are reviewed, placed in a modern framework, and linked to other previously known ideas in computational linear algebra and optimization. This new framework provides a point of departure for a number of new methods which are introduced here. Significant among these is a method for stiffness matrix adjustment which preserves the sparsity pattern of an original matrix, requires comparatively modest computational resources, and allows robust handling of noisy modal data. Numerical examples are included to illustrate the methods presented herein.
The talk will survey work done by the NASA Quantum Artificial Intelligence Laboratory (QuAIL), particularly algorithms and protocols in which operator algebras may play a role. The talk will focus on recent work advancing quantum error correction and error mitigation, and will touch on other topics related to quantum algorithms and funda- mental quantum physics.
Symbolic programming system for computer processing of algebraic expressions
Trigonometric function algorithms for algebraic simplification in computer programs
Correspondence between logical relations of Boolean function implicants and numerical relations between identifiers
A method for improving Sampson's (1910, 1912, 1921) original work in developing series expressions for accurate coordinates of the Galilean satellites is discussed. The method, which utilizes computer-based algebraic manipulation software, was developed to reconstruct Sampson's theory, remove existing errors, introduce neglected effects, and provide analytic expressions for the coordinates as well as for the partial derivatives with respect to orbital parameters, Jupiter's mass and oblateness, the satellite masses, and Jupiter's pole and rotation period. The software system, capable of handling Poisson series with up to 73 polynomial variables and 28 trigonometric arguments, is described. The preliminary solution is presented, and procedures are outlined for calculating perturbations and eliminating auxiliary parameters.
Techniques of combinational algebra and computer simulation are combined to determine the number of weight 22 codewords in the (128,64) BCH code which is being studied for use on future deep-space missions.
When design factors are considered as random variables and the failure condition cannot be expressed by a closed form algebraic inequality, computations of risk (or probability of failure) might become extremely difficult or very inefficient. This study suggests using a simple, and easily constructed, second degree polynomial to approximate the complicated limit state in the neighborhood of the design point; a computer analysis relates the design variables at selected points. Then a fast probability integration technique (i.e., the Rackwitz-Fiessler algorithm) can be used to estimate risk. The capability of the proposed method is demonstrated in an example of a low cycle fatigue problem for which a computer analysis is required to perform local strain analysis to relate the design variables. A comparison of the performance of this method is made with a far more costly Monte Carlo solution. Agreement of the proposed method with Monte Carlo is considered to be good.
When design factors are considered as random variables and the failure condition cannot be expressed by a closed form algebraic inequality, computations of risk (or probability of failure) may become extremely difficult or very inefficient. This study suggests using a simple and easily constructed second degree polynomial to approximate the complicated limit state in the neighborhood of the design point; a computer analysis relates the design variables at selected points. Then a fast probability integration technique (i.e., the Rackwitz-Fiessler algorithm) can be used to estimate risk. The capability of the proposed method is demonstrated in an example of a low cycle fatigue problem for which a computer analysis is required to perform local strain analysis to relate the design variables. A comparison of the performance of this method is made with a far more costly Monte Carlo solution. Agreement of the proposed method with Monte Carlo is considered to be good.
Concern has been raised for the 64-m to 70-m antenna upgrade project that the 70-m system may experience greater S-band beam-pointing perturbations than the 64-m system. The S-band perturbations are due to minor (higher order) mode generation, causing subtle cross-polarization fields affecting beam pointing direction, as described herein. For the antennas in their present configuration (64 m), a slight S-band gain degradation of about 0.05 dB can be attributed to these effects. Therefore, a full physical optics analysis was performed for the present-day 64-m system, as described herein. The results were compared with past analyses and experimental observations in order to verify the algebra and computer code with the intent of deriving a valid analysis method for accurately analyzing the 70-m shaped dual reflector Cassegrainian antenna. The results of the new analysis appear to be in excellent agreement with previous analyses and experimental data.
Concern has been raised for the 64-m to 70-m antenna upgrade project that the 70-m system may experience greater S-band beam-pointing perturbations than the 64-m system. The S-band perturbations are due to minor (higher order) mode generation, causing subtle cross-polarization fields affecting beam pointing direction, as described herein. For the antennas in their present configuration (64 m), a slight S-band gain degradation of about 0.05 dB can be attributed to these effects. Therefore, a full physical optics analysis was performed for the present-day 64-m system, as described herein. The results were compared with past analyses and experimental observations in order to verify the algebra and computer code with the intent of deriving a valid analysis method for accurately analyzing the 70-m shaped dual reflector Cassegrainian antenna. The results of the new analysis appear to be in excellent agreement with previous analyses and experimental data.
Tests of large structures on-orbit will be performed with measurements at a relatively few structure points. Values for the unmeasured degrees of freedom (dofs) can be estimated based on measured dofs and analytical model dynamic information. These 'expanded' mode shapes are useful for optimal-update identification and damage location as well as test/analysis correlation. A new method of expansion for test mode shape vectors is developed from the orthogonal Procrustes problem from computational linear algebra. A subspace defined by the set of measured dofs is compared to a subspace defined by mode shapes from an analytical model of the structure. The method simultaneously expands and orthogonalizes the mode shape vectors. Two demonstration problems are used to compare the new method to current expansion techniques. One demonstration uses test data from a laboratory scale-model truss structure. Performance of the new method is comparable or superior to that of the previous expansion methods which require separate orthogonalization.