Search NASA⌕ Search

SEARCH · Search NASA

Results for “Linear Optimization”

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,009 records · Page 56

Conditions for the Solvability of the Linear Programming Formulation for Constrained Discounted Markov Decision Processes

We consider a discrete-time constrained discounted Markov decision process (MDP) with Borel state and action spaces, compact action sets, and lower semi-continuous cost functions. We introduce a set of hypotheses related to a positive weight function which allow us to consider cost functions that might not be bounded below by a constant, and which imply the solvability of the linear programming formulation of the constrained MDP. In particular, we establish the existence of a constrained optimal stationary policy. Our results are illustrated with an application to a fishery management problem.

97 MATHEMATICS AND COMPUTING↗

An error-in-constitutive equations strategy for topology optimization for frequency-domain dynamics

This paper presents a topology optimization formulation for frequency-domain dynamics to reduce solution dependence upon initial guess and considered loading conditions. Due to resonance phenomena in undamped steady-state dynamics, objectives measuring dynamic response possess many local minima that may represent poor solutions to a design problem, an issue exacerbated for design with respect to multiple frequencies. In this work, we propose an extension of the modified error-in-constitutive-equations (MECE) method, used previously in material identification inverse problems, as a new approach for frequency-domain dynamics topology optimization to mitigate these issues. The main idea of the proposed framework is to incorporate an additional penalty-like term in the objective function that measures the discrepancy in the constitutive relations between stresses and strains and between inertial forces and displacements. Then, the design problem is cast within a PDE-constrained optimization formulation in which we seek displacements, stresses, inertial forces, and a density-field solution that minimize our new objective subject to conservation of linear momentum plus some additional constraints. We show that this approach yields superior designs to conventional gradient-based optimization approaches that solely use a functional of displacements as the objective, while strictly enforcing the constitutive equations. The MECE strategy integrates into a density-based topology optimization scheme for void–solid or two-phase material structural design. We highlight the merits of our approach in a variety of scenarios for direct frequency response design, considering multiple frequency load cases and structural objectives.

42 ENGINEERING↗

Optimal smoothing length scale for actuator line models of wind turbine blades based on Gaussian body force distribution: Wind energy, actuator line model

The actuator line model (ALM) is a commonly used method to represent lifting surfaces such as wind turbine blades within large-eddy simulations (LES). In the ALM, the lift and drag forces are replaced by an imposed body force that is typically smoothed over several grid points using a Gaussian kernel with some prescribed smoothing width e. To date, the choice of e has most often been based on numerical considerations related to the grid spacing used in LES. However, especially for finely resolved LES with grid spacings on the order of or smaller than the chord length of the blade, the best choice of e is not known. In this work, a theoretical approach is followed to determine the most suitable value of e, based on an analytical solution to the linearized inviscid flow response to a Gaussian force. We find that the optimal smoothing width eopt is on the order of 14%-25% of the chord length of the blade, and the center of force is located at about 13%-26% downstream of the leading edge of the blade for the cases considered. These optimal values do not depend on angle of attack and depend only weakly on the type of lifting surface. It is then shown that an even more realistic velocity field can be induced by a 2-D elliptical Gaussian lift-force kernel. Some results are also provided regarding drag force representation.

17 WIND ENERGY↗

Optimal local truncation error method for 3-D elasticity interface problems

The paper deals with a new effective numerical technique on unfitted Cartesian meshes for simulations of heterogeneous elastic materials. Here, we develop the optimal local truncation error method (OLTEM) with 27- point stencils (similar to those for linear finite elements) for the 3-D time-independent elasticity equations with irregular interfaces. Only displacement unknowns at each internal Cartesian grid point are used. The interface conditions are added to the expression for the local truncation error and do not change the width of the stencils. The unknown stencil coefficients are calculated by the minimization of the local truncation error of the stencil equations and yield the optimal second order of accuracy for OLTEM with the 27-point stencils on unfitted Cartesian meshes. A new post-processing procedure for accurate stress calculations has been developed. Similar to basic computations it uses OLTEM with the 27-point stencils and the elasticity equations. The post-processing procedure can be easily extended to unstructured meshes and can be independently used with existing numerical techniques (e.g., with finite elements). Numerical experiments show that at an accuracy of 0.1% for stresses, OLTEM with the new post-processing procedure significantly (by 10 5 -10 9 times) reduces the number of degrees of freedom compared to linear finite elements. OLTEM with the 27-point stencils yields even more accurate results than high-order finite elements with wider stencils.

