Search NASA⌕ Search

SEARCH · Search NASA

Results for “Injection testing”

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,261 records · Page 70

Injectable dynamic covalent hydrogels of boronic acid polymers cross-linked by bioactive plant-derived polyphenols

We report here the development of hydrogels formed at physiological conditions using PEG (polyethylene glycol) based polymers modified with boronic acids (BAs) as backbones and the plant derived polyphenols ellagic acid (EA), epigallocatechin gallate (EGCG), tannic acid (TA), nordihydroguaiaretic acid (NDGA), rutin trihydrate (RT), rosmarinic acid (RA) and carminic acid (CA) as linkers. Rheological frequency sweep and single molecule force spectroscopy (SMFS) experiments show that hydrogels linked with EGCG and TA are mechanically stiff, arising from the dynamic covalent bond formed by the polyphenol linker and boronic acid functionalized polymer. Stability tests of the hydrogels in physiological conditions revealed that gels linked with EA, EGCG, and TA are stable. We furthermore showed that EA- and EGCG-linked hydrogels can be formed via in situ gelation in pH 7.4 buffer, and provide long-term steady state release of bioactive EA. In vitro experiments showed that EA-linked hydrogel significantly reduced the viability of CAL-27 human oral cancer cells via gradual release of EA.

materials science↗

Material-Dependent Antagonistic Effects between Soot and ZDDP

While soot in engine oil is known to accelerate the wear of diesel and gasoline direct-injection compression-ignition engines, there is a lack of consensus on the wear mechanism though various hypotheses have been proposed in the literature. Particularly, some recently observed antagonistic effects between soot and a common lubricant antiwear additive, zinc dialkyldithiophosphate (ZDDP), while others did not. The discrepancy is, in part, explained by the strong alloy dependence of such antagonism discovered in this study. Specifically, four alloys, 52100 steel and M2, M50, and A2 tool steels, are tested in lubricants containing carbon black (CB, a soot surrogate) with and without ZDDP present. Adding the CB alone to the oil increases the wear rate for all steel alloys as expected. However, distinct wear performance is observed for the four steel alloys when ZDDP is introduced to the CB-containing oil: while the 52100 steel has notable wear reduction, the three tool steels suffer significant wear increase. Comprehensive tribofilm characterization suggests that the Mo content in the steel alloy and the sulfur from ZDDP strongly influence wear behavior. The combination of CB/Mo-catalyzed sulfidation and CB-accelerated abrasion is hypothesized to be responsible for the high wear of the Mo-alloyed tool steels.

36 MATERIALS SCIENCE↗

Effect of coaxial nozzle wear on catchment efficiency in direct energy deposition built components

Laser based Direct Energy Deposition (DED) systems using metallic powder feedstock are recognized as a promising manufacturing method for their ability to shorten production cycles and create complex part geometries. Components are built by generating a melt pool with a high-power laser beam while material is coaxially injected and left to solidify. An impediment to large scale use of DED lies in poor powder catchment efficiency, the condition in which a portion of injected powder escapes the melt pool resulting in a ratio of decreased printed material mass to mass of supplied feedstock. The wear state of a coaxial nozzle on a DED system within a hybrid manufacturing machine tool has been observed to decrease catchment efficiency over time. Herein this study investigates this effect by adapting flow visualization techniques to an in-situ process monitoring format, the implementation of a Computational Fluid Dynamics (CFD) simulation, and deposition testing. Nozzle geometric defects due to wear are identified and categorized, and the impact of nozzle tip wear, resulting in axial tip reduction, on powder catchment efficiency is proven by multiple calculation methods. A linear correlation between catchment efficiency and powder stream diameter is identified, causing a 15–20% loss in efficiency sustained over incremental nozzle tip reduction up to − 1 mm. These results provide a foundation for further study of wear effects and Zero defect manufacturing solutions for powder fed DED systems.

42 ENGINEERING↗

A general framework for quantitatively assessing ecological stochasticity

