Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “binary analysis”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

BUILD: Binary Understanding and Integration Logic for Dependencies (Final Report)

Increasingly diverse mission needs, the emergence of AI and cloud, and increasing hardware diversity are driving HPC software to be more complex. Modern codes are built from hundreds of small, complex components, and much of the software development process involves integrating these components rather than developing new components from scratch. The goal of the BUILD project was to ease the task of software integration for developers across LLNL’s programs. The project focused on (1) modeling software compatibility, (2) modeling ABI compatibility with binary analysis, (3) developing solver techniques to reason about compatibility, and (4) developing AI/ML models to fill gaps in our understanding of software compatibility. The project has developed several key technologies that help developers—by accelerating development workflows, removing the need for rebuilds, and enabling faster, automatic, and less error-prone code sharing. These technologies are used in LLNL codes and will be ready for the new El Capitan Exascale system in Livermore Computing. Many of these technologies have been hardened and integrated with LLNL’s Spack package manager, and they are already in use by production code teams. Results of BUILD have laid the groundwork for future advances in software integration—the ML and binary modification techniques developed in this project still need to be operationalized but have great potential to further speed up software integration.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Cataloging US state policy patterns towards microgrid deployment

Frequent extreme weather events have called for rigorous and timely efforts for alternative non-wire solutions. These efforts are getting more widespread to offer a perfect alternative as the conventional grid becomes progressively less resilient. One of these solutions is microgrids that can disconnect from the grid and offer grid resilience during an outage. While this technology is still finding its footing in the industry, states across the US are employing policy patterns and forms of instruments to support its deployment. This study includes a systemic review of the US by conducting a binary analysis of all 50 states (including Washington D.C, excluding other US territories) using seven variables. The results show four major policy approaches to microgrids: i) supporting microgrids through a definitive legislative activity leading to further policy action; ii) direct efforts from the public utilities commissions without a concrete legislative push; iii) initiatives from institutions other than the commissions; and lastly, iv) self-initiated community and private consumer efforts. The results help understand what policy instruments are being used in each of these patterns to support this niche technology that still faces regulatory challenges.

Furqan, Maham↗
NASA NTRS2026

X-Ray Polarization of Z-Type Neutron Star Low-Mass X-Ray Binaries II. Spectropolarimetric Analysis

IXPE has provided for the first time detailed energy- and time-resolved X-ray polarimetry of Z-type neutron star low-mass X-ray binaries (NS-LMXBs) as they move along their color-color diagrams (CCDs). These sources can reach the highest polarization observed for NS-LXMBs in the 2–8 keV range when they move along the horizontal branch. In a previous paper, we characterized the spectral state of a sample of Z-sources using the CCD and estimated the polarization with model-independent analysis. Here, we present detailed spectropolarimetric analysis for each source on each branch using data from IXPE, NICER, and NuSTAR. The continuum X-ray emission of all the sources is well described with a combination of thermal accretion disk emission plus a harder Comptonized component. In addition, reflection features, in particular the relativistically broadened Fe Kα line, are observed for our sources, except GX 5–1. For most of the sources and branches, the main contribution to the X-ray emission and polarization is due to Comptonization: moving from the horizontal branch (HB) to the normal branch (NB), the polarization degree (PD) in the 2–8 keV band varies from about 6% to 3–4%, while the PD is loosely constrained in the flaring branch (FB), due to the shorter exposures. These PD values are significantly higher than theoretical expectations for typical spreading or boundary layer configurations. The polarization of the disk is generally lower (below 3%) but still higher than predictions for an electron scattering-dominated, plane-parallel atmosphere above the disk observed at the corresponding inclination. Moreover, the polarization angle (PA) of the disk seems to be significantly misaligned and not perpendicular to that of Comptonization. We find no correlation between the polarization signal and the inclination, nor with the contribution of reflected photons throughout the Z-track.

accretion↗
DOE OSTI2021

Photometric and Spectroscopic Analysis of Four Contact Binaries

