Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “solution design”

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 829 records · Page 46
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

PICOSEC-Micromegas Detector, an innovative solution for Lepton Time Tagging

The PICOSEC-Micromegas (PICOSEC-MM) detector is a novel gaseous detector designed for precise timing resolution in experimental measurements. It eliminates time jitter from charged particles in ionization gaps by using extreme UV Cherenkov light emitted in a crystal, detected by a Micromegas photodetector with an appropriate photocathode. The first single-channel prototype tested in 150 GeV/c muon beams achieved a timing resolution below 25 ps, a significant improvement compared to standard Micropattern Gaseous Detectors (MPGDs). This work explores the specifications for applying these detectors in monitored neutrino beams for the ENUBET Project. Key aspects include exploring resistive technologies, resilient photocathodes, and scalable electronics. New 7-pad resistive detectors are designed to handle the particle flux. In this paper, two potential scenarios are briefly considered: tagging electromagnetic showers with a timing resolution below 30ps in an electromagnetic calorimeter as well as individual particles (mainly muons) with about 20ps respectively.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2020

Simulation of and Antenna Design for a Reflector-based Broadband Axion Search

The axion is a theoretical particle that presents a solution to the Strong CP problem in the Standard Model and is a strong candidate for dark matter. Axions convert to photons in the presence of a strong magnetic field. Searches for the axion capitalize on this property, but the unknown mass of the axion means the frequency of oscillation of the photons is also unknown. This work explores a broadband reflector-based experiment with a conical horn antenna and circular waveguide as a new potential search method for this particle.

43 PARTICLE ACCELERATORS↗
DOE OSTI2024

Seismic Bracing Development for the Moore 3 Diamond Turning Machine at Lawrence Livermore National Laboratory

To allow for on-site Potassium Dihydrogen Phosphate (KDP) crystal finishing capabilities, Lawrence Livermore National Laboratory (LLNL) acquired the Moore 3 diamond turning machine. Equipment such as the Moore 3 is required by LLNL to have adequate seismic bracing before permanent installation to reduce the risk of personnel injury or machine damage during an earthquake. The purpose of this project was to design a bracket that can withstand seismic forces induced by the machine without hindering function. To develop a solution, background research—including stakeholder identification, stakeholder interviews, and a literature survey—was conducted. Based on LLNL site and stakeholder requirements, several approaches were developed for bracing the Moore 3. Ideations were evaluated based on a weighted decision matrix and a final design strategy was selected. This design was an L-shaped weldment that featured provisions for four HILTI concrete anchors, three triangular gussets, and a steel construction.

42 ENGINEERING↗
DOE OSTI2025

DOESC Remote Canister Closure System UT Inspection Couplant Solutions

The DOE Standard Canister (DOESC) Remote Canister Closure System is a remotely operated welding and inspection mechanism designed for the packaging of DOE-managed spent nuclear fuel into canisters. The ultrasonic testing (UT) inspection, included in the system, requires the use of water tanks that are opened to act as a couplant between the canister and the sensors. With the couplant, the UT inspection can guarantee accurate results determining imperfections in the weld.

12 - MGMT OF RADIOACTIVE AND NON-RADIOACTIVE WASTE↗
DOE OSTI2023

Burst Pressure Solutions of Thin and Thick-Walled Cylindrical Vessels

