Publications associées à Fold-based fusion as a library: a generative programming pearl

Publications associées (33)

Advancing Distributed AC Optimal Power Flow for Integrated Transmission-Distribution Systems

This paper introduces a distributed operational solution for integrated transmission-distribution (ITD) system management. A fundamental challenge in designing distributed approaches for AC optimal power flow (OPF) problems in ITD systems is the nonconvexi ...

IEEE COMPUTER SOC2025

Long plasma duration operation analyses with an international multi-machine (tokamaks and stellarators) database

Stefano Coda, Jeffrey Huang

Combined high-fusion performance and long-pulse operation is one of the key integration challenges for fusion energy development in magnetic devices. Addressing these challenges requires an integrated vision of physics and engineering aspects with the purp ...

IOP Publishing Ltd2024

Tangentially viewing phase contrast imaging for turbulence measurements in toroidal fusion devices

Stefano Coda

Phase contrast imaging (PCI) is an established and powerful technique for measuring density fluctuations in plasmas and has been successfully applied to several fusion devices. Rooted in a concept first developed for microscopy, PCI belongs to the category ...

2024

Global fluid simulations of plasma turbulence in stellarators

António João Caeiro Heitor Coelho

In order to cope with the decarbonization challenge faced by many countries, fusion is one of the few alternatives to fossil fuels for the production of electricity. Two devices invented in the middle of the previous century have emerged as the most promis ...

EPFL2024

Nonlinear simulation of plasma turbulence using a gyrokinetic moment-based approach

Antoine Cyril David Hoffmann

Plasma turbulence plays a fundamental role in determining the performances of magnetic confinement fusion devices, such as tokamaks. Advances in computer science, combined with the development of efficient physical models, have significantly improved our u ...

EPFL2024

Models implemented in the methodological approach to design the initial STEP first wall contour

Kevin Henricus Annemarie Verhaegh, Dario Vaccaro, Filippo Bagnato, Davide Galassi

The official Spherical Tokamak for Energy Production mission aims to demonstrate the ability to generate net electricity from fusion with the STEP Prototype Power plant. One of the key technological and engineering challenges in fusion power plants is mana ...

Elsevier Science Sa2024

Error field detection and correction studies towards ITER operation

Olivier Sauter

In magnetic fusion devices, error field (EF) sources, spurious magnetic field perturbations, need to be identified and corrected for safe and stable (disruption-free) tokamak operation. Within Work Package Tokamak Exploitation RT04, a series of studies hav ...

IOP Publishing Ltd2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Progress in the development of the ITER baseline scenario in TCV

Olivier Sauter, Stefano Coda, Alexander Karpushov, Yann Camenen, Benoît Labit, Antoine Pierre Emmanuel Alexis Merle, Olivier Claude Martin Février, Simon Van Mulders, Filippo Bagnato, Alessandro Pau, Matteo Vallar, Cassandre Ekta Contré, Stefano Marchioni, Oleg Krutkin, Reinart Andreas J. Coosemans

Under the auspices of EUROfusion, the ITER baseline (IBL) scenario has been jointly investigated on AUG and TCV in the past years and this paper reports on the developments on TCV. It is found that the performance of TCV IBL is mainly limited by (neoclassi ...

2024

Divertor turbulence characterisation using Gas Puff Imaging in the TCV tokamak

Curdin Tobias Wüthrich

The performance of magnetic confinement fusion devices, such as tokamaks, is strongly correlated to the phenomena that occur in the boundary region of the plasma core that faces the wall of the device. The dominant cross-field transport mechanisms from the ...

EPFL2024

MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL

Felix Schürmann, Pramod Shivaji Kumbhar, Snehal Pramod Kumbhar, Omar Awile, Ioannis Magkanaris

Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...

ACM2023

JET D-T scenario with optimized non-thermal fusion

Mikhail Maslov, Javier García Hernández, Haomin Sun, Michele Marin

In JET deuterium-tritium (D-T) plasmas, the fusion power is produced through thermonuclear reactions and reactions between thermal ions and fast particles generated by neutral beam injection (NBI) heating or accelerated by electromagnetic wave heating in t ...

IOP Publishing Ltd2023

Essay: Overcoming the Obstacles to a Magnetic Fusion Power Plant

Ambrogio Fasoli

Fusion occurs when light nuclei combine to form heavier nuclei. The energy released in this process powers the stars and can provide humankind with a safe, sustainable, and clean source of baseload electricity, a valuable tool in the fight against climate ...

AMER PHYSICAL SOC2023

The JET hybrid scenario in Deuterium, Tritium and Deuterium-Tritium

Mikhail Maslov, Javier García Hernández, Matteo Fontana, Haomin Sun

The JET hybrid scenario has been developed from low plasma current carbon wall discharges to the record-breaking Deuterium-Tritium plasmas obtained in 2021 with the ITER-like Be/W wall. The development started in pure Deuterium with refinement of the plasm ...

IOP Publishing Ltd2023

Validation of D-T fusion power prediction capability against 2021 JET D-T experiments

Mikhail Maslov, Javier García Hernández, Michele Marin

JET experiments using the fuel mixture envisaged for fusion power plants, deuterium and tritium (D-T), provide a unique opportunity to validate existing D-T fusion power prediction capabilities in support of future device design and operation preparation. ...

IOP Publishing Ltd2023

WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches

Luca Di Bartolomeo, Mathias Josef Payer, Flavio Toffalini

Code-reuse attacks are dangerous threats that attracted the attention of the security community for years. These attacks aim at corrupting important control-flow transfers for taking control of a process without injecting code. Nowadays, the combinations o ...

IEEE COMPUTER SOC2023

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Mathias Josef Payer

Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...

Usenix Assoc2023

Full-discharge simulation and optimization with the RAPTOR code, from present tokamaks to ITER and DEMO

Simon Van Mulders

Tokamak devices aim to magnetically confine a hydrogen plasma at sufficiently high pressure to achieve net energy production from nuclear fusion of light isotopes. Predictive modeling and optimization is crucial for reliable operation of tokamak reactors, ...

EPFL2023

Impact of the turbulence wavenumber spectrum and probing beam geometry on Doppler reflectometry perpendicular velocity measurements

Frank Nüesch

The perpendicular propagation velocity of turbulent density fluctuations is an important parameter in fusion plasmas, since sheared plasma flows are crucial for reducing turbulence, and thus an essential input parameter for turbulent transport simulations. ...

IOP Publishing Ltd2023

Equilibrium pressure limits in stellarators

Antoine Baillod

This thesis delves into the potential of magnetic fusion energy, and in particular focuses on the stellarator concept. Stellarators use external coils to produce 3-dimensional (3D) magnetic fields that confine a thermonuclear plasma in a topologically toro ...

EPFL2023