Search NASA⌕ Search

SEARCH · Search NASA

Results for “Combinatorial 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 253 records · Page 14

A Method for Aircraft Concept Selection Using Multicriteria Interactive Genetic Algorithms

The problem of aircraft concept selection has become increasingly difficult in recent years as a result of a change from performance as the primary evaluation criteria of aircraft concepts to the current situation in which environmental effects, economics, and aesthetics must also be evaluated and considered in the earliest stages of the decision-making process. This has prompted a shift from design using historical data regression techniques for metric prediction to the use of physics-based analysis tools that are capable of analyzing designs outside of the historical database. The use of optimization methods with these physics-based tools, however, has proven difficult because of the tendency of optimizers to exploit assumptions present in the models and drive the design towards a solution which, while promising to the computer, may be infeasible due to factors not considered by the computer codes. In addition to this difficulty, the number of discrete options available at this stage may be unmanageable due to the combinatorial nature of the concept selection problem, leading the analyst to arbitrarily choose a sub-optimum baseline vehicle. These concept decisions such as the type of control surface scheme to use, though extremely important, are frequently made without sufficient understanding of their impact on the important system metrics because of a lack of computational resources or analysis tools. This paper describes a hybrid subjective/quantitative optimization method and its application to the concept selection of a Small Supersonic Transport. The method uses Genetic Algorithms to operate on a population of designs and promote improvement by varying more than sixty parameters governing the vehicle geometry, mission, and requirements. In addition to using computer codes for evaluation of quantitative criteria such as gross weight, expert input is also considered to account for criteria such as aeroelasticity or manufacturability which may be impossible or too computationally expensive to consider explicitly in the analysis. Results indicate that concepts resulting from the use of this method represent designs which are promising to both the computer and the analyst, and that a mapping between concepts and requirements that would not otherwise be apparent is revealed.

Buonanno, Michael↗

Performance Prediction of High‐Entropy Perovskites La 0.8 Sr 0.2 Mn x Co y Fe z O 3 with Automated High‐Throughput Characterization of Combinatorial Libraries and Machine Learning

Perovskite oxides form a large family of materials with applications across various fields, owing to their structural and chemical flexibility. Efficient exploration of this extensive compositional space is now achievable through automated high-throughput experimentation combined with machine learning. In this study, we investigate the composition–structure–performance relationships of high-entropy La 0.8 Sr 0.2 Mn x Co y Fe z O 3±𝞭 perovskite oxides (0 < x, y, z <1; x+y+z≈1) for application as oxygen electrodes in Solid Oxide Cells. Following the deposition of a continuous compositional map using thin-film combinatorial pulsed laser deposition, compositional, structural, and performance properties are characterized using six different techniques with mapping capabilities. Random forests effectively model electrochemical performance, consistently identifying Fe-rich oxides as optimal compounds with the lowest area-specific resistance values for oxygen electrodes at 700 °C. Additionally, the models identify a statistical correlation between oxygen sublattice distortion—derived from spectral analysis of Raman-active modes—and enhanced performance.

high entropy oxides↗

Development of Multimaterial Graded Structure from Superalloys to Refractory Alloys

This research focused on developing hybrid microstructures for extreme environments where zone-specific performance is essential. Traditional structural applications rely on single alloy compositions, often requiring compromises in cost, corrosion resistance, or high-temperature stability, while dissimilar welding leads to abrupt material transitions and potential mechanical weaknesses. By employing a combinatorial approach, this study enabled a gradual transition of chemistries across components, allowing site-specific tailoring of microstructures. Leveraging additive manufacturing’s flexibility, this concept facilitated multi-material alloying and optimized fabrication strategies, unlocking new capabilities in high-performance applications while reducing manufacturing costs.

99 GENERAL AND MISCELLANEOUS↗

Development of Multimaterial Graded Structure from Superalloys to Refractory Alloys

This research focused on developing hybrid microstructures for extreme environments where zone-specific performance is essential. Traditional structural applications rely on single alloy compositions, often requiring compromises in cost, corrosion resistance, or high-temperature stability, while dissimilar welding leads to abrupt material transitions and potential mechanical weaknesses. By employing a combinatorial approach, this study enabled a gradual transition of chemistries across components, allowing site-specific tailoring of microstructures. Leveraging additive manufacturing’s flexibility, this concept facilitated multi-material alloying and optimized fabrication strategies, unlocking new capabilities in high-performance applications while reducing manufacturing costs.