Pressure vessels (PVs) are widely used in the energy industry. Accurate burst pressure is critical to structural design and safe operation for both thin and thick-walled PVs. The traditional strength theories utilized a single-parameter material property, such as the yield stress or the ultimate tensile stress (UTS) to develop failure models for determining the yield or ultimate pressure carrying capacity in the PV design. The UTS-based Barlow formula is a typical burst pressure model developed from the Tresca strength theory that provides the basis for developing regulation rules and failure models for different industry design codes, such as ASME BPVC, ASME B31.3, and ASME B31G, among others. In order to reduce the conservatism of the Tresca strength model, ASME BPVC recently adapted failure models developed from the von Mises strength theory for the PV design and analysis. It has been commonly accepted that the burst pressure of pipelines depends on the UTS and strain hardening exponent, n, of the pipeline steel. An average shear stress yield theory was thus developed, and the Zhu-Leis solution of burst pressure was obtained as a function of UTS and n for thin-walled line pipes. Experiments showed that the Zhu-Leis solution provides an accurate, reliable prediction of burst pressure for defect-free thin-walled pipes. In order to extend the Zhu–Leis solution to thick-walled cylindrical PVs, this paper defined three new flow stresses, modified the traditional strength theories, and obtained three new burst pressure solutions that are valid for both thin and thick-walled cylindrical vessels. The proposed flow stresses are able to describe the tensile strength and the plastic flow response of PVs for a strain hardening steel. The associated strength theories were then developed in terms of the Tresca, von Mises, and Zhu-Leis yield criteria. From these new strength theories, three burst pressure solutions were obtained for thick-walled cylinders, where the von Mises solution is an upper bound prediction, the Tresca solution is a lower bound prediction, and the Zhu-Leis solution is an intermediate prediction of burst pressure for thick-walled cylinders. Lastly, the proposed burst pressure solutions were evaluated and validated by two large datasets of full-scale burst tests for thick-walled tubes and for thin-walled pipes.

42 ENGINEERING↗
DOE OSTI2022

Design of quantum optical experiments with logic artificial intelligence

Logic Artificial Intelligence (AI) is a subfield of AI where variables can take two defined arguments, True or False, and are arranged in clauses that follow the rules of formal logic. Several problems that span from physical systems to mathematical conjectures can be encoded into these clauses and solved by checking their satisfiability (SAT). In contrast to machine learning approaches where the results can be approximations or local minima, Logic AI delivers formal and mathematically exact solutions to those problems. In this work, we propose the use of logic AI for the design of optical quantum experiments. We show how to map into a SAT problem the experimental preparation of an arbitrary quantum state and propose a logic-based algorithm, called Klaus, to find an interpretable representation of the photonic setup that generates it. We compare the performance of Klaus with the state-of-the-art algorithm for this purpose based on continuous optimization. We also combine both logic and numeric strategies to find that the use of logic AI significantly improves the resolution of this problem, paving the path to developing more formal-based approaches in the context of quantum physics experiments.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

Performance Evaluation of District Energy Microgrids Planning Tool for Non-Technical Users

Community Microgrids are increasingly gaining popularity worldwide for their efficiency, cost-effectiveness, and local resilience improvement. Microgrid planning tools play a crucial role in their deployment. In the process, tentative designs of the microgrid are simulated, analyzed, and optimized. Due to the complexity of the problem, planning tools must carefully balance computational efficiency while seeking the most optimal solutions. This paper investigates the impact of algorithm selection on CPU and memory utilization of a Community Microgrid planning tool that is specifically designed for non-technical users. We compare two version of the code with two alternatives for Community Microgrid planning tools: a Greedy Algorithm, and a Linear Programming Approach. This comparison examines scenarios spanning from 2 to 50 buildings. Our findings revealed a significant difference in performance between the two algorithms, underscoring the critical role of algorithm selection in optimizing the efficiency of Community Microgrid Planning Tools.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2020

Conversion of Uranium Metal to Uranyl Sulfate Solution

Experiments involving conversion of uranium (U) metal to U 3 O 8 , followed by dissolution to form uranyl sulfate solution, were performed with batches of up to 300 g of U metal. The focus was to identify major U species formed during the oxidation process, determine the particle size distribution of the uranium oxide product, and identify the size of the dissolution vessel needed to accommodate the exothermic reaction during the conversion of U 3 O 8 to uranyl sulfate using 30% hydrogen peroxide and H 2 SO 4 . The information obtained in this study will be used for designing full-scale processes to convert kilogram quantities of U metal to uranyl sulfate solution with a concentration of 300 g U/L.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗
DOE OSTI2021

In Situ ATR-FTIR Study of the Cathode–Electrolyte Interphase: Electrolyte Solution Structure, Transition Metal Redox, and Surface Layer Evolution