We present the photometric and spectroscopic analysis of four W UMa binaries J015829.5+260333 (hereinafter as J0158), J030505.1+293443 (hereinafter as J0305), J102211.7+310022 (hereinafter as J1022), and KW Psc. The VR {sub c} I {sub c} band photometric observations are carried out with the 1.3 m Devasthal Fast Optical Telescope (DFOT). For low-resolution spectroscopy, we used the 2 m Himalayan Chandra Telescope (HCT) as well as the archival data from the 4 m LAMOST survey. The systems J0158 and J0305 show a period increase rate of 5.26( ± 1.72) × 10{sup −7} days yr{sup −1} and 1.78( ± 1.52) × 10{sup −6} days yr{sup −1}, respectively. The period of J1022 is found to be decreasing with a rate of 4.22 ( ± 1.67) × 10{sup −6} days yr{sup −1}. The period analysis of KW Psc displays no change in its period. The PHOEBE package is used for the light-curve modeling and basic parameters are evaluated with the help of the GAIA parallax. The asymmetry of light curves is explained with the assumption of cool spots at specific positions on one of the components of the system. On the basis of temperatures, mass ratios, fill-out factors, and periods, the system J1022 is identified as a W-subtype system while the others show some mixed properties. To probe the chromospheric activities in these W UMa binaries, their spectra are compared with the known inactive stars’ spectra. The comparison shows emission in H {sub α}, H {sub β}, and Ca II. To understand the evolutionary status of these systems, the components are plotted in mass–radius and mass–luminosity planes with other well characterized binary systems. The secondary components of all the systems are away from ZAMS, which indicates that the secondary is more evolved than the primary component.

47 OTHER INSTRUMENTATION↗
NASA NTRS1991

A computational model for the analysis of diffusive binary alloy solid/liquid phase change energy transport

A model is presented for the prediction of solid/liquid, binary alloy, phase change energy transport. The model incorporates only one-dimensional, diffusive transport of both energy and species but is not inherently limited in any way to such a restriction. The model incorporates a previously developed algorithm for single constituent phase change energy transport and is applied to the energy transport as well as the species transport aspects of the problem. The model is applied to four example cooling problems and is shown to perform exceedingly well from an algorithmic point of view.

Schneider, G. E.↗
DOE OSTI2020

Efficient Binary Static Code Data Flow Analysis Using Unsupervised Learning

The ever increasing need to ensure that code is reliably, efficiently and safely constructed has fueled the evolution of popular static binary code analysis tools. In identifying potential coding flaws in binaries, tools such as IDA Pro are used to disassemble the binaries into an opcode/assembly language format in support of manual static code analysis. Because of the highly manual and resource intensive nature involved with analyzing large binaries, the probability of overlooking potential coding irregularities and inefficiencies is quite high. In this paper, a light-weight data, unsupervised data flow methodology is described which uses highly-correlated data flow graph (CDFGs) to identify coding irregularities such that analysis time and required computing resources are minimized. Such analysis accuracy and efficiency gains are achieved by using a combination of graph analysis and unsupervised machine learning techniques which allows an analyst to focus on the most statistically significant flow patterns while performing binary static code analysis.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Forensic Analysis of SOHO Router Binaries

Small Office/Home Office (SOHO) routers are used by millions of consumers across the United States, and are commensurately vulnerable. Forensic analysis of SOHO router firmware helps to understand and mitigate those vulnerabilities. This poster focused particularly on analysis of BusyBox executables, a software suite that provides several Unix utilities in a single file. Three main tools were used to analyze the binaries. BinWalk was used to extract the files, but also to build entropy graphs, extract Linux kernel images, and identify CPU architectures; WiiBin processed the binaries to find endianness, architecture, the percent compressed/encrypted, and compiler data; and @DisCo, a machine learning tool used to determine function similarity in disassembled binaries, analyzed similarities and determined versions of extracted BusyBox files from each router. These tools found that venders from all five routers utilized the same version of the BusyBox software across different firmware updates, demonstrating the importance of constant firmware scrutiny to protect against security vulnerabilities.

24 POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS1991

Analysis of objects in binary images

Digital image processing techniques are typically used to produce improved digital images through the application of successive enhancement techniques to a given image or to generate quantitative data about the objects within that image. In support of and to assist researchers in a wide range of disciplines, e.g., interferometry, heavy rain effects on aerodynamics, and structure recognition research, it is often desirable to count objects in an image and compute their geometric properties. Therefore, an image analysis application package, focusing on a subset of image analysis techniques used for object recognition in binary images, was developed. This report describes the techniques and algorithms utilized in three main phases of the application and are categorized as: image segmentation, object recognition, and quantitative analysis. Appendices provide supplemental formulas for the algorithms employed as well as examples and results from the various image segmentation techniques and the object recognition algorithm implemented.

Leonard, Desiree M.↗