Search NASA⌕ Search

SEARCH · Search NASA

Results for “Theory of computation”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS1985

On the factorization of block-tridiagonals without storage constraints

In many programs solving difference equations, problem size is restricted by the number of available memory cells. A strategy has been developed to permit trade-offs between the number of floating point operations required and storage requirements for the solution of certain problems such as block tridiagonal systems of equations. This is done by recomputing some intermediate results instead of storing them. Reducing the storage to the square root of the current requirement will roughly double the number of computations. In theory, if m is the order of each sub-matrix in the block tridiagonal matrix, one can solve any linear system with only 5 sq m + 1 temporary storage cells. This method lends itself to efficient use on computers with parallel processing or vector processing architectures. On these computers the larger number of floating point operations is more than offset by the decrease in I/O and the increased percentage of vector operations made possible by this algorithm.

Merriam, M. L.↗
NASA NTRSDate not supplied

A Study of Preliminary Design Methods for Low Noise Fans

Engineers need theory and computer codes to help them design quiet and efficient fans. A fast method to identify low-noise stator vane counts that might minimize tone noise for axial ducted fans has been developed. The analysis begins with a preliminary aerodynamic fan design. Duct acoustic and rotor-stator interaction theories are combined to predict the set of cut-on circumferential modes that are expected to be generated and propagate through the fan duct. By predicting the number of cut-on circumferential modes for each vane count, a set of low-noise vane counts for a given rotor and duct design can be identified. This method was used to design the stator set for NASA’s spacecraft cabin ventilation fan, in order to minimize tone noise generated by rotor-stator interaction at the first three blade passing frequency harmonics. This method was also applied to three other research fans that NASA uses for aeroacoustics research for comparison. This technique can be used to include acoustic design criteria early in the design of an axial fan and provide valuable information to guide the final design of quiet fans.

Fan↗
NASA NTRS1996

A Note on Multigrid Theory for Non-nested Grids and/or Quadrature

We provide a unified theory for multilevel and multigrid methods when the usual assumptions are not present. For example, we do not assume that the solution spaces or the grids are nested. Further, we do not assume that there is an algebraic relationship between the linear algebra problems on different levels. What we provide is a computationally useful theory for adaptively changing levels. Theory is provided for multilevel correction schemes, nested iteration schemes, and one way (i.e., coarse to fine grid with no correction iterations) schemes. We include examples showing the applicability of this theory: finite element examples using quadrature in the matrix assembly and finite volume examples with non-nested grids. Our theory applies directly to other discretizations as well.

Douglas, C. C.↗
NASA NTRS1980

An evaluation of a computer code based on linear acoustic theory for predicting helicopter main rotor noise

Acoustic characteristics predicted using a recently developed computer code were correlated with measured acoustic data for two helicopter rotors. The analysis, is based on a solution of the Ffowcs-Williams-Hawkings (FW-H) equation and includes terms accounting for both the thickness and loading components of the rotational noise. Computations are carried out in the time domain and assume free field conditions. Results of the correlation show that the Farrassat/Nystrom analysis, when using predicted airload data as input, yields fair but encouraging correlation for the first 6 harmonics of blade passage. It also suggests that although the analysis represents a valuable first step towards developing a truly comprehensive helicopter rotor noise prediction capability, further work remains to be done identifying and incorporating additional noise mechanisms into the code.

Davis, S. J.↗
NASA NTRS1988

The interaction of the solar wind with Comet Halley - Upwind and downwind

The interaction between Comet Halley and solar wind is examined using in situ data collected in 1986, computer modeling, and data from 1910, when the earth passed through the comet's tail. An overview of the nature of comets is given, presenting specific physical processes occurring in comets. The range of scientific tools and data available for studying comets is discussed. Data from observation of the comet are compared to expectations from theory and computer modeling. The data from 1910 show that the cometary tail was well developed 24 million km downstream from the nucleus with a wake about 6 million km wide.

Russell, C. T.↗
NASA NTRS2011

Ndarts

Ndarts software provides algorithms for computing quantities associated with the dynamics of articulated, rigid-link, multibody systems. It is designed as a general-purpose dynamics library that can be used for the modeling of robotic platforms, space vehicles, molecular dynamics, and other such applications. The architecture and algorithms in Ndarts are based on the Spatial Operator Algebra (SOA) theory for computational multibody and robot dynamics developed at JPL. It uses minimal, internal coordinate models. The algorithms are low-order, recursive scatter/ gather algorithms. In comparison with the earlier Darts++ software, this version has a more general and cleaner design needed to support a larger class of computational dynamics needs. It includes a frames infrastructure, allows algorithms to operate on subgraphs of the system, and implements lazy and deferred computation for better efficiency. Dynamics modeling modules such as Ndarts are core building blocks of control and simulation software for space, robotic, mechanism, bio-molecular, and material systems modeling.

