Search NASA⌕ Search

SEARCH · Search NASA

Results for “quantum programming”

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 19 records

State-Chart Autocoder

A computer program translates Unified Modeling Language (UML) representations of state charts into source code in the C, C++, and Python computing languages. ( State charts signifies graphical descriptions of states and state transitions of a spacecraft or other complex system.) The UML representations constituting the input to this program are generated by using a UML-compliant graphical design program to draw the state charts. The generated source code is consistent with the "quantum programming" approach, which is so named because it involves discrete states and state transitions that have features in common with states and state transitions in quantum mechanics. Quantum programming enables efficient implementation of state charts, suitable for real-time embedded flight software. In addition to source code, the autocoder program generates a graphical-user-interface (GUI) program that, in turn, generates a display of state transitions in response to events triggered by the user. The GUI program is wrapped around, and can be used to exercise the state-chart behavior of, the generated source code. Once the expected state-chart behavior is confirmed, the generated source code can be augmented with a software interface to the rest of the software with which the source code is required to interact.

Clark, Kenneth↗

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation

Recently, the makespan-minimization problem of compiling a general class of quantum algorithms into near-term quantum processors has been introduced to the AI community. The research demonstrated that temporal planning is a strong solution approach for the studied class of quantum circuit compilation (QCC) problems. In this paper, we explore the use of methods from operations research, specifically constraint programming (CP), as an alternative and complementary approach to temporal planning. We also extend previous work by introducing two new problem variations that incorporate important characteristics identified by the quantum computing community. We apply temporal planning and CP to the baseline and extended QCC problems as both stand-alone and hybrid approaches. The hybrid method uses solutions found by temporal planning to warm-start CP, leveraging the ability of temporal planning to find satisficing solutions to problems with a high degree of task optionality, an area that CP typically struggles with. These solutions are then used to seed the CP formulation which significantly benefits from inferred bounds on planning horizon and task counts provided by the warm-start. Our extensive empirical evaluation indicates that while stand-alone CP is not competitive with temporal planning, except for the smallest problems, CP in a hybrid setting is beneficial for all temporal planners in all problem classes.

quantum circuit compilation↗

SCaN Quantum Briefing - Conference Paper

This preface and the following four talks are meant to Give an overview of NASA-SCaN quantum comm. program, Highlight the new drive, Outline the vision, Stress the active pursuit of partnerships.

quantum↗

Linear Scaling Density Functional Calculations with Gaussian Orbitals

Recent advances in linear scaling algorithms that circumvent the computational bottlenecks of large-scale electronic structure simulations make it possible to carry out density functional calculations with Gaussian orbitals on molecules containing more than 1000 atoms and 15000 basis functions using current workstations and personal computers. This paper discusses the recent theoretical developments that have led to these advances and demonstrates in a series of benchmark calculations the present capabilities of state-of-the-art computational quantum chemistry programs for the prediction of molecular structure and properties.

Scuseria, Gustavo E.↗

The inverse-square law and quantum gravity

A program is described which measures the gravitational acceleration of antiprotons. This idea was approached from a particle physics point of view. That point of view is examined starting with some history of physics over the last 200 years.

Nieto, Michael Martin↗

Improved Fermion Hamiltonians for Quantum Simulation

The Symanzik improvement program has been quite successful in classical simulations of quantum chromodynamics allowing calculations to be performed at coarser lattice spacings and with reduced computational resource costs. It is expected that improved Hamiltonians will be essential to simulate lattice field theories using quantum computers. In this work I will discuss the formulation of an ASQTAD and HISQ Hamiltonian amenable for quantum simulations. I will also show preliminary results that demonstrate significant tree-level contributions are removed in the spectrum of the 1 flavor Schwinger model.

quantum computing↗

Quantum-accelerated Global Constraint Filtering

Motivated by recent advances in quantum algorithms and gate-model quantum computation, we introduce quantum-accelerated filtering algorithms for global constraints in constraint programming. We adapt recent work in quantum algorithms for graph problems and identify quantum subroutines that accelerate the main domain consistency algorithms for the all different constraint and the global cardinality constraint (gcc). The subroutines are based on quantum algorithms for finding maximum matchings and strongly connected components in graphs, and provide speedups over the best classical algorithms. We detail both complete and bounded-probability frameworks for quantum-accelerated global constraint filtering algorithms within backtracking search.

Quantum algorithms↗

Multi-Dimensional Quantum Effect Simulation Using a Density-Gradient Model and Script-Level Programming Techniques

A density-gradient (DG) model is used to calculate quantum-mechanical corrections to classical carrier transport in MOS (Metal Oxide Semiconductor) inversion/accumulation layers. The model is compared to measured data and to a fully self-consistent coupled Schrodinger and Poisson equation (SCSP) solver. Good agreement is demonstrated for MOS capacitors with gate oxide as thin as 21 A. It is then applied to study carrier distribution in ultra short MOSFETs (Metal Oxide Semiconductor Field Effect Transistor) with surface roughness. This work represents the first implementation of the DG formulation on multidimensional unstructured meshes. It was enabled by a powerful scripting approach which provides an easy-to-use and flexible framework for solving the fourth-order PDEs (Partial Differential Equation) of the DG model.

