Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “binary optimal control”

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 OSTI2024

LSAFE: a Lightweight Static Analysis Framework for binary Executables

Static analysis is a widely used technique for analyzing various aspects of programs. However, as programs become more complex, static analysis tools require larger resources, such as CPU time and memory, to perform the same tasks. Moreover, the source code of programs may not always be accessible, requiring static analysis to be performed on the binary executable code directly. To overcome these challenges, we propose a lightweight static analysis framework called LSAFE, which constructs control flow graphs (CFGs) and data dependency graphs (DDGs) of target programs with optimized performance in terms of CPU and memory usage. We evaluated the proposed framework using both Spec benchmark programs and real-world industrial applications, and found that it outperformed Angr, an existing state-of-the-art static analysis tool. Additionally, we demonstrate a case study that utilizes the CFG generated by LSAFE to detect memory leaks.

Qu, Guangzhi↗
NASA NTRS2003

Quantum Adiabatic Algorithms and Large Spin Tunnelling

We provide a theoretical study of the quantum adiabatic evolution algorithm with different evolution paths proposed in this paper. The algorithm is applied to a random binary optimization problem (a version of the 3-Satisfiability problem) where the n-bit cost function is symmetric with respect to the permutation of individual bits. The evolution paths are produced, using the generic control Hamiltonians H (r) that preserve the bit symmetry of the underlying optimization problem. In the case where the ground state of H(0) coincides with the totally-symmetric state of an n-qubit system the algorithm dynamics is completely described in terms of the motion of a spin-n/2. We show that different control Hamiltonians can be parameterized by a set of independent parameters that are expansion coefficients of H (r) in a certain universal set of operators. Only one of these operators can be responsible for avoiding the tunnelling in the spin-n/2 system during the quantum adiabatic algorithm. We show that it is possible to select a coefficient for this operator that guarantees a polynomial complexity of the algorithm for all problem instances. We show that a successful evolution path of the algorithm always corresponds to the trajectory of a classical spin-n/2 and provide a complete characterization of such paths.

Boulatov, A.↗
DOE OSTI2021

Object-space optimization of tomographic reconstructions for additive manufacturing

Volumetric 3D printing motivated by computed axial lithography enables rapid printing of homogeneous parts but requires a high dimensionality gradient-descent optimization to calculate image sets. Here we introduce a new, simpler approach to image-computation that algebraically optimizes a model of the printed object, significantly improving print accuracy of complex parts under imperfect material and optical precision by improving optical dose contrast between the target and surrounding regions. Quality metrics for volumetric printing are defined and shown to be significantly improved by the new algorithm. The approach is extended beyond binary printing to grayscale control of conversion to enable functionally graded materials. The flexibility of the technique is digitally demonstrated with realistic projector point spread functions, printing around occluding structures, printing with restricted angular range, and incorporation of materials chemistry such as inhibition. Finally, simulations show that the method facilitates new printing modalities such as printing into flat, rather than cylindrical packages to extend the applications of volumetric printing.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Crack detection in fuel cell electrodes using a spatial filtering technique for overcoming noisy backgrounds

Image processing is a powerful tool that allows for rapid and automated data parsing in settings that occupy large variable spaces and require large data sets. Feature detection on difficultly discerned backgrounds is a subset of image processing that facilitates the extraction of quantitative metrics from otherwise subjective data. Crack detection and quantification is an important capability in polymer electrolyte membrane fuel cell quality control, failure analysis, and optimization. This work presents a technique to perform crack detection and quantification which overcomes challenges faced by commonly used image segmentation techniques. We demonstrate the use of a geometrically filtered noise‐level detection technique to select a binary threshold value from which we then quantify how cracked a sample is. Furthermore, we demonstrate the accuracy of our technique using programmatically generated test images of known crack amounts and their performance on real‐world fuel cell catalyst layer samples.

30 DIRECT ENERGY CONVERSION↗
DOE OSTI2025

Significant Efficiency Enhancements in Non‐Y Series Acceptors by the Addition of Outer Side Chains