42 ENGINEERING↗

Direction-optimizing Label Propagation and its Application for Community Detection

Label Propagation is a machine learning algorithm typically used for classification. It has also been found to be an effective method for detecting communities in networks. It has two attractive features as a community detection method: it has nearly linear runtime and it requires no \textit{a priori} community information. We propose a new Direction Optimizing Label Propagation Algorithm (DOLPA) that relies on the use of {\em frontiers} and alternates between label {\em push} and label {\em pull} operations to enhance the performance of LPA. Specifically, DOLPA has parameters for tuning the processing order of vertices in a graph. This reduces the number of edges visited and improves the quality of solution. We apply DOLPA to community detection and present the design and implementation of the algorithm as well as its shared-memory parallelization using OpenMP. Empirically, we evaluate our algorithm using synthetic graphs as well as real-world networks. Compared with the state-of-art \textit{Parallel Label Propagation} algorithm, we achieve at least two times the F-Score while reducing the runtime by 50\% for synthetic graphs with overlapping communities. We also compare DOLPA against the state-of-art parallel implementation of the Louvain method using the same graphs and show that DOLPA achieves about three times the F-Score at 10\% the runtime. On real-world graphs, we get a speedup of up to $10\times$ using 64 threads.

Liu, X↗

Controlling electron-ion rescattering in two-color circularly polarized femtosecond laser fields

High-harmonic generation driven by two-color counter-rotating circularly polarized laser fields was recently demonstrated experimentally as a breakthrough source of bright, coherent, circularly polarized beams in the extreme ultraviolet and soft-x-ray regions. However, the conditions for optimizing the single-atom yield are significantly more complex than for linearly polarized driving lasers and are not fully understood. In this study we present a comprehensive study of strong-field ionization—the complementary process to high-harmonic generation—driven by two-color circularly polarized fields. We uncover the conditions that lead to enhanced electron-ion rescattering, which should correspond to the highest single-atom harmonic flux. Using a velocity map imaging photoelectron spectrometer and tomographic reconstruction techniques, we record three-dimensional photoelectron distributions resulting from the strong-field ionization of argon atoms across a broad range of driving laser intensity ratios. In combination with analytical predictions and advanced numerical simulations, we show that “hard” electron-ion rescattering is optimized when the second-harmonic field has an intensity approximately four times higher than that of the fundamental driving field. We also investigate electron-ion rescattering with co-rotating fields, and find that rescattering is significantly suppressed when compared with counter-rotating fields.

74 ATOMIC AND MOLECULAR PHYSICS↗

Computational design of metamaterials with self contact

Inverse homogenization in combination with contact modeling, topology optimization and shape optimization is used to design metamaterials with optimized macroscopic response. The homogenization assumes length scale separation which allows the non-linear macroscopic behavior to be obtained by analyzing a single unit cell in a lattice structure. Self contact in the unit cell, which is modeled using a third medium contact method, is leveraged to obtain a complex homogenized response. The inverse homogenization problem is initially formulated as a topology optimization problem, where the macroscopic stress–strain behavior is tuned to our liking. However, it is well known that boundary phenomena are difficult to model in topology optimization and that interface modeling is crucial to accurately analyze contact. For that reason, the boundary representation of the topology optimized design is extracted and used as initial design in a subsequent shape optimization. The behaviors of our designs are verified by performing rigorous post-processing analyzes using conforming meshes and conventional contact formulations.

42 ENGINEERING↗

Harmonic Resonant Kicker Design for the MEIC Electron Circular Cooler Ring