Understanding the community assembly mechanisms controlling biodiversity patterns is a central issue in ecology. Although it is generally accepted that both deterministic and stochastic processes play important roles in community assembly, quantifying their relative importance is challenging. Here we propose a general mathematical framework to quantify ecological stochasticity under different situations in which deterministic factors drive the communities more similar or dissimilar than null expectation. An index, normalized stochasticity ratio ( NST ), was developed with 50% as the boundary point between more deterministic (<50%) and more stochastic (>50%) assembly. NST was tested with simulated communities by considering abiotic filtering, competition, environmental noise, and spatial scales. All tested approaches showed limited performance at large spatial scales or under very high environmental noise. However, in all of the other simulated scenarios, NST showed high accuracy (0.90 to 1.00) and precision (0.91 to 0.99), with averages of 0.37 higher accuracy (0.1 to 0.7) and 0.33 higher precision (0.0 to 1.8) than previous approaches. NST was also applied to estimate stochasticity in the succession of a groundwater microbial community in response to organic carbon (vegetable oil) injection. Our results showed that community assembly was shifted from more deterministic ( NST = 21%) to more stochastic ( NST = 70%) right after organic carbon input. As the vegetable oil was consumed, the community gradually returned to be more deterministic ( NST = 27%). In addition, our results demonstrated that null model algorithms and community similarity metrics had strong effects on quantifying ecological stochasticity.

54 ENVIRONMENTAL SCIENCES↗

Dark Energy Survey year 6 results: Magnification modeling and its impact on galaxy clustering and galaxy-galaxy lensing cosmology

Gravitational lensing magnification alters the observed spatial distribution of galaxies and must be accounted for to prevent biases in cosmological probes of the large-scale structure. We investigate its effects on the Dark Energy Survey Year 6 galaxy clustering and galaxy-galaxy lensing analyses using the fiducial lens (position tracer) sample M ag L im++. Magnification bias is parameterized by a coefficient that describes the response of the number of selected objects per unlensed area element to a change in the lensing convergence. We quantify this coefficient using the BALROG synthetic source injection catalog to account for the complexity of the selection function, and compare these results with simplified estimates. The resulting values of the magnification coefficients for each redshift bin are [3.16 ± 0.08, 2.76 ± 0.21, 4.09 ± 0.15, 4.42 ± 0.16, 4.90 ± 0.29, 4.83 ± 0.25]. Relative to Year 3, this analysis provides more precise and accurate magnification bias estimates through a larger BALROG area and reweighting to better match the data properties. Here, the cosmological results are robust when tested against various magnification parameter prior choices and also when adding cross-clustering between lens redshift bins. Neglecting magnification, however, introduces significant systematic shifts: relative to the fiducial analysis with Gaussian priors centered on the BALROG -derived estimates, we observe shifts of 1.37σ in S 8 and -0.84σ in Ω m (with cosmic shear included: -0.61σ in S 8 and -0.71σ in Ω m ), in agreement with findings from simulated data, demonstrating that magnification must be modeled to avoid biases. Freeing the magnification bias in lens bin 2 leads to unphysical negative values, further justifying its exclusion from the fiducial Year 6 analysis.

Cosmological parameters↗

A Hybrid Stochastic-Interval Operation Strategy for Multi-Energy Microgrids

Increasing deployment of distributed energy resources intensifies interactions among electric, gas, heating, and cooling systems. Inherent uncertainties ranging from internal parameters to external inputs also impose significant challenges on system operation. A coordinated scheduling method is, therefore, desired for facilitating efficient operation of multi-energy microgrids under multiple uncertainties. In this paper, a deterministic coordinated scheduling model is developed first with detailed modeling of system dynamics and device parameters to fully characterize complex interactions among multi-energy carriers. Then, a hybrid stochastic-interval method is proposed to account for heterogeneous uncertainties in decisions of operational strategies. Specifically, performance and efficiency uncertainties of distributed energy resources, and injection uncertainty of renewable sources and multienergy demands are characterized by interval-based uncertain operation regions and probability distributions, respectively. A scenario-based two-stage algorithm is developed to solve the problem so that multiple uncertainties are preserved in the entire decision-making process. Moreover, adjustable operational strategies are determined to hedge uncertainty by considering operators’ risk preferences. The validity of the proposed method is verified by comprehensive case studies on a test system.

hybrid stochastic-interval approach↗

Partially cracked ammonia mixture combustion in gas turbine combustors

