Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - CALCUS, OPERATIONAL”

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 55 records · Page 3

Even Higher-Level Synthesis: An Exploration of AI Hardware Accelerators using HLS4ML

With the rise of artificial intelligence, the popularization of deep learning, and a constantly evolving industry, the demand for flexible and efficient tools has never been greater. As algorithms grow more complex, their runtime and energy consumption increase exponentially. Customized hardware accelerators, long used for specific mathematical operations, remain essential for managing modern applications' computational and power demands. Hardware accelerators can speed up complex computations by orders of magnitude, but their manual design and verification processes are often challenging and time-consuming. High-Level Synthesis (HLS) provides a solution by transforming high-level algorithm descriptions, typically written in C++ or SystemC, into synthesizable RTL suitable for hardware implementation. This approach reduces development time for RTL engineers while offering flexibility beyond what traditional handwritten RTL can provide. We extended this capability to the machine-learning domain with the open-source framework hls4ml, which allows neural networks trained in Python frameworks like Tensorflow or PyTorch to be synthesized into efficient hardware representations for the traditional FPGA and ASIC flows. This breakthrough addresses the growing need for reduced design turnaround and easy verification of ML hardware accelerators with low latency and power efficiency constraints. During this tutorial, we will demonstrate how Python complements HLS by simplifying the ML design process, bridging the gap between software and hardware development. Attendees will explore how we translate neural networks modeled in Python into fixed-point C++ models suitable for HLS workflows. We will dive into strategies like Value-Range Analysis and Quantization-Aware Training, which optimize these designs for deployment and evaluate their accuracy, power consumption, and energy efficiency. To exemplify these concepts, experts from Fermilab will share their experiences applying this technology to high-energy physics experiments, where real-time, low-latency processing is critical. Over the years, Fermilab engineers have demonstrated how deep neural networks, optimized for hardware using hls4ml, can meet the stringent requirements of trigger systems at the CERN Large Hadron Collider. These systems rely on rapid decision-making to process immense data volumes while retaining only the most relevant events for further analysis. The application of hls4ml has also been extended to innovative technologies like smart pixel arrays. These smart pixels integrate ML inference capabilities directly into sensor devices, enabling localized data processing at the pixel level. This approach drastically reduces the need to transmit raw data to external processing units, significantly decreasing power consumption and latency. By embedding neural networks within the pixel architecture, the smart pixels can identify and prioritize relevant data in real time, providing a highly efficient solution for edge computing in scenarios such as particle detectors and imaging systems. Fermilab's work highlights the potential of hardware-accelerated ML in scenarios where both speed and power efficiency are mission-critical. Through this tutorial, attendees will gain valuable insights into the challenges and solutions of deploying ML in hardware. Understanding how HLS and hls4ml streamline the development of neural network-based hardware accelerators is fundamental for the industry's future. Participants will learn how these technologies are shaping the future of AI and scientific computing.

Di Guglielmo, Giuseppe [Fermilab]↗

Computer program determines chemical composition of physical system at equilibrium

FORTRAN 4 digital computer program calculates equilibrium composition of complex, multiphase chemical systems. This is a free energy minimization method with solution of the problem reduced to mathematical operations, without concern for the chemistry involved. Also certain thermodynamic properties are determined as byproducts of the main calculations.

Kwong, S. S.↗

On optimal modeling of systems.

A procedure for modeling a linear system by an optimal finite-dimensional approximation is developed on the basis of Sard's (1967) generalized spline. Error bounds are given, and the application of the procedure is illustrated by two presented examples. The procedure may be employed, not only in the modeling of conventional lumped-parameter and distributed-parameter continuous dynamical systems, but also in mathematical operations such as those involved in pattern recognition and picture enhancement problems.

De Figueiredo, R. J. P.↗

Introduction to computer image processing

Theoretical backgrounds and digital techniques for a class of image processing problems are presented. Image formation in the context of linear system theory, image evaluation, noise characteristics, mathematical operations on image and their implementation are discussed. Various techniques for image restoration and image enhancement are presented. Methods for object extraction and the problem of pictorial pattern recognition and classification are discussed.

Moik, J. G.↗

Band models and correlations for infrared radiation

