Search NASA⌕ Search

SEARCH · Search NASA

Results for “digital computing”

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 1,549 records · Page 86

Digitization of scalar fields for quantum computing

Qubit, operator, and gate resources required for the digitization of lattice λΦ 4 scalar field theories onto quantum computers are considered, building upon the foundational work by Jordan et al. [Quantum Inf. Comput. 14, 1014 (2014); Science 336, 1130 (2012)], with a focus towards noisy intermediate-scale quantum devices. The Nyquist-Shannon sampling theorem, introduced in this context by Macridin et al. [Phys. Rev. A 98, 042312 (2018)] building on the work of Somma [Quantum Inf. Comput. 16, 1125 (2016)], provides a guide with which to evaluate the efficacy of two field-space bases, the eigenstates of the field operator, as used by Jordan et al., and eigenstates of a harmonic oscillator, to describe ( 0 + 1 )- and ( d + 1 )-dimensional scalar field theory. We show how techniques associated with improved actions, which are heavily utilized in lattice QCD calculations to systematically reduce lattice-spacing artifacts, can be used to reduce the impact of the field digitization in λΦ 4 , but are found to be inferior to a complete digitization improvement of the Hamiltonian using a quantum Fourier transform. When the Nyquist-Shannon sampling theorem is satisfied, digitization errors scale as | log | log | ε dig | | | ~ n Q (number of qubits describing the field at a given spatial site) for the low-lying states, leaving the familiar power-law lattice-spacing and finite-volume effects that scale as | log | ε latt | | ~ N Q (total number of qubits in the simulation). For localized (delocalized) field-space wave functions, it is found that n Q ~ 4 ( 7 ) qubits per spatial lattice site are sufficient to reduce theoretical digitization errors below error contributions associated with approximation of the time-evolution operator and noisy implementation on near-term quantum devices. Only classical computing resources have been used to obtain the results presented in this work.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

A digitally reconstructed radiograph algorithm calculated from first principles

Purpose: To develop an algorithm for computing realistic digitally reconstructed radiographs (DRRs) that match real cone-beam CT (CBCT) projections with no artificial adjustments. Methods: The authors used measured attenuation data from cone-beam CT projection radiographs of different materials to obtain a function to convert CT number to linear attenuation coefficient (LAC). The effects of scatter, beam hardening, and veiling glare were first removed from the attenuation data. Using this conversion function the authors calculated the line integral of LAC through a CT along rays connecting the radiation source and detector pixels with a ray-tracing algorithm, producing raw DRRs. The effects of scatter, beam hardening, and veiling glare were then included in the DRRs through postprocessing. Results: The authors compared actual CBCT projections to DRRs produced with all corrections (scatter, beam hardening, and veiling glare) and to uncorrected DRRs. Algorithm accuracy was assessed through visual comparison of projections and DRRs, pixel intensity comparisons, intensity histogram comparisons, and correlation plots of DRR-to-projection pixel intensities. In general, the fully corrected algorithm provided a small but nontrivial improvement in accuracy over the uncorrected algorithm. The authors also investigated both measurement- and computation-based methods for determining the beam hardening correction, and found the computation-based method to be superior, as it accounted for nonuniform bowtie filter thickness. The authors benchmarked the algorithm for speed and found that it produced DRRs in about 0.35 s for full detector and CT resolution at a ray step-size of 0.5 mm. Conclusions: The authors have demonstrated a DRR algorithm calculated from first principles that accounts for scatter, beam hardening, and veiling glare in order to produce accurate DRRs. The algorithm is computationally efficient, making it a good candidate for iterative CT reconstruction techniques that require a data fidelity term based on the matching of DRRs and projections.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Efficacy of Compression Garments to Simulate Fluid Shifts during Lunar Bedrest