Jain, Abhinandan↗
NASA NTRS1986

Three dimensional unsteady aerodynamics and aeroelastic response of advanced turboprops

A method for the prediction of steady and unsteady aerodynamic loads and aeroelastic response of advanced turboprops is presented. The aerodynamic analysis uses three dimensional unsteady linearized compressible flow theory to compute the blade pressure distribution. The aeroelastic analysis is based on a normal mode representation of the structure. The method is applicable to both conventional and advanced turbo-prop configurations, provided that blade stall and transonic shock waves are not important factors. Aerodynamic results are presented which validate the model in various limits by comparisons to alternative theories and experimental data. Finally, results of a stability analysis of an advanced turboprop are given, with comparisons to measurements made at NASA Lewis Research Center.

Williams, M. H.↗
NASA NTRS1994

Discrete crack growth analysis methodology for through cracks in pressurized fuselage structures

A methodology for simulating the growth of long through cracks in the skin of pressurized aircraft fuselage structures is described. Crack trajectories are allowed to be arbitrary and are computed as part of the simulation. The interaction between the mechanical loads acting on the superstructure and the local structural response near the crack tips is accounted for by employing a hierarchical modeling strategy. The structural response for each cracked configuration is obtained using a geometrically nonlinear shell finite element analysis procedure. Four stress intensity factors, two for membrane behavior and two for bending using Kirchhoff plate theory, are computed using an extension of the modified crack closure integral method. Crack trajectories are determined by applying the maximum tangential stress criterion. Crack growth results in localized mesh deletion, and the deletion regions are remeshed automatically using a newly developed all-quadrilateral meshing algorithm. The effectiveness of the methodology and its applicability to performing practical analyses of realistic structures is demonstrated by simulating curvilinear crack growth in a fuselage panel that is representative of a typical narrow-body aircraft. The predicted crack trajectory and fatigue life compare well with measurements of these same quantities from a full-scale pressurized panel test.

Potyondy, David O.↗
DOE OSTI2025

Parallel-in-time quantum simulation via Page and Wootters quantum time

In the past few decades, researchers have created a veritable zoo of quantum algorithms by drawing inspiration from classical computing, information theory, and even from physical phenomena. Here, we present quantum algorithms for parallel-in-time simulations that are inspired by the Page and Wootters formalism. In this framework, and thus in our algorithms, the classical time variable of quantum mechanics is promoted to the quantum realm by introducing a Hilbert space of “clock” qubits that are then entangled with the “system” qubits. We show that our algorithms can compute temporal properties over 𝑁 different times of many-body systems by only using log⁡(𝑁) clock qubits. As such, we achieve an exponential trade-off between time and spatial complexities. In addition, we rigorously prove that the entanglement created between the system qubits and the clock qubits has operational meaning, as it encodes valuable information about the system’s dynamics. We also provide a circuit depth estimation of all the protocols, showing a running time advantage in computation times over traditional sequential-in-time algorithms. In particular, for the case when the dynamics are determined by the Aubry-Andre model, we present a hybrid method for which our algorithms have a depth that only scales as 𝒪⁡(log⁡(𝑁)⁢𝑛). As a by-product, we can relate the previous schemes to the problem of equilibration of an isolated quantum system, thus indicating that our framework enables a new dimension for studying dynamical properties of many-body systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS2017

A Compilation of MATLAB Scripts and Functions for MACGMC Analyses

