Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 757 records · Page 42

FPGA-based HPC accelerators: An evaluation on performance and energy efficiency

Hardware specialization is a promising direction for the future of digital computing. Reconfigurable technologies enable hardware specialization with modest non-recurring engineering cost, but their performance and energy efficiency compared to state-of-the-art processor architectures remain an open question. In this article, we use FPGAs to evaluate the benefits of building specialized hardware for numerical kernels found in scientific applications. In order to properly evaluate performance, we not only compare Intel Arria 10 and Xilinx U280 performance against Intel Xeon, Intel Xeon Phi, and NVIDIA V100 GPUs, but we also extend the Empirical Roofline Toolkit (ERT) to FPGAs in order to assess our results in terms of the Roofline model. We show design optimization and tuning techniques for peak FPGA performance at reasonable hardware usage and power consumption. As FPGA peak performance is known to be far less than that of a GPU, we also benchmark the energy efficiency of each platform for the scientific kernels comparing against microbenchmark and technological limits. Results show that while FPGAs struggle to compete in absolute terms with GPUs on memory- and compute-intensive kernels, they require far less power and can deliver nearly the same energy efficiency.

97 MATHEMATICS AND COMPUTING↗

Framework for Identifying Cybersecurity Risks in Manufacturing

Increasing connectivity, use of digital computation, and off-site data storage provide potential for dramatic improvements in manufacturing productivity, quality, and cost. However, there are also risks associated with the increased volume and pervasiveness of data that are generated and potentially accessible to competitors or adversaries. Enterprises have experienced cyber attacks that exfiltrate confidential and/or proprietary data, alter information to cause an unexpected or unwanted effect, and destroy capital assets. Manufacturers need tools to incorporate these risks into their existing risk management processes. This article establishes a framework that considers the data flows within a manufacturing enterprise and throughout its supply chain. The framework provides several mechanisms for identifying generic and manufacturing-specific vulnerabilities and is illustrated with details pertinent to an automotive manufacturer. Finally, in addition to providing manufacturers with insights into their potential data risks, this framework addresses an outcome identified by the NIST Cybersecurity Framework.

97 MATHEMATICS AND COMPUTING↗

True random number generation using the spin crossover in LaCoO 3

While digital computers rely on software-generated pseudo-random number generators, hardware-based true random number generators (TRNGs), which employ the natural physics of the underlying hardware, provide true stochasticity, and power and area efficiency. Research into TRNGs has extensively relied on the unpredictability in phase transitions, but such phase transitions are difficult to control given their often abrupt and narrow parameter ranges (e.g., occurring in a small temperature window). Here we demonstrate a TRNG based on self-oscillations in LaCoO 3 that is electrically biased within its spin crossover regime. The LaCoO 3 TRNG passes all standard tests of true stochasticity and uses only half the number of components compared to prior TRNGs. Assisted by phase field modeling, we show how spin crossovers are fundamentally better in producing true stochasticity compared to traditional phase transitions. As a validation, by probabilistically solving the NP-hard max-cut problem in a memristor crossbar array using our TRNG as a source of the required stochasticity, we demonstrate solution quality exceeding that using software-generated randomness.

97 MATHEMATICS AND COMPUTING↗

Prime factorization using magnonic holographic devices