The effectiveness of JOBST(Registered TradeMark) compression stockings for fluid redistribution was examined in the lunar bed rest analog based on Digital Astronaut computer model predictions. NASA's future goals include missions to the moon which will require extended exposure to the lunar gravity environment. To prepare for these missions, physiological adaptations in various systems must be resolved. A bed rest at a 10 degree head-up tilt was used to simulate lunar gravity. Plasma volume (PV) loss may cause some of the cardiovascular adaptations which occur during space flight so PV is measured in the bed rest analog to evaluate fluid loss. PV varies from individual to individual so PV index (PVI) is used to determine the magnitude and time course of fluid shift and cardiovascular adaptation to 1/6 g. The Digital Astronaut, a computer simulation tool, predicts a 6% PV loss during an extended simulated lunar mission for a male with a body surface area of 1.95 m(exp 2). Simple geometry calculations suggest that 10 degree head-up tilt is most useful for simulated measurement of deconditioning in bone and muscle, however, 2 degree head-up tilt may best imitate cardiovascular fluid shifts. In order to reconcile these different models, compression stocking must be used in the 10 degree paradigm to better approximate expected cardiovascular changes.

Brinley, Alaina↗

Neuromorphic intermediate representation: A unified instruction set for interoperable brain-inspired computing

Abstract Spiking neural networks and neuromorphic hardware platforms that simulate neuronal dynamics are getting wide attention and are being applied to many relevant problems using Machine Learning. Despite a well-established mathematical foundation for neural dynamics, there exists numerous software and hardware solutions and stacks whose variability makes it difficult to reproduce findings. Here, we establish a common reference frame for computations in digital neuromorphic systems, titled Neuromorphic Intermediate Representation (NIR). NIR defines a set of computational and composable model primitives as hybrid systems combining continuous-time dynamics and discrete events. By abstracting away assumptions around discretization and hardware constraints, NIR faithfully captures the computational model, while bridging differences between the evaluated implementation and the underlying mathematical formalism. NIR supports an unprecedented number of neuromorphic systems, which we demonstrate by reproducing three spiking neural network models of different complexity across 7 neuromorphic simulators and 4 digital hardware platforms. NIR decouples the development of neuromorphic hardware and software, enabling interoperability between platforms and improving accessibility to multiple neuromorphic technologies. We believe that NIR is a key next step in brain-inspired hardware-software co-evolution, enabling research towards the implementation of energy efficient computational principles of nervous systems. NIR is available atneuroir.org

Science & Technology - Other Topics↗

Material Identification Using Dual Energy X-ray Absorptiometry

Two implementations of dual energy X-ray absorptiometry were studied to identify materials using X-ray attenuation data taken with the Digital Radiography and Computed Tomography (DRCT) systems that were developed for the Recovered Chemical Materiel Directorate (RCMD). Maitrejean et al.’s approach utilizes eigen effects through Principal Component Analysis, while Osipov et al.’s approach proposed a physics-based method. Both approaches approximate mass attenuation coefficients of materials as a linear combination of basis functions (eigen effects) or physics-based equations. A set of coefficients {a 1 , a 2 , a 3 } or {B, D} were found by parameter optimization in EXCEL Solver. The identification parameters, {$\frac{a_{2}}{a_{1}}$, $\frac{a_{3}}{a_{1}}$} or estimated effective atomic number $\hat{Z}$ from {B, D}, were calculated to identify material of an aluminum 8 step wedge and a steel 8 step wedge in X-ray radiography images taken by a DRCT system. Maitrejean et al.’s approach was unable to provide reliable $\frac{a_{3}}{a_{1}}$ ratio values for identification of materials. Osipov et al.’s approach was found to be more robust in identify materials with a semi-empirical formula derived from test results in this study.

36 MATERIALS SCIENCE↗

The Steel Equivalency Workbook: An X-Ray Transmission Calculator

The Steel Equivalency Spreadsheet was created as a robust, user-friendly method for the following: 1. Determining if it is possible to image an object. 2. Reducing time needed when selecting equipment and preparing for field imaging activities. 3. Reducing the amount of equipment taken for field imaging activities. 4. Determining a starting point for exposure settings prior to imaging an object. 5. Reducing the amount of dose deposited to complete an imaging operation (in the spirit of As Low As Reasonably Achievable, ALARA). The spreadsheet was developed using various physical models to account for different phenomena. Future implementations aim to expand beyond the Digital Radiography and Computed Tomography Single Munition Scanner (DRCT SMS) in standard configuration to include high energy XRGs (Betatrons) and sub-MeV pulsed XRGs (XRS4). Alternative computational methods that compensate for incoherent scattering when calculating relative transmission are also being pursued. Ultimately the spreadsheet exceeded the developmental goal of having less than 10% average error when comparing calculations to real-world images.