Bunched-beam electron cooling of the high-energy ion beam emittance may be a crucial technology for the proposed Medium energy Electron Ion Collider (MEIC) to achieve its design luminosity. A critical component is a fast kicker system in the Circular Ring (CR) that periodically switches electron bunches in and out of the ring from and to the driver Energy Recovery Linac (ERL). Compared to a conventional strip-line type kicker, a quarter-wave resonator (QWR)-based deflecting structure has a much higher shunt impedance and so requires much less RF power. The cavity has been designed to resonate simultaneously at many harmonic modes that are integer multiples of the fundamental mode. In this way the resulting waveform will kick only a subset of the circulating bunches. In this paper, analytical shunt impedance optimization, the electromagnetic simulations of this type of cavity, as well as tuner and coupler concept designs to produce 5 odd and 5 even harmonics of 47.63MHz will be presented, in order to kick every 10th bunch in a 476.3 MHz bunch train.

43 PARTICLE ACCELERATORS↗

Effects of Temperature on Development and Voltinism of Chaetodactylus krombeini (Acari: Chaetodactylidae): Implications for Climate Change Impacts

Temperature plays an important role in the growth and development of arthropods, and thus the current trend of climate change will alter their biology and species distribution. We used Chaetodactylus krombeini (Acari: Chaetodactylidae), a cleptoparasitic mite associated with Osmia bees (Hymenoptera: Megachilidae), as a model organism to investigate how temperature affects the development and voltinism of C. krombeini in the eastern United States. The effects of temperature on the stage-specific development of C. krombeini were determined at seven constant temperatures (16.1, 20.2, 24.1, 27.5, 30.0, 32.4 and 37.8°C). Parameters for stage-specific development, such as threshold temperatures and thermal constant, were determined by using empirical models. Results of this study showed that C. krombeini eggs developed successfully to adult at all temperatures tested except 37.8°C. The nonlinear and linear empirical models were applied to describe quantitatively the relationship between temperature and development of each C. krombeini stage. The nonlinear Lactin model estimated optimal temperatures as 31.4, 32.9, 32.6 and 32.5°C for egg, larva, nymph, and egg to adult, respectively. In the linear model, the lower threshold temperatures were estimated to be 9.9, 14.7, 13.0 and 12.4°C for egg, larva, nymph, and egg to adult, respectively. The thermal constant for each stage completion were 61.5, 28.1, 64.8 and 171.1 degree days for egg, larva, nymph, and egg to adult, respectively. Under the future climate scenarios, the number of generations (i.e., voltinism) would increase more likely by 1.5 to 2.0 times by the year of 2100 according to simulation. Lastly, the findings herein firstly provided comprehensive data on thermal development of C. krombeini and implications for the management of C. krombeini populations under global warming were discussed.

54 ENVIRONMENTAL SCIENCES↗

A superstructure optimization approach for process synthesis under complex reaction networks

Here in this work, we present mixed integer linear programming methods for the synthesis of processes that involve complex reaction networks. Specifically, we consider the modeling of reactors and interconnecting streams in systems where the composition of the reactor inlet streams can vary substantially, thereby making the determination of the limiting component as well as the calculation of the stream heating/cooling and power requirements challenging. First, towards the modeling of reactors, we develop an extent-based method which detects the limiting reactant of each reaction occurring in parallel with others, based on the inlet flows of the reactants. Second, we develop a computationally tractable method for the calculation of the work and heating/cooling duty needed to condition any stream of a process based on simple calculations that can be performed offline. Finally, we present how the two aforementioned components can be integrated in an optimization model generated based on a process superstructure. We demonstrate the application of the developed methods for the synthesis of a biorefinery.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Sparsity-based photoacoustic image reconstruction with a linear array transducer and direct measurement of the forward model

