Search NASA⌕ Search

SEARCH · Search NASA

Results for “STRING MODELS”

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 901 records · Page 50
All sourcesNASA NTRSDOE OSTI
DOE OSTI2017

Discrete symmetries in Heterotic/F-theory duality and mirror symmetry

We study aspects of Heterotic/F-theory duality for compacti cations with Abelian discrete gauge symmetries. We consider F-theory compacti cations on genus-one bered Calabi-Yau manifolds with n-sections, associated with the Tate-Shafarevich group Z n . Such models are obtained by studying rst a speci c toric set-up whose associated Heterotic vector bundle has structure group Z n . By employing a conjectured Heterotic/Ftheory mirror symmetry we construct dual geometries of these original toric models, where in the stable degeneration limit we obtain a discrete gauge symmetry of order two and three, for compacti cations to six dimensions. We provide explicit constructions of mirrorpairs for symmetric examples with Z 2 and Z 3 , in six dimensions. The Heterotic models with symmetric discrete symmetries are related in eld theory to a Higgsing of Heterotic models with two symmetric abelian U(1) gauge factors, where due to the Stuckelberg mechanism only a diagonal U(1) factor remains massless, and thus after Higgsing only a diagonal discrete symmetry of order n is present in the Heterotic models and detected via Heterotic/F-theory duality. These constructions also provide further evidence for the conjectured mirror symmetry in Heterotic/F-theory at the level of brations with torsional sections and those with multi-sections.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2017

Magnetic monopoles and free fractionally charged states at accelerators and in cosmic rays

Unified theories of strong, weak and electromagnetic interactions which have electric charge quantization predict the existence of topologically stable magnetic monopoles. Intermediate scale monopoles are comparable with detection energies of cosmic ray monopoles at IceCube and other cosmic ray experiments. Magnetic monopoles in some models can be significantly lighter and carry two, three or possibly even higher quanta of the Dirac magnetic charge. They could be light enough for their effects to be detected at the LHC either directly or indirectly. An example based on a D-brane inspired SU(3) C × SU(3) L × SU(3) R (trinification) model with the monopole carrying three quanta of Dirac magnetic charge is presented. These theories also predict the existence of color singlet states with fractional electric charge which may be accessible at the LHC.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Multisublattice cluster expansion study of short-range ordering in iron-substituted strontium titanate

Owing to the challenges in obtaining realistic atomic configurations in large chemical phase spaces, it is not straightforward to describe structure–property relations in materials exhibiting configurational disorder. One example is iron-substituted strontium titanate (SrTi 1–x Fe x O 3–d , STF), a promising perovskite-derivative cathode material in solid oxide fuel cells that exhibits full solid solubility 0 ≤ x ≤ 1 and a tendency to exhibit short-range order. Here we demonstrate a multisublattice cluster expansion (CE) framework and apply it to STF across the full composition range. The CE approach is distinct from more traditional CE formulations in that clusters are defined explicitly by the chemical species distributed among multiple sublattices, rather than via cluster functions of occupation variables with decoration. The modified CE approach makes it easy to distinguish meaningful chemical interactions that are harder to extract from conventional CE, since for the latter chemical identity in a cluster is expressed as a product of site occupations. The least absolute shrinkage and selection operator (LASSO) is implemented as a regression analysis tool to select key clusters and avoid overfitting. We demonstrate this formulation on STF, and show that it can accurately predict configurational energies in comparison to conventional CE. From the key clusters, we identify that short-range ordering between substitutional Fe and oxygen vacancies (V O ) results in the formation of Fe–VO strings. In addition, we consider the stability of STF through CE-based Monte Carlo (MC) simulations and confirm the presence of superstructures that were previously observed in transmission electron microscopy. In this work, analysis of atomic configurations from MC samples reveals variations in the oxidation state of Fe atoms, which can be explained by the ordering tendency of Fe and V O . The cluster description and selection formalism described here may be applied to other disordered multisublattice systems for accurate and efficient material modeling.

36 MATERIALS SCIENCE↗
NASA NTRS2003

Development Efforts Expanded in Ion Propulsion: Ion Thrusters Developed With Higher Power Levels