36 MATERIALS SCIENCE↗

Optimizing the violacein biosynthetic pathway using droplet microfluidics

© 17CBMS-0001. We have developed a microfluidic platform that uses aqueous droplets suspended in an oil phase as discrete reaction chambers to carry out molecular biology steps. It integrates and automates all critical procedures of synthetic biology including combinatorial gene assembly, transformation by electroporation, addition of selection medium, culture, assay and sorting on a single device.

Gach, PC↗

Fast Solution in Sparse LDA for Binary Classification

An algorithm that performs sparse linear discriminant analysis (Sparse-LDA) finds near-optimal solutions in far less time than the prior art when specialized to binary classification (of 2 classes). Sparse-LDA is a type of feature- or variable- selection problem with numerous applications in statistics, machine learning, computer vision, computational finance, operations research, and bio-informatics. Because of its combinatorial nature, feature- or variable-selection problems are NP-hard or computationally intractable in cases involving more than 30 variables or features. Therefore, one typically seeks approximate solutions by means of greedy search algorithms. The prior Sparse-LDA algorithm was a greedy algorithm that considered the best variable or feature to add/ delete to/ from its subsets in order to maximally discriminate between multiple classes of data. The present algorithm is designed for the special but prevalent case of 2-class or binary classification (e.g. 1 vs. 0, functioning vs. malfunctioning, or change versus no change). The present algorithm provides near-optimal solutions on large real-world datasets having hundreds or even thousands of variables or features (e.g. selecting the fewest wavelength bands in a hyperspectral sensor to do terrain classification) and does so in typical computation times of minutes as compared to days or weeks as taken by the prior art. Sparse LDA requires solving generalized eigenvalue problems for a large number of variable subsets (represented by the submatrices of the input within-class and between-class covariance matrices). In the general (fullrank) case, the amount of computation scales at least cubically with the number of variables and thus the size of the problems that can be solved is limited accordingly. However, in binary classification, the principal eigenvalues can be found using a special analytic formula, without resorting to costly iterative techniques. The present algorithm exploits this analytic form along with the inherent sequential nature of greedy search itself. Together this enables the use of highly-efficient partitioned-matrix-inverse techniques that result in large speedups of computation in both the forward-selection and backward-elimination stages of greedy algorithms in general.

Moghaddam, Baback↗

Structure-based design of prefusion-stabilized human metapneumovirus fusion proteins

The human metapneumovirus (hMPV) fusion (F) protein is essential for viral entry and is a key target of neutralizing antibodies and vaccine development. The prefusion conformation is thought to be the optimal vaccine antigen, but previously described prefusion F proteins expressed poorly and were not well stabilized. Here, we use structures of hMPV F to guide the design of 42 variants containing stabilizing substitutions. Through combinatorial addition of disulfide bonds, cavity-filling substitutions, and improved electrostatic interactions, we describe a prefusion-stabilized F protein (DS-CavEs2) that expresses at 15mg/L and has a melting temperature of 71.9°C. Crystal structures of two prefusion-stabilized hMPV F variants reveal that antigenic surfaces are largely unperturbed. Importantly, immunization of mice with DS-CavEs2 elicits significantly higher neutralizing antibody titers against hMPV A1 and B1 viruses than postfusion F. The improved properties of DS-CavEs2 will advance the development of hMPV vaccines and the isolation of therapeutic antibodies.

59 BASIC BIOLOGICAL SCIENCES↗

SpectralFly: Ramanujan Graphs as Flexible and Efficient Interconnection Networks

In recent years, graph theoretic considerations have become increasingly important in the design of HPC interconnection topologies. One approach is to seek optimal or near-optimal families of graphs with respect to a particular graph theoretic property, such as diameter. For example, the SlimFly topology is based on a construction of McKay, Miller, and \v{S}ir\'{a}\v{n} which produces a diameter two graph on a number of nodes approaching the Moore bound, i.e. the largest possible diameter two graph with a fixed radix. Motivated by recent work of Aksoy, Bruillard, Young, and Raugas, we consider topologies which optimize the spectral gap rather than the diameter. In particular, we introduce a novel HPC topology, SpectralFly, designed around the Ramanujan graph construction of Lubotzky, Phillips, and Sarnak (LPS). In this work, we show that the combinatorial properties, such as diameter, bisection bandwidth, average path length, and resilience to link failure, of SpectralFly topologies are better than, or comparable to, similarly constrained DragonFly, SlimFly, and BundleFly topologies. Additionally, we simulate the performance of SpectralFly topologies on a representative sample of physics-inspired HPC workloads using the Structure Simulation Toolkit Macroscale Element Library simulator and demonstrate considerable benefit to using LPS construction as the basis of the SpectralFly topology.