The primary aim of the current effort is to provide scripts that automate many of the repetitive pre- and post-processing tasks associated with composite materials analyses using the Micromechanics Analysis Code with the Generalized Method of Cells. This document consists of a compilation of hundreds of scripts that were developed in MATLAB (The Mathworks, Inc., Natick, MA) programming language and consolidated into 16 MATLAB functions. (MACGMC). MACGMC is a composite material and laminate analysis software code developed at NASA Glenn Research Center. The software package has been built around the generalized method of cells (GMC) family of micromechanics theories. The computer code is developed with a user-friendly framework, along with a library of local inelastic, damage, and failure models. Further, application of simulated thermo-mechanical loading, generation of output results, and selection of architectures to represent the composite material have been automated to increase the user friendliness, as well as to make it more robust in terms of input preparation and code execution. Finally, classical lamination theory has been implemented within the software, wherein GMC is used to model the composite material response of each ply. Thus, the full range of GMC composite material capabilities is available for analysis of arbitrary laminate configurations as well. The pre-processing tasks include generation of a multitude of different repeating unit cells (RUCs) for CMCs and PMCs, visualization of RUCs from MACGMC input and output files and generation of the RUC section of a MACGMC input file. The post-processing tasks include visualization of the predicted composite response, such as local stress and strain contours, damage initiation and progression, stress-strain behavior, and fatigue response. In addition to the above, several miscellaneous scripts have been developed that can be used to perform repeated Monte-Carlo simulations to enable probabilistic simulations with minimal manual intervention. This document is formatted to provide MATLAB source files and descriptions of how to utilize them. It is assumed that the user has a basic understanding of how MATLAB scripts work and some MATLAB programming experience.

Materials Engineering↗
NASA NTRS1961

Development of the Lunar and Solar Perturbations in the Motion of an Artificial Satellite

Problems relating to the influence of lunar and solar perturbations on the motion of artificial satellites are analyzed by an extension of Cayley's development of the perturbative function in the lunar theory. In addition, the results are modified for incorporation into the Hansen-type theory used by the NASA Space Computing Center. The theory is applied to the orbits of the Vanguard I and Explorer VI satellites, and the results of detailed computations for these satellites are given together with a physical description of the perturbations in terms of resonance effects.

Musen, P.↗
DOE OSTI2026

The emergent photophysics and photochemistry of molecular polaritons: a theoretical and computational investigation (Final Technical Report)

When molecules are placed between closely spaced mirrors, they interact strongly with the photons that are trapped between them, generating new quantum states which are no longer exclusively material nor photonic alone, but rather, coherent superpositions of both. These hybrid states are known as molecular polaritons, given that they arise from the strong interaction between the electric field of light and the electrical polarization of the molecules. Recently, experimental advances in nano‐ and microfabrication of molecular polariton architectures have successfully demonstrated their feasibility to control the rate and outcome of a certain class of chemical reactions in condensed phases. Importantly, these reactions proceed in strongly dissipative environments such as liquid solvents and lossy mirrors that allow for photons to escape from their confinement. The purpose of this research is to formulate quantum mechanical theories and computational tools that can elucidate the origin of these intriguing phenomena and simultaneously predict capabilities that this new generation of molecular materials affords. Attention is placed on harnessing polaritons to carry out photophysics and photochemistry that challenge currently existing paradigms, such as the optimization of energy conversion processes in organic solar cell or light‐emitting devices, or unconventional phenomena such as long‐range excitation energy transfer, remote control of chemical reactions, and a new quantum mechanical regime of chemical reactivity due to wavefunction overlaps amongst a large number of molecular polaritons (Bose condensation). This research explores a frontier of Chemistry and Physics where electrons, vibrations, and photons interact strongly with each other to generate emergent behavior that can be creatively exploited to address contemporary challenges in Basic Energy Sciences.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

A Chemist’s Guide to Solid-State Qubits: Diamond Color Centers as Embedded Vacancy-Centered Molecules

Diamond point defects or color centers are at the crux of solid-state quantum technology applications, from computing to sensing. Modeling molecular qubits has advanced by leaps and bounds mainly due to the advanced quantum mechanical (QM) tools in the arsenal of quantum chemists for modeling (isolated) molecular systems, which should be easily translatable for analogous systems in the solid state. Here, we simulate a series of diamond defects: a carbon vacancy (V C ) and second row substitutions that are adjacent to a V C or D C V C , with D = B, N, and O, to evaluate their magnetic and optical properties. We applied molecular orbital principles, an embedded cluster method, and a multiconfigurational QM theory to computationally characterize the above-mentioned defects for a multitude of spin, charge, and excited states. Our computational approach delivered high-quality QM insights that compare well with experiments. Furthermore, with this framework, we confirm the spin-triplets B C V C – and O C V C 0 to be analogous to N C V C – , with calculated bright transitions that respectively correspond to UV (3.80 eV) and blue (2.65 eV) light absorption and emission lifetimes (τ) of 2.3 and 5.6 ns, which are higher in energy and more short-lived (and thus brighter) than that for N C V C – : green (2.26 eV), τ = 9.5 ns.