The NASA Glenn Research Center was the major contributor of 2-kW-class ion thruster technology to the Deep Space 1 mission, which was successfully completed in early 2002. Recently, NASA s Office of Space Science awarded approximately $21 million to Glenn to develop higher power xenon ion propulsion systems for large flagship missions such as outer planet explorers and sample return missions. The project, referred to as NASA's Evolutionary Xenon Thruster (NEXT), is a logical follow-on to the ion propulsion system demonstrated on Deep Space 1. The propulsion system power level for NEXT is expected to be as high as 25 kW, incorporating multiple ion thrusters, each capable of being throttled over a 1- to 6-kW power range. To date, engineering model thrusters have been developed, and performance and plume diagnostics are now being documented. The project team-Glenn, the Jet Propulsion Laboratory, General Dynamics, Boeing Electron Dynamic Devices, the Applied Physics Laboratory, the University of Michigan, and Colorado State University-is in the process of developing hardware for a ground demonstration of the NEXT propulsion system, which comprises a xenon feed system, controllers, multiple thrusters, and power processors. The development program also will include life assessments by tests and analyses, single-string tests of ion thrusters and power systems, and finally, multistring thruster system tests in calendar year 2005. In addition, NASA's Office of Space Science selected Glenn to lead the development of a 25-kW xenon thruster to enable NASA to conduct future missions to the outer planets of Jupiter and beyond, under the High Power Electric Propulsion (HiPEP) program. The development of a 100-kW-class ion propulsion system and power conversion systems are critical components to enable future nuclear-electric propulsion systems. In fiscal year 2003, a team composed of Glenn, the Boeing Company, General Dynamics, the Applied Physics Laboratory, the Naval Research Laboratory, the University of Wisconsin, the University of Michigan, and Colorado State University will perform a 6-month study that will result in the design of a 25-kW ion thruster, a propellant feed system, and a power processing architecture. The following 2 years will involve hardware development, wear tests, single-string tests of the thruster-power circuits and the xenon feed system, and subsystem service life analyses. The 2-kW-class ion propulsion technology developed for the Deep Space 1 mission will be used for NASA's discovery mission Dawn, which involves maneuvering a spacecraft to survey the asteroids Ceres and Vesta. The 6-kW-class ion thruster subsystem technology under NEXT is scheduled to be flight ready by calendar year 2006. The less mature 25- kW ion thruster system under HiPEP is expected to be ready for a flight advanced development program in calendar year 2006.

Patterson, Michael J.↗
NASA NTRS2009

Implementation of an Adaptive Controller System from Concept to Flight Test

The National Aeronautics and Space Administration Dryden Flight Research Center (Edwards, California) is conducting ongoing flight research using adaptive controller algorithms. A highly modified McDonnell-Douglas NF-15B airplane called the F-15 Intelligent Flight Control System (IFCS) was used for these algorithms. This airplane has been modified by the addition of canards and by changing the flight control systems to interface a single-string research controller processor for neural network algorithms. Research goals included demonstration of revolutionary control approaches that can efficiently optimize aircraft performance for both normal and failure conditions, and to advance neural-network-based flight control technology for new aerospace systems designs. Before the NF-15B IFCS airplane was certified for flight test, however, certain processes needed to be completed. This paper presents an overview of these processes, including a description of the initial adaptive controller concepts followed by a discussion of modeling formulation and performance testing. Upon design finalization, the next steps are: integration with the system interfaces, verification of the software, validation of the hardware to the requirements, design of failure detection, development of safety limiters to minimize the effect of erroneous neural network commands, and creation of flight test control room displays to maximize human situational awareness.

Larson, Richard R.↗
DOE OSTI2018

Energy Yield Analysis of Multiterminal Si-Based Tandem Solar Cells