Ammonia is gaining popularity for single fuel use in existing gas turbines, as it is carbonless, has higher hydrogen content per unit volume than liquid hydrogen, and facilitates easy storage and handling. However, the low flame speed of ammonia makes it prone to flame blow off and remains the chief concern for its use in power generation. Following previous studies that have shown improved combustion performance by partially cracking the fuel, in this computational study, efficacy of partially cracked ammonia as a replacement fuel for natural gas is evaluated. A high-pressure optically accessible combustor operated at ~10 bar pressure with non-vitiated heated air was used as the test platform. This combustor was equipped with a novel multifuel multi-tube micromixing injector (M3 injector). High resolution simulations of the flow fields both in the injector as well as the combustor were performed to understand the fuel mixing in the injector and in the inlet region of the combustor. These modeling results showed that the injector was highly effective for achieving mixture homogeneity at the entrance of the combustor for ammonia and natural gas injection, whereas, for hydrogen an earlier injection facilitating longer residence time would be beneficial. Also, these simulations show that while harnessing waste heat the ideal fuel dissociation fraction is between 0.4 and 0.55 for optimal operation.

Ammonia↗

Wellbore Seal Repair Using Nanocomposite Materials

Nanocomposite wellbore repair materials have been developed, tested, and modeled through an integrated program of laboratory testing and numerical modeling. Numerous polymer-cement nanocomposites were synthesized as candidate wellbore repair materials using various combinations of base polymers and nanoparticles. Based on tests of bond strength to steel and cement, ductility, stability, flowability, and penetrability in opening of 50 microns and less, we identified Novolac epoxy reinforced with multi-walled carbon nanotubes and/or alumina nanoparticles to be a superior wellbore seal material compared to conventional microfine cements. A system was developed for testing damaged and repaired wellbore specimens comprised of a cement sheath cast on a steel casing. The system allows independent application of confining pressures and casing pressures while gas flow is measured through the specimens along the wellbore axis. Repair with the nanocomposite epoxy base material was successful in dramatically reducing the flow through flaws of various sizes and types, and restoring the specimen comparable to an intact condition. In contrast, repair of damaged specimens with microfine cement was less effective, and the repair degraded with application of stress. Post-test observations confirm the complete penetration and sealing of flaws using the nanocomposite epoxy base material. A number of modeling efforts have supported the material development and testing efforts. We have modeled the steel-repair material interface behavior in detail during slant shear tests, which we used to characterize bond strength of candidate repair materials. A numerical model of the laboratory testing of damaged wellbore specimens was developed. This investigation found that microannulus permeability can satisfactorily be described by a joint model. Finally, a wellbore model has been developed that can be used to evaluate the response of the wellbore system (casing, cement, and microannulus), including the use of either cement or a nanocomposite in the microannulus to represent a repaired system. This wellbore model was successfully coupled with a field-scale model of CO 2 injection, to enable predictions of stress and strains in the wellbore subjected to subsurface changes (i.e. domal uplift) associated with fluid injection.

36 MATERIALS SCIENCE↗

Deceleration, precooling, and multi-pass stopping of highly charged ions in Be{sup +} Coulomb crystals

Preparing highly charged ions (HCIs) in a cold and strongly localized state is of particular interest for frequency metrology and tests of possible spatial and temporal variations of the fine structure constant. Our versatile preparation technique is based on the generic modular combination of a pulsed ion source with a cryogenic linear Paul trap. Both instruments are connected by a compact beamline with deceleration and precooling properties. We present its design and commissioning experiments regarding these two functionalities. A pulsed buncher tube allows for the deceleration and longitudinal phase-space compression of the ion pulses. External injection of slow HCIs, specifically Ar{sup 13+}, into the linear Paul trap and their subsequent retrapping in the absence of sympathetic cooling is demonstrated. The latter proved to be a necessary prerequisite for the multi-pass stopping of HCIs in continuously laser-cooled Be{sup +} Coulomb crystals.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Beam-induced backgrounds measured in the ATLAS detector during local gas injection into the LHC beam vacuum