Photoacoustic (PA) imaging is an emerging imaging technique for many clinical applications. One of the challenges posed by clinical translation is that imaging systems often rely on a finite-aperture transducer rather than a full tomography system. This results in imaging artifacts arising from an underdetermined reconstruction of the initial pressure distribution (IPD). Furthermore, clinical applications often require deep imaging, resulting in a low-signal-to-noise ratio for the acquired signal because of strong light attenuation in tissue. Conventional approaches to reconstruct the IPD, such as back projection and time-reversal, do not adequately suppress the artifacts and noise. We propose a sparsity-based optimization approach that improves the reconstruction of IPD in PA imaging with a linear array ultrasound transducer. In simulation studies, the forward model matrix was measured from k-Wave simulations, and the approach was applied to reconstruct simulated point objects and the Shepp–Logan phantom. The results were compared with the conventional back projection, time-reversal approach, frequency-domain reconstruction, and the iterative least-squares approaches. In experimental studies, the forward model of our imaging system is directly measured by scanning a graphite point source through the imaging field of view. Experimental images of graphite inclusions in tissue-mimicking phantoms are reconstructed and compared with the back projection and iterative least-squares approaches. Altogether these results show that our proposed optimization approach can leverage the sparsity of the PA images to improve the reconstruction of the IPD and outperform the existing popular reconstruction approaches.

47 OTHER INSTRUMENTATION↗

An efficient, partitioned ensemble algorithm for simulating ensembles of evolutionary MHD flows at low magnetic Reynolds number

Studying the propagation of uncertainties in a nonlinear dynamical system usually involves generating a set of samples in the stochastic parameter space and then repeated simulations with different sampled parameters. The main difficulty faced in the process is the excessive computational cost. In this paper, we present an efficient, partitioned ensemble algorithm to determine multiple realizations of a reduced Magnetohydrodynamics (MHD) system, which models MHD flows at low magnetic Reynolds number. The algorithm decouples the fully coupled problem into two smaller subphysics problems, which reduces the size of the linear systems that to be solved and allows the use of optimized codes for each subphysics problem. Moreover, the resulting coefficient matrices are the same for all realizations at each time step, which allows faster computation of all realizations and significant savings in computational cost. We prove this algorithm is first order accurate and long time stable under a time step condition. Numerical examples are provided to verify the theoretical results and demonstrate the efficiency of the algorithm.

Jiang, Nan↗

RT-EZ: A Golden Gate Assembly Toolkit for Streamlined Genetic Engineering of Rhodotorula toruloides

For economic and sustainable biomanufacturing, the oleaginous yeast Rhodotorula toruloides has emerged as a promising platform for producing biofuels, pharmaceuticals, and other valuable chemicals. However, genetic manipulation of R. toruloides has been limited by its high GC content and the lack of a replicating plasmid, necessitating gene integration into the genome of the yeast. To address these challenges, we developed the RT-EZ (R. toruloides Efficient Zipper) toolkit, a versatile tool based on Golden Gate assembly, designed to streamline R. toruloides engineering with improved efficiency and flexibility. The RT-EZ toolkit simplifies vector construction by incorporating new features such as bidirectional promoters and 2A peptides, color-based screening using RFP, and sequences optimized for both Agrobacterium tumefaciens-mediated transformation (ATMT) and easy linearization, enabling straightforward selection and transformation. Notably, the RT-EZ kit can be used to construct an expression cassette with four different genes in one assembly reaction, significantly improving vector construction speed and efficiency. The utility of the RT-EZ toolkit was demonstrated through the successful synthesis of arachidonic acid in R. toruloides by coexpressing fatty acid elongases and desaturases. Furthermore, this result underscores the potential of the RT-EZ toolkit to advance synthetic biology in R. toruloides, providing a streamlined method for addressing genetic engineering challenges in the yeast.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Multi-Attribute Subset Selection enables prediction of representative phenotypes across microbial populations

The interpretation of complex biological datasets requires the identification of representative variables that describe the data without critical information loss. This is particularly important in the analysis of large phenotypic datasets (phenomics). Here we introduce Multi-Attribute Subset Selection (MASS), an algorithm which separates a matrix of phenotypes (e.g., yield across microbial species and environmental conditions) into predictor and response sets of conditions. Using mixed integer linear programming, MASS expresses the response conditions as a linear combination of the predictor conditions, while simultaneously searching for the optimally descriptive set of predictors. We apply the algorithm to three microbial datasets and identify environmental conditions that predict phenotypes under other conditions, providing biologically interpretable axes for strain discrimination. MASS could be used to reduce the number of experiments needed to identify species or to map their metabolic capabilities. The generality of the algorithm allows addressing subset selection problems in areas beyond biology.