Here, we present a model for a yield analysis of tandem devices consisting of Si bottom cells with III-V top cells. It accounts for the spectral properties of the subcells as well as their reduced operating temperature due to increased efficiency and luminescent coupling. Inputs are the experimental I-V and QE data of the subcells (e.g., available from laboratory prototypes) and the irradiance-dependent module temperature of the bottom cell. We apply the model to compare two types of tandem cells, GaInP and GaAs top cells on Si bottom cells. The impact of the temperature model, compared to a constant temperature, shows a relative change in energy yield of up to 2.7% rel . Including luminescent coupling for GaAs/Si devices with two terminals, increases the energy yield by 34.0% rel . This is still 34.2% rel less energy yielded than for GaInP/Si two-terminal devices. The performance of the GaInP/Si devices can be improved by 5.8% rel using three-terminal devices with back-contacted bottom cells instead of a two-terminal configuration under the assumption of a cell string with voltage matching of one top cell with two bottom cells. For GaInP/Si, the three-terminal device performs similarly to the four-terminal device, enabling the integration of monolithic tandem cells into modules at comparably high efficiencies.

14 SOLAR ENERGY↗
DOE OSTI2024

Creation of Polymer Datasets with Targeted Backbones for Screening of High-Performance Membranes for Gas Separation

A simple approach was developed to computationally construct a polymer dataset by combining simplified molecular-input line-entry system (SMILES) strings of a targeted polymer backbone and a variety of molecular fragments. This method was used to create 14 polymer datasets by combining seven polymer backbones and molecules from two large molecular datasets (MOSES and QM9). Polymer backbones that were studied include four polydimethylsiloxane (PDMS) based backbones, poly(ethylene oxide) (PEO), poly(allyl glycidyl ether) (PAGE), and polyphosphazene (PPZ). The generated polymer datasets can be used for various cheminformatics tasks, including high-throughput screening for gas permeability and selectivity. This study utilized machine learning (ML) models to screen the polymers for CO2/CH4 and CO2/N2 gas separation using membranes. Several polymers of interest were identified. Here the results highlight that employing an ML model fitted to polymer selectivities leads to higher accuracy in predicting polymer selectivity compared to using the ratio of predicted permeabilities.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

A modified cosmic brane proposal for holographic Renyi entropy

We propose a new formula for computing holographic Renyi entropies in the presence of multiple extremal surfaces. Our proposal is based on computing the wave function in the basis of fixed-area states and assuming a diagonal approximation for the Renyi entropy. For Renyi index n ≥ 1, our proposal agrees with the existing cosmic brane proposal for holographic Renyi entropy. For n < 1, however, our proposal predicts a new phase with leading order (in Newton’s constant G) corrections to the cosmic brane proposal, even far from entanglement phase transitions and when bulk quantum corrections are unimportant. Recast in terms of optimization over fixed-area states, the difference between the two proposals can be understood to come from the order of optimization: for n < 1, the cosmic brane proposal is a minimax prescription whereas our proposal is a maximin prescription. We demonstrate the presence of such leading order corrections using illustrative examples. In particular, our proposal reproduces existing results in the literature for the PSSY model and high-energy eigenstates, providing a universal explanation for previously found leading order corrections to the n < 1 Renyi entropies.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Supersymmetric Wilson loops on the lattice in the large N limit

We propose additional tests of holography by studying supersymmetric Wilson loops in p+1-dimensional maximally supersymmetric Yang?Mills (SYM) theories on the lattice in the large N limit. In the dual gravity description, this computation involves calculating the area of a fundamental string worldsheet in certain Type II supergravity backgrounds. Though thermodynamic observables have been computed on the lattice using Monte Carlo methods and agree with the supergravity results in various dimensions, not much has been done for the gauge-invariant operators such as the Wilson loop. We provide analytical predictions for these loops for various non-conformal Dp-brane background cases with ? ? 2 p?2 in the large N limit and comment on how these can be computed on non-orthogonal lattices in various models.

Jha, Raghav G. (ORCID:0000000329330102)↗
DOE OSTI2017

Vortex precession in trapped superfluids from effective field theory

We apply a recently developed effective string theory for vortex lines to the case of two-dimensional trapped superfluids. We do not assume a perturbative microscopic description for the superfluid, but only a gradient expansion for the long-distance hydrodynamical description and for the trapping potential. For any regular trapping potential, we compute the spatial dependence of the superfluid density and the orbital frequency and trajectory of an off-center vortex. Our results are fully relativistic and in the nonrelativistic limit reduce to known results based on the Gross-Pitaevskii model. In our formalism, the leading effect in the nonrelativistic limit arises from two simple Feynman diagrams in which the vortex interacts with the trapping potential through the exchange of hydrodynamical modes.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Roughrider Carbon Storage Hub (Final Report)