graphs and networks, network topology, interconnec↗

Developing Multi-Gene CRISPRa/I Programs to Accelerate DBTL Cycles in ABF Hosts Engineered for Chemical Production (CRADA 468)

Bacterial metabolism is comprised of large and complex gene networks that can produce valuable chemical products. Sophisticated organism engineering efforts are required to optimize production of high-value compounds from these networks. In principle, synthetic multi-gene transcriptional programs could be constructed to reengineer these networks for efficient industrial chemical production. In practice, however, our incomplete ability to understand and model the underlying networks, combined with our limited ability to predictably control the expression of multiple genes makes achieving this goal difficult. To overcome these challenges, we will combine new CRISPR-Cas multi-gene expression programs with computational modeling, machine learning, and multi-omics data to enhance the efficacy of design-build-test-learn (DBTL) cycles. For industrially promising microorganisms in early stages of development, creating technologies for rapidly engineering complex multi-gene programs could be transformative for accelerating data- and model-driven strain design. New CRISPR-Cas tools allow programmable gene activation (CRISPRa) or repression (CRISPRi) at multiple genes simultaneously, using the catalytically inactive Cas9 protein (dCas9) with guide RNAs that recognize DNA targets through predictable Watson-Crick base pairing. To enable accelerated DBTL cycles, we will combine these technologies with advanced Agile BioFoundry (ABF) capabilities for multi-omics data collection and machine learning. We will demonstrate the immediate applicability of these tools by rapidly improving the production of an industrial aromatic in multiple ABF organisms. We recently identified and optimized new transcriptional activators that can be linked to programmable CRISPR-Cas DNA binding domains to activate gene expression in E. coli. We can now use these CRISPRa tools as generalizable trans-acting regulators for combinatorial multi-gene expression tuning that can be easily transferred to new pathways and networks without additional genome engineering. We anticipate these tools will also transfer to new hosts. We have recently found that CRISPRa systems developed in E. coli can be readily ported to Pseudomonas putida, suggesting that multi-gene CRISPRa/i programs for diverse ABF organisms may be within reach.

59 BASIC BIOLOGICAL SCIENCES↗

Introducing Tropical Geometric Approaches to Delay Tolerant Networking Optimization

Delay Tolerant Networking (DTN) is the standard approach to the networking of space systems with the goal of supporting the Solar System Internet (SSI). Current space networks have a small scale and often depend on rigorously scheduled (pre-determined) contact opportunities; this manual approach inhibits scalability. The goal of this paper is to recast these scheduling problems in order to apply the optimization machinery of tropical geometry. Contact opportunities in space are dependent on such factors as orbital mechanics and asset availability, which induce time-varying connectivity; indeed, end-to-end connectivity might never occur. Routing optimization within this structure is classically difficult and typically utilizes Dijkstra's algorithm as applied to contact graphs. Alternatively, we follow the successes of tropical geometry in train schedule optimization, job assignments, and even traditional networking, by extending this approach to this more general (i.e. disconnected) problem space. These successes imply tropical geometry provides a useful framework in the context of DTNs, starting with applications to queuing theory and long-haul links. Recently, tropical geometry has been applied to parametric path optimization on graphs with variable edge weights. In this work, we extend these advances to account for the problem of routing in a space network, and find that tropical geometry is well-suited to the challenges offered by this new setting, including contact schedules featuring probabilities. Our approach leverages the combinatorial nature of the problem to give feasible shortest path trees in the presence of variable channel conditions and latency, evolving topologies, and uncertainty inherent in space routing. We discuss our tropical approach to DTN for two Python implementations, a Verilog Tropical ALU implementation, tropical frameworks for other parametric graph problems, and solution stability. Lastly, a program for future work is included to illuminate the path ahead.

Delay Tolerant Networking↗

Carbon-negative production of acetone and isopropanol by gas fermentation at industrial pilot scale