Determining the prime factors of a given number $N$ is a problem that requires super-polynomial time for conventional digital computers. A polynomial-time algorithm was invented by Shor for quantum computers. In this paper, we present experimental data that demonstrate prime factorization using spin-wave interference but without quantum entanglement. Prime factorization includes three major steps. First, a general-type computer calculates the sequence of numbers m k mod($N$), where $N$ is the number to be factorized, m is a randomly chosen positive integer, and k = 1, 2, 3, 4, 5, 6…. Next, the period of the calculated sequence $r$ is determined by exploiting spin-wave interference. Finally, the general-type computer determines the primes based on the obtained $r$. The experiment for period finding was conducted on a six-terminal Y 3 Fe 2 (FeO 4 ) 3 device. We chose number 15 for testing and determined its primes using a sequence of measurements. The obtained experimental data for a micrometer-sized prototype aimed to demonstrate the benefits of using spin-wave devices to solve complex computational problems. Scalability is one of the major strengths inherent in this type of wave-based device, which may provide a route to nanometer-sized logic circuits. We discuss the physical and technological limitations of this approach, which define the maximum size of N and the computational speed. Although this classical approach cannot compete with the quantum algorithm in terms of efficiency, magnonic holographic devices can potentially be used as complementary logic units aimed at speeding up prime factorization for classical computers.

97 MATHEMATICS AND COMPUTING↗

The Third Cognitive Revolution: The consequences and possibilities for biomedical research

The Third Cognitive Revolution has just started. It follows the ones that, first, brought us the alphabet, numbers, agriculture, and urbanization; and, second, the printing press, books, and the scientific method. The Third Cognitive Revolution (TCR) is characterized by digitalization, computers, the World Wide Web, and global research efforts. While earlier revolutions proceeded at a slow pace over centuries, the current one started only a generation ago and is changing all aspects of human society and even human biology at an unprecedented pace. This leaves little time to analyze the profound effects of these changes and to come to terms with the explosion of knowledge and opportunities that the TCR brings with it. This article explores some of the TCR's positive and some of the troublesome consequences for biomedical research and the social sciences. We focus on two problems: the risk of delaying the adoption of available knowledge and the questionable validity of much of the published literature. To address and hopefully prevent these unintended and problematic developments, we propose and discuss topics that would promote inter– and trans–disciplinary communication.

59 BASIC BIOLOGICAL SCIENCES↗

Promise of Graph Sparsification and Decomposition for Noise Reduction in QAOA: Analysis for Trapped-Ion Compilations

We develop new approximate compilation schemes that significantly reduce the expense of compiling the Quantum Approximate Optimization Algorithm (QAOA) for solving the Max-Cut problem. Our main focus is on compilation with trapped-ion simulators using Pauli-X operations and all-to-all Ising Hamiltonian HIsing evolution generated by Molmer-Sorensen or optical dipole force interactions, though some of our results also apply to standard gate-based compilations. Our results are based on principles of graph sparsification and decomposition; the former reduces the number of edges in a graph while maintaining its cut structure, while the latter breaks a weighted graph into a small number of unweighted graphs. Though these techniques have been used as heuristics in various hybrid quantum algorithms, there have been no guarantees on their performance, to the best of our knowledge. This work provides the first provable guarantees using sparsification and decomposition to improve quantum noise resilience and reduce quantum circuit complexity. For quantum hardware that uses edge-by-edge QAOA compilations, sparsification leads to a direct reduction in circuit complexity. For trapped-ion quantum simulators implementing all-to-all HIsing pulses, we show that for a (1−ϵ) factor loss in the Max-Cut approximation (ϵ>0), our compilations improve the (worst-case) number of HIsing pulses from O(n2) to O(nlog(n/ϵ)) and the (worst-case) number of Pauli-X bit flips from O(n2) to O(nlog(n/ϵ)ϵ2) for n-node graphs. This is an asymptotic improvement for any constant ϵ>0. We demonstrate that significant improvements to the approximation ratio are obtained using decomposition in simulated trapped-ion experiments with dephasing noise. We further present a generic argument showing that sparsification results in an exponentially improved circuit fidelity lower bound in digital computing schemes based on one- and two-qubit gates, which are relevant to a wide variety of hardwares such as superconducting qubits and certain neutral atom or trapped ion setups, and more sophisticated noise models. We anticipate these approximate compilation techniques will be useful tools in a variety of future quantum computing experiments.

Moondra, Jai [Georgia Institute of Technology]↗

THERMAL STRESSES IN CIRCULAR DISCS.