The Roughrider Carbon Storage Hub was a 2-year project (October 2023 – September 2025) conducted by the Energy & Environmental Research Center (EERC) focused on advancing the feasibility of a commercial-scale carbon dioxide (CO 2 ) geologic storage hub in McKenzie County, North Dakota. The project’s objective was to investigate the potential that stacked storage complexes (multiple deep saline formations) can safely and economically store at least 50 million tonnes of CO 2 within 30 years. The captured CO 2 would be sourced from industrial emitters including project partner ONEOK, Inc.’s gas-processing plants and a planned gas-to-liquids facility. Drilling of the Roughrider 1 stratigraphic test well (14,979-ft total depth) was completed in November 2024. The wellbore intersected four candidate storage formations: Inyan Kara, Broom Creek, Mission Canyon, and Black Island–Deadwood. Operational challenges, including a stuck drill string, were resolved without long-term impact. A comprehensive logging and coring program was conducted, followed by successful well abandonment and site reclamation. Over 660 ft of 4-in. whole core was retrieved. Core plug samples were processed and analyzed for petrophysical and geochemical properties. Results confirmed promising porosity and permeability in the Inyan Kara and Broom Creek Formations and removal of the Mission Canyon and Black Island–Deadwood horizons from further investigation. Data derived from the logging and coring program were used to improve initial geologic models built from legacy data. CO 2 injection simulations showed that the Inyan Kara alone can feasibly store the target mass of CO 2 . Because of subtle differences in geologic structure and porosity trends between the formations, a stacked storage scenario using the Broom Creek and Inyan Kara Formations resulted in a larger overall plume area than using the Inyan Kara alone. Preliminary CO 2 pipeline routes from the industrial sources were mapped utilizing existing rights of way and evaluated for capacity and cost using U.S. Department of Energy Office of Fossil Energy and Carbon Management/National Energy Technology Laboratory models and U.S. Environmental Protection Agency emissions data. Integrating capture, transport, and storage cost estimates with policy incentives (e.g., 45Q credits) provided a total cost-per-ton analysis. Results indicate that the small scale of the volumes to be transported over the cumulative large distances does not support the project’s financial viability. However, the groundwork laid during this project from geological, regulatory, and social perspectives positions the Roughrider hub site as a promising candidate for commercial carbon storage in North Dakota, especially if the economy of scale is introduced for CO 2 transportation to the hub site.

01 COAL, LIGNITE, AND PEAT↗
DOE OSTI2024

Optimizing Deep Geothermal Drilling for Energy Sustainability in the Appalachian Basin

This study investigates the geological and geomechanical characteristics of the MIP 1S geothermal well in the Appalachian Basin to optimize drilling and address the wellbore stability issues encountered. Data from well logs, sidewall core analysis, and injection tests were used to derive elastic and rock strength properties, as well as stress and pore pressure profiles. A robust 1D-geomechanical model was developed and validated, correlating strongly with wellbore instability observations. This revealed significant wellbore breakout, widening the diameter from 12 ¼ inches to over 16 inches. Advanced technologies like Cerebro Force™ In-Bit Sensing were used to monitor drilling performance with high accuracy. This technology tracks critical metrics such as bit acceleration, vibration in the x, y, and z directions, Gyro RPM, stick-slip indicators, and bending on the bit. Cerebro Force™ readings identified hole drag caused by poor hole conditions, including friction between the drill string and wellbore walls and the presence of cuttings or debris. This led to higher torque and weight on bit (WOB) readings at the surface compared to downhole measurements, affecting drilling efficiency and wellbore stability. Optimal drilling parameters for future deep geothermal wells were determined based on these findings.

Environmental Sciences & Ecology↗
DOE OSTI2016

Anomalies, conformal manifolds, and spheres