Inelastic beam-gas collisions at the Large Hadron Collider (LHC), within a few hundred metres of the ATLAS experiment, are known to give the dominant contribution to beam backgrounds. These are monitored by ATLAS with a dedicated Beam Conditions Monitor (BCM) and with the rate of fake jets in the calorimeters. These two methods are complementary since the BCM probes backgrounds just around the beam pipe while fake jets are observed at radii of up to several metres. In order to quantify the correlation between the residual gas density in the LHC beam vacuum and the experimental backgrounds recorded by ATLAS, several dedicated tests were performed during LHC Run 2. Local pressure bumps, with a gas density several orders of magnitude higher than during normal operation, were introduced at different locations. The changes of beam-related backgrounds, seen in ATLAS, are correlated with the local pressure variation. In addition the rates of beam-gas events are estimated from the pressure measurements and pressure bump profiles obtained from calculations. Using these rates, the efficiency of the ATLAS beam background monitors to detect beam-gas events is derived as a function of distance from the interaction point. These efficiencies and characteristic distributions of fake jets from the beam backgrounds are found to be in good agreement with results of beam-gas simulations performed with theFluka Monte Carlo programme.

43 PARTICLE ACCELERATORS↗

Design of Ionization Profile Monitors at the Integrable Optics Test Accelerator Facility at Fermilab

The Integrable Optics Test Accelerator (IOTA) at Fermilab is transitioning from an electron beam facility to a proton beam facility for studies in nonlinear accelerator optics and space-charge dominated proton beams. This project involves the commissioning and fabrication of Ionization Profile Monitors (IPMs) to enable beam profile measurements at IOTA. In general, IPMs work on principle of residual gas ionization by the beam to generate beam profile. This work focuses on a mechanical design that leverages a controlled injection of noble gases, primarily Argon, as the ultra-high vacuum of the IOTA ring provides insufficient residual gas for ionization. Efforts to understand vacuum integration to ensure compatibility with the storage ring environment, the integration of real-time data acquisition systems and the commissioning of the IPMs will be discussed. This project provides a versatile diagnostic tool, supporting IOTA’s role as a testbed for larger-scale accelerator facilities and contributing to the broader understanding of beam physics in high-intensity, high-space-charge regimes.