36 MATERIALS SCIENCE↗

Computer program for Video Data Processing System /VDPS/

Video data from spacecraft photographic mission telemetry is scanned to generate digital tape computer program which prints out intensity points, cleans noise and telemetry drop-out, enhances contrast, modifies the picture, and calculates contour lines. The output is converted into new photographic film.

Billingsley, F. C.↗

Sentinel Devices LLC (CRADA Final Report)

Industrial equipment is a critical component of virtually all at-scale manufacturing and infrastructure. Broadly speaking, modern equipment is predominantly controlled using hardened digital controllers – computers designed to be able to operate continuously for sometimes extremely long periods of time, with little to no maintenance. Due to the nature of how these digital controllers have evolved, they are solely optimized to execute a single task, and do not have the capabilities or resources to monitor or analyze their internal state beyond simple execution of their program. As a result, for many “common sense” situations where individual data points can be easily determined to be out-of-normal, the controllers are unable to identify these incorrect operational modes unless a human has explicitly programmed in detection of this degradation. This project seeks to develop an AI/ML system which can identify incorrect or anomalous trends in industrial data streams, of exactly the kind that would be produced and seen by these digital controllers, with a minimal amount of computing resources. The benefits produced by developing this system would ultimately be self-monitoring and self-reporting infrastructure, capable of identifying and alerting humans to issues as soon as they happen, potentially long before they have the chance to impact the industrial process.

42 ENGINEERING↗

Survey-wide asteroid discovery with a high-performance computing enabled non-linear digital tracking framework

Modern astronomical surveys detect asteroids by linking together their appearances across multiple images taken over time. This approach faces limitations in detecting faint asteroids and handling the computational complexity of trajectory linking. Here, we present a novel method that adapts “digital tracking” – traditionally used for short-term linear asteroid motion across images – to work with large-scale synoptic surveys such as the Vera Rubin Observatory Legacy Survey of Space and Time (Rubin/LSST). Our approach combines hundreds of sparse observations of individual asteroids across their non-linear orbital paths to enhance detection sensitivity by several magnitudes. To address the computational challenges of processing massive data sets and dense orbital phase spaces, we developed a specialized high-performance computing architecture. We demonstrate the effectiveness of our method through experiments that take advantage of the extensive computational resources at Lawrence Livermore National Laboratory. This work enables the detection of significantly fainter asteroids in existing and future survey data, potentially increasing the observable asteroid population by orders of magnitude across different orbital families, from near-Earth objects (NEOs) to Kuiper belt objects (KBOs).

Asteroid discovery↗

Data and results of a laboratory investigation of microprocessor upset caused by simulated lightning-induced analog transients

Advanced composite aircraft designs include fault-tolerant computer-based digital control systems with thigh reliability requirements for adverse as well as optimum operating environments. Since aircraft penetrate intense electromagnetic fields during thunderstorms, onboard computer systems maya be subjected to field-induced transient voltages and currents resulting in functional error modes which are collectively referred to as digital system upset. A methodology was developed for assessing the upset susceptibility of a computer system onboard an aircraft flying through a lightning environment. Upset error modes in a general-purpose microprocessor were studied via tests which involved the random input of analog transients which model lightning-induced signals onto interface lines of an 8080-based microcomputer from which upset error data were recorded. The application of Markov modeling to upset susceptibility estimation is discussed and a stochastic model development.

Belcastro, C. M.↗

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

The formal specification and mechanically checked verification for a model of fault-masking and transient-recovery among the replicated computers of digital flight-control systems are presented. The verification establishes, subject to certain carefully stated assumptions, that faults among the component computers are masked so that commands sent to the actuators are the same as those that would be sent by a single computer that suffers no failures.

Rushby, John↗

Saturn v system philosophies.

Saturn V launch control and checkout system discussing interconnected computer complexes, digital and video displays and programming methods

COMPUTER PROGRAM↗