The two-point function of exactly marginal operators leads to a universal contribution to the trace anomaly in even dimensions. We study aspects of this trace anomaly, emphasizing its interpretation as a sigma model, whose target space $M$ is the space of conformal field theories (a.k.a. the conformal manifold). When the underlying quantum field theory is supersymmetric, this sigma model has to be appropriately supersymmetrized. As examples, we consider in some detail $N$ = (2; 2) and $N$ = (0; 2) supersymmetric theories in d = 2 and $N$ = 2 supersymmetric theories in d = 4. This reasoning leads to new information about the conformal manifolds of these theories, for example, we show that the manifold is K ahler-Hodge and we further argue that it has vanishing K ahler class. For $N$ = (2; 2) theories in d = 2 and N = 2 theories in d = 4 we also show that the relation between the sphere partition function and the K ahler potential of $M$ follows immediately from the appropriate sigma models that we construct. Ultimately, along the way we find several examples of potential trace anomalies that obey the Wess-Zumino consistency conditions, but can be ruled out by a more detailed analysis.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2016

The charmonium dissociation in an ''anomalous wind''

We study the charmonium dissociation in a strongly coupled chiral plasma in the presence of magnetic field and axial charge imbalance. This type of plasma carries "anomalous flow" induced by the chiral anomaly and exhibits novel transport phenomena such as chiral magnetic effect. We found that the "anomalous flow" would modify the charmonium color screening length by using the gauge/gravity correspondence. We derive an analytical expression quantifying the "anomalous flow" experienced by a charmonium for a large class of chiral plasma with a gravity dual. We elaborate on the similarity and it qualitative difference between anomalous effects on the charmonium color screening length which are model-dependent and those on the heavy quark drag force which are fixed by the second law of thermodynamics. As a result, we speculate on the possible charmonium dissociation induced by the chiral anomaly in heavy ion collisions.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

ORNL_AISD_NiNb

This dataset describes the nickel-niobium solid solution binary alloy, where the two constituent elements nickel (Ni) and niobium (Nb) are randomly placed on an underlying crystal lattice. This dataset for nickel-niobium (Ni-Nb) alloys available includes the formation energy and bulk modulus for each crystal structure. Each atomic sample has a disordered phase which is obtained starting from an initial regular crystal structure of type body-centered cubic (BCC), face-centered cubic (FCC), or hexagonal compact packed (HCP). The geometry optimization ensures that all the alloy samples reached the equilibrium with negative formation energy. We perform geometry optimizations using the LAMMPS simulation package [1], a flexible simulation tool for particle-based materials modeling at the atomic, meso, and continuum scales. We utilized the embedded atom model (EAM) potential for Ni and Nb developed in a previous study [2]. The potential could describe behaviors of the liquid and solid phases of Ni-Nb alloy. The structural factors and angular distributions of three atoms are well-matched with X-ray and ab initio-based molecular dynamics data. We prepared the three different crystals with different initial lattice parameters (3.52 Ã… for FCC, 3.32 Ã… for BCC, and 3.5 Ã… for HCP). We performed energy minimization in two steps. Firstly, we minimized the structures with an isotropic unit cell to minimize the side effects from our arbitrary lattice parameters for all other compositions. Then, we applied geometry optimization with a triclinic (non-orthogonal) unit cell to fully minimize the stress components to calculate the elastic constants. In this procedure, we chose 10,000 as the maximum number of allowable steps aimed at obtaining fully relaxed atomic geometries. The dataset consists of three sets of crystal structures. The first set contains 46,086 irregular crystal structures, each of them with 54 atoms, obtained through optimization starting from a regular BCC crystal structure. The second set contains 24,543 irregular crystal structures, each of them with 32 atoms, obtained through optimization starting from a regular FCC crystal structure. The third set contains 39,303 irregular crystal structures, each of them with 48 atoms, obtained through optimization starting from a regular HCP crystal structure. The atomic configurations within each set span the possible compositional range. The three sets have been unified in a global dataset, which is extremely heterogeneous in terms of crystal structures, lattice volumes, and atomic configurations. Organization of files inside the dataset: the dataset contains three subdirectories called • BCC_opt • FCC_opt • HCP_opt based on the type of initial regular structure used to start the geometry optimization. Inside each of these folders, every atomic structure is identified by a string “A_B_Câ€, where A denotes the number of Nb in the system, B denotes index of structure with a given Nb number, and C denotes the total number of structures generated with a given Nb number. For each optimized crystal structure identified by the unique string of characters “A_B_Câ€, three files are provided: • A_B_C_opt.xyz: The optimized geometries in xyz format • A_B_C_opt.cfg: The optimized geometries in cfg format. It includes cell information and atomic energy, and forces calculated from LAMMPS. • A_B_C.elastic: Raw data of 21 elastic constants from LAMMPS output. • A_B_C.bulk: Calculated upper and lower bounds of bulk modulus and averaged one based on Voigt-Reuss-Hill approach from *.elastic. References: [1] A. P. Thompson, H. M. Aktulga, R. Berger, D. S. Bolintineanu, W. M. Brown, P. S. Crozier, P. J. in 't Veld, A. Kohlmeyer, S. G. Moore, T. D. Nguyen, R. Shan, M. J. Stevens, J. Tranchida, C. Trott, and S. J. Plimpton. LAMMPS - a flexible simulation tool for particle-based materials modeling at the atomic, meso, and continuum scales. Comp. Phys. Comm., 271:108171, 2022. [2] Y Zhang, R Ashcraft, MI Mendelev, CZ Wang, and KF Kelton. Experimental and molecular dynamics simulation study of structure of liquid and amorphous ni62nb38 alloy. The Journal of chemical physics, 145(20):204505, 2016.