Martirez, John Mark P. [Princeton Plasma Physics L↗
DOE OSTI2024

Grover-QAOA for 3-SAT: quadratic speedup, fair-sampling, and parameter clustering

Abstract The SAT problem is a prototypical NP-complete problem of fundamental importance in computational complexity theory with many applications in science and engineering; as such, it has long served as an essential benchmark for classical and quantum algorithms. This study shows numerical evidence for a quadratic speedup of the Grover Quantum Approximate Optimization Algorithm (G-QAOA) over random sampling for finding all solutions to 3-SAT (All-SAT) and Max-SAT problems. G-QAOA is less resource-intensive and more adaptable for these problems than Grover’s algorithm, and it surpasses conventional QAOA in its ability to sample all solutions. We show these benefits by classical simulations of many-round G-QAOA on thousands of random 3-SAT instances. We also observe G-QAOA advantages on the IonQ Aria quantum computer for small instances, finding that current hardware suffices to determine and sample all solutions. Interestingly, a single-angle-pair constraint that uses the same pair of angles at each G-QAOA round greatly reduces the classical computational overhead of optimizing the G-QAOA angles while preserving its quadratic speedup. We also find parameter clustering of the angles. The single-angle-pair protocol and parameter clustering significantly reduce obstacles to classical optimization of the G-QAOA angles.

Zhang, Zewen (ORCID:000000032258613X)↗
DOE OSTI2025

Achieving designed texture and flows in bulk active nematics using optimal control theory

Being intrinsically nonequilibrium, active materials can potentially perform functions that would be thermodynamically forbidden in passive materials. However, active systems have diverse local attractors that correspond to distinct dynamical states, many of which exhibit chaotic turbulent-like dynamics and thus cannot perform work or useful functions. Designing such a system to choose a specific dynamical state is a formidable challenge. Motivated by recent advances enabling optogenetic control of experimental active materials, we describe an optimal control theory framework that identifies a spatiotemporal sequence of light-generated activity that drives an active nematic system toward a prescribed dynamical steady state. Active nematics are unstable to spontaneous defect proliferation and chaotic streaming dynamics in the absence of control. We demonstrate that optimal control theory can compute activity fields that redirect the dynamics into a variety of alternative dynamical programs and functions. This includes dynamically reconfiguring between states, selecting and stabilizing emergent behaviors that do not correspond to attractors, and are hence unstable in the uncontrolled system. Furthermore, our results provide a roadmap to leverage optical control methods to rationally design structure, dynamics, and function in a wide variety of active materials.

Complex systems theory↗
NASA NTRS2005

Proceedings of the 2004 NASA/ONR Circulation Control Workshop, Part 2

This conference proceeding is comprised of papers that were presented at the NASA/ONR Circulation Control Workshop held 16-17 March 2004 at the Radisson-Hampton in Hampton, VA. Over two full days, 30 papers and 4 posters were presented with 110 scientists and engineers in attendance, representing 3 countries. As technological advances influence the efficiency and effectiveness of aerodynamic and hydrodynamic applications, designs, and operations, this workshop was intended to address the technologies, systems, challenges and successes specific to Coanda driven circulation control in aerodynamics and hydrodynamics. A major goal of this workshop was to determine the state-of-the-art in circulation control and to assess the future directions and applications for circulation control. The 2004 workshop addressed applications, experiments, computations, and theories related to circulation control, emphasizing fundamental physics, systems analysis, and applied research. The workshop consisted of single session oral presentations, posters, and written papers that are documented in this unclassified conference proceeding. The format of this written proceeding follows the agenda of the workshop. Each paper is followed with the presentation given at the workshop. the editors compiled brief summaries for each effort that is at the end of this proceeding. These summaries include the paper, oral presentation, and questions or comments that occurred during the workshop. The 2004 Circulation Control Workshop focused on applications including Naval vehicles (Surface and Underwater vehicles), Fixed Wing Aviation (general aviation, commercial, cargo, and business aircraft); V/STOL platforms (helicopters, military aircraft, tilt rotors); propulsion systems (propellers, jet engines, gas turbines), and ground vehicles (automotive, trucks, and other); wind turbines, and other nontraditional applications (e.g., vacuum cleaner, ceiling fan). As part of the CFD focus area of the 2004 CC Workshop, CFD practitioners were invited to compute a two-dimensional benchmark problem for which geometry, flow conditions, grids, and experimental data were available before the workshop. The purpose was to accumulate a database of simulations for a single problem using a range of CFD codes, turbulence models, and grid strategies so as to expand knowledge of model performance/requirements and guide simulation of practical CC configurations.

Jones, Gregory S.↗