We present a study of the lithium nickel manganese cobalt oxide (LiNi 0.6 Mn 0.2 Co 0.2 O 2 , NMC622) cathode-electrolyte interphase (CEI) during galvanostatic charging and discharging using in situ attenuated total reflectance Fourier transform infrared (ATR-FTIR) methods to investigate the voltage dependent electrolyte solution structure changes at the interface, transition metal (TM) redox chemistry, and cathode/electrolyte interfacial layer evolution. Furthermore, our in situ cell design provides both reliable electrochemical device testing and strong FTIR vibrational absorption signals near the cathode surface. Specifically, advanced spectral analysis elucidates changes of near-surface Li+ ion (de)solvation by solvent molecules during galvanostatic cycling. Moreover, cathode metal-oxygen vibrational absorptions, sensitive to TM redox behaviors and subsequent local structural variations, were correlated to cathode de-lithiation (and lithiation) and electrolyte solution structure changes. In addition, we have detected the formation and evolution of a CEI surface layer on the NMC622 cathode that contributes to the cell's capacity fade.

25 ENERGY STORAGE↗
DOE OSTI2023

Design of Diverse Asymmetric Pockets in De Novo Homo-oligomeric Proteins

A challenge for design of protein–small-molecule recognition is that incorporation of cavities with size, shape, and composition suitable for specific recognition can considerably destabilize protein monomers. This challenge can be overcome through binding pockets formed at homo-oligomeric interfaces between folded monomers. Interfaces surrounding the central homo-oligomer symmetry axes necessarily have the same symmetry and so may not be well suited to binding asymmetric molecules. To enable general recognition of arbitrary asymmetric substrates and small molecules, we developed an approach to designing asymmetric interfaces at off-axis sites on homo-oligomers, analogous to those found in native homo-oligomeric proteins such as glutamine synthetase. We symmetrically dock curved helical repeat proteins such that they form pockets at the asymmetric interface of the oligomer with sizes ranging from several angstroms, appropriate for binding a single ion, to up to more than 20 Å across. Of the 133 proteins tested, 84 had soluble expression in E. coli, 47 had correct oligomeric states in solution, 35 had small-angle X-ray scattering (SAXS) data largely consistent with design models, and 8 had negative-stain electron microscopy (nsEM) 2D class averages showing the structures coming together as designed. Both an X-ray crystal structure and a cryogenic electron microscopy (cryoEM) structure are close to the computational design models. The nature of these proteins as homo-oligomers allows them to be readily built into higher-order structures such as nanocages, and the asymmetric pockets of these structures open rich possibilities for small-molecule binder design free from the constraints associated with monomer destabilization.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2021

Dynamic Building Load Control to Facilitate High Penetration of Solar Photovoltaic Generation (Final Technical Report)

Solar photovoltaic (PV) resources are the most common form of distributed generation in residential and commercial customer premises within electric distribution networks. A higher penetration of PV generation in distribution circuits will impose challenges on maintaining service voltages within the range of industry standards, power quality, and power flow. Buildings consume 74% of the electricity produced in the United States, and a significant portion of the building load is dispatchable, making them responsive to electrical grid needs. Oak Ridge National Laboratory—in collaboration with Southern Company; the University of Tennessee, Knoxville; and the Georgia Institute of Technology—is examining the PV integration issues in distribution-level electrical grids and developing integrated demand-side control and communication systems to enable responsive loads. The proposed responsive loads mechanism performs renewable generation following to increase the penetration of solar PV within each feeder. The specific objectives of this project are to (1) examine distribution-level PV integration scenarios to understand requirements, (2) undertake an end-to-end simulation-based design of a distributed control strategy of loads geographically near the PV generation asset to minimize the effect on the distribution feeder, (3) deploy and demonstrate the control technology developed in partnership with utilities, and (4) perform a scalability analysis at the utility scale. This 3-year integrated project aims to develop, demonstrate, and validate demand-side control technology to enable increased the penetration of renewables while mitigating challenges that arise due to their intermittency. Activities in Budget Period (BP) 1 focused on a literature review and the formal design of a control system for integrating local distribution with generation and loads. The team used modeling and simulation to evaluate the impact of varying buildings loads, variable PV generation, and power flow dynamics on the distribution circuit. The dynamic models developed in BP 1 were used in BP 2 to develop a model-based control design and a test bed. The test bed has enabled the simulation-based testing and comparison of different control designs and formulations applied to different configurations of the distribution grid, PVs, and building loads. The control approaches developed in BP 2 were implemented in BP 3 in the form of hardware deployed at the Central Baptist Church (CBC) in Knoxville, Tennessee, for testing and evaluation. The outcome of this project was the development and demonstration of open-source, low-cost, low-touch sensing and control retrofits to distributed PV generation and building loads that, in a coordinated fashion, provide the load-shaping response needed to integrate high levels of renewable penetration. This research addresses the target metrics by dynamically controlling a load with solar generation variability to minimize the extent of two-way power flow, enhance reliability, facilitate high PV penetration (>100% of peak load in a line segment), and generate scalable software and hardware solutions adaptable to any penetration levels. The research and development activities are focused and designed to be impactful within the relevant 2020 targets time frame.An accurate open-source integration simulation framework for end-to-end control design was developed and deployed at the CBC facility for testing and evaluation. This final report provides a detailed review of the technical results achieved during this 3-year integrated project. A novel spectral analysis of PV data is demonstrated to derive the requirements of the control design. A detailed simulation-based analysis of PV integration at increasing penetration levels is presented using 1 year of PV data to demonstrate the impact on the distribution circuits. Two different control strategies were developed and demonstrated via simulation to track variable PV generation with adaptive load dispatch. The report concludes with a summary of accomplishments and recommendations for a path forward.