59 BASIC BIOLOGICAL SCIENCES↗

Molecular chains of coordinated dimolybdenum isonicotinate paddlewheel clusters

A growing focus on the use of coordination polymers for active device applications motivates the search for candidate materials with integrated and optimized charge transport modes. We show herein the synthesis of a linear coordination polymer comprised of Mo 2 (INA) 4 (INA = isonicotinate) metal–organic clusters. Single-crystal X-ray structure determination shows that this cluster crystallizes into one-dimensional molecular chains, whose INA-linked Mo 2 cores engage in alternate axial and equatorial binding motifs along the chain axis. Electron paramagnetic resonance spectra, absorption spectra, and density functional theory calculations show that the aforementioned linear coordination environment significantly modifies the electronic structure of the clusters. This work expands the synthetic foundation for assembly of coordination polymers with tailorable dimensionalities and charge transport properties.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A coarse-grained simulation model for colloidal self-assembly via explicit mobile binders

Colloidal particles with mobile binding molecules constitute a powerful platform for probing the physics of self-assembly. Binding molecules are free to diffuse and rearrange on the surface, giving rise to spontaneous control over the number of droplet–droplet bonds, i.e., valence, as a function of the concentration of binders. This type of valence control has been realized experimentally by tuning the interaction strength between DNA-coated emulsion droplets. Optimizing for valence two yields droplet polymer chains, termed ‘colloidomers’, which have recently been used to probe the physics of folding. To understand the underlying self-assembly mechanisms, here we present a coarse-grained molecular dynamics (CGMD) model to study the self-assembly of this class of systems using explicit representations of mobile binding sites. Further, we explore how valence of assembled structures can be tuned through kinetic control in the strong binding limit. More specifically, we optimize experimental control parameters to obtain the highest yield of long linear colloidomer chains. Subsequently tuning the dynamics of binding and unbinding via a temperature-dependent model allows us to observe a heptamer chain collapse into all possible rigid structures, in good agreement with recent folding experiments. Our CGMD platform and dynamic bonding model (implemented as an open-source custom plugin to HOOMD-Blue) reveal the molecular features governing the binding patch size and valence control, and opens the study of pathways in colloidomer folding. This model can therefore guide programmable design in experiments.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Note: Characteristic beam parameter for the line electron gun

We have optimized the beam parameters of line source electron gun using Stanford Linear Accelerator Centre electron beam trajectory program (EGUN), utilizing electrostatic focusing only. We measured minimum beam diameter as 0.5 mm that corresponds to power density of 68.9 kW/cm{sup 2} at 13.5 mm in the post-anode region which is more than two-fold (33 kW/cm{sup 2}), of the previously reported results. The gun was operated for the validation of the theoretical results and found in good agreement. The gun is now without any magnetic and electrostatic focusing thus much simpler and more powerful.

43 PARTICLE ACCELERATORS↗

Model independent x-ray standing wave analysis of periodic multilayer structures

We present a model independent approach for the analysis of X-ray fluorescence yield modulated by an X-ray standing wave (XSW), that allow a fast reconstruction of the atomic distribution function inside a sample without fitting procedure. The approach is based on the direct regularized solution of the system of linear equations that characterizes the fluorescence yield. The suggested technique was optimized for, but not limited to, the analysis of periodic layered structures where the XSW is formed under Bragg conditions. The developed approach was applied to the reconstruction of the atomic distribution function for LaN/BN multilayers with 50 periods of 43 Å thick layers. The object is especially difficult to analyze with traditional methods, as the estimated thickness of the interface region between the constituent materials is comparable to the individual layer thicknesses. However, using the suggested technique, it was possible to reconstruct width of the La atomic distribution showing that the La atoms stay localized within the LaN layers and interfaces and do not diffuse into the BN layer. The analysis of the reconstructed profiles showed that the positions of the center of the atomic distribution function can be estimated with an accuracy of 1 Å.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