Absorption of infrared radiation by various line and band models are briefly reviewed. Narrow band model relations for absorptance are used to develop 'exact' formulations for total absorption by four wide band models. Application of a wide band model to a particular gas largely depends upon the spectroscopic characteristic of the absorbing-emitting molecule. Seven continuous correlations for the absorption of a wide band model are presented and each one of these is compared with the exact (numerical) solutions of the wide band models. Comparison of these results indicate the validity of a correlation for a particular radiative transfer application. In radiative transfer analyses, use of continuous correlations for total band absorptance provides flexibilities in various mathematical operations.

Tiwari, S. N.↗

Synthetic Aperture Radar (SAR) data processing

The available and optimal methods for generating SAR imagery for NASA applications were identified. The SAR image quality and data processing requirements associated with these applications were studied. Mathematical operations and algorithms required to process sensor data into SAR imagery were defined. The architecture of SAR image formation processors was discussed, and technology necessary to implement the SAR data processors used in both general purpose and dedicated imaging systems was addressed.

Beckner, F. L.↗

Cloud type separation by spectral differencing of image pairs

A technique is presented for discriminating different cloud types through an image subtraction of visible and infrared SMS/GOES picture pairs. The technique emphasizes how one could separate snow from clouds and identify cirrus by the subtraction method. Quantitative threshold values are shown which can be used in an objective manner to make this separation. Use is made of an all-digital image display device allowing such mathematical operations to be performed on satellite data. Techniques such as this can be made operational through the interfacing of the image analysis system with a direct-readout SMS/GOES ground station and distribution network.

Reynolds, D. W.↗

The 1980 summer research fellowship program

The problem of incorporating visual input into robot systems is described. The photochemistry of the stratosphere, particularly possible permutations of the ozone layer, is discussed. Photoelectrochemical properties of metal thio-hypodiphosphates are investigated. Extreme eigenvalues are computed by the Lancqos approach. The rotational Raman spectra of the molecular atmosphere is studied. A computer operated mathematical symbolic manipulation system is described. Preparation of polycrystalline semiconductor electrodes of tungsten and molybdenum dichalcogenides is received.

Darden, G. C.↗

An evaluation of the Intel 2920 digital signal processing integrated circuit

The circuit consists of a digital to analog converter, accumulator, read write memory and UV erasable read only memory. The circuit can convert an analog signal to a digital representation, perform mathematical operations on the digital signal and subsequently convert the digital signal to an analog output. Development software tailored for programming the 2920 is presented.

Heller, J.↗

A micro-computer based system to compute magnetic variation

A mathematical model of magnetic variation in the continental United States (COT48) was implemented in the Ohio University LORAN C receiver. The model is based on a least squares fit of a polynomial function. The implementation on the microprocessor based LORAN C receiver is possible with the help of a math chip, Am9511 which performs 32 bit floating point mathematical operations. A Peripheral Interface Adapter (M6520) is used to communicate between the 6502 based micro-computer and the 9511 math chip. The implementation provides magnetic variation data to the pilot as a function of latitude and longitude. The model and the real time implementation in the receiver are described.

Kaul, R.↗

Confidence limits for small numbers of events in astrophysical data

The calculation of limits for small numbers of astronomical counts is based on standard equations derived from Poisson and binomial statistics; although the equations are straightforward, their direct use is cumbersome and involves both table-interpolations and several mathematical operations. Convenient tables and approximate formulae are here presented for confidence limits which are based on such Poisson and binomial statistics. The limits in the tables are given for all confidence levels commonly used in astrophysics.

Gehrels, N.↗

A micro-computer-based system to compute magnetic variation

A mathematical model of magnetic variation in the continental United States was implemented in the Ohio University Loran-C receiver. The model is based on a least squares fit of a polynomial function. The implementation on the microprocessor based Loran-C receiver is possible with the help of a math chip which performs 32 bit floating point mathematical operations. A Peripheral Interface Adapter is used to communicate between the 6502 based microcomputer and the 9511 math chip. The implementation provides magnetic variation data to the pilot as a function of latitude and longitude. The model and the real time implementation in the receiver are described.

Kaul, Rajan↗

Formally verifying Ada programs which use real number types

Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical language, and proving that the mathematical model has the desired properties using a formal proof calculus. The development and verification of the mathematical model are discussed.

Sutherland, David↗

Modeling of composite beams and plates for static and dynamic analysis