Many industrial chemicals that are produced from fossil resources could be manufactured more sustainably through fermentation. In this work, we describe the development of a carbon-negative fermentation route to producing the industrially important chemicals acetone and isopropanol from abundant, low-cost waste gas feedstocks, such as industrial emissions and syngas. Using a combinatorial pathway library approach, we first mined a historical industrial strain collection for superior enzymes that we used to engineer the autotrophic acetogen Clostridium autoethanogenum. Next, we used omics analysis, kinetic modeling and cell-free prototyping to optimize flux. Finally, we scaled-up our optimized strains for continuous production at rates of up to ~3 g/L/h and ~90% selectivity. Life cycle analysis confirmed a negative carbon footprint for the products. Unlike traditional production processes, which result in release of greenhouse gases, our process fixes carbon. These results show that engineered acetogens enable sustainable, high-efficiency, high-selectivity chemicals production. We expect that our approach can be readily adapted to a wide range of commodity chemicals.

59 BASIC BIOLOGICAL SCIENCES↗

Embedding Equality Constraints of Optimization Problems into a Quantum Annealer

Quantum annealers such as D-Wave machines are designed to propose solutions for quadratic unconstrained binary optimization (QUBO) problems by mapping them onto the quantum processing unit, which tries to find a solution by measuring the parameters of a minimum-energy state of the quantum system. While many NP-hard problems can be easily formulated as binary quadratic optimization problems, such formulations almost always contain one or more constraints, which are not allowed in a QUBO. Embedding such constraints as quadratic penalties is the standard approach for addressing this issue, but it has drawbacks such as the introduction of large coefficients and using too many additional qubits. In this paper, we propose an alternative approach for implementing constraints based on a combinatorial design and solving mixed-integer linear programming (MILP) problems in order to find better embeddings of constraints of the type Σ x i = k for binary variables x i . Our approach is scalable to any number of variables and uses a linear number of ancillary variables for a fixed k.

97 MATHEMATICS AND COMPUTING↗

Parametric and sensitivity analysis of a PCM-integrated wall for optimal thermal load modulation in lightweight buildings

Load modulation in buildings is becoming increasingly important due to growing disparity in energy demand during peak and off-peak hours. Integrating phase change material (PCM) in building envelopes and using a controlled precooling strategy can provide substantial thermal load modulation; however, it may greatly increase the total energy use. Previous studies have employed PCM in building envelopes primarily for energy savings and, to some extent, peak load shedding and shifting. However, the load modulation capacity of a PCM-integrated envelope has not been well explored in the literature. In this study, we perform an extensive parametric and sensitivity analysis on PCM-integrated lightweight building walls and examine the combinatory effects of various PCM parameters on thermal load modulation and wall-related heat gains in buildings. Using numerical simulations, we investigate eight PCM parameters: PCM location in the wall, transition temperature, thickness, latent heat, transition range, density, specific heat, and thermal conductivity. Here, we evaluate their impact and relative importance to achieve maximum load modulation in buildings without compromising occupants’ thermal comfort or total energy use. The results show that the optimized PCM proposed in this study can completely invert the transient heat gain profile of the wall, providing up to 70% reduction of wall-related heat gain during peak hours without a major increase in the cumulative heat gain.

42 ENGINEERING↗

Combinatorial Cu-Ni Alloy Thin-Film Catalysts for Layer Number Control in Chemical Vapor-Deposited Graphene

We synthesized a combinatorial library of CuxNi1−x alloy thin films via co-sputtering from Cu and Ni targets to catalyze graphene chemical vapor deposition. The alloy morphology, composition, and microstructure were characterized via scanning electron microscopy (SEM), energy dispersive x-ray spectroscopy (EDS), and X-ray diffraction (XRD), respectively. Subsequently, the CuxNi1−x alloy thin films were used to grow graphene in a CH4-Ar-H2 ambient at atmospheric pressure. The underlying rationale is to adjust the CuxNi1−x composition to control the graphene. Energy dispersive x-ray spectroscopy (EDS) analysis revealed that a continuous gradient of CuxNi1−x (25 at. % < x < 83 at.%) was initially achieved across the 100 mm diameter substrate (~0.9%/mm composition gradient). The XRD spectra confirmed a solid solution was realized and the face-centered cubic lattice parameter varied from ~3.52 to 3.58 A˙, consistent with the measured composition gradient, assuming Vegard’s law. Optical microscopy and Raman analysis of the graphene layers suggest single layer growth occurs with x > 69 at.%, bilayer growth dominates from 48 at.% < x < 69 at.%, and multilayer (≥3) growth occurs for x < 48 at.%, where x is the Cu concentration. Finally, a large area of bi-layer graphene was grown via a CuxNi1−x catalyst with optimized catalyst composition and growth temperature.