14 SOLAR ENERGY↗
DOE OSTI2024

Bayesian optimization algorithms for accelerator physics

Accelerator physics relies on numerical algorithms to solve optimization problems in online accelerator control and tasks such as experimental design and model calibration in simulations. The effectiveness of optimization algorithms in discovering ideal solutions for complex challenges with limited resources often determines the problem complexity these methods can address. The accelerator physics community has recognized the advantages of Bayesian optimization algorithms, which leverage statistical surrogate models of objective functions to effectively address complex optimization challenges, especially in the presence of noise during accelerator operation and in resource-intensive physics simulations. In this review article, we offer a conceptual overview of applying Bayesian optimization techniques toward solving optimization problems in accelerator physics. We begin by providing a straightforward explanation of the essential components that make up Bayesian optimization techniques. We then give an overview of current and previous work applying and modifying these techniques to solve accelerator physics challenges. Finally, we explore practical implementation strategies for Bayesian optimization algorithms to maximize their performance, enabling users to effectively address complex optimization challenges in real-time beam control and accelerator design. Published by the American Physical Society 2024

43 PARTICLE ACCELERATORS↗
DOE OSTI2023

Proton and electron RLA optics design

We describe optics designs of the key components of proton and electron Recirculating Linear Accelerators (RLAs). They are presented in the context of a high-power hadron accelerator being considered at ORNL and a CEBAF electron energy doubling study, FFA@CEBAF, being developed at Jefferson Lab. Both concepts rely on the Fixed-Field Alternating gradient (FFA) arc optics designs where multiple beam passes are transported by a single beam line. Some of the main challenges of the optics design are in synchronization and orbital and linear optics match of the individual passes with the linac straight. To minimize the complexity of the matching sections and make them more practical, it is preferable to complete as much of the orbital and optical match as possible within a single beam line using the FFA approach. The adiabatic matching technique proposed earlier is one such solution, but it requires a large number of cells. We present a much shorter matching section design based on another approach. A compact dog-leg-type section of several bending dipoles and quadrupoles is used to suppress the orbital offset and dispersion coming out of a periodic cell. Additional quadrupoles are used in the section to keep the beta functions under control and simplify their subsequent match to the linac. Initial beam tracking results are presented.

Benesch, J.↗
DOE OSTI2024

Nuclear Thermal Energy Storage Configurations for Industrial Combined Heat and Power Supply: Conceptual Study and Engineering Designs