36 MATERIALS SCIENCE↗
DOE OSTI2019

The complex life of hydrodynamic modes

We study analytic properties of the dispersion relations in classical hydrodynamics by treating them as Puiseux series in complex momentum. The radii of convergence of the series are determined by the critical points of the associated complex spectral curves. For theories that admit a dual gravitational description through holography, the critical points correspond to level-crossings in the quasinormal spectrum of the dual black hole. We illustrate these methods in N = 4 supersymmetric Yang-Mills theory in 3+1 dimensions, in a holographic model with broken translation symmetry in 2+1 dimensions, and in conformal field theory in 1+1 dimensions. We comment on the pole-skipping phenomenon in thermal correlation functions, and show that it is not specific to energy density correlations.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2018

Piezoelectrically Tuned, Multimode Cavity Search for Axion Dark Matter

The eV axion is a well-motivated extension to the standard model. The Axion Dark Matter 27 eXperiment (ADMX) collaboration seeks to discover this particle by looking for the resonant con28 version of dark-matter axions to microwave photons in a strong magnetic eld. In this paper we 29 report results from an ADMX pathnder experiment, the ADMX \Sidecar", which is designed to 30 pave the way for future, higher mass, searches. The Sidecar experiment excludes masses in three 31 widely spaced frequency ranges (4202-4249 MHz, 5086-5799 MHz and 7173-7203 MHz), correspond32 ing to masses favored by some cosmic string simulations. In addition, Sidecar demonstrates the 33 successful use of piezoelectric actuators for both cavity tuning and antenna coupling. Finally, this publication is the rst to report data taken on both the TM010 and TM020 modes.

Boutan, Christian R.↗
NASA NTRS2013

Effect of Background Pressure on the Performance and Plume of the HiVHAc Hall Thruster

During the Single String Integration Test of the NASA HiVHAc Hall thruster, a number of plasma diagnostics were implemented to study the effect of varying facility background pressure on thruster operation. These diagnostics include thrust stand, Faraday probe, ExB probe, and retarding potential analyzer. The test results indicated a rise in thrust and discharge current with background pressure. There was also a decrease in ion energy per charge, an increase in multiply-charged species production, a decrease in plume divergence, and a decrease in ion beam current with increasing background pressure. A simplified ingestion model was applied to determine the maximum acceptable background pressure for thrust measurement. The maximum acceptable ingestion percentage was found to be around 1%. Examination of the diagnostics results suggest the ionization and acceleration zones of the thruster were shifting upstream with increasing background pressure.

Electric propulsion↗