Abstract Most current highly efficient organic solar cells utilize small molecules like Y6 and its derivatives as electron acceptors in the photoactive layer. In this work, a small molecule acceptor, SC8‐IT4F, is developed through outer side chain engineering on the terminal thiophene of a conjugated 6,12‐dihydro‐dithienoindeno[2,3‐d:2′,3′‐d′]‐s‐indaceno[1,2‐b:5,6‐b′]dithiophene (IDTT) central core. Compared to the reference molecule C8‐IT4F, which lacks outer side chains, SC8‐IT4F displays notable differences in molecule geometry (as shown by simulations), thermal behavior, single‐crystal packing, and film morphology. Blend films of SC8‐IT4F and the polymer donor PM6 exhibit larger carrier mobilities, longer carrier lifetimes, and reduced recombination compared to C8‐IT4F, resulting in improved device performance. Binary photovoltaic devices based on the PM6:SC8‐IT4F films reveal an optimal efficiency over 15%, which is one of the best values for non‐Y type small molecule acceptors (SMAs). The resultant devices also show better thermal and operational stability than the control PM6:L8‐BO devices. SC8‐IT4F and its blend exhibit a higher relative degree of crystallinity and π coherence length, compared to C8‐IT4F samples, beneficial for charge transport and device performance. The results indicate that outer side chain engineering on existing small electron acceptors can be a promising molecular design strategy for further pursuing high‐performance organic solar cells.