Mwaniki, M. W. [IIT, Chicago] (ORCID:0000000169057↗

Ducted Fuel Injection Provides Consistently Lower Soot Emissions in Sweep to Full-Load Conditions

Earlier studies have proven how ducted fuel injection (DFI) substantially reduces soot for low- and mid-load conditions in heavy-duty engines, without significant adverse effects on other emissions. Nevertheless, no comprehensive DFI study exists showing soot reductions at high- and full-load conditions. This study investigated DFI in a single-cylinder, 1.7-L, optical engine from low- to full-load conditions with a low-net-carbon fuel consisting of 80% renewable diesel and 20% biodiesel. Over the tested load range, DFI reduced engine-out soot by 38.1–63.1% compared to conventional diesel combustion (CDC). This soot reduction occurred without significant detrimental effects on other emission types. Thus, DFI reduced the severity of the soot–NO x tradeoff at all tested conditions. While DFI delivered considerable soot reductions in thepresent study, previous DFI studies at low- and mid-load conditions delivered larger soot reductions (>90%) compared to CDC operation at the same conditions. Therefore, the DFI configuration used here has been deemed nonoptimal (in terms of parameters such as the injector-spray and piston geometries), and several improvements are recommended for future studies with high-load DFI. Further, these improvements include employing better spray-duct alignment, a deeper piston bowl with a smaller injector umbrella angle, and a fuel injector that opens and closes faster. The study also suggests future research to make DFI ready for commercialization, such as metal-engine tests to ensure desirable DFI performance over an engine’s complete speed/load map. Overall, this study supports the continued development and commercialization of DFI to meet upcoming emissions regulations for heavy-duty vehicles. Specifically, multicylinder engine experiments and CFD simulations should be utilized to optimize the performance and clarify the full potential of DFI.

33 ADVANCED PROPULSION SYSTEMS↗

Electron stripping processes of H{sup −} ion beam in the 80 kV high voltage extraction column and low energy beam transport line at LANSCE

Basic vacuum calculations were performed for various operating conditions of the Los Alamos National Neutron Science H{sup −} Cockcroft-Walton (CW) injector and the Ion Source Test Stand (ISTS). The vacuum pressure was estimated for both the CW and ISTS at five different points: (1) inside the H{sup −} ion source, (2) in front of the Pierce electrode, (3) at the extraction electrode, (4) at the column electrode, and (5) at the ground electrode. A static vacuum analysis of residual gases and the working hydrogen gas was completed for the normal ion source working regime. Gas density and partial pressure were estimated for the injected hydrogen gas. The attenuation of H{sup −} beam current and generation of electron current in the high voltage acceleration columns and low energy beam transport lines were calculated. The interaction of H{sup −} ions on molecular hydrogen (H{sub 2}) is discussed as a dominant collision process in describing electron stripping rates. These results are used to estimate the observed increase in the ratio of electrons to H{sup −} ion beam in the ISTS beam transport line.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Mitigation of Syngas Cooler Plugging and Fouling

This Final Report summarizes research performed to develop a technology to mitigate the plugging and fouling that occurs in the syngas cooler used in many Integrated Gasification Combined Cycle (IGCC) plants. The syngas cooler is a firetube heat exchanger located downstream of the gasifier. It offers high thermal efficiency, but its’ reliability has generally been lower than other process equipment in the gasification island. The buildup of ash deposits that form on the fireside surfaces in the syngas cooler (i.e., fouling) lead to reduced equipment life and increased maintenance costs. Our approach to address this problem is that fouling of the syngas cooler cannot be eliminated, but it can be better managed. The research program was funded by DOE using two budget periods: Budget Period 1 (BP1) and Budget Period 2 (BP2). The project used a combination of laboratory scale experiments, analysis of syngas cooler deposits, modeling and guidance from industry to develop a better understanding of fouling mechanisms and to develop and evaluate strategies to mitigate syngas cooler fouling and thereby improve syngas cooler performance. The work effort in BP 1 and BP 2 focused on developing a better understanding of the mechanisms that lead to syngas cooler plugging and fouling and investigating promising concepts to mitigate syngas cooler plugging and fouling. The work effort focused on the following: • analysis of syngas cooler deposits and fuels provided by an IGCC plant collaborating with this project; • performing Jet cleaning tests in the University of Utah Laminar Entrained Flow Reactor to determine the bond strength between an ash deposit to a metal plate, as well as implementing planned equipment modifications to the University of Utah Laminar Entrained Flow Reactor and the one ton per day, pressurized Pilot Scale Gasifier; • performing Computational Fluid Dynamic modeling of industrially relevant syngas cooler configurations to develop a better understanding of deposit formation mechanisms; • performing Techno-Economic-Analysis for a representative IGCC plant to investigate the impact on plant economics, in particular the impacts on the Cost of Electricity (COE), due to plant shutdowns caused by syngas cooler plugging and fouling and potential benefits to plant economics of developing strategies to mitigate syngas cooler fouling; and • performing modeling and pilot scale tests to investigate the potential benefits of using a sorbent (fuel additive) to capture the vaporized metals that result in syngas cooler fouling. All project milestones for BP 1 and BP 2 were achieved. DOE was provided a briefing on our accomplishments in BP1 and BP2 and our proposed plans for Budget Period 3 (BP 3). Based on our research the mitigation technology selected to investigate in BP 3 was the use of a sorbent that can be injected into the gasifier with the fuel slurry to capture vaporized metals that lead to the deposit formation in the syngas cooler. The work effort proposed for BP 3 would have focused on addressing concerns raised by gasification industry personnel for the impacts on gasifier performance of sorbent injection, so that at the end of BP 3 the use of sorbent injection would be at “pre-commercial” stage and ready for use in a Field Demonstration that could be funded by industry or DOE. A Budget Continuation Application (BCA) was submitted to obtain funding for BP3 DOE but DOE chose to not fund the proposed BP3 effort.

47 OTHER INSTRUMENTATION↗

PIP-II Injector Test Warm Front End: Commissioning Update [Slides]

The Warm Front End (WFE) of the Proton Improvement Plan II Injector Test (PIP2IT) at Fermilab has been constructed to its full length. It includes a 15-mA DC, 30-keV H- ion source, a 2 m-long Low Energy Beam Transport (LEBT) with a switching dipole magnet, a 2.1 MeV CW RFQ, followed by a Medium Energy Beam Transport (MEBT) with various diagnostics and a dump. This report presents the commissioning status, focusing on beam measurements in the MEBT. In particular, a beam with the parameters required for injection into the Booster (5 mA, 0.55 ms macro-pulse at 20 Hz) was transported through the WFE.

43 PARTICLE ACCELERATORS↗

PIP-II Injector Test Warm Front End: Commissioning Update

The Warm Front End (WFE) of the Proton Improvement Plan II Injector Test [1] at Fermilab has been constructed to its full length. It includes a 15-mA DC, 30-keV H- ion source, a 2 m-long Low Energy Beam Transport (LEBT) with a switching dipole magnet, a 2.1 MeV CW RFQ, followed by a Medium Energy Beam Transport (MEBT) with various diagnostics and a dump. This report presents the commissioning status, focusing on beam measurements in the MEBT. In particular, a beam with the parameters required for injection into the Booster (5 mA, 0.55 ms macro-pulse at 20 Hz) was transported through the WFE.

43 PARTICLE ACCELERATORS↗

Lack of O-GlcNAcylation enhances exercise-dependent glucose utilization potentially through AMP-activated protein kinase activation in skeletal muscle

Highlights: • Ogt deletion enhances exercise-dependent glucose utilization in skeletal muscle. • Ogt depletion enhances glucose uptake and oxidation in C2C12 myotubes. • Lack of O-GlcNAcylation increases AMPKα protein expression both in vivo and in vitro. • Ogt deletion in skeletal muscle reverses HFD-induced obesity and insulin resistance. O-GlcNAcylation is a post-translational modification that is characterized by the addition of N-acetylglucosamine (GlcNAc) to proteins by O-GlcNAc transferase (Ogt). The degree of O-GlcNAcylation is thought to be associated with glucotoxicity and diabetic complications, because GlcNAc is produced by a branch of the glycolytic pathway. However, its role in skeletal muscle has not been fully elucidated. In this study, we created skeletal muscle-specific Ogt knockout (Ogt-MKO) mice and analyzed their glucose metabolism. During an intraperitoneal glucose tolerance test, blood glucose was slightly lower in Ogt-MKO mice than in control Ogt-flox mice. High fat diet-induced obesity and insulin resistance were reversed in Ogt-MKO mice. In addition, 12-month-old Ogt-MKO mice had lower adipose and body mass. A single bout of exercise significantly reduced blood glucose in Ogt-MKO mice, probably because of higher AMP-activated protein kinase α (AMPKα) protein expression. Furthermore, intraperitoneal injection of 5-aminoimidazole-4-carboxamide ribonucleotide, an AMPK activator, resulted in a more marked decrease in blood glucose levels in Ogt-MKO mice than in controls. Finally, Ogt knockdown by siRNA in C2C12 myotubes significantly increased protein expression of AMPKα, glucose uptake and oxidation. In conclusion, loss of O-GlcNAcylation facilitates glucose utilization in skeletal muscle, potentially through AMPK activation. The inhibition of O-GlcNAcylation in skeletal muscle may have an anti-diabetic effect, through an enhancement of glucose utilization during exercise.

60 APPLIED LIFE SCIENCES↗

Numerical Solution of the Steady-State Network Flow Equations for a Non-Ideal Gas

Herein we formulate a steady-state network flow problem for non-ideal gas that relates injection rates and nodal pressures in the network to flows in pipes. For this problem, we present and prove a theorem on uniqueness of generalized solution for a broad class of non-ideal pressure-density relations that satisfy a monotonicity property. Further, we develop a Newton-Raphson algorithm for numerical solution of the steady-state problem, which is made possible by a systematic non-dimensionalization of the equations. The developed algorithm has been extensively tested on benchmark instances and shown to converge robustly to a generalized solution. Previous results [1]-[4], indicate that the steady-state network flow equations for an ideal gas are difficult to solve by the Newton-Raphson method because of its extreme sensitivity to the initial guess. In contrast, we find that non-dimensionalization of the steady-state problem is key to robust convergence of the Newton-Raphson method. We identify criteria based on the uniqueness of solutions under which the existence of a non-physical generalized solution found by a non-linear solver implies non-existence of a physical solution, i.e., infeasibility of the problem. Finally, we compare pressure and flow solutions based on ideal and non-ideal equations of state to demonstrate the need to apply the latter in practice. The solver developed in this article is open-source and is made available for both the academic and research communities as well as the industry.

97 MATHEMATICS AND COMPUTING↗