2D materials↗

Application of Peracetic Acid in Poultry Processing: Effects of Treatment Dynamics and Emerging Risk of Resistance Development in Salmonella spp.

Nontyphoidal Salmonella is a leading cause of foodborne illness, with poultry representing a major source. Peracetic acid (PAA), a widely adopted antimicrobial in poultry processing, offers advantages over traditional disinfectants but has sparked interest in its combined use with other antimicrobials and potential resistance. This review evaluates the efficacy of PAA in mitigating Salmonella in combination with other food-grade antimicrobials, explores possible synergism, efficacy under varying treatment parameters, resistance development against PAA, and its role in resistance evolution. While PAA demonstrates broad-spectrum efficacy, its performance varies with environmental parameters; higher temperatures generally enhance antimicrobial action but also accelerate PAA degradation. Organic matter diminishes PAA efficacy by reactive quenching. Variability in concentration and contact time further influences outcomes. Despite its oxidative mode of action and presumed low risk for resistance, emerging studies indicate that Salmonella can develop adaptive tolerance and potential cross/coresistance following repeated or sublethal exposure to PAA. These adaptations may involve genetic upregulation of oxidative stress response pathways, efflux systems, and modifications in cell membrane integrity, raising concerns about the long-term sustainability of PAA use. Additionally, combinatorial treatments (e.g., PAA with UV-C, enzymes, or organic acids) show promise in enhancing efficacy while mitigating resistance risks. Despite recognition of PAA's safety and effectiveness, knowledge gaps remain regarding standardized resistance definitions, serotype-specific tolerance, and optimal intervention strategies in commercial settings. Therefore, there is a need for standardized testing protocols, robust studies on potential resistance, and further exploration of synergistic PAA applications to ensure sustained poultry product safety and public health protection.

37 - INORGANIC, ORGANIC, PHYSICAL AND ANALYTICAL C↗

The Evolution of Software and Its Impact on Complex System Design in Robotic Spacecraft Embedded Systems

The growth in computer hardware performance, coupled with reduced energy requirements, has led to a rapid expansion of the resources available to software systems, driving them towards greater logical abstraction, flexibility, and complexity. This shift in focus from compacting functionality into a limited field towards developing layered, multi-state architectures in a grand field has both driven and been driven by the history of embedded processor design in the robotic spacecraft industry.The combinatorial growth of interprocess conditions is accompanied by benefits (concurrent development, situational autonomy, and evolution of goals) and drawbacks (late integration, non-deterministic interactions, and multifaceted anomalies) in achieving mission success, as illustrated by the case of the Mars Reconnaissance Orbiter. Approaches to optimizing the benefits while mitigating the drawbacks have taken the form of the formalization of requirements, modular design practices, extensive system simulation, and spacecraft data trend analysis. The growth of hardware capability and software complexity can be expected to continue, with future directions including stackable commodity subsystems, computer-generated algorithms, runtime reconfigurable processors, and greater autonomy.

software↗

Complexity Science Applications to Dynamic Trajectory Management: Research Strategies

The promise of the Next Generation Air Transportation System (NextGen) is strongly tied to the concept of trajectory-based operations in the national airspace system. Existing efforts to develop trajectory management concepts are largely focused on individual trajectories, optimized independently, then de-conflicted among each other, and individually re-optimized, as possible. The benefits in capacity, fuel, and time are valuable, though perhaps could be greater through alternative strategies. The concept of agent-based trajectories offers a strategy for automation of simultaneous multiple trajectory management. The anticipated result of the strategy would be dynamic management of multiple trajectories with interacting and interdependent outcomes that satisfy multiple, conflicting constraints. These constraints would include the business case for operators, the capacity case for the Air Navigation Service Provider (ANSP), and the environmental case for noise and emissions. The benefits in capacity, fuel, and time might be improved over those possible under individual trajectory management approaches. The proposed approach relies on computational agent-based modeling (ABM), combinatorial mathematics, as well as application of "traffic physics" concepts to the challenge, and modeling and simulation capabilities. The proposed strategy could support transforming air traffic control from managing individual aircraft behaviors to managing systemic behavior of air traffic in the NAS. A system built on the approach could provide the ability to know when regions of airspace approach being "full," that is, having non-viable local solution space for optimizing trajectories in advance.

Sawhill, Bruce↗