He, Qiao [Department of Chemistry and Centre for P↗
NASA NTRS1992

Deformation mechanisms of NiAl cyclicly deformed near the brittle-to-ductile transformation temperature

One of the ongoing challenges of the aerospace industry is to develop more efficient turbine engines. Greater efficiency entails reduced specific strength and larger temperature gradients, the latter of which means higher operating temperatures and increased thermal conductivity. Continued development of nickel-based superalloys has provided steady increases in engine efficiency and the limits of superalloys have probably not been realized. However, other material systems are under intense investigation for possible use in high temperature engines. Ceramic, intermetallic, and various composite systems are being explored in an effort to exploit the much higher melting temperatures of these systems. NiAl is considered a potential alternative to conventional superalloys due to its excellent oxidation resistance, low density, and high melting temperature. The fact that NiAl is the most common coating for current superalloy turbine blades is a tribute to its oxidation resistance. Its density is one-third that of typical superalloys and in most temperature ranges its thermal conductivity is twice that of common superalloys. Despite these many advantages, NiAl requires more investigation before it is ready to be used in engines. Binary NiAl in general has poor high-temperature strength and low-temperature ductility. On-going research in alloy design continues to make improvements in the high-temperature strength of NiAl. The factors controlling low temperature ductility have been identified in the last few years. Small, but reproducible ductility can now be achieved at room temperature through careful control of chemical purity and processing. But the mechanisms controlling the transition from brittle to ductile behavior are not fully understood. Research in the area of fatigue deformation can aid the development of the NiAl system in two ways. Fatigue properties must be documented and optimized before NiAl can be applied to engineering systems. More importantly though, probing the deformation mechanisms operating in fatigue will lead to a better understanding of NiAl's unique characteristics. Low cycle fatigue properties have been reported on binary NiAl in the past year, yet those studies were limited to two temperature ranges: room temperature and near 1000 K. Eventually, fatigue property data will be needed for a wide range of temperatures and compositions. The intermediate temperature range near the brittle-to-ductile transition was chosen for this study to ascertain whether the sharp change occurring in monotonic behavior also occurs under cyclic conditions. An effort was made to characterize the dislocation structures which evolved during fatigue testing and comment on their role in the deformation process.

Antolovich, Stephen D.↗
DOE OSTI2022

Model Predictive Control of Discrete-Continuous Energy Systems via Generalized Disjunctive Programming

Generalized Disjunctive Programming (GDP) provides an alternative framework to model optimization problems with both discrete and continuous variables. The key idea behind GDP involves the use of logical disjunctions to represent discrete decisions in the continuous space, and logical propositions to denote algebraic constraints in the discrete space. Compared to traditional mixed-integer programming (MIP), the inherent logic structure in GDP yields tighter relaxations that are exploited by global branch and bound algorithms to improve solution quality. In this paper, we present a general GDP model for optimal control of hybrid systems that exhibit both discrete and continuous dynamics. Specifically, we use GDP to formulate a model predictive control (MPC) model for piecewise-affine systems with implicit switching logic. As an example, the GDP-based MPC approach is used as a supervisory control to improve energy efficiency in residential buildings with binary on/off, relay-based thermostats. A simulation study is used to demonstrate the validity of the proposed approach, and the improved solution quality compared to existing MIPbased control approaches.

Bhattacharya, Arnab↗
NASA NTRS1991

Approach range and velocity determination using laser sensors and retroreflector targets

A laser docking sensor study is currently in the third year of development. The design concept is considered to be validated. The concept is based on using standard radar techniques to provide range, velocity, and bearing information. Multiple targets are utilized to provide relative attitude data. The design requirements were to utilize existing space-qualifiable technology and require low system power, weight, and size yet, operate from 0.3 to 150 meters with a range accuracy greater than 3 millimeters and a range rate accuracy greater than 3 mm per second. The field of regard for the system is +/- 20 deg. The transmitter and receiver design features a diode laser, microlens beam steering, and power control as a function of range. The target design consists of five target sets, each having seven 3-inch retroreflectors, arranged around the docking port. The target map is stored in the sensor memory. Phase detection is used for ranging, with the frequency range-optimized. Coarse bearing measurement is provided by the scanning system (one set of binary optics) angle. Fine bearing measurement is provided by a quad detector. A MIL-STD-1750 A/B computer is used for processing. Initial test results indicate a probability of detection greater than 99 percent and a probability of false alarm less than 0.0001. The functional system is currently at the MIT/Lincoln Lab for demonstration.

Donovan, William J.↗
DOE OSTI2023

Qompress: Efficient Compilation for Ququarts Exploiting Partial and Mixed Radix Operations for Communication Reduction

Quantum computing is in an era of limited resources. Current hardware lacks high fidelity gates, long coherence times, and the number of computational units required to perform meaningful computation. Contemporary quantum devices typically use a binary system, where each qubit exists in a superposition of the 0 and 1 states. Furthermore, it is often possible to access the 2 or even 3 states in the same physical unit by manipulating the system in different ways. In this work, we consider automatically encoding two qubits into one four-state ququart via a compression scheme. We use quantum optimal control to design efficient proof-of-concept gates that fully replicate standard qubit computation on these encoded qubits.

compilation↗
NASA NTRSDate not supplied

Modeling of Multicomponent Trace Contaminant Adsorption on Activated Carbon

Modeling of multicomponent trace contaminant adsorption on activated carbon for spacecraft life support applications presents challenges due to the very low contaminant concentrations in cabin air coupled with very strong adsorption of heavier components such as cyclic polydimethylsiloxanes. Both gas-phase and solid-phase micropore mass transfer resistances can be important, and competitive interactions between adsorbed components can result in behavior such as roll-up where lighter components displaced by heavier components have a higher concentration at the outlet than at the inlet. This paper describes the further development of a dynamic trace contaminant adsorption model based on Ideal Adsorbed Solution Theory (IAST). Alternative 1-dimensional and 2-dimensional versions of the model are described with different mass transfer resistance and driving force assumptions. Optimization of solution methods for speed and stability is also described. Mass balance equations are scaled to provide sensitivity over the wide range of component concentrations in cabin air. Model parameters are estimated from isotherm and breakthrough test data on single adsorbate and binary adsorbate systems. Multicomponent results are compared against predictions of a heritage model used extensively by NASA for trace contaminant control system (TCCS) carbon bed sizing. Finally, efforts to implement the model in a second software platform for wider access are described.

Kevin E Lange↗
NASA NTRS1982

Heat flow control and segregation in directional solidification

Optimization of the vertical Bridgman technique for growth of electronic materials in single crystal form was investigated. The limitations of the crystal growth configuration were experimentally determined and heat transfer related deficiencies identified. Design of an alternate system was based on the use of heat pipes separated by a gradient region. Heat transfer analyses based on one and two dimensional models indicated the necessity of a flexible gradient zone configuration. Directional melting of binary systems as encountered during seeding in melt growth was analysed for concurrent compositional changes at the crystal-metal interface, and the theoretical treatment numerically applied to HgCdTe and Ga doped germanium. A theoretical and experimental study of the thermal effects associated with current flow was conducted. It was found that experimental measurements of dc induced growth during crystal pulling can be used for the precise determination of the Peltier coefficient.

Witt, A. F.↗
NASA NTRS1993

Diffusion in liquid state and solidification of binary system (M-7)

Diffusion is one of the most fundamental physical phenomena. It relates to the manufacturing of almost all materials. Therefore, the precise knowledge of diffusivities of relevant materials is necessary for the optimization of these processes. On the other hand, such knowledge is indispensable to understanding the diffusion mechanism and structure of liquid metal in the field of physical metallurgy. Many diffusion experiments on solid metal were undertaken and a lot of data were accumulated. But on liquid metals there are few measurements because of experimental difficulties, such as thermal convection, induced by very slight temperature gradients in the specimen. Under microgravity conditions, the movement of liquid metal due to density differences and thermal convection must be suppressed markedly. Therefore, the transportation process will be controlled only by the diffusion of constituent atoms. These conditions offer the optimum environments for the diffusion experiment. The experiments are briefly described. Diffusion couples are prepared by attaching end to end two rods of different pure metals using hot press equipment. These couples are inserted into a graphite crucible and then doubly enclosed by two silica ampoules, respectively. The specimen is inserted into a tantalum cartridge, which is welded in a vacuum using an electron-beam apparatus. These cartridges are charged in the continuous heating furnace in space and held at a given temperature for a predetermined time and then solidified. The concentration distribution of elements in these specimens will be measured along the rod axis by means of an electron probe microanalyzer. The counterdiffusivity of the liquid metal binary system is determined on the basis of the compensated concentration distribution profile for thermal contraction.

Dan, T.↗
DOE OSTI2026

In-situ sensor monitoring of multi-class gas porosity formation in laser powder bed fusion using convolutional neural network

In-situ monitoring of defect formation remains a significant challenge in the laser powder bed fusion (LPBF) process. Recent advances have enabled real-time defect detection with machine learning and in-situ sensing technologies; however, most studies focus on binary classification of keyhole pores, limiting nuanced multi-class pore differentiation and formation mechanisms. This work introduces a multi-class pore detection framework (no pore, small pores < 15 µm, and large pores > 15 µm) by leveraging photodiode sensor data alongside high-fidelity synchrotron X-ray imaging. The 15 µm threshold is selected to distinguish between two fundamentally different defect mechanisms, following the physical size-mechanism boundary established by prior high-resolution synchrotron X-ray characterization of Al6061 LPBF. Distinguishing these classes is critical because large keyhole pores are structurally detrimental, whereas small gas pores are often benign, requiring different process control strategies. Thermal emission monitoring data collected simultaneously with high-speed X-ray imaging at the Stanford Synchrotron Radiation Lightsource (SSRL), are correlated with subsurface melt pool dynamics to establish ground truth. Continuous Wavelet Transform (CWT) with optimized parameters converts the photodiode time-series signals into time–frequency images, facilitating feature extraction. Convolutional Neural Networks (CNN) are then applied for real-time multi-class pore classification in an average inference time of 1 ms per signal window. It achieves 79% accuracy and an Area Under the Receiver Operating Characteristic curve (AUC ROC) score of 0.89 with five-fold cross-validation. The results demonstrate that coupling CWT-based feature engineering with CNN architecture enables reliable multi-class pore detection in Al6061 builds using affordable in-situ sensors. This approach advances scalable and affordable quality assurance in additive manufacturing by moving beyond binary defect detection toward more nuanced classification of porosity mechanisms with in-situ sensors and machine learning.

Laser powder bed fusion, Multi-class pores, In-sit↗
NASA NTRS2015

Reconfigurable Very Long Instruction Word (VLIW) Processor

Future NASA missions will depend on radiation-hardened, power-efficient processing systems-on-a-chip (SOCs) that consist of a range of processor cores custom tailored for space applications. Aries Design Automation, LLC, has developed a processing SOC that is optimized for software-defined radio (SDR) uses. The innovation implements the Institute of Electrical and Electronics Engineers (IEEE) RazorII voltage management technique, a microarchitectural mechanism that allows processor cores to self-monitor, self-analyze, and selfheal after timing errors, regardless of their cause (e.g., radiation; chip aging; variations in the voltage, frequency, temperature, or manufacturing process). This highly automated SOC can also execute legacy PowerPC 750 binary code instruction set architecture (ISA), which is used in the flight-control computers of many previous NASA space missions. In developing this innovation, Aries Design Automation has made significant contributions to the fields of formal verification of complex pipelined microprocessors and Boolean satisfiability (SAT) and has developed highly efficient electronic design automation tools that hold promise for future developments.

Velev, Miroslav N.↗
NASA NTRS2015

Space Telescope Design to Directly Image the Habitable Zone of Alpha Centauri

The scientific interest in directly imaging and identifying Earth-like planets within the Habitable Zone (HZ) around nearby stars is driving the design of specialized direct imaging missions such as ACESAT, EXO-C, EXO-S and AFTA-C. The inner edge of Alpha Cen A&B Habitable Zone is found at exceptionally large angular separations of 0.7" and 0.4" respectively. This enables direct imaging of the system with a 0.3m class telescope. Contrast ratios on the order of 10(exp 10) are needed to image Earth-brightness planets. Low-resolution (5-band) spectra of all planets may allow establishing the presence and amount of an atmosphere. This star system configuration is optimal for a specialized small, and stable space telescope that can achieve high-contrast but has limited resolution. This paper describes an innovative instrument design and a mission concept based on a full Silicon Carbide off-axis telescope, which has a Phase Induced Amplitude Apodization coronagraph embedded in the telescope. This architecture maximizes stability and throughput. A Multi-Star Wave Front algorithm is implemented to drive a deformable mirror controlling simultaneously diffracted light from the on-axis and binary companion star. The instrument has a Focal Plane Occulter to reject starlight into a high precision pointing control camera. Finally we utilize a Orbital Differential Imaging (ODI) post-processing method that takes advantage of a highly stable environment (Earth-trailing orbit) and a continuous sequence of images spanning 2 years, to reduce the final noise floor in post processing to approximately 2e-11 levels, enabling high confidence and at least 90% completeness detections of Earth-like planets.

Low-resolution (5-band) spectra↗
DOE OSTI2024

Cooperative control of a DNA origami force sensor

Abstract Biomolecular systems are dependent on a complex interplay of forces. Modern force spectroscopy techniques provide means of interrogating these forces, but they are not optimized for studies in constrained environments as they require attachment to micron-scale probes such as beads or cantilevers. Nanomechanical devices are a promising alternative, but this requires versatile designs that can be tuned to respond to a wide range of forces. We investigate the properties of a nanoscale force sensitive DNA origami device which is highly customizable in geometry, functionalization, and mechanical properties. The device, referred to as the NanoDyn, has a binary (open or closed) response to an applied force by undergoing a reversible structural transition. The transition force is tuned with minor alterations of 1 to 3 DNA oligonucleotides and spans tens of picoNewtons (pN). The DNA oligonucleotide design parameters also strongly influence the efficiency of resetting the initial state, with higher stability devices (≳10 pN) resetting more reliably during repeated force-loading cycles. Finally, we show the opening force is tunable in real time by adding a single DNA oligonucleotide. These results establish the potential of the NanoDyn as a versatile force sensor and provide fundamental insights into how design parameters modulate mechanical and dynamic properties.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS2011

NASA Tech Briefs, March 2011

Topics covered include: Optimal Tuner Selection for Kalman-Filter-Based Aircraft Engine Performance Estimation; Airborne Radar Interferometric Repeat-Pass Processing; Plug-and-Play Environmental Monitoring Spacecraft Subsystem; Power-Combined GaN Amplifier with 2.28-W Output Power at 87 GHz; Wallops Ship Surveillance System; Source Lines Counter (SLiC) Version 4.0; Guidance, Navigation, and Control Program; Single-Frame Terrain Mapping Software for Robotic Vehicles; Auto Draw from Excel Input Files; Observation Scheduling System; CFDP for Interplanetary Overlay Network; X-Windows Widget for Image Display; Binary-Signal Recovery; Volumetric 3D Display System with Static Screen; MMIC Replacement for Gunn Diode Oscillators; Feature Acquisition with Imbalanced Training Data; Mount Protects Thin-Walled Glass or Ceramic Tubes from Large Thermal and Vibration Loads; Carbon Nanotube-Based Structural Health Monitoring Sensors; Wireless Inductive Power Device Suppresses Blade Vibrations; Safe, Advanced, Adaptable Isolation System Eliminates the Need for Critical Lifts; Anti-Rotation Device Releasable by Insertion of a Tool; A Magnetically Coupled Cryogenic Pump; Single Piezo-Actuator Rotary-Hammering Drill; Fire-Retardant Polymeric Additives; Catalytic Generation of Lift Gases for Balloons; Ionic Liquids to Replace Hydrazine; Variable Emittance Electrochromics Using Ionic Electrolytes and Low Solar Absorptance Coatings; Spacecraft Radiator Freeze Protection Using a Regenerative Heat Exchanger; Multi-Mission Power Analysis Tool; Correction for Self-Heating When Using Thermometers as Heaters in Precision Control Applications; Gravitational Wave Detection with Single-Laser Atom Interferometers; Titanium Alloy Strong Back for IXO Mirror Segments; Improved Ambient Pressure Pyroelectric Ion Source; Multi-Modal Image Registration and Matching for Localization of a Balloon on Titan; Entanglement in Quantum-Classical Hybrid; Algorithm for Autonomous Landing; Quantum-Classical Hybrid for Information Processing; Small-Scale Dissipation in Binary-Species Transitional Mixing Layers; Superpixel-Augmented Endmember Detection for Hyperspectral Images; Coding for Parallel Links to Maximize the Expected Value of Decodable Messages; and Microwave Tissue Soldering for Immediate Wound Closure.

Source record↗
NASA NTRS2011

MicroShell Minimalist Shell for Xilinx Microprocessors

MicroShell is a lightweight shell environment for engineers and software developers working with embedded microprocessors in Xilinx FPGAs. (MicroShell has also been successfully ported to run on ARM Cortex-M1 microprocessors in Actel ProASIC3 FPGAs, but without project-integration support.) Micro Shell decreases the time spent performing initial tests of field-programmable gate array (FPGA) designs, simplifies running customizable one-time-only experiments, and provides a familiar-feeling command-line interface. The program comes with a collection of useful functions and enables the designer to add an unlimited number of custom commands, which are callable from the command-line. The commands are parameterizable (using the C-based command-line parameter idiom), so the designer can use one function to exercise hardware with different values. Also, since many hardware peripherals instantiated in FPGAs have reasonably simple register-mapped I/O interfaces, the engineer can edit and view hardware parameter settings at any time without stopping the processor. MicroShell comes with a set of support scripts that interface seamlessly with Xilinx's EDK tool. Adding an instance of MicroShell to a project is as simple as marking a check box in a library configuration dialog box and specifying a software project directory. The support scripts then examine the hardware design, build design-specific functions, conditionally include processor-specific functions, and complete the compilation process. For code-size constrained designs, most of the stock functionality can be excluded from the compiled library. When all of the configurable options are removed from the binary, MicroShell has an unoptimized memory footprint of about 4.8 kB and a size-optimized footprint of about 2.3 kB. Since MicroShell allows unfettered access to all processor-accessible memory locations, it is possible to perform live patching on a running system. This can be useful, for instance, if a bug is discovered in a routine but the system cannot be rebooted: Shell allows a skilled operator to directly edit the binary executable in memory. With some forethought, MicroShell code can be located in a different memory location from custom code, permitting the custom functionality to be overwritten at any time without stopping the controlling shell.

Werne, Thomas A.↗