A rigorous theory and corresponding computational algorithms was developed for a variety of problems regarding the analysis of composite beams and plates. The modeling approach is intended to be applicable to both static and dynamic analysis of generally anisotropic, nonhomogeneous beams and plates. Development of a theory for analysis of the local deformation of plates was the major focus. Some work was performed on global deformation of beams. Because of the strong parallel between beams and plates, the two were treated together as thin bodies, especially in cases where it will clarify the meaning of certain terminology and the motivation behind certain mathematical operations.

Hodges, Dewey H.↗

General theory of conical flows and its application to supersonic aerodynamics

Points treated in this report are: homogeneous flows, the general study of conical flows with infinitesimal cone angles, the numerical or analogous methods for the study of flows flattened in one direction, and a certain number of results. A thorough consideration of the applications on conical flows and demonstration of how one may solve within the scope of linear theory, by combinations of conical flows, the general problems of the supersonic wing, taking into account dihedral and sweepback, and also fuselage and control surface effects.

THEORIES - FLOW - LINEAR↗

Visualization: A pathway to enhanced scientific productivity in the expanding missions of Space and Earth Sciences

The movement toward the solution of problems involving large-scale system science, the ever-increasing capabilities of three-dimensional, time-dependent numerical models, and the enhanced capabilities of 'in situ' and remote sensing instruments bring a new era of scientific endeavor that requires an important change in our approach to mission planning and the task of data reduction and analysis. Visualization is at the heart of the requirements for a much-needed enhancement in scientific productivity as we face these new challenges. This article draws a perspective on the problem as it crosses discipline boundaries from solar physics to atmospheric and ocean sciences. It also attempts to introduce visualization as a new approach to scientific discovery and a tool which expedites and improves our insight into physically complex problems. A set of simple illustrations demonstrates a number of visualization techniques and the discussion emphasizes the trial-and-error and search-and-discover modes that are necessary for the techniques to reach their full potential. Further discussions also point to the importance of integrating data access, management, mathematical operations, and visualization into a single system. Some of the more recent developments in this area are reviewed.

Szuszczewicz, E. P.↗

Tachometers Derived From a Brushless DC Motor

The upper part of the figure illustrates the major functional blocks of a direction-sensitive analog tachometer circuit based on the use of an unexcited two-phase brushless dc motor as a rotation transducer. The primary advantages of this circuit over many older tachometer circuits include the following: Its output inherently varies linearly with the rate of rotation of the shaft. Unlike some tachometer circuits that rely on differentiation of voltages with respect to time, this circuit relies on integration, which results in signals that are less noisy. There is no need for an additional shaft-angle sensor, nor is there any need to supply electrical excitation to a shaft-angle sensor. There is no need for mechanical brushes (which tend to act as sources of electrical noise). The underlying concept and electrical design are relatively simple. This circuit processes the back-electromagnetic force (back-emf) outputs of the two motor phases into a voltage directly proportional to the instantaneous rate (sign magnitude) of rotation of the shaft. The processing in this circuit effects a straightforward combination of mathematical operations leading to a final operation based on the well-known trigonometric identity (sin x)2 + (cos x)2 = 1 for any value of x. The principle of operation of this circuit is closely related to that of the tachometer circuit described in Tachometer Derived From Brushless Shaft-Angle Resolver (MFS-28845), NASA Tech Briefs, Vol. 19, No. 3 (March 1995), page 39. However, the present circuit is simpler in some respects because there is no need for sinusoidal excitation of shaftangle- resolver windings.

Howard, David E.↗

Code Migration and Optimization for Calculating Atmospheric Attenuation in RF Link Budgets Within Glenn Research Center Communication Analysis Suite

This technical report encompasses development completed on the Glenn Research Center Communication Analysis Suite (GCAS) as it relates to converting code from the original MATLAB® (The MathWorks, Inc.) GCAS code base to C++. It focuses on a majority of the functions, structures, and intermediate code developed for radiofrequency (RF) links calculations. The report serves as a comprehensive record of the current progress and outlines the technical challenges overcome during this research. Throughout this project, numerous functions and structures were migrated end to end, with validation test cases conducted in accordance with NASA’s verification and validation efforts for standard models and simulations. This report also provides high-level documentation of the completed work; detailed low-level documentation has been compiled to provide a line-by-line explanation in alignment with NASA’s goals. This development has largely been focused on atmospheric effects on calculating RF link budgets for both terrestrial and space links. Some developments outside of atmospheric functions are also covered throughout this report; these are largely related to mathematical operations and MATLAB® structure conversions.

Brady M. Phelps↗