The industries examined in this report primarily rely on moderate-temperature heat provided by gas- or coal-fired boilers and combined heat and power (CHP) plants, delivered through standard process steam systems. High-temperature energy demands are often industry-specific and typically exceed the capabilities of high-temperature gas-cooled reactors (HTGRs). While it is technically feasible to replace process steam from fossil-based heat sources with nuclear energy, certain industries, such as methanol production and pulp and paper, face technoeconomic challenges in integrating nuclear energy without major changes or a technological shift. This is mainly due to the limited external energy demand remaining after the use of internal byproducts, waste heat recovery, and simple efficiency improvements. Achieving full decarbonization of these processes with nuclear energy would require significant technological advancements, involving experimental technology and substantial investments, making widespread adoption in existing industrial plants unlikely in the near term. This study reviews TES options in the context of enabling a flexible CHP supply while maintaining a steady nuclear heat input. Heat storage systems that interface between the reactor primary fluid and the CHP system offer superior performance and flexibility. Specifically, steam extraction downstream of the reheater with a two-tank molten-salt TES appears as the best solution regarding thermodynamic system benefits and system drawbacks. Using selected system configurations, a conceptual design of an industrial energy park was developed for industries with varying energy demands, such as steel production plants utilizing electric arc furnaces (EAFs) and chemical plants, as well as for those with constant energy demands, like petroleum refineries. This design highlights the capabilities of TES and explores its potential business cases. The study also conceptually develops the potential for integrating additional energy sources with nuclear systems through the implementation of TES. The potential of the HTGR-TES-CHP system was also evaluated considering key uncertainties such as industrial demand profiles, external grid access availability, and eligible tax credit levels, using the Holistic Energy Resource Optimization Network. Sensitivity of net present value to these uncertainties was analyzed to determine the optimal number of nuclear reactors (and CHP systems) and the suitable TES capacity. The results were interpreted from a decision-maker’s perspective, focusing on three key areas: deployment strategy (oversized units vs. undersized units with TES support), industrial process characteristics (thermal-intensive single profiles vs. electricity-intensive combined profiles), and operational goals (maximizing profits vs. minimizing natural gas (NG) consumption or external grid dependence). The optimization results indicate that the HTGR-TES-CHP system significantly reduces reliance on NG boilers for individual industrial processes by 9-60% (in NG capacity factor), with an average reduction of 38%, compared to standalone NG boiler operation case (Business As Usual [BAU]). For combined industrial processes, the reduction ranges from 37-77%, with an average of 60%. Additionally, the system greatly reduces dependence on external grids. In meeting industrial electrical demands, a 33-100% self-sufficient internal electricity supply is achieved for single industrial process, with an average of 74%, compared to the BAU scenario, where 100% of electricity is imported. For combined processes, 35-100% of internal electricity demands are met by the reactor, with an average of 73%. At last, the relative NG price levels at which the proposed HTGR-TES-CHP system can cost-effectively enter the market currently dominated by existing NG boilers were estimated. For a moderate HTGR CAPEX level ($\$$2500/kWth, $\$$6329/kWe), the analysis suggests that NG prices must be 2.5 to 7 times higher than HTGR variable operating and maintenance costs for single industrial process, and 5.5 to 9.5 times higher for a combined process scenario. Tax credit modeling shows that the Investment Tax Credit significantly reduces the price threshold needed to break even, making the system competitive with NG boilers in certain cases.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2023

Online and noninvasive monitoring of battery health at negative-half cell in all-vanadium redox flow batteries using ultrasound

Hydrogen evolution is one of the major side reactions that is detrimental to the health of all-vanadium redox flow batteries, especially for long-term cycling. Effective, low-cost, and accurate online prediction and detection methods for hydrogen generation are not yet available. In this work, we designed an online, noninvasive ultrasonic probing approach for monitoring the state of charge (SoC), predicting the hydrogen generation, and detecting hydrogen gas bubbles in anolyte solutions. The technique employs a pulse-echo method to measure the sound speed and the acoustic attenuation coefficient of the anolyte solution. Through static offline experiments and online in operando experiments, we have demonstrated that when hydrogen gas is generated in anolyte solutions, large variations are observed in both sound speed and acoustic attenuation coefficient measurements. We found that the variations of acoustic attenuation coefficient are highly correlated (correlation coefficients >0.9) with the gas flow rate. In conclusion, the designed acoustic method can monitor the SoC of anolyte, predict the hydrogen generation, and detect the presence of gas bubbles in an anolyte solution and, thus, provide information about the state of health for operation and management of flow battery systems.

25 ENERGY STORAGE↗
DOE OSTI2025

Parallel derivative-free optimization for simulation-based design of behind-the-meter energy systems