Analyses are presented for the elastic buckling of a thin circular disc subjected to a steady-state, two-dimensional, radially- symmetrical temperature gradient. Ritz minimizing procedure were used to evaluate parameters for the critical temperature difference and for the mode of buckling. Numerical solutions were obtained on a digital computer for the boundary conditions of inner radius fixed and outer radius either free or fixed for discs with diameter ratios of 1.25 to 12. values for the range of diameter ratios tested.

THERMAL STRESS↗

Numerical Analysis of the Transient Response of Advanced Thermal Protection Systems for Atmospheric Entry

Equations for the transfer of heat through thermal protection shields are derived in finite difference form. These equations are applicable to charring ablators, impregnated ceramics, subliming ablators, heat sinks, and insulating materials and have been programed for solution on a high-speed digital computer. In the program, thermal properties can be functions of temperature. Provision is made for analysis of heat shields subjected to simultaneous convective and radiative heat inputs. Some typical results are presented. Limited comparisons with experimental results are made.

THERMAL PROTECTION↗

Thermodynamic and Transport Property Correlation Formulas for Equilibrium Air from 1,000 Degrees Kelvin to 15,000 Degrees Kelvin

The thermodynamic properties, density and temperature, as well as transport property parameters involving viscosity, Prandtl number (including diffusion effects), and gaseous radiation absorption coefficients have been correlated as a function of enthalpy at four pressure levels (10 (sup -1), 10 (sup 0), 10, and 10 (sup 2) atmospheres). The correlation formulas are written in a generalized form for which coefficients for a particular property and pressure level are tabulated. The correlation formulas are useful in digital computer programs for non-adiabatic viscous flow problems.

AIR↗

Asymmetric Buckling of Clamped Shallow

The problem of buckling of clamped shallow spherical shells has recently been considered in several theoretical investigations. Buck-ling loads under uniform external pressure were obtained in these investigations which show a surprisingly good agreement with each other, but show a marked disagreement with available experimental values. In all previous studies it has been assumed that the shell deformations are rotationally symmetric. In this paper, the buckling problem is re-examined by introducing asymmetric modes of deformation. The approach is to superimpose small asymmetric deflections on finite axisymmetric deflections, and to show that the symmetric states of deformation are unstable over certain ranges of load and geometry parameter. Numerical results are obtained by means of a digital computer and are compared with previous theoretical and experimental results.

SPHERICAL SHELL↗

Tracking and Orbit-Determination Program of the Jet Propulsion Laboratory

The lunar-probe tracking program at the Jet Propulsion Laboratory has two prime objectives: (1) provide real-time predictions of the direction of the probe from various observation stations; (2) establish a reliable trajectory corresponding to the actual flight path of the probe. The tracking program, although developed for use with lunar probes, can be used for interplanetary probes if certain modifications are made. The program, as developed for the IBM 704 digital computer, has two distinct phases. First, the equations of motion and the variational equations are integrated to each observation time where the elements of the equation A (sub u) equals b [linearization of the maximum likelihood equations] are computed. The second phase is concerned with the solution of a specified subset of A (sub u) equals b. Flexibility and ease of operation have been major objectives in writing the 704 program. The number of data points and tracking stations that may be used is limited only by computing time and core storage. Input formats and operating instructions are presented for utilizing the various computational options available in the program.

Carr, Russell E.↗

Logic redundancy improves digital system reliability

Redundant-channel system automatically corrects any single error in a set of three binary signal channels. This system is especially applicable to digital computers where data is transmitted in parallel channels.

Source record↗

Auxiliary circuit enables automatic monitoring of EKG'S

Auxiliary circuits allow direct, automatic monitoring of electrocardiograms by digital computers. One noiseless square-wave output signal for each trigger pulse from an electrocardiogram preamplifier is produced. The circuit also permits automatic processing of cardiovascular data from analog tapes.

Source record↗