Rafferty, Connor S.↗

Development of 256 x 256 Element Impurity Band Conduction Infrared Detector Arrays for Astronomy

This report describes the work performed on a one and a half year advance technology program to develop Impurity Band Conduction (IBC) detectors with very low dark current, high quantum efficiency, and with good repeatable processes. The program fabricated several epitaxial growths of Si:As detecting layers from 15 to 35 microns thick and analyzed the performance versus the thickness and the Arsenic concentration of these epitaxial layers. Some of the epitaxial runs did not yield because of excessive residual impurities. The thicker epitaxial layers and the ones with higher Arsenic concentration resulted in good detectors with low dark currents and good quantum efficiency. The program hybridized six detector die from the best detector wafers to a low noise, 256 x 256 readout array and delivered the hybrids to NASA Ames for a more detailed study of the performance of the detectors.

Domingo, George↗

Experimental and Theoretical Needs for the JWST Early Release Science Program on Radiative Feedback from Massive Stars (PDRs4ALL): III. A Quantum Chemistry Perspective

Massive stars disrupt their natal molecular cloud material by dissociating molecules, ionizing atoms and molecules, and heating the gas and dust. These processes drive the evolution of interstellar matter in our Galaxy and throughout the Universe from the era of vigorous star formation at z=1-3 to the present day. Much of this interaction occurs in Photo- Dissociation Regions (PDRs) where far-ultraviolet photons of these stars create a largely neutral, but warm region of gas and dust. PDR emission dominates the IR spectra of starforming galaxies and provides a unique tool to study the physical and chemical processes that are relevant for inter- and circumstellar media including diffuse clouds, molecular cloud and protoplanetary disk surfaces, and starburst galaxies. The ERS program ID1288 is dedicated to provide template data as well as data processing and analysis tools for PDRs. To this end, it will observe the Orion Bar, the proto-typical PDR situated in the nearby Orion Nebula, using NIRSpec IFU, MIRI IFU, and NIRCAM and MIRI imaging. These observations will, for the first time, spatially resolve and perform a tomography of the PDR, revealing the individual IR spectral signatures from the key zones and sub-regions within the ionized gas, the PDR, and the molecular cloud. Quantum chemistry can be used to determine molecular data such as ionization potentials, chemical reaction rates, electronic spectra, dissociation energies, channels, and branching ratios, etc. These are often used in synergy with experiment to take advantage of the strengths of each approach. An area of active research is modeling the infrared (IR) emission spectra produced by PAH molecules, including the effects of anharmonicity. This will be important in the interpretation of JWST data which will yield higher-resolution spectral data compared to Spitzer or ISO. Quantum chemistry methods can compute accurate anharmonic IR absorption spectra of PAH molecules up to about 25 C atoms, and the results have been benchmarked against high-resolution experimental spectra. These feed into a quantum Monte Carlo (QMC) approach to generate temperature-dependent anharmonic IR emission spectra and then used to generate fully anharmonic cascade emission IR spectra of PAH molecules -- the very type of spectra that JWST will observe. Work continues to extend these methods to larger PAH molecules. We will discuss the current state of this work, as well as

Timothy Lee↗

Alloy Design Workbench-Surface Modeling Package Developed

NASA Glenn Research Center's Computational Materials Group has integrated a graphical user interface with in-house-developed surface modeling capabilities, with the goal of using computationally efficient atomistic simulations to aid the development of advanced aerospace materials, through the modeling of alloy surfaces, surface alloys, and segregation. The software is also ideal for modeling nanomaterials, since surface and interfacial effects can dominate material behavior and properties at this level. Through the combination of an accurate atomistic surface modeling methodology and an efficient computational engine, it is now possible to directly model these types of surface phenomenon and metallic nanostructures without a supercomputer. Fulfilling a High Operating Temperature Propulsion Components (HOTPC) project level-I milestone, a graphical user interface was created for a suite of quantum approximate atomistic materials modeling Fortran programs developed at Glenn. The resulting "Alloy Design Workbench-Surface Modeling Package" (ADW-SMP) is the combination of proven quantum approximate Bozzolo-Ferrante-Smith (BFS) algorithms (refs. 1 and 2) with a productivity-enhancing graphical front end. Written in the portable, platform independent Java programming language, the graphical user interface calls on extensively tested Fortran programs running in the background for the detailed computational tasks. Designed to run on desktop computers, the package has been deployed on PC, Mac, and SGI computer systems. The graphical user interface integrates two modes of computational materials exploration. One mode uses Monte Carlo simulations to determine lowest energy equilibrium configurations. The second approach is an interactive "what if" comparison of atomic configuration energies, designed to provide real-time insight into the underlying drivers of alloying processes.

Abel, Phillip B.↗

Quantum efficiency measurements of Tektronix backside thinned CCDs

Results are presented of a program in progress to produce CCDs with high stable quantum efficiency (QE). Measurements made at 253.7 nm over a six-month period showed no significant QE difference between two CCDs manufactured in 1989 and one manufactured in 1988. QE improvement by the addition of a two-layer antireflection coating is about threefold at 400 nm.

Delamere, Alan↗