In this work, the integrated design and dispatch of behind-the-meter or distributed resources (e.g. stationary battery storage and solar PV generation) is considered. A simulation-based framework is employed, generating high-fidelity results with closed-loop predictive control at a fine resolution, at the expense of high computational cost (several minutes to a few hours per design point). To address this challenge, parallel derivative-free design methods are considered. Four methods are compared, including state-of-the-art surrogate-based methods (Radial-Basis Functions and Gaussian processes) and sampling strategies, an evolutionary-based method, and a simple sequential grid refinement method. As a case study, two types of design problem with increasing complexity are considered, namely, the design of behind-the-meter resources (three design variables) and the inclusion of grid capacity (four design variables). The second yields a constrained design problem for which violations can only be determined after solving the computationally expensive simulation. For the three-dimensional case, all methods present a good performance, achieving a solution within 1% of the optimum after the first iteration, with the sequential grid refinement exhibiting the fastest convergence and achieving the best final objective value. This indicates that the parallel evaluation of multiple sampling points may be more important than the choice of method for small decision spaces. For the four-dimensional constrained case, the Genetic Algorithm presents the best tradeoff between performance and computational effort, while the rough objective function terrain generated by constraint violation penalties reduces the performance of surrogate-based methods. Contour plots with flat regions indicate flexibility in the optimal design and highlight the importance of characterizing the solution space.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2022

ELASTOMERIC MICROVASCULAR SELF-HEALING MATERIALS

Damaged elastomeric diaphragms within pneumatic controllers used in the oil and gas industry lead to an unintended release of methane. Self-healing microvascular materials capable of healing various types of damage have been fabricated. These microvascular materials are designed to replace currently available commercial diaphragms found in pneumatic controllers and provide a solution to reduce unintended methane leaks. Poly(dimethylsiloxane) (PDMS) was used as the main matrix material, with additional testing conducted on polyurethane and flexibilised epoxy materials. Microvascular networks were implemented into the elastomeric membranes to act as ves- sels to deliver healing agents to the damaged areas. The complex, interdigitated channel networks were created using a 3D printed custom compounded filament composed of polylactic acid (PLA) and tin(II) oxalate. Two-part liquid casting polymers were poured around the channels into a mould to create samples with the scaffolding of the microvascular channels intact. Hollow microvascular networks were created by placing the samples within a vacuum oven at 250◦C which causes the thermal depolymerisation of PLA into its gaseous monomers. The manufactured materials were placed in test stands and pressurized using nitrogen gas to determine their healing and mechanical behaviour. Self-healing behaviour was demonstrated using PDMS matrix materials and healing chemistries within a pressure test cell. This test cell was designed to detect any damage to a sample by record- ing an outlet pressure. Damages including puncture holes, diagonal cuts and star-shaped central iv cuts were applied to the samples and a reduction in the outlet pressure was recorded for all sam- ples. A variation in channel spacing and diameter was studied to determine the optimal design of the microvascular network for self-healing performance. The mechanical performance of elastomeric membrane materials within a diaphragmatic pressurised stand was observed. Deformations and strains around the channels and channel inter- sections at the midplane of the materials were recorded using digital image correlation. Normal stresses were calculated using Hooke’s law and the material properties of the PDMS matrix. A reduction in leak rate, implying the success of self-healing, was recorded within manu- factured diaphragm samples tested within a commercial valve. PDMS is the favourable material when compared to polyurethane and flexibilised epoxy for creating

03 NATURAL GAS↗
DOE OSTI2022

Modeling design and control problems involving neural network surrogates

Here, we consider nonlinear optimization problems that involve surrogate models represented by neural networks. We demonstrate first how to directly embed neural network evaluation into optimization models, highlight a difficulty with this approach that can prevent convergence, and then characterize stationarity of such models. We then present two alternative formulations of these problems in the specific case of feedforward neural networks with ReLU activation: as a mixed-integer optimization problem and as a mathematical program with complementarity constraints. For the latter formulation we prove that stationarity at a point for this problem corresponds to stationarity of the embedded formulation. Each of these formulations may be solved with state-of-the-art optimization methods, and we show how to obtain good initial feasible solutions for these methods. We compare our formulations on three practical applications arising in the design and control of combustion engines, in the generation of adversarial attacks on classifier networks, and in the determination of optimal flows in an oil well network.

97 MATHEMATICS AND COMPUTING↗